#include<bits/stdc++.h>
using namespace std;
const int N=3e6+10;
const int mod=1e9+7;
int gi() {
    int x=0,o=1;char ch=getchar();
    while((ch<'0'||ch>'9')&&ch!='-') ch=getchar();
    if(ch=='-') o=-1,ch=getchar();
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*o;
}
int qpow(int a,int b) {
    int ret=1;
    while(b) {
        if(b&1) ret=1ll*ret*a%mod;
        a=1ll*a*a%mod,b>>=1;
    }
    return ret;
}
int X1,X2,X3,X4,X5,X6,Y1,Y2,Y3,Y4,Y5,Y6,fac[N],ifac[N];
int C(int n,int m) {
    return 1ll*fac[n+m]*ifac[n]%mod*ifac[m]%mod;
}
void init() {
    const int n=3e6;
    fac[0]=1;for(int i=1;i<=n;i++) fac[i]=1ll*fac[i-1]*i%mod;
    ifac[n]=qpow(fac[n],mod-2);
    for(int i=n-1;i>=0;i--) ifac[i]=1ll*ifac[i+1]*(i+1)%mod;
}
int f[4][3],g[4][3],ans=0;
int calc(int x1,int y1,int f1,int x2,int y2,int f2) {
    int ret=0;
    for(int x=X3;x<=X4;x++) {
        ret=(ret-1ll*C(x-x1,Y3-1-y1)*(x+Y3)%mod*C(x2-x,y2-Y3)%mod)%mod;
        ret=(ret+1ll*C(x2-x,y2-Y4-1)*(x+Y4+1)%mod*C(x-x1,Y4-y1)%mod)%mod;
    }
    for(int y=Y3;y<=Y4;y++) {
        ret=(ret-1ll*C(y-y1,X3-1-x1)*(y+X3)%mod*C(y2-y,x2-X3)%mod)%mod;
        ret=(ret+1ll*C(y2-y,x2-X4-1)*(y+X4+1)%mod*C(y-y1,X4-x1)%mod)%mod;
    }
    return ret*f1*f2;
}
int main() {
    init();
    X1=gi(),X2=gi(),X3=gi(),X4=gi(),X5=gi(),X6=gi();
    Y1=gi(),Y2=gi(),Y3=gi(),Y4=gi(),Y5=gi(),Y6=gi();
    f[0][1]=X1-1,f[0][2]=Y1-1,f[0][0]=1;
    f[1][1]=X1-1,f[1][2]=Y2,f[1][0]=-1;
    f[2][1]=X2,f[2][2]=Y1-1,f[2][0]=-1;
    f[3][1]=X2,f[3][2]=Y2,f[3][0]=1;
    g[0][1]=X6+1,g[0][2]=Y6+1,g[0][0]=1;
    g[1][1]=X5,g[1][2]=Y6+1,g[1][0]=-1;
    g[2][1]=X6+1,g[2][2]=Y5,g[2][0]=-1;
    g[3][1]=X5,g[3][2]=Y5,g[3][0]=1;
    for(int i=0;i<4;i++)
        for(int j=0;j<4;j++) {
            //cerr<<i<<" "<<j<<endl;
            ans=(ans+calc(f[i][1],f[i][2],f[i][0],g[j][1],g[j][2],g[j][0]))%mod;
        }
    ans=(ans%mod+mod)%mod,printf("%d\n",ans);
    return 0;
}
