Datum

45232354c90fae…a14e482ef8

45232354c90faeb3c51a4bb5782c63dc4ffcd8628724663fccf52ea14e482ef8

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0576a0f45380f4d0624eb448ee55eccce74f668a31d7295b5dda92ab

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4e56243f3b09d109e011b3fc71fe41ff7c099abc0c9b0c02754184b

1

Constr 0

0

Constr 0

0

#0576a0f45380f4d0624eb448ee55eccce74f668a31d7295b5dda92ab

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4e56243f3b09d109e011b3fc71fe41ff7c099abc0c9b0c02754184b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000