Datum

e5910ae0fe5def…b6cfc6a2b0

e5910ae0fe5def2aa3b71fde303fa8db82dd94524af38754e10edfb6cfc6a2b0

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#476c07b14b86ca7b96485c69d0d6c1a8c7d61e34c36d7b6a2209d73b

1

Constr 0

0

Constr 0

0

Constr 0

0

#0dcfe24ae10e7683687b8732414fbd6b7acb9ff799d23e179143e340

1

Constr 0

0

Constr 0

0

#476c07b14b86ca7b96485c69d0d6c1a8c7d61e34c36d7b6a2209d73b

1

Constr 0

0

Constr 0

0

Constr 0

0

#0dcfe24ae10e7683687b8732414fbd6b7acb9ff799d23e179143e340

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

10432705563

4

2000000

5

2000000