Datum

ddc07bbdcfdb14…d96e73b934

ddc07bbdcfdb1498bc9433f7d3b2f6fda4813f6690d5bb531afe9ad96e73b934

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e3b98ef321264441eecb1aaf7ead84ecbe4be112bab4fc64a28404dd

1

Constr 0

0

Constr 0

0

Constr 0

0

#d3fbec7d26f4bd2c2a6d6429f6f405b4dd37cd619c2cae54e7048782

1

Constr 0

0

Constr 0

0

#e3b98ef321264441eecb1aaf7ead84ecbe4be112bab4fc64a28404dd

1

Constr 0

0

Constr 0

0

Constr 0

0

#d3fbec7d26f4bd2c2a6d6429f6f405b4dd37cd619c2cae54e7048782

2

Constr 1 []

3

Constr 2

0

1

4

1999986

5

2000000