Datum

58a30d7d37b2a5…9f784665d5

58a30d7d37b2a5db8c8ae5601c361dc5337b4e827353f0b1168f299f784665d5

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ac0d8ea2fd3d5e7b9654aa4d3246e13a99396d2c22c8efa5f141e60f

1

Constr 0

0

Constr 0

0

Constr 0

0

#0627a8b0ca21ba8fefaa7388f5697e3583c8941a7ff4b235de4b6091

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

484813000000

2

Constr 0

0

27705264578