/** * @FileName a.cpp * @Author kanpurin * @Created 2020.06.02 02:27:20 **/ #include "bits/stdc++.h" using namespace std; typedef long long ll; int main() { int b,c,d;cin >> b >> c >> d; int n;cin >> n; vector e(n); for (int i = 0; i < n; i++) { cin >> e[i]; } sort(e.begin(), e.end()); // dp[i][j] : i番目まででj個つかう vector> dp(n + 1,vector(4,0)); dp[0][0] = 1; for (int i = 0; i < n; i++) { dp[i + 1][0] += dp[i][0] * 2; dp[i + 1][1] += dp[i][1]; dp[i + 1][2] += dp[i][2]; dp[i + 1][3] += dp[i][3]; if (b <= e[i]) dp[i + 1][1] += dp[i][0]; if (c <= e[i]) dp[i + 1][2] += dp[i][1]; if (d <= e[i]) dp[i + 1][3] += dp[i][2]; } cout << dp[n][3] << endl; return 0; }