Datum

86b3665bb92fa5…a347cbea61

86b3665bb92fa57fd43ac9f1fdbb363d0dd040a0027c2fc09b6366a347cbea61

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

641712330

4

2000000

5

2000000