Problem:
Score : 500 points

Problem Statement

We have N integers. The i-th number is A_i.

\{A_i\} is said to be pairwise coprime when GCD(A_i,A_j)=1 holds for every pair (i, j) such that 1\leq i < j \leq N.

\{A_i\} is said to be setwise coprime when \{A_i\} is not pairwise coprime but GCD(A_1,\ldots,A_N)=1.

Determine if \{A_i\} is pairwise coprime, setwise coprime, or neither.

Here, GCD(\ldots) denotes greatest common divisor.

Constraints

2 \leq N \leq 10^6

1 \leq A_i\leq 10^6

Input

Input is given from Standard Input in the following format:

N
A_1 \ldots A_N

Output

If \{A_i\} is pairwise coprime, print pairwise coprime; if \{A_i\} is setwise coprime, print setwise coprime; if neither, print not coprime.

Sample Input 1

3
3 4 5

Sample Output 1

pairwise coprime

GCD(3,4)=GCD(3,5)=GCD(4,5)=1, so they are pairwise coprime.

Sample Input 2

3
6 10 15

Sample Output 2

setwise coprime

Since GCD(6,10)=2, they are not pairwise coprime. However, since GCD(6,10,15)=1, they are setwise coprime.

Sample Input 3

3
6 10 16

Sample Output 3

not coprime

GCD(6,10,16)=2, so they are neither pairwise coprime nor setwise coprime.

Solution in Haskell (GHC 8.8.3) (judge verdict: Wrong Answer)

{-# LANGUAGE BangPatterns #-}
import           Control.Exception           (assert)
import           Control.Monad
import           Control.Monad.Primitive
import qualified Control.Monad.ST            as ST
import qualified Data.Array.IO               as IO
import qualified Data.Array.ST               as ST
import qualified Data.Array.Unboxed          as A
import           Data.Bits
import qualified Data.ByteString.Char8       as BS
import           Data.Char
import           Data.Foldable
import           Data.List
import qualified Data.Map.Strict             as Map
import           Data.Maybe
import qualified Data.Sequence               as Seq
import qualified Data.Set                    as Set
import qualified Data.Vector                 as VB
import qualified Data.Vector.Mutable         as VBM
import qualified Data.Vector.Unboxed         as V
import qualified Data.Vector.Unboxed.Mutable as VM
import           Debug.Trace

readInt = fst . fromJust . BS.readInt
readIntList = map readInt . BS.words
getInt = readInt <$> BS.getLine
getIntList = readIntList <$> BS.getLine
getIntVec n = V.unfoldrN n (BS.readInt . BS.dropWhile isSpace) <$> BS.getLine

readInteger = fst . fromJust . BS.readInteger
readIntegerList = map readInteger . BS.words
getInteger = readInteger <$> BS.getLine
getIntegerList = readIntegerList <$> BS.getLine

inf :: Int
inf = 10^18

m = 63

ps = V.fromList $ take m  [2, 3, 5, 7, 11, 13, 17, 19, 23, 29,
                           31, 37, 41, 43, 47, 53, 59, 61, 67, 71,
                           73, 79, 83, 89, 97, 101, 103, 107, 109,
                           113, 127, 131, 137, 139, 149, 151, 157,
                           163, 167, 173, 179, 181, 191, 193, 197,
                           199, 211, 223, 227, 229, 233, 239, 241,
                           251, 257, 263, 269, 271, 277, 281, 283,
                           293, 307, 311, 313, 317, 331, 337, 347,
                           349, 353, 359, 367, 373, 379, 383, 389,
                           397, 401, 409, 419, 421, 431, 433, 439,
                           443, 449, 457, 461, 463, 467, 479, 487,
                           491, 499, 503, 509, 521, 523, 541, 547,
                           557, 563, 569, 571, 577, 587, 593, 599,
                           601, 607, 613, 617, 619, 631, 641, 643,
                           647, 653, 659, 661, 673, 677, 683, 691,
                           701, 709, 719, 727, 733, 739, 743, 751,
                           757, 761, 769, 773, 787, 797, 809, 811,
                           821, 823, 827, 829, 839, 853, 857, 859,
                           863, 877, 881, 883, 887, 907, 911, 919,
                           929, 937, 941, 947, 953, 967, 971, 977,
                           983, 991, 997]

num2pbits n i b | i >= m = b
                | otherwise = let x = (1::Int) `shiftL` i
                                  p = ps V.! i
                                  b' = if n `mod` p == 0
                                       then b + x
                                       else b
                              in if p < n
                                 then num2pbits n (i+1) b'
                                 else b'

main = do
  n <- getInt
  as <- getIntVec n

  let as' = V.map (\x -> num2pbits x 0 0) as
      band = V.foldr1 (.&.) as' -- band == 0 => setwise coprime

      checkPairwise i d | i >= n = True
                        | otherwise = let x = as' V.! i
                                      in if d .&. x /= 0
                                         then False
                                         else checkPairwise (i+1) (d .|. x)

      ans | checkPairwise 0 0 = "pairwise coprime"
          | band == 0         = "setwise coprime"
          | otherwise         = "not coprime"

  putStrLn ans