Datum

64b30b9883591a…3aed345a1f

64b30b9883591a9b59cfa41de855e78097c6cbf933aae23c032d603aed345a1f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#05cf60afc0bc176ab117ec2ed74e32f472e61b738e69319d8edd806e

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0f40d489ecc18fa14418993f8ea274cd9e088bcb0a70b55cd34523b

1

Constr 0

0

Constr 0

0

#05cf60afc0bc176ab117ec2ed74e32f472e61b738e69319d8edd806e

1

Constr 0

0

Constr 0

0

Constr 0

0

#a0f40d489ecc18fa14418993f8ea274cd9e088bcb0a70b55cd34523b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000