7 9 10 < input/adt.36
1 1 1 < input/ct.4
2  2 < input/ft.30
1 -2 3 < input/zt.2
2 2 2 < input/ct.55
