blob: 23be8935ba5b3af3d64415f3f01584921e506bc1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
# 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 λc. b a b) | (λa b. a (b b))`
- `(λa b. a a λc. a (c b a) b) | (λa b. a a λc. a (c b c) b)`
- `(λa b. a λc. b (c b) a) | (λa b. a λc. b (c c) a)`
- `(λa b. a λc. b (a b)) | (λa b. a λc. b (a a))`
- `(λa b. a λc. a (a b)) | (λa b. a λc. a (a c b))`
- `(λa b. a (λc. b b (b c)) a) | (λa b. a (λc. b b (b a)) a)`
- `(λa b. a λc. b (a a) a) | (λa b. a λc. b (b b) a)`
- `(λa b. a λc. a b) | (λa b. a λc. a c a)`
- `(λa b. a a λc. a (c a b) b) | (λa b. a a λc. a (c c a) b)`
- `(λa b. a (λc. b (c c) b) a) | (λa b. a (λc. b (c b a) b) a)`
- `(λa b. a λc. c b c) | (λa b. a λc. c c c)`
- `(λa b. a λc. b c c) | (λa b. a λc. b b c)`
- `(λa b. a a λc. a a) | (λa b. a a (b b))`
- `(λa b. a λc. a (c a)) | (λa b. a λc. a (b a c))`
- `(λa b. a a λc. b (a b)) | (λa b. a a λc. b (c c))`
- `(λa b. a (b b)) | (λa b. a λc. a b)`
- `(λa b. a λc. b a (b c)) | (λa b. a λc. b a (b c a))`
- `(λa b. a λc. b b) | (λa b. a (a b a))`
- `(λa b. a a (a a b)) | (λa b. a a λc. a a c)`
- `(λa b. b a) | (λa b. b b a)`
- `(λa b. a λc. c b) | (λa b. a λc. c b c)`
- `(λa b c. c b) | (λa b. b b)`
- `(λa b. a a λc. b a (c a b)) | (λa b. a a λc. b a (c b b))`
- `(λa b. a a λc. b (a b c) a) | (λa b. a a λc. b (a b b) a)`
- `(λa b. a λc. a b (a b a)) | (λa b. a λc. a b (a b c))`
- `(λa b. a λc. b (a c)) | (λa b. a λc. b (c c))`
- `(λa b. a λc. a (c c a)) | (λa b. a λc. a (c b))`
- `(λa b. a a λc. a a) | (λa b. a a (a b))`
- `(λa b. a a λc. b b c) | (λa b. a a λc. c a)`
- `(λa b. a λc. a (b a)) | (λa b. a λc. a (b b a))`
- `(λa b. a (b a)) | (λa b. a λc. b b c)`
- `(λa b. a a λc. a a b) | (λa b. a a λc. a a)`
- `(λa b. a a λc. b c) | (λa b. a a λc. c a)`
- `(λa b. a (b a b)) | (λa b. a λc. c b a)`
- `(λa b. a a λc. a (a a)) | (λa b. a a λc. a (b a c))`
- `(λa b. a (b b a) a) | (λa b. a (λc. b c) a)`
- `(λa b. a (a b)) | (λa b. a λc. c a a)`
- `(λa b. a (b a)) | (λa b. a λc. b a b)`
- `(λa b. a λc. b (c a)) | (λa b. a λc. b (b c a))`
- `(λa b. a λc. a (a a b)) | (λa b. a λc. a (c c a))`
- `(λa b. a λc. b (a c)) | (λa b. a λc. b (a b))`
- `(λa b. a λc. a a (a a)) | (λa b. a λc. a a (a c))`
- `(λa b. a λc. c a b) | (λa b. a (b a))`
- `(λa b. a λc. a c c) | (λa b. a (a b))`
- `(λa b. a a λc. a b) | (λa b. a a (b a a))`
- `(λa b. a a (b a)) | (λa b c. a a (a a))`
- `(λa b. a λc. a b a) | (λa b. a λc. a b c)`
- `(λa b. a a λc. a c) | (λa b. a a (a a))`
- `(λa b. a (a a) a) | (λa b c. a (a a a) a)`
- `(λa b. a λc. a (c a) b) | (λa b. a λc. a (a a) b)`
- `(λa b. a λc. a (b b)) | (λa b. a λc. a (a a b))`
- `(λa b. a a λc. a a) | (λa b. a a (a b b))`
- `(λa b. a (b b)) | (λa b. a λc. b a)`
- `(λa b. a (λc. b (b b c) b) a) | (λa b. a (λc. b (b c a) b) a)`
- `(λa b c. a (b b c) a) | (λa b. a (a b a) a)`
- `(λa b. a λc. a (b b a)) | (λa b. a λc. a (b b))`
- `(λa b. a λc. b a (b b)) | (λa b. a λc. b a (b c))`
- `(λa b. a λc. b a) | (λa b. a λc. a b a)`
- `(λa b. a a λc. b b (b b)) | (λa b. a a λc. b b (c a b))`
- `(λa b. a (b a a)) | (λa b. a λc. b b)`
- `(λa b. a a λc. b a) | (λa b. a a (b b a))`
- `(λa b. a (b b)) | (λa b. a λc. b b a)`
- `(λa b. a λc. b c a) | (λa b. a (b b))`
- `(λa b. a a λc. b b a) | (λa b. a a (b b b))`
- `(λa b. a λc. a b (b c)) | (λa b. a λc. a b (b b c))`
- `(λa b. a (b b b)) | (λa b. a λc. c a a)`
- `(λa b. a a λc. b c) | (λa b. a a λc. b a c)`
- `(λa b. a λc. b a (b c a)) | (λa b. a λc. b a (a b))`
- `(λa b. a λc. b b (b c b)) | (λa b. a λc. b b (a c))`
- `(λa b. a λc. a (a a a)) | (λa b. a λc. a (a a c))`
- `(λa b c. a (a a c)) | (λa b. a (b b b))`
- `(λa b. a λc. a b (c c c)) | (λa b. a λc. a b (c a))`
- `(λa b. a λc. b (c a c)) | (λa b. a λc. b (c a b))`
- `(λa b. a (b b)) | (λa b. a λc. c a)`
- `(λa b. a λc. b (b c a) b) | (λa b. a λc. b (b b) b)`
- `(λa b. a λc. b (a a)) | (λa b. a λc. b (c c a))`
- `(λa b. a a λc. a (b b a)) | (λa b. a a λc. a (c a c))`
- `(λa b. a a λc. a (c a)) | (λa b. a a λc. a (c c b))`
- `(λa b. a a λc. c b c) | (λa b. a a (a b a))`
- `(λa b. a λc. a b a) | (λa b. a (a a a))`
- `(λa b. a λc. a a c) | (λa b. a λc. a a a)`
- `(λa b. a λc. b (b c c)) | (λa b. a λc. b (b a))`
- `(λa b. a a λc. c b b) | (λa b. a a λc. c c)`
- `(λa b. a λc. a a) | (λa b. a λc. b c)`
- `(λa b. a (λc. b b (b c)) a) | (λa b. a (λc. b b (b a)) a)`
- `(λa b. a λc. c c) | (λa b. a (a a a))`
- `(λa b. a (λc. a b (a a)) a) | (λa b. a (λc. a b (a c)) a)`
- `(λa. a a) | (λa b. a a)`
|
