0 10 3 < input/inp.6
 0 0 3 < input/tc.27
7 10 5 < input/inp.hf.6
8 10 9 < input/add.339
4  5  10  < input/lu194
2 3  < input/bdt.77
-6 2 0 < input/zt.6
