Dafny program verifier finished with 59 verified, 0 errors