Datum

898dd8d166c090…e5233f76ec

898dd8d166c0901bc036fe54fb42fe1ac67e4dbd87925501f5825be5233f76ec

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1e9f0173f2a4a3f555dc05c77c70a1c43d7b3c4758701d19916376d7

1

Constr 0

0

Constr 0

0

Constr 0

0

#2578c73e8a041f3e3b8efe81796def3ba8f1d4f5d14a64e6c54e78f6

1

Constr 0

0

Constr 0

0

#1e9f0173f2a4a3f555dc05c77c70a1c43d7b3c4758701d19916376d7

1

Constr 0

0

Constr 0

0

Constr 0

0

#2578c73e8a041f3e3b8efe81796def3ba8f1d4f5d14a64e6c54e78f6

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

427769460

4

2000000

5

2000000