5 7 8 < input/adt.189
10 4 3 < input/add.302
1 < input/ad.1
0 1 -2 < input/zt.13
 0 1 0 < input/tc.140
2 2 2 < input/ct.55
