$ exhaust 8 3
n=8 k=3 pairs=16 tested=560 successes=0  => no R of this size
$ exhaust 8 4
example: 0-3 0-5 0-6 1-2
example: 0-3 0-5 0-6 1-4
example: 0-3 0-5 0-6 2-4
n=8 k=4 pairs=16 tested=1820 successes=768  => wsat <= 11+k
$ exhaust 9 4
n=9 k=4 pairs=24 tested=4326 successes=0  => no R of this size
$ exhaust 9 5
example: 0-3 0-5 0-8 1-2 2-8
example: 0-3 0-5 0-8 1-2 3-8
example: 0-3 0-5 0-8 1-2 4-8
n=9 k=5 pairs=24 tested=23576 successes=6864  => wsat <= 11+k
$ exhaust 10 5
n=10 k=5 pairs=33 tested=32208 successes=0  => no R of this size
$ exhaust 10 6
n=10 k=6 pairs=33 tested=272048 successes=0  => no R of this size
$ exhaust 10 7
example: 0-3 0-5 0-8 0-9 1-2 1-8 2-9
example: 0-3 0-5 0-8 0-9 1-2 1-8 3-9
example: 0-3 0-5 0-8 0-9 1-2 1-8 4-9
n=10 k=7 pairs=33 tested=1584240 successes=554712  => wsat <= 11+k
$ exhaust 11 7
n=11 k=7 pairs=43 tested=3116702 successes=0  => no R of this size
