#include <stdio.h>

int main (void)
{
    int i, x;

    for (i=1,x=1;x>0;i++) {
        x *= 2;
        printf("%d: %d\n",i,x);
    }
    x--;
    printf("%d\n",x);
    return 0;
}