#include <bits/stdc++.h>
using namespace std;

const int bdf  = (1 << 1) | (1 << 3) | (1 << 5);
const int aceg = ((1 << 7) - 1) ^ bdf;
const int MOD  = 1e9 + 7;

int low[10], high[10];
int dp[2][1<<8];

void add(int &a, int b){
	a += b;
	if(a >= MOD)
		a -= MOD;
}

int solve(int small, int big){
	int crr = 0, nxt = 1;
	memset(dp[crr], 0, sizeof(dp[crr]));

	dp[crr][0] = 1;
	for(int x=1;x<=20000;x++){
		for(int S=0;S<1<<7;S++)
			dp[nxt][S] = dp[crr][S];

		for(int S=0;S<1<<7;S++){
			bool small_done = (S & small) == small;
			if(!small_done && (S & big) != 0)
				continue;

			for(int i=0;i<7;i++){
				if((S >> i) & 1)
					continue;

				if(!small_done && ((big >> i) & 1))
					continue;

				if(x < low[i] || high[i] < x)
					continue;

				add(dp[nxt][S | (1 << i)], dp[crr][S]);
			}
		}

		swap(crr, nxt);
	}

	return dp[crr][(1 << 7) - 1];
}

int main(){
	for(int i=0;i<8;i++)
		cin >> low[i] >> high[i];

	int res = solve(bdf, aceg) + solve(aceg, bdf);
	if(res >= MOD)
		res -= MOD;

	cout << res << endl;
	return 0;
}