Datum

ccb1356a1df26d…43f7bcd588

ccb1356a1df26d46da3686d6b702905f5442c3a2abfc2b6fd59eb843f7bcd588

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0a27027ae2e2d2091c5d1602247e59a92289a41bd4dc006b9cd8330e

1

Constr 0

0

Constr 0

0

Constr 0

0

#40c153d5882814c7352f06911ca2533ececdc43d2d2f558e9a2f262b

1

Constr 0

0

Constr 0

0

#0a27027ae2e2d2091c5d1602247e59a92289a41bd4dc006b9cd8330e

1

Constr 0

0

Constr 0

0

Constr 0

0

#40c153d5882814c7352f06911ca2533ececdc43d2d2f558e9a2f262b

2

Constr 1 []

3

Constr 2

0

1

4

1984436

5

2000000