removed one problem

pcp/pcp.hs

@@ -157,6 +157,7 @@ newtype Mu a = Mu (Mu a -> a)
 ycomb :: (b -> b) -> b
 ycomb f = (\h -> h $ Mu h) (\x -> f . (\(Mu g) -> g) x $ x)
 
+
 -- LISTS
 
 type LCListT b = forall a . (b -> a -> a) -> a -> a
@@ -249,13 +250,9 @@ problem_2 = cons (pair a abbb) (cons (pair bb b) nil)
 problem_3 :: ListStrPairs -- undecidable
 problem_3 = cons (pair bba b) (cons (pair b ab) (cons (pair a bba) nil))
 
--- [(baa, b), (a, baa), (b, a)]
-problem_4 :: ListStrPairs -- has a solution of length 74
-problem_4 = cons (pair baa b) (cons (pair a baa) (cons (pair b a) nil))
-
 -- [(ab, a), (ab, bba), (a, baa), (baa, ba)]
-problem_5 :: ListStrPairs -- has a solution of length 76
-problem_5 = cons (pair ab a) (cons (pair ab bba) (cons (pair a baa) (cons (pair baa ba) nil)))
+problem_4 :: ListStrPairs -- has a solution of length 76
+problem_4 = cons (pair ab a) (cons (pair ab bba) (cons (pair a baa) (cons (pair baa ba) nil)))
 
 -- PARSE LC ENCODINGS TO STRINGS