Datum

a58bf1e587b455…3fed6f67ce

a58bf1e587b455f10134a6ebe250f786708366ea022c7fd69bd8ec3fed6f67ce

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3b4ae93239e538612422f5300a0bdd4df5f58e01653fb7e63b816d19

1

Constr 0

0

Constr 0

0

Constr 0

0

#d3807d12576b77d8d47407f2704d5b5def6a7fd23990de3948fcfb40

1

Constr 0

0

Constr 0

0

#3b4ae93239e538612422f5300a0bdd4df5f58e01653fb7e63b816d19

1

Constr 0

0

Constr 0

0

Constr 0

0

#d3807d12576b77d8d47407f2704d5b5def6a7fd23990de3948fcfb40

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

53871422

4

2000000

5

2000000