sort uniq cannot_solve.md and add pickle

2 files changed, 23 insertions, 22 deletions

diff --git a/cannot_solve.md b/cannot_solve.md
index 6531d22..f82b4e7 100644
--- a/cannot_solve.md
+++ b/cannot_solve.md
@@ -1,47 +1,48 @@
 # cannot solve
 
 - `(λa b c. a (b b a) a) | (λa b. a (b b a) a)`
+- `(λa b. a (a a a) a) | (λa b. a (λc. a c) a)`
 - `(λa b. a (a a)) | (λa b. a λc. b a c)`
+- `(λa b. a (a b b) a) | (λa b c. a (a a c) a)`
 - `(λa b. a (a b b)) | (λa b. a λc. c a)`
 - `(λa b. a (a b)) | (λa b. a λc. a c b)`
+- `(λa b. a (b a b)) | (λa b. a λc. b a)`
 - `(λa b. a (b a)) | (λa b. a λc. a c a)`
 - `(λa b. a (b b)) | (λa b c. a (b a))`
+- `(λa b. a (λc. a b (a b c)) a) | (λa b. a (λc. a b (c c)) a)`
 - `(λa b. a (λc. b a (a b c)) a) | (λa b. a (λc. b a (a c)) a)`
 - `(λa b. a a (a b b)) | (λa b. a a λc. c a)`
+- `(λa b. a a λc. a (a a a) a) | (λa b. a a λc. a (a c) a)`
+- `(λa b. a a λc. a (a b)) | (λa b. a a λc. a (c a c))`
 - `(λa b. a a λc. a (a c) a) | (λa b. a a λc. a (a b) a)`
 - `(λa b. a a λc. a b) | (λa b. a a (a b a))`
+- `(λa b. a a λc. a c a) | (λa b. a a (a a a))`
+- `(λa b. a a λc. b (b b b)) | (λa b. a a λc. b (b c c))`
 - `(λa b. a a λc. b (b c a)) | (λa b. a a λc. b (b a b))`
+- `(λa b. a a λc. b (c b b)) | (λa b. a a λc. b (a b b))`
 - `(λa b. a a λc. b (c b c) b) | (λa b. a a λc. b (c c b) b)`
 - `(λa b. a a λc. b (c c c)) | (λa b. a a λc. b (c a))`
+- `(λa b. a a λc. b a (a b b)) | (λa b. a a λc. b a (c b))`
 - `(λa b. a a λc. b b b) | (λa b. a a λc. a a)`
+- `(λa b. a λc. a (a b) a) | (λa b. a λc. a (a a c) a)`
 - `(λa b. a λc. a (a c) a) | (λa b. a λc. a (a c a) a)`
+- `(λa b. a λc. a (a c)) | (λa b. a λc. a (b b a))`
+- `(λa b. a λc. a (c b)) | (λa b. a λc. a (c a))`
 - `(λa b. a λc. a a (b c)) | (λa b. a λc. a a (b a))`
+- `(λa b. a λc. a a (c b)) | (λa b. a λc. a a (b a a))`
+- `(λa b. a λc. a b) | (λa b. a (a a))`
+- `(λa b. a λc. b (a c) b) | (λa b. a λc. b (c c b) b)`
+- `(λa b. a λc. b (b b a) a) | (λa b. a λc. b (b c b) a)`
+- `(λa b. a λc. b (b b a)) | (λa b. a λc. b (b a a))`
+- `(λa b. a λc. b (b b) a) | (λa b. a λc. b (b b b) a)`
 - `(λa b. a λc. b a (c a)) | (λa b. a λc. b a (c b a))`
 - `(λa b. a λc. b a) | (λa b. a (b b a))`
+- `(λa b. a λc. b b a) | (λa b. a (b a))`
+- `(λa b. a λc. c a b) | (λa b. a λc. c c)`
+- `(λa b. a λc. c a c) | (λa b. a (b b))`
 - `(λa b. a λc. c b b) | (λa b. a λc. c b)`
+- `(λa b. a λc. c b c) | (λa b. a λc. c c b)`
 - `(λa b. a λc. c c a) | (λa b. a λc. c c b)`
 - `(λa b. a λc. c c b) | (λa b. a (b b))`
 - `(λa b. a λc. c c c) | (λa b. a (b a a))`
 - `(λa b. b b) | (λa b. b a)`
-- `(λa b. a a λc. b (b b b)) | (λa b. a a λc. b (b c c))`
-- `(λa b. a a λc. a c a) | (λa b. a a (a a a))`
-- `(λa b. a λc. b b a) | (λa b. a (b a))`
-- `(λa b. a λc. c a c) | (λa b. a (b b))`
-- `(λa b. a a λc. b (c b b)) | (λa b. a a λc. b (a b b))`
-- `(λa b. a λc. a b) | (λa b. a (a a))`
-- `(λa b. a λc. a (c b)) | (λa b. a λc. a (c a))`
-- `(λa b. a a λc. a (a a a) a) | (λa b. a a λc. a (a c) a)`
-- `(λa b. a λc. b (a c) b) | (λa b. a λc. b (c c b) b)`
-- `(λa b. a λc. b (b b a) a) | (λa b. a λc. b (b c b) a)`
-- `(λa b. a λc. a a (c b)) | (λa b. a λc. a a (b a a))`
-- `(λa b. a λc. c a b) | (λa b. a λc. c c)`
-- `(λa b. a λc. a (a b) a) | (λa b. a λc. a (a a c) a)`
-- `(λa b. a λc. b (b b) a) | (λa b. a λc. b (b b b) a)`
-- `(λa b. a (a a a) a) | (λa b. a (λc. a c) a)`
-- `(λa b. a λc. b (b b a)) | (λa b. a λc. b (b a a))`
-- `(λa b. a λc. c b c) | (λa b. a λc. c c b)`
-- `(λa b. a (b a b)) | (λa b. a λc. b a)`
-- `(λa b. a a λc. b a (a b b)) | (λa b. a a λc. b a (c b))`
-- `(λa b. a λc. a (a c)) | (λa b. a λc. a (b b a))`
-- `(λa b. a a λc. a (a b)) | (λa b. a a λc. a (c a c))`
-- `(λa b. a (λc. a b (a b c)) a) | (λa b. a (λc. a b (c c)) a)`
diff --git a/cannot_solve.pickle b/cannot_solve.pickle
new file mode 100644
index 0000000..2e4b803
--- /dev/null
+++ b/cannot_solve.pickle
Binary files differ