#include "bits/stdc++.h"
using namespace std;
#define fastcin {\
    cin.tie(0);\
    ios::sync_with_stdio(false);\
}
#define rrep(i, a, b) for(int i = a; i > b; i--)
typedef long long ll;

int main() {
    fastcin;
    int x;
    ll ans1, ans2;
    cin >> x;
    if(x==0) {
        ans1 = 1;
        ans2 = 0;
    } else if(x>31) {
        ans1 = ans2 = 0;
    } else {
        ans1 = ans2 = 1;
        rrep(i, 31, max(x, 31-x)) {
            ans1 = ans1*i / (32-i);
        }
        rrep(i, 30, max(x-1, 30-x+1)) {
            ans2 = ans2*i / (31-i);
        }
        ans2 = ans2 * 2147483647;
    }
    printf("%lld %lld\n", ans1, ans2);
    return 0;
}