main = do --print . map read file <- readFile "13.txt" putStrLn . take 10 $ show . sum $ map read (lines file)