Datum

f85c8607a89d46…a7ce452aed

f85c8607a89d46d8824541848d9f7d60c7dcbe77cf7f8a83ad67eba7ce452aed

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#25f72ed81edb52dae35faab76d1b7c204e8c6d6883595945ba813405

1

Constr 0

0

Constr 0

0

Constr 0

0

#4be1fa1b4ed8ecc7d91416c719ed5f67bc96d86c86138c5f6f2888fe

1

Constr 0

0

Constr 0

0

#25f72ed81edb52dae35faab76d1b7c204e8c6d6883595945ba813405

1

Constr 0

0

Constr 0

0

Constr 0

0

#4be1fa1b4ed8ecc7d91416c719ed5f67bc96d86c86138c5f6f2888fe

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000