Datum

ab2c7c39900bb2…90d642b528

ab2c7c39900bb25d2b6a23e4419a972cbf3f2e7d22e07bcff56af590d642b528

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#6355ba97dc3928b536187342262456c8faeb2874dd50bd3263c8b23d

1

Constr 0

0

Constr 0

0

Constr 0

0

#e3823c8660652520f788be73022260c39ea4e92f7974ae0d20b5e18e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

235990723

2

Constr 0

0

215470751