#include<bits/stdc++.h>
#include <atcoder/all>
#ifdef LOCAL
#include <debug_print.hpp>
#define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#define debug(...) (static_cast<void>(0))
#endif
using namespace atcoder;
using mint=modint1000000007;
using namespace std;
using ll=long long;
using ul=unsigned long long;
int dx[9] = {-1, 1, 0, 0, -1, -1, 1, 1, 0};
int dy[9] = {0, 0, -1, 1, -1, 1, -1, 1, 0};
using Graph=vector<vector<int>>;
ll op(ll a,ll b){return min(a,b);}
ll e(){return 2e9;}
int main(){
	ll N,M,K;
	char c;
	cin>>N>>M>>K>>c;
	vector<ll>B(M),A(N);
	for(int i=0;i<M;i++)cin>>B[i];
	for(int i=0;i<N;i++)cin>>A[i];
	sort(A.begin(),A.end());
	ll ans=0;
	for(int i=0;i<M;i++){
		if(c=='+'){
			ans+=N-(lower_bound(A.begin(),A.end(),K-B[i])-A.begin());
		}
		else{
			ans+=N-(lower_bound(A.begin(),A.end(),K/B[i])-A.begin());
		}
	}
	cout<<ans<<endl;
}