31.   Police and troops patrolled the streets and manned check-points around the city to deter violence.

32.   Police patrolled the streets and manned check-posts around the city to deter violence.