 4 1 0 < input/dat756
5 9 3 < input/add.320
0 2 2 < input/add.305
2 7 3 < input/ft.11
3  < input/ft.1
2 1 2 < input/ct.52
