#include<iostream>
#include<algorithm>
#include<vector>
#include<queue>
using namespace std;
typedef long long ll;
const ll mod=1e9+7;
ll dp[405][405]={0};
ll rpow[405][405]={0};
ll lb[405],rb[405];
int main(){
  ll n,c;
  cin>>n>>c;
  dp[0][0]=1;
  for(int i=0;i<405;i++) rpow[i][0]=1;
  for(int i=0;i<405;i++){
    for(int j=1;j<405;j++){
      rpow[i][j]=(rpow[i][j-1]*i)%mod;
    }
  }
  for(int i=1;i<405;i++){
    for(int j=0;j<405;j++){
      rpow[i][j]+=rpow[i-1][j];
      rpow[i][j]%=mod;
    }
  }
  for(int i=0;i<n;i++) cin>>lb[i];
  for(int i=0;i<n;i++) cin>>rb[i];
  for(int i=0;i<n;i++){
    for(int j=0;j<=c;j++){
      for(int k=0;j+k<=c;k++){
        dp[i+1][j+k]+=dp[i][j]*(rpow[rb[i]][k]-rpow[lb[i]-1][k]+mod);
        dp[i+1][j+k]%=mod;
      }
    }
  }
  cout<<dp[n][c]<<endl;
}
