Datum

5372adde46e77c…819ffaed66

5372adde46e77cf444e7b24e4938245f8e28fbf006d46e3c00abb7819ffaed66

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2565dfe12f53eb5db12bb707d720be07bc91464c2a0f03df8cc16f9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#2411c27854bd121f398d5bb965c35c07a843d7f3ab85c531a856701e

1

Constr 0

0

Constr 0

0

#2565dfe12f53eb5db12bb707d720be07bc91464c2a0f03df8cc16f9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#2411c27854bd121f398d5bb965c35c07a843d7f3ab85c531a856701e

2

Constr 1 []

3

Constr 2

0

1

4

1999321

5

2000000