-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy pathenv_lookup.lisp
209 lines (196 loc) · 3.17 KB
/
env_lookup.lisp
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
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
(define #a 1)
(define x_0 0)
(define x_1 0)
(define x_2 0)
(define x_3 0)
(define x_4 0)
(define x_5 0)
(define x_6 0)
(define x_7 0)
(define x_8 0)
(define x_9 0)
(define x_10 0)
(define x_11 0)
(define x_12 0)
(define x_13 0)
(define x_14 0)
(define x_15 0)
(define x_16 0)
(define x_17 0)
(define x_18 0)
(define x_19 0)
(define x_20 0)
(define x_21 0)
(define x_22 0)
(define x_23 0)
(define x_24 0)
(define x_25 0)
(define x_26 0)
(define x_27 0)
(define x_28 0)
(define x_29 0)
(define x_30 0)
(define x_31 0)
(define x_32 0)
(define x_33 0)
(define x_34 0)
(define x_35 0)
(define x_36 0)
(define x_37 0)
(define x_38 0)
(define x_39 0)
(define x_40 0)
(define x_41 0)
(define x_42 0)
(define x_43 0)
(define x_44 0)
(define x_45 0)
(define x_46 0)
(define x_47 0)
(define x_48 0)
(define x_49 0)
(define x_50 0)
(define x_51 0)
(define x_52 0)
(define x_53 0)
(define x_54 0)
(define x_55 0)
(define x_56 0)
(define x_57 0)
(define x_58 0)
(define x_59 0)
(define x_60 0)
(define x_61 0)
(define x_62 0)
(define x_63 0)
(define x_64 0)
(define x_65 0)
(define x_66 0)
(define x_67 0)
(define x_68 0)
(define x_69 0)
(define x_70 0)
(define x_71 0)
(define x_72 0)
(define x_73 0)
(define x_74 0)
(define x_75 0)
(define x_76 0)
(define x_77 0)
(define x_78 0)
(define x_79 0)
(define x_80 0)
(define x_81 0)
(define x_82 0)
(define x_83 0)
(define x_84 0)
(define x_85 0)
(define x_86 0)
(define x_87 0)
(define x_88 0)
(define x_89 0)
(define x_90 0)
(define x_91 0)
(define x_92 0)
(define x_93 0)
(define x_94 0)
(define x_95 0)
(define x_96 0)
(define x_97 0)
(define x_98 0)
(define x_99 0)
(define x_100 0)
(define x_101 0)
(define x_102 0)
(define x_103 0)
(define x_104 0)
(define x_105 0)
(define x_106 0)
(define x_107 0)
(define x_108 0)
(define x_109 0)
(define x_110 0)
(define x_111 0)
(define x_112 0)
(define x_113 0)
(define x_114 0)
(define x_115 0)
(define x_116 0)
(define x_117 0)
(define x_118 0)
(define x_119 0)
(define x_120 0)
(define x_121 0)
(define x_122 0)
(define x_123 0)
(define x_124 0)
(define x_125 0)
(define x_126 0)
(define x_127 0)
(define x_128 0)
(define x_129 0)
(define x_130 0)
(define x_131 0)
(define x_132 0)
(define x_133 0)
(define x_134 0)
(define x_135 0)
(define x_136 0)
(define x_137 0)
(define x_138 0)
(define x_139 0)
(define x_140 0)
(define x_141 0)
(define x_142 0)
(define x_143 0)
(define x_144 0)
(define x_145 0)
(define x_146 0)
(define x_147 0)
(define x_148 0)
(define x_149 0)
(define x_150 0)
(define x_151 0)
(define x_152 0)
(define x_153 0)
(define x_154 0)
(define x_155 0)
(define x_156 0)
(define x_157 0)
(define x_158 0)
(define x_159 0)
(define x_160 0)
(define x_161 0)
(define x_162 0)
(define x_163 0)
(define x_164 0)
(define x_165 0)
(define x_166 0)
(define x_167 0)
(define x_168 0)
(define x_169 0)
(define x_170 0)
(define x_171 0)
(define x_172 0)
(define x_173 0)
(define x_174 0)
(define x_175 0)
(define x_176 0)
(define x_177 0)
(define x_178 0)
(define x_179 0)
(define x_180 0)
(define x_181 0)
(define x_182 0)
(define x_183 0)
(define x_184 0)
(define x_185 0)
(define x_186 0)
(define x_187 0)
(define x_188 0)
(define x_189 0)
(define f (lambda (n acc)
(if (>= n 100000)
acc
(f (+ n 1) (+ acc #a)))))
(f 0 0)