6 10 0 < input/inp.56
10 0 4 < input/add.306
10 7 9 < input/bdt.22
0          0 < input/bdt.77
-2 4 2 < input/ct.65
