Datum

3fa02e4e824f54…1956add44d

3fa02e4e824f542ee68ab5492019fd4ece69bba1acd323662fd4c61956add44d

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#924c89dfe3affd281d2a858981105a98f154cf4594e7a57d0e6b72b3

1

Constr 0

0

Constr 0

0

Constr 0

0

#0070e046468925ada8c7486e9c9dc17997f43b2e58811a3bcac1b12b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

55000000

2

Constr 0

0

1