Datum

ba59cc981be78e…98f589b44b

ba59cc981be78ee6cc50abd4f435355c9d3eb5e68fd2c64cee9ff698f589b44b

Datum

Constr 0

0

#0b

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7b55e6643827cfbb4363cd040a75147f5fbb9f888b65632c62307973

1

Constr 0

0

Constr 0

0

Constr 0

0

#bfe40e24d5f4c4744d6071fda6b18ee5bade6939d6c431c2ed01fe36

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

7817

2

Constr 0

0

620785025