2 1 4 < input/ct.27
8 9 10 < input/inp.76
7 0 6 < input/inp.hf.15
7 1 2 < input/add.301
1 2 3 4 < input/ad.1
2 0 -1 < input/zt.7
