Datum

1fe65c2487f80e…64ee864a88

1fe65c2487f80ed3c3eb30173091712bc03eaa9d07048a8d75fd4e64ee864a88

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2b035c85ddfe8801e82ca230bcac58eec8a24ee741083d82910d75a4

1

Constr 0

0

Constr 0

0

Constr 0

0

#c98aa5c872b2b6c844cf7043d80b26c05e11689d4b49043bdb2fa80e

1

Constr 0

0

Constr 0

0

#2b035c85ddfe8801e82ca230bcac58eec8a24ee741083d82910d75a4

1

Constr 0

0

Constr 0

0

Constr 0

0

#c98aa5c872b2b6c844cf7043d80b26c05e11689d4b49043bdb2fa80e

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

2510513

4

2000000

5

2000000