9 10 2 < input/adt.3
10 0 4 < input/add.306
0   0    < input/bdt.77
-2 1 0 < input/zt.9
10 1 7 < input/inp.74
