Datum

ea0f1c433b7436…6ddb80320d

ea0f1c433b7436ea4d623b5dafe091440ad5fbb6263bce167549706ddb80320d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#bf87e74654527747fc737c8877c449b309a969afd5066ae086153aea

1

Constr 0

0

Constr 0

0

Constr 0

0

#d9e1425e53ca8f238e9842eb5fb22db516b3421b7188416b287fc92c

1

Constr 0

0

Constr 0

0

#bf87e74654527747fc737c8877c449b309a969afd5066ae086153aea

1

Constr 0

0

Constr 0

0

Constr 0

0

#d9e1425e53ca8f238e9842eb5fb22db516b3421b7188416b287fc92c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

380132608

4

2000000

5

2000000