Datum

7681c45dcbd32d…960a048000

7681c45dcbd32d0dee90ac3ffaffbf97e4f15ed1cf00b85662379d960a048000

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1088602050a5407fdd13c2d0dac60d63489022e300ef79c03c53f7b3

1

Constr 0

0

Constr 0

0

Constr 0

0

#4e5dd3f8240b9ab0217000f92609ccd24f6792d77d80efe3ff60ba2b

1

Constr 0

0

Constr 0

0

#1088602050a5407fdd13c2d0dac60d63489022e300ef79c03c53f7b3

1

Constr 0

0

Constr 0

0

Constr 0

0

#4e5dd3f8240b9ab0217000f92609ccd24f6792d77d80efe3ff60ba2b

2

Constr 1 []

3

Constr 2

0

1

4

1970805

5

2000000