#include <bits/stdc++.h>
using namespace std;
const int maxn = 99999 + 10;
int a[maxn], cnt[8];
vector<int> ans[maxn / 3];
int main() {
  int n;
  scanf("%d", &n);
  memset(cnt, 0, sizeof(cnt));
  for (int i = 0; i < n; i++) {
    scanf("%d", &a[i]);
    cnt[a[i]]++;
  }
  int k = 0;
  if (cnt[7] || cnt[5]) {
    puts("-1");
    return 0;
  }
  if (cnt[4]) {
    cnt[2] -= cnt[4];
    cnt[1] -= cnt[4];
    if (cnt[2] < 0 || cnt[1] < 0) {
      puts("-1");
      return 0;
    }
    for (int i = 0; i < cnt[4]; i++) {
      ans[k].push_back(1);
      ans[k].push_back(2);
      ans[k].push_back(4);
      k++;
    }
  }
  if (cnt[6]) {
    cnt[1] -= cnt[6];
    if (cnt[2] + cnt[3] != cnt[6] || cnt[1] < 0) {
      puts("-1");
      return 0;
    }
    for (int i = 0; i < cnt[3]; i++) {
      ans[k].push_back(1);
      ans[k].push_back(3);
      ans[k].push_back(6);
      k++;
    }
    for (int i = 0; i < cnt[2]; i++) {
      ans[k].push_back(1);
      ans[k].push_back(2);
      ans[k].push_back(6);
      k++;
    }
  }
  if (k != n / 3) {
    puts("-1");
    return 0;
  }
  for (int i = 0; i < k; i++) {
    for (int j = 0; j < 3; j++) printf("%d%c", ans[i][j], j == 2 ? '\n' : ' ');
  }
  return 0;
}
