Datum

3b1009ffe0eae3…8ba2d5529f

3b1009ffe0eae32206a38d5b7048053b8a93bfe2763da64dc7940c8ba2d5529f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1b09a2d22aa7d49bacf44bd5c0e3e7d242e2b85e6198be7b88893fd6

1

Constr 0

0

Constr 0

0

Constr 0

0

#ebc5835e33ba4a497562fd751ef425e1f42634ce76c4a837967ed715

1

Constr 0

0

Constr 0

0

#1b09a2d22aa7d49bacf44bd5c0e3e7d242e2b85e6198be7b88893fd6

1

Constr 0

0

Constr 0

0

Constr 0

0

#ebc5835e33ba4a497562fd751ef425e1f42634ce76c4a837967ed715

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

308008120

4

2000000

5

2000000