Datum

5ec8ddf22a036a…0d0bc0f154

5ec8ddf22a036ab4699e1fa82c1dcc9268ee214dfdc61984d53d940d0bc0f154

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#563e7c47b132925519e288732063410b4ae536bdde116cb63d5e7d9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#47cf89886889a96dd2344ee2360897337b64dfcb605499e79082a39c

1

Constr 0

0

Constr 0

0

#563e7c47b132925519e288732063410b4ae536bdde116cb63d5e7d9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#47cf89886889a96dd2344ee2360897337b64dfcb605499e79082a39c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

94960850

4

2000000

5

2000000