Datum

53dff1d80be6a2…f64bdb4595

53dff1d80be6a24fb1f8fa5d054ead51808c287d87227459406d6bf64bdb4595

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6c3248e8d731f57d91569cb0c7aa3212d24305e09071414d7a238e64

1

Constr 0

0

Constr 0

0

Constr 0

0

#311e7ab3c936a75525bba56f319ab736580b53a4167b73296174e509

1

Constr 0

0

Constr 0

0

#6c3248e8d731f57d91569cb0c7aa3212d24305e09071414d7a238e64

1

Constr 0

0

Constr 0

0

Constr 0

0

#311e7ab3c936a75525bba56f319ab736580b53a4167b73296174e509

2

Constr 1 []

3

Constr 2

0

1

4

1998568

5

2000000