De-vig sum-to-one holds across multiple sampled matches

4 plans: Each book's de-vigged probabilities sum to 1.0; Raw implied probabilities sum above 1.0 (the vig is real); De-vigged probability equals raw implied normalized by the overround; …