Datum

806e594fd15ebf…369305568f

806e594fd15ebfb4e0f94e4d2fc0a0f8919e7d44707e49d1a096ac369305568f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2349a5461359c276058ccedf93e4734f99afd8446044d91196ce175e

1

Constr 0

0

Constr 0

0

Constr 0

0

#2327c8920cc2bdff5b409593ba458ebaad5458150577de7ce56a80e3

1

Constr 0

0

Constr 0

0

#2349a5461359c276058ccedf93e4734f99afd8446044d91196ce175e

1

Constr 0

0

Constr 0

0

Constr 0

0

#2327c8920cc2bdff5b409593ba458ebaad5458150577de7ce56a80e3

2

Constr 1 []

3

Constr 2

0

866679132

4

2000000

5

2000000