/** * @FileName a.cpp * @Author kanpurin * @Created 2020.06.02 16:44:40 **/ #include "bits/stdc++.h" using namespace std; typedef long long ll; int main() { double x; cin >> x; int X = x * 4; ll ans = 0; for (int a = 0; a <= 100; a++) { for (int b = a; b <= 100; b++) { for (int c = b; c <= 100; c++) { int d = X - a - b - c; if (c <= d && d <= 100) { if (a != b && b != c && c != d) { ans += ll(a) * (100 - d) * 720; // [0,a).(d,100] ans += ll(a) * 720 / 2; // [0,a).d ans += ll(100 - d) * 720 / 2; // a.(d,100] ans += 720 / 4; // a.d } else if (a != b && b != c && c == d) { ans += ll(a) * (100 - d) * 720 / 2; // [0,a).(d,100] ans += ll(a) * 720 / 6; // [0,a).d ans += ll(100 - d) * 720 / 4; // a.(d,100] ans += 720 / 12; // a.d } else if (a != b && b == c && c != d) { ans += ll(a) * (100 - d) * 720 / 2; // [0,a).(d,100] ans += ll(a) * 720 / 4; // [0,a).d ans += ll(100 - d) * 720 / 4; // a.(d,100] ans += 720 / 8; // a.d } else if (a != b && b == c && c == d) { ans += ll(a) * (100 - d) * 720 / 6; // [0,a).(d,100] ans += ll(a) * 720 / 24; // [0,a).d ans += ll(100 - d) * 720 / 12; // a.(d,100] ans += 720 / 48; // a.d } else if (a == b && b != c && c != d) { ans += ll(a) * (100 - d) * 720 / 2; // [0,a).(d,100] ans += ll(a) * 720 / 4; // [0,a).d ans += ll(100 - d) * 720 / 6; // a.(d,100] ans += 720 / 12; // a.d } else if (a == b && b != c && c == d) { ans += ll(a) * (100 - d) * 720 / 4; // [0,a).(d,100] ans += ll(a) * 720 / 12; // [0,a).d ans += ll(100 - d) * 720 / 12; // a.(d,100] ans += 720 / 36; // a.d } else if (a == b && b == c && c != d) { ans += ll(a) * (100 - d) * 720 / 6; // [0,a).(d,100] ans += ll(a) * 720 / 12; // [0,a).d ans += ll(100 - d) * 720 / 24; // a.(d,100] ans += 720 / 48; // a.d } else if (a == b && b == c && c == d) { ans += ll(a) * (100 - d) * 720 / 24; // [0,a).(d,100] ans += ll(a) * 720 / 120; // [0,a).d ans += ll(100 - d) * 720 / 120; // a.(d,100] ans += 1; // a.d } } } } } cout << ans << endl; return 0; }