Datum

80f64f2738d6ee…214a4807bf

80f64f2738d6eee3723a4c0ea89ae3a4e2bee9749269c6047593dd214a4807bf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2c1c48a7a2db5bead502fed1d9ef824d5cc06cf600f4871f8ee0c58d

1

Constr 0

0

Constr 0

0

Constr 0

0

#a4e2ab64c2cf32c3825ec5948b54a6c5a6beadc64e874d92bf726284

1

Constr 0

0

Constr 0

0

#2c1c48a7a2db5bead502fed1d9ef824d5cc06cf600f4871f8ee0c58d

1

Constr 0

0

Constr 0

0

Constr 0

0

#a4e2ab64c2cf32c3825ec5948b54a6c5a6beadc64e874d92bf726284

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

193204495

4

2000000

5

2000000