Datum

d92c10cac96da9…fd5865b23a

d92c10cac96da93d49db42e8366bbe8058a60fe1e2e8885b382afdfd5865b23a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0e55f00fc7b515ac1f2865b4d7c764ac44951d189c41a46a9a2d5af5

1

Constr 0

0

Constr 0

0

Constr 0

0

#1e51e16a1f26db73f26ae1524bf97226e0199252167b3a0e890b7370

1

Constr 0

0

Constr 0

0

#0e55f00fc7b515ac1f2865b4d7c764ac44951d189c41a46a9a2d5af5

1

Constr 0

0

Constr 0

0

Constr 0

0

#1e51e16a1f26db73f26ae1524bf97226e0199252167b3a0e890b7370

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

17080846

4

1999977

5

2000000