/*
 Author: 曹北健
 Result: AC Submission_id: 4505056
 Created at: Tue Jun 07 2022 11:44:00 GMT+0800 (China Standard Time)
 Problem_id: 5793   Time: 10    Memory: 1740
*/

#include <stdio.h>
char cur[1044] = {0};
int main(){
    int n,rd,i;
    while(~scanf("%d",&rd)){
        cur[rd]++;
        for(i = rd;i <= 1024;i++){
            if(cur[i] > 1){
                cur[i] &= 1;
                cur[i + 1]++;
            }
        }
        for(i = 1024;i >= 0;i--){
            if(cur[i]){
                printf("%d\n",i);
                break;
            }
        }
    }
    for(i = 1024;i >= 0;i--){
        if(cur[i]){
            printf("%d ",i);
        }
    }
    putchar('\n');
    return 0;
}