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 Rust (1.15.1) (judge verdict: Accepted)

#[allow(unused_imports)]
use std::cmp::*;
#[allow(unused_imports)]
use std::collections::*;
use std::io::*;
#[allow(dead_code)]
fn getline() -> String {
    let mut ret = String::new();
    std::io::stdin().read_line(&mut ret).ok();
    return ret;
}
fn get_word() -> String {
    let mut stdin = std::io::stdin();
    let mut u8b: [u8; 1] = [0];
    loop {
        let mut buf: Vec<u8> = Vec::with_capacity(16);
        loop {
            let res = stdin.read(&mut u8b);
            if res.is_err() || res.ok().unwrap() == 0 || u8b[0] <= ' ' as u8 {
                break;
            } else {
                buf.push(u8b[0]);
            }
        }
        if buf.len() >= 1 {
            let ret = std::string::String::from_utf8(buf).unwrap();
            return ret;
        }
    }
}
fn parse<T: std::str::FromStr>(s: &str) -> T { s.parse::<T>().ok().unwrap() }

#[allow(dead_code)]
fn get<T: std::str::FromStr>() -> T { parse(&get_word()) }

fn main() {
    let n: usize = get();
    let m: usize = get();
    let a: Vec<usize> = (0 .. m).map(|_| get()).collect();
    let mut e = 0;
    for i in 0 .. m {
        e += a[i] / 2;
    }
    if e < n - 1 - n / 2 {
        println!("Impossible");
        return;
    }
    let mut odd = Vec::new();
    let mut rest = Vec::new();
    for a in a {
        if a % 2 == 1 {
            odd.push(a);
        } else {
            rest.push(a);
        }
    }
    let mut ans1 = vec![0; m];
    let mut ans2;
    if n % 2 == 1 {
        // a[i] must have exactly one odd element
        assert_eq!(odd.len(), 1);
        let odd = odd[0];
        ans2 = vec![0; m + 1];
        ans1[0] = odd;
        ans2[0] = odd - 1;
        for i in 0 .. m - 1 {
            ans1[i + 1] = rest[i];
            ans2[i + 1] = rest[i];
        }
        ans2[m] = 1;
    } else {
        assert!(odd.len() == 0 || odd.len() == 2);
        if odd.len() == 0 {
            ans1 = rest;
            ans2 = vec![0; m + 1];
            ans2[0] = 1;
            for i in 0 .. m {
                ans2[i + 1] = ans1[i];
            }
            ans2[m] -= 1;
        } else {
            ans2 = vec![0; m];
            ans1[0] = odd[0];
            ans2[0] = odd[0] + 1;
            for i in 0 .. m - 2 {
                ans1[i + 1] = rest[i];
                ans2[i + 1] = rest[i];
            }
            ans2[m - 1] = odd[1] - 1;
            ans1[m - 1] = odd[1];
        }
    }
    ans2 = ans2.into_iter().filter(|&x| x != 0).collect();
    for i in 0 .. ans1.len() {
        print!("{}{}", ans1[i], if i + 1 == ans1.len() { "\n" } else { " " });
    }
    println!("{}", ans2.len());
    for i in 0 .. ans2.len() {
        print!("{}{}", ans2[i], if i + 1 == ans2.len() { "\n" } else { " " });
    }
}