Datum

43f6caca85bebb…ed795e2d51

43f6caca85bebbdfc403b12939880a1f4f1faab854b7cd38ff0473ed795e2d51

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1afc3747da025a501595333ea56f1e59ac9dca1adb4ab0e2ebf5b1e6

1

Constr 0

0

Constr 0

0

Constr 0

0

#8717c7d5c43c2a903712ed611d807b857e7092132addabb9e23d53dd

1

Constr 0

0

Constr 0

0

#1afc3747da025a501595333ea56f1e59ac9dca1adb4ab0e2ebf5b1e6

1

Constr 0

0

Constr 0

0

Constr 0

0

#8717c7d5c43c2a903712ed611d807b857e7092132addabb9e23d53dd

2

Constr 1 []

3

Constr 2

0

1

4

1988072

5

2000000