Datum

1015d7d4edd65b…c3f0e48404

1015d7d4edd65b3039a96b0ec0c771e2e17ce190d5be33d521cd0bc3f0e48404

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5e3162b643b484cafe868d7650508ad77605cf8c3eb8e70c62ffdae7

1

Constr 0

0

Constr 0

0

Constr 0

0

#610aadd64d7282cd7d2c773ca8fa8a627d5c66b1f808abadfed62886

1

Constr 0

0

Constr 0

0

#5e3162b643b484cafe868d7650508ad77605cf8c3eb8e70c62ffdae7

1

Constr 0

0

Constr 0

0

Constr 0

0

#610aadd64d7282cd7d2c773ca8fa8a627d5c66b1f808abadfed62886

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

120601337

4

2000000

5

2000000