monad1017-3: CONTRAFold 2^5