0 7 0 < input/add.334
1 1 < input/ad.2
2 7 3 < input/ft.11
2 2 2 < input/ct.17
0 1 2 < input/ct.22
