4 1 1 < input/dat054
 0 0 0 < input/tc.31
0 0 0 < input/nt.2
6 10 9 < input/add.309
 3 3 2 < input/dat425
