git-issue-2605.dfy(6,14): Error: possible division by zero
git-issue-2605.dfy(6,23): Error: possible division by zero
git-issue-2605.dfy(7,13): Error: index out of range
git-issue-2605.dfy(7,21): Error: index out of range
git-issue-2605.dfy(9,11): Error: assertion might not hold
git-issue-2605.dfy(11,9): Error: assertion might not hold

Dafny program verifier finished with 0 verified, 6 errors
