Datum

aa5fa8caa6dff4…8473338e90

aa5fa8caa6dff433a60bfd13b62fbf128be38b2641d89d968046e38473338e90

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1aa0aff6d9f88666cd01e67aa7ba29923bcc9a3647f26dcb2d11f406

1

Constr 0

0

Constr 0

0

Constr 0

0

#abf81e2b54b07648346f42fcd16c2c45739ec1c212f49c92a4341e66

1

Constr 0

0

Constr 0

0

#1aa0aff6d9f88666cd01e67aa7ba29923bcc9a3647f26dcb2d11f406

1

Constr 0

0

Constr 0

0

Constr 0

0

#abf81e2b54b07648346f42fcd16c2c45739ec1c212f49c92a4341e66

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

17929791

4

2000000

5

2000000