Datum

79d5cabb96db7e…0b44ffd92e

79d5cabb96db7e60b319511b6ceb9b89ccee92b0452dcd7ccf34430b44ffd92e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#eebe82510d86b2ad9792548d7d6b8fa2033b226b028a7412c40039dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#f253a006529409865d495ec577cfcea6acb49f2212007a634d961606

1

Constr 0

0

Constr 0

0

#eebe82510d86b2ad9792548d7d6b8fa2033b226b028a7412c40039dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#f253a006529409865d495ec577cfcea6acb49f2212007a634d961606

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

628819184

4

2000000

5

2000000