Datum

478fb31e5618e2…623f3a7307

478fb31e5618e2bfa31801e6bc0bccf4bb451b8eec22d150471747623f3a7307

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2a9e1ec8640d0b29f2942fb8e7edf6b10a46df1002b64f3c7fa91723

1

Constr 0

0

Constr 0

0

Constr 0

0

#8a137e358420164ebff6ba60d672a1785b189b9615fc6729684eb837

1

Constr 0

0

Constr 0

0

#2a9e1ec8640d0b29f2942fb8e7edf6b10a46df1002b64f3c7fa91723

1

Constr 0

0

Constr 0

0

Constr 0

0

#8a137e358420164ebff6ba60d672a1785b189b9615fc6729684eb837

2

Constr 1 []

3

Constr 3

0

23978713304

1

1262249272839

4

1988540

5

2000000