2 10 2 < input/add.304
 3 1 3 < input/dat236
 3 5 2 < input/dat519
 0 3 2 < input/dat230
1 10 10 < input/add.320
 0 4 0 < input/tc.7
 3 2 0 < input/dat573
 0 0 0 < input/tc.289
4 6 2 < input/add.97
