Datum

0e54ebb903fc1f…d9e6b8ef37

0e54ebb903fc1ff4394f4ee093cd106935c4c36284209c669fb2f6d9e6b8ef37

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b0e17afbf242d2f3dff3fecc63a84d9c9b195f50a7064637c9ebc24d

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c1587cd5f3bb22faf4e91b3d016ea9be9a6beb2b9cac09578b28f8d

1

Constr 0

0

Constr 0

0

#b0e17afbf242d2f3dff3fecc63a84d9c9b195f50a7064637c9ebc24d

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c1587cd5f3bb22faf4e91b3d016ea9be9a6beb2b9cac09578b28f8d

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000