#include <bits/stdc++.h>
using namespace std;
#define int short
typedef vector<int> vi;
#define pb push_back

pair<int, int> cnt[11][11][1001][1001];
int cnt1[11][11][1001][1001];
int cnt2[11][11][1001][1001];

signed main(){
	ios_base::sync_with_stdio(false);
	cin.tie(0);
	int n;
	cin >> n;
	vector<int> a(n);
	for(int i = 0; i < n; i++) cin >> a[i];
	for(int i = 0; i < 11; i++){
		for(int j = 0; j < 11; j++){
			for(int k = 0; k < 1001; k++){
				for(int l = 0; l < 1001; l++){
					cnt[i][j][k][l].first = -1;
					cnt[i][j][k][l].second = -1;
					cnt1[i][j][k][l] = -1;
					cnt2[i][j][k][l] = -1;
				}
			}
		}
	}
	for(int i = 0; i < n; i++){
		for(int j = i + 1; j < n; j++){
			for(int k = j + 1; k < n; k++){
				//cnt[a[i]][a[j]][j - i][k - j]
				//0
				if(cnt[a[i]][a[j]][j - i][k - j].first == -1){
					cnt[a[i]][a[j]][j - i][k - j].first = a[k];
					cnt[a[i]][a[j]][j - i][k - j].second = 1;
				}
				else if(cnt[a[i]][a[j]][j - i][k - j].first != -2){
					if(cnt[a[i]][a[j]][j - i][k - j].first != a[k]){
						cnt[a[i]][a[j]][j - i][k - j].first = -2;
					}
					cnt[a[i]][a[j]][j - i][k - j].second++;
				}
				//1
				if(cnt1[a[i]][a[k]][j - i][k - j] == -1){
					cnt1[a[i]][a[k]][j - i][k - j] = a[j];
				}
				else if(cnt1[a[i]][a[k]][j - i][k - j] != -2){
					if(cnt1[a[i]][a[k]][j - i][k - j] != a[j]){
						cnt1[a[i]][a[k]][j - i][k - j] = -2;
					}
				}
				//2
				if(cnt2[a[j]][a[k]][j - i][k - j] == -1){
					cnt2[a[j]][a[k]][j - i][k - j] = a[i];
				}
				else if(cnt2[a[j]][a[k]][j - i][k - j] != -2){
					if(cnt2[a[j]][a[k]][j - i][k - j] != a[j]){
						cnt2[a[j]][a[k]][j - i][k - j] = -2;
					}
				}
			}
		}
	}
	int num = (n + 39) / 40 + 1;
	int ok = 0;
	array<int, 5> ans = {(int)1e4, (int)1e4, (int)1e4, (int)1e4, (int)1e4};
	for(int i = 0; i < n; i++){
		for(int j = i + 1; j < n; j++){
			for(int k = j + 1; k < n; k++){
				if(cnt[a[i]][a[j]][j - i][k - j].first >= 0 && cnt[a[i]][a[j]][j - i][k - j].second >= num){
					if(cnt1[a[i]][a[k]][j - i][k - j] >= 0 && cnt2[a[j]][a[k]][j - i][k - j] >= 0){
						ok = 1;
						if(j - i < ans[1]){
							ans = {a[i], j - i, a[j], k - j, a[k]};
						}
						else if(j - i == ans[1] && k - j < ans[3]){
							ans = {a[i], j - i, a[j], k - j, a[k]};
						}
					}
				}
			}
		}
	}
	if(!ok){
		cout << "random sequence\n";
		return 0;
	}
	cout << "triple correlation " << ans[0] << "(" << ans[1] << ")" << ans[2] << "(" << ans[3] << ")" << ans[4] << " found\n";
	return 0;
}