2 7 3 < input/ft.11
1 3 2 < input/ct.13
8  7  10  < input/lu500
1 2 9 < input/adt.112
1 1 < input/ad.2
0 -8 3 < input/zt.5
