#include<bits/stdc++.h>
using namespace std;
const int N=2e6+7,p=1e9+7;
int X1,X2,X3,X4,X5,X6,Y1,Y2,Y3,Y4,Y5,Y6,ans,fac[N+5],inv[N+5],f[4][3],g[4][3];
int C(int a,int b){return 1ll*fac[a+b]*inv[a]%p*inv[b]%p;}
void add(int&x,int y){x=(x+y)%p;}
int qpow(int a,int b)
{
	int ret=1;
	while(b)
	{
		if(b&1)ret=1ll*ret*a%p;
		a=1ll*a*a%p,b>>=1;
	}
	return ret;
}
void prepare()
{
	fac[0]=1;for(int i=1;i<N;i++)fac[i]=1ll*fac[i-1]*i%p;
	inv[N-1]=qpow(fac[N-1],p-2);
	for(int i=N-1;i;i--)inv[i-1]=1ll*inv[i]*i%p;
}
int calc(int x1,int y1,int s1,int x2,int y2,int s2)
{
	int ret=0;
	for(int x=X3;x<=X4;x++)
	{
		add(ret,p-1ll*C(x-x1,Y3-1-y1)*(x+Y3)%p*C(x2-x,y2-Y3)%p);
		add(ret,1ll*C(x2-x,y2-Y4-1)*(x+Y4+1)%p*C(x-x1,Y4-y1)%p);
	}
	for(int y=Y3;y<=Y4;y++)
	{
		add(ret,p-1ll*C(y-y1,X3-1-x1)*(y+X3)%p*C(y2-y,x2-X3)%p);
		add(ret,1ll*C(y2-y,x2-X4-1)*(y+X4+1)%p*C(y-y1,X4-x1)%p);
	}
	ret=(1ll*ret*s1*s2+p)%p;
	return ret;
}
int main()
{
	prepare();
	scanf("%d%d%d%d%d%d%d%d%d%d%d%d",&X1,&X2,&X3,&X4,&X5,&X6,&Y1,&Y2,&Y3,&Y4,&Y5,&Y6);
	f[0][0]=1,f[0][1]=X1-1,f[0][2]=Y1-1;
	f[1][0]=-1,f[1][1]=X1-1,f[1][2]=Y2;
	f[2][0]=-1,f[2][1]=X2,f[2][2]=Y1-1;
	f[3][0]=1,f[3][1]=X2,f[3][2]=Y2;
	g[0][0]=1,g[0][1]=X6+1,g[0][2]=Y6+1;
	g[1][0]=-1,g[1][1]=X6+1,g[1][2]=Y5;
	g[2][0]=-1,g[2][1]=X5,g[2][2]=Y6+1;
	g[3][0]=1,g[3][1]=X5,g[3][2]=Y5;
	for(int i=0;i<4;i++)
	for(int j=0;j<4;j++)
	add(ans,calc(f[i][1],f[i][2],f[i][0],g[j][1],g[j][2],g[j][0]));
	printf("%d",ans);
}