Datum

7518ea8bfce77d…3c5adfd211

7518ea8bfce77da8522a1ffeaea49ceb2db4e1500d3aed077045a73c5adfd211

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#15c6c513230eae4effa2d959b834117508d639b737de743c781e9381

1

Constr 0

0

Constr 0

0

Constr 0

0

#4ca20c16ecb3fb507b095b767ce56210706d41add39998306213a109

1

Constr 0

0

Constr 0

0

#15c6c513230eae4effa2d959b834117508d639b737de743c781e9381

1

Constr 0

0

Constr 0

0

Constr 0

0

#4ca20c16ecb3fb507b095b767ce56210706d41add39998306213a109

2

Constr 1 []

3

Constr 2

0

28943485

4

2000000

5

2000000