Reducing atomic testing to graphs <= 14 vertices.