Datum

425efc66d91bdf…fc643e28ce

425efc66d91bdff829ad5ed8f291be5cc7eaf60f4ea045c566b610fc643e28ce

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#cd86c7001be335cb5ba746ee9c7b23758eff240e67ae44b4af9f3f85

1

Constr 0

0

Constr 0

0

Constr 0

0

#8618b789754382882a4cfd01644e6860e12487b0ae6c82c0f7076dfa

1

Constr 0

0

Constr 0

0

#cd86c7001be335cb5ba746ee9c7b23758eff240e67ae44b4af9f3f85

1

Constr 0

0

Constr 0

0

Constr 0

0

#8618b789754382882a4cfd01644e6860e12487b0ae6c82c0f7076dfa

2

Constr 1 []

3

Constr 2

0

1

4

1991138

5

2000000