0 3 0 < input/ct.11
5 8 10 < input/inp.76
9 0 9 < input/inp.hf.21
0 10 1 < input/add.305
1 1 < input/ad.2
-5 2 9 < input/zt.12
