Datum

b21010a2efe234…67e58dc012

b21010a2efe2343d14ffe358cceca71d7421fd2ad6a2ef39eb038867e58dc012

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e105290df587390be33d256392f378bfd7709dca5c16de6ff1958de1

1

Constr 0

0

Constr 0

0

Constr 0

0

#4b286aa1c12c8a777b3242ed51d63e6462361a21f817e883239514ae

1

Constr 0

0

Constr 0

0

#e105290df587390be33d256392f378bfd7709dca5c16de6ff1958de1

1

Constr 0

0

Constr 0

0

Constr 0

0

#4b286aa1c12c8a777b3242ed51d63e6462361a21f817e883239514ae

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

10163609

4

2000000

5

2000000