Datum

f64ab7f0f1d49a…5f05fc3e6f

f64ab7f0f1d49a91440b2b88e0072141f63be2fe0125bb0b6f3cd45f05fc3e6f

Datum

Constr 0

0

#2d01

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#bbb28ebc4308643f0e2f5019d75fe4150c4df04d47bb335dd9ff2687

1

Constr 0

0

Constr 0

0

Constr 0

0

#3ac101f488cb94c9e86976b7e578d88a84d054ddb39159d6d7d96b25

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

3000000000

2

Constr 0

0

25643456038