0000926423 2024-02-01 2024-04-30 0000926423 us-gaap:CommonStockMember 2024-02-01 2024-04-30 0000926423 us-gaap:SeriesAPreferredStockMember 2024-02-01 2024-04-30 0000926423 2024-06-10 0000926423 2024-04-30 0000926423 2024-01-31 0000926423 2023-02-01 2023-04-30 0000926423 mind:MarineTechnologyProductsMember 2024-02-01 2024-04-30 0000926423 mind:MarineTechnologyProductsMember 2023-02-01 2023-04-30 0000926423 us-gaap:OtherMachineryAndEquipmentMember 2024-02-01 2024-04-30 0000926423 us-gaap:OtherMachineryAndEquipmentMember 2023-02-01 2023-04-30 0000926423 2023-01-31 0000926423 2023-04-30 0000926423 us-gaap:CommonStockMember 2024-01-31 0000926423 us-gaap:PreferredStockMember 2024-01-31 0000926423 us-gaap:AdditionalPaidInCapitalMember 2024-01-31 0000926423 mind:TreasuryStockCommonAndPreferredMember 2024-01-31 0000926423 us-gaap:RetainedEarningsMember 2024-01-31 0000926423 us-gaap:AccumulatedOtherComprehensiveIncomeMember 2024-01-31 0000926423 us-gaap:CommonStockMember 2024-02-01 2024-04-30 0000926423 us-gaap:PreferredStockMember 2024-02-01 2024-04-30 0000926423 us-gaap:AdditionalPaidInCapitalMember 2024-02-01 2024-04-30 0000926423 mind:TreasuryStockCommonAndPreferredMember 2024-02-01 2024-04-30 0000926423 us-gaap:RetainedEarningsMember 2024-02-01 2024-04-30 0000926423 us-gaap:AccumulatedOtherComprehensiveIncomeMember 2024-02-01 2024-04-30 0000926423 us-gaap:CommonStockMember 2024-04-30 0000926423 us-gaap:PreferredStockMember 2024-04-30 0000926423 us-gaap:AdditionalPaidInCapitalMember 2024-04-30 0000926423 mind:TreasuryStockCommonAndPreferredMember 2024-04-30 0000926423 us-gaap:RetainedEarningsMember 2024-04-30 0000926423 us-gaap:AccumulatedOtherComprehensiveIncomeMember 2024-04-30 0000926423 us-gaap:CommonStockMember 2023-01-31 0000926423 us-gaap:PreferredStockMember 2023-01-31 0000926423 us-gaap:AdditionalPaidInCapitalMember 2023-01-31 0000926423 mind:TreasuryStockCommonAndPreferredMember 2023-01-31 0000926423 us-gaap:RetainedEarningsMember 2023-01-31 0000926423 us-gaap:AccumulatedOtherComprehensiveIncomeMember 2023-01-31 0000926423 us-gaap:CommonStockMember 2023-02-01 2023-04-30 0000926423 us-gaap:PreferredStockMember 2023-02-01 2023-04-30 0000926423 us-gaap:AdditionalPaidInCapitalMember 2023-02-01 2023-04-30 0000926423 mind:TreasuryStockCommonAndPreferredMember 2023-02-01 2023-04-30 0000926423 us-gaap:RetainedEarningsMember 2023-02-01 2023-04-30 0000926423 us-gaap:AccumulatedOtherComprehensiveIncomeMember 2023-02-01 2023-04-30 0000926423 us-gaap:CommonStockMember 2023-04-30 0000926423 us-gaap:PreferredStockMember 2023-04-30 0000926423 us-gaap:AdditionalPaidInCapitalMember 2023-04-30 0000926423 mind:TreasuryStockCommonAndPreferredMember 2023-04-30 0000926423 us-gaap:RetainedEarningsMember 2023-04-30 0000926423 us-gaap:AccumulatedOtherComprehensiveIncomeMember 2023-04-30 0000926423 mind:KleinMarineServicesIncMember 2023-08-21 0000926423 mind:KleinMarineServicesIncMember 2023-08-21 2023-08-21 0000926423 us-gaap:DiscontinuedOperationsDisposedOfBySaleMember 2024-02-01 2024-04-30 0000926423 us-gaap:DiscontinuedOperationsDisposedOfBySaleMember 2023-02-01 2023-04-30 0000926423 us-gaap:TransferredAtPointInTimeMember 2024-02-01 2024-04-30 0000926423 us-gaap:TransferredAtPointInTimeMember 2023-02-01 2023-04-30 0000926423 us-gaap:TransferredOverTimeMember 2024-02-01 2024-04-30 0000926423 us-gaap:TransferredOverTimeMember 2023-02-01 2023-04-30 0000926423 country:US 2024-02-01 2024-04-30 0000926423 country:US 2023-02-01 2023-04-30 0000926423 srt:EuropeMember 2024-02-01 2024-04-30 0000926423 srt:EuropeMember 2023-02-01 2023-04-30 0000926423 srt:AsiaPacificMember 2024-02-01 2024-04-30 0000926423 srt:AsiaPacificMember 2023-02-01 2023-04-30 0000926423 mind:OtherCountriesMember 2024-02-01 2024-04-30 0000926423 mind:OtherCountriesMember 2023-02-01 2023-04-30 0000926423 srt:MinimumMember 2024-02-01 2024-04-30 0000926423 srt:MaximumMember 2024-02-01 2024-04-30 0000926423 us-gaap:FurnitureAndFixturesMember 2024-04-30 0000926423 us-gaap:FurnitureAndFixturesMember 2024-01-31 0000926423 us-gaap:VehiclesMember 2024-04-30 0000926423 us-gaap:VehiclesMember 2024-01-31 0000926423 us-gaap:LandAndBuildingMember 2024-04-30 0000926423 us-gaap:LandAndBuildingMember 2024-01-31 0000926423 2024-01-31 2024-01-31 0000926423 2023-02-01 2024-01-31 0000926423 srt:WeightedAverageMember mind:ProprietaryRightsMember 2024-04-30 0000926423 mind:ProprietaryRightsMember 2024-04-30 0000926423 mind:ProprietaryRightsMember 2024-01-31 0000926423 srt:WeightedAverageMember us-gaap:CustomerRelationshipsMember 2024-04-30 0000926423 us-gaap:CustomerRelationshipsMember 2024-04-30 0000926423 us-gaap:CustomerRelationshipsMember 2024-01-31 0000926423 srt:WeightedAverageMember us-gaap:PatentsMember 2024-04-30 0000926423 us-gaap:PatentsMember 2024-04-30 0000926423 us-gaap:PatentsMember 2024-01-31 0000926423 srt:WeightedAverageMember us-gaap:TradeNamesMember 2024-04-30 0000926423 us-gaap:TradeNamesMember 2024-04-30 0000926423 us-gaap:TradeNamesMember 2024-01-31 0000926423 srt:WeightedAverageMember us-gaap:OtherIntangibleAssetsMember 2024-04-30 0000926423 us-gaap:OtherIntangibleAssetsMember 2024-04-30 0000926423 us-gaap:OtherIntangibleAssetsMember 2024-01-31 0000926423 mind:IntangiblesExcludingTechnologyDevelopmentProjectsNotYetCompletedMember 2024-04-30 0000926423 mind:TheLoanMember 2023-02-02 2023-02-02 0000926423 mind:TheLoanMember 2023-02-02 0000926423 mind:TheLoanMember 2023-02-01 2023-04-30 0000926423 2023-02-01 2024-04-30 0000926423 mind:ReverseStockSplitMember 2023-10-12 2023-10-12 0000926423 mind:AdvisoryServicesRelatedToSaleOfKleinMember mind:LadenburgThalmannAndCoIncMember 2023-08-01 2023-10-31 0000926423 mind:QuarterlyDividendsMember us-gaap:PreferredStockMember 2024-04-30 0000926423 mind:ReverseStockSplitMember 2023-09-28 2023-09-28 0000926423 2023-09-27 0000926423 2023-09-28 0000926423 2023-08-21 2023-08-21 0000926423 mind:SeamapMarineProductsMember 2024-02-01 2024-04-30 0000926423 mind:KleinMember 2024-02-01 2024-04-30 iso4217:USD iso4217:USD shares utr:M utr:Y pure thunderdome:item 0000926423 MIND TECHNOLOGY, INC false --01-31 Q1 2025 P3M P9M

