2 1 2 < input/ct.58
 3 3 4 < input/dat076
3 3 1 < input/adt.162
 0 0 0 < input/tc.235
10 0 6 < input/adt.130
