Datum

7b33aec46ffa7d…d058fdac64

7b33aec46ffa7d848add8186cfa431961bea61668cd78fbc188bc8d058fdac64

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f5ffc8b2b9f8477b4aeabd467a82369c9ded4895252c0f2cc04f602d

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d6a213633e9a91aae8370b899b04d58660efcc8e96cd2c9344707b4

1

Constr 0

0

Constr 0

0

#f5ffc8b2b9f8477b4aeabd467a82369c9ded4895252c0f2cc04f602d

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d6a213633e9a91aae8370b899b04d58660efcc8e96cd2c9344707b4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

42289569

4

2000000

5

2000000