Datum

58a5483ebe69a9…bd767142fc

58a5483ebe69a9e88b73e59beddc57ee2c15e9fab6571d98a3810cbd767142fc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0ae57b5d12c93040565cb311c7fdefa49a724d70a7d7db25bb975b65

1

Constr 0

0

Constr 0

0

Constr 0

0

#fb2e5ec9921c14e3bf887333b20d55d7f2af11fc88810fa05357e253

1

Constr 0

0

Constr 0

0

#0ae57b5d12c93040565cb311c7fdefa49a724d70a7d7db25bb975b65

1

Constr 0

0

Constr 0

0

Constr 0

0

#fb2e5ec9921c14e3bf887333b20d55d7f2af11fc88810fa05357e253

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000