Datum

cb1ff4c92723ad…c198749dca

cb1ff4c92723add58d11d8bbf33cd62f4257ae5b792e5fe6f7ec81c198749dca

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f245cfcee7812b9598ac8b7ef7b2d758fb22d2e5ccdb25ea6604fc28

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a4c48c9791e815afc81e794c7951511d439349e72e45ab81888e8f4

1

Constr 0

0

Constr 0

0

#f245cfcee7812b9598ac8b7ef7b2d758fb22d2e5ccdb25ea6604fc28

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a4c48c9791e815afc81e794c7951511d439349e72e45ab81888e8f4

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

542929133

4

2000000

5

2000000