Datum

30ce3bff50d8f5…1ecb9cc49e

30ce3bff50d8f5a470335cdec07131f862dd979de1482de3fda7a31ecb9cc49e

Datum

Constr 0

0

#07

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5d8ab102cc94acf045218e9ed77be05bbf7b72c547d9e4140cf76b39

1

Constr 0

0

Constr 0

0

Constr 0

0

#1fff4a536958e2e0310dbc62aa490c8b457aca5c32607250919b9d85

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

424000000

2

Constr 0

0

248717585