#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <cmath>
#include <cstdio>
#include <functional>
#include <numeric>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <utility>
#include <sstream>
#include <complex>
#include <fstream>
#include <bitset>
#include <time.h>
#include <tuple>
#include <iomanip>

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef pair<ll, ll> P;
typedef vector<ll> V;
typedef complex<double> Point;

#define PI acos(-1.0)
#define EPS 1e-10
const ll INF = 1e12;
const ll MOD = 1e9 + 7;

#define FOR(i,a,b) for(int i=(a);i<(b);i++)
#define rep(i,N) for(int i=0;i<(N);i++)
#define ALL(s) (s).begin(),(s).end()
#define EQ(a,b) (abs((a)-(b))<EPS)
#define EQV(a,b) ( EQ((a).real(), (b).real()) && EQ((a).imag(), (b).imag()) )
#define fi first
#define se second
#define N_SIZE (1LL << 20)
#define NIL -1

ll sq(ll num) { return num*num; }
ll mod_pow(ll x, ll n) {
	if (n == 0)return 1;
	if (n == 1)return x%MOD;
	ll res = sq(mod_pow(x, n / 2));
	res %= MOD;
	if (n % 2 == 1) {
		res *= x;
		res %= MOD;
	}
	return res;
}
ll mod_add(ll a, ll b) { return (a + b) % MOD; }
ll mod_sub(ll a, ll b) { return (a - b + MOD) % MOD; }
ll mod_mul(ll a, ll b) { return a*b % MOD; }

ll n;
ll a[100100];
vector<ll> vl;
map<ll, ll> mll;

int main() {
	cin >> n;
	rep(i, n) {
		cin >> a[i];
		if (a[i] <= -1)vl.push_back(a[i]);
	}
	sort(ALL(vl));
	if (vl.size() % 2 == 1)vl.pop_back();
	for (int i = vl.size() - 1; i >= 0; i -= 2) {
		if (vl[i] == -1 && vl[i - 1] == -1) {
			vl.pop_back();
			vl.pop_back();
		}
		else break;
	}
	rep(i, vl.size()) {
		mll[vl[i]]++;
	}
	vector<ll> ans;
	rep(i, n) {
		if (a[i] > 1)ans.push_back(i);
		else if (a[i] <= -1) {
			if (mll[a[i]] > 0) {
				mll[a[i]]--;
				ans.push_back(i);
			}
		}
	}
	cout << ans.size() << endl;
	rep(i, ans.size()) {
		cout << ans[i] + 1 << endl;
	}
}

### Prompt

Please formulate a cpp solution to the following problem:

B： 階層的計算機 (Hierarchical Calculator)

Problem

Ebi-chan has N formulae: y = a_i x for i =1, ..., N (inclusive). Now she considers a subsequence of indices with length k: s_1, s_2, ..., s_k. At first, let x_0 be 1 and evaluate s_1-th formulae with x = x_0. Next, let x_1 be the output of s_1 and evaluate s_2-th formulae with x = x_1, and so on.

She wants to maximize the final output of the procedure, x_{s_k}. If there are many candidates, she wants the """shortest one""". If there are still many candidates, she wants the """lexicographically smallest one""".

Sequence s is lexicographically smaller than sequence t, if and only if either of the following conditions hold:

* there exists m < |s| such that s_i = t_i for i in 1 to m (inclusive) and s_{m+1} < t_{m+1}, or
* s_i = t_i for i in 1 to |s| (inclusive) and |s| < |t|,



where |s| is the length of the s.

Input


N
a_1 a_2 $\cdots$ a_N


Constraints

* 1 \leq N \leq 60
* -2 \leq a_i \leq 2 for i=1, ...,N (inclusive)
* Every input is given as the integer.



Output

Output k+1 lines. First line, the length of the sequence, k. Following k lines, the index of the i-th element of the subsequence, s_i (one element per line).

Sample Input 1


4
2 0 -2 1


Sample Output for Input 1


1
1


She evaluates the first one and gets the maximum value 2.

Sample Input 2


3
2 -2 -2


Sample Output for Input 2


3
1
2
3


She evaluates all of them and gets the maximum value 8.

Sample Input 3


2
-1 0


Sample Output for Input 3


0

She evaluates none of them and gets the maximum value 0. Empty sequence is the shorter and lexicographically smaller than any other sequences.

Sample Input 4


5
-1 2 1 -2 -1


Sample Output for Input 4


3
1
2
4


She evaluates $\langle$ 1, 2, 4 $\rangle$ ones and gets the maximum value 4. Note that $\langle$ 2, 4, 5 $\rangle$ is not lexicographically smallest one.





Example

Input

4
2 0 -2 1


Output

1
1

### Response

```cpp
#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <cmath>
#include <cstdio>
#include <functional>
#include <numeric>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <utility>
#include <sstream>
#include <complex>
#include <fstream>
#include <bitset>
#include <time.h>
#include <tuple>
#include <iomanip>

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef pair<ll, ll> P;
typedef vector<ll> V;
typedef complex<double> Point;

#define PI acos(-1.0)
#define EPS 1e-10
const ll INF = 1e12;
const ll MOD = 1e9 + 7;

#define FOR(i,a,b) for(int i=(a);i<(b);i++)
#define rep(i,N) for(int i=0;i<(N);i++)
#define ALL(s) (s).begin(),(s).end()
#define EQ(a,b) (abs((a)-(b))<EPS)
#define EQV(a,b) ( EQ((a).real(), (b).real()) && EQ((a).imag(), (b).imag()) )
#define fi first
#define se second
#define N_SIZE (1LL << 20)
#define NIL -1

ll sq(ll num) { return num*num; }
ll mod_pow(ll x, ll n) {
	if (n == 0)return 1;
	if (n == 1)return x%MOD;
	ll res = sq(mod_pow(x, n / 2));
	res %= MOD;
	if (n % 2 == 1) {
		res *= x;
		res %= MOD;
	}
	return res;
}
ll mod_add(ll a, ll b) { return (a + b) % MOD; }
ll mod_sub(ll a, ll b) { return (a - b + MOD) % MOD; }
ll mod_mul(ll a, ll b) { return a*b % MOD; }

ll n;
ll a[100100];
vector<ll> vl;
map<ll, ll> mll;

int main() {
	cin >> n;
	rep(i, n) {
		cin >> a[i];
		if (a[i] <= -1)vl.push_back(a[i]);
	}
	sort(ALL(vl));
	if (vl.size() % 2 == 1)vl.pop_back();
	for (int i = vl.size() - 1; i >= 0; i -= 2) {
		if (vl[i] == -1 && vl[i - 1] == -1) {
			vl.pop_back();
			vl.pop_back();
		}
		else break;
	}
	rep(i, vl.size()) {
		mll[vl[i]]++;
	}
	vector<ll> ans;
	rep(i, n) {
		if (a[i] > 1)ans.push_back(i);
		else if (a[i] <= -1) {
			if (mll[a[i]] > 0) {
				mll[a[i]]--;
				ans.push_back(i);
			}
		}
	}
	cout << ans.size() << endl;
	rep(i, ans.size()) {
		cout << ans[i] + 1 << endl;
	}
}

```