#include <stdio.h>

void main(int argc, char *argv[]) {
  int x, sum=0;

  for(x=1; x<argc; x++)
    sum += (1 << atoi(argv[x]));
  printf("0x%08x\n", sum);
}