Datum

76d523005a8d9d…8eb0ce64a5

76d523005a8d9d013cc5ead2d74f7787e7b66a053d4023954510db8eb0ce64a5

Datum

Constr 0

0

#0805

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#bd117cd886fe459934a3d3add040987c6c3940f2800cb8a092eb8e1f

1

Constr 0

0

Constr 0

0

Constr 0

0

#7d03a66ff4a5a8cea470d02e783f39d1f53a1a9ed00eb4079148346a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

214000000

2

Constr 0

0

5843174593