Datum

3bcd56df359e33…0e80e6fd48

3bcd56df359e33fa0bc26efa75fe77a38d511925f37de7db2b108f0e80e6fd48

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

879625

4

2000000

5

2000000