Datum

58a94306ff5bbf…fd2e71b6f7

58a94306ff5bbfe9ddc846ef8908cdd2634fc02c6775d93a75e1edfd2e71b6f7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#015717a306399fd08a71424f677ff89876cb6c7d0544d8757b7eda6e

1

Constr 0

0

Constr 0

0

Constr 0

0

#cd1ec59378d68a6d4ac0bf847fee442939bf06476dcfa9c56ed2b215

1

Constr 0

0

Constr 0

0

#015717a306399fd08a71424f677ff89876cb6c7d0544d8757b7eda6e

1

Constr 0

0

Constr 0

0

Constr 0

0

#cd1ec59378d68a6d4ac0bf847fee442939bf06476dcfa9c56ed2b215

2

Constr 1 []

3

Constr 2

0

1

4

1987902

5

2000000