Datum

a58d271e7e719e…a602c765d0

a58d271e7e719edc9cfb64dc1e9e86c99eb14d0342a1a9f9c36ec3a602c765d0

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#92aeb8f3cd184c9aad86560205fff43bf6773e37c53fbe087c4641e4

1

Constr 0

0

Constr 0

0

Constr 0

0

#6851ecea0b43521a944ef998d226b81778252562896e79d0599b76fb

1

Constr 0

0

Constr 0

0

#92aeb8f3cd184c9aad86560205fff43bf6773e37c53fbe087c4641e4

1

Constr 0

0

Constr 0

0

Constr 0

0

#6851ecea0b43521a944ef998d226b81778252562896e79d0599b76fb

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000