9 10 2 < input/adt.3
1 1 1 < input/et.1
1  8  3  < input/lu45
3  < input/ft.1
1 0 -3 < input/zt.10
