Datum

b1bb6a256eb98f…9cac26ebec

b1bb6a256eb98fcf7ed21b9cd14de46d6a84d3ed7cea25fb84c3849cac26ebec

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#200b4ae76fdd32d97708903640dcee77c38defd8319f75c221d2218b

1

Constr 0

0

Constr 0

0

Constr 0

0

#6cc4649d40f34f06f01ef670b933ba4124ae83b9f8835bf0219bd55a

1

Constr 0

0

Constr 0

0

#200b4ae76fdd32d97708903640dcee77c38defd8319f75c221d2218b

1

Constr 0

0

Constr 0

0

Constr 0

0

#6cc4649d40f34f06f01ef670b933ba4124ae83b9f8835bf0219bd55a

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

28792586

4

1998721

5

2000000