Datum

fde337d6cc2360…6225bed513

fde337d6cc236018f0dfc3d6c38bc30cfd3bcb16ab37d71f70fa8c6225bed513

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fe955b74c49123f487d3a10d6895bd3e33c5a5eda5fcc4068c7a29d0

1

Constr 0

0

Constr 0

0

Constr 0

0

#e50ce74fed7920e95c5270535eb23d7644382be552530092c2ac2438

1

Constr 0

0

Constr 0

0

#fe955b74c49123f487d3a10d6895bd3e33c5a5eda5fcc4068c7a29d0

1

Constr 0

0

Constr 0

0

Constr 0

0

#e50ce74fed7920e95c5270535eb23d7644382be552530092c2ac2438

2

Constr 1 []

3

Constr 2

0

1

4

1998243

5

2000000