Datum

6c5a4f8e2e755c…07ce3307ee

6c5a4f8e2e755ce2847e2f7c8f58a888ce04d2a2320a273eb2c08f07ce3307ee

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#060b95b69ad82f931f4f957f98cf7cff570274ab587f7fca4c3cadaa

1

Constr 0

0

Constr 0

0

Constr 0

0

#ebb28c6ba84145d7e699044aad91a106bc16a4da1bf2caaeadc6d625

1

Constr 0

0

Constr 0

0

#060b95b69ad82f931f4f957f98cf7cff570274ab587f7fca4c3cadaa

1

Constr 0

0

Constr 0

0

Constr 0

0

#ebb28c6ba84145d7e699044aad91a106bc16a4da1bf2caaeadc6d625

2

Constr 1 []

3

Constr 1

0

Constr 0

0

#""

1

#""

1

400000000

4

2000000

5

2000000