Sigma Symbolic interface for game-theoretic modelling and analysis. New: MAXIMA code for analysing the GameSec 2024 Stochastic Ransom Roulette game (joined work with Stefan Rass).