Datum

3c8a1faa1806e8…62fed5c30e

3c8a1faa1806e85f048e0a1be85ba71ae33e198c45d101945e488562fed5c30e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1c72c2294fd28cc7f34249a09d11cda8ee2ee6219abdce6dd5599f75

1

Constr 0

0

Constr 0

0

Constr 0

0

#6e8fb4a45f120584a0b31b41ae01c2020f4e9086c186ff74a1731afd

1

Constr 0

0

Constr 0

0

#1c72c2294fd28cc7f34249a09d11cda8ee2ee6219abdce6dd5599f75

1

Constr 0

0

Constr 0

0

Constr 0

0

#6e8fb4a45f120584a0b31b41ae01c2020f4e9086c186ff74a1731afd

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

778418500

4

2000000

5

2000000