4 7 0 < input/add.90
9  6  5  < input/lu427
 0 0 0 < input/tc.76
9 8 2 < input/add.77
1 3 1 < input/ct.9
 0 0 0 < input/tc.289
1 2 7 < input/inp.hf.28
10 5 0 < input/adt.20
