Datum

0ecff61e5db3f7…f06888614f

0ecff61e5db3f7d90faee590d97ff17c8f4a6cfe08f7ed31f864a9f06888614f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#c46e8b9c2ef74ee43cc116aeccd426b308101ba1b22440abff0b3dd8

1

Constr 0

0

Constr 0

0

Constr 0

0

#5c9274a0ef4c1bb48a5250d5c9a5248004dc7a8796433f91ffdbbac4

1

Constr 0

0

Constr 0

0

#c46e8b9c2ef74ee43cc116aeccd426b308101ba1b22440abff0b3dd8

1

Constr 0

0

Constr 0

0

Constr 0

0

#5c9274a0ef4c1bb48a5250d5c9a5248004dc7a8796433f91ffdbbac4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

10676303

4

2000000

5

2000000