Datum

286887f45c41f7…8ab233e6e4

286887f45c41f79bda4e8805e2bacd533f1ff07f4c6cdb82695a1c8ab233e6e4

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#52f439fa7e2be2cb351778c61a208f280f7befc03f49a5587ec965be

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fbe8a75096bae531737c62ad5b17c8ddbba2f95bce16d204d960403

1

Constr 0

0

Constr 0

0

#52f439fa7e2be2cb351778c61a208f280f7befc03f49a5587ec965be

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fbe8a75096bae531737c62ad5b17c8ddbba2f95bce16d204d960403

2

Constr 1 []

3

Constr 3

0

216602099

1

665968389275

4

2000000

5

2000000