
Dafny program verifier finished with 1 verified, 0 errors

Dafny program verifier did not attempt verification
[Program halted] array size exceeds memory limit: 9223372036854775808

Dafny program verifier did not attempt verification

Dafny program verifier did not attempt verification
[Program halted] array size exceeds memory limit: 9223372036854775808

Dafny program verifier did not attempt verification
[Program halted] Java arrays may be no larger than the maximum 32-bit signed int: 9223372036854775808
