1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
#include <stdio.h>
int n;
int t[1000001];

int main() {
  int a;

  scanf("%d", &n);
  while(n--) {
    scanf("%d", &a);
    t[a]++;
  }
  if(t[1] > 2) t[1]=2;
  printf("%d\n2\n1 2\n", 2-t[1]);
  return 0;
}