Datum

239f711d99cae1…f7664fe3cd

239f711d99cae10cefa95359692d95401b6ae639873bfa045123c5f7664fe3cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#15b1d8b290ad02308a934c58da6256c639c235daa5bfd556282685c2

1

Constr 0

0

Constr 0

0

Constr 0

0

#19c7b3202066d14cd07cb3b386a6247394ea1962e51195417f01a956

1

Constr 0

0

Constr 0

0

#15b1d8b290ad02308a934c58da6256c639c235daa5bfd556282685c2

1

Constr 0

0

Constr 0

0

Constr 0

0

#19c7b3202066d14cd07cb3b386a6247394ea1962e51195417f01a956

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

105745856

4

2000000

5

2000000