euler001_DivModHints_mod_succ_1_1.v 1.13 KB