//codechef CHEFCK
#include <bits/stdc++.h>
using namespace std;
#ifndef ONLINE_JUDGE
#define LOCAL_JUDGE
#endif
//#define sc(x) scanf("%lld",&x)
#define mod 1000000007ll
typedef long long lo;
lo arr[10000009];
int st[18][10000009];
inline void sc(long long int &x){
register long long int c = getchar_unlocked();
x = 0;
long long int neg = 0;
for(;((c<48 || c>57) && c != '-');c = getchar_unlocked());
if(c=='-') {neg=1;c=getchar_unlocked();}
for(;c>47 && c<58;c = getchar_unlocked()) {x = (x<<1) + (x<<3) + c - 48;}
if(neg) x=-x;
}
lo rmq(lo x,lo y){
int k=log2(y-x+1);
if(arr[st[k][x]]<=arr[st[k][y-(1<<k)+1]])
return arr[st[k][x]];
else
return arr[st[k][y-(1<<k)+1]];
}
lo powa(lo x,lo y,lo modi){
if(y==0)return 1;
long long res=1;
long long cur=x;
while(y){
if(y%2){
res=(res*cur)%modi;
}
y/=2;
cur=(cur*cur) % modi;
}
return res;
}
int main(){
ios_base::sync_with_stdio(0);
lo N,K,Q;
lo a,b,c,d,e,f,r,s,t,m;
scanf("%lld%lld%lld%lld%lld%lld%lld%lld%lld%lld%lld%lld%lld%lld",&N,&K,&Q,&a,&b,&c,&d,&e,&f,&r,&s,&t,&m,&arr[1]);
//sc(N);sc(K);sc(Q);
//sc(a);sc(b);sc(c);sc(d);sc(e);sc(f);sc(r);sc(s);sc(t);sc(m);sc(arr[1]);
lo x;
for(x=2;x<=N;x++){
if(powa(t,x,s) <= r)
arr[x]=((a%m)*(arr[x-1]*arr[x-1])%m+(b*arr[x-1])%m+c+m)%m;
else
arr[x]=((d%m)*(arr[x-1]*arr[x-1])%m+(e*arr[x-1])%m+f+m)%m;
}
lo i,j;
for(i=0;i<N+1;i++)st[0][i]=i;
for(j=2;(1<<j)<=N;j++)
for(i=1;i+(1<<j)-1<=N;i++){
if(arr[st[j-1][i]]<arr[st[j-1][i+(1<<(j-1))]])
st[j][i]=st[j-1][i];
else
st[j][i]=st[j-1][i+(1<<(j-1))];
}
//for(i=1;i<=N;i++)cout<<arr[i]<<" ";
lo L1,La,Lc,Lm,D1,Da,Dc,Dm;
sc(L1);sc(La);sc(Lc);sc(Lm);
sc(D1);sc(Da);sc(Dc);sc(Dm);
lo L,R,temp,sum=0,pro=1;
for(i=1;i<=Q;i++){
L1=(La * L1 +Lc)%Lm;
D1=(Da * D1 +Dc)%Dm;
L=L1+1;
R=min(L+K-1+D1,N);
if(L>R)swap(L,R);
if(K<=R-L+1&&R-L+1<=2*K){
temp=rmq(L,R);
sum=(sum+temp);
pro=(pro*temp+mod)%mod;
}
}
printf("%lld %lld\n",sum,pro);
return 0;
}
Ly9jb2RlY2hlZiBDSEVGQ0sKI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgojaWZuZGVmIE9OTElORV9KVURHRQoJI2RlZmluZSBMT0NBTF9KVURHRQojZW5kaWYKLy8jZGVmaW5lIHNjKHgpIHNjYW5mKCIlbGxkIiwmeCkKI2RlZmluZSBtb2QgMTAwMDAwMDAwN2xsCnR5cGVkZWYgbG9uZyBsb25nIGxvOwpsbyBhcnJbMTAwMDAwMDldOwppbnQgc3RbMThdWzEwMDAwMDA5XTsKCmlubGluZSB2b2lkIHNjKGxvbmcgbG9uZyBpbnQgJngpewogICAgcmVnaXN0ZXIgbG9uZyBsb25nIGludCBjID0gZ2V0Y2hhcl91bmxvY2tlZCgpOwogICAgeCA9IDA7CiAgICBsb25nIGxvbmcgaW50IG5lZyA9IDA7CiAgICBmb3IoOygoYzw0OCB8fCBjPjU3KSAmJiBjICE9ICctJyk7YyA9IGdldGNoYXJfdW5sb2NrZWQoKSk7CiAgICBpZihjPT0nLScpIHtuZWc9MTtjPWdldGNoYXJfdW5sb2NrZWQoKTt9CiAgICBmb3IoO2M+NDcgJiYgYzw1ODtjID0gZ2V0Y2hhcl91bmxvY2tlZCgpKSB7eCA9ICh4PDwxKSArICh4PDwzKSArIGMgLSA0ODt9CiAgICBpZihuZWcpIHg9LXg7Cn0KCmxvIHJtcShsbyB4LGxvIHkpewoJaW50IGs9bG9nMih5LXgrMSk7CglpZihhcnJbc3Rba11beF1dPD1hcnJbc3Rba11beS0oMTw8aykrMV1dKQoJCXJldHVybiBhcnJbc3Rba11beF1dOwoJZWxzZQoJCXJldHVybiBhcnJbc3Rba11beS0oMTw8aykrMV1dOwoJfQpsbyBwb3dhKGxvIHgsbG8geSxsbyBtb2RpKXsKCWlmKHk9PTApcmV0dXJuIDE7Cglsb25nIGxvbmcgcmVzPTE7Cglsb25nIGxvbmcgY3VyPXg7IAoJd2hpbGUoeSl7CiAgCQlpZih5JTIpewoJCXJlcz0ocmVzKmN1ciklbW9kaTsKCQl9CgkJeS89MjsKCQljdXI9KGN1cipjdXIpICUgbW9kaTsKCQl9CglyZXR1cm4gcmVzOwoJfQoJCgppbnQgbWFpbigpewoJaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKTsKCWxvIE4sSyxROwoJbG8gYSxiLGMsZCxlLGYscixzLHQsbTsKCXNjYW5mKCIlbGxkJWxsZCVsbGQlbGxkJWxsZCVsbGQlbGxkJWxsZCVsbGQlbGxkJWxsZCVsbGQlbGxkJWxsZCIsJk4sJkssJlEsJmEsJmIsJmMsJmQsJmUsJmYsJnIsJnMsJnQsJm0sJmFyclsxXSk7CgkvL3NjKE4pO3NjKEspO3NjKFEpOwoJLy9zYyhhKTtzYyhiKTtzYyhjKTtzYyhkKTtzYyhlKTtzYyhmKTtzYyhyKTtzYyhzKTtzYyh0KTtzYyhtKTtzYyhhcnJbMV0pOwoJCglsbyB4OwoJZm9yKHg9Mjt4PD1OO3grKyl7CgkJaWYocG93YSh0LHgscykgPD0gcikKCQkJYXJyW3hdPSgoYSVtKSooYXJyW3gtMV0qYXJyW3gtMV0pJW0rKGIqYXJyW3gtMV0pJW0rYyttKSVtOwoJCWVsc2UgCgkJCWFyclt4XT0oKGQlbSkqKGFyclt4LTFdKmFyclt4LTFdKSVtKyhlKmFyclt4LTFdKSVtK2YrbSklbTsKCQl9CgkKCWxvIGksajsKCWZvcihpPTA7aTxOKzE7aSsrKXN0WzBdW2ldPWk7Cglmb3Ioaj0yOygxPDxqKTw9TjtqKyspCgkJZm9yKGk9MTtpKygxPDxqKS0xPD1OO2krKyl7CgkJCWlmKGFycltzdFtqLTFdW2ldXTxhcnJbc3Rbai0xXVtpKygxPDwoai0xKSldXSkKCQkJCXN0W2pdW2ldPXN0W2otMV1baV07CgkJCWVsc2UKCQkJCXN0W2pdW2ldPXN0W2otMV1baSsoMTw8KGotMSkpXTsKCQkJfQoJLy9mb3IoaT0xO2k8PU47aSsrKWNvdXQ8PGFycltpXTw8IiAiOwoJbG8gTDEsTGEsTGMsTG0sRDEsRGEsRGMsRG07CglzYyhMMSk7c2MoTGEpO3NjKExjKTtzYyhMbSk7CglzYyhEMSk7c2MoRGEpO3NjKERjKTtzYyhEbSk7CgkKCQoJbG8gTCxSLHRlbXAsc3VtPTAscHJvPTE7Cglmb3IoaT0xO2k8PVE7aSsrKXsKCQlMMT0oTGEgKiBMMSArTGMpJUxtOwoJCUQxPShEYSAqIEQxICtEYyklRG07CgkJTD1MMSsxOwoJCVI9bWluKEwrSy0xK0QxLE4pOwoJCWlmKEw+Uilzd2FwKEwsUik7CgkJaWYoSzw9Ui1MKzEmJlItTCsxPD0yKkspewoJCQl0ZW1wPXJtcShMLFIpOwoJCQlzdW09KHN1bSt0ZW1wKTsKCQkJcHJvPShwcm8qdGVtcCttb2QpJW1vZDsKCQkJfQoJCX0KCXByaW50ZigiJWxsZCAlbGxkXG4iLHN1bSxwcm8pOwoJCglyZXR1cm4gMDsKCX0K