Datum

dd99e2e15007d6…74e5599800

dd99e2e15007d611f1defbab545e35dfc8dd2fd89dc84699f2c63c74e5599800

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e04e94f8a61cf7b8ae694c2d0aad53c2010f009e6bfbf9360751b4a1

1

Constr 0

0

Constr 0

0

Constr 0

0

#a256d2bb6eafce6aa62b3cf829fd4f9b26131facbea9aafc60e51f18

1

Constr 0

0

Constr 0

0

#e04e94f8a61cf7b8ae694c2d0aad53c2010f009e6bfbf9360751b4a1

1

Constr 0

0

Constr 0

0

Constr 0

0

#a256d2bb6eafce6aa62b3cf829fd4f9b26131facbea9aafc60e51f18

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

8059017

4

2000000

5

2000000