9 10 2 < input/adt.3
8 2 9 < input/inp.39
0 3 1 < input/add.313
1 2 < input/ad.1
2 -1 3 < input/zt.8
 5 1 3 < input/dat713
