0 7 6 < input/adt.3
4 3 2 < input/nnt6
1 1 < input/ad.2
1 -3 1 < input/zt.11
2 4 2 < input/ct.56
