1 1 10 < input/adt.103
0 10 6 < input/inp.59
6 1 7 < input/inp.91
6 6 0 < input/inp.59
3  10  5  < input/lu13
