Datum

0a0a9fa23b256f…1a0e41dbe7

0a0a9fa23b256f9b95962dd9332501f9d1ccf3d64a4a99f9d954df1a0e41dbe7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fdf30c40d32d74273a6e14b4ab4332eb7f2f6c7378a3d20f76bc3d3d

1

Constr 0

0

Constr 0

0

Constr 0

0

#508206f3a2643ede68b6fdcc6d536bb4183a3fff6905468875030fcb

1

Constr 0

0

Constr 0

0

#fdf30c40d32d74273a6e14b4ab4332eb7f2f6c7378a3d20f76bc3d3d

1

Constr 0

0

Constr 0

0

Constr 0

0

#508206f3a2643ede68b6fdcc6d536bb4183a3fff6905468875030fcb

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

85553183

4

2000000

5

2000000