Distinct Array Optimization Calculus 1