Supplementary Material to "Co-evolution of Spies and Resistance Fighters", Lange, Stanke and Ebner (2021) Computation of Winning Probability for Random Strategy Code for Calculation PDF