#include <bits/stdc++.h>

#define ll long long

constexpr int inf = 1e9;

int main(){
	std::string s;
	std::cin >> s;
	int a, b, c = 1, d, e, f = 1;

	std::cin >> s;
	std::string val;
	std::cin >> val;
	std::cin >> s;
	std::cin >> s;

	std::string cur;
	bool ok = false;
	int cnt = 0;
	for (int i = 0; i < s.size(); i++){
		if (ok){
			if (s[i] == ',' || s[i] == ')'){
				if (cnt == 0){
					a = std::stoi(cur);
				}else if (cnt == 1){
					b = std::stoi(cur);
				}else{
					c = std::stoi(cur);
				}
				cnt++;
				cur.clear();
			}else{
				cur += s[i];
			}
		}
		if (s[i] == '('){
			ok = true;
		}
	}

	std::cin >> s;	
	std::cin >> s;	
	std::cin >> s;
	std::cin >> s;
	cur.clear();
	ok = false;
	cnt = 0;
	for (int i = 0; i < s.size(); i++){
		if (ok){
			if (s[i] == ',' || s[i] == ')'){
				if (cnt == 0){
					if (cur == val){
						d = inf;
					}else{
						// std::cerr << cur << '\n';
						d = std::stoi(cur);
					}
				}else if (cnt == 1){
					if (cur == val){
						e = inf;
					}else{
						// std::cerr << cur << '\n';
						e = std::stoi(cur);
					}
				}else{
					if (cur == val){
						f = inf;
					}else{
						// std::cerr << cur << '\n';
						f = std::stoi(cur);
					}
				}
				cnt++;
				cur.clear();
			}else{
				cur += s[i];
			}
		}
		if (s[i] == '('){
			ok = true;
		}
	}
	// std::cout << a << ' ' << b << ' ' << c << ' ' << d << ' ' << e << ' ' << f << '\n';

	ll ans = 0;
	auto sign = [&](int x){
		return (x > 0 ? 1 : -1);
	};
	for (int i = a; (c > 0 ? (i < b) : (i > b)); i += c){
		ll td = d, te = e, tf = f;
		if (td == inf) {
			td = i;
		}
		if (te == inf) {
			te = i;
		}
		if (tf == inf) {
			tf = i;
		}
		// std::cerr << td << ' ' << te << ' ' << tf << '\n'; 
		if ((te - td) * tf < 0) continue;
		ll k = (te - td + (tf - sign(tf))) / tf;
		// std::cerr << k << '\n';
		ans += (td + (td + (k - 1) * tf)) * k / 2;
	}
	std::cout << ans << '\n';


	return 0;
}