#include "insects.h"
#include <bits/stdc++.h>
using namespace std;
#define qry press_button
bitset<2000> bs, bs1, bs2, bs3;
int numinc = 0;
void add(int n) {
if (!bs[n]) {
move_inside(n);
numinc++;
}
bs[n] = 1;
}
void rem(int n) {
if (bs[n]) {
move_outside(n);
numinc--;
}
bs[n] = 0;
}
int min_cardinality(int N) {
int numu = 0;
for (int i = 0; i < N; i++) {
add(i);
if (qry() > 1) rem(i);
else numu++;
}
int low = 2, high = N / numu, ans = 1;
while (low <= high) {
int x = (low + high) / 2;
bs2 = 0;
for (int i = 0; i < N; i++) {
if (bs1[i]) continue;
if (bs[i]) continue;
add(i);
if (qry() > x) {
rem(i);
bs1[i] = 1;
}
else bs2[i] = 1;
}
if (numinc == numu * x) low = x + 1, ans = x, bs1 = 0, bs3 |= bs2;
else {
high = x - 1;
for (int i = 0; i < N; i++) if (bs2[i] && !bs3[i]) rem(i);
}
}
return ans;
}
