Datum

d8a882d4ec73c5…4a4ad9eea2

d8a882d4ec73c56ba73305be0ca082b74e6dc1742f9aaf09cee36d4a4ad9eea2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#557b809f6b66015fafeaab8067eca05cc90dd19bc7a193424a9c77c5

1

Constr 0

0

Constr 0

0

Constr 0

0

#450440a9eb128bc017b27cd17b5b6f43faaaea09ce156b638e445342

1

Constr 0

0

Constr 0

0

#557b809f6b66015fafeaab8067eca05cc90dd19bc7a193424a9c77c5

1

Constr 0

0

Constr 0

0

Constr 0

0

#450440a9eb128bc017b27cd17b5b6f43faaaea09ce156b638e445342

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

611330823

4

2000000

5

2000000