Problem:
Score : 1000 points

Problem Statement

Snuke got a present from his mother on his birthday.
The present was a pair of two sequences a and b, consisting of positive integers.
They satisfied all of the following properties:

The sum of all elements of a is N.

The sum of all elements of b is N.

Any string of length N that satisfies the following two conditions (1) and (2) will also satisfy the condition (3).

(1) Any of the following forms a palindrome: the first a_1 letters, the following a_2 letters, the following a_3 letters and so on.

(2) Any of the following forms a palindrome: the first b_1 letters, the following b_2 letters, the following b_3 letters and so on.

(3) All N letters are the same.

He was happy, until one day he lost both of the sequences.
Now, he only remembers that the sequence a was a permutation of another sequence A of length M.

To bring him happiness again, his mother has decided to give him another pair of sequences a and b that satisfies his favorite properties and is consistent with his memory.

Constraints

1≦N≦10^5

1≦M≦100

1≦A_i≦10^5

The sum of all A_i equals N.

Input

The input is given from Standard Input in the following format:

N M
A_1 A_2 ... A_M

Output

If there exists a pair of sequences a and b that satisfies the properties and is consistent with Snuke's memory, print three lines. The first line must contain the sequence a, the second line must contain the length of the sequence b, and the third line must contain the sequence b.

If such a pair does not exist (because Snuke's memory is wrong or some other reason), print a single line containing the word Impossible (case-sensitive).

Sample Input 1

3 2
2 1

Sample Output 1

1 2
1
3

Sample Input 2

6 1
6

Sample Output 2

6
3
1 2 3

Sample Input 3

55 10
1 2 3 4 5 6 7 8 9 10

Sample Output 3

Impossible

Solution in C++14 (GCC 5.4.1) (judge verdict: Wrong Answer)

#include<iostream>
#include<algorithm>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<string>
#include<stack>
#include<cstdio>
#include<cmath>
using namespace std;

typedef long long ll;
typedef long double ld;
typedef pair<int,int> P;
typedef pair<int,P> P1;

#define fr first
#define sc second
#define mp make_pair
#define pb push_back
#define rep(i,x) for(int i=0;i<x;i++)
#define rep1(i,x) for(int i=1;i<=x;i++)
#define rrep(i,x) for(int i=x-1;i>=0;i--)
#define rrep1(i,x) for(int i=x;i>0;i--)
#define sor(v) sort(v.begin(),v.end())
#define rev(s) reverse(s.begin(),s.end())
#define lb(vec,a) lower_bound(vec.begin(),vec.end(),a)
#define ub(vec,a) upper_bound(vec.begin(),vec.end(),a)
#define uniq(vec) vec.erase(unique(vec.begin(),vec.end()),vec.end())
#define mp1(a,b,c) P1(a,P(b,c))

const int INF=1000000000;
const int dir_4[4][2]={{1,0},{0,1},{-1,0},{0,-1}};
const int dir_8[8][2]={{1,0},{1,1},{0,1},{-1,1},{-1,0},{-1,-1},{0,-1},{1,-1}};

int main(){
	puts("Impossible");
	return 0;
	
	
	int n,m,a[102];
	vector<int> b;
	scanf("%d%d",&n,&m);
	rep(i,m)scanf("%d",&a[i]);
	
	int cnt = 0;
	rep(i,m)cnt += a[i]%2;
	if(cnt >= 3){
		puts("Impossible");
		return 0;
	}
	
	if(n%2 == 0){
		if(cnt == 0){
			if(m == 1){
				b.pb(a[0]-1);
				b.pb(1);
			}
			else {
				b.pb(a[0]+1);
				for(int i = 1 ; i+1 < m ; i ++){
					b.pb(a[i]);
				}
				b.pb(a[m-1]-1);
			}
		}
		else {
			rep1(i,m-1){
				if(a[i]%2 != 0){
					if(a[0]%2 != 0)swap(a[0],a[i]);
					else if(i != m-1)swap(a[i],a[m-1]);
				}
			}
			b.pb(a[0]-1);
			rep1(i,m-2)b.pb(a[i]);
			b.pb(a[m-1]+1);
		}
	}
	else {
		if(m == 1){
			b.pb(a[0]-1);
			b.pb(1);
		}
		else {
			rep(i,m)if(a[i]%2 != 0 && i != m-1)swap(a[i],a[m-1]);
			b.pb(a[0]+1);
			for(int i = 1 ; i+1 < m ; i ++){
				b.pb(a[i]);
			}
			b.pb(a[m-1]-1);
		}
	}
	
	vector<int> ans;
	rep(i,b.size())if(b[i] != 0)ans.pb(b[i]);
	
	rep(i,m)printf("%d%c",a[i],(i==m-1)?'\n':' ');
	printf("%d\n",ans.size());
	rep(i,ans.size())printf("%d%c",ans[i],(i+1==ans.size())?'\n':' ');
}