Datum

76deb9adab1131…6aed4cd9df

76deb9adab1131e437feeae04eabec6391ae8671dbd9dd9613dbb76aed4cd9df

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1cc9583ccfc8df1666991fe559a5be7bdf61ad95c15441fae8ee6ac8

1

Constr 0

0

Constr 0

0

Constr 0

0

#5293f46bed2902979fd43276a55f32a867bcc539e24e99080aec537e

1

Constr 0

0

Constr 0

0

#1cc9583ccfc8df1666991fe559a5be7bdf61ad95c15441fae8ee6ac8

1

Constr 0

0

Constr 0

0

Constr 0

0

#5293f46bed2902979fd43276a55f32a867bcc539e24e99080aec537e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

128358014

4

1955160

5

2000000