Characteristic cycles