../ picat-3.5.5-r1.log 07-Nov-2023 16:30 50K picat-3.6-r0.log 12-Jan-2024 12:55 130K picat-3.6-r1.log 25-Apr-2024 15:46 97K picat-3.6.3-r0.log 27-Apr-2024 08:35 80K picat-3.6.4-r0.log 01-May-2024 02:16 79K picat-3.6.5-r0.log 07-May-2024 09:24 80K picat-3.6.6-r0.log 09-May-2024 04:59 80K