#include <bits/stdc++.h>

std::string read_token(bool noendl = false) {
    char ch = std::cin.get();
    bool minus = false;
    while (!isdigit(ch) && !isalpha(ch)) {
        if (ch == '\n' && noendl) {
            return "1";
        }
        if (ch == '-') {
            minus = true;
        }
        ch = std::cin.get();
    }

    std::string str;
    while (isdigit(ch) || isalpha(ch)) {
        str += ch;
        ch = std::cin.get();
    }
    return (minus ? "-" : "") + str;
}

bool isdigit(const std::string &str) {
    for (auto i : str) {
        if (!isdigit(i) && i != '-') {
            return false;
        }
    }
    return true;
}

using i64 = int64_t;

struct Env {
    std::unordered_map<std::string, i64> env;
    i64 operator[](const std::string &name) {
        if (isdigit(name)) {
            return stoll(name);
        }
        return env[name];
    }
    void set(const std::string &name, i64 value) {
        if (isdigit(name)) {
            return;
        }
        env[name] = value;
    }
};

int main() {
    Env env;
    
    // LINE 1
    auto name = read_token();
    env.set(name, stoi(read_token()));

    // LINE 2
    read_token();
    std::string outer_var = read_token();
    read_token();
    read_token();
    i64 a = env[read_token()];
    i64 b = env[read_token()];
    i64 c = env[read_token(true)];

    // LINE 3
    read_token();
    std::string inner_var = read_token();
    read_token();
    read_token();
    std::string d = read_token();
    std::string e = read_token();
    std::string f = read_token(true);


    i64 ans = 0;

    auto pred = [&](i64 i) -> bool {
        return c > 0 ? i < b : i > b;
    };
    auto calc = [&](i64 a, i64 b, i64 c) -> i64 {
        std::cerr << "Calc " << a << ' ' << b << ' ' << c << '\n';
        if (c > 0) {
            if (a >= b) {
                return 0;
            }
            int n = (b - a - 1) / c;
            return (a + a + c * n) * (n + 1) / 2;
        } else {
            if (a <= b) {
                return 0;
            }
            c = -c;
            int n = (a - b - 1) / c;
            return (a + a - c * n) * (n + 1) / 2;
        }
    };
    for (i64 i = a; pred(i); i += c) {
        env.set(outer_var, i);
        ans += calc(env[d], env[e], env[f]);
    }

    std::cout << ans << '\n';
    return 0;
}