6 2 3 < input/adt.155
7 10 9 < input/add.333
1 1 < input/ad.2
-2 4 2 < input/ct.65
0 0 0 < input/nt.28
1 0 0 < input/zt.25
2  3  6  < input/lu16
