Datum

d33cd2ffa1d0f6…a214cdca07

d33cd2ffa1d0f6ead851cd5b08a429e19967f9da1aed839f496eb6a214cdca07

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c85c1b7536c68f6faa403191cb93f74632887ad17ceb1da681cf983e

1

Constr 0

0

Constr 0

0

Constr 0

0

#d5ee76406b22106de81af92a399694c672c186bce02e799c448e00ba

1

Constr 0

0

Constr 0

0

#c85c1b7536c68f6faa403191cb93f74632887ad17ceb1da681cf983e

1

Constr 0

0

Constr 0

0

Constr 0

0

#d5ee76406b22106de81af92a399694c672c186bce02e799c448e00ba

2

Constr 1 []

3

Constr 2

0

1

4

1952453

5

2000000