../ algol68g.log 22-Jun-2024 01:39 49056 compcert.log 22-Jun-2024 01:39 27562 racket-minimal.log 22-Jun-2024 01:39 23268 seed7.log 22-Jun-2024 01:39 58195