monad1016-2: CONTRAFold 2^3