Datum

de7ecdb189bfc5…e6051e58cd

de7ecdb189bfc51839f43b06a08f869cf3a7664bf7a3b3eb22c94fe6051e58cd

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f480fbde43ef244fdc26d00d58708b3ebf0d6db3aeedc8d404c3bcd9

1

Constr 0

0

Constr 0

0

Constr 0

0

#87b1bc53cffe8507d09ab7e50426d8048547f817fba9dbc159c0287f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

16384088

1

25000000