12765

#include <iostream>

using namespace std;

int a[10][10];
int ans1[8];
int ans2[8];

int main()
{
	int N,M,n;
	a[1][1]=1;
	a[2][2]=1;
	a[3][3]=1;
	a[4][2]=2;
	a[5][5]=1;
	a[6][2]=1;
	a[6][3]=1;
	a[7][7]=1;
	a[8][2]=3;
	a[9][3]=2;

	for(int i=1;i<=9;i++)
	{
		for(int j=1;j<=7;j++)
			a[i][j]+=a[i-1][j];
	}

	//for(int i=1;i<=9;i++)
		//cout<<a[9][i]<<" ";
	while(cin>>N)
	{
		cin>>M;

		if(N==0 && M==0)
		break;

		for(int i=1;i<8;i++)
		{
			ans1[i]=0;
			ans2[i]=0;
		}
		for(int i=0;i<N;i++)
		{
			cin>>n;

			if(n!=0)
				for(int j=1;j<=7;j++)
					ans1[j]+=a[n][j];

		}

		for(int i=0;i<M;i++)
		{
			cin>>n;

			if(n!=0)
				for(int j=1;j<=7;j++)
					ans2[j]+=a[n][j];

		}

		int f=0;
		for(int i=2;i<8;i++)
		{
			if(ans1[i]!=ans2[i])
			{
				cout<<"NO\n";
				f=1;
				break;
			}
		}

		if(f==0)
		cout<<"YES\n";
	}


	return 0;
}