Datum

368e64e70645db…b70a46590b

368e64e70645dbd2e1ec5e893cd7de5dd1b34407e18407ee09dfffb70a46590b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#02e879bc1e7238abf8c17b54f935ed90cdf051a1430adae4843c08f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#f678790068e4bffd328d42bc69e8762549611ca20d2458bddfbc2c08

1

Constr 0

0

Constr 0

0

#02e879bc1e7238abf8c17b54f935ed90cdf051a1430adae4843c08f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#f678790068e4bffd328d42bc69e8762549611ca20d2458bddfbc2c08

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000