Datum

03cfc3e70710fc…d2f4902158

03cfc3e70710fcc79e86383c755ae396d4a94711db94f4c1907cabd2f4902158

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1cb3e42d1b3627e7b574d8f6ee40b4bab7bfc3bb73331dbe299dbebf

1

Constr 0

0

Constr 0

0

Constr 0

0

#07c2ad39dc1a094d1987393a81a9a9dc518cf0f6692efa37a7bf1cdb

1

Constr 0

0

Constr 0

0

#1cb3e42d1b3627e7b574d8f6ee40b4bab7bfc3bb73331dbe299dbebf

1

Constr 0

0

Constr 0

0

Constr 0

0

#07c2ad39dc1a094d1987393a81a9a9dc518cf0f6692efa37a7bf1cdb

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

272762240

4

2000000

5

2000000