Datum

4656daca01e52b…f37b3fec0e

4656daca01e52b04b549ce3c89d8431d36242fc6f77b0770ffb1aff37b3fec0e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#bf97ad99b5269c15e3726290f95f0fc0ec8dbada31183778548d9da0

1

Constr 0

0

Constr 0

0

Constr 0

0

#5caf366e3e8ac08157935ebcb416f759f95e11546148f376f6fe0dc0

1

Constr 0

0

Constr 0

0

#bf97ad99b5269c15e3726290f95f0fc0ec8dbada31183778548d9da0

1

Constr 0

0

Constr 0

0

Constr 0

0

#5caf366e3e8ac08157935ebcb416f759f95e11546148f376f6fe0dc0

2

Constr 1 []

3

Constr 2

0

1

4

1993060

5

2000000