{-# htermination isPrefixOf :: [Int] -> [Int] -> Bool #-}
import List