Щасливе спільне кратне

Обмеження: 2 сек., 256 МіБ

Задано \(m\) натуральних чисел \(n_i\).

Як відомо, є всього дві щасливі цифри — \(4\) та \(7\). Відповідно до цього число є щасливим, якщо воно містить у своєму десятковому записі тільки щасливі цифри. Наприклад, \(47\) та \(77474\) є щасливими числами.

Знайдіть щасливе число, яке є спільним кратним чисел \(n_i\), або повідомте, що такого не існує.

Оскільки ваша відповідь може бути дуже великою, виведіть її в стисненому вигляді.

Стиснена відповідь повинна складатись із цифр та круглих дужок.

Рядок \(s\), огорнутий у дужки, після якого слідує число \(k\), означає що рядок \(s\) повторюється \(k\) разів. Наприклад, \((47)6\), \((4747)3\), \((474747)2\), \((474747474747)1\) — це різні варіанти стиснення щасливого числа \(474747474747\).

Рядки можна конкатенувати. Наприклад, \((4)2(74)3(47)1\) — це один із способів стиснення числа \(4474747447\).

Рядки можуть бути огорнуті в дужки та сконкатеновані кілька разів. Наприклад, \(((4)2(7)3)2\) — один із способів стиснення числа \(4477744777\), а \((((47)3(4)2(7)1)2(744)5)1\) — один із способів стиснення числа \(474747447474747447744744744744744\).

Формально, стиснений рядок повинен задовольняти таку форму Бекуса-Наура:

Зверніть увагу, що вам не потрібно мінімізовувати ні щасливе число, яке є відповіддю на задачу, ні довжину стисненого числа.

Вхідні дані

У першому рядку задано ціле число \(m\) — кількість чисел, для яких треба знайти щасливе спільне кратне.

У другому рядку записано \(m\) натуральних чисел \(n_i\), для яких треба знайти щасливе спільне кратне.

Вихідні дані

Якщо існує щасливе число, яке є спільним кратним чисел \(n_i\), виведіть його в стисненому вигляді довжиною не більшою за \(10^5\). Для обмежень задачі можна довести, що якщо існує таке щасливе число то існує стиснена відповідь, яка не перевищує \(10^5\) символів.

Якщо такого числа не існує, виведіть -1.

Обмеження

\(1 \le m \le 100\),

\(1 \le n_i \le 10^5\).

Приклади

Вхідні дані (stdin) копіювати	Вихідні дані (stdout) копіювати
1 24	(7)1(4)2

Вхідні дані (stdin) копіювати	Вихідні дані (stdout) копіювати
7 3 7 13 37 47 101 9901	(47)6

Вхідні дані (stdin) копіювати	Вихідні дані (stdout) копіювати
2 8 9	(((47)3(4)2(7)1)2(744)5)1

Вхідні дані (stdin) копіювати	Вихідні дані (stdout) копіювати
3 4 44 2000	-1

Примітки

Відповідь на перший приклад дорівнює \(744 = 24 \cdot 31\).

Відповідь на другий приклад дорівнює \(474747474747 = 3 \cdot 7 \cdot 13 \cdot 37 \cdot 47 \cdot 101 \cdot 9901\).

У третьому прикладі іншою правильною відповіддю є \((4)3(7)1(4)2\). Зверніть увагу, відповідь не потрібно мінімізовувати.