Dafny program verifier finished with 8 verified, 0 errors
Program compiled successfully
Running...

M(3) = 91
M(99) = 91
M(100) = 91
M(101) = 91
M(1013) = 1003
mc91(3) = 91
mc91(99) = 91
mc91(100) = 91
mc91(101) = 91
mc91(1013) = 1003
Mc91(3) = 91
Mc91(99) = 91
Mc91(100) = 91
Mc91(101) = 91
Mc91(1013) = 1003
iter(0, mc91, 40) = 40
iter(1, mc91, 40) = 91
iter(2, mc91, 40) = 91
iter(3, mc91, 40) = 91
iter(4, mc91, 40) = 91