RUN: $(golomb_sat_py3)