Datum

a0d10ce095955b…fcccbcae15

a0d10ce095955bde67f29bd28efe1ae3e5e598daa5f03b6a882f2dfcccbcae15

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#105dde8f92eb1ebbec7f20f1e0c6e2938fd919dc0de2831b6ae8d70f

1

Constr 0

0

Constr 0

0

Constr 0

0

#c16bdc58ce65d707e00efbeb80dce0b2348d204ecf5979997a9c1199

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

400000000

2

Constr 0

0

465840072