Datum

e38816d04e126c…848ed3205c

e38816d04e126ca981a66c61ca671b05ee8c0d2a8d8dc77b08efda848ed3205c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b85946267407fa8b7fac9ca216cfe5b630944d719b325373855cda31

1

Constr 0

0

Constr 0

0

Constr 0

0

#f0ea618bf64da4bc6204a534c9d4b7e10d0d16189b8b6310ef1f7d9b

1

Constr 0

0

Constr 0

0

#b85946267407fa8b7fac9ca216cfe5b630944d719b325373855cda31

1

Constr 0

0

Constr 0

0

Constr 0

0

#f0ea618bf64da4bc6204a534c9d4b7e10d0d16189b8b6310ef1f7d9b

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

28043879

4

2000000

5

2000000