{-# htermination readList :: String -> [([Int],String)] #-}