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 long long maxn = 2e6 + 6;
const long long MOD = 1e9 + 7;
bool comparator(long long i, long long j) { return (i < j); }
struct setCompare {
  bool operator()(const int64_t& lhs, const int64_t& rhs) const {}
};
long long power(long long x, long long i) {
  long long ans = 1;
  while (i > 0) {
    if (i & 1) ans = (ans * x) % MOD;
    i >>= 1;
    x = (x * x) % MOD;
  }
  return ans;
}
long long power(long long x, long long i, long long mod) {
  long long ans = 1;
  while (i > 0) {
    if (i & 1) ans = (ans * x) % mod;
    i >>= 1;
    x = (x * x) % mod;
  }
  return ans;
}
long long modInverse(long long x, long long mod) {
  return power(x, mod - 2, mod);
}
bool isPalindrome(string s) {
  long long limit = s.length() / 2;
  for (long long i = 0; i < limit; i++)
    if (s[i] != s[s.length() - i - 1]) return false;
  return true;
}
long long gcd(long long x, long long y) {
  long long t;
  while (y != 0) t = x % y, x = y, y = t;
  return x;
}
bool isVowel(char ch) {
  if (ch == 'a' || ch == 'i' || ch == 'e' || ch == 'u' || ch == 'o' ||
      ch == 'y') {
    return true;
  }
  return false;
}
bool isPrime(long long n) {
  long long root = sqrt(n);
  for (long long i = 2; i <= root; i++)
    if (n % i == 0) return 0;
  return 1;
}
long double getDisSquare(long double asdfg, long double qwert,
                         long double gfdsa, long double trewq) {
  return ((asdfg - gfdsa) * (asdfg - gfdsa) +
          (qwert - trewq) * (qwert - trewq));
}
bool isSquareHelper(long long asdfg, long long qwert, long long gfdsa,
                    long long trewq, long long x3, long long y3, long long x4,
                    long long y4) {
  long double d1, d2, d3, d4, d5, d6;
  d1 = getDisSquare(asdfg, qwert, gfdsa, trewq);
  d2 = getDisSquare(gfdsa, trewq, x3, y3);
  d3 = getDisSquare(x3, y3, x4, y4);
  d4 = getDisSquare(x4, y4, asdfg, qwert);
  if (d1 == d2 && d1 == d3 && d1 == d4) {
    d5 = getDisSquare(asdfg, qwert, x3, y3);
    d6 = getDisSquare(gfdsa, trewq, x4, y4);
    if (d5 == d6) {
      return 1;
    }
  }
  return 0;
}
bool isSquare(long long asdfg, long long qwert, long long gfdsa,
              long long trewq, long long x3, long long y3, long long x4,
              long long y4) {
  if (isSquareHelper(asdfg, qwert, gfdsa, trewq, x3, y3, x4, y4) ||
      isSquareHelper(asdfg, qwert, gfdsa, trewq, x4, y4, x3, y3) ||
      isSquareHelper(asdfg, qwert, x3, y3, gfdsa, trewq, x4, y4))
    return 1;
  else
    return 0;
}
bool isEqualateralTriangle(long long asdfg, long long qwert, long long gfdsa,
                           long long trewq, long long x3, long long y3) {
  long long d1 = getDisSquare(asdfg, qwert, gfdsa, trewq);
  long long d2 = getDisSquare(gfdsa, trewq, x3, y3);
  long long d3 = getDisSquare(x3, y3, asdfg, qwert);
  if (d1 == d2 && d1 == d3) {
    return 1;
  } else
    return 0;
}
bool isRightAngleTriangleHelper(long long asdfg, long long qwert,
                                long long gfdsa, long long trewq, long long x3,
                                long long y3) {
  long long d1 = getDisSquare(asdfg, qwert, gfdsa, trewq);
  long long d2 = getDisSquare(gfdsa, trewq, x3, y3);
  long long d3 = getDisSquare(x3, y3, asdfg, qwert);
  if (d2 == (d1 + d3)) {
    return 1;
  }
  return 0;
}
bool isRightAngleTriangle(long long asdfg, long long qwert, long long gfdsa,
                          long long trewq, long long x3, long long y3) {
  if (isRightAngleTriangleHelper(asdfg, qwert, gfdsa, trewq, x3, y3) ||
      isRightAngleTriangleHelper(gfdsa, trewq, x3, y3, asdfg, qwert) ||
      isRightAngleTriangleHelper(x3, y3, asdfg, qwert, gfdsa, trewq))
    return 1;
  return 0;
}
bool areCollinear(long long asdfg, long long qwert, long long gfdsa,
                  long long trewq, long long x3, long long y3) {
  return ((x3 - asdfg) * (trewq - qwert) == (y3 - qwert) * (gfdsa - asdfg));
}
long long n, k, p, s, rem;
long long a[6][300];
vector<pair<long long, pair<long long, long long> > > ans;
void getInput() {
  cin >> n >> k;
  for (long long i = 1; i <= 4; i++) {
    for (long long j = 1; j <= n; j++) {
      cin >> a[i][j];
    }
  }
  rem = k;
}
long long park() {
  long long parked = 0;
  for (long long i = 1; i <= n; i++) {
    if ((a[2][i] != 0) && (a[2][i] == a[1][i])) {
      ans.push_back(make_pair(a[2][i], make_pair(1, i)));
      a[2][i] = 0;
      parked++;
      rem--;
    }
  }
  for (long long i = 1; i <= n; i++) {
    if ((a[3][i] != 0) && (a[3][i] == a[4][i])) {
      ans.push_back(make_pair(a[3][i], make_pair(4, i)));
      a[3][i] = 0;
      parked++;
      rem--;
    }
  }
  return parked;
}
long long hasEmpty() {
  for (long long i = 2; i <= 3; i++) {
    for (long long j = 1; j <= n; j++) {
      if (a[i][j] == 0) return true;
    }
  }
  return false;
}
void rotate() {
  for (long long i = 1; i <= n - 1; i++) {
    if (a[2][i] != 0 && a[2][i + 1] == 0) {
      ans.push_back(make_pair(a[2][i], make_pair(2, i + 1)));
      a[2][i + 1] = a[2][i];
      a[2][i] = 0;
      i++;
    }
  }
  park();
  if (a[2][n] != 0 && a[3][n] == 0) {
    ans.push_back(make_pair(a[2][n], make_pair(3, n)));
    a[3][n] = a[2][n];
    a[2][n] = 0;
  }
  park();
}
void rotate2() {
  for (long long i = n; i >= 2; i--) {
    if (a[3][i] != 0 && a[3][i - 1] == 0) {
      ans.push_back(make_pair(a[3][i], make_pair(3, i - 1)));
      a[3][i - 1] = a[3][i];
      a[3][i] = 0;
      i--;
    }
  }
  park();
  if (a[3][1] != 0 && a[2][1] == 0) {
    ans.push_back(make_pair(a[3][1], make_pair(2, 1)));
    a[2][1] = a[3][1];
    a[3][1] = 0;
  }
  park();
}
void solve() {
  long long x = park();
  if (x == 0 && !hasEmpty()) {
    cout << -1 << "\n";
    return;
  }
  for (long long i = 0; i < 10000; i++) {
    if (rem == 0) break;
    rotate();
    rotate2();
  }
  cout << ans.size() << "\n";
  for (auto i : ans) {
    cout << i.first << " " << i.second.first << " " << i.second.second << "\n";
  }
}
signed main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  long long t = 1;
  while (t--) getInput(), solve();
  return 0;
}