Datum

51ce6b8093ea9b…68ac526dce

51ce6b8093ea9b415ebfd3472dc0ffc68f692df1aad47fd8e543e768ac526dce

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fc33ffaa752407fd389db486b38b281ea75a1b546ea57ff2113b3b28

1

Constr 0

0

Constr 0

0

Constr 0

0

#f416bcca82be5f37316228e9eb0fb9c2667b739a2b8538a6b75ffd46

1

Constr 0

0

Constr 0

0

#fc33ffaa752407fd389db486b38b281ea75a1b546ea57ff2113b3b28

1

Constr 0

0

Constr 0

0

Constr 0

0

#f416bcca82be5f37316228e9eb0fb9c2667b739a2b8538a6b75ffd46

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

8444360

4

2000000

5

2000000