# p=6 nmax=25 ds=[5, 6, 7, 8, 9, 10, 11, 12, 16, 20] canonical classes=27087 T_p=41 setup 16s
p=6 d=5 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.062124 at n=3; Thm4 violations 0 (min E_lat/L = 14.1590 at n=25); Prop5 violations 0  [16s]
p=6 d=6 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.038372 at n=3; Thm4 violations 0 (min E_lat/L = 23.2719 at n=25); Prop5 violations 0  [16s]
p=6 d=7 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.023160 at n=3; Thm4 violations 0 (min E_lat/L = 39.4063 at n=25); Prop5 violations 0  [16s]
p=6 d=8 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.013561 at n=3; Thm4 violations 0 (min E_lat/L = 69.5856 at n=25); Prop5 violations 0  [16s]
p=6 d=9 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.007659 at n=3; Thm4 violations 0 (min E_lat/L = 129.0697 at n=25); Prop5 violations 0  [16s]
p=6 d=10 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.004156 at n=3; Thm4 violations 0 (min E_lat/L = 252.3728 at n=25); Prop5 violations 0  [16s]
p=6 d=11 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.002165 at n=3; Thm4 violations 0 (min E_lat/L = 520.9310 at n=25); Prop5 violations 0  [16s]
p=6 d=12 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.001084 at n=3; Thm4 violations 0 (min E_lat/L = 1135.7590 at n=25); Prop5 violations 0  [16s]
p=6 d=16 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.000050 at n=3; Thm4 violations 0 (min E_lat/L = 45036.0040 at n=25); Prop5 violations 0  [17s]
p=6 d=20 n=1..25: n>=3 positive 23, nonpositive 0; n<=2 equality violations 0; min ratio 1.000002 at n=3; Thm4 violations 0 (min E_lat/L = 3986800.7669 at n=25); Prop5 violations 0  [17s]
