#include <bits/stdc++.h>
using namespace std;
int main(int argc, char **argv) {
  int num_1 = 0, num_2 = 0, num_3 = 0, num_4 = 0, num_6 = 0;
  int num_1_2_4 = 0, num_1_2_6 = 0, num_1_3_6 = 0;
  int n;
  cin >> n;
  for (int i = 0; i < n; ++i) {
    int num;
    cin >> num;
    switch (num) {
      case 1:
        num_1++;
        break;
      case 2:
        num_2++;
        break;
      case 3:
        num_3++;
        break;
      case 4:
        num_4++;
        break;
      case 6:
        num_6++;
        break;
      default:
        cout << -1 << endl;
        return 0;
    }
  }
  if (num_3 > 0) {
    num_1_3_6 = num_3;
    num_1 -= num_3;
    num_6 -= num_3;
    num_3 -= num_3;
  }
  if (num_4 > 0) {
    num_1_2_4 = num_4;
    num_1 -= num_4;
    num_2 -= num_4;
    num_4 -= num_4;
  }
  if (num_6 > 0) {
    num_1_2_6 = num_6;
    num_1 -= num_6;
    num_2 -= num_6;
    num_6 -= num_6;
  }
  if ((num_1 || num_2 || num_3 || num_4 || num_6) != 0) {
    cout << -1 << endl;
  } else {
    for (int i = 0; i < num_1_2_4; ++i) {
      cout << "1 2 4" << endl;
    }
    for (int i = 0; i < num_1_2_6; ++i) {
      cout << "1 2 6" << endl;
    }
    for (int i = 0; i < num_1_3_6; ++i) {
      cout << "1 3 6" << endl;
    }
  }
  return 0;
}
