Datum

07f3f7cf7d2f7f…eced1f20dd

07f3f7cf7d2f7fc1c22014bfded003dd4dbc1a1f50c9c883dac645eced1f20dd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8ee6eed4b26561598c64b219dc60b99aea081a361acc6305a7ac4776

1

Constr 0

0

Constr 0

0

Constr 0

0

#608a8add509bf323ecff48b369ff95e75420c1a4571025d972c2da8f

1

Constr 0

0

Constr 0

0

#8ee6eed4b26561598c64b219dc60b99aea081a361acc6305a7ac4776

1

Constr 0

0

Constr 0

0

Constr 0

0

#608a8add509bf323ecff48b369ff95e75420c1a4571025d972c2da8f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

5012731

4

2000000

5

2000000