monad1026-2: CONTRAFold 2^5