3 3 1 < input/adt.62
2 2 6 < input/ft.11
2 3  < input/bdt.77
0 -8 3 < input/zt.5
2 2 2 < input/ct.61
