# p=4 nmax=40 ds=[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40] canonical classes=118616 T_p=4 setup 5s
p=4 d=1 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.187500 at n=3; Thm4 violations 0 (min E_lat/L = 1.2315 at n=3); Prop5 violations 0  [5s]
p=4 d=2 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.091592 at n=3; Thm4 violations 0 (min E_lat/L = 3.1378 at n=40); Prop5 violations 0  [5s]
p=4 d=3 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.045913 at n=3; Thm4 violations 0 (min E_lat/L = 5.3345 at n=40); Prop5 violations 0  [6s]
p=4 d=4 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.022977 at n=3; Thm4 violations 0 (min E_lat/L = 8.4049 at n=40); Prop5 violations 0  [6s]
p=4 d=5 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.011329 at n=3; Thm4 violations 0 (min E_lat/L = 13.0450 at n=40); Prop5 violations 0  [6s]
p=4 d=6 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.005471 at n=3; Thm4 violations 0 (min E_lat/L = 20.5406 at n=40); Prop5 violations 0  [6s]
p=4 d=7 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.002585 at n=3; Thm4 violations 0 (min E_lat/L = 33.3343 at n=40); Prop5 violations 0  [6s]
p=4 d=8 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.001196 at n=3; Thm4 violations 0 (min E_lat/L = 56.2217 at n=40); Prop5 violations 0  [6s]
p=4 d=9 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000544 at n=3; Thm4 violations 0 (min E_lat/L = 98.9814 at n=40); Prop5 violations 0  [6s]
p=4 d=10 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000243 at n=3; Thm4 violations 0 (min E_lat/L = 182.3394 at n=40); Prop5 violations 0  [7s]
p=4 d=11 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000107 at n=3; Thm4 violations 0 (min E_lat/L = 351.8671 at n=40); Prop5 violations 0  [7s]
p=4 d=12 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000047 at n=3; Thm4 violations 0 (min E_lat/L = 711.0317 at n=40); Prop5 violations 0  [7s]
p=4 d=13 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000020 at n=3; Thm4 violations 0 (min E_lat/L = 1500.9955 at n=40); Prop5 violations 0  [7s]
p=4 d=14 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000009 at n=3; Thm4 violations 0 (min E_lat/L = 3295.4029 at n=40); Prop5 violations 0  [7s]
p=4 d=15 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000004 at n=3; Thm4 violations 0 (min E_lat/L = 7479.4857 at n=40); Prop5 violations 0  [7s]
p=4 d=16 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000002 at n=3; Thm4 violations 0 (min E_lat/L = 17434.7222 at n=40); Prop5 violations 0  [7s]
p=4 d=17 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000001 at n=3; Thm4 violations 0 (min E_lat/L = 41478.6352 at n=40); Prop5 violations 0  [8s]
p=4 d=18 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 100177.8630 at n=40); Prop5 violations 0  [8s]
p=4 d=19 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 244570.1179 at n=40); Prop5 violations 0  [8s]
p=4 d=20 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 601617.8738 at n=40); Prop5 violations 0  [8s]
p=4 d=21 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 1487673.8845 at n=40); Prop5 violations 0  [8s]
p=4 d=22 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 3691863.7903 at n=40); Prop5 violations 0  [8s]
p=4 d=23 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 9184073.9622 at n=40); Prop5 violations 0  [8s]
p=4 d=24 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 22884139.9573 at n=40); Prop5 violations 0  [9s]
p=4 d=25 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 57083515.6887 at n=40); Prop5 violations 0  [9s]
p=4 d=26 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 142497276.3570 at n=40); Prop5 violations 0  [9s]
p=4 d=27 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 355890509.0531 at n=40); Prop5 violations 0  [9s]
p=4 d=28 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 889138261.3113 at n=40); Prop5 violations 0  [9s]
p=4 d=29 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 2221865365.8022 at n=40); Prop5 violations 0  [9s]
p=4 d=30 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 5553029257.4527 at n=40); Prop5 violations 0  [10s]
p=4 d=31 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 13879849108.4080 at n=40); Prop5 violations 0  [10s]
p=4 d=32 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 34695082152.1687 at n=40); Prop5 violations 0  [10s]
p=4 d=33 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 86730136971.5828 at n=40); Prop5 violations 0  [10s]
p=4 d=34 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 216812727514.5949 at n=40); Prop5 violations 0  [10s]
p=4 d=35 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 542010792792.8553 at n=40); Prop5 violations 0  [10s]
p=4 d=36 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 1354991937226.4866 at n=40); Prop5 violations 0  [10s]
p=4 d=37 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 3387421433335.8096 at n=40); Prop5 violations 0  [11s]
p=4 d=38 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 8468456231519.5898 at n=40); Prop5 violations 0  [11s]
p=4 d=39 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 21170978322914.6055 at n=40); Prop5 violations 0  [11s]
p=4 d=40 n=1..40: n>=3 positive 38, nonpositive 0; n<=2 equality violations 0; min ratio 1.000000 at n=3; Thm4 violations 0 (min E_lat/L = 52927175377233.3203 at n=40); Prop5 violations 0  [11s]