2000

P1Y9M29D

1400000

13788738

1405779

false false false false 10-Q true 2024-04-30 false 001-13490 DE 76-0210849 2002 Timberloch Place The Woodlands TX 77380 281 353-4475 Common Stock - $0.01 par value per share MIND NASDAQ Series A Preferred Stock - $1.00 par value per share MINDP NASDAQ Yes Yes Non-accelerated Filer true false false 1405779

924000

5289000

9412000

6566000

16161000

13371000

3014000

3113000

29511000

28339000

791000

818000

1725000

1324000

2714000

2888000

122000

34863000

33491000

1703000

1623000

561000

203000

5303000 5586000

1928000

2114000

728000

751000

10223000

10277000

997000

573000

11220000

10850000

37779000

14000

113169000

113121000

-127353000

-128307000

34000

23643000

22641000

34863000

33491000

9678000

10597000

5460000

6061000

4218000

4536000

2759000

3306000

462000

478000

267000

333000

3488000

4117000

730000

419000

-0

204000

469000

72000

469000

-132000

1199000

287000

245000

411000

954000

-124000

-116000

954000

-240000

-0 -0 947000 947000

7000

-1187000

-0.76

-0.08

-0.84

1406000

954000

-240000

-954000

240000

954000

-240000

267000

481000

48000

50000

23000

457000

138000

2837000

3462000

10000

-11000

2812000

-979000

-100000

-1308000

-186000

206000

277000

-2788000

-120000

606000

-4753000

-2987000

66000

57000

457000

138000

391000

81000

2945000

-3000

-2000

-4365000

37000

5289000

778000

924000

815000

204000

430000

189000

1406000

14000

1683000

37779000

113121000

-128307000

34000

22641000

954000

48000

1406000

14000

1683000

37779000

113169000

-127353000

34000

23643000

1599000

16000

1683000

37779000

129721000

-16863000

-127635000

34000

