#include <bits/stdc++.h>

using namespace std;

class big_number
{
private:
    vector<short> v;
public:
    big_number() : v({1}) {}
    void operator*=(int n)
    {
        int r=0;
        for(int i=0; i<12; i++) v.push_back(0);
        for(int i=0; i<v.size(); i++)
        {
            v[i] = v[i]*n+r;
            r = v[i]/10;
            v[i]%=10;
        }
        while(v[v.size()-1] == 0)
            v.pop_back();
    }
    void print(ofstream &file)
    {
        for(int i=v.size()-1; i>=0; --i)
            file<<v[i];
    }
};

int main()
{
    ifstream fin ("patrate2.in");
    ofstream fout ("patrate2.out");
    int n;
    fin>>n;
    big_number x;
    for(int i=2; i<=n; i++)
    {
        x *= i;
    }
    for(int i=0; i<n*n; i++)
        x *= 2;
    x.print(fout);
    return 0;
}