id p = p p && p = p p || p = p p && q = q && p p || q = q || p not (not p) = p p && True = p True && p = p p && False = False False && p = False p || True = True True || p = True p || False = p False || p = p p && not p = False p || not p = True not p && p = False not p || p = True (p && q) && r = p && (q && r) (p || q) || r = p || (q || r) not (p && q) = not p || not q not (p || q) = not p && not q not False = True not True = False not (not p && not q) = p || q not (not p || not q) = p && q p && not (p && q) = p && not q id x = x abs (abs x) = abs x x + 0 = x 0 + x = x x * 1 = x 1 * x = x x * 0 = 0 0 * x = 0 x + y = y + x x * y = y * x (x + y) + z = x + (y + z) (x * y) * z = x * (y * z) (x + x) * y = x * (y + y) x * (y + 1) = x + x * y (x + 1) * y = x + x * y x * (y + z) = x * y + x * z (x + y) * z = x * z + y * z negate (negate x) = x x + negate x = 0 negate x + x = 0 abs (negate x) = abs x 2 * x = x + x x * 2 = x + x 3 * x = x + (x + x) x * 3 = x + (x + x) 4 * x = x + (x + (x + x)) x * 4 = x + (x + (x + x)) abs (x * x) = x * x abs x * abs y = abs (x * y) abs x * abs x = abs (x + x) abs (abs x + abs y) = abs x + abs y abs (x + x) * y = abs x * y + abs x * y abs x * signum x = x signum x * abs x = x id xs = xs head (x:xs) = x tail (x:xs) = xs xs ++ [] = xs [] ++ xs = xs [x] ++ xs = x:xs (x:xs) ++ ys = x:(xs ++ ys) (xs ++ ys) ++ zs = xs ++ (ys ++ zs) elem x (sort xs) = elem x xs elem x (insert y xs) = elem x (y:xs) sort (sort xs) = sort xs insert x [] = [x] sort (xs ++ ys) = sort (ys ++ xs) sort (insert x xs) = insert x (sort xs) sort (x:xs) = insert x (sort xs) sort (xs ++ sort ys) = sort (xs ++ ys) sort (sort xs ++ ys) = sort (xs ++ ys) insert x (insert y xs) = insert y (insert x xs) insert x (x:xs) = x:x:xs insert x [y] = insert y [x] length (x:xs) = length (y:xs) length (xs ++ ys) = length (ys ++ xs) length (x:y:xs) = length (z:x':xs) length (x:(xs ++ ys)) = length (y:(ys ++ xs)) length (xs ++ (ys ++ zs)) = length (xs ++ (zs ++ ys)) not (odd x) = even x not (even x) = odd x x == x = True x /= x = False p == p = True p /= p = False f (g x) = (f . g) x map id xs = xs map (f . g) xs = map f (map g xs) f . id = f id . f = f (f . g) . h = f . (g . h) not . not = id (id x :: Int,[(x :: Int,_ :: Int)],x :: Int) (id x :: Int,[(x :: Int,x :: Int)],x :: Int) (id x :: Int,[(x :: Int,0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id _ :: Int)],x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ :: Int)],y + x :: Int) (id x :: Int,[(x :: Int,y :: Int)],x :: Int) (id x :: Int,[(x :: Int,1 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id x :: Int)],x :: Int) (id x :: Int,[(x :: Int,id 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,head _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,ord _ :: Int)],x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,_ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id _ :: Int)],y + x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ :: Int)],y * x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (not False :: Bool,[],True :: Bool) (not True :: Bool,[],False :: Bool) (not (not p) :: Bool,[(p :: Bool,_ :: Bool)],p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (id x :: Int,[(x :: Int,z :: Int)],x :: Int) (id x :: Int,[(x :: Int,-1 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id y :: Int)],x :: Int) (id x :: Int,[(x :: Int,id 1 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (ord _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate x :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs x :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + x :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + id _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,x + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,0 + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,id _ + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ * _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,f _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,head xs :: Int)],x :: Int) (id x :: Int,[(x :: Int,head [] :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (_:_) :: Int)],x :: Int) (id x :: Int,[(x :: Int,ord c :: Int)],x :: Int) (id x :: Int,[(x :: Int,ord 'a' :: Int)],x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,y :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,1 :: Int),(x :: Int,_ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,head _ :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,ord _ :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,x :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(x +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,0 :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(0 +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,id _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,id _ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id _ +) :: Int -> Int)],(f . g) x :: Int) (x * y :: Int,[(y :: Int,x :: Int),(x :: Int,_ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,0 :: Int),(x :: Int,_ :: Int)],y * x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ *) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,f :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,y :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,1 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id 0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (id _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,negate _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,abs _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ + _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,head _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,ord _ :: Int)],y + x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,x :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,0 :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,id _ :: Int)],y * x :: Int) (head (x:xs) :: Int,[(xs :: [Int],xs :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],[] :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_:_ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,x :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,0 :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,id _ :: Int)],x :: Int) (not (not p) :: Bool,[(p :: Bool,p :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,False :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,True :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,not _ :: Bool)],p :: Bool) (not (p || q) :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,_ :: Bool)],not p && not q :: Bool) (p || q :: Bool,[(q :: Bool,p :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,False :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,True :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not _ :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,p :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,False :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,True :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,not _ :: Bool)],q || p :: Bool) (p && q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,_ :: Bool)],q && p :: Bool) (x == x :: Bool,[(x :: Int,_ :: Int)],True :: Bool) (p == p :: Bool,[(p :: Bool,_ :: Bool)],True :: Bool) (tail (x:xs) :: [Int],[(xs :: [Int],_ :: [Int]),(x :: Int,_ :: Int)],xs :: [Int]) (xs ++ [] :: [Int],[(xs :: [Int],_ :: [Int])],xs :: [Int]) ([] ++ xs :: [Int],[(xs :: [Int],_ :: [Int])],xs :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_ :: [Int]),(xs :: [Int],_ :: [Int]),(x :: Int,_ :: Int)],x:(xs ++ ys) :: [Int]) (id x :: Int,[(x :: Int,x' :: Int)],x :: Int) (id x :: Int,[(x :: Int,2 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id z :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (-1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id y) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id 1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (id _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (negate _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (abs _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (_ + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (head _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (ord _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (x + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (0 + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id _ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ * _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (f _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head xs) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head []) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (_:_)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (ord c) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (ord 'a') :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate y :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate 1 :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (negate _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (abs _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (_ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (head _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (ord _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs y :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs 1 :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (negate _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (abs _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (_ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (head _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (ord _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + y :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + 1 :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + id x :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + id 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + id (id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + negate _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + abs _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + (_ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + head _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ + ord _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,x + x :: Int)],x :: Int) (id x :: Int,[(x :: Int,x + 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,x + id _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,0 + x :: Int)],x :: Int) (id x :: Int,[(x :: Int,0 + 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,0 + id _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,id _ + x :: Int)],x :: Int) (id x :: Int,[(x :: Int,id _ + 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id _ + id _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ * x :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ * 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,_ * id _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,f x :: Int)],x :: Int) (id x :: Int,[(x :: Int,f 0 :: Int)],x :: Int) (id x :: Int,[(x :: Int,f (id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,y + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,1 + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,id x + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,id 0 + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id _) + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate _ + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs _ + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,(_ + _) + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,head _ + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,ord _ + _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,x * _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,0 * _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,id _ * _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,g _ :: Int)],x :: Int) (id x :: Int,[(x :: Int,head ys :: Int)],x :: Int) (id x :: Int,[(x :: Int,head [0] :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (_:xs) :: Int)],x :: Int) (id x :: Int,[(x :: Int,head [_] :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (_:_:_) :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (x:_) :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (0:_) :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (id _:_) :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (tail _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,head (_ ++ _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,ord d :: Int)],x :: Int) (id x :: Int,[(x :: Int,ord ' ' :: Int)],x :: Int) (f (g x) :: Int,[(x :: Int,y :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,1 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id 0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id (id _) :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,negate _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,abs _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ + _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,head _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,ord _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(x +) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(0 +) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(id _ +) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ *) :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,f :: Int -> Int),(f :: Int -> Int,negate :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,y :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,1 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id 0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id (id _) :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,negate _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,abs _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ + _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,head _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,ord _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(x +) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(0 +) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(id _ +) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ *) :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,f :: Int -> Int),(f :: Int -> Int,abs :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,z :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,-1 :: Int),(x :: Int,_ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,y :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,1 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id 0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id (id _) :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,negate _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,abs _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ + _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,head _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,ord _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(x +) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(0 +) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(id _ +) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ *) :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,f :: Int -> Int),(f :: Int -> Int,(_ +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,head xs :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,head [] :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,head (_:_) :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,ord c :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,ord 'a' :: Int),(x :: Int,_ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,y :: Int),(x :: Int,x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,1 :: Int),(x :: Int,x :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(x +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(x +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(x +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(x +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(x +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(x +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,head _ :: Int),(x :: Int,x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,ord _ :: Int),(x :: Int,x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,y :: Int),(x :: Int,0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,1 :: Int),(x :: Int,0 :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(0 +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(0 +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(0 +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(0 +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(0 +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(0 +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,head _ :: Int),(x :: Int,0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,ord _ :: Int),(x :: Int,0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,y :: Int),(x :: Int,id _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,1 :: Int),(x :: Int,id _ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id _ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id _ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id _ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(id _ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(id _ +) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(id _ +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,head _ :: Int),(x :: Int,id _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,ord _ :: Int),(x :: Int,id _ :: Int)],y + x :: Int) (x * y :: Int,[(y :: Int,y :: Int),(x :: Int,_ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,1 :: Int),(x :: Int,_ :: Int)],y * x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ *) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ *) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(_ *) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,(_ *) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,(_ *) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,(_ *) :: Int -> Int)],(f . g) x :: Int) (x * y :: Int,[(y :: Int,head _ :: Int),(x :: Int,_ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,ord _ :: Int),(x :: Int,_ :: Int)],y * x :: Int) (f (g x) :: Int,[(x :: Int,x :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,f :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,0 :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,f :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,id _ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,f :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,negate :: Int -> Int),(f :: Int -> Int,f :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,abs :: Int -> Int),(f :: Int -> Int,f :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,(_ +) :: Int -> Int),(f :: Int -> Int,f :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,y :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,y :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(y +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,1 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,1 :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(1 +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,id x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,id x :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id x +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,id 0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,id 0 :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id 0 +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,id (id _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,id (id _) :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id (id _) +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,negate _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,negate _ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(negate _ +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,abs _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,abs _ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(abs _ +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,_ + _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,_ + _ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,((_ + _) +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,head _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,head _ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(head _ +) :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,x :: Int),(x :: Int,ord _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,0 :: Int),(x :: Int,ord _ :: Int)],y + x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(ord _ +) :: Int -> Int)],(f . g) x :: Int) (x * y :: Int,[(y :: Int,x :: Int),(x :: Int,x :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,0 :: Int),(x :: Int,x :: Int)],y * x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(x *) :: Int -> Int)],(f . g) x :: Int) (x * y :: Int,[(y :: Int,x :: Int),(x :: Int,0 :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,0 :: Int),(x :: Int,0 :: Int)],y * x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(0 *) :: Int -> Int)],(f . g) x :: Int) (x * y :: Int,[(y :: Int,x :: Int),(x :: Int,id _ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,0 :: Int),(x :: Int,id _ :: Int)],y * x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,(id _ *) :: Int -> Int)],(f . g) x :: Int) (f (g x) :: Int,[(x :: Int,_ :: Int),(g :: Int -> Int,id :: Int -> Int),(f :: Int -> Int,g :: Int -> Int)],(f . g) x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,z :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,-1 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id y :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id 1 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (id x) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (id 0) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (id (id _)) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (negate _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (abs _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (_ + _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (head _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (ord _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,negate x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,negate 0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,negate (id _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,abs x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,abs 0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,abs (id _) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ + x :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ + 0 :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ + id _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,x + _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,0 + _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,id _ + _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ * _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,f _ :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,head xs :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,head [] :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,head (_:_) :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,ord c :: Int)],y + x :: Int) (x + y :: Int,[(y :: Int,_ :: Int),(x :: Int,ord 'a' :: Int)],y + x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,y :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,1 :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,id x :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,id 0 :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,id (id _) :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,negate _ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,abs _ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,_ + _ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,head _ :: Int)],y * x :: Int) (x * y :: Int,[(y :: Int,_ :: Int),(x :: Int,ord _ :: Int)],y * x :: Int) (head (x:xs) :: Int,[(xs :: [Int],ys :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],[0] :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_:xs :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],[_] :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_:_:_ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],x:_ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],0:_ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],id _:_ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],tail _ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ ++ _ :: [Int]),(x :: Int,_ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],xs :: [Int]),(x :: Int,x :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],[] :: [Int]),(x :: Int,x :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_:_ :: [Int]),(x :: Int,x :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],xs :: [Int]),(x :: Int,0 :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],[] :: [Int]),(x :: Int,0 :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_:_ :: [Int]),(x :: Int,0 :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],xs :: [Int]),(x :: Int,id _ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],[] :: [Int]),(x :: Int,id _ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_:_ :: [Int]),(x :: Int,id _ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,y :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,1 :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,id x :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,id 0 :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,id (id _) :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,negate _ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,abs _ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,_ + _ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,head _ :: Int)],x :: Int) (head (x:xs) :: Int,[(xs :: [Int],_ :: [Int]),(x :: Int,ord _ :: Int)],x :: Int) (not (not p) :: Bool,[(p :: Bool,q :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,not p :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,not False :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,not True :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,not (not _) :: Bool)],p :: Bool) (not (not p) :: Bool,[(p :: Bool,_ || _ :: Bool)],p :: Bool) (not (p || q) :: Bool,[(q :: Bool,p :: Bool),(p :: Bool,_ :: Bool)],not p && not q :: Bool) (not (p || q) :: Bool,[(q :: Bool,False :: Bool),(p :: Bool,_ :: Bool)],not p && not q :: Bool) (not (p || q) :: Bool,[(q :: Bool,True :: Bool),(p :: Bool,_ :: Bool)],not p && not q :: Bool) (not (p || q) :: Bool,[(q :: Bool,not _ :: Bool),(p :: Bool,_ :: Bool)],not p && not q :: Bool) (not (p || q) :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,p :: Bool)],not p && not q :: Bool) (not (p || q) :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,False :: Bool)],not p && not q :: Bool) (not (p || q) :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,True :: Bool)],not p && not q :: Bool) (not (p || q) :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,not _ :: Bool)],not p && not q :: Bool) (not (p && q) :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,_ :: Bool)],not p || not q :: Bool) (not (odd x) :: Bool,[(x :: Int,_ :: Int)],even x :: Bool) (not (even x) :: Bool,[(x :: Int,_ :: Int)],odd x :: Bool) (p || q :: Bool,[(q :: Bool,q :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not p :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not False :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not True :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not (not _) :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ || _ :: Bool),(p :: Bool,_ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,p :: Bool),(p :: Bool,p :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,False :: Bool),(p :: Bool,p :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,True :: Bool),(p :: Bool,p :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not _ :: Bool),(p :: Bool,p :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,p :: Bool),(p :: Bool,False :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,False :: Bool),(p :: Bool,False :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,True :: Bool),(p :: Bool,False :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not _ :: Bool),(p :: Bool,False :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,p :: Bool),(p :: Bool,True :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,False :: Bool),(p :: Bool,True :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,True :: Bool),(p :: Bool,True :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not _ :: Bool),(p :: Bool,True :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,p :: Bool),(p :: Bool,not _ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,False :: Bool),(p :: Bool,not _ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,True :: Bool),(p :: Bool,not _ :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,not _ :: Bool),(p :: Bool,not _ :: Bool)],q || p :: Bool) (p && q :: Bool,[(q :: Bool,p :: Bool),(p :: Bool,_ :: Bool)],q && p :: Bool) (p && q :: Bool,[(q :: Bool,False :: Bool),(p :: Bool,_ :: Bool)],q && p :: Bool) (p && q :: Bool,[(q :: Bool,True :: Bool),(p :: Bool,_ :: Bool)],q && p :: Bool) (p && q :: Bool,[(q :: Bool,not _ :: Bool),(p :: Bool,_ :: Bool)],q && p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,q :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,not p :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,not False :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,not True :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,not (not _) :: Bool)],q || p :: Bool) (p || q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,_ || _ :: Bool)],q || p :: Bool) (p && q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,p :: Bool)],q && p :: Bool) (p && q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,False :: Bool)],q && p :: Bool) (p && q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,True :: Bool)],q && p :: Bool) (p && q :: Bool,[(q :: Bool,_ :: Bool),(p :: Bool,not _ :: Bool)],q && p :: Bool) (tail (x:xs) :: [Int],[(xs :: [Int],xs :: [Int]),(x :: Int,_ :: Int)],xs :: [Int]) (tail (x:xs) :: [Int],[(xs :: [Int],[] :: [Int]),(x :: Int,_ :: Int)],xs :: [Int]) (tail (x:xs) :: [Int],[(xs :: [Int],_:_ :: [Int]),(x :: Int,_ :: Int)],xs :: [Int]) (tail (x:xs) :: [Int],[(xs :: [Int],_ :: [Int]),(x :: Int,x :: Int)],xs :: [Int]) (tail (x:xs) :: [Int],[(xs :: [Int],_ :: [Int]),(x :: Int,0 :: Int)],xs :: [Int]) (tail (x:xs) :: [Int],[(xs :: [Int],_ :: [Int]),(x :: Int,id _ :: Int)],xs :: [Int]) (xs ++ [] :: [Int],[(xs :: [Int],xs :: [Int])],xs :: [Int]) ([] ++ xs :: [Int],[(xs :: [Int],xs :: [Int])],xs :: [Int]) (xs ++ [] :: [Int],[(xs :: [Int],[] :: [Int])],xs :: [Int]) ([] ++ xs :: [Int],[(xs :: [Int],_:_ :: [Int])],xs :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],xs :: [Int]),(xs :: [Int],_ :: [Int]),(x :: Int,_ :: Int)],x:(xs ++ ys) :: [Int]) (xs ++ [] :: [Int],[(xs :: [Int],_:_ :: [Int])],xs :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_:_ :: [Int]),(xs :: [Int],_ :: [Int]),(x :: Int,_ :: Int)],x:(xs ++ ys) :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_ :: [Int]),(xs :: [Int],xs :: [Int]),(x :: Int,_ :: Int)],x:(xs ++ ys) :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_ :: [Int]),(xs :: [Int],[] :: [Int]),(x :: Int,_ :: Int)],x:(xs ++ ys) :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_ :: [Int]),(xs :: [Int],_:_ :: [Int]),(x :: Int,_ :: Int)],x:(xs ++ ys) :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_ :: [Int]),(xs :: [Int],_ :: [Int]),(x :: Int,x :: Int)],x:(xs ++ ys) :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_ :: [Int]),(xs :: [Int],_ :: [Int]),(x :: Int,0 :: Int)],x:(xs ++ ys) :: [Int]) ((x:xs) ++ ys :: [Int],[(ys :: [Int],_ :: [Int]),(xs :: [Int],_ :: [Int]),(x :: Int,id _ :: Int)],x:(xs ++ ys) :: [Int]) ((xs ++ ys) ++ zs :: [Int],[(zs :: [Int],_ :: [Int]),(ys :: [Int],_ :: [Int]),(xs :: [Int],_ :: [Int])],xs ++ (ys ++ zs) :: [Int]) (sort (x:xs) :: [Int],[(xs :: [Int],_ :: [Int]),(x :: Int,_ :: Int)],insert x (sort xs) :: [Int]) (insert x [] :: [Int],[(x :: Int,_ :: Int)],[x] :: [Int]) (insert x (x:xs) :: [Int],[(xs :: [Int],_ :: [Int]),(x :: Int,_ :: Int)],x:x:xs :: [Int]) (id x :: Int,[(x :: Int,y' :: Int)],x :: Int) (id x :: Int,[(x :: Int,-2 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id x' :: Int)],x :: Int) (id x :: Int,[(x :: Int,id 2 :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id z) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (-1)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id y)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id 1)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (id x))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (id 0))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (id (id _)))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (negate _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (abs _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (_ + _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (head _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id (ord _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (negate x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (negate 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (negate (id _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (abs x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (abs 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (abs (id _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (_ + x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (_ + 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (_ + id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (x + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (0 + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id _ + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (_ * _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (f _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (head xs)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (head [])) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (head (_:_))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (ord c)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (ord 'a')) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate y) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate 1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (id x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (id 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (id (id _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (negate _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (abs _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (_ + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (head _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate (ord _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs y) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs 1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (id x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (id 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (id (id _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (negate _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (abs _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (_ + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (head _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs (ord _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + y) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + 1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + id x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + id 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + id (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + negate _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + abs _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + (_ + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + head _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ + ord _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (x + x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (x + 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (x + id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (0 + x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (0 + 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (0 + id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id _ + x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id _ + 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id _ + id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ * x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ * 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (_ * id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (f x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (f 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (f (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (y + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (1 + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id x + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id 0 + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id (id _) + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (negate _ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (abs _ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id ((_ + _) + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head _ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (ord _ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (x * _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (0 * _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (id _ * _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (g _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head ys) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head [0]) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (_:xs)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head [_]) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (_:_:_)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (x:_)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (0:_)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (id _:_)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (tail _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (head (_ ++ _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (ord d) :: Int)],x :: Int) (id x :: Int,[(x :: Int,id (ord ' ') :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate z :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (-1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id y) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id 1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (id x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (id 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (id (id _))) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (negate _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (abs _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (_ + _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (head _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id (ord _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (negate x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (negate 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (negate (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (abs x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (abs 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (abs (id _)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (_ + x) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (_ + 0) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (_ + id _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (x + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (0 + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (id _ + _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (_ * _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (f _) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (head xs) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (head []) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (head (_:_)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (ord c) :: Int)],x :: Int) (id x :: Int,[(x :: Int,negate (ord 'a') :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs z :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (-1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id y) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id 1) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id (id x)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id (id 0)) :: Int)],x :: Int) (id x :: Int,[(x :: Int,abs (id (id (id _))) :: Int)],x :: Int) True