sum k=0..5 of (-1)^k*nchoosek(7,k)*nchoosek(200-7*25-5k+7-1,7-1)