working dethrashed set computation