monad1017-1: CONTRAFold 2^1