4 3 4 < input/add.343
1 1 0 < input/add.91
 5 1 1 < input/dat211
 4 3 3 < input/dat078
 2 4 2 < input/dat017
7 5 2 < input/inp.98
 4 4 5 < input/dat061
 1 4 0 < input/dat154
 5 0 1 < input/dat347
 1 5 1 < input/dat128
3 7 3 < input/adt.132
