Datum

48e256531cf8e7…17b99024da

48e256531cf8e7333f0dd372b0ed755f5edefc2f3f68a44570c82617b99024da

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#512f425cedae5c11513155242686e5039b766c7ae798515b68a364e7

1

Constr 0

0

Constr 0

0

Constr 0

0

#9d4f3c893fcb2969538a9e620e6ff5d6c817aaf9a5586fab4b73c559

1

Constr 0

0

Constr 0

0

#512f425cedae5c11513155242686e5039b766c7ae798515b68a364e7

1

Constr 0

0

Constr 0

0

Constr 0

0

#9d4f3c893fcb2969538a9e620e6ff5d6c817aaf9a5586fab4b73c559

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

432446556

4

2000000

5

2000000