Datum

b128f0e6e49fbf…4c474cd6a4

b128f0e6e49fbf2082f69ca201ec8e69dd108c1d02c156042e5d594c474cd6a4

Datum

Constr 0

0

#0902

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#17aa697f2401f3fdd330824d5d5b3820e330ab180823e48d67f46400

1

Constr 0

0

Constr 0

0

Constr 0

0

#ac71bf4c1bfeec2f2dc915239bac1ffaa694b7f032fe5fbf68ed63b7

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1200000000

2

Constr 0

0

105339937