Jul 25, 8:09 PM ET
13F-HR · JB Investments Management, LLC · Filed Jul 26, 2022
INFORMATION TABLE FOR JB INVESTMENTS MANAGEMENT, LLC