 4 1 3 < input/tc.55
6  3  2  < input/lu486
4 5 0 < input/adt.189
2  7  4  < input/lu484
8 6 10 < input/adt.173
