10 5 10 < input/adt.3
9 8 4 < input/add.343
8 3 < input/ft.25
1 0 -3 < input/zt.10
1 2 3 < input/zt.2
