Datum

b2520b1da3fbde…bc1d9e99cd

b2520b1da3fbde3bbb867af14acfa69ebb0340410f56a0408fa517bc1d9e99cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a11290c9e8ff4143fc74796846a78503993dfb107688c2631fd3dbff

1

Constr 0

0

Constr 0

0

Constr 0

0

#3b794ae04fc89fae0f2561796aa4f9be065931904b0fc8bab2c8b4d5

1

Constr 0

0

Constr 0

0

#a11290c9e8ff4143fc74796846a78503993dfb107688c2631fd3dbff

1

Constr 0

0

Constr 0

0

Constr 0

0

#3b794ae04fc89fae0f2561796aa4f9be065931904b0fc8bab2c8b4d5

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

14910608

4

2000000

5

2000000