#include <bits/stdc++.h>
#define gc getchar
#define ll long long
using namespace std;
void readc(char c){while(gc()!=c);}
char readc()
{
	char ch=gc();
	while(ch<'a'||ch>'z')ch=gc();
	return ch;
}
int readint()
{
	int x=0;char ch=gc();int f=1;
	while(ch<'0'||ch>'9')f=(ch=='-'?-f:f),ch=gc();
	while(ch<='9'&&ch>='0')x=x*10+ch-'0',ch=gc();
	return x*f;
}
char I;
const int isI=-1e9;
int a,b,c,d,e,f;
ll calc(int a,int b,int c)
{
	if(c>0)
	{
		--b;
		if(a>b)return 0;
		int tim=(b-a)/c;
		return 1ll*a*(tim+1)+1ll*tim*(tim+1)/2*c;
	}
	else
	{
		++b;
		if(a<b)return 0;
		int tim=(a-b)/(-c);
		return 1ll*a*(tim+1)+1ll*tim*(tim+1)/2*c;
	}
}
ll F(int a,int b,int c)
{
	ll ans=0;
	if(c>0)
	{
		--b;
		if(a>b)return 0;
		for(int i=a;i<=b;i+=c)
		{
			int nd,ne,nf;
			if(d==isI)nd=i;else nd=d;
			if(e==isI)ne=i;else ne=e;
			if(f==isI)nf=i;else nf=f;
			ans+=calc(nd,ne,nf);
		}
	}
	else
	{
		++b;
		if(a<b)return 0;
		for(int i=a;i>=b;i+=c)
		{
			int nd,ne,nf;
			if(d==isI)nd=i;else nd=d;
			if(e==isI)ne=i;else ne=e;
			if(f==isI)nf=i;else nf=f;
			ans+=calc(nd,ne,nf);
		}
	}
	return ans;
}
int main()
{
	readc(10);
	readc('r');
	I=readc();
	readc('(');
	a=readint();
	b=readint();
	if(cin.peek()!=':')c=readint();
	else c=1;
	readc('(');
	if(cin.peek()==I)d=-1e9,gc(),gc();
	else d=readint();
	if(cin.peek()==I)e=-1e9,gc(),gc();
	else e=readint();
	if(cin.peek()==':')f=1;
	else if(cin.peek()==I)f=-1e9,readc(':');
	else f=readint();
	// printf("a:%d b:%d c:%d d:%d e:%d f:%d isI:%d\n",a,b,c,d,e,f,isI);
	printf("%lld\n",F(a,b,c));
	fclose(stdin);fclose(stdout);return 0;
}