Kertoma

input/code.hs:1:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      factorial :: (Num a, Enum a) => a -> a
  |
1 | factorial n = product [1..n]
  | ^^^^^^^^^

input/code.hs:3:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      digits :: Show a => a -> [Int]
  |
3 | digits n = map (\i -> length $ filter (==i) $ show n) ['0'..'9']
  | ^^^^^^

input/code.hs:5:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature: main :: IO ()
  |
5 | main = interact $ show . head . (\n -> filter (\i -> n == (digits $ factorial i)) [1..]) . map (read) . words
  | ^^^^

input/code.hs:5:19: warning: [-Wtype-defaults]
    * Defaulting the following constraints to type `Integer'
        (Show a0) arising from a use of `show' at input/code.hs:5:19-22
        (Num a0) arising from a use of `factorial' at input/code.hs:5:69-79
        (Enum a0)
          arising from a use of `factorial' at input/code.hs:5:69-79...

factorial n = product [1..n]

digits n = map (\i -> length $ filter (==i) $ show n) ['0'..'9']

main = interact $ show . head . (\n -> filter (\i -> n == (digits $ factorial i)) [1..]) . map (read) . words

Test 1

Group: 1, 2, 3

Verdict: ACCEPTED

Test 2

Group: 1, 2, 3

Verdict: ACCEPTED

Test 3

Group: 1, 2, 3

Verdict: ACCEPTED

Test 4

Group: 1, 2, 3

Verdict: ACCEPTED

Test 5

Group: 1, 2, 3

Verdict: ACCEPTED

Test 6

Group: 1, 2, 3

Verdict: ACCEPTED

Test 7

Group: 2, 3

Verdict: ACCEPTED

Test 8

Group: 2, 3

Verdict: ACCEPTED

Test 9

Group: 2, 3

Verdict: ACCEPTED

Test 10

Group: 2, 3

Verdict: ACCEPTED

Test 11

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 12

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 13

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 14

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 15

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 16

Group: 3

Verdict: TIME LIMIT EXCEEDED