/*Lucky_Glass*/
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;

const int N=55;
typedef long long ll;
template<class T>inline T Read(T &r){
	int b=1,c=getchar();r=0;
	while(c<'0' || '9'<c) b=c=='-'? -1:b,c=getchar();
	while('0'<=c && c<='9') r=(r<<1)+(r<<3)+(c^'0'),c=getchar();
	return r*=b;
}
#define cmin(a,b) (a=min(a,b))
const ll INF=0x3f3f3f3f3f3f3f3f;

int n,m;
ll cst[N],lim[N][2],f[N][N][2][2][N],g[N][N][N][2],h[N][2];
ll sta[N][N][2];

ll F(int L,int R,int bl,int br,int H){
	if(H>=m) return L<=R? INF:0;
	if(~f[L][R][bl][br][H]) return f[L][R][bl][br][H];
	ll &u=f[L][R][bl][br][H],lasv;
	u=INF;
	if(L==1 || R==n) cmin(u,F(L,R,bl,br,H+1));
	else cmin(u,F(L,R,bl,br,H+1)+((lim[L-1][bl]^lim[R+1][br])>>H&1)*cst[H]);
	for(int i=L-1;i<=R;i++) g[L][R][i][0]=g[L][R][i][1]=INF;
	g[L][R][L-1][bl]=0;
	for(int i=L;i<=R;i++)
		for(int p=0;p<2;p++){
			if(sta[i][H][p]==-1) continue;
			for(int j=L-1;j<i;j++)
				for(int q=0;q<2;q++){
					if(g[L][R][j][q]==INF) continue;
					if(j==L-1){
						lasv=j>=1? lim[L-1][bl]:sta[i][H][p];
						cmin(g[L][R][i][p],g[L][R][j][q]+F(j+1,i-1,q,p,H+1)+((lasv^sta[i][H][p])>>H&1)*cst[H]);
					}
					else cmin(g[L][R][i][p],g[L][R][j][q]+F(j+1,i-1,q,p,H+1)+((sta[j][H][q]^sta[i][H][p])>>H&1)*cst[H]);
				}
			if(R+1<=n) lasv=lim[R+1][br];
			else lasv=sta[i][H][p];
			cmin(u,g[L][R][i][p]+F(i+1,R,p,br,H+1)+((sta[i][H][p]^lasv)>>H&1)*cst[H]);
		}
	return u;
}
int main(){
	//freopen("input.in","r",stdin);
	memset(sta,-1,sizeof sta);
	memset(f,-1,sizeof f);
	Read(n),Read(m);
	for(int i=1;i<=n;i++){
		Read(lim[i][0]),Read(lim[i][1]);
		if(lim[i][1]-lim[i][0]<=1){
			sta[i][0][0]=lim[i][0];
			sta[i][0][1]=lim[i][1];
		}
		else{
			for(int j=m-1;j>=0;j--)
				if((lim[i][0]^lim[i][1])>>j&1){
					for(int k=j-1;k>=0;k--){
						if(!(lim[i][0]>>k&1))
							sta[i][k][0]=lim[i][0]^(1ll<<k);
						if(lim[i][1]>>k&1)
							sta[i][k][1]=lim[i][1]^(1ll<<k);
					}
					break;
				}
		}
	}
	for(int i=0;i<m;i++) Read(cst[i]);
	for(int i=1;i<=n+1;i++) h[i][0]=h[i][1]=INF;
	for(int i=1;i<=n+1;i++){
		for(int j=0;j<i;j++){
			cmin(h[i][0],h[j][0]+F(j+1,i-1,0,0,0));
			cmin(h[i][0],h[j][1]+F(j+1,i-1,1,0,0));
			cmin(h[i][1],h[j][0]+F(j+1,i-1,0,1,0));
			cmin(h[i][1],h[j][1]+F(j+1,i-1,1,1,0));
		}
	}
	printf("%lld\n",h[n+1][0]);
	return 0;
}