n=7 |U|=2 injective=True
n=9 |U|=2 injective=True
n=11 |U|=7 injective=True
n=13 |U|=7 injective=True
n=15 |U|=18 injective=True
n=21 |U|=40 injective=True
n=31 |U|=294 injective=True
n=41 |U|=910 injective=True
n=51 |U|=4114 injective=True
n=61 |U|=10268 injective=True
Lemma 7.1 conditions hold for odd 7 <= n <= 61: True
