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

// 内部定数
#define D_X_MAX			6000									// 最大横線数
#define D_Y_MAX			100										// 最大縦線数

// 内部変数
static FILE *szpFpI;											// 入力
static int si1X[D_X_MAX];										// 横線
static int siXCnt;												// 縦線数
static int si1Now[D_Y_MAX];										// 縦線位置 - 現在
static int si1Goal[D_Y_MAX];									// 縦線位置 - 目的地
static int siYCnt;												// 縦線数
static int si1Add[D_Y_MAX * D_Y_MAX];							// 追加線
static int siACnt;												// 追加線数

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

// 数値 - 入れ替え
int
fSwap(
	int *pipVal1				// <IO> 値１
	, int *pipVal2				// <IO> 値２
)
{
	int liWork = *pipVal1;
	*pipVal1 = *pipVal2;
	*pipVal2 = liWork;

	return 0;
}

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	int i;
	char lc1Buf[1024], lc1Out[1024];

	// データ - 初期化
	siACnt = 0;													// 追加線数

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

	// 縦線数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siYCnt);

	// 縦線位置 - 目的地 - 初期化
	for (i = 0; i < siYCnt; i++) {
		si1Goal[i] = i + 1;
	}

	// 横線数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siXCnt);

	// 横線 - 取得
	for (i = 0; i < siXCnt; i++) {
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d", &si1X[i]);
	}

	// 縦線位置 - 現在 - 取得
	for (i = 0; i < siYCnt; i++) {
		fscanf(szpFpI, "%d", &si1Now[i]);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 移動
	for (i = 0; i < siXCnt; i++) {
		fSwap(&si1Now[si1X[i] - 1], &si1Now[si1X[i]]);
	}

	// 追加線 - セット
	for (i = 0; i < siYCnt; i++) {

		// 現在位置の検索
		int liNo;
		for (liNo = i; liNo < siYCnt; liNo++) {
			if (si1Goal[i] == si1Now[liNo]) {
				break;
			}
		}

		// 線追加
		while (i < liNo) {
			si1Add[siACnt] = liNo;
			siACnt++;
			fSwap(&si1Now[liNo - 1], &si1Now[liNo]);
			liNo--;
		}
	}

	// 追加線数 - 表示
	sprintf(lc1Out, "%d\n", siACnt);
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
#endif

	// 追加線 - 表示
	for (i = 0; i < siACnt; i++) {
		sprintf(lc1Out, "%d %d\n", si1Add[i], si1Add[i] + 1);
#ifdef D_TEST
		fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
		if (strcmp(lc1Buf, lc1Out)) {
			siRes = -1;
		}
#else
		printf("%s", lc1Out);
#endif
	}

	// 残データ有無
#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", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

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

	return 0;
}