 5 1 1 < input/dat027
7 4 2 < input/add.37
 0 0 3 < input/tc.162
4 10 6 < input/ft.26
 0 4 0 < input/tc.56
