monad1016-3: CONTRAFold 2^5

monad1016-3