Datum

759ad89d7490a7…5457ebc5ec

759ad89d7490a70ba12e487a460d067d48d3c7b4fe3614b449bf6c5457ebc5ec

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a89155056da1d416179009c5d3bf9303f2ffe3e9112130af37f77e69

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a41d2de0e892a3b32ad1e05cd36bf880908671c1dc61a8bf380eb4a

1

Constr 0

0

Constr 0

0

#a89155056da1d416179009c5d3bf9303f2ffe3e9112130af37f77e69

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a41d2de0e892a3b32ad1e05cd36bf880908671c1dc61a8bf380eb4a

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

12474718

4

2000000

5

2000000