#include<iostream>
#include<vector>
#include<algorithm>
#include<cassert>
#include<atcoder/modint>
#include<atcoder/convolution>
using namespace std;
using mint=atcoder::static_modint<943718401>;
int N;
mint X,A[2<<17],B[2<<17],C[2<<17];
istream&operator>>(istream&is,mint&v)
{
	int val;
	is>>val;
	v=mint::raw(val);
	return is;
}
mint TX[2<<17],TXinv[2<<17];
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N>>X;
	for(int i=0;i<=N;i++)cin>>A[i];
	for(int i=0;i<=N;i++)cin>>B[i];
	for(int i=0;i<=N;i++)cin>>C[i];
	if(X.val()==0)
	{
		mint ans=0;
		for(int j=0;j<=N;j++)ans+=A[j]*B[j]*C[0];
		for(int k=1;k<=N;k++)ans+=A[k]*B[0]*C[k];
		cout<<ans.val()<<endl;
		return 0;
	}
	for(int i=0;i<=N;i++)
	{
		long t=(long)i*(i+1)*(i-1)/3;
		TX[i]=X.pow(t);
		TXinv[i]=TX[i].inv();
		B[i]*=TXinv[i];
		C[i]*=TXinv[i];
	}
	vector<mint>b(B,B+N+1),c(C,C+N+1);
	vector<mint>a=atcoder::convolution(b,c);
	mint ans=0;
	for(int i=0;i<=N;i++)ans+=A[i]*TX[i]*a[i];
	cout<<ans.val()<<"\n";
}