Datum

a18b069aaf3c0f…c4559ece30

a18b069aaf3c0f9b71ca2ba04fc67a45fbca4a5765134e9faacc65c4559ece30

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#806d6ac61c29a98717aa5da5efd5ebdd36e091e7d779766de7a92f7f

1

Constr 0

0

Constr 0

0

Constr 0

0

#a471e29ded4d6ee64edb0d5442c49675851e2cf77dfd3482a014096c

1

Constr 0

0

Constr 0

0

#806d6ac61c29a98717aa5da5efd5ebdd36e091e7d779766de7a92f7f

1

Constr 0

0

Constr 0

0

Constr 0

0

#a471e29ded4d6ee64edb0d5442c49675851e2cf77dfd3482a014096c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

244071623

4

2000000

5

2000000