../ Makefile 15-Sep-2021 15:27 613 T17752.hs 15-Sep-2021 15:27 570 T17752.stdout 06-Jul-2021 09:42 61 all.T 06-Jul-2021 09:42 190