#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ON			1										// 汎用フラグ - ON
#define D_OFF			0										// 汎用フラグ - OFF
#define D_VTX_MAX		100										// 最大頂点数
#define D_EDGE_MAX		D_VTX_MAX								// 最大辺数
#define D_RET_NONE		0										// リターン - なし
#define D_RET_REV		1										// リターン - 返し
#define D_RET_ONLY		2										// リターン - 単独

// 内部構造体 - 辺情報
typedef struct Edge {
	int miVNo;													// 接続先頂点
	struct Edge *mzpNext;										// 次の辺情報
} Edge;

// 内部構造体 - 頂点情報
typedef struct Vtx {
	Edge *mzpEdge;												// 辺
	char mcOnly;												// 単独フラグ
	char mcFront;												// 表フラグ
	char mcDone;												// 処理済フラグ
} Vtx;

// 内部変数
static FILE *szpFpI;											// 入力
static Vtx sz1Vtx[D_VTX_MAX];									// 頂点
static int siVCnt;												// 頂点数
static Edge sz1Edge[D_EDGE_MAX * 2];							// 辺
static int siECnt;												// 辺数

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 辺 - 追加
int
fAddEdge(
	int piVFNo					// <I> 頂点 - 元 0～
	, int piVTNo				// <I> 頂点 - 先 0～
)
{
	sz1Edge[siECnt].miVNo = piVTNo;
	sz1Edge[siECnt].mzpNext = sz1Vtx[piVFNo].mzpEdge;
	sz1Vtx[piVFNo].mzpEdge = &sz1Edge[siECnt];
	siECnt++;

	return 0;
}

// 表化
int
fToFront(
	int piVNo					// <I> 頂点 0～
)
{
	int liRet1, liRet2;

	// 処理済フラグ
	if (sz1Vtx[piVNo].mcDone != D_OFF) {
		return D_RET_NONE;
	}
	sz1Vtx[piVNo].mcDone = D_ON;

	// 辺でループ
	liRet1 = D_RET_NONE;
	Edge *lzpEdge = sz1Vtx[piVNo].mzpEdge;
	while (lzpEdge != NULL) {

		// 下位へ
		liRet2 = fToFront(lzpEdge->miVNo);
		if (liRet2 == D_RET_ONLY) {
			liRet1 = D_RET_ONLY;
		}
		else if (liRet2 == D_RET_REV) {
			sz1Vtx[piVNo].mcFront = !sz1Vtx[piVNo].mcFront;
		}

		// 次の辺へ
		lzpEdge = lzpEdge->mzpNext;
	}

	// 単独フラグ
	if (sz1Vtx[piVNo].mcOnly == D_ON) {
		liRet1 = D_RET_ONLY;
	}

	// 返し
	if (liRet1 != D_RET_ONLY) {
		if (sz1Vtx[piVNo].mcFront != D_ON) {
			liRet1 = D_RET_REV;
		}
	}

	return liRet1;
}

// 実行メイン
int
fMain(
)
{
	int i, liRet;
	char lc1Buf[1024];

	// 頂点数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siVCnt);

	// 辺 - 取得
	for (i = 0; i < siVCnt; i++) {
		int liVal;
		fscanf(szpFpI, "%d", &liVal);

		// 対象頂点
		int liVNo1 = (i + liVal) % siVCnt;
		int liVNo2 = ((i - liVal) % siVCnt + siVCnt) % siVCnt;
		if (liVNo1 == liVNo2) {
			sz1Vtx->mcOnly = D_ON;
		}
		else {
			fAddEdge(liVNo1, liVNo2);
			fAddEdge(liVNo2, liVNo1);
		}
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 表フラグ - 取得
	for (i = 0; i < siVCnt; i++) {
		fscanf(szpFpI, "%hhd", &sz1Vtx[i].mcFront);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 表化
	for (i = 0; i < siVCnt; i++) {
		liRet = fToFront(i);
		if (liRet == D_RET_REV) {
			return -1;
		}
	}

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	memset(sz1Vtx, 0, sizeof(sz1Vtx));							// 頂点
	siECnt = 0;													// 辺数

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 出力
	if (liRet == 0) {
		sprintf(lc1Buf, "Yes\n");
	}
	else {
		sprintf(lc1Buf, "No\n");
	}
	fOut(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}