4 8 0 < input/inp.51
1 5 10 < input/add.306
10  9  2  < input/lu414
 1 0 0 < input/tc.193
6  3  6  < input/lu498
1  6  1  < input/lu57
6 6 1 < input/adt.36
2 0 1 < input/nt.32
0 10 1 < input/adt.14
