faceted search on integers (facet : sum of divisors to search for friend numbers)