Datum

c64f69f3790d56…c4b287d77e

c64f69f3790d5669c98b61748fc795fdcbd7264759e2a9eeeb50bdc4b287d77e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3a146974914954a713fe0c519be3c4e25ad408697b85577289c3bad3

1

Constr 0

0

Constr 0

0

Constr 0

0

#1a5800268446dbe40d9c9e01bf69fd28d3a6ebc016df295743470b2b

1

Constr 0

0

Constr 0

0

#3a146974914954a713fe0c519be3c4e25ad408697b85577289c3bad3

1

Constr 0

0

Constr 0

0

Constr 0

0

#1a5800268446dbe40d9c9e01bf69fd28d3a6ebc016df295743470b2b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000