Datum

8f4db08bf088e4…41ab3cfcad

8f4db08bf088e4598fc1c8762d0d7b494af5eb89d37d22ee3116ec41ab3cfcad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#057f248d5ae55ecd3ee68cfd40356df9417ef43e49fe730c6d5f97da

1

Constr 0

0

Constr 0

0

Constr 0

0

#2b9cab393d198a04f501a7acf5f4b1c748af1215baf424a421659484

1

Constr 0

0

Constr 0

0

#057f248d5ae55ecd3ee68cfd40356df9417ef43e49fe730c6d5f97da

1

Constr 0

0

Constr 0

0

Constr 0

0

#2b9cab393d198a04f501a7acf5f4b1c748af1215baf424a421659484

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

125915582

4

2000000

5

2000000