Datum

44192f4ae5bdb5…151b3390a5

44192f4ae5bdb50366274a74900d589a71b5907ebd3a287c7c9078151b3390a5

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#59dc8ff65b9674de1a8c4b3075169fc82fb963a17750105c41586a7e

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a266487a7fff04a6771a07b523d435472c314792dbb1488293e5c11

1

Constr 0

0

Constr 0

0

#59dc8ff65b9674de1a8c4b3075169fc82fb963a17750105c41586a7e

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a266487a7fff04a6771a07b523d435472c314792dbb1488293e5c11

2

Constr 1 []

3

Constr 2

0

1

4

1998347

5

2000000