Datum

e4e892fd89051c…ff62ebae2d

e4e892fd89051c6ebbd15e8d72d074c4424068bc2277de3eda7beaff62ebae2d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#e4f04de4ec1ee01799b8ea975156bd7fe8f3129cf62be2bb92a5dad8

1

Constr 0

0

Constr 0

0

Constr 0

0

#3bbc7f58ef816dbb96c6f5435c86b6e2c4c56cdb8fb1db4aea29b0de

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

150846520

2

Constr 0

0

194000000