Datum

a0fa3b6df11e70…1f60e5b256

a0fa3b6df11e702e51bda26d8daaf0d5fa99db9f0e8685b85e15c21f60e5b256

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3464d0b9afe4661cc91ae1d3edea06c01fd9cc980efbfe54e3ed973a

1

Constr 0

0

Constr 0

0

Constr 0

0

#b56b6bff5d28de1621f6fac0eb7e99c4c4af19f3f79f0b66ec3c607e

1

Constr 0

0

Constr 0

0

#3464d0b9afe4661cc91ae1d3edea06c01fd9cc980efbfe54e3ed973a

1

Constr 0

0

Constr 0

0

Constr 0

0

#b56b6bff5d28de1621f6fac0eb7e99c4c4af19f3f79f0b66ec3c607e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

414470260

4

2000000

5

2000000