Datum

240ecac59a577c…6d06f54d24

240ecac59a577c60d302efdb2f0b068b92ef97a49f0d2e80f215cc6d06f54d24

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7591607c1c91a49e6c9707e2f606bdd85a46ebe594fe4be8e81cb379

1

Constr 0

0

Constr 0

0

Constr 0

0

#63a6b9cde8f18c30054d2501a784a60d1c14f26356f8350693c7c947

1

Constr 0

0

Constr 0

0

#7591607c1c91a49e6c9707e2f606bdd85a46ebe594fe4be8e81cb379

1

Constr 0

0

Constr 0

0

Constr 0

0

#63a6b9cde8f18c30054d2501a784a60d1c14f26356f8350693c7c947

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

32534457

4

2000000

5

2000000