Updated mimodulo2.py