2 7 0 < input/add.94
 0 0 0 < input/tc.288
 3 1 5 < input/dat725
 4 4 2 < input/dat752
1 5 10 < input/add.306
 1 1 3 < input/dat263
