modified:   original_simple_swu.sage