Datum

389ff86c803f89…ec4e5759cc

389ff86c803f8963e41a9e06ef68b666e5a2099c0f6aa430e3dcc3ec4e5759cc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1b57e8cffcc5f24e0ebdbe8d3e6c21a932773a9467d814b1dde04470

1

Constr 0

0

Constr 0

0

Constr 0

0

#c98bf116c4b5a640ff393a504f8b9eeade6d90b6f20a3aeec0d1337f

1

Constr 0

0

Constr 0

0

#1b57e8cffcc5f24e0ebdbe8d3e6c21a932773a9467d814b1dde04470

1

Constr 0

0

Constr 0

0

Constr 0

0

#c98bf116c4b5a640ff393a504f8b9eeade6d90b6f20a3aeec0d1337f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

111841117

4

2000000

5

2000000