MATHEMATICAL ENGINEERING TECHNICAL REPORTS Derandomization in Game-Theoretic Probability