>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ONE-STEP SEMI-SYMBOLIC CONTROL
Attractor colors computed in 562815 ms.
Weak basin has 1047552 states.
Killed
