因为只有相邻的互质的\(a_i\)可以交换，那么就说明不互质的\(a_i\)无法相交换，对应的位置关系也就不会改变。于是可以考虑图论建模，对于\(\gcd(a_i,a_j)>1\)，连边\((i,j)\)。那么对于先手，就相当于要把这些边定向，变为一个DAG。而后手因为要保证最大，所以肯定是在DAG上跑