{-# LANGUAGE OverloadedStrings #-} module Main where import Data.Maybe import qualified Data.ByteString.Char8 as C import Control.Monad(forM_) import Data.Int import Data.List import Data.Array import Data.Word import Data.Bits import qualified Data.IntMap as IntMap import qualified Data.Map as Map import Data.Functor import Data.Tuple yes :: C.ByteString yes = "YES" no :: C.ByteString no = "NO" getInts :: IO [Int] getInts = do ss <- C.getLine return $ map (fst . fromJust . C.readInt) $ C.words ss getIntss :: Int -> IO [[Int]] getIntss 0 = return [] getIntss n = do xs <- getInts xss <- getIntss (n - 1) return $ xs : xss -- end standard template -- toPair :: [a] -> (a,a) toPair xs = ((xs !! 0), (xs !! 1)) main :: IO () main = do [n,m] <- getInts xss <- getIntss m let res = solve n m xss print res solve :: Int -> Int -> [[Int]] -> Int solve n m xss = res where as = accumArray (||) False ((0,0),(n-1,n-1)) $ zip ((toPair <$> xss) ++ (swap.toPair <$> xss)) (repeat True) ys = [f n1 n2 n3 n4 | n1 <- ts, n2 <- ts, n3 <- ts, n4 <- ts] ts = [0..n-1] f :: Int -> Int -> Int -> Int -> Bool f n1 n2 n3 n4 = as ! (n1, n2) && as ! (n2, n3) && as ! (n3, n4) && as ! (n4, n1) && not (as ! (n1, n3)) && not (as ! (n2, n4)) && n1 /= n3 && n2 /= n4 t = length $ filter (==True) ys res = t `div` 8