-
Notifications
You must be signed in to change notification settings - Fork 8
Expand file tree
/
Copy pathconstructed20.lam
More file actions
20 lines (20 loc) · 1.09 KB
/
constructed20.lam
File metadata and controls
20 lines (20 loc) · 1.09 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(\x0.x0) (\x1.x1)
(\x0.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)
(\x0.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.\x1.x0) (\x2.x2)