monad1016-3: CONTRAFold 2^5