Correction
Many thanks to Josh Mailman of the NYC area (I assume from his email at
my old ISP, panix.com), for correcting some errors on the Uniqueness
example that I provided. The original table looked thus:
0: {0, 2, 4, 5, 6, 9, 10}
* 2: {0, 2, 3, 4, 7, 9, 11}
4: {0, 1, 2, 5, 6 8, 10}
* 5: {0, 1, 4, 5, 6, 9, 11}
6: {0, 3, 4, 6, 8,10, 11}
* 9: {0, 1, 3, 4, 7, 8, 9}
10: {0, 2, 4, 6, 7, 8, 11}
Josh was kind enough to alert me to the fact that it should appear like this:
0: {0, 2, 4, 5, 6, 9, 10}
* 2: {0, 2, 3, 4, 7, 8, 11}
4: {0, 1, 2, 5, 6 8, 10}
* 5: {0, 1, 4, 5, 7, 9, 11}
6: {0, 3, 4, 6, 8,10, 11}
* 9: {0, 1, 3, 5, 7, 8, 9}
10: {0, 2, 4, 6, 7, 8, 11}