Datum

547a106a84f211…5ec6ff43a3

547a106a84f211d1fe1e92053fa3a408afb5fb136dd80326dedb925ec6ff43a3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f77dff7aadbd722ea21520eab6ab7e42884156489a6fa0386a74597d

1

Constr 0

0

Constr 0

0

Constr 0

0

#81ea1d148c4a97b1ea9c7221273c9a125fad8850297e43b8c18fbe84

1

Constr 0

0

Constr 0

0

#f77dff7aadbd722ea21520eab6ab7e42884156489a6fa0386a74597d

1

Constr 0

0

Constr 0

0

Constr 0

0

#81ea1d148c4a97b1ea9c7221273c9a125fad8850297e43b8c18fbe84

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000