Datum

dd17cb7c9e324e…d0dc1de0aa

dd17cb7c9e324efd4a302bffccfb7aea2a03e18bbcaefaec6d50e4d0dc1de0aa

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a122419ae08503a2a2486fbf71edcbda8fc76dab74ed07ed5fca8994

1

Constr 0

0

Constr 0

0

Constr 0

0

#d88342a527e644edf6ffa82d604435509c6bab6402c47fd4d5cc1b17

1

Constr 0

0

Constr 0

0

#a122419ae08503a2a2486fbf71edcbda8fc76dab74ed07ed5fca8994

1

Constr 0

0

Constr 0

0

Constr 0

0

#d88342a527e644edf6ffa82d604435509c6bab6402c47fd4d5cc1b17

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000