 0 3 2 < input/dat204
9 10 2 < input/adt.3
1 1 9 < input/add.307
2 1 0 < input/inp.hf.1
2 1 5 < input/ft.20
< input/bdt.77
2 0 -1 < input/zt.7
