Python Single-outcome-determinization Resources