23052000

-240000

50000

1599000

16000

1683000

37779000

129771000

-16863000

-127875000

34000

22862000

1. Organization, Liquidity and Summary of Significant Accounting Policies Organization—MIND Technology, Inc., a Delaware corporation (the “Company”), was incorporated in 1987. The Company, through its wholly owned subsidiaries, Seamap Pte Ltd, MIND Maritime Acoustics, LLC, Seamap (Malaysia) Sdn Bhd and Seamap (UK) Ltd, collectively “Seamap”, designs, manufactures and sells a broad range of proprietary products for the seismic, hydrographic and offshore industries with product sales and support facilities based in Singapore, Malaysia, the United Kingdom and the state of Texas. Prior to August 21, 2023, the Company, through its wholly owned subsidiary Klein Marine Systems, Inc. (“Klein”), designed, manufactured and sold a broad range of proprietary products for the seismic, hydrographic and offshore industries from its facility in the state of New Hampshire. Effective August 21, 2023, the Company sold Klein and retrospectively presented its prior periods financial results reported as discontinued operations (see Note 2 – “Sale of a Subsidiary” for additional details). Liquidity—As of April 30, 2024, the Company had working capital of approximately $19.3 million, including cash and cash equivalents of approximately $924,000, compared to working capital of approximately $18.1 million, including cash and cash equivalents of approximately $5.3 million as of January 31, 2024. The Company does not have a credit facility in place and depends on cash on hand and cash flows from operations to satisfy its liquidity needs. However, the Company believes it will have adequate liquidity to meet its future operating requirements through a combination of cash on hand, cash expected to be generated from operations, disciplined working capital management, potential financing secured by company owned real property, and potentially securing a credit facility or some other form of financing. Summary of Significant Accounting Policies—We describe our significant accounting policies in Note 1 of the Notes to Consolidated Financial Statements in our Annual Report on Form 10-K for the fiscal year ended January 31, 2024. During the three months ended April 30, 2024, there were no changes to those accounting policies. F-9

19300000

924000

18100000

5300000

