ArraySet Analysis