http://gondwanaland.com/mlog/category/prediction-markets
Two remaining stocks depend on whether lower bound IBC increases by 40k from its May 1 number. I did not record May 1 number, but Internet Archive has copies of IBC front page from http://web.archive.org/web/20070408025356/http://www.iraqbodycount.net/ ((April 8) and http://web.archive.org/web/20070509204028/http://www.iraqbodycount.net/ (May 9), lower bounds of 60,835 and 63,067 respectively.
Given 31 days between the numbers I will take the May 1 number to be
60835+(63067-60835)*(22.0/31) = 62419
So the lower bound number published on Jan 1, 2008 has to be 102,419 or greater for IBC >= 40k May-Dec07 to be true.
The point of this market is to predict whether US withdrawal would make the violence worse, regardless of what it is called. If deaths increased drastically as specified by the +CW stocks there would be no debating that a civil war had occurred or is ongoing.