Datum

ab58b2a4913163…c9fde60757

ab58b2a49131639d063ab9bdd0783e5a135c52a73dbb8f95e293cbc9fde60757

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e3ed2c06c319adaf60c5857adc27fc319812b3283a62029533355746

1

Constr 0

0

Constr 0

0

Constr 0

0

#a047e4b401867049d6d8b06aa7efbeab805b21d7e1fcd4a2f55fcd1e

1

Constr 0

0

Constr 0

0

#e3ed2c06c319adaf60c5857adc27fc319812b3283a62029533355746

1

Constr 0

0

Constr 0

0

Constr 0

0

#a047e4b401867049d6d8b06aa7efbeab805b21d7e1fcd4a2f55fcd1e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

60310463

4

2000000

5

2000000