import           Control.Monad.ST
import           Control.Monad.State
import qualified Data.ByteString.Char8     as BSC8
import           Data.Char
import           Data.Coerce
import qualified Data.Vector.Unboxed       as VU
import qualified GHC.Integer.GMP.Internals as GMP

main :: IO ()
main = do
  t <- readLn :: IO Int
  xs <- parseN2 t
  putStr . unlines . map show . VU.toList $ solve xs

solve :: VU.Vector (Int, Int) -> VU.Vector Int
solve vec = runST $ do
  flip VU.mapM vec $ \v -> do
    let
      x = fst v
      k = snd v
      b = powModInt k 500000001 1000000006
    return $ powModInt x b 1000000007

fi :: Int -> Integer
fi = fromIntegral
{-# INLINE fi #-}
fI :: Integer -> Int
fI = fromInteger
{-# INLINE fI #-}
powModInt :: Int -> Int -> Int -> Int
powModInt a b m = fI $ GMP.powModInteger (fi a) (fi b) (fi m)
{-# INLINE powModInt #-}
type CParser a = StateT BSC8.ByteString Maybe a
runCParser :: CParser a -> BSC8.ByteString -> Maybe (a, BSC8.ByteString)
runCParser = runStateT
{-# INLINE runCParser #-}
int :: CParser Int
int = coerce $ BSC8.readInt . BSC8.dropWhile isSpace
{-# INLINE int #-}
parseN2 :: Int -> IO (VU.Vector (Int, Int))
parseN2 n = VU.unfoldrN n (runCParser $ (,) <$> int <*> int) <$> BSC8.getContents
{-# INLINE parseN2 #-}