Problem: Allen dreams of one day owning a enormous fleet of electric cars, the car of the future! He knows that this will give him a big status boost. As Allen is planning out all of the different types of cars he will own and how he will arrange them, he realizes that he has a problem. 

Allen's future parking lot can be represented as a rectangle with 4 rows and n (n ≤ 50) columns of rectangular spaces, each of which can contain at most one car at any time. He imagines having k (k ≤ 2n) cars in the grid, and all the cars are initially in the second and third rows. Each of the cars also has a different designated parking space in the first or fourth row. Allen has to put the cars into corresponding parking places.

<image> Illustration to the first example.

However, since Allen would never entrust his cars to anyone else, only one car can be moved at a time. He can drive a car from a space in any of the four cardinal directions to a neighboring empty space. Furthermore, Allen can only move one of his cars into a space on the first or fourth rows if it is the car's designated parking space. 

Allen knows he will be a very busy man, and will only have time to move cars at most 20000 times before he realizes that moving cars is not worth his time. Help Allen determine if he should bother parking his cars or leave it to someone less important.

Input

The first line of the input contains two space-separated integers n and k (1 ≤ n ≤ 50, 1 ≤ k ≤ 2n), representing the number of columns and the number of cars, respectively.

The next four lines will contain n integers each between 0 and k inclusive, representing the initial state of the parking lot. The rows are numbered 1 to 4 from top to bottom and the columns are numbered 1 to n from left to right.

