Datum

0b4dd4b8a19ee5…92bc9c757e

0b4dd4b8a19ee5ef09f0d086f474dec77fa1d76b07be9630ff0bfe92bc9c757e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e16070e4174917ca0bcdb6b1d0143d46ebdbfef6294aef6d5e965a2c

1

Constr 0

0

Constr 0

0

Constr 0

0

#056cca9a65ce9ea68e993ca6aee6ee4e9ac9f8572481564a8062b1bf

1

Constr 0

0

Constr 0

0

#e16070e4174917ca0bcdb6b1d0143d46ebdbfef6294aef6d5e965a2c

1

Constr 0

0

Constr 0

0

Constr 0

0

#056cca9a65ce9ea68e993ca6aee6ee4e9ac9f8572481564a8062b1bf

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

22842909

4

2000000

5

2000000