#include<stdio.h>
#include<iostream>
#include<math.h>
#include<string.h>
#include<string>
#include<stdlib.h>
#include<map>
#include<vector>
#include<queue>
#include<stack>
#include<algorithm>
#include<set>
using namespace std;
// Define Some Variables
#define eps 1e-14
#define si 100010
#define pi acos(-1.0)
#define inf (1<<30)-1
//Define Some Functions
#define even(a) ((a)%2==0)
#define odd(a) ((a)%2==1)
#define max(a,b) (a>b ?a:b)
#define min(a,b) (a<b ?a:b)
#define pb push_back
#define mpair make_pair
#define sqr(a)((a)*(a))
#define area(x1,y1,x2,y2,x3,y3) (x1*(y2-y3)+x2*(y3-y1)+x3*(y1-y2)) //Area of a triangle
#define dist(x1,y1,x2,y2) (sqr(x1-x2)+sqr(y1-y2)) //Distance between two points
#define mem(a,v) memset(a,v,sizeof(a))
inline bool compare( double a, double b ) { return fabs( a-b ) < eps ; }
#define fr(i,a,b) for(i=a;i<=b;i++)
#define rep(i,a,b) for(i=a;i<b;i++)
#define rev(i,a,b) for(i=a;i>=b;i--)
typedef long long i64;
int dx[]={0,0,1,-1};
int dy[]={1,-1,0,0};
i64 l,n,cs=1,cnt,sm,fg,A,B,q;
struct node
{
node *nxt;
i64 v;
node()
{
nxt=NULL;
}
}*a[10000010];
void insert(i64 ind,i64 v)
{
if(!a[ind])
{
a[ind]=new node();
a[ind]->v=v;
return;
}
node *nw=a[ind];
while(1)
{
if(!nw->nxt)
{
nw->nxt=new node();
nw->nxt->v=v;
return;
}
nw=nw->nxt;
}
}
int search(i64 ind,i64 v)
{
node *nw=a[ind];
while(nw!=NULL)
{
if(nw->v==v)
return 1;
nw=nw->nxt;
}
return 0;
}
void remove(i64 ind,i64 v)
{
node *nw=a[ind],*tmp;
if(nw)
{
if(nw->v==v) // only one node
{
a[ind]=NULL;
return;
}
}
while(nw->nxt)
{
if(nw->nxt->v==v)
{
tmp=nw->nxt;
nw->nxt=tmp->nxt;
return;
}
nw=nw->nxt;
}
}
int main()
{
// freopen("in.txt", "r", stdin);
// freopen("out.txt", "w", stdout);
i64 p,i,j,tmp,mod=(1LL)<<32,v;
i64 hash=9999991;
int chk;
scanf("%lld%lld%lld%lld",&q,&p,&A,&B);
fr(i,0,hash)
a[i]=NULL;
sm=0;
fr(i,1,q)
{
v=p/2;
chk=search(v%hash,v);
if(p&1)
{
if(!chk)
{
sm+=v;
insert(v%hash,v);
}
}
else
{
if(chk)
{
sm-=v;
remove(v%hash,v);
}
}
p=((p*A)%mod+B)%mod;
}
printf("%lld\n",sm);
return 0;
}
I2luY2x1ZGU8c3RkaW8uaD4KI2luY2x1ZGU8aW9zdHJlYW0+CiNpbmNsdWRlPG1hdGguaD4KI2luY2x1ZGU8c3RyaW5nLmg+CiNpbmNsdWRlPHN0cmluZz4KI2luY2x1ZGU8c3RkbGliLmg+CiNpbmNsdWRlPG1hcD4KI2luY2x1ZGU8dmVjdG9yPgojaW5jbHVkZTxxdWV1ZT4KI2luY2x1ZGU8c3RhY2s+CiNpbmNsdWRlPGFsZ29yaXRobT4KI2luY2x1ZGU8c2V0Pgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKLy8gRGVmaW5lIFNvbWUgVmFyaWFibGVzCiNkZWZpbmUgZXBzIDFlLTE0CiNkZWZpbmUgc2kgMTAwMDEwCiNkZWZpbmUgcGkgYWNvcygtMS4wKQojZGVmaW5lIGluZiAoMTw8MzApLTEKCi8vRGVmaW5lIFNvbWUgRnVuY3Rpb25zCiNkZWZpbmUgZXZlbihhKSAoKGEpJTI9PTApCiNkZWZpbmUgb2RkKGEpICgoYSklMj09MSkKI2RlZmluZSBtYXgoYSxiKSAoYT5iID9hOmIpCiNkZWZpbmUgbWluKGEsYikgKGE8YiA/YTpiKQojZGVmaW5lIHBiIHB1c2hfYmFjawojZGVmaW5lIG1wYWlyIG1ha2VfcGFpcgojZGVmaW5lIHNxcihhKSgoYSkqKGEpKQojZGVmaW5lIGFyZWEoeDEseTEseDIseTIseDMseTMpICh4MSooeTIteTMpK3gyKih5My15MSkreDMqKHkxLXkyKSkgLy9BcmVhIG9mIGEgdHJpYW5nbGUKI2RlZmluZSBkaXN0KHgxLHkxLHgyLHkyKSAoc3FyKHgxLXgyKStzcXIoeTEteTIpKSAvL0Rpc3RhbmNlIGJldHdlZW4gdHdvIHBvaW50cwojZGVmaW5lIG1lbShhLHYpIG1lbXNldChhLHYsc2l6ZW9mKGEpKQppbmxpbmUgYm9vbCBjb21wYXJlKCBkb3VibGUgYSwgZG91YmxlIGIgKSB7IHJldHVybiBmYWJzKCBhLWIgKSA8IGVwcyA7IH0KI2RlZmluZSBmcihpLGEsYikgZm9yKGk9YTtpPD1iO2krKykKI2RlZmluZSByZXAoaSxhLGIpIGZvcihpPWE7aTxiO2krKykKI2RlZmluZSByZXYoaSxhLGIpICBmb3IoaT1hO2k+PWI7aS0tKQoKdHlwZWRlZiBsb25nIGxvbmcgaTY0OwoKaW50IGR4W109ezAsMCwxLC0xfTsKaW50IGR5W109ezEsLTEsMCwwfTsKaTY0IGwsbixjcz0xLGNudCxzbSxmZyxBLEIscTsKCnN0cnVjdCBub2RlCnsKICAgIG5vZGUgKm54dDsKICAgIGk2NCB2OwogICAgbm9kZSgpCiAgICB7CiAgICAgICAgbnh0PU5VTEw7CiAgICB9Cn0qYVsxMDAwMDAxMF07Cgp2b2lkIGluc2VydChpNjQgaW5kLGk2NCB2KQp7CiAgICBpZighYVtpbmRdKQogICAgewogICAgICAgIGFbaW5kXT1uZXcgbm9kZSgpOwogICAgICAgIGFbaW5kXS0+dj12OwogICAgICAgIHJldHVybjsKICAgIH0KICAgIG5vZGUgKm53PWFbaW5kXTsKICAgIHdoaWxlKDEpCiAgICB7CiAgICAgICAgaWYoIW53LT5ueHQpCiAgICAgICAgewogICAgICAgICAgICBudy0+bnh0PW5ldyBub2RlKCk7CiAgICAgICAgICAgIG53LT5ueHQtPnY9djsKICAgICAgICAgICAgcmV0dXJuOwogICAgICAgIH0KICAgICAgICBudz1udy0+bnh0OwogICAgfQp9CgppbnQgc2VhcmNoKGk2NCBpbmQsaTY0IHYpCnsKICAgIG5vZGUgKm53PWFbaW5kXTsKICAgIHdoaWxlKG53IT1OVUxMKQogICAgewogICAgICAgIGlmKG53LT52PT12KQogICAgICAgIHJldHVybiAxOwogICAgICAgIG53PW53LT5ueHQ7CiAgICB9CiAgICByZXR1cm4gMDsKfQoKdm9pZCByZW1vdmUoaTY0IGluZCxpNjQgdikKewogICAgbm9kZSAqbnc9YVtpbmRdLCp0bXA7CiAgICBpZihudykKICAgIHsKICAgICAgICBpZihudy0+dj09dikgLy8gb25seSBvbmUgbm9kZQogICAgICAgIHsKICAgICAgICAgICAgYVtpbmRdPU5VTEw7CiAgICAgICAgICAgIHJldHVybjsKICAgICAgICB9CiAgICB9CiAgICB3aGlsZShudy0+bnh0KQogICAgewogICAgICAgIGlmKG53LT5ueHQtPnY9PXYpCiAgICAgICAgewogICAgICAgICAgICB0bXA9bnctPm54dDsKICAgICAgICAgICAgbnctPm54dD10bXAtPm54dDsKICAgICAgICAgICAgcmV0dXJuOwogICAgICAgIH0KICAgICAgICBudz1udy0+bnh0OwogICAgfQp9CgppbnQgbWFpbigpCnsKLy8JZnJlb3BlbigiaW4udHh0IiwgInIiLCBzdGRpbik7Ci8vCWZyZW9wZW4oIm91dC50eHQiLCAidyIsIHN0ZG91dCk7CgogICAgaTY0IHAsaSxqLHRtcCxtb2Q9KDFMTCk8PDMyLHY7CiAgICBpNjQgaGFzaD05OTk5OTkxOwogICAgaW50IGNoazsKICAgCXNjYW5mKCIlbGxkJWxsZCVsbGQlbGxkIiwmcSwmcCwmQSwmQik7CiAgICBmcihpLDAsaGFzaCkKICAgIGFbaV09TlVMTDsKCiAgICBzbT0wOwogICAgZnIoaSwxLHEpCiAgICB7CiAgICAgICAgdj1wLzI7CgogICAgICAgIGNoaz1zZWFyY2godiVoYXNoLHYpOwoKICAgICAgICBpZihwJjEpCiAgICAgICAgewogICAgICAgICAgICBpZighY2hrKQogICAgICAgICAgICB7CiAgICAgICAgICAgICAgICBzbSs9djsKICAgICAgICAgICAgICAgIGluc2VydCh2JWhhc2gsdik7CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICAgICAgZWxzZQogICAgICAgIHsKICAgICAgICAgICAgaWYoY2hrKQogICAgICAgICAgICB7CiAgICAgICAgICAgICAgICBzbS09djsKICAgICAgICAgICAgICAgIHJlbW92ZSh2JWhhc2gsdik7CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICAgICAgcD0oKHAqQSklbW9kK0IpJW1vZDsKICAgIH0KICAgIHByaW50ZigiJWxsZFxuIixzbSk7CiAgIAlyZXR1cm4gMDsKfQo=