 5 1 1 < input/dat187
 3 0 2 < input/dat316
 5 3 5 < input/dat143
 0 2 3 < input/dat464
 4 3 5 < input/dat353
 4 1 5 < input/dat342
9 5 5 < input/add.336
9 10 10 < input/add.347
