6  7  6  < input/lu58
6 3 10 < input/adt.9
2 3 1 < input/zt.4
3 2 1 < input/ct.25
3 3 1 < input/adt.162
0 2 6 < input/add.52
