 4 4 0 < input/dat085
 0 1 4 < input/dat124
4 4 2 < input/add.312
 4 2 0 < input/dat176
 0 4 0 < input/tc.56
3 1 1 < input/adt.154
 0 0 0 < input/tc.220
