#include<bits/stdc++.h>
using namespace std;
#define int long long
const int N=410,P=1e9+7;
int dp[N][N],a[N],b[N],fac[N][N];
int qpow(int a,int b){int ans=1;for(;b;b>>=1,a=a*a%P)if(b&1)ans=ans*a%P;return ans;}
signed main()
{
	int n,m;cin>>n>>m;
	for(int i=1;i<=n;i++)cin>>a[i];
	for(int i=1;i<=n;i++)cin>>b[i];
	for(int i=1;i<=n;i++)for(int j=0;j<=m;j++)
		for(int k=a[i];k<=b[i];k++)
			fac[i][j]=(fac[i][j]+qpow(k,j))%P;
	dp[0][0]=1;
	for(int i=0;i<=n;i++)for(int j=0;j<=m;j++)
		for(int k=0;j+k<=m;k++)
			dp[i+1][j+k]=(dp[i+1][j+k]+dp[i][j]*fac[i+1][k])%P;
	cout<<dp[n][m]<<'\n';
	return 0;
}