Release assert memory in JSC::Wasm::Memory::growShared(JSC::Wasm::PageCount)::<lambda()>
[WebKit-https.git] / JSTests / exceptionFuzz / earley-boyer.js
1 try {
2 (function() {
3 // This file is automatically generated by scheme2js, except for the
4 // benchmark harness code at the beginning and end of the file.
5
6 /************* GENERATED FILE - DO NOT EDIT *************/
7 /************* GENERATED FILE - DO NOT EDIT *************/
8 /************* GENERATED FILE - DO NOT EDIT *************/
9 /************* GENERATED FILE - DO NOT EDIT *************/
10 /************* GENERATED FILE - DO NOT EDIT *************/
11 /************* GENERATED FILE - DO NOT EDIT *************/
12 /************* GENERATED FILE - DO NOT EDIT *************/
13 /************* GENERATED FILE - DO NOT EDIT *************/
14 /*
15  * To use write/prints/... the default-output port has to be set first.
16  * Simply setting SC_DEFAULT_OUT and SC_ERROR_OUT to the desired values
17  * should do the trick.
18  * In the following example the std-out and error-port are redirected to
19  * a DIV.
20 function initRuntime() {
21     function escapeHTML(s) {
22         var tmp = s;
23         tmp = tmp.replace(/&/g, "&amp;");
24         tmp = tmp.replace(/</g, "&lt;");
25         tmp = tmp.replace(/>/g, "&gt;");
26         tmp = tmp.replace(/ /g, "&nbsp;");
27         tmp = tmp.replace(/\n/g, "<br />");
28         tmp = tmp.replace(/\t/g, "&nbsp;&nbsp;&nbsp;&nbsp");
29         return tmp;
30         
31     }
32
33     document.write("<div id='stdout'></div>");
34     SC_DEFAULT_OUT = new sc_GenericOutputPort(
35         function(s) {
36             var stdout = document.getElementById('stdout');
37             stdout.innerHTML = stdout.innerHTML + escapeHTML(s);
38         });
39     SC_ERROR_OUT = SC_DEFAULT_OUT;
40 }
41 */
42
43 function sc_print_debug() {
44     sc_print.apply(null, arguments);
45 }
46 /*** META ((export *js*)) */
47 var sc_JS_GLOBALS = this;
48
49 var __sc_LINE=-1;
50 var __sc_FILE="";
51
52 /*** META ((export #t)) */
53 function sc_alert() {
54    var len = arguments.length;
55    var s = "";
56    var i;
57
58    for( i = 0; i < len; i++ ) {
59        s += sc_toDisplayString(arguments[ i ]);
60    }
61
62    return alert( s );
63 }
64
65 /*** META ((export #t)) */
66 function sc_typeof( x ) {
67    return typeof x;
68 }
69
70 /*** META ((export #t)) */
71 function sc_error() {
72     var a = [sc_jsstring2symbol("*error*")];
73     for (var i = 0; i < arguments.length; i++) {
74         a[i+1] = arguments[i];
75     }
76     throw a;
77 }
78
79 /*** META ((export #t)
80            (peephole (prefix "throw ")))
81 */
82 function sc_raise(obj) {
83     throw obj;
84 }
85
86 /*** META ((export with-handler-lambda)) */
87 function sc_withHandlerLambda(handler, body) {
88     try {
89         return body();
90     } catch(e) {
91         if (!e._internalException)
92             return handler(e);
93         else
94             throw e;
95     }
96 }
97
98 var sc_properties = new Object();
99
100 /*** META ((export #t)) */
101 function sc_putpropBang(sym, key, val) {
102     var ht = sc_properties[sym];
103     if (!ht) {
104         ht = new Object();
105         sc_properties[sym] = ht;
106     }
107     ht[key] = val;
108 }
109
110 /*** META ((export #t)) */
111 function sc_getprop(sym, key) {
112     var ht = sc_properties[sym];
113     if (ht) {
114         if (key in ht)
115             return ht[key];
116         else
117             return false;
118     } else
119         return false;
120 }
121
122 /*** META ((export #t)) */
123 function sc_rempropBang(sym, key) {
124     var ht = sc_properties[sym];
125     if (ht)
126         delete ht[key];
127 }
128
129 /*** META ((export #t)) */
130 function sc_any2String(o) {
131     return jsstring2string(sc_toDisplayString(o));
132 }    
133
134 /*** META ((export #t)
135            (peephole (infix 2 2 "==="))
136            (type bool))
137 */
138 function sc_isEqv(o1, o2) {
139     return (o1 === o2);
140 }
141
142 /*** META ((export #t)
143            (peephole (infix 2 2 "==="))
144            (type bool))
145 */
146 function sc_isEq(o1, o2) {
147     return (o1 === o2);
148 }
149
150 /*** META ((export #t)
151            (type bool))
152 */
153 function sc_isNumber(n) {
154     return (typeof n === "number");
155 }
156
157 /*** META ((export #t)
158            (type bool))
159 */
160 function sc_isComplex(n) {
161     return sc_isNumber(n);
162 }
163
164 /*** META ((export #t)
165            (type bool))
166 */
167 function sc_isReal(n) {
168     return sc_isNumber(n);
169 }
170
171 /*** META ((export #t)
172            (type bool))
173 */
174 function sc_isRational(n) {
175     return sc_isReal(n);
176 }
177
178 /*** META ((export #t)
179            (type bool))
180 */
181 function sc_isInteger(n) {
182     return (parseInt(n) === n);
183 }
184
185 /*** META ((export #t)
186            (type bool)
187            (peephole (postfix ", false")))
188 */
189 // we don't have exact numbers...
190 function sc_isExact(n) {
191     return false;
192 }
193
194 /*** META ((export #t)
195            (peephole (postfix ", true"))
196            (type bool))
197 */
198 function sc_isInexact(n) {
199     return true;
200 }
201
202 /*** META ((export = =fx =fl)
203            (type bool)
204            (peephole (infix 2 2 "===")))
205 */
206 function sc_equal(x) {
207     for (var i = 1; i < arguments.length; i++)
208         if (x !== arguments[i])
209             return false;
210     return true;
211 }
212
213 /*** META ((export < <fx <fl)
214            (type bool)
215            (peephole (infix 2 2 "<")))
216 */
217 function sc_less(x) {
218     for (var i = 1; i < arguments.length; i++) {
219         if (x >= arguments[i])
220             return false;
221         x = arguments[i];
222     }
223     return true;
224 }
225
226 /*** META ((export > >fx >fl)
227            (type bool)
228            (peephole (infix 2 2 ">")))
229 */
230 function sc_greater(x, y) {
231     for (var i = 1; i < arguments.length; i++) {
232         if (x <= arguments[i])
233             return false;
234         x = arguments[i];
235     }
236     return true;
237 }
238
239 /*** META ((export <= <=fx <=fl)
240            (type bool)
241            (peephole (infix 2 2 "<=")))
242 */
243 function sc_lessEqual(x, y) {
244     for (var i = 1; i < arguments.length; i++) {
245         if (x > arguments[i])
246             return false;
247         x = arguments[i];
248     }
249     return true;
250 }
251
252 /*** META ((export >= >=fl >=fx)
253            (type bool)
254            (peephole (infix 2 2 ">=")))
255 */
256 function sc_greaterEqual(x, y) {
257     for (var i = 1; i < arguments.length; i++) {
258         if (x < arguments[i])
259             return false;
260         x = arguments[i];
261     }
262     return true;
263 }
264
265 /*** META ((export #t)
266            (type bool)
267            (peephole (postfix "=== 0")))
268 */
269 function sc_isZero(x) {
270     return (x === 0);
271 }
272
273 /*** META ((export #t)
274            (type bool)
275            (peephole (postfix "> 0")))
276 */
277 function sc_isPositive(x) {
278     return (x > 0);
279 }
280
281 /*** META ((export #t)
282            (type bool)
283            (peephole (postfix "< 0")))
284 */
285 function sc_isNegative(x) {
286     return (x < 0);
287 }
288
289 /*** META ((export #t)
290            (type bool)
291            (peephole (postfix "%2===1")))
292 */
293 function sc_isOdd(x) {
294     return (x % 2 === 1);
295 }
296
297 /*** META ((export #t)
298            (type bool)
299            (peephole (postfix "%2===0")))
300 */
301 function sc_isEven(x) {
302     return (x % 2 === 0);
303 }
304
305 /*** META ((export #t)) */
306 var sc_max = Math.max;
307 /*** META ((export #t)) */
308 var sc_min = Math.min;
309
310 /*** META ((export + +fx +fl)
311            (peephole (infix 0 #f "+" "0")))
312 */
313 function sc_plus() {
314     var sum = 0;
315     for (var i = 0; i < arguments.length; i++)
316         sum += arguments[i];
317     return sum;
318 }
319
320 /*** META ((export * *fx *fl)
321            (peephole (infix 0 #f "*" "1")))
322 */
323 function sc_multi() {
324     var product = 1;
325     for (var i = 0; i < arguments.length; i++)
326         product *= arguments[i];
327     return product;
328 }
329
330 /*** META ((export - -fx -fl)
331            (peephole (minus)))
332 */
333 function sc_minus(x) {
334     if (arguments.length === 1)
335         return -x;
336     else {
337         var res = x;
338         for (var i = 1; i < arguments.length; i++)
339             res -= arguments[i];
340         return res;
341     }
342 }
343
344 /*** META ((export / /fl)
345            (peephole (div)))
346 */
347 function sc_div(x) {
348     if (arguments.length === 1)
349         return 1/x;
350     else {
351         var res = x;
352         for (var i = 1; i < arguments.length; i++)
353             res /= arguments[i];
354         return res;
355     }
356 }
357
358 /*** META ((export #t)) */
359 var sc_abs = Math.abs;
360
361 /*** META ((export quotient /fx)
362            (peephole (hole 2 "parseInt(" x "/" y ")")))
363 */
364 function sc_quotient(x, y) {
365     return parseInt(x / y);
366 }
367
368 /*** META ((export #t)
369            (peephole (infix 2 2 "%")))
370 */
371 function sc_remainder(x, y) {
372     return x % y;
373 }
374
375 /*** META ((export #t)
376            (peephole (modulo)))
377 */
378 function sc_modulo(x, y) {
379     var remainder = x % y;
380     // if they don't have the same sign
381     if ((remainder * y) < 0)
382         return remainder + y;
383     else
384         return remainder;
385 }
386
387 function sc_euclid_gcd(a, b) {
388     var temp;
389     if (a === 0) return b;
390     if (b === 0) return a;
391     if (a < 0) {a = -a;};
392     if (b < 0) {b = -b;};
393     if (b > a) {temp = a; a = b; b = temp;};
394     while (true) {
395         a %= b;
396         if(a === 0) {return b;};
397         b %= a;
398         if(b === 0) {return a;};
399     };
400     return b;
401 }
402
403 /*** META ((export #t)) */
404 function sc_gcd() {
405     var gcd = 0;
406     for (var i = 0; i < arguments.length; i++)
407         gcd = sc_euclid_gcd(gcd, arguments[i]);
408     return gcd;
409 }
410
411 /*** META ((export #t)) */
412 function sc_lcm() {
413     var lcm = 1;
414     for (var i = 0; i < arguments.length; i++) {
415         var f = Math.round(arguments[i] / sc_euclid_gcd(arguments[i], lcm));
416         lcm *= Math.abs(f);
417     }
418     return lcm;
419 }
420
421 // LIMITATION: numerator and denominator don't make sense in floating point world.
422 //var SC_MAX_DECIMALS = 1000000
423 //
424 // function sc_numerator(x) {
425 //     var rounded = Math.round(x * SC_MAX_DECIMALS);
426 //     return Math.round(rounded / sc_euclid_gcd(rounded, SC_MAX_DECIMALS));
427 // }
428
429 // function sc_denominator(x) {
430 //     var rounded = Math.round(x * SC_MAX_DECIMALS);
431 //     return Math.round(SC_MAX_DECIMALS / sc_euclid_gcd(rounded, SC_MAX_DECIMALS));
432 // }
433
434 /*** META ((export #t)) */
435 var sc_floor = Math.floor;
436 /*** META ((export #t)) */
437 var sc_ceiling = Math.ceil;
438 /*** META ((export #t)) */
439 var sc_truncate = parseInt;
440 /*** META ((export #t)) */
441 var sc_round = Math.round;
442
443 // LIMITATION: sc_rationalize doesn't make sense in a floating point world.
444
445 /*** META ((export #t)) */
446 var sc_exp = Math.exp;
447 /*** META ((export #t)) */
448 var sc_log = Math.log;
449 /*** META ((export #t)) */
450 var sc_sin = Math.sin;
451 /*** META ((export #t)) */
452 var sc_cos = Math.cos;
453 /*** META ((export #t)) */
454 var sc_tan = Math.tan;
455 /*** META ((export #t)) */
456 var sc_asin = Math.asin;
457 /*** META ((export #t)) */
458 var sc_acos = Math.acos;
459 /*** META ((export #t)) */
460 var sc_atan = Math.atan;
461
462 /*** META ((export #t)) */
463 var sc_sqrt = Math.sqrt;
464 /*** META ((export #t)) */
465 var sc_expt = Math.pow;
466
467 // LIMITATION: we don't have complex numbers.
468 // LIMITATION: the following functions are hence not implemented.
469 // LIMITATION: make-rectangular, make-polar, real-part, imag-part, magnitude, angle
470 // LIMITATION: 2 argument atan
471
472 /*** META ((export #t)
473            (peephole (id)))
474 */
475 function sc_exact2inexact(x) {
476     return x;
477 }
478
479 /*** META ((export #t)
480            (peephole (id)))
481 */
482 function sc_inexact2exact(x) {
483     return x;
484 }
485
486 function sc_number2jsstring(x, radix) {
487     if (radix)
488         return x.toString(radix);
489     else
490         return x.toString();
491 }
492
493 function sc_jsstring2number(s, radix) {
494     if (s === "") return false;
495
496     if (radix) {
497         var t = parseInt(s, radix);
498         if (!t && t !== 0) return false;
499         // verify that each char is in range. (parseInt ignores leading
500         // white and trailing chars)
501         var allowedChars = "01234567890abcdefghijklmnopqrstuvwxyz".substring(0, radix+1);
502         if ((new RegExp("^["+allowedChars+"]*$", "i")).test(s))
503             return t;
504         else return false;
505     } else {
506         var t = +s; // does not ignore trailing chars.
507         if (!t && t !== 0) return false;
508         // simply verify that first char is not whitespace.
509         var c = s.charAt(0);
510         // if +c is 0, but the char is not "0", then we have a whitespace.
511         if (+c === 0 && c !== "0") return false;
512         return t;
513     }
514 }
515
516 /*** META ((export #t)
517            (type bool)
518            (peephole (not)))
519 */
520 function sc_not(b) {
521     return b === false;
522 }
523
524 /*** META ((export #t)
525            (type bool))
526 */
527 function sc_isBoolean(b) {
528     return (b === true) || (b === false);
529 }
530
531 function sc_Pair(car, cdr) {
532     this.car = car;
533     this.cdr = cdr;
534 }
535
536 sc_Pair.prototype.toString = function() {
537     return sc_toDisplayString(this);
538 };
539 sc_Pair.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) {
540     var current = this;
541
542     var res = "(";
543
544     while(true) {
545         res += writeOrDisplay(current.car);
546         if (sc_isPair(current.cdr)) {
547             res += " ";
548             current = current.cdr;
549         } else if (current.cdr !== null) {
550             res += " . " + writeOrDisplay(current.cdr);
551             break;
552         } else // current.cdr == null
553             break;
554     }
555         
556     res += ")";
557
558     return res;
559 };
560 sc_Pair.prototype.sc_toDisplayString = function() {
561     return this.sc_toWriteOrDisplayString(sc_toDisplayString);
562 };
563 sc_Pair.prototype.sc_toWriteString = function() {
564     return this.sc_toWriteOrDisplayString(sc_toWriteString);
565 };
566 // sc_Pair.prototype.sc_toWriteCircleString in IO.js
567
568 /*** META ((export #t)
569            (type bool)
570            (peephole (postfix " instanceof sc_Pair")))
571 */
572 function sc_isPair(p) {
573     return (p instanceof sc_Pair);
574 }
575
576 function sc_isPairEqual(p1, p2, comp) {
577     return (comp(p1.car, p2.car) && comp(p1.cdr, p2.cdr));
578 }
579
580 /*** META ((export #t)
581            (peephole (hole 2 "new sc_Pair(" car ", " cdr ")")))
582 */
583 function sc_cons(car, cdr) {
584     return new sc_Pair(car, cdr);
585 }
586
587 /*** META ((export cons*)) */
588 function sc_consStar() {
589     var res = arguments[arguments.length - 1];
590     for (var i = arguments.length-2; i >= 0; i--)
591         res = new sc_Pair(arguments[i], res);
592     return res;
593 }
594
595 /*** META ((export #t)
596            (peephole (postfix ".car")))
597 */
598 function sc_car(p) {
599     return p.car;
600 }
601
602 /*** META ((export #t)
603            (peephole (postfix ".cdr")))
604 */
605 function sc_cdr(p) {
606     return p.cdr;
607 }
608
609 /*** META ((export #t)
610            (peephole (hole 2 p ".car = " val)))
611 */
612 function sc_setCarBang(p, val) {
613     p.car = val;
614 }
615
616 /*** META ((export #t)
617            (peephole (hole 2 p ".cdr = " val)))
618 */
619 function sc_setCdrBang(p, val) {
620     p.cdr = val;
621 }
622
623 /*** META ((export #t)
624            (peephole (postfix ".car.car")))
625 */
626 function sc_caar(p) { return p.car.car; }
627 /*** META ((export #t)
628            (peephole (postfix ".cdr.car")))
629 */
630 function sc_cadr(p) { return p.cdr.car; }
631 /*** META ((export #t)
632            (peephole (postfix ".car.cdr")))
633 */
634 function sc_cdar(p) { return p.car.cdr; }
635 /*** META ((export #t)
636            (peephole (postfix ".cdr.cdr")))
637 */
638 function sc_cddr(p) { return p.cdr.cdr; }
639 /*** META ((export #t)
640            (peephole (postfix ".car.car.car")))
641 */
642 function sc_caaar(p) { return p.car.car.car; }
643 /*** META ((export #t)
644            (peephole (postfix ".car.cdr.car")))
645 */
646 function sc_cadar(p) { return p.car.cdr.car; }
647 /*** META ((export #t)
648            (peephole (postfix ".cdr.car.car")))
649 */
650 function sc_caadr(p) { return p.cdr.car.car; }
651 /*** META ((export #t)
652            (peephole (postfix ".cdr.cdr.car")))
653 */
654 function sc_caddr(p) { return p.cdr.cdr.car; }
655 /*** META ((export #t)
656            (peephole (postfix ".car.car.cdr")))
657 */
658 function sc_cdaar(p) { return p.car.car.cdr; }
659 /*** META ((export #t)
660            (peephole (postfix ".cdr.car.cdr")))
661 */
662 function sc_cdadr(p) { return p.cdr.car.cdr; }
663 /*** META ((export #t)
664            (peephole (postfix ".car.cdr.cdr")))
665 */
666 function sc_cddar(p) { return p.car.cdr.cdr; }
667 /*** META ((export #t)
668            (peephole (postfix ".cdr.cdr.cdr")))
669 */
670 function sc_cdddr(p) { return p.cdr.cdr.cdr; }
671 /*** META ((export #t)
672            (peephole (postfix ".car.car.car.car")))
673 */
674 function sc_caaaar(p) { return p.car.car.car.car; }
675 /*** META ((export #t)
676            (peephole (postfix ".car.cdr.car.car")))
677 */
678 function sc_caadar(p) { return p.car.cdr.car.car; }
679 /*** META ((export #t)
680            (peephole (postfix ".cdr.car.car.car")))
681 */
682 function sc_caaadr(p) { return p.cdr.car.car.car; }
683 /*** META ((export #t)
684            (peephole (postfix ".cdr.cdr.car.car")))
685 */
686 function sc_caaddr(p) { return p.cdr.cdr.car.car; }
687 /*** META ((export #t)
688            (peephole (postfix ".car.car.car.cdr")))
689 */
690 function sc_cdaaar(p) { return p.car.car.car.cdr; }
691 /*** META ((export #t)
692            (peephole (postfix ".car.cdr.car.cdr")))
693 */
694 function sc_cdadar(p) { return p.car.cdr.car.cdr; }
695 /*** META ((export #t)
696            (peephole (postfix ".cdr.car.car.cdr")))
697 */
698 function sc_cdaadr(p) { return p.cdr.car.car.cdr; }
699 /*** META ((export #t)
700            (peephole (postfix ".cdr.cdr.car.cdr")))
701 */
702 function sc_cdaddr(p) { return p.cdr.cdr.car.cdr; }
703 /*** META ((export #t)
704            (peephole (postfix ".car.car.cdr.car")))
705 */
706 function sc_cadaar(p) { return p.car.car.cdr.car; }
707 /*** META ((export #t)
708            (peephole (postfix ".car.cdr.cdr.car")))
709 */
710 function sc_caddar(p) { return p.car.cdr.cdr.car; }
711 /*** META ((export #t)
712            (peephole (postfix ".cdr.car.cdr.car")))
713 */
714 function sc_cadadr(p) { return p.cdr.car.cdr.car; }
715 /*** META ((export #t)
716            (peephole (postfix ".cdr.cdr.cdr.car")))
717 */
718 function sc_cadddr(p) { return p.cdr.cdr.cdr.car; }
719 /*** META ((export #t)
720            (peephole (postfix ".car.car.cdr.cdr")))
721 */
722 function sc_cddaar(p) { return p.car.car.cdr.cdr; }
723 /*** META ((export #t)
724            (peephole (postfix ".car.cdr.cdr.cdr")))
725 */
726 function sc_cdddar(p) { return p.car.cdr.cdr.cdr; }
727 /*** META ((export #t)
728            (peephole (postfix ".cdr.car.cdr.cdr")))
729 */
730 function sc_cddadr(p) { return p.cdr.car.cdr.cdr; }
731 /*** META ((export #t)
732            (peephole (postfix ".cdr.cdr.cdr.cdr")))
733 */
734 function sc_cddddr(p) { return p.cdr.cdr.cdr.cdr; }
735
736 /*** META ((export #t)) */
737 function sc_lastPair(l) {
738     if (!sc_isPair(l)) sc_error("sc_lastPair: pair expected");
739     var res = l;
740     var cdr = l.cdr;
741     while (sc_isPair(cdr)) {
742         res = cdr;
743         cdr = res.cdr;
744     }
745     return res;
746 }
747
748 /*** META ((export #t)
749            (type bool)
750            (peephole (postfix " === null")))
751 */
752 function sc_isNull(o) {
753     return (o === null);
754 }
755
756 /*** META ((export #t)
757            (type bool))
758 */
759 function sc_isList(o) {
760     var rabbit;
761     var turtle;
762
763     var rabbit = o;
764     var turtle = o;
765     while (true) {
766         if (rabbit === null ||
767             (rabbit instanceof sc_Pair && rabbit.cdr === null))
768             return true;  // end of list
769         else if ((rabbit instanceof sc_Pair) &&
770                  (rabbit.cdr instanceof sc_Pair)) {
771             rabbit = rabbit.cdr.cdr;
772             turtle = turtle.cdr;
773             if (rabbit === turtle) return false; // cycle
774         } else
775             return false; // not pair
776     }
777 }
778
779 /*** META ((export #t)) */
780 function sc_list() {
781     var res = null;
782     var a = arguments;
783     for (var i = a.length-1; i >= 0; i--)
784         res = new sc_Pair(a[i], res);
785     return res;
786 }
787
788 /*** META ((export #t)) */
789 function sc_iota(num, init) {
790    var res = null;
791    if (!init) init = 0;
792    for (var i = num - 1; i >= 0; i--)
793       res = new sc_Pair(i + init, res);
794    return res;
795 }
796
797 /*** META ((export #t)) */
798 function sc_makeList(nbEls, fill) {
799     var res = null;
800     for (var i = 0; i < nbEls; i++)
801         res = new sc_Pair(fill, res);
802     return res;
803 }
804
805 /*** META ((export #t)) */
806 function sc_length(l) {
807     var res = 0;
808     while (l !== null) {
809         res++;
810         l = l.cdr;
811     }
812     return res;
813 }
814
815 /*** META ((export #t)) */
816 function sc_remq(o, l) {
817     var dummy = { cdr : null };
818     var tail = dummy;
819     while (l !== null) {
820         if (l.car !== o) {
821             tail.cdr = sc_cons(l.car, null);
822             tail = tail.cdr;
823         }
824         l = l.cdr;
825     }
826     return dummy.cdr;
827 }
828
829 /*** META ((export #t)) */
830 function sc_remqBang(o, l) {
831     var dummy = { cdr : null };
832     var tail = dummy;
833     var needsAssig = true;
834     while (l !== null) {
835         if (l.car === o) {
836             needsAssig = true;
837         } else {
838             if (needsAssig) {
839                 tail.cdr = l;
840                 needsAssig = false;
841             }
842             tail = l;
843         }
844         l = l.cdr;
845     }
846     tail.cdr = null;
847     return dummy.cdr;
848 }
849
850 /*** META ((export #t)) */
851 function sc_delete(o, l) {
852     var dummy = { cdr : null };
853     var tail = dummy;
854     while (l !== null) {
855         if (!sc_isEqual(l.car, o)) {
856             tail.cdr = sc_cons(l.car, null);
857             tail = tail.cdr;
858         }
859         l = l.cdr;
860     }
861     return dummy.cdr;
862 }
863
864 /*** META ((export #t)) */
865 function sc_deleteBang(o, l) {
866     var dummy = { cdr : null };
867     var tail = dummy;
868     var needsAssig = true;
869     while (l !== null) {
870         if (sc_isEqual(l.car, o)) {
871             needsAssig = true;
872         } else {
873             if (needsAssig) {
874                 tail.cdr = l;
875                 needsAssig = false;
876             }
877             tail = l;
878         }
879         l = l.cdr;
880     }
881     tail.cdr = null;
882     return dummy.cdr;
883 }
884
885 function sc_reverseAppendBang(l1, l2) {
886     var res = l2;
887     while (l1 !== null) {
888         var tmp = res;
889         res = l1;
890         l1 = l1.cdr;
891         res.cdr = tmp;
892     }
893     return res;
894 }
895         
896 function sc_dualAppend(l1, l2) {
897     if (l1 === null) return l2;
898     if (l2 === null) return l1;
899     var rev = sc_reverse(l1);
900     return sc_reverseAppendBang(rev, l2);
901 }
902
903 /*** META ((export #t)) */
904 function sc_append() {
905     if (arguments.length === 0)
906         return null;
907     var res = arguments[arguments.length - 1];
908     for (var i = arguments.length - 2; i >= 0; i--)
909         res = sc_dualAppend(arguments[i], res);
910     return res;
911 }
912
913 function sc_dualAppendBang(l1, l2) {
914     if (l1 === null) return l2;
915     if (l2 === null) return l1;
916     var tmp = l1;
917     while (tmp.cdr !== null) tmp=tmp.cdr;
918     tmp.cdr = l2;
919     return l1;
920 }
921     
922 /*** META ((export #t)) */
923 function sc_appendBang() {
924     var res = null;
925     for (var i = 0; i < arguments.length; i++)
926         res = sc_dualAppendBang(res, arguments[i]);
927     return res;
928 }
929
930 /*** META ((export #t)) */
931 function sc_reverse(l1) {
932     var res = null;
933     while (l1 !== null) {
934         res = sc_cons(l1.car, res);
935         l1 = l1.cdr;
936     }
937     return res;
938 }
939
940 /*** META ((export #t)) */
941 function sc_reverseBang(l) {
942     return sc_reverseAppendBang(l, null);
943 }
944
945 /*** META ((export #t)) */
946 function sc_listTail(l, k) {
947     var res = l;
948     for (var i = 0; i < k; i++) {
949         res = res.cdr;
950     }
951     return res;
952 }
953
954 /*** META ((export #t)) */
955 function sc_listRef(l, k) {
956     return sc_listTail(l, k).car;
957 }
958
959 /* // unoptimized generic versions
960 function sc_memX(o, l, comp) {
961     while (l != null) {
962         if (comp(l.car, o))
963             return l;
964         l = l.cdr;
965     }
966     return false;
967 }
968 function sc_memq(o, l) { return sc_memX(o, l, sc_isEq); }
969 function sc_memv(o, l) { return sc_memX(o, l, sc_isEqv); }
970 function sc_member(o, l) { return sc_memX(o, l, sc_isEqual); }
971 */
972
973 /* optimized versions */
974 /*** META ((export #t)) */
975 function sc_memq(o, l) {
976     while (l !== null) {
977         if (l.car === o)
978             return l;
979         l = l.cdr;
980     }
981     return false;
982 }
983 /*** META ((export #t)) */
984 function sc_memv(o, l) {
985     while (l !== null) {
986         if (l.car === o)
987             return l;
988         l = l.cdr;
989     }
990     return false;
991 }
992 /*** META ((export #t)) */
993 function sc_member(o, l) {
994     while (l !== null) {
995         if (sc_isEqual(l.car,o))
996             return l;
997         l = l.cdr;
998     }
999     return false;
1000 }
1001
1002 /* // generic unoptimized versions
1003 function sc_assX(o, al, comp) {
1004     while (al != null) {
1005         if (comp(al.car.car, o))
1006             return al.car;
1007         al = al.cdr;
1008     }
1009     return false;
1010 }
1011 function sc_assq(o, al) { return sc_assX(o, al, sc_isEq); }
1012 function sc_assv(o, al) { return sc_assX(o, al, sc_isEqv); }
1013 function sc_assoc(o, al) { return sc_assX(o, al, sc_isEqual); }
1014 */
1015 // optimized versions
1016 /*** META ((export #t)) */
1017 function sc_assq(o, al) {
1018     while (al !== null) {
1019         if (al.car.car === o)
1020             return al.car;
1021         al = al.cdr;
1022     }
1023     return false;
1024 }
1025 /*** META ((export #t)) */
1026 function sc_assv(o, al) {
1027     while (al !== null) {
1028         if (al.car.car === o)
1029             return al.car;
1030         al = al.cdr;
1031     }
1032     return false;
1033 }
1034 /*** META ((export #t)) */
1035 function sc_assoc(o, al) {
1036     while (al !== null) {
1037         if (sc_isEqual(al.car.car, o))
1038             return al.car;
1039         al = al.cdr;
1040     }
1041     return false;
1042 }
1043
1044 /* can be used for mutable strings and characters */
1045 function sc_isCharStringEqual(cs1, cs2) { return cs1.val === cs2.val; }
1046 function sc_isCharStringLess(cs1, cs2) { return cs1.val < cs2.val; }
1047 function sc_isCharStringGreater(cs1, cs2) { return cs1.val > cs2.val; }
1048 function sc_isCharStringLessEqual(cs1, cs2) { return cs1.val <= cs2.val; }
1049 function sc_isCharStringGreaterEqual(cs1, cs2) { return cs1.val >= cs2.val; }
1050 function sc_isCharStringCIEqual(cs1, cs2)
1051     { return cs1.val.toLowerCase() === cs2.val.toLowerCase(); }
1052 function sc_isCharStringCILess(cs1, cs2)
1053     { return cs1.val.toLowerCase() < cs2.val.toLowerCase(); }
1054 function sc_isCharStringCIGreater(cs1, cs2)
1055     { return cs1.val.toLowerCase() > cs2.val.toLowerCase(); }
1056 function sc_isCharStringCILessEqual(cs1, cs2)
1057     { return cs1.val.toLowerCase() <= cs2.val.toLowerCase(); }
1058 function sc_isCharStringCIGreaterEqual(cs1, cs2)
1059     { return cs1.val.toLowerCase() >= cs2.val.toLowerCase(); }
1060
1061
1062
1063
1064 function sc_Char(c) {
1065     var cached = sc_Char.lazy[c];
1066     if (cached)
1067         return cached;
1068     this.val = c;
1069     sc_Char.lazy[c] = this;
1070     // add return, so FF does not complain.
1071     return undefined;
1072 }
1073 sc_Char.lazy = new Object();
1074 // thanks to Eric
1075 sc_Char.char2readable = {
1076     "\000": "#\\null",
1077     "\007": "#\\bell",
1078     "\010": "#\\backspace",
1079     "\011": "#\\tab",
1080     "\012": "#\\newline",
1081     "\014": "#\\page",
1082     "\015": "#\\return",
1083     "\033": "#\\escape",
1084     "\040": "#\\space",
1085     "\177": "#\\delete",
1086
1087   /* poeticless names */
1088     "\001": "#\\soh",
1089     "\002": "#\\stx",
1090     "\003": "#\\etx",
1091     "\004": "#\\eot",
1092     "\005": "#\\enq",
1093     "\006": "#\\ack",
1094
1095     "\013": "#\\vt",
1096     "\016": "#\\so",
1097     "\017": "#\\si",
1098
1099     "\020": "#\\dle",
1100     "\021": "#\\dc1",
1101     "\022": "#\\dc2",
1102     "\023": "#\\dc3",
1103     "\024": "#\\dc4",
1104     "\025": "#\\nak",
1105     "\026": "#\\syn",
1106     "\027": "#\\etb",
1107
1108     "\030": "#\\can",
1109     "\031": "#\\em",
1110     "\032": "#\\sub",
1111     "\033": "#\\esc",
1112     "\034": "#\\fs",
1113     "\035": "#\\gs",
1114     "\036": "#\\rs",
1115     "\037": "#\\us"};
1116
1117 sc_Char.readable2char = {
1118     "null": "\000",
1119     "bell": "\007",
1120     "backspace": "\010",
1121     "tab": "\011",
1122     "newline": "\012",
1123     "page": "\014",
1124     "return": "\015",
1125     "escape": "\033",
1126     "space": "\040",
1127     "delete": "\000",
1128     "soh": "\001",
1129     "stx": "\002",
1130     "etx": "\003",
1131     "eot": "\004",
1132     "enq": "\005",
1133     "ack": "\006",
1134     "bel": "\007",
1135     "bs": "\010",
1136     "ht": "\011",
1137     "nl": "\012",
1138     "vt": "\013",
1139     "np": "\014",
1140     "cr": "\015",
1141     "so": "\016",
1142     "si": "\017",
1143     "dle": "\020",
1144     "dc1": "\021",
1145     "dc2": "\022",
1146     "dc3": "\023",
1147     "dc4": "\024",
1148     "nak": "\025",
1149     "syn": "\026",
1150     "etb": "\027",
1151     "can": "\030",
1152     "em": "\031",
1153     "sub": "\032",
1154     "esc": "\033",
1155     "fs": "\034",
1156     "gs": "\035",
1157     "rs": "\036",
1158     "us": "\037",
1159     "sp": "\040",
1160     "del": "\177"};
1161     
1162 sc_Char.prototype.toString = function() {
1163     return this.val;
1164 };
1165 // sc_toDisplayString == toString
1166 sc_Char.prototype.sc_toWriteString = function() {
1167     var entry = sc_Char.char2readable[this.val];
1168     if (entry)
1169         return entry;
1170     else
1171         return "#\\" + this.val;
1172 };
1173
1174 /*** META ((export #t)
1175            (type bool)
1176            (peephole (postfix "instanceof sc_Char")))
1177 */
1178 function sc_isChar(c) {
1179     return (c instanceof sc_Char);
1180 }
1181
1182 /*** META ((export char=?)
1183            (type bool)
1184            (peephole (hole 2 c1 ".val === " c2 ".val")))
1185 */
1186 var sc_isCharEqual = sc_isCharStringEqual;
1187 /*** META ((export char<?)
1188            (type bool)
1189            (peephole (hole 2 c1 ".val < " c2 ".val")))
1190 */
1191 var sc_isCharLess = sc_isCharStringLess;
1192 /*** META ((export char>?)
1193            (type bool)
1194            (peephole (hole 2 c1 ".val > " c2 ".val")))
1195 */
1196 var sc_isCharGreater = sc_isCharStringGreater;
1197 /*** META ((export char<=?)
1198            (type bool)
1199            (peephole (hole 2 c1 ".val <= " c2 ".val")))
1200 */
1201 var sc_isCharLessEqual = sc_isCharStringLessEqual;
1202 /*** META ((export char>=?)
1203            (type bool)
1204            (peephole (hole 2 c1 ".val >= " c2 ".val")))
1205 */
1206 var sc_isCharGreaterEqual = sc_isCharStringGreaterEqual;
1207 /*** META ((export char-ci=?)
1208            (type bool)
1209            (peephole (hole 2 c1 ".val.toLowerCase() === " c2 ".val.toLowerCase()")))
1210 */
1211 var sc_isCharCIEqual = sc_isCharStringCIEqual;
1212 /*** META ((export char-ci<?)
1213            (type bool)
1214            (peephole (hole 2 c1 ".val.toLowerCase() < " c2 ".val.toLowerCase()")))
1215 */
1216 var sc_isCharCILess = sc_isCharStringCILess;
1217 /*** META ((export char-ci>?)
1218            (type bool)
1219            (peephole (hole 2 c1 ".val.toLowerCase() > " c2 ".val.toLowerCase()")))
1220 */
1221 var sc_isCharCIGreater = sc_isCharStringCIGreater;
1222 /*** META ((export char-ci<=?)
1223            (type bool)
1224            (peephole (hole 2 c1 ".val.toLowerCase() <= " c2 ".val.toLowerCase()")))
1225 */
1226 var sc_isCharCILessEqual = sc_isCharStringCILessEqual;
1227 /*** META ((export char-ci>=?)
1228            (type bool)
1229            (peephole (hole 2 c1 ".val.toLowerCase() >= " c2 ".val.toLowerCase()")))
1230 */
1231 var sc_isCharCIGreaterEqual = sc_isCharStringCIGreaterEqual;
1232
1233 var SC_NUMBER_CLASS = "0123456789";
1234 var SC_WHITESPACE_CLASS = ' \r\n\t\f';
1235 var SC_LOWER_CLASS = 'abcdefghijklmnopqrstuvwxyz';
1236 var SC_UPPER_CLASS = 'ABCDEFGHIJKLMNOPQRSTUVWXYZ';
1237
1238 function sc_isCharOfClass(c, cl) { return (cl.indexOf(c) != -1); }
1239 /*** META ((export #t)
1240            (type bool))
1241 */
1242 function sc_isCharAlphabetic(c)
1243     { return sc_isCharOfClass(c.val, SC_LOWER_CLASS) ||
1244           sc_isCharOfClass(c.val, SC_UPPER_CLASS); }
1245 /*** META ((export #t)
1246            (type bool)
1247            (peephole (hole 1 "SC_NUMBER_CLASS.indexOf(" c ".val) != -1")))
1248 */
1249 function sc_isCharNumeric(c)
1250     { return sc_isCharOfClass(c.val, SC_NUMBER_CLASS); }
1251 /*** META ((export #t)
1252            (type bool))
1253 */
1254 function sc_isCharWhitespace(c) {
1255     var tmp = c.val;
1256     return tmp === " " || tmp === "\r" || tmp === "\n" || tmp === "\t" || tmp === "\f";
1257 }
1258 /*** META ((export #t)
1259            (type bool)
1260            (peephole (hole 1 "SC_UPPER_CLASS.indexOf(" c ".val) != -1")))
1261 */
1262 function sc_isCharUpperCase(c)
1263     { return sc_isCharOfClass(c.val, SC_UPPER_CLASS); }
1264 /*** META ((export #t)
1265            (type bool)
1266            (peephole (hole 1 "SC_LOWER_CLASS.indexOf(" c ".val) != -1")))
1267 */
1268 function sc_isCharLowerCase(c)
1269     { return sc_isCharOfClass(c.val, SC_LOWER_CLASS); }
1270
1271 /*** META ((export #t)
1272            (peephole (postfix ".val.charCodeAt(0)")))
1273 */
1274 function sc_char2integer(c)
1275     { return c.val.charCodeAt(0); }
1276 /*** META ((export #t)
1277            (peephole (hole 1 "new sc_Char(String.fromCharCode(" n "))")))
1278 */
1279 function sc_integer2char(n)
1280     { return new sc_Char(String.fromCharCode(n)); }
1281
1282 /*** META ((export #t)
1283            (peephole (hole 1 "new sc_Char(" c ".val.toUpperCase())")))
1284 */
1285 function sc_charUpcase(c)
1286     { return new sc_Char(c.val.toUpperCase()); }
1287 /*** META ((export #t)
1288            (peephole (hole 1 "new sc_Char(" c ".val.toLowerCase())")))
1289 */
1290 function sc_charDowncase(c)
1291     { return new sc_Char(c.val.toLowerCase()); }
1292
1293 function sc_makeJSStringOfLength(k, c) {
1294     var fill;
1295     if (c === undefined)
1296         fill = " ";
1297     else
1298         fill = c;
1299     var res = "";
1300     var len = 1;
1301     // every round doubles the size of fill.
1302     while (k >= len) {
1303         if (k & len)
1304             res = res.concat(fill);
1305         fill = fill.concat(fill);
1306         len *= 2;
1307     }
1308     return res;
1309 }
1310
1311 function sc_makejsString(k, c) {
1312     var fill;
1313     if (c)
1314         fill = c.val;
1315     else
1316         fill = " ";
1317     return sc_makeJSStringOfLength(k, fill);
1318 }
1319
1320 function sc_jsstring2list(s) {
1321     var res = null;
1322     for (var i = s.length - 1; i >= 0; i--)
1323         res = sc_cons(new sc_Char(s.charAt(i)), res);
1324     return res;
1325 }
1326
1327 function sc_list2jsstring(l) {
1328     var a = new Array();
1329     while(l !== null) {
1330         a.push(l.car.val);
1331         l = l.cdr;
1332     }
1333     return "".concat.apply("", a);
1334 }
1335
1336 var sc_Vector = Array;
1337
1338 sc_Vector.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) {
1339     if (this.length === 0) return "#()";
1340
1341     var res = "#(" + writeOrDisplay(this[0]);
1342     for (var i = 1; i < this.length; i++)
1343         res += " " + writeOrDisplay(this[i]);
1344     res += ")";
1345     return res;
1346 };
1347 sc_Vector.prototype.sc_toDisplayString = function() {
1348     return this.sc_toWriteOrDisplayString(sc_toDisplayString);
1349 };
1350 sc_Vector.prototype.sc_toWriteString = function() {
1351     return this.sc_toWriteOrDisplayString(sc_toWriteString);
1352 };
1353
1354 /*** META ((export vector? array?)
1355            (type bool)
1356            (peephole (postfix " instanceof sc_Vector")))
1357 */
1358 function sc_isVector(v) {
1359     return (v instanceof sc_Vector);
1360 }
1361
1362 // only applies to vectors
1363 function sc_isVectorEqual(v1, v2, comp) {
1364     if (v1.length !== v2.length) return false;
1365     for (var i = 0; i < v1.length; i++)
1366         if (!comp(v1[i], v2[i])) return false;
1367     return true;
1368 }
1369
1370 /*** META ((export make-vector make-array)) */
1371 function sc_makeVector(size, fill) {
1372     var a = new sc_Vector(size);
1373     if (fill !== undefined)
1374         sc_vectorFillBang(a, fill);
1375     return a;
1376 }
1377
1378 /*** META ((export vector array)
1379            (peephole (vector)))
1380 */
1381 function sc_vector() {
1382     var a = new sc_Vector();
1383     for (var i = 0; i < arguments.length; i++)
1384         a.push(arguments[i]);
1385     return a;
1386 }
1387
1388 /*** META ((export vector-length array-length)
1389            (peephole (postfix ".length")))
1390 */
1391 function sc_vectorLength(v) {
1392     return v.length;
1393 }
1394
1395 /*** META ((export vector-ref array-ref)
1396            (peephole (hole 2 v "[" pos "]")))
1397 */
1398 function sc_vectorRef(v, pos) {
1399     return v[pos];
1400 }
1401
1402 /*** META ((export vector-set! array-set!)
1403            (peephole (hole 3 v "[" pos "] = " val)))
1404 */
1405 function sc_vectorSetBang(v, pos, val) {
1406     v[pos] = val;
1407 }
1408
1409 /*** META ((export vector->list array->list)) */
1410 function sc_vector2list(a) {
1411     var res = null;
1412     for (var i = a.length-1; i >= 0; i--)
1413         res = sc_cons(a[i], res);
1414     return res;
1415 }
1416
1417 /*** META ((export list->vector list->array)) */
1418 function sc_list2vector(l) {
1419     var a = new sc_Vector();
1420     while(l !== null) {
1421         a.push(l.car);
1422         l = l.cdr;
1423     }
1424     return a;
1425 }
1426
1427 /*** META ((export vector-fill! array-fill!)) */
1428 function sc_vectorFillBang(a, fill) {
1429     for (var i = 0; i < a.length; i++)
1430         a[i] = fill;
1431 }
1432
1433
1434 /*** META ((export #t)) */
1435 function sc_copyVector(a, len) {
1436     if (len <= a.length)
1437         return a.slice(0, len);
1438     else {
1439         var tmp = a.concat();
1440         tmp.length = len;
1441         return tmp;
1442     }
1443 }
1444
1445 /*** META ((export #t)
1446            (peephole (hole 3 a ".slice(" start "," end ")")))
1447 */
1448 function sc_vectorCopy(a, start, end) {
1449     return a.slice(start, end);
1450 }
1451
1452 /*** META ((export #t)) */
1453 function sc_vectorCopyBang(target, tstart, source, sstart, send) {
1454     if (!sstart) sstart = 0;
1455     if (!send) send = source.length;
1456
1457     // if target == source we don't want to overwrite not yet copied elements.
1458     if (tstart <= sstart) {
1459         for (var i = tstart, j = sstart; j < send; i++, j++) {
1460             target[i] = source[j];
1461         }
1462     } else {
1463         var diff = send - sstart;
1464         for (var i = tstart + diff - 1, j = send - 1;
1465              j >= sstart;
1466              i--, j--) {
1467             target[i] = source[j];
1468         }
1469     }
1470     return target;
1471 }
1472
1473 /*** META ((export #t)
1474            (type bool)
1475            (peephole (hole 1 "typeof " o " === 'function'")))
1476 */
1477 function sc_isProcedure(o) {
1478     return (typeof o === "function");
1479 }
1480
1481 /*** META ((export #t)) */
1482 function sc_apply(proc) {
1483     var args = new Array();
1484     // first part of arguments are not in list-form.
1485     for (var i = 1; i < arguments.length - 1; i++)
1486         args.push(arguments[i]);
1487     var l = arguments[arguments.length - 1];
1488     while (l !== null) {
1489         args.push(l.car);
1490         l = l.cdr;
1491     }
1492     return proc.apply(null, args);
1493 }
1494
1495 /*** META ((export #t)) */
1496 function sc_map(proc, l1) {
1497     if (l1 === undefined)
1498         return null;
1499     // else
1500     var nbApplyArgs = arguments.length - 1;
1501     var applyArgs = new Array(nbApplyArgs);
1502     var revres = null;
1503     while (l1 !== null) {
1504         for (var i = 0; i < nbApplyArgs; i++) {
1505             applyArgs[i] = arguments[i + 1].car;
1506             arguments[i + 1] = arguments[i + 1].cdr;
1507         }
1508         revres = sc_cons(proc.apply(null, applyArgs), revres);
1509     }
1510     return sc_reverseAppendBang(revres, null);
1511 }
1512
1513 /*** META ((export #t)) */
1514 function sc_mapBang(proc, l1) {
1515     if (l1 === undefined)
1516         return null;
1517     // else
1518     var l1_orig = l1;
1519     var nbApplyArgs = arguments.length - 1;
1520     var applyArgs = new Array(nbApplyArgs);
1521     while (l1 !== null) {
1522         var tmp = l1;
1523         for (var i = 0; i < nbApplyArgs; i++) {
1524             applyArgs[i] = arguments[i + 1].car;
1525             arguments[i + 1] = arguments[i + 1].cdr;
1526         }
1527         tmp.car = proc.apply(null, applyArgs);
1528     }
1529     return l1_orig;
1530 }
1531      
1532 /*** META ((export #t)) */
1533 function sc_forEach(proc, l1) {
1534     if (l1 === undefined)
1535         return undefined;
1536     // else
1537     var nbApplyArgs = arguments.length - 1;
1538     var applyArgs = new Array(nbApplyArgs);
1539     while (l1 !== null) {
1540         for (var i = 0; i < nbApplyArgs; i++) {
1541             applyArgs[i] = arguments[i + 1].car;
1542             arguments[i + 1] = arguments[i + 1].cdr;
1543         }
1544         proc.apply(null, applyArgs);
1545     }
1546     // add return so FF does not complain.
1547     return undefined;
1548 }
1549
1550 /*** META ((export #t)) */
1551 function sc_filter(proc, l1) {
1552     var dummy = { cdr : null };
1553     var tail = dummy;
1554     while (l1 !== null) {
1555         if (proc(l1.car) !== false) {
1556             tail.cdr = sc_cons(l1.car, null);
1557             tail = tail.cdr;
1558         }
1559         l1 = l1.cdr;
1560     }
1561     return dummy.cdr;
1562 }
1563
1564 /*** META ((export #t)) */
1565 function sc_filterBang(proc, l1) {
1566     var head = sc_cons("dummy", l1);
1567     var it = head;
1568     var next = l1;
1569     while (next !== null) {
1570         if (proc(next.car) !== false) {
1571             it.cdr = next
1572             it = next;
1573         }
1574         next = next.cdr;
1575     }
1576     it.cdr = null;
1577     return head.cdr;
1578 }
1579
1580 function sc_filterMap1(proc, l1) {
1581     var revres = null;
1582     while (l1 !== null) {
1583         var tmp = proc(l1.car)
1584         if (tmp !== false) revres = sc_cons(tmp, revres);
1585         l1 = l1.cdr;
1586     }
1587     return sc_reverseAppendBang(revres, null);
1588 }
1589 function sc_filterMap2(proc, l1, l2) {
1590     var revres = null;
1591     while (l1 !== null) {
1592         var tmp = proc(l1.car, l2.car);
1593         if(tmp !== false) revres = sc_cons(tmp, revres);
1594         l1 = l1.cdr;
1595         l2 = l2.cdr
1596     }
1597     return sc_reverseAppendBang(revres, null);
1598 }
1599
1600 /*** META ((export #t)) */
1601 function sc_filterMap(proc, l1, l2, l3) {
1602     if (l2 === undefined)
1603         return sc_filterMap1(proc, l1);
1604     else if (l3 === undefined)
1605         return sc_filterMap2(proc, l1, l2);
1606     // else
1607     var nbApplyArgs = arguments.length - 1;
1608     var applyArgs = new Array(nbApplyArgs);
1609     var revres = null;
1610     while (l1 !== null) {
1611         for (var i = 0; i < nbApplyArgs; i++) {
1612             applyArgs[i] = arguments[i + 1].car;
1613             arguments[i + 1] = arguments[i + 1].cdr;
1614         }
1615         var tmp = proc.apply(null, applyArgs);
1616         if(tmp !== false) revres = sc_cons(tmp, revres);
1617     }
1618     return sc_reverseAppendBang(revres, null);
1619 }
1620
1621 /*** META ((export #t)) */
1622 function sc_any(proc, l) {
1623     var revres = null;
1624     while (l !== null) {
1625         var tmp = proc(l.car);
1626         if(tmp !== false) return tmp;
1627         l = l.cdr;
1628     }
1629     return false;
1630 }
1631
1632 /*** META ((export any?)
1633            (peephole (hole 2 "sc_any(" proc "," l ") !== false")))
1634 */
1635 function sc_anyPred(proc, l) {
1636     return sc_any(proc, l)!== false;
1637 }
1638
1639 /*** META ((export #t)) */
1640 function sc_every(proc, l) {
1641     var revres = null;
1642     var tmp = true;
1643     while (l !== null) {
1644         tmp = proc(l.car);
1645         if (tmp === false) return false;
1646         l = l.cdr;
1647     }
1648     return tmp;
1649 }
1650
1651 /*** META ((export every?)
1652            (peephole (hole 2 "sc_every(" proc "," l ") !== false")))
1653 */
1654 function sc_everyPred(proc, l) {
1655     var tmp = sc_every(proc, l);
1656     if (tmp !== false) return true;
1657     return false;
1658 }
1659
1660 /*** META ((export #t)
1661            (peephole (postfix "()")))
1662 */
1663 function sc_force(o) {
1664     return o();
1665 }
1666
1667 /*** META ((export #t)) */
1668 function sc_makePromise(proc) {
1669     var isResultReady = false;
1670     var result = undefined;
1671     return function() {
1672         if (!isResultReady) {
1673             var tmp = proc();
1674             if (!isResultReady) {
1675                 isResultReady = true;
1676                 result = tmp;
1677             }
1678         }
1679         return result;
1680     };
1681 }
1682
1683 function sc_Values(values) {
1684     this.values = values;
1685 }
1686
1687 /*** META ((export #t)
1688            (peephole (values)))
1689 */
1690 function sc_values() {
1691     if (arguments.length === 1)
1692         return arguments[0];
1693     else
1694         return new sc_Values(arguments);
1695 }
1696
1697 /*** META ((export #t)) */
1698 function sc_callWithValues(producer, consumer) {
1699     var produced = producer();
1700     if (produced instanceof sc_Values)
1701         return consumer.apply(null, produced.values);
1702     else
1703         return consumer(produced);
1704 }
1705
1706 /*** META ((export #t)) */
1707 function sc_dynamicWind(before, thunk, after) {
1708     before();
1709     try {
1710         var res = thunk();
1711         return res;
1712     } finally {
1713         after();
1714     }
1715 }
1716
1717
1718 // TODO: eval/scheme-report-environment/null-environment/interaction-environment
1719
1720 // LIMITATION: 'load' doesn't exist without files.
1721 // LIMITATION: transcript-on/transcript-off doesn't exist without files.
1722
1723
1724 function sc_Struct(name) {
1725     this.name = name;
1726 }
1727 sc_Struct.prototype.sc_toDisplayString = function() {
1728     return "#<struct" + sc_hash(this) + ">";
1729 };
1730 sc_Struct.prototype.sc_toWriteString = sc_Struct.prototype.sc_toDisplayString;
1731
1732 /*** META ((export #t)
1733            (peephole (hole 1 "new sc_Struct(" name ")")))
1734 */
1735 function sc_makeStruct(name) {
1736     return new sc_Struct(name);
1737 }
1738
1739 /*** META ((export #t)
1740            (type bool)
1741            (peephole (postfix " instanceof sc_Struct")))
1742 */
1743 function sc_isStruct(o) {
1744     return (o instanceof sc_Struct);
1745 }
1746
1747 /*** META ((export #t)
1748            (type bool)
1749            (peephole (hole 2 "(" 1 " instanceof sc_Struct) && ( " 1 ".name === " 0 ")")))
1750 */
1751 function sc_isStructNamed(name, s) {
1752     return ((s instanceof sc_Struct) && (s.name === name));
1753 }
1754
1755 /*** META ((export struct-field)
1756            (peephole (hole 3 0 "[" 2 "]")))
1757 */
1758 function sc_getStructField(s, name, field) {
1759     return s[field];
1760 }
1761
1762 /*** META ((export struct-field-set!)
1763            (peephole (hole 4 0 "[" 2 "] = " 3)))
1764 */
1765 function sc_setStructFieldBang(s, name, field, val) {
1766     s[field] = val;
1767 }
1768
1769 /*** META ((export #t)
1770            (peephole (prefix "~")))
1771 */
1772 function sc_bitNot(x) {
1773     return ~x;
1774 }
1775
1776 /*** META ((export #t)
1777            (peephole (infix 2 2 "&")))
1778 */
1779 function sc_bitAnd(x, y) {
1780     return x & y;
1781 }
1782
1783 /*** META ((export #t)
1784            (peephole (infix 2 2 "|")))
1785 */
1786 function sc_bitOr(x, y) {
1787     return x | y;
1788 }
1789
1790 /*** META ((export #t)
1791            (peephole (infix 2 2 "^")))
1792 */
1793 function sc_bitXor(x, y) {
1794     return x ^ y;
1795 }
1796
1797 /*** META ((export #t)
1798            (peephole (infix 2 2 "<<")))
1799 */
1800 function sc_bitLsh(x, y) {
1801     return x << y;
1802 }
1803
1804 /*** META ((export #t)
1805            (peephole (infix 2 2 ">>")))
1806 */
1807 function sc_bitRsh(x, y) {
1808     return x >> y;
1809 }
1810
1811 /*** META ((export #t)
1812            (peephole (infix 2 2 ">>>")))
1813 */
1814 function sc_bitUrsh(x, y) {
1815     return x >>> y;
1816 }
1817
1818 /*** META ((export js-field js-property)
1819            (peephole (hole 2 o "[" field "]")))
1820 */
1821 function sc_jsField(o, field) {
1822     return o[field];
1823 }
1824
1825 /*** META ((export js-field-set! js-property-set!)
1826            (peephole (hole 3 o "[" field "] = " val)))
1827 */
1828 function sc_setJsFieldBang(o, field, val) {
1829     return o[field] = val;
1830 }
1831
1832 /*** META ((export js-field-delete! js-property-delete!)
1833            (peephole (hole 2 "delete" o "[" field "]")))
1834 */
1835 function sc_deleteJsFieldBang(o, field) {
1836     delete o[field];
1837 }
1838
1839 /*** META ((export #t)
1840            (peephole (jsCall)))
1841 */
1842 function sc_jsCall(o, fun) {
1843     var args = new Array();
1844     for (var i = 2; i < arguments.length; i++)
1845         args[i-2] = arguments[i];
1846     return fun.apply(o, args);
1847 }
1848
1849 /*** META ((export #t)
1850            (peephole (jsMethodCall)))
1851 */
1852 function sc_jsMethodCall(o, field) {
1853     var args = new Array();
1854     for (var i = 2; i < arguments.length; i++)
1855         args[i-2] = arguments[i];
1856     return o[field].apply(o, args);
1857 }
1858
1859 /*** META ((export new js-new)
1860            (peephole (jsNew)))
1861 */
1862 function sc_jsNew(c) {
1863     var evalStr = "new c(";
1864     evalStr +=arguments.length > 1? "arguments[1]": "";
1865     for (var i = 2; i < arguments.length; i++)
1866         evalStr += ", arguments[" + i + "]";
1867     evalStr +=")";
1868     return eval(evalStr);
1869 }    
1870
1871 // ======================== RegExp ====================
1872 /*** META ((export #t)) */
1873 function sc_pregexp(re) {
1874     return new RegExp(sc_string2jsstring(re));
1875 }
1876
1877 /*** META ((export #t)) */
1878 function sc_pregexpMatch(re, s) {
1879     var reg = (re instanceof RegExp) ? re : sc_pregexp(re);
1880     var tmp = reg.exec(sc_string2jsstring(s));
1881     
1882     if (tmp == null) return false;
1883     
1884     var res = null;
1885     for (var i = tmp.length-1; i >= 0; i--) {
1886         if (tmp[i] !== null) {
1887             res = sc_cons(sc_jsstring2string(tmp[i]), res);
1888         } else {
1889             res = sc_cons(false, res);
1890         }
1891     }
1892     return res;
1893 }
1894    
1895 /*** META ((export #t)) */
1896 function sc_pregexpReplace(re, s1, s2) {
1897    var reg;
1898    var jss1 = sc_string2jsstring(s1);
1899    var jss2 = sc_string2jsstring(s2);
1900
1901    if (re instanceof RegExp) {
1902        if (re.global)
1903            reg = re;
1904        else
1905            reg = new RegExp(re.source);
1906    } else {
1907        reg = new RegExp(sc_string2jsstring(re));
1908    }
1909
1910    return jss1.replace(reg, jss2);
1911 }
1912    
1913 /*** META ((export pregexp-replace*)) */
1914 function sc_pregexpReplaceAll(re, s1, s2) {
1915    var reg;
1916    var jss1 = sc_string2jsstring(s1);
1917    var jss2 = sc_string2jsstring(s2);
1918
1919    if (re instanceof RegExp) {
1920       if (re.global)
1921           reg = re;
1922       else
1923           reg = new RegExp(re.source, "g");
1924    } else {
1925        reg = new RegExp(sc_string2jsstring(re), "g");
1926    }
1927
1928    return jss1.replace(reg, jss2);
1929 }
1930
1931 /*** META ((export #t)) */
1932 function sc_pregexpSplit(re, s) {
1933    var reg = ((re instanceof RegExp) ?
1934               re :
1935               new RegExp(sc_string2jsstring(re)));
1936    var jss = sc_string2jsstring(s);
1937    var tmp = jss.split(reg);
1938
1939    if (tmp == null) return false;
1940
1941    return sc_vector2list(tmp);
1942 }
1943    
1944
1945 /* =========================================================================== */
1946 /* Other library stuff */
1947 /* =========================================================================== */
1948
1949 /*** META ((export #t)
1950            (peephole (hole 1 "Math.floor(Math.random()*" 'n ")")))
1951 */
1952 function sc_random(n) {
1953     return Math.floor(Math.random()*n);
1954 }
1955
1956 /*** META ((export current-date)
1957            (peephole (hole 0 "new Date()")))
1958 */
1959 function sc_currentDate() {
1960    return new Date();
1961 }
1962
1963 function sc_Hashtable() {
1964 }
1965 sc_Hashtable.prototype.toString = function() {
1966     return "#{%hashtable}";
1967 };
1968 // sc_toWriteString == sc_toDisplayString == toString
1969
1970 function sc_HashtableElement(key, val) {
1971     this.key = key;
1972     this.val = val;
1973 }
1974
1975 /*** META ((export #t)
1976            (peephole (hole 0 "new sc_Hashtable()")))
1977 */
1978 function sc_makeHashtable() {
1979     return new sc_Hashtable();
1980 }
1981
1982 /*** META ((export #t)) */
1983 function sc_hashtablePutBang(ht, key, val) {
1984     var hash = sc_hash(key);
1985     ht[hash] = new sc_HashtableElement(key, val);
1986 }
1987
1988 /*** META ((export #t)) */
1989 function sc_hashtableGet(ht, key) {
1990     var hash = sc_hash(key);
1991     if (hash in ht)
1992         return ht[hash].val;
1993     else
1994         return false;
1995 }
1996
1997 /*** META ((export #t)) */
1998 function sc_hashtableForEach(ht, f) {
1999     for (var v in ht) {
2000         if (ht[v] instanceof sc_HashtableElement)
2001             f(ht[v].key, ht[v].val);
2002     }
2003 }
2004
2005 /*** META ((export hashtable-contains?)
2006            (peephole (hole 2 "sc_hash(" 1 ") in " 0)))
2007 */
2008 function sc_hashtableContains(ht, key) {
2009     var hash = sc_hash(key);
2010     if (hash in ht)
2011         return true;
2012     else
2013         return false;
2014 }
2015
2016 var SC_HASH_COUNTER = 0;
2017
2018 function sc_hash(o) {
2019     if (o === null)
2020         return "null";
2021     else if (o === undefined)
2022         return "undefined";
2023     else if (o === true)
2024         return "true";
2025     else if (o === false)
2026         return "false";
2027     else if (typeof o === "number")
2028         return "num-" + o;
2029     else if (typeof o === "string")
2030         return "jsstr-" + o;
2031     else if (o.sc_getHash)
2032         return o.sc_getHash();
2033     else
2034         return sc_counterHash.call(o);
2035 }
2036 function sc_counterHash() {
2037     if (!this.sc_hash) {
2038         this.sc_hash = "hash-" + SC_HASH_COUNTER;
2039         SC_HASH_COUNTER++;
2040     }
2041     return this.sc_hash;
2042 }
2043
2044 function sc_Trampoline(args, maxTailCalls) {
2045     this['__trampoline return__'] = true;
2046     this.args = args;
2047     this.MAX_TAIL_CALLs = maxTailCalls;
2048 }
2049 // TODO: call/cc stuff
2050 sc_Trampoline.prototype.restart = function() {
2051     var o = this;
2052     while (true) {
2053         // set both globals.
2054         SC_TAIL_OBJECT.calls = o.MAX_TAIL_CALLs-1;
2055         var fun = o.args.callee;
2056         var res = fun.apply(SC_TAIL_OBJECT, o.args);
2057         if (res instanceof sc_Trampoline)
2058             o = res;
2059         else
2060             return res;
2061     }
2062 }
2063
2064 /*** META ((export bind-exit-lambda)) */
2065 function sc_bindExitLambda(proc) {
2066     var escape_obj = new sc_BindExitException();
2067     var escape = function(res) {
2068         escape_obj.res = res;
2069         throw escape_obj;
2070     };
2071     try {
2072         return proc(escape);
2073     } catch(e) {
2074         if (e === escape_obj) {
2075             return e.res;
2076         }
2077         throw e;
2078     }
2079 }
2080 function sc_BindExitException() {
2081     this._internalException = true;
2082 }
2083
2084 var SC_SCM2JS_GLOBALS = new Object();
2085
2086 // default tail-call depth.
2087 // normally the program should set it again. but just in case...
2088 var SC_TAIL_OBJECT = new Object();
2089 SC_SCM2JS_GLOBALS.TAIL_OBJECT = SC_TAIL_OBJECT;
2090 // ======================== I/O =======================
2091
2092 /*------------------------------------------------------------------*/
2093
2094 function sc_EOF() {
2095 }
2096 var SC_EOF_OBJECT = new sc_EOF();
2097
2098 function sc_Port() {
2099 }
2100
2101 /* --------------- Input ports -------------------------------------*/
2102
2103 function sc_InputPort() {
2104 }
2105 sc_InputPort.prototype = new sc_Port();
2106
2107 sc_InputPort.prototype.peekChar = function() {
2108     if (!("peeked" in this))
2109         this.peeked = this.getNextChar();
2110     return this.peeked;
2111 }
2112 sc_InputPort.prototype.readChar = function() {
2113     var tmp = this.peekChar();
2114     delete this.peeked;
2115     return tmp;
2116 }
2117 sc_InputPort.prototype.isCharReady = function() {
2118     return true;
2119 }
2120 sc_InputPort.prototype.close = function() {
2121     // do nothing
2122 }
2123
2124 /* .............. String port ..........................*/
2125 function sc_ErrorInputPort() {
2126 };
2127 sc_ErrorInputPort.prototype = new sc_InputPort();
2128 sc_ErrorInputPort.prototype.getNextChar = function() {
2129     throw "can't read from error-port.";
2130 };
2131 sc_ErrorInputPort.prototype.isCharReady = function() {
2132     return false;
2133 };
2134     
2135
2136 /* .............. String port ..........................*/
2137
2138 function sc_StringInputPort(jsStr) {
2139     // we are going to do some charAts on the str.
2140     // instead of recreating all the time a String-object, we
2141     // create one in the beginning. (not sure, if this is really an optim)
2142     this.str = new String(jsStr);
2143     this.pos = 0;
2144 }
2145 sc_StringInputPort.prototype = new sc_InputPort();
2146 sc_StringInputPort.prototype.getNextChar = function() {
2147     if (this.pos >= this.str.length)
2148         return SC_EOF_OBJECT;
2149     return this.str.charAt(this.pos++);
2150 };
2151
2152 /* ------------- Read and other lib-funs  -------------------------------*/
2153 function sc_Token(type, val, pos) {
2154     this.type = type;
2155     this.val = val;
2156     this.pos = pos;
2157 }
2158 sc_Token.EOF = 0/*EOF*/;
2159 sc_Token.OPEN_PAR = 1/*OPEN_PAR*/;
2160 sc_Token.CLOSE_PAR = 2/*CLOSE_PAR*/;
2161 sc_Token.OPEN_BRACE = 3/*OPEN_BRACE*/;
2162 sc_Token.CLOSE_BRACE = 4/*CLOSE_BRACE*/;
2163 sc_Token.OPEN_BRACKET = 5/*OPEN_BRACKET*/;
2164 sc_Token.CLOSE_BRACKET = 6/*CLOSE_BRACKET*/;
2165 sc_Token.WHITESPACE = 7/*WHITESPACE*/;
2166 sc_Token.QUOTE = 8/*QUOTE*/;
2167 sc_Token.ID = 9/*ID*/;
2168 sc_Token.DOT = 10/*DOT*/;
2169 sc_Token.STRING = 11/*STRING*/;
2170 sc_Token.NUMBER = 12/*NUMBER*/;
2171 sc_Token.ERROR = 13/*ERROR*/;
2172 sc_Token.VECTOR_BEGIN = 14/*VECTOR_BEGIN*/;
2173 sc_Token.TRUE = 15/*TRUE*/;
2174 sc_Token.FALSE = 16/*FALSE*/;
2175 sc_Token.UNSPECIFIED = 17/*UNSPECIFIED*/;
2176 sc_Token.REFERENCE = 18/*REFERENCE*/;
2177 sc_Token.STORE = 19/*STORE*/;
2178 sc_Token.CHAR = 20/*CHAR*/;
2179
2180 var SC_ID_CLASS = SC_LOWER_CLASS + SC_UPPER_CLASS + "!$%*+-./:<=>?@^_~";
2181 function sc_Tokenizer(port) {
2182     this.port = port;
2183 }
2184 sc_Tokenizer.prototype.peekToken = function() {
2185     if (this.peeked)
2186         return this.peeked;
2187     var newToken = this.nextToken();
2188     this.peeked = newToken;
2189     return newToken;
2190 };
2191 sc_Tokenizer.prototype.readToken = function() {
2192     var tmp = this.peekToken();
2193     delete this.peeked;
2194     return tmp;
2195 };
2196 sc_Tokenizer.prototype.nextToken = function() {
2197     var port = this.port;
2198     
2199     function isNumberChar(c) {
2200         return (c >= "0" && c <= "9");
2201     };
2202     function isIdOrNumberChar(c) {
2203         return SC_ID_CLASS.indexOf(c) != -1 || // ID-char
2204             (c >= "0" && c <= "9");
2205     }
2206     function isWhitespace(c) {
2207         return c === " " || c === "\r" || c === "\n" || c === "\t" || c === "\f";
2208     };
2209     function isWhitespaceOrEOF(c) {
2210         return isWhitespace(c) || c === SC_EOF_OBJECT;
2211     };
2212
2213     function readString() {
2214         res = "";
2215         while (true) {
2216             var c = port.readChar();
2217             switch (c) {
2218             case '"':
2219                 return new sc_Token(11/*STRING*/, res);
2220             case "\\":
2221                 var tmp = port.readChar();
2222                 switch (tmp) {
2223                 case '0': res += "\0"; break;
2224                 case 'a': res += "\a"; break;
2225                 case 'b': res += "\b"; break;
2226                 case 'f': res += "\f"; break;
2227                 case 'n': res += "\n"; break;
2228                 case 'r': res += "\r"; break;
2229                 case 't': res += "\t"; break;
2230                 case 'v': res += "\v"; break;
2231                 case '"': res += '"'; break;
2232                 case '\\': res += '\\'; break;
2233                 case 'x':
2234                     /* hexa-number */
2235                     var nb = 0;
2236                     while (true) {
2237                         var hexC = port.peekChar();
2238                         if (hexC >= '0' && hexC <= '9') {
2239                             port.readChar();
2240                             nb = nb * 16 + hexC.charCodeAt(0) - '0'.charCodeAt(0);
2241                         } else if (hexC >= 'a' && hexC <= 'f') {
2242                             port.readChar();
2243                             nb = nb * 16 + hexC.charCodeAt(0) - 'a'.charCodeAt(0);
2244                         } else if (hexC >= 'A' && hexC <= 'F') {
2245                             port.readChar();
2246                             nb = nb * 16 + hexC.charCodeAt(0) - 'A'.charCodeAt(0);
2247                         } else {
2248                             // next char isn't part of hex.
2249                             res += String.fromCharCode(nb);
2250                             break;
2251                         }
2252                     }
2253                     break;
2254                 default:
2255                     if (tmp === SC_EOF_OBJECT) {
2256                         return new sc_Token(13/*ERROR*/, "unclosed string-literal" + res);
2257                     }
2258                     res += tmp;
2259                 }
2260                 break;
2261             default:
2262                 if (c === SC_EOF_OBJECT) {
2263                     return new sc_Token(13/*ERROR*/, "unclosed string-literal" + res);
2264                 }
2265                 res += c;
2266             }
2267         }
2268     };
2269     function readIdOrNumber(firstChar) {
2270         var res = firstChar;
2271         while (isIdOrNumberChar(port.peekChar()))
2272             res += port.readChar();
2273         if (isNaN(res))
2274             return new sc_Token(9/*ID*/, res);
2275         else
2276             return new sc_Token(12/*NUMBER*/, res - 0);
2277     };
2278     
2279     function skipWhitespaceAndComments() {
2280         var done = false;
2281         while (!done) {
2282             done = true;
2283             while (isWhitespace(port.peekChar()))
2284                 port.readChar();
2285             if (port.peekChar() === ';') {
2286                 port.readChar();
2287                 done = false;
2288                 while (true) {
2289                     curChar = port.readChar();
2290                     if (curChar === SC_EOF_OBJECT ||
2291                         curChar === '\n')
2292                         break;
2293                 }
2294             }
2295         }
2296     };
2297     
2298     function readDot() {
2299         if (isWhitespace(port.peekChar()))
2300             return new sc_Token(10/*DOT*/);
2301         else
2302             return readIdOrNumber(".");
2303     };
2304
2305     function readSharp() {
2306         var c = port.readChar();
2307         if (isWhitespace(c))
2308             return new sc_Token(13/*ERROR*/, "bad #-pattern0.");
2309
2310         // reference
2311         if (isNumberChar(c)) {
2312             var nb = c - 0;
2313             while (isNumberChar(port.peekChar()))
2314                 nb = nb*10 + (port.readChar() - 0);
2315             switch (port.readChar()) {
2316             case '#':
2317                 return new sc_Token(18/*REFERENCE*/, nb);
2318             case '=':
2319                 return new sc_Token(19/*STORE*/, nb);
2320             default:
2321                 return new sc_Token(13/*ERROR*/, "bad #-pattern1." + nb);
2322             }
2323         }
2324
2325         if (c === "(")
2326             return new sc_Token(14/*VECTOR_BEGIN*/);
2327         
2328         if (c === "\\") { // character
2329             var tmp = ""
2330             while (!isWhitespaceOrEOF(port.peekChar()))
2331                 tmp += port.readChar();
2332             switch (tmp.length) {
2333             case 0: // it's escaping a whitespace char:
2334                 if (sc_isEOFObject(port.peekChar))
2335                     return new sc_Token(13/*ERROR*/, "bad #-pattern2.");
2336                 else
2337                     return new sc_Token(20/*CHAR*/, port.readChar());
2338             case 1:
2339                 return new sc_Token(20/*CHAR*/, tmp);
2340             default:
2341                 var entry = sc_Char.readable2char[tmp.toLowerCase()];
2342                 if (entry)
2343                     return new sc_Token(20/*CHAR*/, entry);
2344                 else
2345                     return new sc_Token(13/*ERROR*/, "unknown character description: #\\" + tmp);
2346             }
2347         }
2348
2349         // some constants (#t, #f, #unspecified)
2350         var res;
2351         var needing;
2352         switch (c) {
2353         case 't': res = new sc_Token(15/*TRUE*/, true); needing = ""; break;
2354         case 'f': res = new sc_Token(16/*FALSE*/, false); needing = ""; break;
2355         case 'u': res = new sc_Token(17/*UNSPECIFIED*/, undefined); needing = "nspecified"; break;
2356         default:
2357             return new sc_Token(13/*ERROR*/, "bad #-pattern3: " + c);
2358         }
2359         while(true) {
2360             c = port.peekChar();
2361             if ((isWhitespaceOrEOF(c) || c === ')') &&
2362                 needing == "")
2363                 return res;
2364             else if (isWhitespace(c) || needing == "")
2365                 return new sc_Token(13/*ERROR*/, "bad #-pattern4 " + c + " " + needing);
2366             else if (needing.charAt(0) == c) {
2367                 port.readChar(); // consume
2368                 needing = needing.slice(1);
2369             } else
2370                 return new sc_Token(13/*ERROR*/, "bad #-pattern5");
2371         }
2372         
2373     };
2374
2375     skipWhitespaceAndComments();
2376     var curChar = port.readChar();
2377     if (curChar === SC_EOF_OBJECT)
2378         return new sc_Token(0/*EOF*/, curChar);
2379     switch (curChar)
2380     {
2381     case " ":
2382     case "\n":
2383     case "\t":
2384         return readWhitespace();
2385     case "(":
2386         return new sc_Token(1/*OPEN_PAR*/);
2387     case ")":
2388         return new sc_Token(2/*CLOSE_PAR*/);
2389     case "{":
2390         return new sc_Token(3/*OPEN_BRACE*/);
2391     case "}":
2392         return new sc_Token(4/*CLOSE_BRACE*/);
2393     case "[":
2394         return new sc_Token(5/*OPEN_BRACKET*/);
2395     case "]":
2396         return new sc_Token(6/*CLOSE_BRACKET*/);
2397     case "'":
2398         return new sc_Token(8/*QUOTE*/);
2399     case "#":
2400         return readSharp();
2401     case ".":
2402         return readDot();
2403     case '"':
2404         return readString();
2405     default:
2406         if (isIdOrNumberChar(curChar))
2407             return readIdOrNumber(curChar);
2408         throw "unexpected character: " + curChar;
2409     }
2410 };
2411
2412 function sc_Reader(tokenizer) {
2413     this.tokenizer = tokenizer;
2414     this.backref = new Array();
2415 }
2416 sc_Reader.prototype.read = function() {
2417     function readList(listBeginType) {
2418         function matchesPeer(open, close) {
2419             return open === 1/*OPEN_PAR*/ && close === 2/*CLOSE_PAR*/
2420                 || open === 3/*OPEN_BRACE*/ && close === 4/*CLOSE_BRACE*/
2421                 || open === 5/*OPEN_BRACKET*/ && close === 6/*CLOSE_BRACKET*/;
2422         };
2423         var res = null;
2424
2425         while (true) {
2426             var token = tokenizer.peekToken();
2427             
2428             switch (token.type) {
2429             case 2/*CLOSE_PAR*/:
2430             case 4/*CLOSE_BRACE*/:
2431             case 6/*CLOSE_BRACKET*/:
2432                 if (matchesPeer(listBeginType, token.type)) {
2433                     tokenizer.readToken(); // consume token
2434                     return sc_reverseBang(res);
2435                 } else
2436                     throw "closing par doesn't match: " + listBeginType
2437                         + " " + listEndType;
2438
2439             case 0/*EOF*/:
2440                 throw "unexpected end of file";
2441
2442             case 10/*DOT*/:
2443                 tokenizer.readToken(); // consume token
2444                 var cdr = this.read();
2445                 var par = tokenizer.readToken();
2446                 if (!matchesPeer(listBeginType, par.type))
2447                     throw "closing par doesn't match: " + listBeginType
2448                         + " " + par.type;
2449                 else
2450                     return sc_reverseAppendBang(res, cdr);
2451                 
2452
2453             default:
2454                 res = sc_cons(this.read(), res);
2455             }
2456         }
2457     };
2458     function readQuote() {
2459         return sc_cons("quote", sc_cons(this.read(), null));
2460     };
2461     function readVector() {
2462         // opening-parenthesis is already consumed
2463         var a = new Array();
2464         while (true) {
2465             var token = tokenizer.peekToken();
2466             switch (token.type) {
2467             case 2/*CLOSE_PAR*/:
2468                 tokenizer.readToken();
2469                 return a;
2470                 
2471             default:
2472                 a.push(this.read());
2473             }
2474         }
2475     };
2476
2477     function storeRefence(nb) {
2478         var tmp = this.read();
2479         this.backref[nb] = tmp;
2480         return tmp;
2481     };
2482         
2483     function readReference(nb) {
2484         if (nb in this.backref)
2485             return this.backref[nb];
2486         else
2487             throw "bad reference: " + nb;
2488     };
2489     
2490     var tokenizer = this.tokenizer;
2491
2492     var token = tokenizer.readToken();
2493
2494     // handle error
2495     if (token.type === 13/*ERROR*/)
2496         throw token.val;
2497     
2498     switch (token.type) {
2499     case 1/*OPEN_PAR*/:
2500     case 3/*OPEN_BRACE*/:
2501     case 5/*OPEN_BRACKET*/:
2502         return readList.call(this, token.type);
2503     case 8/*QUOTE*/:
2504         return readQuote.call(this);
2505     case 11/*STRING*/:
2506         return sc_jsstring2string(token.val);
2507     case 20/*CHAR*/:
2508         return new sc_Char(token.val);
2509     case 14/*VECTOR_BEGIN*/:
2510         return readVector.call(this);
2511     case 18/*REFERENCE*/:
2512         return readReference.call(this, token.val);
2513     case 19/*STORE*/:
2514         return storeRefence.call(this, token.val);
2515     case 9/*ID*/:
2516         return sc_jsstring2symbol(token.val);
2517     case 0/*EOF*/:
2518     case 12/*NUMBER*/:
2519     case 15/*TRUE*/:
2520     case 16/*FALSE*/:
2521     case 17/*UNSPECIFIED*/:
2522         return token.val;
2523     default:
2524         throw "unexpected token " + token.type + " " + token.val;
2525     }
2526 };
2527
2528 /*** META ((export #t)) */
2529 function sc_read(port) {
2530     if (port === undefined) // we assume the port hasn't been given.
2531         port = SC_DEFAULT_IN; // THREAD: shared var...
2532     var reader = new sc_Reader(new sc_Tokenizer(port));
2533     return reader.read();
2534 }
2535 /*** META ((export #t)) */
2536 function sc_readChar(port) {
2537     if (port === undefined) // we assume the port hasn't been given.
2538         port = SC_DEFAULT_IN; // THREAD: shared var...
2539     var t = port.readChar();
2540     return t === SC_EOF_OBJECT? t: new sc_Char(t);
2541 }
2542 /*** META ((export #t)) */
2543 function sc_peekChar(port) {
2544     if (port === undefined) // we assume the port hasn't been given.
2545         port = SC_DEFAULT_IN; // THREAD: shared var...
2546     var t = port.peekChar();
2547     return t === SC_EOF_OBJECT? t: new sc_Char(t);
2548 }    
2549 /*** META ((export #t)
2550            (type bool))
2551 */
2552 function sc_isCharReady(port) {
2553     if (port === undefined) // we assume the port hasn't been given.
2554         port = SC_DEFAULT_IN; // THREAD: shared var...
2555     return port.isCharReady();
2556 }
2557 /*** META ((export #t)
2558            (peephole (postfix ".close()")))
2559 */
2560 function sc_closeInputPort(p) {
2561     return p.close();
2562 }
2563
2564 /*** META ((export #t)
2565            (type bool)
2566            (peephole (postfix " instanceof sc_InputPort")))
2567 */
2568 function sc_isInputPort(o) {
2569     return (o instanceof sc_InputPort);
2570 }
2571
2572 /*** META ((export eof-object?)
2573            (type bool)
2574            (peephole (postfix " === SC_EOF_OBJECT")))
2575 */
2576 function sc_isEOFObject(o) {
2577     return o === SC_EOF_OBJECT;
2578 }
2579
2580 /*** META ((export #t)
2581            (peephole (hole 0 "SC_DEFAULT_IN")))
2582 */
2583 function sc_currentInputPort() {
2584     return SC_DEFAULT_IN;
2585 }
2586
2587 /* ------------ file operations are not supported -----------*/
2588 /*** META ((export #t)) */
2589 function sc_callWithInputFile(s, proc) {
2590     throw "can't open " + s;
2591 }
2592
2593 /*** META ((export #t)) */
2594 function sc_callWithOutputFile(s, proc) {
2595     throw "can't open " + s;
2596 }
2597
2598 /*** META ((export #t)) */
2599 function sc_withInputFromFile(s, thunk) {
2600     throw "can't open " + s;
2601 }
2602
2603 /*** META ((export #t)) */
2604 function sc_withOutputToFile(s, thunk) {
2605     throw "can't open " + s;
2606 }
2607
2608 /*** META ((export #t)) */
2609 function sc_openInputFile(s) {
2610     throw "can't open " + s;
2611 }
2612
2613 /*** META ((export #t)) */
2614 function sc_openOutputFile(s) {
2615     throw "can't open " + s;
2616 }
2617
2618 /* ----------------------------------------------------------------------------*/
2619 /*** META ((export #t)) */
2620 function sc_basename(p) {
2621    var i = p.lastIndexOf('/');
2622
2623    if(i >= 0)
2624       return p.substring(i + 1, p.length);
2625    else
2626       return '';
2627 }
2628
2629 /*** META ((export #t)) */
2630 function sc_dirname(p) {
2631    var i = p.lastIndexOf('/');
2632
2633    if(i >= 0)
2634       return p.substring(0, i);
2635    else
2636       return '';
2637 }
2638
2639 /* ----------------------------------------------------------------------------*/
2640
2641 /*** META ((export #t)) */
2642 function sc_withInputFromPort(p, thunk) {
2643     try {
2644         var tmp = SC_DEFAULT_IN; // THREAD: shared var.
2645         SC_DEFAULT_IN = p;
2646         return thunk();
2647     } finally {
2648         SC_DEFAULT_IN = tmp;
2649     }
2650 }
2651
2652 /*** META ((export #t)) */
2653 function sc_withInputFromString(s, thunk) {
2654     return sc_withInputFromPort(new sc_StringInputPort(sc_string2jsstring(s)), thunk);
2655 }
2656
2657 /*** META ((export #t)) */
2658 function sc_withOutputToPort(p, thunk) {
2659     try {
2660         var tmp = SC_DEFAULT_OUT; // THREAD: shared var.
2661         SC_DEFAULT_OUT = p;
2662         return thunk();
2663     } finally {
2664         SC_DEFAULT_OUT = tmp;
2665     }
2666 }
2667
2668 /*** META ((export #t)) */
2669 function sc_withOutputToString(thunk) {
2670     var p = new sc_StringOutputPort();
2671     sc_withOutputToPort(p, thunk);
2672     return p.close();
2673 }
2674
2675 /*** META ((export #t)) */
2676 function sc_withOutputToProcedure(proc, thunk) {
2677     var t = function(s) { proc(sc_jsstring2string(s)); };
2678     return sc_withOutputToPort(new sc_GenericOutputPort(t), thunk);
2679 }
2680
2681 /*** META ((export #t)
2682            (peephole (hole 0 "new sc_StringOutputPort()")))
2683 */
2684 function sc_openOutputString() {
2685     return new sc_StringOutputPort();
2686 }
2687
2688 /*** META ((export #t)) */
2689 function sc_openInputString(str) {
2690     return new sc_StringInputPort(sc_string2jsstring(str));
2691 }
2692
2693 /* ----------------------------------------------------------------------------*/
2694
2695 function sc_OutputPort() {
2696 }
2697 sc_OutputPort.prototype = new sc_Port();
2698 sc_OutputPort.prototype.appendJSString = function(obj) {
2699     /* do nothing */
2700 }
2701 sc_OutputPort.prototype.close = function() {
2702     /* do nothing */
2703 }
2704
2705 function sc_StringOutputPort() {
2706     this.res = "";
2707 }
2708 sc_StringOutputPort.prototype = new sc_OutputPort();
2709 sc_StringOutputPort.prototype.appendJSString = function(s) {
2710     this.res += s;
2711 }
2712 sc_StringOutputPort.prototype.close = function() {
2713     return sc_jsstring2string(this.res);
2714 }
2715
2716 /*** META ((export #t)) */
2717 function sc_getOutputString(sp) {
2718     return sc_jsstring2string(sp.res);
2719 }
2720     
2721
2722 function sc_ErrorOutputPort() {
2723 }
2724 sc_ErrorOutputPort.prototype = new sc_OutputPort();
2725 sc_ErrorOutputPort.prototype.appendJSString = function(s) {
2726     throw "don't write on ErrorPort!";
2727 }
2728 sc_ErrorOutputPort.prototype.close = function() {
2729     /* do nothing */
2730 }
2731
2732 function sc_GenericOutputPort(appendJSString, close) {
2733     this.appendJSString = appendJSString;
2734     if (close)
2735         this.close = close;
2736 }
2737 sc_GenericOutputPort.prototype = new sc_OutputPort();
2738
2739 /*** META ((export #t)
2740            (type bool)
2741            (peephole (postfix " instanceof sc_OutputPort")))
2742 */
2743 function sc_isOutputPort(o) {
2744     return (o instanceof sc_OutputPort);
2745 }
2746
2747 /*** META ((export #t)
2748            (peephole (postfix ".close()")))
2749 */
2750 function sc_closeOutputPort(p) {
2751     return p.close();
2752 }
2753
2754 /* ------------------ write ---------------------------------------------------*/
2755
2756 /*** META ((export #t)) */
2757 function sc_write(o, p) {
2758     if (p === undefined) // we assume not given
2759         p = SC_DEFAULT_OUT;
2760     p.appendJSString(sc_toWriteString(o));
2761 }
2762
2763 function sc_toWriteString(o) {
2764     if (o === null)
2765         return "()";
2766     else if (o === true)
2767         return "#t";
2768     else if (o === false)
2769         return "#f";
2770     else if (o === undefined)
2771         return "#unspecified";
2772     else if (typeof o === 'function')
2773         return "#<procedure " + sc_hash(o) + ">";
2774     else if (o.sc_toWriteString)
2775         return o.sc_toWriteString();
2776     else
2777         return o.toString();
2778 }
2779
2780 function sc_escapeWriteString(s) {
2781     var res = "";
2782     var j = 0;
2783     for (i = 0; i < s.length; i++) {
2784         switch (s.charAt(i)) {
2785         case "\0": res += s.substring(j, i) + "\\0"; j = i + 1; break;
2786         case "\b": res += s.substring(j, i) + "\\b"; j = i + 1; break;
2787         case "\f": res += s.substring(j, i) + "\\f"; j = i + 1; break;
2788         case "\n": res += s.substring(j, i) + "\\n"; j = i + 1; break;
2789         case "\r": res += s.substring(j, i) + "\\r"; j = i + 1; break;
2790         case "\t": res += s.substring(j, i) + "\\t"; j = i + 1; break;
2791         case "\v": res += s.substring(j, i) + "\\v"; j = i + 1; break;
2792         case '"': res += s.substring(j, i) + '\\"'; j = i + 1; break;
2793         case "\\": res += s.substring(j, i) + "\\\\"; j = i + 1; break;
2794         default:
2795             var c = s.charAt(i);
2796             if ("\a" !== "a" && c == "\a") {
2797                 res += s.substring(j, i) + "\\a"; j = i + 1; continue;
2798             }
2799             if ("\v" !== "v" && c == "\v") {
2800                 res += s.substring(j, i) + "\\v"; j = i + 1; continue;
2801             }
2802             //if (s.charAt(i) < ' ' || s.charCodeAt(i) > 127) {
2803             // CARE: Manuel is this OK with HOP?
2804             if (s.charAt(i) < ' ') {
2805                 /* non printable character and special chars */
2806                 res += s.substring(j, i) + "\\x" + s.charCodeAt(i).toString(16);
2807                 j = i + 1;
2808             }
2809             // else just let i increase...
2810         }
2811     }
2812     res += s.substring(j, i);
2813     return res;
2814 }
2815
2816 /* ------------------ display ---------------------------------------------------*/
2817
2818 /*** META ((export #t)) */
2819 function sc_display(o, p) {
2820     if (p === undefined) // we assume not given
2821         p = SC_DEFAULT_OUT;
2822     p.appendJSString(sc_toDisplayString(o));
2823 }
2824
2825 function sc_toDisplayString(o) {
2826     if (o === null)
2827         return "()";
2828     else if (o === true)
2829         return "#t";
2830     else if (o === false)
2831         return "#f";
2832     else if (o === undefined)
2833         return "#unspecified";
2834     else if (typeof o === 'function')
2835         return "#<procedure " + sc_hash(o) + ">";
2836     else if (o.sc_toDisplayString)
2837         return o.sc_toDisplayString();
2838     else
2839         return o.toString();
2840 }
2841
2842 /* ------------------ newline ---------------------------------------------------*/
2843
2844 /*** META ((export #t)) */
2845 function sc_newline(p) {
2846     if (p === undefined) // we assume not given
2847         p = SC_DEFAULT_OUT;
2848     p.appendJSString("\n");
2849 }
2850     
2851 /* ------------------ write-char ---------------------------------------------------*/
2852
2853 /*** META ((export #t)) */
2854 function sc_writeChar(c, p) {
2855     if (p === undefined) // we assume not given
2856         p = SC_DEFAULT_OUT;
2857     p.appendJSString(c.val);
2858 }
2859
2860 /* ------------------ write-circle ---------------------------------------------------*/
2861
2862 /*** META ((export #t)) */
2863 function sc_writeCircle(o, p) {
2864     if (p === undefined) // we assume not given
2865         p = SC_DEFAULT_OUT;
2866     p.appendJSString(sc_toWriteCircleString(o));
2867 }
2868
2869 function sc_toWriteCircleString(o) {
2870     var symb = sc_gensym("writeCircle");
2871     var nbPointer = new Object();
2872     nbPointer.nb = 0;
2873     sc_prepWriteCircle(o, symb, nbPointer);
2874     return sc_genToWriteCircleString(o, symb);
2875 }
2876
2877 function sc_prepWriteCircle(o, symb, nbPointer) {
2878     // TODO sc_Struct
2879     if (o instanceof sc_Pair ||
2880         o instanceof sc_Vector) {
2881         if (o[symb] !== undefined) {
2882             // not the first visit.
2883             o[symb]++;
2884             // unless there is already a number, assign one.
2885             if (!o[symb + "nb"]) o[symb + "nb"] = nbPointer.nb++;
2886             return;
2887         }
2888         o[symb] = 0;
2889         if (o instanceof sc_Pair) {
2890             sc_prepWriteCircle(o.car, symb, nbPointer);
2891             sc_prepWriteCircle(o.cdr, symb, nbPointer);
2892         } else {
2893             for (var i = 0; i < o.length; i++)
2894                 sc_prepWriteCircle(o[i], symb, nbPointer);
2895         }
2896     }
2897 }
2898
2899 function sc_genToWriteCircleString(o, symb) {
2900     if (!(o instanceof sc_Pair ||
2901           o instanceof sc_Vector))
2902         return sc_toWriteString(o);
2903     return o.sc_toWriteCircleString(symb);
2904 }
2905 sc_Pair.prototype.sc_toWriteCircleString = function(symb, inList) {
2906     if (this[symb + "use"]) { // use-flag is set. Just use it.
2907         var nb = this[symb + "nb"];
2908         if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2909             delete this[symb];
2910             delete this[symb + "nb"];
2911             delete this[symb + "use"];
2912         }
2913         if (inList)
2914             return '. #' + nb + '#';
2915         else
2916             return '#' + nb + '#';
2917     }
2918     if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2919         delete this[symb];
2920         delete this[symb + "nb"];
2921         delete this[symb + "use"];
2922     }
2923
2924     var res = "";
2925     
2926     if (this[symb] !== undefined) { // implies > 0
2927         this[symb + "use"] = true;
2928         if (inList)
2929             res += '. #' + this[symb + "nb"] + '=';
2930         else
2931             res += '#' + this[symb + "nb"] + '=';
2932         inList = false;
2933     }
2934
2935     if (!inList)
2936         res += "(";
2937     
2938     // print car
2939     res += sc_genToWriteCircleString(this.car, symb);
2940     
2941     if (sc_isPair(this.cdr)) {
2942         res += " " + this.cdr.sc_toWriteCircleString(symb, true);
2943     } else if (this.cdr !== null) {
2944         res += " . " + sc_genToWriteCircleString(this.cdr, symb);
2945     }
2946     if (!inList)
2947         res += ")";
2948     return res;
2949 };
2950 sc_Vector.prototype.sc_toWriteCircleString = function(symb) {
2951     if (this[symb + "use"]) { // use-flag is set. Just use it.
2952         var nb = this[symb + "nb"];
2953         if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2954             delete this[symb];
2955             delete this[symb + "nb"];
2956             delete this[symb + "use"];
2957         }
2958         return '#' + nb + '#';
2959     }
2960     if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2961         delete this[symb];
2962         delete this[symb + "nb"];
2963         delete this[symb + "use"];
2964     }
2965
2966     var res = "";
2967     if (this[symb] !== undefined) { // implies > 0
2968         this[symb + "use"] = true;
2969         res += '#' + this[symb + "nb"] + '=';
2970     }
2971     res += "#(";
2972     for (var i = 0; i < this.length; i++) {
2973         res += sc_genToWriteCircleString(this[i], symb);
2974         if (i < this.length - 1) res += " ";
2975     }
2976     res += ")";
2977     return res;
2978 };
2979
2980
2981 /* ------------------ print ---------------------------------------------------*/
2982
2983 /*** META ((export #t)) */
2984 function sc_print(s) {
2985     if (arguments.length === 1) {
2986         sc_display(s);
2987         sc_newline();
2988     }
2989     else {
2990         for (var i = 0; i < arguments.length; i++)
2991             sc_display(arguments[i]);
2992         sc_newline();
2993     }
2994 }
2995
2996 /* ------------------ format ---------------------------------------------------*/
2997 /*** META ((export #t)) */
2998 function sc_format(s, args) {
2999    var len = s.length;
3000    var p = new sc_StringOutputPort();
3001    var i = 0, j = 1;
3002
3003    while( i < len ) {
3004       var i2 = s.indexOf("~", i);
3005
3006       if (i2 == -1) {
3007           p.appendJSString( s.substring( i, len ) );
3008           return p.close();
3009       } else {
3010          if (i2 > i) {
3011             if (i2 == (len - 1)) {
3012                 p.appendJSString(s.substring(i, len));
3013                 return p.close();
3014             } else {
3015                p.appendJSString(s.substring(i, i2));
3016                i = i2;
3017             }
3018          }
3019
3020          switch(s.charCodeAt(i2 + 1)) {
3021             case 65:
3022             case 97:
3023                // a
3024                sc_display(arguments[j], p);
3025                i += 2; j++;
3026                break;
3027
3028             case 83:
3029             case 115:
3030                // s
3031                sc_write(arguments[j], p);
3032                i += 2; j++;
3033                break;
3034
3035             case 86:
3036             case 118:
3037                // v
3038                sc_display(arguments[j], p);
3039                p.appendJSString("\n");
3040                i += 2; j++;
3041                break;
3042
3043             case 67:
3044             case 99:
3045                // c
3046                p.appendJSString(String.fromCharCode(arguments[j]));
3047                i += 2; j++;
3048                break;
3049
3050             case 88:
3051             case 120:
3052                // x
3053                p.appendJSString(arguments[j].toString(6));
3054                i += 2; j++;
3055                break;
3056
3057             case 79:
3058             case 111:
3059                // o
3060                p.appendJSString(arguments[j].toString(8));
3061                i += 2; j++;
3062                break;
3063
3064             case 66:
3065             case 98:
3066                // b
3067                p.appendJSString(arguments[j].toString(2));
3068                i += 2; j++;
3069                break;
3070                
3071             case 37:
3072             case 110:
3073                // %, n
3074                p.appendJSString("\n");
3075                i += 2; break;
3076
3077             case 114:
3078                // r
3079                p.appendJSString("\r");
3080                i += 2; break;
3081
3082             case 126:
3083                // ~
3084                p.appendJSString("~");
3085                i += 2; break;
3086
3087             default:
3088                sc_error( "format: illegal ~"
3089                          + String.fromCharCode(s.charCodeAt(i2 + 1))
3090                          + " sequence" );
3091                return "";
3092          }
3093       }
3094    }
3095
3096    return p.close();
3097 }
3098
3099 /* ------------------ global ports ---------------------------------------------------*/
3100
3101 var SC_DEFAULT_IN = new sc_ErrorInputPort();
3102 var SC_DEFAULT_OUT = new sc_ErrorOutputPort();
3103 var SC_ERROR_OUT = new sc_ErrorOutputPort();
3104
3105 var sc_SYMBOL_PREFIX = "\u1E9C";
3106 var sc_KEYWORD_PREFIX = "\u1E9D";
3107
3108 /*** META ((export #t)
3109            (peephole (id))) */
3110 function sc_jsstring2string(s) {
3111     return s;
3112 }
3113
3114 /*** META ((export #t)
3115            (peephole (prefix "'\\u1E9C' +")))
3116 */
3117 function sc_jsstring2symbol(s) {
3118     return sc_SYMBOL_PREFIX + s;
3119 }
3120
3121 /*** META ((export #t)
3122            (peephole (id)))
3123 */
3124 function sc_string2jsstring(s) {
3125     return s;
3126 }
3127
3128 /*** META ((export #t)
3129            (peephole (symbol2jsstring_immutable)))
3130 */
3131 function sc_symbol2jsstring(s) {
3132     return s.slice(1);
3133 }
3134
3135 /*** META ((export #t)
3136            (peephole (postfix ".slice(1)")))
3137 */
3138 function sc_keyword2jsstring(k) {
3139     return k.slice(1);
3140 }
3141
3142 /*** META ((export #t)
3143            (peephole (prefix "'\\u1E9D' +")))
3144 */
3145 function sc_jsstring2keyword(s) {
3146     return sc_KEYWORD_PREFIX + s;
3147 }
3148
3149 /*** META ((export #t)
3150            (type bool))
3151 */
3152 function sc_isKeyword(s) {
3153     return (typeof s === "string") &&
3154         (s.charAt(0) === sc_KEYWORD_PREFIX);
3155 }
3156
3157
3158 /*** META ((export #t)) */
3159 var sc_gensym = function() {
3160     var counter = 1000;
3161     return function(sym) {
3162         counter++;
3163         if (!sym) sym = sc_SYMBOL_PREFIX;
3164         return sym + "s" + counter + "~" + "^sC-GeNsYm ";
3165     };
3166 }();
3167
3168
3169 /*** META ((export #t)
3170            (type bool))
3171 */
3172 function sc_isEqual(o1, o2) {
3173     return ((o1 === o2) ||
3174             (sc_isPair(o1) && sc_isPair(o2)
3175              && sc_isPairEqual(o1, o2, sc_isEqual)) ||
3176             (sc_isVector(o1) && sc_isVector(o2)
3177              && sc_isVectorEqual(o1, o2, sc_isEqual)));
3178 }
3179
3180 /*** META ((export number->symbol integer->symbol)) */
3181 function sc_number2symbol(x, radix) {
3182     return sc_SYMBOL_PREFIX + sc_number2jsstring(x, radix);
3183 }
3184     
3185 /*** META ((export number->string integer->string)) */
3186 var sc_number2string = sc_number2jsstring;
3187
3188 /*** META ((export #t)) */
3189 function sc_symbol2number(s, radix) {
3190     return sc_jsstring2number(s.slice(1), radix);
3191 }
3192
3193 /*** META ((export #t)) */
3194 var sc_string2number = sc_jsstring2number;
3195
3196 /*** META ((export #t)
3197            (peephole (prefix "+" s)))
3198            ;; peephole will only apply if no radix is given.
3199 */
3200 function sc_string2integer(s, radix) {
3201     if (!radix) return +s;
3202     return parseInt(s, radix);
3203 }
3204
3205 /*** META ((export #t)
3206            (peephole (prefix "+")))
3207 */
3208 function sc_string2real(s) {
3209     return +s;
3210 }
3211
3212
3213 /*** META ((export #t)
3214            (type bool))
3215 */
3216 function sc_isSymbol(s) {
3217     return (typeof s === "string") &&
3218         (s.charAt(0) === sc_SYMBOL_PREFIX);
3219 }
3220
3221 /*** META ((export #t)
3222            (peephole (symbol2string_immutable)))
3223 */
3224 function sc_symbol2string(s) {
3225     return s.slice(1);
3226 }
3227
3228 /*** META ((export #t)
3229            (peephole (prefix "'\\u1E9C' +")))
3230 */
3231 function sc_string2symbol(s) {
3232     return sc_SYMBOL_PREFIX + s;
3233 }
3234
3235 /*** META ((export symbol-append)
3236            (peephole (symbolAppend_immutable)))
3237 */
3238 function sc_symbolAppend() {
3239     var res = sc_SYMBOL_PREFIX;
3240     for (var i = 0; i < arguments.length; i++)
3241         res += arguments[i].slice(1);
3242     return res;
3243 }
3244
3245 /*** META ((export #t)
3246            (peephole (postfix ".val")))
3247 */
3248 function sc_char2string(c) { return c.val; }
3249
3250 /*** META ((export #t)
3251            (peephole (hole 1 "'\\u1E9C' + " c ".val")))
3252 */
3253 function sc_char2symbol(c) { return sc_SYMBOL_PREFIX + c.val; }
3254
3255 /*** META ((export #t)
3256            (type bool))
3257 */
3258 function sc_isString(s) {
3259     return (typeof s === "string") &&
3260         (s.charAt(0) !== sc_SYMBOL_PREFIX);
3261 }
3262
3263 /*** META ((export #t)) */
3264 var sc_makeString = sc_makejsString;
3265
3266
3267 /*** META ((export #t)) */
3268 function sc_string() {
3269     for (var i = 0; i < arguments.length; i++)
3270         arguments[i] = arguments[i].val;
3271     return "".concat.apply("", arguments);
3272 }
3273
3274 /*** META ((export #t)
3275            (peephole (postfix ".length")))
3276 */
3277 function sc_stringLength(s) { return s.length; }
3278
3279 /*** META ((export #t)) */
3280 function sc_stringRef(s, k) {
3281     return new sc_Char(s.charAt(k));
3282 }
3283
3284 /* there's no stringSet in the immutable version
3285 function sc_stringSet(s, k, c)
3286 */
3287
3288
3289 /*** META ((export string=?)
3290            (type bool)
3291            (peephole (hole 2 str1 " === " str2)))
3292 */
3293 function sc_isStringEqual(s1, s2) {
3294     return s1 === s2;
3295 }
3296 /*** META ((export string<?)
3297            (type bool)
3298            (peephole (hole 2 str1 " < " str2)))
3299 */
3300 function sc_isStringLess(s1, s2) {
3301     return s1 < s2;
3302 }
3303 /*** META ((export string>?)
3304            (type bool)
3305            (peephole (hole 2 str1 " > " str2)))
3306 */
3307 function sc_isStringGreater(s1, s2) {
3308     return s1 > s2;
3309 }
3310 /*** META ((export string<=?)
3311            (type bool)
3312            (peephole (hole 2 str1 " <= " str2)))
3313 */
3314 function sc_isStringLessEqual(s1, s2) {
3315     return s1 <= s2;
3316 }
3317 /*** META ((export string>=?)
3318            (type bool)
3319            (peephole (hole 2 str1 " >= " str2)))
3320 */
3321 function sc_isStringGreaterEqual(s1, s2) {
3322     return s1 >= s2;
3323 }
3324 /*** META ((export string-ci=?)
3325            (type bool)
3326            (peephole (hole 2 str1 ".toLowerCase() === " str2 ".toLowerCase()")))
3327 */
3328 function sc_isStringCIEqual(s1, s2) {
3329     return s1.toLowerCase() === s2.toLowerCase();
3330 }
3331 /*** META ((export string-ci<?)
3332            (type bool)
3333            (peephole (hole 2 str1 ".toLowerCase() < " str2 ".toLowerCase()")))
3334 */
3335 function sc_isStringCILess(s1, s2) {
3336     return s1.toLowerCase() < s2.toLowerCase();
3337 }
3338 /*** META ((export string-ci>?)
3339            (type bool)
3340            (peephole (hole 2 str1 ".toLowerCase() > " str2 ".toLowerCase()")))
3341 */
3342 function sc_isStringCIGreater(s1, s2) {
3343     return s1.toLowerCase() > s2.toLowerCase();
3344 }
3345 /*** META ((export string-ci<=?)
3346            (type bool)
3347            (peephole (hole 2 str1 ".toLowerCase() <= " str2 ".toLowerCase()")))
3348 */
3349 function sc_isStringCILessEqual(s1, s2) {
3350     return s1.toLowerCase() <= s2.toLowerCase();
3351 }
3352 /*** META ((export string-ci>=?)
3353            (type bool)
3354            (peephole (hole 2 str1 ".toLowerCase() >= " str2 ".toLowerCase()")))
3355 */
3356 function sc_isStringCIGreaterEqual(s1, s2) {
3357     return s1.toLowerCase() >= s2.toLowerCase();
3358 }
3359
3360 /*** META ((export #t)
3361            (peephole (hole 3 s ".substring(" start ", " end ")")))
3362 */
3363 function sc_substring(s, start, end) {
3364     return s.substring(start, end);
3365 }
3366
3367 /*** META ((export #t))
3368 */
3369 function sc_isSubstring_at(s1, s2, i) {
3370     return s2 == s1.substring(i, i+ s2.length);
3371 }
3372
3373 /*** META ((export #t)
3374            (peephole (infix 0 #f "+" "''")))
3375 */
3376 function sc_stringAppend() {
3377     return "".concat.apply("", arguments);
3378 }
3379
3380 /*** META ((export #t)) */
3381 var sc_string2list = sc_jsstring2list;
3382
3383 /*** META ((export #t)) */
3384 var sc_list2string = sc_list2jsstring;
3385
3386 /*** META ((export #t)
3387            (peephole (id)))
3388 */
3389 function sc_stringCopy(s) {
3390     return s;
3391 }
3392
3393 /* there's no string-fill in the immutable version
3394 function sc_stringFill(s, c)
3395 */
3396
3397 /*** META ((export #t)
3398            (peephole (postfix ".slice(1)")))
3399 */
3400 function sc_keyword2string(o) {
3401     return o.slice(1);
3402 }
3403
3404 /*** META ((export #t)
3405            (peephole (prefix "'\\u1E9D' +")))
3406 */
3407 function sc_string2keyword(o) {
3408     return sc_KEYWORD_PREFIX + o;
3409 }
3410
3411 String.prototype.sc_toDisplayString = function() {
3412     if (this.charAt(0) === sc_SYMBOL_PREFIX)
3413         // TODO: care for symbols with spaces (escape-chars symbols).
3414         return this.slice(1);
3415     else if (this.charAt(0) === sc_KEYWORD_PREFIX)
3416         return ":" + this.slice(1);
3417     else
3418         return this.toString();
3419 };
3420
3421 String.prototype.sc_toWriteString = function() {
3422     if (this.charAt(0) === sc_SYMBOL_PREFIX)
3423         // TODO: care for symbols with spaces (escape-chars symbols).
3424         return this.slice(1);
3425     else if (this.charAt(0) === sc_KEYWORD_PREFIX)
3426         return ":" + this.slice(1);
3427     else
3428         return '"' + sc_escapeWriteString(this) + '"';
3429 };
3430 /* Exported Variables */
3431 var BgL_testzd2boyerzd2;
3432 var BgL_nboyerzd2benchmarkzd2;
3433 var BgL_setupzd2boyerzd2;
3434 /* End Exports */
3435
3436 var translate_term_nboyer;
3437 var translate_args_nboyer;
3438 var untranslate_term_nboyer;
3439 var BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer;
3440 var BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer;
3441 var translate_alist_nboyer;
3442 var apply_subst_nboyer;
3443 var apply_subst_lst_nboyer;
3444 var tautologyp_nboyer;
3445 var if_constructor_nboyer;
3446 var rewrite_count_nboyer;
3447 var rewrite_nboyer;
3448 var rewrite_args_nboyer;
3449 var unify_subst_nboyer;
3450 var one_way_unify1_nboyer;
3451 var false_term_nboyer;
3452 var true_term_nboyer;
3453 var trans_of_implies1_nboyer;
3454 var is_term_equal_nboyer;
3455 var is_term_member_nboyer;
3456 var const_nboyer;
3457 var sc_const_3_nboyer;
3458 var sc_const_4_nboyer;
3459 {
3460     (sc_const_4_nboyer = (new sc_Pair("\u1E9Cimplies",(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cu",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cu",(new sc_Pair("\u1E9Cw",null)))))),null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cw",null)))))),null)))))));
3461     (sc_const_3_nboyer = sc_list((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccompile",(new sc_Pair("\u1E9Cform",null)))),(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair((new sc_Pair("\u1E9Ccodegen",(new sc_Pair((new sc_Pair("\u1E9Coptimize",(new sc_Pair("\u1E9Cform",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ceqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreaterp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clesseqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatereqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cboolean",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ciff",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ceven1",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Codd",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccountps-",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Cpred",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccountps-loop",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Cpred",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfact-",(new sc_Pair("\u1E9Ci",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfact-loop",(new sc_Pair("\u1E9Ci",(new sc_Pair((1),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse-",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Creverse-loop",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdivides",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cassume-true",(new sc_Pair("\u1E9Cvar",(new sc_Pair("\u1E9Calist",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cvar",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))),(new sc_Pair("\u1E9Calist",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cassume-false",(new sc_Pair("\u1E9Cvar",(new sc_Pair("\u1E9Calist",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cvar",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))),(new sc_Pair("\u1E9Calist",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctautology-checker",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ctautologyp",(new sc_Pair((new sc_Pair("\u1E9Cnormalize",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfalsify",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfalsify1",(new sc_Pair((new sc_Pair("\u1E9Cnormalize",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cprime",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))),null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cprime1",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Cx",null)))),null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair("\u1E9Cp",(new sc_Pair("\u1E9Cq",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cq",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair("\u1E9Cp",(new sc_Pair("\u1E9Cq",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cq",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair("\u1E9Cp",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cp",(new sc_Pair("\u1E9Cq",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cq",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))))),(new sc_Pair("\u1E9Cd",(new sc_Pair("\u1E9Ce",null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cd",(new sc_Pair("\u1E9Ce",null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cd",(new sc_Pair("\u1E9Ce",null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Ca",null)))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cb",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cc",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair("\u1E9Ca",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair((new sc_Pair("\u1E9Cplus-fringe",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Ca",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cexec",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cpds",(new sc_Pair("\u1E9Cenvrn",null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cexec",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cexec",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cpds",(new sc_Pair("\u1E9Cenvrn",null)))))))),(new sc_Pair("\u1E9Cenvrn",null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmc-flatten",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Cy",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cb",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cy",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Cintersect",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Ck",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Ck",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Ck",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),(new sc_Pair("\u1E9Ck",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse-loop",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Cy",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse-loop",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccount-list",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Csort-lp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Ccount-list",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccount-list",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cbig-plus1",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair("\u1E9Ci",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cbig-plus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cbase",null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Ci",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cj",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cj",(new sc_Pair((1),null)))))),null)))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cpower-rep",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Ci",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cbig-plus",(new sc_Pair((new sc_Pair("\u1E9Cpower-rep",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cpower-rep",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair("\u1E9Cbase",null)))))))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair("\u1E9Cb",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Ca",null)))),null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cy",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cy",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cw",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cw",(new sc_Pair("\u1E9Cx",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cb",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cy",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cz",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cvalue",(new sc_Pair((new sc_Pair("\u1E9Cnormalize",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cvalue",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnlistp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair((new sc_Pair("\u1E9Cgopher",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csamefringe",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatest-factor",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatest-factor",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((1),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((1),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair((new sc_Pair("\u1E9Cgreatest-factor",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes-list",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Ctimes-list",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ctimes-list",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cprime-list",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cprime-list",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cprime-list",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cw",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cz",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cw",(new sc_Pair((1),null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatereqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((1),null)))))),(new sc_Pair(sc_list("\u1E9Cand", (new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))), (new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cb",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))), (new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Ca",null)))), (new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cb",null)))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Ca",null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cl",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cl",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cl",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csort2",(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cl",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Csort2",(new sc_Pair("\u1E9Cl",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdsort",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Csort2",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx1",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx2",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx3",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx4",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx5",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx6",(new sc_Pair("\u1E9Cx7",null)))))),null)))))),null)))))),null)))))),null)))))),null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((6),(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cx7",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((2),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((2),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair("\u1E9Cy",(new sc_Pair((2),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csigma",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Ci",null)))),null)))))),(new sc_Pair((2),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cy",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cx",null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cz",null)))),null)))))),null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair("\u1E9Ca",null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cy",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Ci",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clast",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Clast",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Ca",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Ccar",(new sc_Pair((new sc_Pair("\u1E9Clast",(new sc_Pair("\u1E9Ca",null)))),null)))),(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair("\u1E9Cb",null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),(new sc_Pair("\u1E9Cz",null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cassignment",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cassignedp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cassignment",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cassignment",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cb",null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccar",(new sc_Pair((new sc_Pair("\u1E9Cgopher",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccar",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair((new sc_Pair("\u1E9Ccdr",(new sc_Pair((new sc_Pair("\u1E9Cgopher",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccdr",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cget",(new sc_Pair("\u1E9Cj",(new sc_Pair((new sc_Pair("\u1E9Cset",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cval",(new sc_Pair("\u1E9Cmem",null)))))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Ceqp",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair("\u1E9Cval",(new sc_Pair((new sc_Pair("\u1E9Cget",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Cmem",null)))))),null)))))))),null))))))));
3462     (const_nboyer = (new sc_Pair((new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cf",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cc",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cf",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cd",null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cf",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cu",(new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cw",(new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cb",null)))),null)))))),null)))))))),null)))))))))));
3463     BgL_nboyerzd2benchmarkzd2 = function() {
3464         var args = null;
3465         for (var sc_tmp = arguments.length - 1; sc_tmp >= 0; sc_tmp--) {
3466             args = sc_cons(arguments[sc_tmp], args);
3467         }
3468         var n;
3469         return ((n = ((args === null)?(0):(args.car))), (BgL_setupzd2boyerzd2()), (BgL_runzd2benchmarkzd2(("nboyer"+(sc_number2string(n))), (1), function() {
3470             return (BgL_testzd2boyerzd2(n));
3471         }, function(rewrites) {
3472             if ((sc_isNumber(rewrites)))
3473                 switch (n) {
3474                 case (0):
3475                     return (rewrites===(95024));
3476                     break;
3477                 case (1):
3478                     return (rewrites===(591777));
3479                     break;
3480                 case (2):
3481                     return (rewrites===(1813975));
3482                     break;
3483                 case (3):
3484                     return (rewrites===(5375678));
3485                     break;
3486                 case (4):
3487                     return (rewrites===(16445406));
3488                     break;
3489                 case (5):
3490                     return (rewrites===(51507739));
3491                     break;
3492                 default:
3493                     return true;
3494                     break;
3495                 }
3496             else
3497                 return false;
3498         })));
3499     };
3500     BgL_setupzd2boyerzd2 = function() {
3501         return true;
3502     };
3503     BgL_testzd2boyerzd2 = function() {
3504         return true;
3505     };
3506     translate_term_nboyer = function(term) {
3507         var lst;
3508         return (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((translate_term_nboyer((lst.car))), (translate_args_nboyer((lst.cdr))))))))));
3509     };
3510     translate_args_nboyer = function(lst) {
3511         var sc_lst_5;
3512         var term;
3513         return ((lst === null)?null:(new sc_Pair(((term = (lst.car)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr))))))), ((sc_lst_5 = (lst.cdr)), ((sc_lst_5 === null)?null:(new sc_Pair((translate_term_nboyer((sc_lst_5.car))), (translate_args_nboyer((sc_lst_5.cdr))))))))));
3514     };
3515     untranslate_term_nboyer = function(term) {
3516         var optrOpnd;
3517         var tail1131;
3518         var L1127;
3519         var falseHead1130;
3520         var symbol_record;
3521         if (!(term instanceof sc_Pair))
3522             return term;
3523         else
3524             {
3525                 (falseHead1130 = (new sc_Pair(null, null)));
3526                 (L1127 = (term.cdr));
3527                 (tail1131 = falseHead1130);
3528                 while (!(L1127 === null)) {
3529                     {
3530                         (tail1131.cdr = (new sc_Pair((untranslate_term_nboyer((L1127.car))), null)));
3531                         (tail1131 = (tail1131.cdr));
3532                         (L1127 = (L1127.cdr));
3533                     }
3534                 }
3535                 (optrOpnd = (falseHead1130.cdr));
3536                 return (new sc_Pair(((symbol_record = (term.car)), (symbol_record[(0)])), optrOpnd));
3537             }
3538     };
3539     BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer = function(sym) {
3540         var r;
3541         var x;
3542         return ((x = (sc_assq(sym, BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer))), ((x!== false)?(x.cdr):((r = [sym, null]), (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = (new sc_Pair((new sc_Pair(sym, r)), BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer))), r)));
3543     };
3544     (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null);
3545     translate_alist_nboyer = function(alist) {
3546         var sc_alist_6;
3547         var term;
3548         return ((alist === null)?null:(new sc_Pair((new sc_Pair((alist.car.car), ((term = (alist.car.cdr)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr))))))))), ((sc_alist_6 = (alist.cdr)), ((sc_alist_6 === null)?null:(new sc_Pair((new sc_Pair((sc_alist_6.car.car), (translate_term_nboyer((sc_alist_6.car.cdr))))), (translate_alist_nboyer((sc_alist_6.cdr))))))))));
3549     };
3550     apply_subst_nboyer = function(alist, term) {
3551         var lst;
3552         var temp_temp;
3553         return (!(term instanceof sc_Pair)?((temp_temp = (sc_assq(term, alist))), ((temp_temp!== false)?(temp_temp.cdr):term)):(new sc_Pair((term.car), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), (apply_subst_lst_nboyer(alist, (lst.cdr))))))))));
3554     };
3555     apply_subst_lst_nboyer = function(alist, lst) {
3556         var sc_lst_7;
3557         return ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), ((sc_lst_7 = (lst.cdr)), ((sc_lst_7 === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (sc_lst_7.car))), (apply_subst_lst_nboyer(alist, (sc_lst_7.cdr))))))))));
3558     };
3559     tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) {
3560         var tmp1125;
3561         var x;
3562         var tmp1126;
3563         var sc_x_8;
3564         var sc_tmp1125_9;
3565         var sc_tmp1126_10;
3566         var sc_x_11;
3567         var true_lst;
3568         var false_lst;
3569         while (true) {
3570             if ((((sc_tmp1126_10 = (is_term_equal_nboyer(sc_x_11, true_term_nboyer))), ((sc_tmp1126_10!== false)?sc_tmp1126_10:(is_term_member_nboyer(sc_x_11, true_lst))))!== false))
3571                 return true;
3572             else
3573                 if ((((sc_tmp1125_9 = (is_term_equal_nboyer(sc_x_11, false_term_nboyer))), ((sc_tmp1125_9!== false)?sc_tmp1125_9:(is_term_member_nboyer(sc_x_11, false_lst))))!== false))
3574                     return false;
3575                 else
3576                     if (!(sc_x_11 instanceof sc_Pair))
3577                         return false;
3578                     else
3579                         if (((sc_x_11.car)===if_constructor_nboyer))
3580                             if ((((sc_x_8 = (sc_x_11.cdr.car)), (tmp1126 = (is_term_equal_nboyer(sc_x_8, true_term_nboyer))), ((tmp1126!== false)?tmp1126:(is_term_member_nboyer(sc_x_8, true_lst))))!== false))
3581                                 (sc_x_11 = (sc_x_11.cdr.cdr.car));
3582                             else
3583                                 if ((((x = (sc_x_11.cdr.car)), (tmp1125 = (is_term_equal_nboyer(x, false_term_nboyer))), ((tmp1125!== false)?tmp1125:(is_term_member_nboyer(x, false_lst))))!== false))
3584                                     (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3585                                 else
3586                                     if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_lst))!== false))
3587                                         {
3588                                             (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst)));
3589                                             (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3590                                         }
3591                                     else
3592                                         return false;
3593                         else
3594                             return false;
3595         }
3596     };
3597     (if_constructor_nboyer = "\u1E9C*");
3598     (rewrite_count_nboyer = (0));
3599     rewrite_nboyer = function(term) {
3600         var term2;
3601         var sc_term_12;
3602         var lst;
3603         var symbol_record;
3604         var sc_lst_13;
3605         {
3606             (++rewrite_count_nboyer);
3607             if (!(term instanceof sc_Pair))
3608                 return term;
3609             else
3610                 {
3611                     (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3612                     (lst = ((symbol_record = (term.car)), (symbol_record[(1)])));
3613                     while (true) {
3614                         if ((lst === null))
3615                             return sc_term_12;
3616                         else
3617                             if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12, term2)))!== false))
3618                                 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3619                             else
3620                                 (lst = (lst.cdr));
3621                     }
3622                 }
3623         }
3624     };
3625     rewrite_args_nboyer = function(lst) {
3626         var sc_lst_14;
3627         return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3628     };
3629     (unify_subst_nboyer = "\u1E9C*");
3630     one_way_unify1_nboyer = function(term1, term2) {
3631         var lst1;
3632         var lst2;
3633         var temp_temp;
3634         if (!(term2 instanceof sc_Pair))
3635             {
3636                 (temp_temp = (sc_assq(term2, unify_subst_nboyer)));
3637                 if ((temp_temp!== false))
3638                     return (is_term_equal_nboyer(term1, (temp_temp.cdr)));
3639                 else
3640                     if ((sc_isNumber(term2)))
3641                         return (sc_isEqual(term1, term2));
3642                     else
3643                         {
3644                             (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));
3645                             return true;
3646                         }
3647             }
3648         else
3649             if (!(term1 instanceof sc_Pair))
3650                 return false;
3651             else
3652                 if (((term1.car)===(term2.car)))
3653                     {
3654                         (lst1 = (term1.cdr));
3655                         (lst2 = (term2.cdr));
3656                         while (true) {
3657                             if ((lst1 === null))
3658                                 return (lst2 === null);
3659                             else
3660                                 if ((lst2 === null))
3661                                     return false;
3662                                 else
3663                                     if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))
3664                                         {
3665                                             (lst1 = (lst1.cdr));
3666                                             (lst2 = (lst2.cdr));
3667                                         }
3668                                     else
3669                                         return false;
3670                         }
3671                     }
3672                 else
3673                     return false;
3674     };
3675     (false_term_nboyer = "\u1E9C*");
3676     (true_term_nboyer = "\u1E9C*");
3677     trans_of_implies1_nboyer = function(n) {
3678         var sc_n_15;
3679         return ((sc_isEqual(n, (1)))?(sc_list("\u1E9Cimplies", (0), (1))):(sc_list("\u1E9Cand", (sc_list("\u1E9Cimplies", (n-(1)), n)), ((sc_n_15 = (n-(1))), ((sc_isEqual(sc_n_15, (1)))?(sc_list("\u1E9Cimplies", (0), (1))):(sc_list("\u1E9Cand", (sc_list("\u1E9Cimplies", (sc_n_15-(1)), sc_n_15)), (trans_of_implies1_nboyer((sc_n_15-(1)))))))))));
3680     };
3681     is_term_equal_nboyer = function(x, y) {
3682         var lst1;
3683         var lst2;
3684         var r2;
3685         var r1;
3686         if ((x instanceof sc_Pair))
3687             if ((y instanceof sc_Pair))
3688                 if ((((r1 = (x.car)), (r2 = (y.car)), (r1===r2))!== false))
3689                     {
3690                         (lst1 = (x.cdr));
3691                         (lst2 = (y.cdr));
3692                         while (true) {
3693                             if ((lst1 === null))
3694                                 return (lst2 === null);
3695                             else
3696                                 if ((lst2 === null))
3697                                     return false;
3698                                 else
3699                                     if (((is_term_equal_nboyer((lst1.car), (lst2.car)))!== false))
3700                                         {
3701                                             (lst1 = (lst1.cdr));
3702                                             (lst2 = (lst2.cdr));
3703                                         }
3704                                     else
3705                                         return false;
3706                         }
3707                     }
3708                 else
3709                     return false;
3710             else
3711                 return false;
3712         else
3713             return (sc_isEqual(x, y));
3714     };
3715     is_term_member_nboyer = function(x, lst) {
3716         var x;
3717         var lst;
3718         while (true) {
3719             if ((lst === null))
3720                 return false;
3721             else
3722                 if (((is_term_equal_nboyer(x, (lst.car)))!== false))
3723                     return true;
3724                 else
3725                     (lst = (lst.cdr));
3726         }
3727     };
3728     BgL_setupzd2boyerzd2 = function() {
3729         var symbol_record;
3730         var value;
3731         var BgL_sc_symbolzd2record_16zd2;
3732         var sym;
3733         var sc_sym_17;
3734         var term;
3735         var lst;
3736         var sc_term_18;
3737         var sc_term_19;
3738         {
3739             (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null);
3740             (if_constructor_nboyer = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer("\u1E9Cif")));
3741             (false_term_nboyer = ((sc_term_19 = (new sc_Pair("\u1E9Cf",null))), (!(sc_term_19 instanceof sc_Pair)?sc_term_19:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_19.car))), (translate_args_nboyer((sc_term_19.cdr))))))));
3742             (true_term_nboyer = ((sc_term_18 = (new sc_Pair("\u1E9Ct",null))), (!(sc_term_18 instanceof sc_Pair)?sc_term_18:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_18.car))), (translate_args_nboyer((sc_term_18.cdr))))))));
3743             (lst = sc_const_3_nboyer);
3744             while (!(lst === null)) {
3745                 {
3746                     (term = (lst.car));
3747                     if (((term instanceof sc_Pair)&&(((term.car)==="\u1E9Cequal")&&((term.cdr.car) instanceof sc_Pair))))
3748                         {
3749                             (sc_sym_17 = ((term.cdr.car).car));
3750                             (value = (new sc_Pair((!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr)))))), ((sym = ((term.cdr.car).car)), (BgL_sc_symbolzd2record_16zd2 = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer(sym))), (BgL_sc_symbolzd2record_16zd2[(1)])))));
3751                             (symbol_record = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer(sc_sym_17)));
3752                             (symbol_record[(1)] = value);
3753                         }
3754                     else
3755                         (sc_error("ADD-LEMMA did not like term:  ", term));
3756                     (lst = (lst.cdr));
3757                 }
3758             }
3759             return true;
3760         }
3761     };
3762     BgL_testzd2boyerzd2 = function(n) {
3763         var optrOpnd;
3764         var term;
3765         var sc_n_20;
3766         var answer;
3767         var sc_term_21;
3768         var sc_term_22;
3769         {
3770             (rewrite_count_nboyer = (0));
3771             (term = sc_const_4_nboyer);
3772             (sc_n_20 = n);
3773             while (!(sc_n_20=== 0)) {
3774                 {
3775                     (term = (sc_list("\u1E9Cor", term, (new sc_Pair("\u1E9Cf",null)))));
3776                     (--sc_n_20);
3777                 }
3778             }
3779             (sc_term_22 = term);
3780             if (!(sc_term_22 instanceof sc_Pair))
3781                 (optrOpnd = sc_term_22);
3782             else