let transition_rule = transition_rule_4bodies_optimized Parameters.beta Parameters.rule_prng