Datum

d5437ffcc025d9…09becaf894

d5437ffcc025d9ef7c9069efe1b8e4a77098ee77995e229b7a0ac309becaf894

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#19b534e47359f7f889fff8eb0a8b036b8c66ed146c9e8fda276150cd

1

Constr 0

0

Constr 0

0

Constr 0

0

#153f50f38ff6b431ce5884020ae0488b33fe05b72249985cece1fe57

1

Constr 0

0

Constr 0

0

#19b534e47359f7f889fff8eb0a8b036b8c66ed146c9e8fda276150cd

1

Constr 0

0

Constr 0

0

Constr 0

0

#153f50f38ff6b431ce5884020ae0488b33fe05b72249985cece1fe57

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000