4 5 0 < input/adt.189
1 10 8 < input/add.50
 3 3 0 < input/dat470
 2 1 1 < input/dat221
 4 2 1 < input/dat777
 2 4 4 < input/dat171
 3 2 2 < input/dat254
1 2 4 < input/ct.42
8 1 2 < input/inp.42
1 10 7 < input/inp.18
