 3 1 5 < input/dat527
2 3 1 < input/ct.31
1 2 0 < input/dat185
3  2  5  < input/lu303
7 9 10 < input/adt.136
 5 5 4 < input/dat548
3 1 10 < input/inp.71
 1 4 0 < input/dat154
