Datum

d32cd9a314846a…ecda0cfcaa

d32cd9a314846a210eedfeea2321fd8c6f3bc6fb36d723e120f0edecda0cfcaa

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#93dbd2d49372a23781d961b4f815a0eba4407bd857230ee0a4593d61

1

Constr 0

0

Constr 0

0

Constr 0

0

#60c5c4b21e9b28394be543d1cef01a01fc6fdf2ab6c1845b9bad3011

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

4200000000

2

Constr 0

0

208178485