Datum

3cfb7f9123cd65…cfc1f58e62

3cfb7f9123cd65f8d0d9e2de572a8a6b97a127a4fd597c3d18ea9ecfc1f58e62

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4ad24e35c8bb563c1668a0118c0f67d1cdf692c8397f517fae46dc56

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0fd74055edf9249fcc9725221a56a6b9ac494c794c870c5355b908b

1

Constr 0

0

Constr 0

0

#4ad24e35c8bb563c1668a0118c0f67d1cdf692c8397f517fae46dc56

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0fd74055edf9249fcc9725221a56a6b9ac494c794c870c5355b908b

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

167607510

4

2000000

5

2000000