题目描述

塔子哥有一个长度为 n 的数组 a。他想要使得所有$a_i$的最大公因子是一个素数。即:$gcd(a_1,a_2,...,a_n)$是一个素数。他可以对数组进行任意次操作。具体的:每次操作，他会选择$i,j$两个下标，同时执行:$a_i=a_i+2,a_j=a_j-2$

请问他是否有可能在任意次操作内将数组变成符合要求的，如果可以，请输出所有可能的最大公因数。注意，这里要保证$a_j$，在操作后仍然是正数，即不能选择$a_j\le 2$.