Datum

e22507b51c3819…cb92ed63ef

e22507b51c3819a4d2e2e57fcd18fe383adbdc77b906283ce2dc67cb92ed63ef

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#192c6844cd0e59f83643f340ccc3a5954b5b77f73deb2d1cd046c27e

1

Constr 0

0

Constr 0

0

Constr 0

0

#ef896c19435a4ba4654d5438a61f58cc9e0822e4a18c920455c1ca61

1

Constr 0

0

Constr 0

0

#192c6844cd0e59f83643f340ccc3a5954b5b77f73deb2d1cd046c27e

1

Constr 0

0

Constr 0

0

Constr 0

0

#ef896c19435a4ba4654d5438a61f58cc9e0822e4a18c920455c1ca61

2

Constr 1 []

3

Constr 2

0

14071

4

2000000

5

2000000