Datum

f20c8f8f14b97d…3e47659603

f20c8f8f14b97d7c6a281e2e2dfd20e9d80f374e17e512ef6402933e47659603

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ea5c8d2d34989e4da7ec810e3b17eb220fee00273f4da0ca11349d20

1

Constr 0

0

Constr 0

0

Constr 0

0

#3d8bfe25279d64942206fca4224ffc87a895195cf53775d162b9a8e8

1

Constr 0

0

Constr 0

0

#ea5c8d2d34989e4da7ec810e3b17eb220fee00273f4da0ca11349d20

1

Constr 0

0

Constr 0

0

Constr 0

0

#3d8bfe25279d64942206fca4224ffc87a895195cf53775d162b9a8e8

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

50579488

4

1999564

5

2000000