Datum

0b835d6b65e0ff…4c717367b1

0b835d6b65e0ffa4bca6eb30fe9f9dd7af22f722fb4cd3ac7ea5204c717367b1

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4e2aea6af1ee578b0f8e4573bd6c374c0f8fd1927fa52b70c1de4e27

1

Constr 0

0

Constr 0

0

Constr 0

0

#d054782dbb51fa21d7397766315aff99590e2a90ed86ff659527806c

1

Constr 0

0

Constr 0

0

#4e2aea6af1ee578b0f8e4573bd6c374c0f8fd1927fa52b70c1de4e27

1

Constr 0

0

Constr 0

0

Constr 0

0

#d054782dbb51fa21d7397766315aff99590e2a90ed86ff659527806c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

435327402

4

2000000

5

2000000