Datum

13b128dd6aa92f…2b779a6204

13b128dd6aa92f3d2cd4877bc4ca07d5c64e7e15afeb357d7efc8b2b779a6204

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#bc3dbd25ddb3da8133ae71b85d66fcc5ce16a42cbdf8313173b61ca6

1

Constr 0

0

Constr 0

0

Constr 0

0

#dad2421a7e54b533163d636a666c0108eecc35049fb356391cf8432b

1

Constr 0

0

Constr 0

0

#bc3dbd25ddb3da8133ae71b85d66fcc5ce16a42cbdf8313173b61ca6

1

Constr 0

0

Constr 0

0

Constr 0

0

#dad2421a7e54b533163d636a666c0108eecc35049fb356391cf8432b

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

237185665

4

2000000

5

2000000