Datum

4484c5dd0ea1d6…d1b345ce32

4484c5dd0ea1d6a23574de0f144d87f3a60e866cd7f166dcf3e0aed1b345ce32

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c2799565d235bbcc0555bc53f2344da519134b5521abd367ecf66951

1

Constr 0

0

Constr 0

0

Constr 0

0

#6c6e84bb33842c5f7a9c6d69adce87983610c9b17c4f452542f7b51f

1

Constr 0

0

Constr 0

0

#c2799565d235bbcc0555bc53f2344da519134b5521abd367ecf66951

1

Constr 0

0

Constr 0

0

Constr 0

0

#6c6e84bb33842c5f7a9c6d69adce87983610c9b17c4f452542f7b51f

2

Constr 1 []

3

Constr 2

0

1

4

1999830

5

2000000