3 5 4 < input/adt.16
8 5 3 < input/add.309
7  4  1  < input/lu43
9 5 5 < input/add.336
2 3 1 < input/ct.31
1 < input/ad.1
1 5 10 < input/add.306
0 0 0 < input/adt.3
3 1 5 < input/ft.8
3 1 -5 < input/zt.1
