6  7  10  < input/lu346
1 10 8 < input/add.22
 0 0 3 < input/tc.4
 1 2 1 < input/dat406
9 5 5 < input/add.336
 3 3 2 < input/dat378
4 0 1 < input/dat309
 4 4 5 < input/dat771
 1 1 5 < input/dat267
 5 0 2 < input/dat232
 4 5 0 < input/dat597
3 1 1 < input/nnt11
