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: []
[exact] n=24 k=804 mu=(3, 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=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=24 done 0.2s
[exact] n=25 k=997 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=25 k=997 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=25 k=997 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=25 k=997 mu=(3, 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=25 k=997 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=25 done 0.3s
[exact] n=26 k=1236 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=26 k=1236 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=26 k=1236 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=26 k=1236 mu=(3, 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=26 k=1236 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=26 done 0.5s
[exact] n=27 k=1526 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=27 k=1526 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=27 k=1526 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=27 k=1526 mu=(3, 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=27 k=1526 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=27 done 0.7s
[exact] n=28 k=1883 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=28 k=1883 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=28 k=1883 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=28 k=1883 mu=(3, 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=28 k=1883 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=28 done 1.0s
tables up to 31 in 3.2s
[exact] n=29 k=2308 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=29 k=2308 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=29 k=2308 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=29 k=2308 mu=(3, 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=29 k=2308 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=29 done 1.3s
[exact] n=30 k=2829 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=30 k=2829 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=30 k=2829 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=30 k=2829 mu=(3, 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=30 k=2829 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=30 done 1.9s
[exact] n=31 k=3451 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=31 k=3451 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=31 k=3451 mu=(5,): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
[exact] n=31 k=3451 mu=(3, 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=31 k=3451 mu=(4, 2): T(C)=E(mu,n) True (tight not in E: []; E not tight: []); pi bijective True; edges of pi with a=0: []
n=31 done 2.7s
