#include<stdio.h>
#include<stdlib.h>
#include<iostream>
#include<algorithm>
#include<vector>
#include<math.h>
#include<limits.h>
#include<list>
#define lli long long int
#define mod 1000000007
using namespace std;
lli N,K,Q;
lli arr[10000009];
lli ans[10000009];
lli a,b,c,d,e,f,r,s,t,m;
lli L1,La,Lc,Lm,D1,Da,Dc,Dm;
lli pow_t[100000009];
void power_t(lli n)
{
pow_t[0]=1%s;
for(lli i=1;i<n+3;i++)
{
pow_t[i]=pow_t[i-1]*t;
pow_t[i]=pow_t[i]%s;
}
}
lli generate_arr()
{
power_t(N);
for(lli x=2;x<=N;x++)
{
if(pow_t[x]%s<=r)
arr[x]=( ( ( ((a*arr[x-1])%m) *arr[x-1] )%m + (b*arr[x-1])%m )%m +c)%m;
else
arr[x]=( ( ( ((d*arr[x-1])%m) *arr[x-1] )%m + (e*arr[x-1])%m )%m +f)%m;
//arr[x]=(d*arr[x-1]*arr[x-1]+e*arr[x-1]+f)%m;
}
for(lli x=0;x<N;x++)
{
arr[x]=arr[x+1];
}
}
void fun()
{
//lli arr[]={4,3,2,1};
//lli len=sizeof(arr)/sizeof(lli);
lli len=N;
list<lli> p;
p.clear();
lli k=K;
for(lli i=0;i<len;i++)
{
if(i>=k)
ans[i-k]=p.front();
while(!p.empty() && p.back()>arr[i])
p.pop_back();
p.push_back(arr[i]);
if(i>=k && arr[i-k]==p.front()){
p.pop_front();
}
}
lli min1=LONG_LONG_MAX;
for(lli i=len-k;i<len;i++)
{
if(min1>arr[i])
min1=arr[i];
}
for(lli i=len-k;i<len;i++)
{
ans[i]=min1;
}
/* printf("ans \n");
for(lli i=0;i<len;i++)
{
printf("%lld ",ans[i]);
}
printf("ans\n");*/
}
lli query(lli qs,lli qe)
{
return min(ans[qs],ans[qe-K+1]);
}
void generate_range()
{
//lli * tree=csum();
lli sum=0;
lli prdct=1;
fun();
for(lli i=1;i<=Q;i++)
{
L1=(La*L1+Lc)%Lm;
D1=(Da*D1+Dc)%Dm;
//printf("D1=%lld\n",D1);
lli L=L1+1;
lli R=min(L+K-1+D1,N);
//printf("L===%lld R====%lld\n",L,R);
lli qs=L-1;
lli qe=R-1;
lli zuck;
zuck=query(qs,qe);
sum=sum+zuck;
prdct=(prdct*zuck)%mod;
}
printf("%lld %lld\n",sum,prdct%mod);
}
int main()
{
scanf("%lld%lld%lld",&N,&K,&Q);
scanf("%lld%lld%lld%lld%lld%lld%lld%lld%lld%lld%lld",
&a,&b,&c,&d,&e,&f,&r,&s,&t,&m,&arr[1]);
scanf("%lld%lld%lld%lld%lld%lld%lld%lld",
&L1,&La,&Lc,&Lm,&D1,&Da,&Dc,&Dm);
generate_arr();
/* for(lli i=0;i<N;i++)
printf("%lld ",arr[i]);*/
generate_range();
return 0;
}
I2luY2x1ZGU8c3RkaW8uaD4KI2luY2x1ZGU8c3RkbGliLmg+CiNpbmNsdWRlPGlvc3RyZWFtPgojaW5jbHVkZTxhbGdvcml0aG0+CiNpbmNsdWRlPHZlY3Rvcj4KI2luY2x1ZGU8bWF0aC5oPgojaW5jbHVkZTxsaW1pdHMuaD4KI2luY2x1ZGU8bGlzdD4KI2RlZmluZSBsbGkgbG9uZyBsb25nIGludAojZGVmaW5lIG1vZCAxMDAwMDAwMDA3CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmxsaSBOLEssUTsKbGxpIGFyclsxMDAwMDAwOV07CmxsaSBhbnNbMTAwMDAwMDldOwpsbGkgYSxiLGMsZCxlLGYscixzLHQsbTsKbGxpIEwxLExhLExjLExtLEQxLERhLERjLERtOwpsbGkgcG93X3RbMTAwMDAwMDA5XTsKdm9pZCBwb3dlcl90KGxsaSBuKQp7CiAgIHBvd190WzBdPTElczsKICAgZm9yKGxsaSBpPTE7aTxuKzM7aSsrKQogICB7CiAgICAgcG93X3RbaV09cG93X3RbaS0xXSp0OwogICAgIHBvd190W2ldPXBvd190W2ldJXM7CiAgIH0KfQpsbGkgZ2VuZXJhdGVfYXJyKCkKewogIHBvd2VyX3QoTik7CiAgZm9yKGxsaSB4PTI7eDw9Tjt4KyspCiAgewogICAgaWYocG93X3RbeF0lczw9cikKICAgICAgIGFyclt4XT0oICAoICggKChhKmFyclt4LTFdKSVtKSAqYXJyW3gtMV0gKSVtICArICAoYiphcnJbeC0xXSklbSApJW0gK2MpJW07CiAgICBlbHNlCiAgICAgICBhcnJbeF09KCAgKCAoICgoZCphcnJbeC0xXSklbSkgKmFyclt4LTFdICklbSAgKyAgKGUqYXJyW3gtMV0pJW0gKSVtICtmKSVtOwogICAgICAgLy9hcnJbeF09KGQqYXJyW3gtMV0qYXJyW3gtMV0rZSphcnJbeC0xXStmKSVtOwogIH0KICBmb3IobGxpIHg9MDt4PE47eCsrKQogIHsKICAgIGFyclt4XT1hcnJbeCsxXTsKICB9Cn0KCgp2b2lkIGZ1bigpCnsKICAgLy9sbGkgYXJyW109ezQsMywyLDF9OwogICAvL2xsaSBsZW49c2l6ZW9mKGFycikvc2l6ZW9mKGxsaSk7CiAgIGxsaSBsZW49TjsKICAgbGlzdDxsbGk+IHA7CiAgIHAuY2xlYXIoKTsKICAgbGxpIGs9SzsKICAgZm9yKGxsaSBpPTA7aTxsZW47aSsrKQogICB7CiAgICAgICBpZihpPj1rKQogICAgICAgICBhbnNbaS1rXT1wLmZyb250KCk7CiAgICAgICB3aGlsZSghcC5lbXB0eSgpICAmJiBwLmJhY2soKT5hcnJbaV0pCiAgICAgICAgIHAucG9wX2JhY2soKTsKICAgICAgIHAucHVzaF9iYWNrKGFycltpXSk7CiAgICAgIGlmKGk+PWsgJiYgYXJyW2kta109PXAuZnJvbnQoKSl7CiAgICAgICAgIHAucG9wX2Zyb250KCk7CiAgICAgIH0KICAgfQogICBsbGkgbWluMT1MT05HX0xPTkdfTUFYOwogICBmb3IobGxpIGk9bGVuLWs7aTxsZW47aSsrKQogICB7CiAgICAgIGlmKG1pbjE+YXJyW2ldKQogICAgICAgIG1pbjE9YXJyW2ldOwogICB9CiAgIGZvcihsbGkgaT1sZW4taztpPGxlbjtpKyspCiAgIHsKICAgICAgICBhbnNbaV09bWluMTsKICAgfQoKIC8qIHByaW50ZigiYW5zIFxuIik7CiAgIGZvcihsbGkgaT0wO2k8bGVuO2krKykKICAgewogICAgICBwcmludGYoIiVsbGQgIixhbnNbaV0pOwogICB9CiAgIHByaW50ZigiYW5zXG4iKTsqLwp9CgoKCgoKCgoKCgoKCgoKCgpsbGkgcXVlcnkobGxpIHFzLGxsaSBxZSkKewogIHJldHVybiBtaW4oYW5zW3FzXSxhbnNbcWUtSysxXSk7Cn0KCgp2b2lkIGdlbmVyYXRlX3JhbmdlKCkKewogICAvL2xsaSAqIHRyZWU9Y3N1bSgpOwogICBsbGkgc3VtPTA7CiAgIGxsaSBwcmRjdD0xOwogICBmdW4oKTsKICAgZm9yKGxsaSBpPTE7aTw9UTtpKyspCiAgIHsKICAgICAgTDE9KExhKkwxK0xjKSVMbTsKICAgICAgRDE9KERhKkQxK0RjKSVEbTsKICAgICAgLy9wcmludGYoIkQxPSVsbGRcbiIsRDEpOwogICAgICBsbGkgTD1MMSsxOwogICAgICBsbGkgUj1taW4oTCtLLTErRDEsTik7CiAgICAgIC8vcHJpbnRmKCJMPT09JWxsZCBSPT09PSVsbGRcbiIsTCxSKTsKICAgICAgbGxpIHFzPUwtMTsKICAgICAgbGxpIHFlPVItMTsKCiAgICAgIGxsaSB6dWNrOwogICAgICB6dWNrPXF1ZXJ5KHFzLHFlKTsKICAgICAgc3VtPXN1bSt6dWNrOwogICAgICBwcmRjdD0ocHJkY3QqenVjayklbW9kOwogICB9CiAgIHByaW50ZigiJWxsZCAlbGxkXG4iLHN1bSxwcmRjdCVtb2QpOwp9CgppbnQgbWFpbigpCnsKICAgc2NhbmYoIiVsbGQlbGxkJWxsZCIsJk4sJkssJlEpOwogICBzY2FuZigiJWxsZCVsbGQlbGxkJWxsZCVsbGQlbGxkJWxsZCVsbGQlbGxkJWxsZCVsbGQiLAogICAmYSwmYiwmYywmZCwmZSwmZiwmciwmcywmdCwmbSwmYXJyWzFdKTsKICAgc2NhbmYoIiVsbGQlbGxkJWxsZCVsbGQlbGxkJWxsZCVsbGQlbGxkIiwKICAgJkwxLCZMYSwmTGMsJkxtLCZEMSwmRGEsJkRjLCZEbSk7CiAgIGdlbmVyYXRlX2FycigpOwogIC8qIGZvcihsbGkgaT0wO2k8TjtpKyspCiAgICAgcHJpbnRmKCIlbGxkICIsYXJyW2ldKTsqLwoKICAgZ2VuZXJhdGVfcmFuZ2UoKTsKICAgcmV0dXJuIDA7Cn0K