
Dafny program verifier finished with 12 verified, 0 errors
Window size 1:  min window-max is -5
Window size 2:  min window-max is 2
Window size 3:  min window-max is 3
Window size 5:  min window-max is 3
