Datum

bf627f15f32480…c653cce11a

bf627f15f3248067748a49fc18c7d55efb455eefb16b256ac8e386c653cce11a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d1df614a268f1c8c9243db5071912a44914576adc3bd5305b94be1ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#5dfbc7ce86566e27a39cb80405ba2b04c5db884db078c950bfcb01a4

1

Constr 0

0

Constr 0

0

#d1df614a268f1c8c9243db5071912a44914576adc3bd5305b94be1ff

1

Constr 0

0

Constr 0

0

Constr 0

0

#5dfbc7ce86566e27a39cb80405ba2b04c5db884db078c950bfcb01a4

2

Constr 1 []

3

Constr 2

0

1

4

1990227

5

2000000