Datum

529d80edb68dee…cec56b18ec

529d80edb68dee0d76565e374e47cdb6670262ea5243af4fd8eee1cec56b18ec

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0ede00097418bae98ffb39f5212da0404f1b527134f77c3363a99817

1

Constr 0

0

Constr 0

0

Constr 0

0

#ec3786647f944883bec25c9995628a77d5b070cef8118bb0e6a6eb41

1

Constr 0

0

Constr 0

0

#0ede00097418bae98ffb39f5212da0404f1b527134f77c3363a99817

1

Constr 0

0

Constr 0

0

Constr 0

0

#ec3786647f944883bec25c9995628a77d5b070cef8118bb0e6a6eb41

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

67674648

4

2000000

5

2000000