Datum

79a1555e220d67…5a7e9a865d

79a1555e220d67423ef9451dddff6a9c8ce64733cee7ceed1f85d45a7e9a865d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ff8fd3a3d8add607728074b35a8d438c37aa31bff47986289b1d428f

1

Constr 0

0

Constr 0

0

Constr 0

0

#41b462830974d8980b32198a1e38a4cf727b39462b95b95266fc4612

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

130194173

2

Constr 0

0

24560776