main(s){for(;gets(&s);printf("%d\n",2<<(atof()>>20)+1));}