 2 2 1 < input/dat392
 3 4 1 < input/dat607
 4 1 0 < input/dat202
2 2 4 < input/add.303
 0 0 0 < input/tc.279
 1 1 3 < input/dat263
3  2  3  < input/lu381
