Datum

217f2d66400817…2bef8ee0cf

217f2d6640081714104947bd9e655c3901dabd0bd972f7ea33e12e2bef8ee0cf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#caefcf5b9e53b3a7835be6aea8553d2f72c125ce25dae44390c39090

1

Constr 0

0

Constr 0

0

Constr 0

0

#8983ede0894be11891224bc6f7c6b32149e29e6cb2ec5f98fb4f3432

1

Constr 0

0

Constr 0

0

#caefcf5b9e53b3a7835be6aea8553d2f72c125ce25dae44390c39090

1

Constr 0

0

Constr 0

0

Constr 0

0

#8983ede0894be11891224bc6f7c6b32149e29e6cb2ec5f98fb4f3432

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000