8 5 1 < input/adt.113
1 0 0 < input/ct.7
0 10 6 < input/inp.hf.20
1 1 < input/ad.2
1 0 -3 < input/zt.10
