Datum

2730f7f9cb8a12…dce7824d60

2730f7f9cb8a12a91c9583b7cef8427b9d249305c30f833cf3d7e2dce7824d60

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#6c2a5a8f8b2a532056b8d35377cc3eb95645cd67e4f3e0a3088a415b

1

Constr 0

0

Constr 0

0

Constr 0

0

#94360eedf58eb279d2023d2f6b1e8a263e801723f48ace11a216b550

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

300000000

2

Constr 0

0

641845570