
Dafny program verifier finished with 8 verified, 0 errors
hello, M2
hello, M2
hello, M3
hello, M1
hello, M1
hello, M1
hello, M2
hello, M3
hello, N0
hello, N1

Dafny program verifier finished with 8 verified, 0 errors
hello, M2
hello, M2
hello, M3
hello, M1
hello, M1
hello, M1
hello, M2
hello, M3
hello, N0
hello, N1

Dafny program verifier finished with 8 verified, 0 errors
hello, M2
hello, M2
hello, M3
hello, M1
hello, M1
hello, M1
hello, M2
hello, M3
hello, N0
hello, N1
