Datum

dd57c966220bce…aa4ab8552f

dd57c966220bce980fae91c1137a8958f4e0f6fd29862b2b3e41a7aa4ab8552f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8d6ea93063eb24cfda5ccf10dca2247e899a25134395eded5a9ef8cd

1

Constr 0

0

Constr 0

0

Constr 0

0

#de5b8290a20e61120d013bcbd89c1a424bb6991631e817b3f9877fae

1

Constr 0

0

Constr 0

0

#8d6ea93063eb24cfda5ccf10dca2247e899a25134395eded5a9ef8cd

1

Constr 0

0

Constr 0

0

Constr 0

0

#de5b8290a20e61120d013bcbd89c1a424bb6991631e817b3f9877fae

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

153183869

4

2000000

5

2000000