monad0024-2: CONTRAFold 2^4

monad0024-2