Datum

52d62c94bf5dec…1e6facc7b6

52d62c94bf5decafa79ef6181101cd8bcd398410cf36b3daaf2c2a1e6facc7b6

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

162554667

4

2000000

5

2000000