Datum

03c7e8d581ecbc…8a8e4160ec

03c7e8d581ecbc1c816d97d9305ed87560705923ef4e1e1ec417ea8a8e4160ec

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#85e04e22f0d27650d75658e63151144b994fa6dc79a702808e6ed5fb

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba79d76d248ebec5a875a2c233c24bc2dc7bf99462127fe8e90d52f0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

850000000

2

Constr 0

0

1030132742