Datum

cd32c7e40732a7…c456fe12cf

cd32c7e40732a7395c6f3935ecd8d84f3e4b1f022f19a032ef66b6c456fe12cf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f0be37fedd4668c4138737e3a3e87eb7fa95f6c4e59bd496310fd4c5

1

Constr 0

0

Constr 0

0

Constr 0

0

#52bddabb9eec3606d4e62fe8b7c0eaa96e874592a1c3ba4f464e685f

1

Constr 0

0

Constr 0

0

#f0be37fedd4668c4138737e3a3e87eb7fa95f6c4e59bd496310fd4c5

1

Constr 0

0

Constr 0

0

Constr 0

0

#52bddabb9eec3606d4e62fe8b7c0eaa96e874592a1c3ba4f464e685f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

191276962

4

2000000

5

2000000