Datum

203c92d6b34e2e…7cb588a41d

203c92d6b34e2ef190800fd0d91871acf34d44be7861e48ec888367cb588a41d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#99334934380e6a1d2244a29796b8e8fbbbe3d271ebf8345b93b3bfd4

1

Constr 0

0

Constr 0

0

Constr 0

0

#e099afb6df6710ab40d8081cdb2b82c5641d9a43c05717ae2b676065

1

Constr 0

0

Constr 0

0

#99334934380e6a1d2244a29796b8e8fbbbe3d271ebf8345b93b3bfd4

1

Constr 0

0

Constr 0

0

Constr 0

0

#e099afb6df6710ab40d8081cdb2b82c5641d9a43c05717ae2b676065

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

60253268

4

2000000

5

2000000