monad0056-5: CONTRAfold 2^-2

monad0056-5