monad1016-1: CONTRAFold 2^1

monad1016-1