Function main

user/codeforces/409D.Big Data.cpp:6–13

char s[]="1001010111001010";  

int main() 
{  
    int n;  
    cin>>n;
    cout<<s[n-1];
		 
    return 0;  
}