7 2 8 < input/bdt.86
7 10 2 < input/add.302
2 3  < input/bdt.77
3 1 -5 < input/zt.1
 2 3 5 < input/dat410
1 2 0 < input/ct.37
