Datum

4dbe3fe24e0730…ac59d75549

4dbe3fe24e07304d08938b3fa5bb7ff33931a6fb8faef3a4874933ac59d75549

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#efe088e1251491b8f58fbe57a6a27c67204d5b9e5ebae5167755475d

1

Constr 0

0

Constr 0

0

Constr 0

0

#68a8c9aff9f3a7220dc8b4566ed25343b230def8538c78999df69f35

1

Constr 0

0

Constr 0

0

#efe088e1251491b8f58fbe57a6a27c67204d5b9e5ebae5167755475d

1

Constr 0

0

Constr 0

0

Constr 0

0

#68a8c9aff9f3a7220dc8b4566ed25343b230def8538c78999df69f35

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

240780561

4

1998566

5

2000000