Datum

bc597c227fce94…7c4ba33cf3

bc597c227fce941eb721dfdf4bb9d372fbaea80aca036664310b997c4ba33cf3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7d6dcf0cc97c7e08b7f01d8551cceb7e5812a294d86406625222a0a2

1

Constr 0

0

Constr 0

0

Constr 0

0

#7b234ede53277fcd78fcf2ecb93e6f6ce95be2c6a5f4239f1c7bd32c

1

Constr 0

0

Constr 0

0

#7d6dcf0cc97c7e08b7f01d8551cceb7e5812a294d86406625222a0a2

1

Constr 0

0

Constr 0

0

Constr 0

0

#7b234ede53277fcd78fcf2ecb93e6f6ce95be2c6a5f4239f1c7bd32c

2

Constr 1 []

3

Constr 2

0

14071

4

2000000

5

2000000