4 1 7 < input/adt.74
4 8 0 < input/adt.151
4 0 6 < input/inp.99
 3 3 3 < input/tc.98
4 1 6 < input/inp.23
 0 1 2 < input/dat479
6 2 3 < input/inp.66
 3 1 5 < input/dat537
