Datum

00d1cd93f1bf1b…c091e8ddea

00d1cd93f1bf1bee31e52431f68e2b98865d4fe96b83d507fa5cffc091e8ddea

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#97ed4e30bea3152530983cd84f5bef1ed8ca8570e0037c92ff192b59

1

Constr 0

0

Constr 0

0

Constr 0

0

#cbcb4308332f70b681200908fb024be30571f21c4648e60cc2de1c6c

1

Constr 0

0

Constr 0

0

#97ed4e30bea3152530983cd84f5bef1ed8ca8570e0037c92ff192b59

1

Constr 0

0

Constr 0

0

Constr 0

0

#cbcb4308332f70b681200908fb024be30571f21c4648e60cc2de1c6c

2

Constr 1 []

3

Constr 2

0

1

4

1998663

5

2000000