Datum

3fd44d9715ae08…dafeaae482

3fd44d9715ae081c3171f1eb89cb39d06f0f20fadeb06faf67ae5adafeaae482

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ca0e5632aae0135a3dcaca16677b5f7ca6b307555bc76cc676bba389

1

Constr 0

0

Constr 0

0

Constr 0

0

#dec93686769ac2be55deebf564ad5c53b9182b575d05bd5ac3b9d0ce

1

Constr 0

0

Constr 0

0

#ca0e5632aae0135a3dcaca16677b5f7ca6b307555bc76cc676bba389

1

Constr 0

0

Constr 0

0

Constr 0

0

#dec93686769ac2be55deebf564ad5c53b9182b575d05bd5ac3b9d0ce

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

218606376

4

2000000

5

2000000