import System.IO

main :: IO ()
main = readFile "src.txt" >>= writeFile "dst.txt" . toText . toString . toX3Double . split
  where
    split = map words . lines
    toX3Double = (map . map) ((*3) . read) :: [[String]] -> [[Double]]
    toString = (map . map) show
    toText = unlines . map unwords


허접해서 불필요하게 장황하다는 느낌을 지울 수가 없네요...

아무튼 정상적으로 입출력은 됩니다