Datum

f61c54c0c299d9…92ce20814f

f61c54c0c299d9f32c68d5f9d05e976f77765aa5f4cfc7763c7db092ce20814f

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#82b77da0df0922ffbfd5316d08611979acb737eb264c390e2ff6b9c0

1

Constr 0

0

Constr 0

0

Constr 0

0

#0f0c07a2b9b6e05e2ce3424d75220ab669606b24f32c7a1413db9c86

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

922114309