Datum

26b60b6d3ba16d…f9507c7dbe

26b60b6d3ba16da68d82e7963bfca12f728388fe52c29cde128efff9507c7dbe

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#23a60f9fc62db9d452e4e8a6a2155e9ef7b59d1f6d731d41406d83bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#bf4920e43698ff4751f2afbe9bd8abe4854b1f2a3a6537e19a466ac6

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

11500000

2

Constr 0

0

256410062