10 5 10 < input/adt.3
7 10 9 < input/add.333
2 3  < input/bdt.77
0 1 -2 < input/zt.13
6 2 3 < input/inp.2
