Datum

66789a10cc76d4…faf52d5395

66789a10cc76d4e8f7cf5ba009c2a7da55ec65a384db30ea078c12faf52d5395

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#cdf821f1183cfbbb9b3edd34da0b58f24be2fef32a589b6e8fae3770

1

Constr 0

0

Constr 0

0

Constr 0

0

#3c794befead0d6be9dbb3003f6ae8461334cb112673b15153d72bac3

1

Constr 0

0

Constr 0

0

#cdf821f1183cfbbb9b3edd34da0b58f24be2fef32a589b6e8fae3770

1

Constr 0

0

Constr 0

0

Constr 0

0

#3c794befead0d6be9dbb3003f6ae8461334cb112673b15153d72bac3

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000