Datum

389cafa22d073d…ea93101a95

389cafa22d073dd6eb28d856a4466fcf25c5ac75b4aaa84214f3cbea93101a95

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#38ce9d6e013ab260e7bd8cf4c6ea24d2aba294e0dd818c0f287ae3c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#4701c27489250f5abe9ab16030b81dc8a6c173754a96861491438441

1

Constr 0

0

Constr 0

0

#38ce9d6e013ab260e7bd8cf4c6ea24d2aba294e0dd818c0f287ae3c6

1

Constr 0

0

Constr 0

0

Constr 0

0

#4701c27489250f5abe9ab16030b81dc8a6c173754a96861491438441

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

152137577

4

2000000

5

2000000