Datum

e8a53e8ee2b173…c81df44a1f

e8a53e8ee2b17318df66525ed2e807487ab8a22ea3be825408cb16c81df44a1f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a3f60c896889dd90aed7a076d584dc5d5769609ee2ed420cbb4366af

1

Constr 0

0

Constr 0

0

Constr 0

0

#5ac944ae64940f8ff65ca3f718fde2fd4045b9b3ff665b7383e5b43e

1

Constr 0

0

Constr 0

0

#a3f60c896889dd90aed7a076d584dc5d5769609ee2ed420cbb4366af

1

Constr 0

0

Constr 0

0

Constr 0

0

#5ac944ae64940f8ff65ca3f718fde2fd4045b9b3ff665b7383e5b43e

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000