Datum

d4535e8782e327…a384c2e337

d4535e8782e32784b4c19408d3989bd7178110c438e3d04fb00ad5a384c2e337

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b4903c124e12e6417597c95b558c7a31c6f4b07dc425c48719b7393e

1

Constr 0

0

Constr 0

0

Constr 0

0

#5fe5a05491b748bbbba6f3ae94146ec9bf476c6171f7a92b9fb1f30b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

400000000

1

2747488304