Datum

cf41ff496fbdbe…589e03672d

cf41ff496fbdbea677abdc6915d26a1ebecae9bd3ca3e5cde96ff0589e03672d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c4c5ffe37c4a23fecc6901d408377bc9a49a47ec5bb802b9f3078236

1

Constr 0

0

Constr 0

0

Constr 0

0

#30a7ea5733ec463525244fd32aafeb25faf7139cfa9c5f529fedce1a

1

Constr 0

0

Constr 0

0

#c4c5ffe37c4a23fecc6901d408377bc9a49a47ec5bb802b9f3078236

1

Constr 0

0

Constr 0

0

Constr 0

0

#30a7ea5733ec463525244fd32aafeb25faf7139cfa9c5f529fedce1a

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000