/divisibility_reductions/