
Dafny program verifier finished with 1 verified, 0 errors
5 0 0 false 0 false 0

Dafny program verifier finished with 1 verified, 0 errors
5 0 0 false 0 false 0

Dafny program verifier finished with 1 verified, 0 errors
5 0 0 false 0 false 0
