Datum

592bf1e57f854d…8a77d847ec

592bf1e57f854d0a21552cb1cb460618533f91ee466049e8196a7a8a77d847ec

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

41727481

4

2000000

5

2000000