Datum

9397ec30970c70…0a320177f3

9397ec30970c705d7469e6d2e7417d81efe1e4e4a8f9bc3fa2ed8d0a320177f3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6d0123d367df4a58d04a4d692e4d722ae37ad542e61c069938c01b6b

1

Constr 0

0

Constr 0

0

Constr 0

0

#33ad3460847e4c46d69b264f2231e42953e3b89048163b166e144a0e

1

Constr 0

0

Constr 0

0

#6d0123d367df4a58d04a4d692e4d722ae37ad542e61c069938c01b6b

1

Constr 0

0

Constr 0

0

Constr 0

0

#33ad3460847e4c46d69b264f2231e42953e3b89048163b166e144a0e

2

Constr 1 []

3

Constr 2

0

1

4

1977129

5

2000000