Datum

0b291aa905f7e0…bf2d1b2a79

0b291aa905f7e078e4fec915d214a886f54ef7ee22f65acc49f18bbf2d1b2a79

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#882be8adc7e80aa770ae4d76f5571edc06bb95ab5d9dacb0fb927403

1

Constr 0

0

Constr 0

0

Constr 0

0

#c70c496fc9e7ce5ed65ecd5efef407983e011bd491328c058c50ed9f

1

Constr 0

0

Constr 0

0

#882be8adc7e80aa770ae4d76f5571edc06bb95ab5d9dacb0fb927403

1

Constr 0

0

Constr 0

0

Constr 0

0

#c70c496fc9e7ce5ed65ecd5efef407983e011bd491328c058c50ed9f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

74025340

4

1999935

5

2000000