Datum

4dea134b0d28d7…be3615692d

4dea134b0d28d72daf6a75aa733bb305b34ae1bd334aef6475efcebe3615692d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#33baeb8565f52d82551eb884d8f26bf1ad7e83185a097721166435c4

1

Constr 0

0

Constr 0

0

Constr 0

0

#4d4faaad708805f6542b134b4bcda589df682dddff2a1af1736427f5

1

Constr 0

0

Constr 0

0

#33baeb8565f52d82551eb884d8f26bf1ad7e83185a097721166435c4

1

Constr 0

0

Constr 0

0

Constr 0

0

#4d4faaad708805f6542b134b4bcda589df682dddff2a1af1736427f5

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

553440774

4

1999499

5

2000000