Datum

551c5cac947ae9…82e6a42e52

551c5cac947ae926c6c0d965de317afa918ccdd67f2ae6f9782d4082e6a42e52

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#84a96225bf6b03b12ba4d82f151884ca1d5cded8beb00ca0c273fa25

1

Constr 0

0

Constr 0

0

Constr 0

0

#74ab556c9e8318f8ec47bd4904173161f801c960c39f4aae650aaac0

1

Constr 0

0

Constr 0

0

#84a96225bf6b03b12ba4d82f151884ca1d5cded8beb00ca0c273fa25

1

Constr 0

0

Constr 0

0

Constr 0

0

#74ab556c9e8318f8ec47bd4904173161f801c960c39f4aae650aaac0

2

Constr 1 []

3

Constr 2

0

1

4

1992059

5

2000000