 0 0 0 < input/tc.112
1 0 3 < input/adt.174
2 3 8 < input/add.305
1 2  < input/bdt.77
2 3 1 < input/et.8
0 0 0 < input/ct.29
-2 1 0 < input/zt.9
