Datum

d7260a632e8fbe…e2b54edf5e

d7260a632e8fbe996239c1eb6568c19aea408aaae746803cdf75a4e2b54edf5e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#dfa57e6f05637a32a59dac0a8d7dec9e2ad019ae7b3836d7f13e0815

1

Constr 0

0

Constr 0

0

Constr 0

0

#933e78edfe5655df77814e7f05a766726d77629197fb01579108b0a2

1

Constr 0

0

Constr 0

0

#dfa57e6f05637a32a59dac0a8d7dec9e2ad019ae7b3836d7f13e0815

1

Constr 0

0

Constr 0

0

Constr 0

0

#933e78edfe5655df77814e7f05a766726d77629197fb01579108b0a2

2

Constr 1 []

3

Constr 2

0

1

4

1999876

5

2000000