#include<iostream> int main(){ int js=1,ts=9; while(ts>0){ js=js*2+1; ts--; } printf("%d",js); return 0; }