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