200^30-(sum k=1..30 of (stirlings2(30,k)*binomial(200,k)*k!))