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