5 2 0 < input/add.34
 1 1 1 < input/dat014
 0 0 0 < input/tc.96
5 0 6 < input/add.303
 1 1 3 < input/dat023
 1 3 2 < input/dat058
 3 1 4 < input/dat387
