Datum

a00d5fecac6863…bf809a8faa

a00d5fecac6863fe0c9eda46dda5bae8689d968d96862dbdeef662bf809a8faa

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1159beafd72caa9255a652ecc0b3db536b03fae68ef1bf43b1dbae5b

1

Constr 0

0

Constr 0

0

Constr 0

0

#4430c7c7944aa9625f91f61007dea9f22e5d3635459fcb15b6c69426

1

Constr 0

0

Constr 0

0

#1159beafd72caa9255a652ecc0b3db536b03fae68ef1bf43b1dbae5b

1

Constr 0

0

Constr 0

0

Constr 0

0

#4430c7c7944aa9625f91f61007dea9f22e5d3635459fcb15b6c69426

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

10209405488

4

2000000

5

2000000