Datum

9d7b2e9183c35d…240fa86145

9d7b2e9183c35d8147bc287e88281f0748d5fe7d4d8d63aaf58f2f240fa86145

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#59c5f2b589ee3eb10cb583679a6332df33e8110ad67f52d137d8e17f

1

Constr 0

0

Constr 0

0

Constr 0

0

#9e6bc9b92a2a5f539d8211722cf04e2c4664367c08b294a82706b0c9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

493000000

2

Constr 0

0

15934857