Datum

87b7146f33c8f6…efac5bae17

87b7146f33c8f69b8a728079ff54db0c17e5162d3f92fe12357bc4efac5bae17

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 0

0

Constr 0

0

#""

1

#""

1

104056583

4

1984799

5

2000000