Datum

8bb640f57a3dde…62a5df2cd6

8bb640f57a3ddec59437012092ad54815dd0c19df8ab643e77291b62a5df2cd6

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#14e2a5efb9abee57485ec850eb6af0ab5f181cac0fd8ac3d413a96c0

1

Constr 0

0

Constr 0

0

Constr 0

0

#a56320e1ff92fe23ffaf79aae61cba9891700f90a8be4a0799e3db0e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

459348093