3 0 7 < input/inp.71
0 7 0 < input/adt.163
1 1 1 < input/nnt13
1 1 < input/ad.2
-2 1 0 < input/zt.9
