0 1 0 < input/adt.55
3 1 0 < input/nnt12
1 < input/ad.1
1 0 -3 < input/zt.10
3 2 4 < input/ct.20
