Datum

505387d3e41378…d9ed1b23f7

505387d3e413781b4c7baa54ffa0b6b00a363778ee64d67e1763d0d9ed1b23f7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8e5309573e3ec5e9ba32a3b8993cbe740a11bcf3f96a8f7ff48a2eca

1

Constr 0

0

Constr 0

0

Constr 0

0

#ddba67b4f117d8142d6279af1801e013f0328d2793be4b569770f418

1

Constr 0

0

Constr 0

0

#8e5309573e3ec5e9ba32a3b8993cbe740a11bcf3f96a8f7ff48a2eca

1

Constr 0

0

Constr 0

0

Constr 0

0

#ddba67b4f117d8142d6279af1801e013f0328d2793be4b569770f418

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

437041318

4

2000000

5

2000000