Question: Design an adt for a two color double stack adt that consists of two stacks one red and one blue and has its operations color coded versions of the regular stack adt operations. 

For instance, this adt should allow for both blue push operation and red push operation. 

Five an efficient implementation of this adt using a single array whose capacity is set at some value n this is assumed to always be larger than the sizes of the red and blue stacks combined.

You need to make well-formed and clean code. You should not copy and paste the code from other source.