{-# LANGUAGE BangPatterns #-} {- base -} import Control.Arrow import Control.Monad import Control.Monad.ST import Data.Bool import Data.Char {- integer-gmp -} import qualified GHC.Integer.GMP.Internals as GMP {- bytestring -} import qualified Data.ByteString.Char8 as BSC8 {- vector -} import qualified Data.Vector as V import qualified Data.Vector.Fusion.Stream.Monadic as VFSM import qualified Data.Vector.Unboxed as VU import qualified Data.Vector.Unboxed.Mutable as VUM main :: IO () main = do n <- parse1 rep n $ \_ -> do p <-parse1 print $ tetrationMod 2 32 (p * (p - 1)) powModInt :: Int -> Int -> Int -> Int powModInt a b c = fromInteger $ GMP.powModInteger (fromIntegral a) (fromIntegral b) (fromIntegral c) {-# INLINE powModInt #-} tetrationMod :: Int -> Int -> Int -> Int tetrationMod a b m | m == 1 = 0 | a == 0 = bool 0 1 (even b) | b == 0 = 1 | b == 1 = a `mod` m | b == 2 = powModInt a b m | otherwise = let phi = m - 1 in powModInt (a `mod` m) ((tetrationMod a (b - 1) phi) + phi) m -- input type Parser a = BSC8.ByteString -> Maybe (a, BSC8.ByteString) parseInt :: Parser Int parseInt = fmap (second BSC8.tail) . BSC8.readInt parse1 :: IO Int parse1 = readLn parseN :: Int -> IO (VU.Vector Int) parseN n = VU.replicateM n parse1 -- rep stream :: Monad m => Int -> Int -> VFSM.Stream m Int stream !l !r = VFSM.Stream step l where step x | x < r = return $ VFSM.Yield x (x + 1) | otherwise = return VFSM.Done {-# INLINE [0] step #-} {-# INLINE [1] stream #-} rep :: Monad m => Int -> (Int -> m ()) -> m () rep n = flip VFSM.mapM_ (stream 0 n) {-# INLINE rep #-}