2. Sale of Subsidiary On August 21, 2023, the Company sold Klein pursuant to a Stock Purchase Agreement (the “SPA”) with General Oceans AS (“the Buyer"). In connection with the SPA, the Company granted the Buyer a license to its Spectral Ai software suite (“Spectral Ai”). The license is exclusive to the Buyer as it relates to side scan sonar. The Company and the Buyer also entered into a collaboration agreement for the further development of Spectral Ai and potentially other software projects. The foregoing transactions contemplated by the SPA are referred to as the “Sale of Klein”. The aggregate consideration to the Company consisted of a cash payment of $11.5 million, resulting in a gain of approximately $2.3 million. The SPA contained customary representation and warranties. On August 22, 2023, following the closing of the Sale of Klein, all outstanding amounts due and owed, including principal, interest, and other charges, under the Loan (as defined below) were repaid in full and the Loan was terminated, and all liens and security interests granted thereunder were released and terminated (see Note 10 - "Notes Payable" for additional details).

11500000

2300000

3. Basis of Presentation The condensed consolidated balance sheet as of January 31, 2024, for the Company has been derived from audited consolidated financial statements. The unaudited interim condensed consolidated financial statements have been prepared by the Company pursuant to the rules and regulations of the Securities and Exchange Commission (“SEC”). Certain information and footnote disclosures normally included in financial statements prepared in accordance with accounting principles generally accepted in the United States have been condensed or omitted pursuant to such rules and regulations, although the Company believes that the disclosures are adequate to make the information presented not misleading. These condensed consolidated financial statements should be read in conjunction with the consolidated financial statements and the related notes included in the Company’s Annual Report on Form 10-K for the year ended January 31, 2024 (“fiscal 2024”). In the opinion of the Company’s management, all adjustments, consisting only of normal recurring adjustments, necessary to present fairly the financial position as of April 30, 2024, the results of operations for the three months ended April 30, 2024 and 2023, the cash flows for the three months ended April 30, 2024 and 2023, and the statement of stockholders’ equity for the three-months ended April 30, 2024 and 2023, have been included in these condensed consolidated financial statements. The foregoing interim results are not necessarily indicative of the results of operations to be expected for the full fiscal year ending January 31, 2025 (“fiscal 2025”).

4. Discontinued Operations On August 21, 2023, the Company sold Klein pursuant to the SPA with the Buyer. As a result, its results of operations are reported as discontinued operations for the three-month period ended April 30, 2023. The results of operations from discontinued operations for the three months ended April 30, 2023 consist of the following: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 5%; margin-left: 27pt; width: 95%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"><tbody><tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> For the Three Months Ended April 30, </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 68%;"> Revenues: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Revenue from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">1,989</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Cost of sales: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Cost of discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">1,108</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating expenses: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Selling, general and administrative </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">568</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Research and development </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">295</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Depreciation and amortization </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">148</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total operating expenses </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">1,011</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating loss </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(130</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Other income </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">21</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Loss before income taxes from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(109</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Provision for income taxes from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); text-align: right;">(7</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Net loss from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">(116</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">)</td></tr> </tbody></table> The significant operating and investing noncash items and capital expenditures related to discontinued operations are summarized below: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding-bottom: 1px;"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; width: 17%; border-bottom: 1px solid rgb(0, 0, 0);"> For the Three Months Ended April 30, </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding-bottom: 1px;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td><td style="font-family: "Times New Roman"; font-size: 10pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding-bottom: 1px;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td><td style="font-family: "Times New Roman"; font-size: 10pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding: 0; margin: 0"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; width: 17%; padding: 0; margin: 0">(in thousands)</td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; padding: 0; margin: 0"> Depreciation and amortization </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">$</td><td style="width: 13%; font-family: Times New Roman; font-size: 10pt; text-align: right; padding: 0; margin: 0">—</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">$</td><td style="width: 13%; font-family: Times New Roman; font-size: 10pt; text-align: right; padding: 0; margin: 0">148</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> </tbody></table>

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 5%; margin-left: 27pt; width: 95%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"><tbody><tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> For the Three Months Ended April 30, </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 68%;"> Revenues: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Revenue from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">1,989</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Cost of sales: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Cost of discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">1,108</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating expenses: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Selling, general and administrative </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">568</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Research and development </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">295</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Depreciation and amortization </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">148</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total operating expenses </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">1,011</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating loss </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(130</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Other income </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">21</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Loss before income taxes from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(109</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Provision for income taxes from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); text-align: right;">(7</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Net loss from discontinued operations </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">—</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">(116</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">)</td></tr> </tbody></table> <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding-bottom: 1px;"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; width: 17%; border-bottom: 1px solid rgb(0, 0, 0);"> For the Three Months Ended April 30, </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding-bottom: 1px;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td><td style="font-family: "Times New Roman"; font-size: 10pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding-bottom: 1px;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td><td style="font-family: "Times New Roman"; font-size: 10pt; width: 1%; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding: 0; margin: 0"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; width: 17%; padding: 0; margin: 0">(in thousands)</td><td style="font-family: Times New Roman; font-size: 10pt; width: 1%; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; padding: 0; margin: 0"> Depreciation and amortization </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">$</td><td style="width: 13%; font-family: Times New Roman; font-size: 10pt; text-align: right; padding: 0; margin: 0">—</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">$</td><td style="width: 13%; font-family: Times New Roman; font-size: 10pt; text-align: right; padding: 0; margin: 0">148</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> </tbody></table>

1989000

1108000

568000

0 295000

148000

1011000

-130000

0 21000

-109000

-0

7000

-116000

148000

5. New Accounting Pronouncements In November 2023, the Financial Accounting Standards Board ("FASB") issued Accounting Standards Update ("ASU") No. 2023-07, Segment Reporting (Topic 280): Improvements to Reportable Segment Disclosures ("ASU 2023-7"), to enhance the disclosures public entities provide regarding significant segment expenses so that investors can better understand an entity’s overall performance and assess potential future cash flows. ASU 2023-07 is effective four our annual periods beginning February 1, 2024 and interim periods within fiscal years beginning February 1, 2025. The Company is evaluating the impacts of adoption. In December 2023, the FASB issued ASU 2023-09, Income Taxes (Topic 740): Improvements to Income Tax Disclosures (“ASU 2023-09”). ASU 2023-09 seeks to improve transparency of income tax disclosures by requiring consistent categories and greater disaggregation of information in the rate reconciliation and income taxes paid disclosures. The updated guidance is effective for the Company on February 1, 2025. The Company is currently evaluating the new guidance to determine the impact it will have on the disclosures to its consolidated financial statements.

6. Revenue from Contracts with Customers The following table presents revenue from contracts with customers disaggregated by timing of revenue recognition: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"> <tbody> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> Three Months Ended April 30, </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 70%;"> Revenue recognized at a point in time: </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue recognized at a point in time </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">9,377</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">10,512</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Revenue recognized over time: </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue recognized over time </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">301</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">85</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue from contracts with customers </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">9,678</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">10,597</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> </tbody> </table> The revenue from products manufactured and sold by our Seamap business is generally recognized at a point in time, or when the customer takes possession of the product, based on the terms and conditions stipulated in our contracts with customers. However, from time to time our Seamap business provides repair and maintenance services, or performs upgrades, on customer owned equipment in which case revenue is recognized over time. In addition, our Seamap business provides annual Software Maintenance Agreements (“SMA”) to customers who have an active license for software embedded in Seamap products. The revenue from SMA is recognized over time, with the total value of the SMA recognized in equal monthly amounts over the life of the contract. The following table presents revenue from contracts with customers disaggregated by geography, based on the shipping location of our customers: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"> <tbody> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> Three Months Ended April 30, </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 70%;"> United States </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">345</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">392</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Europe </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,785</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">6,500</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Asia-Pacific </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">5,843</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">3,582</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Other </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">705</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">123</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue from contracts with customers </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">9,678</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">10,597</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> </tbody> </table> As of April 30, 2024, and January 31, 2024, contract assets and liabilities consisted of the following: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"> <tbody> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td> <td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="font-family: "Times New Roman"; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td> <td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> Contract Assets: </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Unbilled revenue - current </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">16</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">26</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Total unbilled revenue </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">16</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">26</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Contract Liabilities: </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Deferred revenue & customer deposits - current </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">3,529</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">3,649</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Total deferred revenue & customer deposits </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">3,529</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">3,649</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> </tbody> </table> Considering the products manufactured and sold by our Seamap business and the Company’s standard contract terms and conditions, we expect the Company's contract assets and liabilities to turn over, on average, within a period of three to nine months. With respect to the disclosures above, sales and transaction-based taxes are excluded from revenue, and we do not disclose the value of unsatisfied performance obligations for contracts with an original expected duration of one year or less. Also, we expense costs incurred to obtain contracts because the amortization period would be one year or less. These costs are recorded in selling, general and administrative expenses.

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"> <tbody> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> Three Months Ended April 30, </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 70%;"> Revenue recognized at a point in time: </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue recognized at a point in time </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">9,377</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">10,512</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Revenue recognized over time: </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue recognized over time </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">301</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">85</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue from contracts with customers </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">9,678</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">10,597</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> </tbody> </table> <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"> <tbody> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> Three Months Ended April 30, </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 70%;"> United States </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">345</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">392</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Europe </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,785</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">6,500</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Asia-Pacific </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">5,843</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">3,582</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Other </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">705</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">123</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Total revenue from contracts with customers </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">9,678</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">10,597</td> <td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> </tbody> </table>

9377000

10512000

301000

85000

9678000

10597000

345000

392000

2785000

6500000

5843000

3582000

705000

123000

9678000

10597000

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"> <tbody> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td> <td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> <td style="font-family: "Times New Roman"; font-size: 10pt;"> </td> <td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td> <td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> Contract Assets: </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Unbilled revenue - current </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">16</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">26</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Total unbilled revenue </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">16</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">26</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Contract Liabilities: </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> <td style="font-family: Times New Roman; font-size: 10pt;"> </td> </tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Deferred revenue & customer deposits - current </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">3,529</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">3,649</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"> <td style="font-family: Times New Roman; font-size: 10pt;"> Total deferred revenue & customer deposits </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">3,529</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td> <td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">3,649</td> <td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td> </tr> </tbody> </table>

16000

26000

16000

26000

3529000 3649000

3529000

3649000

7. Balance Sheet <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: "Times New Roman"; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> Inventories: </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Raw materials </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">9,949</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">8,730</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Finished goods </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">2,657</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">2,463</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Work in progress </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">5,089</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">3,709</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Cost of inventories </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">17,695</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">14,902</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Less allowance for obsolescence </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(1,534</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(1,531</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total inventories, net </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">16,161</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">13,371</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table> <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: "Times New Roman"; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> Property and equipment: </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Furniture and fixtures </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">8,923</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">8,868</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Autos and trucks </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;">286</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;">287</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Land and buildings </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">997</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">997</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Cost of property and equipment </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);">10,206</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);">10,152</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Accumulated depreciation and amortization </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(9,415</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(9,334</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total property and equipment, net </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">791</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">818</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table> As of January 31, 2024, the Company completed an annual review of property and equipment noting no indications that the recorded value of assets may not be recoverable, and no impairment was recorded for fiscal 2024. Since January 31, 2024, there have been no changes to the market, economic or legal environment in which the Company operates or overall performance of the Company, that would, in the aggregate, indicate additional impairment analysis is necessary as of April 30, 2024.

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: "Times New Roman"; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> Inventories: </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Raw materials </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">9,949</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">8,730</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Finished goods </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">2,657</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">2,463</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Work in progress </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">5,089</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">3,709</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Cost of inventories </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">17,695</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">14,902</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Less allowance for obsolescence </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(1,534</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(1,531</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total inventories, net </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">16,161</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">13,371</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table>

9949000

8730000

2657000

2463000

5089000

3709000

17695000

14902000

1534000

1531000

16161000

13371000

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: "Times New Roman"; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%;"> Property and equipment: </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Furniture and fixtures </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">8,923</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">8,868</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Autos and trucks </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;">286</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;">287</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Land and buildings </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">997</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">997</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Cost of property and equipment </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);">10,206</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);">10,152</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; border-top: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Accumulated depreciation and amortization </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(9,415</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(9,334</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total property and equipment, net </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">791</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">818</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table>

8923000

8868000

286000

287000

997000

10206000

10152000

9415000

9334000

791000

818000

8. Leases The Company has certain non-cancelable operating lease agreements for office, production and warehouse space in Texas, Singapore, Malaysia, and the United Kingdom. Lease expense for the three months ended April 30, 2024 was approximately $207,000, respectively, and during the three months ended April 30, 2023 was approximately $221,000, respectively, and was recorded as a component of operating income (loss). Included in these costs was short-term lease expense of approximately$1,000 for the three months ended April 30, 2024, and during the three months ended April 30, 2023 was approximately$2,000. Supplemental balance sheet information related to leases as of April 30, 2024 and January 31, 2024 was as follows: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 5%; margin-left: 36pt; width: 95%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; border-bottom: thin solid rgb(0, 0, 0);"> Lease </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Assets </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td colspan="7" rowspan="1" style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; text-align: center;">(in thousands)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating lease assets </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,324</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Liabilities </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating lease liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,324</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Classification of lease liabilities </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Current liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">728</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">751</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Non-current liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">997</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">573</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total Operating lease liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">1,324</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table> Lease-term and discount rate details as of April 30, 2024 and January 31, 2024 were as follows: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 5%; margin-left: 36pt; width: 95%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; border-bottom: thin solid rgb(0, 0, 0);"> Lease term and discount rate </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Weighted average remaining lease term (years) </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating leases </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1.83</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1.40</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Weighted average discount rate: </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating leases </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">13</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">%</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">13</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">%</td></tr> </tbody></table> The incremental borrowing rate was calculated using the Company's weighted average cost of capital. Supplemental cash flow information related to leases was as follows: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"><tbody><tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> For the Three Months Ended April 30, </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 1px;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 70%; border-bottom: 1px solid rgb(0, 0, 0);"> Lease </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 1px;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 1px;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Cash paid for amounts included in the measurement of lease liabilities: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating cash flows from operating leases </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(207</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(221</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Changes in lease balances resulting from new and modified leases: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating leases </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">612</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">223</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> </tbody></table> Maturities of lease liabilities at April 30, 2024 were as follows: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 10%; margin-left: 10%; width: 80%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">(in thousands)</td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2025 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;">$</td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">705</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2026 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">595</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 83%;"> 2027 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">487</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2028 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">275</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2029 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">35</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Thereafter </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 14%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); text-align: right;">—</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total payments under lease agreements </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">2,097</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Less: imputed interest </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding-bottom: 1px;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 14%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(372</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total lease liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table>

207000

221000

1000

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 5%; margin-left: 36pt; width: 95%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; border-bottom: thin solid rgb(0, 0, 0);"> Lease </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Assets </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td colspan="7" rowspan="1" style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; text-align: center;">(in thousands)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating lease assets </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,324</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Liabilities </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating lease liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1,324</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Classification of lease liabilities </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Current liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">728</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">751</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Non-current liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">997</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">573</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total Operating lease liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">1,324</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table>

1725000

1324000

1725000

1324000

728000

751000

997000

573000

1725000

1324000

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 5%; margin-left: 36pt; width: 95%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 68%; border-bottom: thin solid rgb(0, 0, 0);"> Lease term and discount rate </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> January 31, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> Weighted average remaining lease term (years) </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating leases </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1.83</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">1.40</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Weighted average discount rate: </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Operating leases </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">13</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">%</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">13</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">%</td></tr> </tbody></table> <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px;"><tbody><tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> For the Three Months Ended April 30, </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 1px;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 70%; border-bottom: 1px solid rgb(0, 0, 0);"> Lease </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 1px;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> 2023 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; padding-bottom: 1px;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Cash paid for amounts included in the measurement of lease liabilities: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td colspan="6" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating cash flows from operating leases </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(207</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(221</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Changes in lease balances resulting from new and modified leases: </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt;"> Operating leases </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">612</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 12%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">223</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> </tbody></table>

P1Y4M24D

0.13

207000

221000

612000

223000

<table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 10%; margin-left: 10%; width: 80%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td style="font-family: Times New Roman; font-size: 10pt;"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);"> April 30, 2024 </td><td style="font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td colspan="2" style="text-align: center; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0">(in thousands)</td><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2025 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;">$</td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">705</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2026 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">595</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; width: 83%;"> 2027 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">487</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2028 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">275</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2029 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">35</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Thereafter </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 14%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); text-align: right;">—</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total payments under lease agreements </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">$</td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">2,097</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td> </td><td> </td><td> </td><td> </td><td> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Less: imputed interest </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding-bottom: 1px;"> </td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 14%; text-align: right; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(372</td><td style="width: 1%; font-family: "Times New Roman"; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total lease liabilities </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 14%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">1,725</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table>

705000

595000

487000

275000

35000

2097000

372000

1725000

9. Intangible Assets <table cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px; margin-left: 0pt; margin-right: 0pt;"><tbody><tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 10%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 21%;"> April 30, 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 21%;"> January 31, 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Weighted </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Average Life at </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Gross Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Accumulated </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Net Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Gross Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Accumulated </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Net Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> April 30, 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amortization </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amortization </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 10%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 21%;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 21%;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Proprietary rights </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">4.6</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">7,473</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(5,168</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,305</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">7,473</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(5,053</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,420</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Customer relationships </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">0.1</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">4,884</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(4,876</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">8</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">4,884</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(4,852</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">32</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Patents </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">1.2</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,540</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(2,216</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">324</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,540</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(2,190</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">350</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Trade name </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2.1</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">134</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(111</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">23</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">134</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(108</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">26</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Other </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">0.2</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">416</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(362</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">54</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">426</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(366</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">60</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Intangible assets </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 10%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">15,447</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">(12,733</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">2,714</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">15,457</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">(12,569</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">2,888</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table> On January 31, 2024, the Company completed an annual review of amortizable intangible assets. Based on a review of qualitative factors, it was determined that there were no events or changes in circumstances indicating that the carrying value of amortizable intangible assets was not recoverable. During the three months ended April 30, 2024, there have been no substantive indicators of impairment. Aggregate amortization expense was $185,000 and $224,000 for the three months ended April 30, 2024 and 2023, respectively. As of April 30, 2024, future estimated amortization expense related to amortizable intangible assets was estimated to be: <table border="0" cellpadding="0" cellspacing="0" class="finTable" style="margin-right: 7.5%; margin-left: 7.5%; width: 85%; font-size: 10pt; font-family: Times New Roman; text-indent: 0px;"><tbody><tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> For fiscal years ending January 31, </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td><td style="width: 13%; font-family: "Times New Roman"; font-size: 10pt; padding: 0px; margin: 0px; text-align: center;">(in thousands)</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; padding: 0; margin: 0"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2025 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">442</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2026 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">520</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2027 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">381</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2028 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">315</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> 2029 </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;">213</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Thereafter </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">843</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: Times New Roman; font-size: 10pt;"> Total </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt;"> </td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 13%; text-align: right; font-family: Times New Roman; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">2,714</td><td style="width: 1%; font-family: Times New Roman; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table>

<table cellpadding="0" cellspacing="0" class="finTable" style="width: 100%; font-size: 10pt; font-family: "Times New Roman", Times, serif; text-indent: 0px; margin-left: 0pt; margin-right: 0pt;"><tbody><tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 10%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 21%;"> April 30, 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 21%;"> January 31, 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Weighted </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 7%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Average Life at </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Gross Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Accumulated </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Net Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Gross Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Accumulated </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 1%;"> Net Carrying </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> April 30, 2024 </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amortization </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amortization </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="2" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> Amount </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); width: 1%;"> </td></tr> <tr class="finHeading" style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 10%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 21%;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td colspan="10" style="text-align: center; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; width: 21%;"> (in thousands) </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Proprietary rights </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">4.6</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">7,473</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(5,168</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,305</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">7,473</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(5,053</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,420</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Customer relationships </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">0.1</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">4,884</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(4,876</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">8</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">4,884</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(4,852</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">32</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Patents </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">1.2</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,540</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(2,216</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">324</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2,540</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(2,190</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">350</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Trade name </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">2.1</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">134</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(111</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">23</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">134</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">(108</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">26</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(204, 238, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Other </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 10%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;">0.2</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">416</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(362</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">54</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">426</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">(366</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0);"> </td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 1px solid rgb(0, 0, 0);">60</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 1px solid rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> <tr style="background-color: rgb(255, 255, 255); vertical-align: bottom"><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 27%;"> Intangible assets </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 10%;"> </td><td style="font-family: "Times New Roman", Times, serif; font-size: 10pt; width: 1%;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">15,447</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">(12,733</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">2,714</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">15,457</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">(12,569</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">)</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt;"> </td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">$</td><td style="width: 7%; text-align: right; font-family: "Times New Roman", Times, serif; font-size: 10pt; margin-left: 0pt; border-bottom: 3px double rgb(0, 0, 0);">2,888</td><td style="width: 1%; font-family: "Times New Roman", Times, serif; font-size: 10pt; border-bottom: 3px double rgb(0, 0, 0); margin-left: 0pt;"> </td></tr> </tbody></table>

P4Y7M6D

7473000

5168000

2305000

7473000

5053000

2420000

P0Y1M6D

4884000

4876000

8000

4884000

4852000

32000

P1Y2M12D

2540000

2216000

324000

2540000

2190000

350000

P2Y1M6D

134000

111000

23000

134000

108000

26000

P0Y2M12D

416000

362000

54000

426000

366000

60000

15447000

12733000

2714000

15457000

12569000

2888000

185000

224000

442000

520000

381000

315000

213000

843000

2714000

10. Notes Payable On February 2, 2023, we entered into a $3.75 million Loan and Security Agreement (“the Loan”). The Company incurred approximately $814,000 of debt acquisition costs associated with the loan including approximately $254,000 in origination and other transaction fees and approximately $484,000 of prepaid interest, which is the interest due through maturity. These costs were recorded as a reduction to the carrying value of our debt and amortized to interest expense straight-line over the term of the Loan. Approximately $204,000 of amortization of debt acquisition costs were recorded as interest expense for the three months ended April 30, 2023. On August 22, 2023, in connection with the Sale of Klein, the Loan was repaid in full (see Note 2- "Sale of Subsidiary" for additional details).

3750000

814000

254000

484000

204000

11. Income Taxes For the three-month period ended April 30, 2024, the income tax expense from continuing operations was approximately $ 245,000, on pre-tax income from continuing operations of approximately $1.2 million. For the three- month period ended April 30, 2023, the income tax expense from continuing operations was approximately $ 411,000, on pre-tax income from continuing operations of $ 287,000. The variance between our actual provision and the expected provision when applying the U.S. statutory rate of 21% is due primarily to the impact of income taxes accrued in certain foreign jurisdictions, mainly Singapore, which do not have net operating losses available to offset taxable income, and because valuation allowances have been recorded against increases in our deferred tax assets. Valuation allowances have been provided against all deferred tax assets in the United States and several foreign jurisdictions. The Company files U.S. federal and state income tax returns as well as separate returns for its foreign subsidiaries within their local jurisdictions. The Company's U.S. federal tax returns are subject to examination by the Internal Revenue Service for fiscal years ended January 31, 2019 through 2024. The Company’s tax returns may also be subject to examination by state and local tax authorities for fiscal years ending January 31, 2017 through 2024. The Company's Singapore income tax returns are subject to examination by the Singapore tax authorities for the fiscal years ended January 31, 2017, through 2024. The Company’s tax returns in other foreign jurisdictions are generally subject to examination for the fiscal years ended January 31, 2018 through 2024. The Company has determined that the undistributed earnings of foreign subsidiaries are not deemed to be indefinitely reinvested outside of the United States as of April 30, 2024. Furthermore, the Company has concluded that any deferred taxes with respect to the undistributed foreign earnings would be immaterial. Therefore, the Company has not recorded a deferred tax liability associated with the undistributed foreign earnings as of April 30, 2024. For the three-month period ended April 30, 2024 and 2023, the Company did not recognize any tax expense or benefit related to uncertain tax positions.

245000

1200000

411000

287000

12. Earnings per Share Net income per basic common share is computed using the weighted average number of common shares outstanding during the period, excluding unvested restricted stock. Net income per diluted common share is computed using the weighted average number of common shares and dilutive potential common shares outstanding during the period using the treasury stock method. Potential common shares result from the assumed exercise of outstanding common stock options having a dilutive effect and from the assumed vesting of unvested shares of restricted stock. For the three months ended April 30, 2024 and April 30, 2023, dilutive potential common shares outstanding were immaterial and had no effect on the calculation of earnings per share because shares were anti-dilutive. The total basic weighted average common shares outstanding for the three months ended April 30, 2024 and April 30,2023, was approximately 1.4 million shares. On October 12, 2023, the Company filed with the Secretary of State of the State of Delaware a Certificate of Amendment to its Charter (the “Charter Amendment”) to effect a one-for-ten reverse stock split (the “Reverse Stock Split”). Prior periods shares have been restated to reflect the impact of the Reverse Stock Split in calculating earnings per share (see Note 14- "Equity and Stock Based Compensation " for additional details).

1400000

13. Related Party Transaction Ladenburg Thalmann & Co. Inc. (“Ladenburg”) provided advisor and arrangement services for the Loan (See Note 10 - "Notes Payable" for additional details) and received $75,000 in fees for such services. Additionally, Ladenburg provided advisory services related to the Sale of Klein and received fees of $405,000 for such services. The former Co-Chief Executive Officer and Co-President of Ladenburg is the Non-Executive Chairman of our Board. Our Non-Executive Chairman of the Board received no portion of the above-mentioned compensation.

75000

405000

14. Equity and Stock-Based Compensation As of April 30, 2024, there are approximately 1,683,000 shares of Preferred Stock outstanding with an aggregate liquidation preference of approximately $48.7 million, which amount includes approximately $6.6 million in undeclared cumulative dividends. Holders of our Preferred Stock are entitled to receive, when and as declared by the Board out of funds of the Company available for the payment of distributions, quarterly cumulative preferential cash dividends of $0.5625 per share of the $25.00 per share stated liquidation preference on our Preferred Stock. Dividends on the Preferred Stock are payable quarterly in arrears, on April 30, July 31, October 31, and January 31, of each year. On September 28, 2023, the Board approved the Reverse Stock Split at a ratio of one-for-ten. On October 12, 2023, the Company filed with the Secretary of State of the State of Delaware a Certificate of Amendment to its Charter Amendment to effect the Reverse Stock Split. The Charter Amendment became effective on October 13, 2023. As a result of the Charter Amendment and Reverse Stock Split, every ten shares of issued and outstanding Common Stock were combined into one issued and outstanding share of Common Stock, without any change in par value per share. Proportionate adjustments were also made to any outstanding securities or rights convertible into, or exchangeable or exercisable for, shares of Common Stock. Fractional shares were not issued in connection with the Reverse Stock Split. Stockholders who would otherwise be entitled to receive a fractional share were entitled to receive one full share of post-Reverse Stock Split Common Stock, in lieu of receiving such fractional shares. The Reverse Stock Split affected all stockholders uniformly and did not alter any stockholder’s relative interest in the Company’s equity securities. The Reverse Stock Split reduced the number of shares of issued and outstanding Common Stock from approximately 13,788,738 shares to approximately 1,405,779 shares. Common stock and treasury stock shares have been retroactively adjusted to reflect the Reverse Stock Split in all periods presented. In connection with the reverse stock split, the Company retired all treasury stock. Total compensation expense recognized for stock-based awards granted under the Company’s equity incentive plan during the three-month period ended April 30, 2024 was approximately $ 48,000, and during the three-month period ended April 30, 2023, was approximately $50,000.

1683000

48700000

6600000

0.5625

13788738

1405779

48000

50000

15. Segment Reporting Prior to August 22, 2023, the Company operated in two segments, Seamap and Klein. On August 21, 2023, the Company completed the Sale of Klein. (see Note 2-"Sale of Subsidiary" for additional details). As a result, at April 30, 2024, Seamap is the Company’s sole operating segment.

<a href="#" id="item_5_2" title="item_5_2"></a>Item 5. Other Information Not applicable.