 1 2 0 < input/dat208
4 2 6 < input/add.326
9  6  9  < input/lu463
2 2 6 < input/ft.11
3  < input/ft.1
3 2 1 < input/ct.25
