
Dafny program verifier finished with 5 verified, 0 errors

Dafny program verifier did not attempt verification
1
3
5
7
9
1 3
3 5

Dafny program verifier did not attempt verification
1
9
3
7
5
1 3
3 5

Dafny program verifier did not attempt verification
1
9
3
7
5
1 3
3 5

Dafny program verifier did not attempt verification
1
3
5
7
9
3 5
1 3
