Datum

87f0350b95cc7a…b696d2c52f

87f0350b95cc7aa6371cdede63e61d0cb3c011afb01384fb1ebc92b696d2c52f

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#17847aaa1e8f5041d5591347a6337e9992eb0f565f725cf43191558a

1

Constr 0

0

Constr 0

0

Constr 0

0

#325ccb0737b7c8c90e9ace4d861f8a7edc6bb0140d927a15792e6c7a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

115890637