#include <bits/stdc++.h>
using namespace std;
long long x, y, n, f = 1, ans, fuck;
void ExGCD(long long g, long long h) {
  if (!h) {
    x = 1;
    y = 0;
    ans = g;
  } else {
    ExGCD(h, g % h);
    int t = x;
    x = y;
    y = t - (g / h) * y;
  }
}
long long get(long long g, long long h) {
  unsigned long long ret = 1, a = g;
  while (h) {
    if (h & 1) {
      ret *= a;
      ret %= (int)(1e9 + 7);
    }
    a *= a;
    a %= (int)(1e9 + 7);
    h >>= 1;
  }
  return ret;
}
int main() {
  scanf("%d", &n);
  long long q, A = 2;
  while (n--) {
    scanf("%lld", &q);
    if (q > 1) fuck = 1;
    if (!(q & 1)) f = 0;
    A = get(A, q);
    A %= (int)(1e9 + 7);
  }
  A *= 500000004;
  A %= (int)(1e9 + 7);
  if (!fuck) {
    printf("0/1\n");
    return 0;
  }
  ExGCD(3, (int)(1e9 + 7));
  long long t = (int)(1e9 + 7) / ans;
  x = (x % t + t) % t;
  long long B;
  if (f & 1) {
    B = (A + (int)(1e9 + 7) - 1) % (int)(1e9 + 7);
    B *= x;
    B %= (int)(1e9 + 7);
  } else {
    B = (A + 1) % (int)(1e9 + 7);
    B *= x;
    B %= (int)(1e9 + 7);
  }
  printf("%I64d/%I64d", B, A);
}
