[full supports] n=12 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=12 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=12 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=12 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=12 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=13 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=13 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=13 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=13 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=13 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=14 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=14 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=14 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=14 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=14 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=15 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=15 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=15 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=15 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=15 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=16 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=16 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=16 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=16 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=16 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=17 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=17 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=17 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=17 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=17 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=18 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=18 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=18 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=18 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=18 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=19 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=19 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=19 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=19 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=19 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=20 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=20 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=20 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=20 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=20 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=21 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=21 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=21 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=21 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=21 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=22 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=22 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=22 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=22 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=22 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=23 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=23 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=23 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=23 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=23 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=24 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=24 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=24 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=24 mu=(3, 3): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
[full supports] n=24 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi outside support: []
tables up to 28 in 1.4s
[exact] n=24 k=804 mu=(3,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=24 k=804 mu=(2, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=24 k=804 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
Traceback (most recent call last):
  File "vb_thmB_exact.py", line 105, in <module>
    assert D.size[j] < PR[0]           # a <= |C| < p0 : one prime determines a
           ^^^^^^^^^^^^^^^^^
AssertionError
