Datum

ddc5d1d5fa3081…50cd38fe36

ddc5d1d5fa3081e2762329e6f29c6323401f2aacfc3f6adf58ccbc50cd38fe36

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fa4f4ea2ec5f6413cb53486e7233df730324d1f81e5eacd564cdeb43

1

Constr 0

0

Constr 0

0

Constr 0

0

#4be0fe53cd569252a1a34e81463057af9951beb95145edc37ef587c7

1

Constr 0

0

Constr 0

0

#fa4f4ea2ec5f6413cb53486e7233df730324d1f81e5eacd564cdeb43

1

Constr 0

0

Constr 0

0

Constr 0

0

#4be0fe53cd569252a1a34e81463057af9951beb95145edc37ef587c7

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000