// ↘ ⬇ ⬇ ⬇ ⬇ ⬇ ↙
// ➡ @roadfromroi ⬅
// ↗ ⬆ ⬆ ⬆ ⬆ ⬆ ↖
#include <iostream>
#include "vector"
#include "algorithm"
#include "numeric"
#include "climits"
#include "iomanip"
#include "bitset"
#include "cmath"
#include "map"
#include "deque"
#include "array"
#include "set"
#include "random"
#define all(x) x.begin(), x.end()
using namespace std;
#include "insects.h"
mt19937 rnd;
int min_cardinality(int N) {
vector<int> iba(N);
for (int i = 0; i < N; ++i) {
iba[i] = i;
}
vector<int> ex(N);
int timka = 1;
for (int i = 0; i < N; ++i) {
swap(iba[i], iba[rnd() % N]);
}
for (int i = 0; i < N; ++i) {
swap(iba[i], iba[rnd() % N]);
}
int cnt = 0;
int gcnt = 0;
int prvl = 3;
int lstch = 0;
for (int i = 0; i < N; ++i) {
move_inside(iba[i]);
if (press_button() == 2) {
move_outside(iba[i]);
} else {
cnt++;
lstch = i;
//cerr << "ADD " << i << ' ' << press_button() << endl;
ex[i] = timka;
}
}
timka++;
gcnt = cnt * 2;
cnt = gcnt;
for (int i = (lstch + 1) % N; i != lstch; i = (i + 1) % N) {
//cerr << i << endl;
if (ex[i] == 0) {
//cerr << i << endl;
move_inside(iba[i]);
if (prvl < press_button()) {
move_outside(iba[i]);
} else {
ex[i] = timka;
cnt--;
lstch = i;
if (cnt == 0) {
timka++;
cnt = gcnt;
prvl += 2;
}
}
}
}
cnt = gcnt / 2;
prvl--;
for (int i = 0; i < N; ++i) {
if (ex[i] == timka) {
//cout << i << endl;
ex[i] = 0;
move_outside(iba[i]);
}
}
for (int i = 0; i < N; ++i) {
if (ex[i] == 0) {
//cerr << i << endl;
move_inside(iba[i]);
if (prvl != press_button()) {
move_outside(iba[i]);
} else {
ex[i] = timka;
cnt--;
if (cnt == 0) {
prvl++;
break;
}
}
}
}
return prvl - 1;
}
#ifdef __APPLE__
static inline constexpr int kMaxQueries = 40000;
static int N;
// Insect types are compressed to colors in the range [0, N).
static std::vector<int> color;
static std::vector<bool> in_box;
static std::vector<int> color_occurrences;
static std::multiset<int> max_occurrences;
static std::vector<int> op_counter(3, 0);
static inline void protocol_violation(std::string message) {
printf("Protocol Violation: %s\n", message.c_str());
exit(0);
}
void move_inside(int i) {
if (i < 0 || i >= N) {
protocol_violation("invalid parameter");
}
++op_counter[0];
if (op_counter[0] > kMaxQueries) {
protocol_violation("too many calls");
}
if (!in_box[i]) {
in_box[i] = true;
max_occurrences.erase(max_occurrences.find(color_occurrences[color[i]]));
++color_occurrences[color[i]];
max_occurrences.insert(color_occurrences[color[i]]);
}
}
void move_outside(int i) {
if (i < 0 || i >= N) {
protocol_violation("invalid parameter");
}
++op_counter[1];
if (op_counter[1] > kMaxQueries) {
protocol_violation("too many calls");
}
if (in_box[i]) {
in_box[i] = false;
max_occurrences.erase(max_occurrences.find(color_occurrences[color[i]]));
--color_occurrences[color[i]];
max_occurrences.insert(color_occurrences[color[i]]);
}
}
int press_button() {
++op_counter[2];
if (op_counter[2] > kMaxQueries) {
protocol_violation("too many calls");
}
return *(max_occurrences.rbegin());
}
int main() {
N=2000;assert(1 == scanf("%d", &N));
color.resize(N);
in_box.assign(N, false);
std::map<int, int> type_to_color;
for (int i = 0; i < N; ++i) {
int Ti;
Ti = i % 6 + 1;
assert(1 == scanf("%d", &Ti));
if (type_to_color.find(Ti) == type_to_color.end()) {
int new_color = type_to_color.size();
type_to_color[Ti] = new_color;
max_occurrences.insert(0);
}
color[i] = type_to_color[Ti];
}
color_occurrences.assign(type_to_color.size(), 0);
int answer = min_cardinality(N);
int Q = *std::max_element(op_counter.begin(), op_counter.end());
printf("%d\n", answer);
printf("%d\n", Q);
return 0;
}
#endif