0 7 6 < input/adt.3
5 3 9 < input/add.302
1 1 < input/ad.2
1 -3 1 < input/zt.11
0 4 10 < input/inp.82
