#include using namespace std; struct iofast_t { iofast_t() { ios::sync_with_stdio(false); cin.tie(nullptr); } } iofast; struct uns_t {} uns; template auto vec(Element init, Head arg, Args ...args) { if constexpr (sizeof...(Args) == 0) return vector(arg, init); else return vector(arg, vec(init, args...)); } template auto vec(uns_t, Head arg, Args ...args) { return vec(Element(), arg, args...); } template auto distance(const Container &c, decltype(begin(c)) iter) { return distance(begin(c), iter); } template ::value_type>> auto isort(RIter first, RIter last, Compare comp = Compare()) { vector i(distance(first, last)); iota(begin(i), end(i), 0); sort(begin(i), end(i), [&](auto x, auto y) { return comp(*(first + x), *(first + y)); }); return i; } template typename, typename = void_t<>> struct detect : false_type {}; template typename Check> struct detect>> : true_type {}; template typename Check> constexpr inline bool detect_v = detect::value; template using has_member_sort = decltype(declval().sort()); template > auto sorted(Container c, Compare comp = Compare()) { if constexpr (detect_v) { c.sort(comp); return c; } else { sort(begin(c), end(c), comp); return c; } } template > auto uniqued(Container c, Compare comp = Compare()) { c.erase(unique(begin(c), end(c), comp), end(c)); return c; } template > T &chmin(T &l, T r, Compare &&f = less()) { return l = min(l, r, f); } template > T &chmax(T &l, T r, Compare &&f = less()) { return l = max(l, r, f); } template constexpr auto fix(F &&f) noexcept { return [f = std::tuple(std::forward(f))](auto &&...args) mutable { return std::get<0>(f)(fix(std::get<0>(f)), std::forward(args)...); }; } int main() { constexpr auto inf = INT64_MAX / 4; int n; cin >> n; auto a = vec(uns, n); for (auto &e : a) cin >> e; if (4 <= n) { cout << 0 << endl; cout << 1 << " " << 2 << endl; cout << 1 << " " << 2 << endl; for (int i = 2; i < n - 1; ++i) { cout << n - i << " " << n - i - 1 << endl; } return 0; } auto f = [](int64_t x, int64_t y) -> int64_t { if (x == 0 || y == 0 || gcd(x, y) != 1) { return 0; } return (x - 1) * (y - 1); }; auto p = vec>(uns, 0); for (int i = 0; i < n; ++i) { for (int j = i + 1; j < n; ++j) { p.push_back({ i, j }); } } tuple>> ans = { inf, {} }; auto w = vec>(uns, 0); fix([&](auto g, int d = 0) -> void { if (n - 1 <= d) { auto b = a; auto s = vec>(uns, 0); for (auto [i, j] : w) { if (size(b) <= j) { return; } b.push_back(f(b[i], b[j])); s.push_back({ i, j }); b.erase(begin(b) + j); b.erase(begin(b) + i); } chmin(ans, make_tuple(b[0], s)); return; } for (auto [i, j] : p) { w.push_back({ i, j }); g(d + 1); w.pop_back(); } })(); cout << get<0>(ans) << endl; for (auto [i, j] : get<1>(ans)) { cout << i + 1 << " " << j + 1 << endl; } }