Datum

ec694b1acb3b8f…71f13eb9e5

ec694b1acb3b8fc884802950656c33d9fc2c8ceef79204ea1f7a3d71f13eb9e5

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e75ae1e9948bc2d16844dc78a99c5da9197059fb1cc793732e864285

1

Constr 0

0

Constr 0

0

Constr 0

0

#28694b55beddd88b72663ea1bd3afdce6645a465b6f0ceb0692e1f9a

1

Constr 0

0

Constr 0

0

#e75ae1e9948bc2d16844dc78a99c5da9197059fb1cc793732e864285

1

Constr 0

0

Constr 0

0

Constr 0

0

#28694b55beddd88b72663ea1bd3afdce6645a465b6f0ceb0692e1f9a

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

363351982

4

2000000

5

2000000