 2 5 3 < input/dat453
2 4 2 < input/dat108
1 4 2 < input/dat557
4 4 3 < input/add.97
2 4 1 < input/add.306
 0 3 0 < input/tc.299
