Datum

ced0ae37ed477e…9450222ffd

ced0ae37ed477e02ae77f7b04bad34a45e2853705ee2adcf9aa8b79450222ffd

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#1c753d4be087386a0ec5be2035c3b24a77304600f5d5428f654de9bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#603c7fef0af9d419fbbcd0f67db3ef2f9785a24a39eeca14d71d23d4

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

504314235

1

854593249