Datum

b02f893c3c92bd…fd6ffe320b

b02f893c3c92bd6e008fcbd0a00a908c9813d44c1341fdcd5abc42fd6ffe320b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#61e701e357007bd8abc809eb374441bb0a53bc737716e71777ad20b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f55ffe305f67640099d29504611116ea1ac25c5f36ff920c8d6c39bc

1

Constr 0

0

Constr 0

0

#61e701e357007bd8abc809eb374441bb0a53bc737716e71777ad20b6

1

Constr 0

0

Constr 0

0

Constr 0

0

#f55ffe305f67640099d29504611116ea1ac25c5f36ff920c8d6c39bc

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

867433233

4

2000000

5

2000000