#include <bits/stdc++.h>
char res[] =
    "10010000011111110101001001001101010111011011011101001111110010000100001010"
    "00110110000001001010000111110001010101001111000101110100010001111111111101"
    "00000100101010100110010000101001011100011010111011010110110010001101";
int main() {
  for (int i = 0; i < strlen(res); ++i)
    if (res[i] == '1')
      printf("YES\n");
    else
      printf("NO\n");
  return 0;
}
