#include<stdio.h> void main() { int i,k=1; long int s=1; for(i=2;i<=16;i++) { k=k*2; s+=k; } printf("%10d",s); }