(Reference: A Bayesian Method for Post-Election Audits, by Ronald L. Rivest and Emily Shen. Proceedings EVT/WOTE 2012.)

Enter number of ballots cast: