6 1 4 < input/inp.60
2 3 1 < input/ct.31
4 5 0 < input/adt.189
2 1 1  < input/dt.17
4 7 6 < input/ft.24
< input/bdt.77
2 3 -1 < input/zt.4
