|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 102:5-102:17 is_palindrome
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
| expr |
ID 106:9-106:21 is_palindrome
|
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 109:5-109:14 count_bits
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 113:17-113:26 count_bits
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 127:13-127:21 local_max
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 133:13-133:21 local_and
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 149:13-149:25 is_palindrome
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 150:18-150:26 local_max
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 152:19-152:27 ackermann
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
| defn |
|
ID 154:17-154:24 shadow_a
|
|
|
|
|
| defn |
|
ID 155:17-155:24 shadow_b
|
|
|
|
|
| defn |
|
ID 156:17-156:24 shadow_f
|
|
|
|
|
|
|
| defn |
|
ID 159:17-159:26 shadow_fib
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
| expr |
| expr |
ID 166:25-166:34 shadow_fib
|
|
|
|
|
|
|
|
| expr |
| expr |
ID 166:45-166:54 shadow_fib
|
|
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 169:17-169:26 accumulate
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
| expr |
ID 173:21-173:30 accumulate
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
| expr |
ID 176:13-176:20 shadow_a
|
|
|
|
| expr |
| expr |
ID 176:24-176:33 shadow_fib
|
|
|
|
|
|
|
|
|
| expr |
| expr |
ID 177:13-177:20 shadow_b
|
|
|
|
| expr |
| expr |
ID 177:24-177:33 accumulate
|
|
|
|
|
|
|
|
|
|
|
| expr |
| expr |
ID 178:13-178:20 shadow_f
|
|
|
|
| expr |
| expr |
ID 178:24-178:32 local_and
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 179:23-179:31 digit_sum
|
|
|
|
| expr |
| expr |
ID 179:33-179:40 shadow_a
|
|
|
|
| expr |
ID 179:44-179:51 shadow_b
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
|
|
| expr |
ID 180:26-180:33 shadow_a
|
|
|
|
| expr |
ID 180:36-180:43 shadow_b
|
|
|
|
|
|
|
| expr |
WHILE 181:13-181:17 while
|
|
|
|
| expr |
|
|
|
| expr |
|
|
| expr |
|
|
| expr |
| expr |
ID 183:39-183:48 shadow_fib
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
|
|
| expr |
| expr |
ID 185:39-185:47 digit_sum
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
|
| defn |
|
ID 195:21-195:28 deep_pow
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 199:29-199:36 deep_pow
|
|
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 201:21-201:32 deep_collatz
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
|
|
|
| expr |
|
|
| expr |
| expr |
ID 206:33-206:44 deep_collatz
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 208:33-208:44 deep_collatz
|
|
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
| expr |
FALSE 213:25-213:29 false
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 218:25-218:32 deep_pow
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 219:25-219:36 deep_collatz
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
|
|
| expr |
ID 220:32-220:39 shadow_f
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 222:24-222:32 local_and
|
|
|
|
|
|
|
|
|
|
|
| expr |
WHILE 223:17-223:21 while
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
| defn |
|
ID 242:25-242:33 ultra_gcd
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
| expr |
ID 246:29-246:37 ultra_gcd
|
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 248:25-248:33 ultra_sum
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 252:33-252:41 ultra_sum
|
|
|
|
|
|
|
|
|
|
|
| defn |
|
ID 254:25-254:34 ultra_bits
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 258:37-258:46 ultra_bits
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 261:30-261:38 ultra_gcd
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 263:30-263:38 ultra_sum
|
|
|
|
| expr |
| expr |
ID 263:40-263:49 ultra_bits
|
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
|
|
| expr |
| expr |
ID 264:40-264:49 count_bits
|
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 265:30-265:38 ext_print
|
|
|
|
|
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 266:28-266:36 local_and
|
|
|
|
|
|
|
|
|
|
|
| expr |
WHILE 267:21-267:25 while
|
|
|
|
| expr |
|
|
| expr |
| expr |
ID 268:34-268:42 ultra_gcd
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| expr |
| expr |
ID 271:21-271:29 ext_print
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|