Datum

71d57ddec861b8…e54e32aa84

71d57ddec861b8b87bd04a8fa700a5934a24a6c8eca34ee9815055e54e32aa84

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9eddd76a4295090668a8ddbe8824ff611fdbabe2a5194e5970089cfe

1

Constr 0

0

Constr 0

0

Constr 0

0

#50b6a5d3646a8ce4448a001dbe9622816191ce3009badf5b8d04c71f

1

Constr 0

0

Constr 0

0

#9eddd76a4295090668a8ddbe8824ff611fdbabe2a5194e5970089cfe

1

Constr 0

0

Constr 0

0

Constr 0

0

#50b6a5d3646a8ce4448a001dbe9622816191ce3009badf5b8d04c71f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

145566371

4

2000000

5

2000000