--import qualified Geometry.Sphere as Sphere {-# LANGUAGE BangPatterns #-} import Control.Monad import qualified Data.ByteString.Char8 as BS import Data.Maybe readInt :: BS.ByteString -> Int readInt = fst . fromJust . BS.readInt readIntList :: BS.ByteString -> [Int] readIntList = map readInt . BS.words getIntList :: IO [Int] getIntList = readIntList <$> BS.getLine main :: IO () main = do l <- replicateM 3 getIntList let p = [(i !! 0, i !! 1)|i <- l] let s = case solvemultiCRT p of Nothing -> -1 Just (0, a) -> a Just (a, _) -> a print s extGcd :: Int -> Int -> ((Int, Int), Int) extGcd a 0 = ((1, 0), a) extGcd a b = ((s, t-(a `quot` b)*s), g) where ((t, s), g) = extGcd b (a `rem` b) solveCRT :: (Int, Int) -> (Int, Int) -> Maybe (Int, Int) -- (a, b)はa mod b solveCRT (a1, n1) (a2, n2) |(a2-a1) `mod` r /= 0 = Nothing |otherwise = Just ((n1*ans+a1)`mod`x, x) where ((p, _), r) = extGcd n1 n2 ans = (a2-a1)`quot`r*p`rem`(n2`quot`r) x = (n1`quot`r)*n2 solvemultiCRT :: [(Int, Int)] -> Maybe (Int, Int) solvemultiCRT [] = Just (0, 1) solvemultiCRT (x:xs) = case solvemultiCRT xs of Nothing -> Nothing Just t -> solveCRT t x