 0 0 2 < input/tc.79
10 6 1 < input/adt.37
1 1 < input/ad.2
2 7 7 < input/bdt.77
2 3 5 < input/inp.hf.2
3 4 1 < input/et.5
