#include "bits/stdc++.h"
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
const int INF = 1e9;
const ll LINF = 1e18;
template<class S,class T> ostream& operator << (ostream& out,const pair<S,T>& o){ out << "(" << o.first << "," << o.second << ")"; return out; }
template<class T> ostream& operator << (ostream& out,const vector<T> V){ for(int i = 0; i < V.size(); i++){ out << V[i]; if(i!=V.size()-1) out << " ";} return out; }
template<class T> ostream& operator << (ostream& out,const vector<vector<T> > Mat){ for(int i = 0; i < Mat.size(); i++) { if(i != 0) out << endl; out << Mat[i];} return out; }
template<class S,class T> ostream& operator << (ostream& out,const map<S,T> mp){ out << "{ "; for(auto it = mp.begin(); it != mp.end(); it++){ out << it->first << ":" << it->second; if(mp.size()-1 != distance(mp.begin(),it)) out << ", "; } out << " }"; return out; }


/*
<url:https://onlinejudge.u-aizu.ac.jp/services/room.html#RitsCamp18Day3/problems/B>
問題文============================================================
 N 個の 1 次式 y=aix (1≤i≤N) が与えられます。
 
 1,2,…,N の部分列 s1,s2,…,sk (i<j ならば si<sj) を考えます。
 まず式 s1 を x=1 として評価することから始め、
 式 si を評価した結果を式 si+1 に x として入力することを考えます。すなわち以下のようになります。
 
 x0=1
 xi=a_si*x_i−1 (1≤i≤k)
 
 このとき、xk が最大となるような部分列を求めてください。
 ただし、そのような部分列が複数考えられる場合は列の長さが最小のものを求めるとします。
 また、さらにそのような部分列が複数考えられる場合は辞書順最小のものを求めるとします。
 ただし、部分列 s1,s2,…,sm が t1,t2,…,tn より辞書順で小さいとは以下のいずれかの場合を指します。
 
 ある i が存在して s1=t1,s2=t2,…,si=ti かつ si+1<ti+1
 m<n で、s1=t1,s2=t2,…,sm=tm
 
=================================================================

解説=============================================================

================================================================
*/

void solve(){
    int N; cin >> N;
    vector<int> a(N); for(auto& in:a) cin >> in;
    
    // get 2
    vector<int> idx2;
    // get -2
    vector<int> idxn2;
    // exist -1
    bool n1 = false;
    int idxn1 = -1;
    
    for(int i = 0; i < N;i++){
        if(a[i] == 2) idx2.push_back(i);
        if(a[i] == -2) idxn2.push_back(i);
        if(!n1 && a[i] == -1) { n1 = true; idxn1 = i; }
    }
    
    vector<int> ans;
    for(auto v:idx2) ans.push_back(v);
    for(auto v:idxn2) ans.push_back(v);
    
    if(idxn2.size()%2==0){
        sort(ans.begin(),ans.end());
    }else{
        if(n1) ans.push_back(idxn1);
        else ans.pop_back();
        sort(ans.begin(),ans.end());
    }
    cout << ans.size() << endl;
    for(auto v:ans) cout << v+1 << endl;
}
int main(void) {
	cin.tie(0); ios::sync_with_stdio(false);
    solve();
	return 0;
}


### Prompt

Create a solution in CPP for 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 "bits/stdc++.h"
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
const int INF = 1e9;
const ll LINF = 1e18;
template<class S,class T> ostream& operator << (ostream& out,const pair<S,T>& o){ out << "(" << o.first << "," << o.second << ")"; return out; }
template<class T> ostream& operator << (ostream& out,const vector<T> V){ for(int i = 0; i < V.size(); i++){ out << V[i]; if(i!=V.size()-1) out << " ";} return out; }
template<class T> ostream& operator << (ostream& out,const vector<vector<T> > Mat){ for(int i = 0; i < Mat.size(); i++) { if(i != 0) out << endl; out << Mat[i];} return out; }
template<class S,class T> ostream& operator << (ostream& out,const map<S,T> mp){ out << "{ "; for(auto it = mp.begin(); it != mp.end(); it++){ out << it->first << ":" << it->second; if(mp.size()-1 != distance(mp.begin(),it)) out << ", "; } out << " }"; return out; }


/*
<url:https://onlinejudge.u-aizu.ac.jp/services/room.html#RitsCamp18Day3/problems/B>
問題文============================================================
 N 個の 1 次式 y=aix (1≤i≤N) が与えられます。
 
 1,2,…,N の部分列 s1,s2,…,sk (i<j ならば si<sj) を考えます。
 まず式 s1 を x=1 として評価することから始め、
 式 si を評価した結果を式 si+1 に x として入力することを考えます。すなわち以下のようになります。
 
 x0=1
 xi=a_si*x_i−1 (1≤i≤k)
 
 このとき、xk が最大となるような部分列を求めてください。
 ただし、そのような部分列が複数考えられる場合は列の長さが最小のものを求めるとします。
 また、さらにそのような部分列が複数考えられる場合は辞書順最小のものを求めるとします。
 ただし、部分列 s1,s2,…,sm が t1,t2,…,tn より辞書順で小さいとは以下のいずれかの場合を指します。
 
 ある i が存在して s1=t1,s2=t2,…,si=ti かつ si+1<ti+1
 m<n で、s1=t1,s2=t2,…,sm=tm
 
=================================================================

解説=============================================================

================================================================
*/

void solve(){
    int N; cin >> N;
    vector<int> a(N); for(auto& in:a) cin >> in;
    
    // get 2
    vector<int> idx2;
    // get -2
    vector<int> idxn2;
    // exist -1
    bool n1 = false;
    int idxn1 = -1;
    
    for(int i = 0; i < N;i++){
        if(a[i] == 2) idx2.push_back(i);
        if(a[i] == -2) idxn2.push_back(i);
        if(!n1 && a[i] == -1) { n1 = true; idxn1 = i; }
    }
    
    vector<int> ans;
    for(auto v:idx2) ans.push_back(v);
    for(auto v:idxn2) ans.push_back(v);
    
    if(idxn2.size()%2==0){
        sort(ans.begin(),ans.end());
    }else{
        if(n1) ans.push_back(idxn1);
        else ans.pop_back();
        sort(ans.begin(),ans.end());
    }
    cout << ans.size() << endl;
    for(auto v:ans) cout << v+1 << endl;
}
int main(void) {
	cin.tie(0); ios::sync_with_stdio(false);
    solve();
	return 0;
}


```