Datum

ebcd4d9422e63c…02e5898a50

ebcd4d9422e63c434cf44d2155beb254ea60cf5cfd6897ded57c7f02e5898a50

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a8a2390af6bb430f04c7ea1d60e59019ca4be4cbd1302dc02cc558bc

1

Constr 0

0

Constr 0

0

Constr 0

0

#c8a1cba35f54c517e7002c531643f59a386b35bfe200ff6c1d542620

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

10000000

2

Constr 0

0

11943775