Problem: Peter had a cube with non-zero length of a side. He put the cube into three-dimensional space in such a way that its vertices lay at integer points (it is possible that the cube's sides are not parallel to the coordinate axes). Then he took a piece of paper and wrote down eight lines, each containing three integers — coordinates of cube's vertex (a single line contains coordinates of a single vertex, each vertex is written exactly once), put the paper on the table and left. While Peter was away, his little brother Nick decided to play with the numbers on the paper. In one operation Nick could swap some numbers inside a single line (Nick didn't swap numbers from distinct lines). Nick could have performed any number of such operations.

When Peter returned and found out about Nick's mischief, he started recollecting the original coordinates. Help Peter restore the original position of the points or else state that this is impossible and the numbers were initially recorded incorrectly.

Input

Each of the eight lines contains three space-separated integers — the numbers written on the piece of paper after Nick's mischief. All numbers do not exceed 106 in their absolute value.

Output

If there is a way to restore the cube, then print in the first line "YES". In each of the next eight lines print three integers — the restored coordinates of the points. The numbers in the i-th output line must be a permutation of the numbers in i-th input line. The numbers should represent the vertices of a cube with non-zero length of a side. If there are multiple possible ways, print any of them.

If there is no valid way, print "NO" (without the quotes) in the first line. Do not print anything else.

Examples

Input

0 0 0
0 0 1
0 0 1
0 0 1
0 1 1
0 1 1
0 1 1
1 1 1


Output

YES
0 0 0
0 0 1
0 1 0
1 0 0
0 1 1
1 0 1
1 1 0
1 1 1


Input

0 0 0
0 0 0
0 0 0
0 0 0
1 1 1
1 1 1
1 1 1
1 1 1


Output

NO

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
double x[18][14];
int flag;
int y[18];
double l(int i, int j) {
  return (x[i][0] - x[j][0]) * (x[i][0] - x[j][0]) +
         (x[i][1] - x[j][1]) * (x[i][1] - x[j][1]) +
         (x[i][2] - x[j][2]) * (x[i][2] - x[j][2]);
}
void pand() {
  double ans[7];
  double anss[7];
  for (int i = 1; i < 8; i++)
    for (int j = i + 1; j < 8; j++) {
      if (x[i][0] == x[j][0] && x[i][1] == x[j][1] && x[i][2] == x[j][2])
        return;
    }
  for (int i = 1; i < 8; i++) ans[i - 1] = l(0, i);
  sort(ans, ans + 7);
  if (ans[0] == ans[1] && ans[1] == ans[2] && ans[3] == ans[4] &&
      ans[4] == ans[5] && ans[0] * 2 == ans[3] && ans[0] * 3 == ans[6]) {
    int k;
    for (k = 1; k < 8; k++) {
      if (l(0, k) == ans[6]) break;
    }
    int kk = 0;
    for (int i = 0; i < k; i++) anss[i] = l(k, i);
    for (int i = k + 1; i < 8; i++) anss[i - 1] = l(k, i);
    sort(anss, anss + 7);
    for (int i = 0; i < 7; i++) {
      if (ans[i] != anss[i]) {
        return;
      }
    }
    printf("YES\n");
    for (int i = 0; i < 8; i++)
      printf("%.0lf %.0lf %.0lf\n", x[i][0], x[i][1], x[i][2]);
    flag = 1;
    return;
  }
  return;
}
int main() {
  flag = 0;
  int inf = 6 * 6 * 6 * 6 * 6 * 6 * 6 * 6;
  for (int i = 0; i < 8; i++)
    for (int j = 0; j < 3; j++) scanf("%lf", &x[i][j]);
  for (int i = 0; i < inf; i++) {
    if (flag == 1) return 0;
    int ii = i;
    for (int j = 0; j < 8; j++) {
      y[j] = ii % 6;
      ii /= 6;
    }
    for (int j = 0; j < 8; j++) {
      switch (y[j]) {
        case 0:
          break;
        case 1:
          x[j][3] = x[j][1];
          x[j][1] = x[j][2];
          x[j][2] = x[j][3];
          break;
        case 2:
          x[j][3] = x[j][1];
          x[j][1] = x[j][0];
          x[j][0] = x[j][3];
          break;
        case 3:
          x[j][3] = x[j][1];
          x[j][1] = x[j][2];
          x[j][2] = x[j][3];
          x[j][3] = x[j][0];
          x[j][0] = x[j][2];
          x[j][2] = x[j][3];
          break;
        case 4:
          x[j][3] = x[j][1];
          x[j][1] = x[j][2];
          x[j][2] = x[j][3];
          x[j][3] = x[j][1];
          x[j][1] = x[j][0];
          x[j][0] = x[j][3];
          break;
        case 5:
          x[j][3] = x[j][0];
          x[j][0] = x[j][2];
          x[j][2] = x[j][3];
          break;
      }
    }
    pand();
    for (int j = 0; j < 8; j++) {
      switch (y[j]) {
        case 0:
          break;
        case 1:
          x[j][3] = x[j][1];
          x[j][1] = x[j][2];
          x[j][2] = x[j][3];
          break;
        case 2:
          x[j][3] = x[j][1];
          x[j][1] = x[j][0];
          x[j][0] = x[j][3];
          break;
        case 3:
          x[j][3] = x[j][1];
          x[j][1] = x[j][2];
          x[j][2] = x[j][3];
          x[j][3] = x[j][0];
          x[j][0] = x[j][2];
          x[j][2] = x[j][3];
          break;
        case 4:
          x[j][3] = x[j][1];
          x[j][1] = x[j][2];
          x[j][2] = x[j][3];
          x[j][3] = x[j][1];
          x[j][1] = x[j][0];
          x[j][0] = x[j][3];
          break;
        case 5:
          x[j][3] = x[j][0];
          x[j][0] = x[j][2];
          x[j][2] = x[j][3];
          break;
      }
    }
  }
  printf("NO\n");
}