../ singular-4.3.1p2-r0.log 16-Oct-2022 19:00 243K singular-4.3.1p3-r0.log 15-Dec-2022 17:26 241K singular-4.3.2-r0.log 18-Mar-2023 21:25 242K singular-4.3.2-r1.log 15-May-2023 15:05 242K singular-4.3.2-r2.log 01-Aug-2023 14:57 244K