1 2 9 < input/adt.112
1  2  3  < input/lu251
1 2  < input/bdt.77
-5 2 9 < input/zt.12
0 1 2 < input/ct.22
