Datum

99dbb93c7e4d4f…811392ce51

99dbb93c7e4d4fc4db8cd34983e55766ce09ef91f0bf31301add92811392ce51

Datum

Constr 0

0

#85

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#38e165f472a49411c3cde607734d5685b8f0a6b69777a46135306e4c

1

Constr 0

0

Constr 0

0

Constr 0

0

#bd9bee1a0bdbb966e186b2dff31c74e0f2cee1f58270c5b9a302b8a5

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

25755000000

2

Constr 0

0

489594547