Datum

a564b733f4b026…2a5ea300d6

a564b733f4b026b707e24c1ece7ed0e782f43e151f4e30e11952872a5ea300d6

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

76977457

4

1899925

5

2000000