monad1016-1: CONTRAFold 2^1