Datum

77c243d6fab745…40b96861ed

77c243d6fab745565b4d293c826a87ff9d229ab5fc29d843c19fe440b96861ed

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7431d9a0be457fa83d41208d5fe76bbb88f5d36940454946fe2e7c66

1

Constr 0

0

Constr 0

0

Constr 0

0

#b6545cce4bab7db108821a87e342842f937ef003c222d330580038e6

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

88405274

2

Constr 0

0

105536385