Datum

b044d6c263f71a…66f07cedc8

b044d6c263f71a96e2387f78e0f769164738bb7660ec1722f9850e66f07cedc8

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#bc1df178ea4ae0e493f508ab19fcca70ba95dd5852bc7d9ccfa4bf37

1

Constr 0

0

Constr 0

0

Constr 0

0

#9e32d7bacf042803a51f83f3ac36471837459d79a96a98fd80c90e88

1

Constr 0

0

Constr 0

0

#bc1df178ea4ae0e493f508ab19fcca70ba95dd5852bc7d9ccfa4bf37

1

Constr 0

0

Constr 0

0

Constr 0

0

#9e32d7bacf042803a51f83f3ac36471837459d79a96a98fd80c90e88

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

78938529

4

2000000

5

2000000