. Осталось избавиться от "как"ов...
main = do
n <- readLn
sequence_ $ map (\x -> putStr ("Case #" ++ show x ++ ": ") >> forCase) [1..n]
forCase :: IO ()
forCase = do
s <- readLn
engines <- sequence $ take s $ repeat getLine
q <- readLn
queries <- sequence $ take q $ repeat getLine
print $ max 0 $ solve engines queries
solve :: [String] -> [String] -> Int
solve _ [] = -1
solve e q = 1 + solve e (drop (stuff e q) q)
stuff e q = maximum $ map (lenForEngine q) e
lenForEngine q e = length $ takeWhile (/= e) q.
Ее область использования вполне ограничена. Ни одна формализация не способна охватить все проявления мира во всех условиях и подобные попытки ненаучны.this i know, there is one who captures me,
for an age i stared at the heart of the moon,
rise and fall rise and fall.
i close my eyes i wish for freedom when i open my eyes
i found myself asleep.
the emptiness of my eyes the memory of moonlight whispers seductively.
worlds away worlds away worlds away.
trying to forget i looked in the heart of each perfect star each so full of myriad wonders of their own.
but in the night one cannot deny her,
there can be no shadows without her defining light.
my life became a dream as it sank
into the void of the fantasy i constructed
from her intangible attributes from which i awoke
i had to again learn to see.
she is cold, she does not have the power to sustain my life, upon her i would die.
love non absolute love. love imperfect love.
love non absolute love. love imperfect love.
an inner closeness a mutual respect the power of trust the thunder of laughter shared words,
we are the same, we are so different.
i dared not look at her speak to her but i did.
i dared not look at her speak to her but i did.
fact's a fact, man was not meant for the moon,
this one fear, it was like an open wound.
we are so close, the distance between us is a kiss,
a kiss that does not exist, a soft gentle petal flying on the wild wings of the wind.
a single petal from the violent grace of the flower of woe.
may we all vomit at the stench of its perfume.