RUN: $(spread_robots_sat_py3)