Datum

53b389ee509a0c…352bf87bd2

53b389ee509a0cb4ee9e49ae566b25be03a8ffe463a4e3c4c37a61352bf87bd2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f8e80ab7664d63899a886773749c2a9052cb839e656ffcef604fcaef

1

Constr 0

0

Constr 0

0

Constr 0

0

#de99a915797c9730210570bb179ad9e074bca88ae81b9667c3d47fc3

1

Constr 0

0

Constr 0

0

#f8e80ab7664d63899a886773749c2a9052cb839e656ffcef604fcaef

1

Constr 0

0

Constr 0

0

Constr 0

0

#de99a915797c9730210570bb179ad9e074bca88ae81b9667c3d47fc3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

105316531

4

2000000

5

2000000