Datum

a25ce3ace5e18f…627e2cf2d6

a25ce3ace5e18fd60c670c5e558db144fa81f70a4622126f4cf2e1627e2cf2d6

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4e7865d629196b4acb87577be21b4fcf4a61afadc6a45023cc3ef771

1

Constr 0

0

Constr 0

0

Constr 0

0

#7afd5f166dbb57644fa66f4191bbae139e1c8e93321b3da374cd7916

1

Constr 0

0

Constr 0

0

#4e7865d629196b4acb87577be21b4fcf4a61afadc6a45023cc3ef771

1

Constr 0

0

Constr 0

0

Constr 0

0

#7afd5f166dbb57644fa66f4191bbae139e1c8e93321b3da374cd7916

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

691610934

4

2000000

5

2000000