Datum

8b9a75cca40d10…5ff8902edb

8b9a75cca40d107fe4f95ea2fd2cb6c4314726cfdc92e1be1c40ca5ff8902edb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4d12df7915605af69d95b779a66a78fee88d152f1ac83448b6b0f855

1

Constr 0

0

Constr 0

0

Constr 0

0

#babe7618616ea0b49a92c9ffc9491bf76f3775435bca68e5469d325e

1

Constr 0

0

Constr 0

0

#4d12df7915605af69d95b779a66a78fee88d152f1ac83448b6b0f855

1

Constr 0

0

Constr 0

0

Constr 0

0

#babe7618616ea0b49a92c9ffc9491bf76f3775435bca68e5469d325e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

67936410

4

2000000

5

2000000