 0 2 0 < input/tc.57
1  2  1  < input/lu129
9  8  7  < input/lu477
1 1 < input/ad.2
0 0 0 < input/inp.hf.14
-2 1 0 < input/zt.9
