Datum

ee9190d897883d…86edcef32e

ee9190d897883d5d60837832a315e43f2e1dc76dac5c24be063dc886edcef32e

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#155df7d8949ae356a2a3858bbb633193448343c3bbf915161258f27d

1

Constr 0

0

Constr 0

0

Constr 0

0

#21fe749c2b3814a6e5a8abcca558b42ebc223b36b46cac14bf899f7e

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

260371330

2

Constr 0

0

518083880