Datum

8d56d5fc071365…ffe42077c2

8d56d5fc07136519528e48d64370ee3601497eece7b143d7ca2d8affe42077c2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8a34f4222c424c8c488decbdedf1cad79118fe0e69077baf730423bf

1

Constr 0

0

Constr 0

0

Constr 0

0

#b4886d77d10efd77b3856362cfa7fda792322aa427009eec50ae4155

1

Constr 0

0

Constr 0

0

#8a34f4222c424c8c488decbdedf1cad79118fe0e69077baf730423bf

1

Constr 0

0

Constr 0

0

Constr 0

0

#b4886d77d10efd77b3856362cfa7fda792322aa427009eec50ae4155

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

29202449

4

2000000

5

2000000