In the first and last line, an integer 1 ≤ x ≤ k represents a parking spot assigned to car x (you can only move this car to this place), while the integer 0 represents a empty space (you can't move any car to this place).

In the second and third line, an integer 1 ≤ x ≤ k represents initial position of car x, while the integer 0 represents an empty space (you can move any car to this place).

Each x between 1 and k appears exactly once in the second and third line, and exactly once in the first and fourth line.

Output

If there is a sequence of moves that brings all of the cars to their parking spaces, with at most 20000 car moves, then print m, the number of moves, on the first line. On the following m lines, print the moves (one move per line) in the format i r c, which corresponds to Allen moving car i to the neighboring space at row r and column c.

If it is not possible for Allen to move all the cars to the correct spaces with at most 20000 car moves, print a single line with the integer -1.

Examples

Input

4 5
1 2 0 4
1 2 0 4
5 0 0 3
0 5 0 3


Output

6
1 1 1
2 1 2
4 1 4
3 4 4
5 3 2
5 4 2


Input

1 2
1
2
1
2


Output

-1


Input

1 2
1
1
2
2


Output

2
1 1 1
2 4 1

Note

In the first sample test case, all cars are in front of their spots except car 5, which is in front of the parking spot adjacent. The example shows the shortest possible sequence of moves, but any sequence of length at most 20000 will be accepted.

In the second sample test case, there is only one column, and the cars are in the wrong order, so no cars can move and the task is impossible.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int N = 55;
struct data {
  int car, row, col;
  data(int car = 0, int row = 0, int col = 0) : car(car), row(row), col(col) {}
};
int n, k, a[5][N];
vector<data> ans;
bool used[5][N], canDo = true;
int main() {
  scanf("%d %d", &n, &k);
  for (int i = 1; i <= 4; i++)
    for (int j = 1; j <= n; j++) scanf("%d", &a[i][j]);
  while (canDo) {
    canDo = false;
    memset(used, 0, sizeof(used));
    pair<int, int> head = {-1, -1};
    for (int i = 2; i <= 3; i++) {
      for (int j = 1; j <= n; j++) {
        if (i == 2) {
          if (a[i - 1][j] == a[i][j] && a[i][j]) {
            ans.push_back(data(a[i][j], i - 1, j));
            swap(a[i - 1][j], a[i][j]);
            a[i][j] = 0;
          }
        } else {
          if (a[i + 1][j] == a[i][j] && a[i][j]) {
            ans.push_back(data(a[i][j], i + 1, j));
            swap(a[i + 1][j], a[i][j]);
            a[i][j] = 0;
          }
        }
      }
    }
    for (int i = 2; i <= 3; i++) {
      for (int j = 1; j <= n; j++) {
        if (i == 2) {
          if (j == 1) {
            if (a[i + 1][j] == 0) {
              head = {i, j};
              break;
            }
          } else {
            if (a[i][j - 1] == 0) {
              head = {i, j};
              break;
            }
          }
        } else {
          if (j == n) {
            if (a[i - 1][j] == 0) {
              head = {i, j};
              break;
            }
          } else {
            if (a[i][j + 1] == 0) {
              head = {i, j};
              break;
            }
          }
        }
      }
      if (head.first != -1) break;
    }
    if (head.first == -1) return !printf("%d", -1);
    if (head.first == 2) {
      int i = 2;
      for (int j = head.second; j <= n; j++) {
        if (!a[i][j]) continue;
        if (a[i - 1][j] == a[i][j]) {
          ans.push_back(data(a[i][j], i - 1, j));
          swap(a[i - 1][j], a[i][j]);
          a[i][j] = 0;
        } else {
          if (j > 1) {
            ans.push_back(data(a[i][j], i, j - 1));
            swap(a[i][j], a[i][j - 1]);
          } else {
            ans.push_back(data(a[i][j], i + 1, j));
            swap(a[i][j], a[i + 1][j]);
            used[i + 1][j] = true;
          }
        }
      }
      i = 3;
      for (int j = n; j >= 1; j--) {
        if (used[i][j]) continue;
        if (!a[i][j]) continue;
        if (a[i + 1][j] == a[i][j]) {
          ans.push_back(data(a[i][j], i + 1, j));
          swap(a[i + 1][j], a[i][j]);
          a[i][j] = 0;
        } else {
          if (j < n) {
            ans.push_back(data(a[i][j], i, j + 1));
            swap(a[i][j], a[i][j + 1]);
          } else {
            ans.push_back(data(a[i][j], i - 1, j));
            swap(a[i][j], a[i - 1][j]);
          }
        }
      }
      i = 2;
      for (int j = 1; j <= head.second - 2; j++) {
        if (!a[i][j]) continue;
        if (a[i - 1][j] == a[i][j]) {
          ans.push_back(data(a[i][j], i - 1, j));
          swap(a[i - 1][j], a[i][j]);
          a[i][j] = 0;
        } else {
          if (j > 1) {
            ans.push_back(data(a[i][j], i, j - 1));
            swap(a[i][j], a[i][j - 1]);
          } else {
            ans.push_back(data(a[i][j], i + 1, j));
            swap(a[i][j], a[i + 1][j]);
            used[i + 1][j] = true;
          }
        }
      }
    } else {
      int i = 3;
      for (int j = head.second; j >= 1; j--) {
        if (used[i][j]) continue;
        if (!a[i][j]) continue;
        if (a[i + 1][j] == a[i][j]) {
          ans.push_back(data(a[i][j], i + 1, j));
          swap(a[i + 1][j], a[i][j]);
          a[i][j] = 0;
        } else {
          if (j < n) {
            ans.push_back(data(a[i][j], i, j + 1));
            swap(a[i][j], a[i][j + 1]);
          } else {
            ans.push_back(data(a[i][j], i - 1, j));
            swap(a[i][j], a[i - 1][j]);
            used[i - 1][j] = true;
          }
        }
      }
      i = 2;
      for (int j = 1; j <= n; j++) {
        if (!a[i][j]) continue;
        if (used[i][j]) continue;
        if (a[i - 1][j] == a[i][j]) {
          ans.push_back(data(a[i][j], i - 1, j));
          swap(a[i - 1][j], a[i][j]);
          a[i][j] = 0;
        } else {
          if (j > 1) {
            ans.push_back(data(a[i][j], i, j - 1));
            swap(a[i][j], a[i][j - 1]);
          } else {
            ans.push_back(data(a[i][j], i + 1, j));
            swap(a[i][j], a[i + 1][j]);
          }
        }
      }
      i = 3;
      for (int j = n; j >= head.second + 2; j--) {
        if (used[i][j]) continue;
        if (!a[i][j]) continue;
        if (a[i + 1][j] == a[i][j]) {
          ans.push_back(data(a[i][j], i + 1, j));
          swap(a[i + 1][j], a[i][j]);
          a[i][j] = 0;
        } else {
          if (j < n) {
            ans.push_back(data(a[i][j], i, j + 1));
            swap(a[i][j], a[i][j + 1]);
          } else {
            ans.push_back(data(a[i][j], i - 1, j));
            swap(a[i][j], a[i - 1][j]);
            used[i - 1][j] = true;
          }
        }
      }
    }
    for (int i = 2; i <= 3; i++) {
      for (int j = 1; j <= n; j++) {
        if (a[i][j]) {
          canDo = true;
          break;
        }
      }
      if (canDo) break;
    }
  }
  printf("%d\n", (int)ans.size());
  for (auto i : ans) printf("%d %d %d\n", i.car, i.row, i.col);
  return 0;
}