Calculations.dfy(7,5): Error: index out of range
Calculations.dfy(12,14): Error: index out of range
Calculations.dfy(12,18): Error: assertion might not hold
Calculations.dfy(56,11): Error: assertion might not hold
Calculations.dfy(79,14): Error: index out of range
Calculations.dfy(79,18): Error: assertion might not hold

Dafny program verifier finished with 3 verified, 6 errors

Dafny program verifier did not attempt verification
