Datum

d77857b3d2c173…f52ce6f4c5

d77857b3d2c173389a8807c8491c475df0bdef093d36fac7cbfb43f52ce6f4c5

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0609729e859fa2fbc80158fafc1acb2b7b8c47c5cfc8fc81c131055f

1

Constr 0

0

Constr 0

0

Constr 0

0

#8c80bc74bfea689607742794458efd7232ff6f8a3b0c4fe3823f0417

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

3000000000

2

Constr 0

0

15492217023