Spiraali

input/code.hs:23:23: warning: [-Wtype-defaults]
    * Defaulting the following constraints to type `Integer'
        (Integral b0) arising from a use of `^' at input/code.hs:23:23-25
        (Num b0) arising from the literal `2' at input/code.hs:23:25
    * In the first argument of `(-)', namely `m ^ 2'
      In the second argument of `(*)', namely `(m ^ 2 - t ^ 2)'
      In the first argument of `(+)', namely `4 * (m ^ 2 - t ^ 2)'
   |
23 |     | otherwise  = 4*(m^2 - t^2) + f t (x, y)
   |                       ^^^

input/code.hs:23:29: warning: [-Wtype-defaults]
    * Defaulting the following constraints to type `Integer'
        (Integral b0) arising from a use of `^' at input/code.hs:23:29-31
        (Num b0) arising from the literal `2' at input/code.hs:23:31
    * In the second argument of `(-)', namely `t ^ 2'
      In the second argument of `(*)', namely `(m ^ 2 - t ^ 2)'
      In the first argument of `(+)', namely `4 * (m ^ 2 - t ^ 2)'
   |
23 |     | otherwise  = 4*(m^2 -...

import Control.Monad

main :: IO [()]
main = do
    (t, n) <- readLine
    coords <- replicateM (fromInteger t) readLine
    let m = div n 2
    let coords' = map (\(x,y) -> (x - m, y - m)) coords
    mapM (print . (f m)) coords'

readLine :: IO (Integer, Integer)
readLine = do
    line <- getLine
    let [y, x] = map read $ words line
    pure (x, y)

f :: Integer -> (Integer, Integer) -> Integer
f m (x, y)  
    | x == m     = 5 * m - 1 - y
    | x == 1 - m = m + y
    | y == m     = 3 * m - 1 + x
    | y == 1 - m = 7 * m - 2 - x
    | otherwise  = 4*(m^2 - t^2) + f t (x, y)
    where t = max (distFromCenter x) (distFromCenter y)

distFromCenter coord 
    | coord <= 0 = 1 - coord
    | otherwise = coord

Test 1

Group: 1

Verdict: ACCEPTED

Test 2

Group: 2

Verdict: ACCEPTED

Test 3

Group: 3

Verdict: ACCEPTED