Datum

56f2e30dace69f…2bdaba87cd

56f2e30dace69f4d1ddcdc13def5b28d2c0bd01bf1e372f205a5112bdaba87cd

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#61e701e357007bd8abc809eb374441bb0a53bc737716e71777ad20b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f55ffe305f67640099d29504611116ea1ac25c5f36ff920c8d6c39bc

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

2000000000

2

Constr 0

0

536