#include <stddef.h>
#include <stdlib.h>
#include <alloca.h>


extern int __VERIFIER_nondet_int(void);

long long int atoll(const char* s) {
  long long int v=0;
  int sign=1;
  while ( *s == ' ' ) ++s; //  ||  (unsigned int)(*s - 9) < 5u) ++s;
  switch (*s) {
  case '-': sign=-1;
  case '+': ++s;
  }
  while ((*s-'0') > 0  && (*s - '0') < 10u) {
    v=v*10+*s-'0'; ++s;
  }
  return sign==-1?-v:v;
}

int main(){

  int in_len = __VERIFIER_nondet_int();
  if(in_len < 1){return 1;}
  char* in = alloca(in_len);
  in[in_len-1]=0;

  return atoll(in);
}