Datum

9f24ebf771b2ee…94997f2e57

9f24ebf771b2ee84a79a5d1b052d315c7d6d37cb256d7248c37c4394997f2e57

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b4754ccc719ef94a98b347aff2b8e8069afca7191cc6c02869c57466

1

Constr 0

0

Constr 0

0

Constr 0

0

#7fc9b4cec310826bb71e39c2be4111e7e5f149786f1d9255d8ab83f9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

12000000000

2

Constr 0

0

32893681