Datum

db8242a6312ce7…dd85c10f75

db8242a6312ce785f3ff8a2aa680f4f32744fda7e8b53f49e3fd72dd85c10f75

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8376164c878081b11e6eeb7b2e53b38b0dd77c66482e23b5f7153ee8

1

Constr 0

0

Constr 0

0

Constr 0

0

#21ba660a52624d188c0bdc7134e1b71678dbec7187ec9373d841f4ab

1

Constr 0

0

Constr 0

0

#8376164c878081b11e6eeb7b2e53b38b0dd77c66482e23b5f7153ee8

1

Constr 0

0

Constr 0

0

Constr 0

0

#21ba660a52624d188c0bdc7134e1b71678dbec7187ec9373d841f4ab

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

13717125

4

2000000

5

2000000