Datum

debcc3bec73c30…30d0d50d30

debcc3bec73c30ffd5ebcbf0fe54e1f0f6830bdbcd65af86613c8530d0d50d30

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3145c93b42cac445d4a89ffde61ee5662b60334ac5096fe171f2e274

1

Constr 0

0

Constr 0

0

Constr 0

0

#dbf64b1fab6054682ee5e9dafff9c7e74edc7da693415cc1b556335c

1

Constr 0

0

Constr 0

0

#3145c93b42cac445d4a89ffde61ee5662b60334ac5096fe171f2e274

1

Constr 0

0

Constr 0

0

Constr 0

0

#dbf64b1fab6054682ee5e9dafff9c7e74edc7da693415cc1b556335c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

419074791

4

2000000

5

2000000