0 10 1 < input/adt.14
1 1 1 < input/ad.1
0 6 3 <  input/add.315
2 2 2 < input/ct.61
1 1 1 < input/ct.1
1 1 < input/ad.2
2 -1 3 < input/zt.8
