Datum

add34df63d45ff…4f61d38310

add34df63d45ff20db58d74c12724e522bffee5cf5eb6ed802eafd4f61d38310

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

1999992

5

2000000