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