8 5 0 < input/inp.hf.13
2 1 1 < input/et.9
1 1 < input/ad.2
-2 1 0 < input/zt.9
7 3 7 < input/inp.12
