Datum

d5804d89a2ddee…4d62608b54

d5804d89a2ddee296bcd908c9bfea700ec0bf6a603c34a2d4757d84d62608b54

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#61e701e357007bd8abc809eb374441bb0a53bc737716e71777ad20b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f55ffe305f67640099d29504611116ea1ac25c5f36ff920c8d6c39bc

1

Constr 0

0

Constr 0

0

#61e701e357007bd8abc809eb374441bb0a53bc737716e71777ad20b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f55ffe305f67640099d29504611116ea1ac25c5f36ff920c8d6c39bc

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

198009616

4

2000000

5

2000000