Datum

5676a59710cab5…77843feaaa

5676a59710cab56fdf8d89abd297f35b7acda0272c12a2e1dff45c77843feaaa

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#40c8c0dfd02233b721f5df56f9d6eb50eca4fe9c77eccafd70b6bd44

1

Constr 0

0

Constr 0

0

Constr 0

0

#bf7c1eada191ffac1913c949f361716becd5c7e67f6c7b35d7815702

1

Constr 0

0

Constr 0

0

#40c8c0dfd02233b721f5df56f9d6eb50eca4fe9c77eccafd70b6bd44

1

Constr 0

0

Constr 0

0

Constr 0

0

#bf7c1eada191ffac1913c949f361716becd5c7e67f6c7b35d7815702

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

389212867

4

2000000

5

2000000