/**************/
/* vakio.c    */
#include <stdio.h>

int main(void)
{
  char s[2] = "1";
  printf("%s\n",s);
  return 0;
}