../ picat-3.2.0-r0.log 08-May-2022 04:34 47K picat-3.5.3-r0.log 10-Aug-2023 05:26 50K picat-3.5.5-r0.log 05-Oct-2023 19:30 50K picat-3.5.5-r1.log 06-Nov-2023 15:15 50K