Datum

2f72ecb112c8b7…df7d568d2a

2f72ecb112c8b71b6e2134365d6979ad4bea4e9379c6f7fc7bac60df7d568d2a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f5e92e6922c6bd8f6ab35451f623c9534a90aa9cecca7c196d9d9fcc

1

Constr 0

0

Constr 0

0

Constr 0

0

#1b296b202ccf8fcfb45447edb95f10cada02ca215ff1d70d94729418

1

Constr 0

0

Constr 0

0

#f5e92e6922c6bd8f6ab35451f623c9534a90aa9cecca7c196d9d9fcc

1

Constr 0

0

Constr 0

0

Constr 0

0

#1b296b202ccf8fcfb45447edb95f10cada02ca215ff1d70d94729418

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000