euler001_DivModHints_mod_succ_2_1.v 1.22 KB