
Dafny program verifier finished with 5 verified, 0 errors
Sets: {} {17, 82} {12, 17}
  cardinality: 0 2 2
  union: {17, 82} {17, 82, 12}
  intersection: {} {17}
  difference: {} {82}
  disjoint: true false
  subset: true false true
  proper subset: true false false
  membership: false true true
false true
|s|=4 |S|=16
{{}, {a}, {b}, {b, a}, {c}, {c, a}, {c, b}, {c, b, a}, {d}, {d, a}, {d, b}, {d, b, a}, {d, c}, {d, c, a}, {d, c, b}, {d, c, b, a}}
Multisets: multiset{} multiset{17, 17, 82, 82} multiset{12, 17}
  cardinality: 0 4 2
  union: multiset{17, 17, 82, 82} multiset{17, 17, 17, 82, 82, 12}
  intersection: multiset{} multiset{17}
  difference: multiset{} multiset{17, 82, 82}
  disjoint: true false
  subset: true false true
  proper subset: true false false
  membership: false true true
  update: multiset{17, 17} multiset{17, 17, 82, 82} multiset{12, 17, 17}
  multiplicity: 0 2 1
Sequences: [] [17, 82, 17, 82] [12, 17]
  cardinality: 0 4 2
  update: [42, 82, 17, 82] [42, 17]
  index: 17 12
  concatenation: [17, 82, 17, 82] [17, 82, 17, 82, 12, 17]
  prefix: true false true
  proper prefix: true false false
  membership: false true true
Strings:  uRuR gu
  cardinality: 0 4 2
  concatenation: uRuR uRuRgu
  prefix: true false true
  proper prefix: true false false
  membership: false true true
  constructed as sequence: guru
  mix: hello-d ddd-hello
Maps: map[] map[17 := 2, 82 := 2] map[17 := 0, 12 := 26]
  cardinality: 0 2 2
  keys: {} {17, 82} {17, 12}
  values: {} {2} {0, 26}
  items: {} {(17, 2), (82, 2)} {(17, 0), (12, 26)}
  disjoint: true false
  update: map[17 := 6] map[17 := 6, 82 := 2] map[17 := 6, 12 := 26]
  lookup: false 2 0
2: 0 1 1
3: 0 1 2

Dafny program verifier finished with 5 verified, 0 errors
Sets: {} {17, 82} {12, 17}
  cardinality: 0 2 2
  union: {17, 82} {17, 82, 12}
  intersection: {} {17}
  difference: {} {82}
  disjoint: true false
  subset: true false true
  proper subset: true false false
  membership: false true true
false true
|s|=4 |S|=16
{{}, {a}, {b}, {b, a}, {c}, {c, a}, {c, b}, {c, b, a}, {d}, {d, a}, {d, b}, {d, b, a}, {d, c}, {d, c, a}, {d, c, b}, {d, c, b, a}}
Multisets: multiset{} multiset{17, 17, 82, 82} multiset{12, 17}
  cardinality: 0 4 2
  union: multiset{17, 17, 82, 82} multiset{17, 17, 17, 82, 82, 12}
  intersection: multiset{} multiset{17}
  difference: multiset{} multiset{17, 82, 82}
  disjoint: true false
  subset: true false true
  proper subset: true false false
  membership: false true true
  update: multiset{17, 17} multiset{17, 17, 82, 82} multiset{12, 17, 17}
  multiplicity: 0 2 1
Sequences: [] [17, 82, 17, 82] [12, 17]
  cardinality: 0 4 2
  update: [42, 82, 17, 82] [42, 17]
  index: 17 12
  concatenation: [17, 82, 17, 82] [17, 82, 17, 82, 12, 17]
  prefix: true false true
  proper prefix: true false false
  membership: false true true
Strings:  uRuR gu
  cardinality: 0 4 2
  concatenation: uRuR uRuRgu
  prefix: true false true
  proper prefix: true false false
  membership: false true true
  constructed as sequence: guru
  mix: hello-d ddd-hello
Maps: map[] map[17 := 2, 82 := 2] map[17 := 0, 12 := 26]
  cardinality: 0 2 2
  keys: {} {17, 82} {17, 12}
  values: {} {2} {0, 26}
  items: {} {(17, 2), (82, 2)} {(17, 0), (12, 26)}
  disjoint: true false
  update: map[17 := 6] map[17 := 6, 82 := 2] map[17 := 6, 12 := 26]
  lookup: false 2 0
2: 0 1 1
3: 0 1 2

Dafny program verifier finished with 5 verified, 0 errors
Sets: {} {17, 82} {12, 17}
  cardinality: 0 2 2
  union: {17, 82} {17, 82, 12}
  intersection: {} {17}
  difference: {} {82}
  disjoint: true false
  subset: true false true
  proper subset: true false false
  membership: false true true
false true
|s|=4 |S|=16
{{}, {a}, {b}, {b, a}, {c}, {c, a}, {c, b}, {c, b, a}, {d}, {d, a}, {d, b}, {d, b, a}, {d, c}, {d, c, a}, {d, c, b}, {d, c, b, a}}
Multisets: multiset{} multiset{17, 17, 82, 82} multiset{12, 17}
  cardinality: 0 4 2
  union: multiset{17, 17, 82, 82} multiset{17, 17, 17, 82, 82, 12}
  intersection: multiset{} multiset{17}
  difference: multiset{} multiset{17, 82, 82}
  disjoint: true false
  subset: true false true
  proper subset: true false false
  membership: false true true
  update: multiset{17, 17} multiset{17, 17, 82, 82} multiset{12, 17, 17}
  multiplicity: 0 2 1
Sequences: [] [17, 82, 17, 82] [12, 17]
  cardinality: 0 4 2
  update: [42, 82, 17, 82] [42, 17]
  index: 17 12
  concatenation: [17, 82, 17, 82] [17, 82, 17, 82, 12, 17]
  prefix: true false true
  proper prefix: true false false
  membership: false true true
Strings:  uRuR gu
  cardinality: 0 4 2
  concatenation: uRuR uRuRgu
  prefix: true false true
  proper prefix: true false false
  membership: false true true
  constructed as sequence: guru
  mix: hello-d ddd-hello
Maps: map[] map[17 := 2, 82 := 2] map[17 := 0, 12 := 26]
  cardinality: 0 2 2
  keys: {} {17, 82} {17, 12}
  values: {} {2} {0, 26}
  items: {} {(17, 2), (82, 2)} {(17, 0), (12, 26)}
  disjoint: true false
  update: map[17 := 6] map[17 := 6, 82 := 2] map[17 := 6, 12 := 26]
  lookup: false 2 0
2: 0 1 1
3: 0 1 2
