-- test points for class Bag
elt1 0
elt2 1
elt3 2
elt4 3
elt5 123456789
elt6 1123456789
elt7 2123456789
elt8 56789
elt9 23456789
elt0 3456789
cnt1 count(0)
cnt2 count(1)
cnt3 count(5)
cnt4 count(10)
--s0 gen(0)
s1 gen(MX)
s2 add(gen(MX),elt1)
s2a add_many(s1,elt1,cnt4)
s2b add_many(s2a,elt4,cnt3)
s2c remove_many(s2b,elt1,cnt2)
s2d add_many(s2c,elt5,cnt1)
s3 add(s2,elt2)
s4 remove(s3,elt2)
s5 remove(s3,elt3)
s6 add(add(add(s3,7),9),12)
s7 remove(add(remove(add(add(s6,elt5),elt4),elt5),elt5),elt4)
s8 remove(s6,7)
s9 gen(40)
s10 remove(add(remove(add(add(s9,elt5),elt4),elt5),elt5),elt4)
s11 add(s10,elt3)
s12 remove(remove(s11,elt3),elt4)
s13 gen(40)
s14 gen(80)
s15 gen(1000)