monad0015-3: CONTRAFold 2^3