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