1 3 2 < input/dat557
7  2  3  < input/lu171
3 1 6 < input/ft.17
 0 0 2 < input/tc.207
 0 0 0 < input/tc.104
9 6 10 < input/inp.99
3 1 9 < input/adt.111
6 3 10 < input/adt.9
 2 1 0 < input/dat535
3 9 2 < input/add.317
