0 7 6 < input/adt.3
2 2 6 < input/ft.11
1 1 < input/ad.2
-6 2 0 < input/zt.6
 1 0 0 < input/dat531
