Datum

f8dcaeebf01f82…50edc7f3cc

f8dcaeebf01f8268746e31c4895cb590059923f1e6bdc6de0846e350edc7f3cc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2dd804fa7e6dfd97dc753198379eeb149d1af9dcfaae94d14423f041

1

Constr 0

0

Constr 0

0

Constr 0

0

#46fa3d70ef26ac849854cbcb86f041b0709714152eb3e381fa6717be

1

Constr 0

0

Constr 0

0

#2dd804fa7e6dfd97dc753198379eeb149d1af9dcfaae94d14423f041

1

Constr 0

0

Constr 0

0

Constr 0

0

#46fa3d70ef26ac849854cbcb86f041b0709714152eb3e381fa6717be

2

Constr 1 []

3

Constr 2

0

1

4

1999491

5

2000000