Datum

56585dcdee5c80…68caded96b

56585dcdee5c80ac6a3a7488697feb6ccd3732aad129bdaf8871df68caded96b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6f3ffd89cb81b347233f493530db9704ab62df5fb8befe7b652abece

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a7fce8236650b87a63b1c4363116a4db0151f17c0e4b588387ed2dd

1

Constr 0

0

Constr 0

0

#6f3ffd89cb81b347233f493530db9704ab62df5fb8befe7b652abece

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a7fce8236650b87a63b1c4363116a4db0151f17c0e4b588387ed2dd

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000