0 7 2 < input/adt.116
1 1 1 < input/ct.5
< input/bdt.77
-2 1 0 < input/zt.9
7 8 4 < input/inp.30
