Quarterly report pursuant to Section 13 or 15(d)

Leases (Details Textual)

v3.19.3
Leases (Details Textual) - USD ($)
$ in Thousands
6 Months Ended
Jan. 31, 2023
Nov. 01, 2019
Oct. 31, 2019
Sep. 30, 2019
Apr. 01, 2019
Subsequent Event [Line Items]          
Operating Lease, Payments       $ 400  
Operating Lease, Weighted Average Remaining Lease Term       11 months 27 days  
Operating Lease, Weighted Average Discount Rate, Percent       4.30%  
Operating Lease, Right-of-Use Asset       $ 699 $ 1,300
Operating Lease, Liability       $ 641 $ 1,200
New OH lease [Member] | Subsequent Event [Member]          
Subsequent Event [Line Items]          
Lessee, Operating Lease, Term of Contract   63 months      
Lessee, Operating Lease, Lease Not yet Commenced, Description   November 2019      
Lessee, Operating Lease, Lease Not yet Commenced, Option to Terminate 70000        
Existing OH lease [Member] | Subsequent Event [Member]          
Subsequent Event [Line Items]          
Lease Expiration Date     Oct. 31, 2019