Datum

c82ca242087ebd…c94e868b74

c82ca242087ebda5e8aacfe9140ed25517661eaeb7e052d51483d1c94e868b74

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d4cfdcf482ffaaa61ca61306c30a10ef372cc3b1799ebcbc592d1469

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fe0503ae8c4f78332f2eeeb58b3abeea7a25ed61a8da13b66f1e2e2

1

Constr 0

0

Constr 0

0

#d4cfdcf482ffaaa61ca61306c30a10ef372cc3b1799ebcbc592d1469

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fe0503ae8c4f78332f2eeeb58b3abeea7a25ed61a8da13b66f1e2e2

2

Constr 1 []

3

Constr 3

0

146896284

1

523572957

4

2000000

5

2000000