Datum

cf93c56eec0f7b…45ee3a9ffa

cf93c56eec0f7b41ae2ed2b04a5f2c66f68ccc63567677219cb86645ee3a9ffa

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8ecdbfc5fee82b3b09c7de34122529e3604b294d1c7121f9a7bfde00

1

Constr 0

0

Constr 0

0

Constr 0

0

#1b54a49556b371dc33c579d0377d12acb20cc32061d641296759c842

1

Constr 0

0

Constr 0

0

#8ecdbfc5fee82b3b09c7de34122529e3604b294d1c7121f9a7bfde00

1

Constr 0

0

Constr 0

0

Constr 0

0

#1b54a49556b371dc33c579d0377d12acb20cc32061d641296759c842

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

6772405

4

2000000

5

2000000