Datum

8f9427f7ba4c3c…4ee0ca3d16

8f9427f7ba4c3ca45e480d703d7691d8e0bb06aa3f0bc9a4eec7814ee0ca3d16

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6d21ff6f64fb27cfaac144bece7f0349558fa5c197de64da868fb906

1

Constr 0

0

Constr 0

0

Constr 0

0

#b99334cd744a7d8f89806cee9e7ec7af7d842aaeb2819571ab737218

1

Constr 0

0

Constr 0

0

#6d21ff6f64fb27cfaac144bece7f0349558fa5c197de64da868fb906

1

Constr 0

0

Constr 0

0

Constr 0

0

#b99334cd744a7d8f89806cee9e7ec7af7d842aaeb2819571ab737218

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

11577690

4

2000000

5

2000000