Datum

389dff4fc7d1b5…59d5e6334c

389dff4fc7d1b519feaf0d2c2cafeab2e4f7bd8ffff57ce019312a59d5e6334c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f6e2058b591d7b5ab942b8aec9f8f0adbfc961cb281412026bd2664c

1

Constr 0

0

Constr 0

0

Constr 0

0

#21b63ae12837358d79245aac2882b4e460757ec586c5d1cab6365409

1

Constr 0

0

Constr 0

0

#f6e2058b591d7b5ab942b8aec9f8f0adbfc961cb281412026bd2664c

1

Constr 0

0

Constr 0

0

Constr 0

0

#21b63ae12837358d79245aac2882b4e460757ec586c5d1cab6365409

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

7059601

4

2000000

5

2000000