Duff and Weight Lifting

1000ms

262144K

Description:

Recently, Duff has been practicing weight lifting. As a hard practice, Malek gave her a task. He gave her a sequence of weights. Weight of i-th of them is 2^w_i pounds. In each step, Duff can lift some of the remaining weights and throw them away. She does this until there's no more weight left. Malek asked her to minimize the number of steps.

$\text{[math]}$

Duff is a competitive programming fan. That's why in each step, she can only lift and throw away a sequence of weights 2^a₁, ..., 2^a_k if and only if there exists a non-negative integer x such that 2^a₁ + 2^a₂ + ... + 2^a_k = 2^x, i. e. the sum of those numbers is a power of two.

Duff is a competitive programming fan, but not a programmer. That's why she asked for your help. Help her minimize the number of steps.

Input:

The first line of input contains integer n (1 ≤ n ≤ 10⁶), the number of weights.

The second line contains n integers w₁, ..., w_n separated by spaces (0 ≤ w_i ≤ 10⁶ for each 1 ≤ i ≤ n), the powers of two forming the weights values.

Output:

Print the minimum number of steps in a single line.

Sample Input:

5
1 1 2 3 3

Sample Output:

Sample Input:

4
0 1 2 3

Sample Output:

Note:

In the first sample case: One optimal way would be to throw away the first three in the first step and the rest in the second step. Also, it's not possible to do it in one step because their sum is not a power of two.

In the second sample case: The only optimal way is to throw away one weight in each step. It's not possible to do it in less than 4 steps because there's no subset of weights with more than one weight and sum equal to a power of two.

Informação

Provedor Codeforces

Código CF587A