#include<bits/stdc++.h>
#define sqr(x) ((x)*(x))
#define ll long long
#define ull unsigned long long
#define ui unsigned int
#define ld long double
#define vi vector<int>
#define HEAP(...) priority_queue<__VA_ARGS__ >
#define heap(...) priority_queue<__VA_ARGS__,vector<__VA_ARGS__ >,greater<__VA_ARGS__ > > 
#define pii pair<int,int> 
#define pb push_back
#define mp make_pair
#define debuge cerr<<"isok"<<endl
#define debug(x) cerr<<#x<<"="<<x<<endl
#define dprintf(...) fprintf(stderr,__VA_ARGS__)
#define SS second
#define FF first
#define ls (k<<1)
#define rs (k<<1|1)
#define clr(a,x) memset(a,x,sizeof(a))
#define cpy(a,x) memcpy(a,x,sizeof(a))
#define file(x) freopen(x".in","r",stdin),freopen(x".out","w",stdout)
#define SZ(x) ((int)x.size())
using namespace std;
template<class T> inline void gmin(T &x,const T &y){if(x>y) x=y;}
template<class T> inline void gmax(T &x,const T &y){if(x<y) x=y;}
const int BufferSize=1<<16;
char buffer[BufferSize],*Bufferhead,*Buffertail;
bool Terminal;
inline char Getchar(){
	if(Bufferhead==Buffertail){
		int l=fread(buffer,1,BufferSize,stdin);
		if(!l){Terminal=1;return 0;}
		Buffertail=(Bufferhead=buffer)+l;
	}
	return *Bufferhead++;
}
template<class T>inline bool read(T &x){
	x=0;char c=Getchar(),rev=0;
	while(c<'0'||c>'9'){c=Getchar();rev|=c=='-';if(Terminal)return 0;}
	while(c>='0'&&c<='9') x=x*10+c-'0',c=Getchar();
	if(c=='.'){
		c=Getchar();double t=0.1;
		while(c>='0'&&c<='9') x=x+(c-'0')*t,c=Getchar(),t=t/10;
	}
	x=rev?-x:x;
	return 1;
}
template<class T1,class T2> inline bool read(T1 &x,T2 &y){return read(x)&read(y);}
template<class T1,class T2,class T3> inline bool read(T1 &x,T2 &y,T3 &z){return read(x)&read(y)&read(z);}
template<class T1,class T2,class T3,class T4> inline bool read(T1 &x,T2 &y,T3 &z,T4 &w){return read(x)&read(y)&read(z)&read(w);}
inline bool reads(char *x){
	char c=Getchar();
	while(c<33||c>126){c=Getchar();if(Terminal)return 0;}
	while(c>=33&&c<=126) (*x++)=c,c=Getchar();
	*x=0;return 1;
}
template<class T>inline void print(T x,const char c='\n'){
	if(!x){putchar('0');putchar(c);return;}
	if(x<0) putchar('-'),x=-x;
	int m=0,a[20];
	while(x) a[m++]=x%10,x/=10;
	while(m--) putchar(a[m]+'0');
	putchar(c);
}
//--------------------------------head---------------------------------------------

const int inf=0x3f3f3f3f;
const int N=2000055,M=100005,mod=1e9+7;
template<class T,class S> inline void ch(T &x,const S y){x=(x+y)%mod;}
inline int exp(int x,int y,const int mod=::mod){
	int ans=1;
	while(y){
		if(y&1) ans=(ll)ans*x%mod;
		x=(ll)x*x%mod;y>>=1;
	}return ans;
}

#define ci const int&

int fac[N],ifac[N];
int sx,sy,tx,ty;

inline int C(ci x,ci y)noexcept{return (ll)fac[x+y]*ifac[y]%mod*ifac[x]%mod;}
inline int get(ci x,ci y,ci p,ci q)noexcept{return C(p-x,q-y);}
inline int calc(ci x1,ci y1,ci x2,ci y2)noexcept{
//	dprintf("%d %d %d %d\n",x1,y1,x2,y2);
	int ans=0;
	ch(ans,(ll)(tx+ty+1)*get(x1,y1,tx,ty)%mod*get(tx,ty,x2,y2));
	ch(ans,(ll)(-sx-sy)*get(x1,y1,sx,sy)%mod*get(sx,sy,x2,y2));
	for(int i=sx+1;i<=tx;i++)
		ch(ans,(ll)(-i-sy)*get(x1,y1,i,sy-1)%mod*get(i,sy,x2,y2));
	for(int j=sy+1;j<=ty;j++)
		ch(ans,(ll)(-sx-j)*get(x1,y1,sx-1,j)%mod*get(sx,j,x2,y2));
	for(int i=sx;i<tx;i++)
		ch(ans,(ll)(i+ty+1)*get(x1,y1,i,ty)%mod*get(i,ty+1,x2,y2));
	for(int j=sy;j<ty;j++)
		ch(ans,(ll)(tx+j+1)*get(x1,y1,tx,j)%mod*get(tx+1,j,x2,y2));
	return ans;
}

int main(){
#ifdef rqgao2014
	freopen("input.txt","r",stdin);
#endif
	int n=2000000;fac[0]=1;
	for(int i=1;i<=n;i++) fac[i]=(ll)fac[i-1]*i%mod;
	ifac[n]=exp(fac[n],mod-2);
	for(int i=n;i;i--) ifac[i-1]=(ll)ifac[i]*i%mod;
	int x[10],y[10];
	for(int i=1;i<=6;i++)
		read(x[i]);
	for(int j=1;j<=6;j++)
		read(y[j]);
	sx=x[3],sy=y[3];
	tx=x[4],ty=y[4];
	x[2]++;y[2]++;x[5]--;y[5]--;
//	debuge;
	int ans=0;
	for(int i=1;i<=2;i++)
		for(int j=1;j<=2;j++)
			for(int p=5;p<=6;p++)
				for(int q=5;q<=6;q++)
					if(i+j+p+q&1) ch(ans,-calc(x[i]-1,y[j]-1,x[p]+1,y[q]+1));
					else ch(ans,calc(x[i]-1,y[j]-1,x[p]+1,y[q]+1));
	print((ans+mod)%mod);
	return 0;
}

Measured memory_bytes: 15872