Datum

c517ed6f58dc6b…7d795456bd

c517ed6f58dc6bb8a850c4864e6c0df5c4ec74ef91fb0fe9cbfe217d795456bd

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#79706cb9723eae4691b1e4af5d5482e848061fa431c66ff5320f0d3a

1

Constr 0

0

Constr 0

0

Constr 0

0

#10d95ae3a324a7b5db1b71e9ad03dd217b16725bae1ecca0980e2796

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

500000000

2

Constr 0

0

642185592