1// This file is automatically generated by scheme2js, except for the
2// benchmark harness code at the beginning and end of the file.
3
4var EarleyBoyer = new BenchmarkSuite('EarleyBoyer', 666463, [
5  new Benchmark("Earley", function () { BgL_earleyzd2benchmarkzd2(); }),
6  new Benchmark("Boyer", function () { BgL_nboyerzd2benchmarkzd2(); })
7]);
8
9
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/************* GENERATED FILE - DO NOT EDIT *************/
15/************* GENERATED FILE - DO NOT EDIT *************/
16/************* GENERATED FILE - DO NOT EDIT *************/
17/************* GENERATED FILE - DO NOT EDIT *************/
18/*
19 * To use write/prints/... the default-output port has to be set first.
20 * Simply setting SC_DEFAULT_OUT and SC_ERROR_OUT to the desired values
21 * should do the trick.
22 * In the following example the std-out and error-port are redirected to
23 * a DIV.
24function initRuntime() {
25    function escapeHTML(s) {
26	var tmp = s;
27	tmp = tmp.replace(/&/g, "&");
28	tmp = tmp.replace(/</g, "&lt;");
29	tmp = tmp.replace(/>/g, "&gt;");
30	tmp = tmp.replace(/ /g, "&nbsp;");
31	tmp = tmp.replace(/\n/g, "<br />");
32	tmp = tmp.replace(/\t/g, "&nbsp;&nbsp;&nbsp;&nbsp");
33	return tmp;
34
35    }
36
37    document.write("<div id='stdout'></div>");
38    SC_DEFAULT_OUT = new sc_GenericOutputPort(
39	function(s) {
40	    var stdout = document.getElementById('stdout');
41	    stdout.innerHTML = stdout.innerHTML + escapeHTML(s);
42	});
43    SC_ERROR_OUT = SC_DEFAULT_OUT;
44}
45*/
46
47
48function sc_print_debug() {
49    sc_print.apply(null, arguments);
50}
51/*** META ((export *js*)) */
52var sc_JS_GLOBALS = this;
53
54var __sc_LINE=-1;
55var __sc_FILE="";
56
57/*** META ((export #t)) */
58function sc_alert() {
59   var len = arguments.length;
60   var s = "";
61   var i;
62
63   for( i = 0; i < len; i++ ) {
64       s += sc_toDisplayString(arguments[ i ]);
65   }
66
67   return alert( s );
68}
69
70/*** META ((export #t)) */
71function sc_typeof( x ) {
72   return typeof x;
73}
74
75/*** META ((export #t)) */
76function sc_error() {
77    var a = [sc_jsstring2symbol("*error*")];
78    for (var i = 0; i < arguments.length; i++) {
79	a[i+1] = arguments[i];
80    }
81    throw a;
82}
83
84/*** META ((export #t)
85           (peephole (prefix "throw ")))
86*/
87function sc_raise(obj) {
88    throw obj;
89}
90
91/*** META ((export with-handler-lambda)) */
92function sc_withHandlerLambda(handler, body) {
93    try {
94	return body();
95    } catch(e) {
96	if (!e._internalException)
97	    return handler(e);
98	else
99	    throw e;
100    }
101}
102
103var sc_properties = new Object();
104
105/*** META ((export #t)) */
106function sc_putpropBang(sym, key, val) {
107    var ht = sc_properties[sym];
108    if (!ht) {
109	ht = new Object();
110	sc_properties[sym] = ht;
111    }
112    ht[key] = val;
113}
114
115/*** META ((export #t)) */
116function sc_getprop(sym, key) {
117    var ht = sc_properties[sym];
118    if (ht) {
119	if (key in ht)
120	    return ht[key];
121	else
122	    return false;
123    } else
124	return false;
125}
126
127/*** META ((export #t)) */
128function sc_rempropBang(sym, key) {
129    var ht = sc_properties[sym];
130    if (ht)
131	delete ht[key];
132}
133
134/*** META ((export #t)) */
135function sc_any2String(o) {
136    return jsstring2string(sc_toDisplayString(o));
137}
138
139/*** META ((export #t)
140           (peephole (infix 2 2 "==="))
141           (type bool))
142*/
143function sc_isEqv(o1, o2) {
144    return (o1 === o2);
145}
146
147/*** META ((export #t)
148           (peephole (infix 2 2 "==="))
149           (type bool))
150*/
151function sc_isEq(o1, o2) {
152    return (o1 === o2);
153}
154
155/*** META ((export #t)
156           (type bool))
157*/
158function sc_isNumber(n) {
159    return (typeof n === "number");
160}
161
162/*** META ((export #t)
163           (type bool))
164*/
165function sc_isComplex(n) {
166    return sc_isNumber(n);
167}
168
169/*** META ((export #t)
170           (type bool))
171*/
172function sc_isReal(n) {
173    return sc_isNumber(n);
174}
175
176/*** META ((export #t)
177           (type bool))
178*/
179function sc_isRational(n) {
180    return sc_isReal(n);
181}
182
183/*** META ((export #t)
184           (type bool))
185*/
186function sc_isInteger(n) {
187    return (parseInt(n) === n);
188}
189
190/*** META ((export #t)
191           (type bool)
192           (peephole (postfix ", false")))
193*/
194// we don't have exact numbers...
195function sc_isExact(n) {
196    return false;
197}
198
199/*** META ((export #t)
200           (peephole (postfix ", true"))
201	   (type bool))
202*/
203function sc_isInexact(n) {
204    return true;
205}
206
207/*** META ((export = =fx =fl)
208           (type bool)
209           (peephole (infix 2 2 "===")))
210*/
211function sc_equal(x) {
212    for (var i = 1; i < arguments.length; i++)
213	if (x !== arguments[i])
214	    return false;
215    return true;
216}
217
218/*** META ((export < <fx <fl)
219           (type bool)
220           (peephole (infix 2 2 "<")))
221*/
222function sc_less(x) {
223    for (var i = 1; i < arguments.length; i++) {
224	if (x >= arguments[i])
225	    return false;
226	x = arguments[i];
227    }
228    return true;
229}
230
231/*** META ((export > >fx >fl)
232           (type bool)
233           (peephole (infix 2 2 ">")))
234*/
235function sc_greater(x, y) {
236    for (var i = 1; i < arguments.length; i++) {
237	if (x <= arguments[i])
238	    return false;
239	x = arguments[i];
240    }
241    return true;
242}
243
244/*** META ((export <= <=fx <=fl)
245           (type bool)
246           (peephole (infix 2 2 "<=")))
247*/
248function sc_lessEqual(x, y) {
249    for (var i = 1; i < arguments.length; i++) {
250	if (x > arguments[i])
251	    return false;
252	x = arguments[i];
253    }
254    return true;
255}
256
257/*** META ((export >= >=fl >=fx)
258           (type bool)
259           (peephole (infix 2 2 ">=")))
260*/
261function sc_greaterEqual(x, y) {
262    for (var i = 1; i < arguments.length; i++) {
263	if (x < arguments[i])
264	    return false;
265	x = arguments[i];
266    }
267    return true;
268}
269
270/*** META ((export #t)
271           (type bool)
272           (peephole (postfix "=== 0")))
273*/
274function sc_isZero(x) {
275    return (x === 0);
276}
277
278/*** META ((export #t)
279           (type bool)
280           (peephole (postfix "> 0")))
281*/
282function sc_isPositive(x) {
283    return (x > 0);
284}
285
286/*** META ((export #t)
287           (type bool)
288           (peephole (postfix "< 0")))
289*/
290function sc_isNegative(x) {
291    return (x < 0);
292}
293
294/*** META ((export #t)
295           (type bool)
296           (peephole (postfix "%2===1")))
297*/
298function sc_isOdd(x) {
299    return (x % 2 === 1);
300}
301
302/*** META ((export #t)
303           (type bool)
304           (peephole (postfix "%2===0")))
305*/
306function sc_isEven(x) {
307    return (x % 2 === 0);
308}
309
310/*** META ((export #t)) */
311var sc_max = Math.max;
312/*** META ((export #t)) */
313var sc_min = Math.min;
314
315/*** META ((export + +fx +fl)
316           (peephole (infix 0 #f "+" "0")))
317*/
318function sc_plus() {
319    var sum = 0;
320    for (var i = 0; i < arguments.length; i++)
321	sum += arguments[i];
322    return sum;
323}
324
325/*** META ((export * *fx *fl)
326           (peephole (infix 0 #f "*" "1")))
327*/
328function sc_multi() {
329    var product = 1;
330    for (var i = 0; i < arguments.length; i++)
331	product *= arguments[i];
332    return product;
333}
334
335/*** META ((export - -fx -fl)
336           (peephole (minus)))
337*/
338function sc_minus(x) {
339    if (arguments.length === 1)
340	return -x;
341    else {
342	var res = x;
343	for (var i = 1; i < arguments.length; i++)
344	    res -= arguments[i];
345	return res;
346    }
347}
348
349/*** META ((export / /fl)
350           (peephole (div)))
351*/
352function sc_div(x) {
353    if (arguments.length === 1)
354	return 1/x;
355    else {
356	var res = x;
357	for (var i = 1; i < arguments.length; i++)
358	    res /= arguments[i];
359	return res;
360    }
361}
362
363/*** META ((export #t)) */
364var sc_abs = Math.abs;
365
366/*** META ((export quotient /fx)
367           (peephole (hole 2 "parseInt(" x "/" y ")")))
368*/
369function sc_quotient(x, y) {
370    return parseInt(x / y);
371}
372
373/*** META ((export #t)
374           (peephole (infix 2 2 "%")))
375*/
376function sc_remainder(x, y) {
377    return x % y;
378}
379
380/*** META ((export #t)
381           (peephole (modulo)))
382*/
383function sc_modulo(x, y) {
384    var remainder = x % y;
385    // if they don't have the same sign
386    if ((remainder * y) < 0)
387	return remainder + y;
388    else
389	return remainder;
390}
391
392function sc_euclid_gcd(a, b) {
393    var temp;
394    if (a === 0) return b;
395    if (b === 0) return a;
396    if (a < 0) {a = -a;};
397    if (b < 0) {b = -b;};
398    if (b > a) {temp = a; a = b; b = temp;};
399    while (true) {
400	a %= b;
401	if(a === 0) {return b;};
402	b %= a;
403	if(b === 0) {return a;};
404    };
405    return b;
406}
407
408/*** META ((export #t)) */
409function sc_gcd() {
410    var gcd = 0;
411    for (var i = 0; i < arguments.length; i++)
412	gcd = sc_euclid_gcd(gcd, arguments[i]);
413    return gcd;
414}
415
416/*** META ((export #t)) */
417function sc_lcm() {
418    var lcm = 1;
419    for (var i = 0; i < arguments.length; i++) {
420	var f = Math.round(arguments[i] / sc_euclid_gcd(arguments[i], lcm));
421	lcm *= Math.abs(f);
422    }
423    return lcm;
424}
425
426// LIMITATION: numerator and denominator don't make sense in floating point world.
427//var SC_MAX_DECIMALS = 1000000
428//
429// function sc_numerator(x) {
430//     var rounded = Math.round(x * SC_MAX_DECIMALS);
431//     return Math.round(rounded / sc_euclid_gcd(rounded, SC_MAX_DECIMALS));
432// }
433
434// function sc_denominator(x) {
435//     var rounded = Math.round(x * SC_MAX_DECIMALS);
436//     return Math.round(SC_MAX_DECIMALS / sc_euclid_gcd(rounded, SC_MAX_DECIMALS));
437// }
438
439/*** META ((export #t)) */
440var sc_floor = Math.floor;
441/*** META ((export #t)) */
442var sc_ceiling = Math.ceil;
443/*** META ((export #t)) */
444var sc_truncate = parseInt;
445/*** META ((export #t)) */
446var sc_round = Math.round;
447
448// LIMITATION: sc_rationalize doesn't make sense in a floating point world.
449
450/*** META ((export #t)) */
451var sc_exp = Math.exp;
452/*** META ((export #t)) */
453var sc_log = Math.log;
454/*** META ((export #t)) */
455var sc_sin = Math.sin;
456/*** META ((export #t)) */
457var sc_cos = Math.cos;
458/*** META ((export #t)) */
459var sc_tan = Math.tan;
460/*** META ((export #t)) */
461var sc_asin = Math.asin;
462/*** META ((export #t)) */
463var sc_acos = Math.acos;
464/*** META ((export #t)) */
465var sc_atan = Math.atan;
466
467/*** META ((export #t)) */
468var sc_sqrt = Math.sqrt;
469/*** META ((export #t)) */
470var sc_expt = Math.pow;
471
472// LIMITATION: we don't have complex numbers.
473// LIMITATION: the following functions are hence not implemented.
474// LIMITATION: make-rectangular, make-polar, real-part, imag-part, magnitude, angle
475// LIMITATION: 2 argument atan
476
477/*** META ((export #t)
478           (peephole (id)))
479*/
480function sc_exact2inexact(x) {
481    return x;
482}
483
484/*** META ((export #t)
485           (peephole (id)))
486*/
487function sc_inexact2exact(x) {
488    return x;
489}
490
491function sc_number2jsstring(x, radix) {
492    if (radix)
493	return x.toString(radix);
494    else
495	return x.toString();
496}
497
498function sc_jsstring2number(s, radix) {
499    if (s === "") return false;
500
501    if (radix) {
502	var t = parseInt(s, radix);
503	if (!t && t !== 0) return false;
504	// verify that each char is in range. (parseInt ignores leading
505	// white and trailing chars)
506	var allowedChars = "01234567890abcdefghijklmnopqrstuvwxyz".substring(0, radix+1);
507	if ((new RegExp("^["+allowedChars+"]*$", "i")).test(s))
508	    return t;
509	else return false;
510    } else {
511	var t = +s; // does not ignore trailing chars.
512	if (!t && t !== 0) return false;
513	// simply verify that first char is not whitespace.
514	var c = s.charAt(0);
515	// if +c is 0, but the char is not "0", then we have a whitespace.
516	if (+c === 0 && c !== "0") return false;
517	return t;
518    }
519}
520
521/*** META ((export #t)
522           (type bool)
523           (peephole (not)))
524*/
525function sc_not(b) {
526    return b === false;
527}
528
529/*** META ((export #t)
530           (type bool))
531*/
532function sc_isBoolean(b) {
533    return (b === true) || (b === false);
534}
535
536function sc_Pair(car, cdr) {
537    this.car = car;
538    this.cdr = cdr;
539}
540
541sc_Pair.prototype.toString = function() {
542    return sc_toDisplayString(this);
543};
544sc_Pair.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) {
545    var current = this;
546
547    var res = "(";
548
549    while(true) {
550	res += writeOrDisplay(current.car);
551	if (sc_isPair(current.cdr)) {
552	    res += " ";
553	    current = current.cdr;
554	} else if (current.cdr !== null) {
555	    res += " . " + writeOrDisplay(current.cdr);
556	    break;
557	} else // current.cdr == null
558	    break;
559    }
560
561    res += ")";
562
563    return res;
564};
565sc_Pair.prototype.sc_toDisplayString = function() {
566    return this.sc_toWriteOrDisplayString(sc_toDisplayString);
567};
568sc_Pair.prototype.sc_toWriteString = function() {
569    return this.sc_toWriteOrDisplayString(sc_toWriteString);
570};
571// sc_Pair.prototype.sc_toWriteCircleString in IO.js
572
573/*** META ((export #t)
574           (type bool)
575           (peephole (postfix " instanceof sc_Pair")))
576*/
577function sc_isPair(p) {
578    return (p instanceof sc_Pair);
579}
580
581function sc_isPairEqual(p1, p2, comp) {
582    return (comp(p1.car, p2.car) && comp(p1.cdr, p2.cdr));
583}
584
585/*** META ((export #t)
586           (peephole (hole 2 "new sc_Pair(" car ", " cdr ")")))
587*/
588function sc_cons(car, cdr) {
589    return new sc_Pair(car, cdr);
590}
591
592/*** META ((export cons*)) */
593function sc_consStar() {
594    var res = arguments[arguments.length - 1];
595    for (var i = arguments.length-2; i >= 0; i--)
596	res = new sc_Pair(arguments[i], res);
597    return res;
598}
599
600/*** META ((export #t)
601           (peephole (postfix ".car")))
602*/
603function sc_car(p) {
604    return p.car;
605}
606
607/*** META ((export #t)
608           (peephole (postfix ".cdr")))
609*/
610function sc_cdr(p) {
611    return p.cdr;
612}
613
614/*** META ((export #t)
615           (peephole (hole 2 p ".car = " val)))
616*/
617function sc_setCarBang(p, val) {
618    p.car = val;
619}
620
621/*** META ((export #t)
622           (peephole (hole 2 p ".cdr = " val)))
623*/
624function sc_setCdrBang(p, val) {
625    p.cdr = val;
626}
627
628/*** META ((export #t)
629           (peephole (postfix ".car.car")))
630*/
631function sc_caar(p) { return p.car.car; }
632/*** META ((export #t)
633           (peephole (postfix ".cdr.car")))
634*/
635function sc_cadr(p) { return p.cdr.car; }
636/*** META ((export #t)
637           (peephole (postfix ".car.cdr")))
638*/
639function sc_cdar(p) { return p.car.cdr; }
640/*** META ((export #t)
641           (peephole (postfix ".cdr.cdr")))
642*/
643function sc_cddr(p) { return p.cdr.cdr; }
644/*** META ((export #t)
645           (peephole (postfix ".car.car.car")))
646*/
647function sc_caaar(p) { return p.car.car.car; }
648/*** META ((export #t)
649           (peephole (postfix ".car.cdr.car")))
650*/
651function sc_cadar(p) { return p.car.cdr.car; }
652/*** META ((export #t)
653           (peephole (postfix ".cdr.car.car")))
654*/
655function sc_caadr(p) { return p.cdr.car.car; }
656/*** META ((export #t)
657           (peephole (postfix ".cdr.cdr.car")))
658*/
659function sc_caddr(p) { return p.cdr.cdr.car; }
660/*** META ((export #t)
661           (peephole (postfix ".car.car.cdr")))
662*/
663function sc_cdaar(p) { return p.car.car.cdr; }
664/*** META ((export #t)
665           (peephole (postfix ".cdr.car.cdr")))
666*/
667function sc_cdadr(p) { return p.cdr.car.cdr; }
668/*** META ((export #t)
669           (peephole (postfix ".car.cdr.cdr")))
670*/
671function sc_cddar(p) { return p.car.cdr.cdr; }
672/*** META ((export #t)
673           (peephole (postfix ".cdr.cdr.cdr")))
674*/
675function sc_cdddr(p) { return p.cdr.cdr.cdr; }
676/*** META ((export #t)
677           (peephole (postfix ".car.car.car.car")))
678*/
679function sc_caaaar(p) { return p.car.car.car.car; }
680/*** META ((export #t)
681           (peephole (postfix ".car.cdr.car.car")))
682*/
683function sc_caadar(p) { return p.car.cdr.car.car; }
684/*** META ((export #t)
685           (peephole (postfix ".cdr.car.car.car")))
686*/
687function sc_caaadr(p) { return p.cdr.car.car.car; }
688/*** META ((export #t)
689           (peephole (postfix ".cdr.cdr.car.car")))
690*/
691function sc_caaddr(p) { return p.cdr.cdr.car.car; }
692/*** META ((export #t)
693           (peephole (postfix ".car.car.car.cdr")))
694*/
695function sc_cdaaar(p) { return p.car.car.car.cdr; }
696/*** META ((export #t)
697           (peephole (postfix ".car.cdr.car.cdr")))
698*/
699function sc_cdadar(p) { return p.car.cdr.car.cdr; }
700/*** META ((export #t)
701           (peephole (postfix ".cdr.car.car.cdr")))
702*/
703function sc_cdaadr(p) { return p.cdr.car.car.cdr; }
704/*** META ((export #t)
705           (peephole (postfix ".cdr.cdr.car.cdr")))
706*/
707function sc_cdaddr(p) { return p.cdr.cdr.car.cdr; }
708/*** META ((export #t)
709           (peephole (postfix ".car.car.cdr.car")))
710*/
711function sc_cadaar(p) { return p.car.car.cdr.car; }
712/*** META ((export #t)
713           (peephole (postfix ".car.cdr.cdr.car")))
714*/
715function sc_caddar(p) { return p.car.cdr.cdr.car; }
716/*** META ((export #t)
717           (peephole (postfix ".cdr.car.cdr.car")))
718*/
719function sc_cadadr(p) { return p.cdr.car.cdr.car; }
720/*** META ((export #t)
721           (peephole (postfix ".cdr.cdr.cdr.car")))
722*/
723function sc_cadddr(p) { return p.cdr.cdr.cdr.car; }
724/*** META ((export #t)
725           (peephole (postfix ".car.car.cdr.cdr")))
726*/
727function sc_cddaar(p) { return p.car.car.cdr.cdr; }
728/*** META ((export #t)
729           (peephole (postfix ".car.cdr.cdr.cdr")))
730*/
731function sc_cdddar(p) { return p.car.cdr.cdr.cdr; }
732/*** META ((export #t)
733           (peephole (postfix ".cdr.car.cdr.cdr")))
734*/
735function sc_cddadr(p) { return p.cdr.car.cdr.cdr; }
736/*** META ((export #t)
737           (peephole (postfix ".cdr.cdr.cdr.cdr")))
738*/
739function sc_cddddr(p) { return p.cdr.cdr.cdr.cdr; }
740
741/*** META ((export #t)) */
742function sc_lastPair(l) {
743    if (!sc_isPair(l)) sc_error("sc_lastPair: pair expected");
744    var res = l;
745    var cdr = l.cdr;
746    while (sc_isPair(cdr)) {
747	res = cdr;
748	cdr = res.cdr;
749    }
750    return res;
751}
752
753/*** META ((export #t)
754           (type bool)
755           (peephole (postfix " === null")))
756*/
757function sc_isNull(o) {
758    return (o === null);
759}
760
761/*** META ((export #t)
762           (type bool))
763*/
764function sc_isList(o) {
765    var rabbit;
766    var turtle;
767
768    var rabbit = o;
769    var turtle = o;
770    while (true) {
771	if (rabbit === null ||
772	    (rabbit instanceof sc_Pair && rabbit.cdr === null))
773	    return true;  // end of list
774	else if ((rabbit instanceof sc_Pair) &&
775		 (rabbit.cdr instanceof sc_Pair)) {
776	    rabbit = rabbit.cdr.cdr;
777	    turtle = turtle.cdr;
778	    if (rabbit === turtle) return false; // cycle
779	} else
780	    return false; // not pair
781    }
782}
783
784/*** META ((export #t)) */
785function sc_list() {
786    var res = null;
787    var a = arguments;
788    for (var i = a.length-1; i >= 0; i--)
789	res = new sc_Pair(a[i], res);
790    return res;
791}
792
793/*** META ((export #t)) */
794function sc_iota(num, init) {
795   var res = null;
796   if (!init) init = 0;
797   for (var i = num - 1; i >= 0; i--)
798      res = new sc_Pair(i + init, res);
799   return res;
800}
801
802/*** META ((export #t)) */
803function sc_makeList(nbEls, fill) {
804    var res = null;
805    for (var i = 0; i < nbEls; i++)
806	res = new sc_Pair(fill, res);
807    return res;
808}
809
810/*** META ((export #t)) */
811function sc_length(l) {
812    var res = 0;
813    while (l !== null) {
814	res++;
815	l = l.cdr;
816    }
817    return res;
818}
819
820/*** META ((export #t)) */
821function sc_remq(o, l) {
822    var dummy = { cdr : null };
823    var tail = dummy;
824    while (l !== null) {
825	if (l.car !== o) {
826	    tail.cdr = sc_cons(l.car, null);
827	    tail = tail.cdr;
828	}
829	l = l.cdr;
830    }
831    return dummy.cdr;
832}
833
834/*** META ((export #t)) */
835function sc_remqBang(o, l) {
836    var dummy = { cdr : null };
837    var tail = dummy;
838    var needsAssig = true;
839    while (l !== null) {
840	if (l.car === o) {
841	    needsAssig = true;
842	} else {
843	    if (needsAssig) {
844		tail.cdr = l;
845		needsAssig = false;
846	    }
847	    tail = l;
848	}
849	l = l.cdr;
850    }
851    tail.cdr = null;
852    return dummy.cdr;
853}
854
855/*** META ((export #t)) */
856function sc_delete(o, l) {
857    var dummy = { cdr : null };
858    var tail = dummy;
859    while (l !== null) {
860	if (!sc_isEqual(l.car, o)) {
861	    tail.cdr = sc_cons(l.car, null);
862	    tail = tail.cdr;
863	}
864	l = l.cdr;
865    }
866    return dummy.cdr;
867}
868
869/*** META ((export #t)) */
870function sc_deleteBang(o, l) {
871    var dummy = { cdr : null };
872    var tail = dummy;
873    var needsAssig = true;
874    while (l !== null) {
875	if (sc_isEqual(l.car, o)) {
876	    needsAssig = true;
877	} else {
878	    if (needsAssig) {
879		tail.cdr = l;
880		needsAssig = false;
881	    }
882	    tail = l;
883	}
884	l = l.cdr;
885    }
886    tail.cdr = null;
887    return dummy.cdr;
888}
889
890function sc_reverseAppendBang(l1, l2) {
891    var res = l2;
892    while (l1 !== null) {
893	var tmp = res;
894	res = l1;
895	l1 = l1.cdr;
896	res.cdr = tmp;
897    }
898    return res;
899}
900
901function sc_dualAppend(l1, l2) {
902    if (l1 === null) return l2;
903    if (l2 === null) return l1;
904    var rev = sc_reverse(l1);
905    return sc_reverseAppendBang(rev, l2);
906}
907
908/*** META ((export #t)) */
909function sc_append() {
910    if (arguments.length === 0)
911	return null;
912    var res = arguments[arguments.length - 1];
913    for (var i = arguments.length - 2; i >= 0; i--)
914	res = sc_dualAppend(arguments[i], res);
915    return res;
916}
917
918function sc_dualAppendBang(l1, l2) {
919    if (l1 === null) return l2;
920    if (l2 === null) return l1;
921    var tmp = l1;
922    while (tmp.cdr !== null) tmp=tmp.cdr;
923    tmp.cdr = l2;
924    return l1;
925}
926
927/*** META ((export #t)) */
928function sc_appendBang() {
929    var res = null;
930    for (var i = 0; i < arguments.length; i++)
931	res = sc_dualAppendBang(res, arguments[i]);
932    return res;
933}
934
935/*** META ((export #t)) */
936function sc_reverse(l1) {
937    var res = null;
938    while (l1 !== null) {
939	res = sc_cons(l1.car, res);
940	l1 = l1.cdr;
941    }
942    return res;
943}
944
945/*** META ((export #t)) */
946function sc_reverseBang(l) {
947    return sc_reverseAppendBang(l, null);
948}
949
950/*** META ((export #t)) */
951function sc_listTail(l, k) {
952    var res = l;
953    for (var i = 0; i < k; i++) {
954	res = res.cdr;
955    }
956    return res;
957}
958
959/*** META ((export #t)) */
960function sc_listRef(l, k) {
961    return sc_listTail(l, k).car;
962}
963
964/* // unoptimized generic versions
965function sc_memX(o, l, comp) {
966    while (l != null) {
967	if (comp(l.car, o))
968	    return l;
969	l = l.cdr;
970    }
971    return false;
972}
973function sc_memq(o, l) { return sc_memX(o, l, sc_isEq); }
974function sc_memv(o, l) { return sc_memX(o, l, sc_isEqv); }
975function sc_member(o, l) { return sc_memX(o, l, sc_isEqual); }
976*/
977
978/* optimized versions */
979/*** META ((export #t)) */
980function sc_memq(o, l) {
981    while (l !== null) {
982	if (l.car === o)
983	    return l;
984	l = l.cdr;
985    }
986    return false;
987}
988/*** META ((export #t)) */
989function sc_memv(o, l) {
990    while (l !== null) {
991	if (l.car === o)
992	    return l;
993	l = l.cdr;
994    }
995    return false;
996}
997/*** META ((export #t)) */
998function sc_member(o, l) {
999    while (l !== null) {
1000	if (sc_isEqual(l.car,o))
1001	    return l;
1002	l = l.cdr;
1003    }
1004    return false;
1005}
1006
1007/* // generic unoptimized versions
1008function sc_assX(o, al, comp) {
1009    while (al != null) {
1010	if (comp(al.car.car, o))
1011	    return al.car;
1012	al = al.cdr;
1013    }
1014    return false;
1015}
1016function sc_assq(o, al) { return sc_assX(o, al, sc_isEq); }
1017function sc_assv(o, al) { return sc_assX(o, al, sc_isEqv); }
1018function sc_assoc(o, al) { return sc_assX(o, al, sc_isEqual); }
1019*/
1020// optimized versions
1021/*** META ((export #t)) */
1022function sc_assq(o, al) {
1023    while (al !== null) {
1024	if (al.car.car === o)
1025	    return al.car;
1026	al = al.cdr;
1027    }
1028    return false;
1029}
1030/*** META ((export #t)) */
1031function sc_assv(o, al) {
1032    while (al !== null) {
1033	if (al.car.car === o)
1034	    return al.car;
1035	al = al.cdr;
1036    }
1037    return false;
1038}
1039/*** META ((export #t)) */
1040function sc_assoc(o, al) {
1041    while (al !== null) {
1042	if (sc_isEqual(al.car.car, o))
1043	    return al.car;
1044	al = al.cdr;
1045    }
1046    return false;
1047}
1048
1049/* can be used for mutable strings and characters */
1050function sc_isCharStringEqual(cs1, cs2) { return cs1.val === cs2.val; }
1051function sc_isCharStringLess(cs1, cs2) { return cs1.val < cs2.val; }
1052function sc_isCharStringGreater(cs1, cs2) { return cs1.val > cs2.val; }
1053function sc_isCharStringLessEqual(cs1, cs2) { return cs1.val <= cs2.val; }
1054function sc_isCharStringGreaterEqual(cs1, cs2) { return cs1.val >= cs2.val; }
1055function sc_isCharStringCIEqual(cs1, cs2)
1056    { return cs1.val.toLowerCase() === cs2.val.toLowerCase(); }
1057function sc_isCharStringCILess(cs1, cs2)
1058    { return cs1.val.toLowerCase() < cs2.val.toLowerCase(); }
1059function sc_isCharStringCIGreater(cs1, cs2)
1060    { return cs1.val.toLowerCase() > cs2.val.toLowerCase(); }
1061function sc_isCharStringCILessEqual(cs1, cs2)
1062    { return cs1.val.toLowerCase() <= cs2.val.toLowerCase(); }
1063function sc_isCharStringCIGreaterEqual(cs1, cs2)
1064    { return cs1.val.toLowerCase() >= cs2.val.toLowerCase(); }
1065
1066
1067
1068
1069function sc_Char(c) {
1070    var cached = sc_Char.lazy[c];
1071    if (cached)
1072	return cached;
1073    this.val = c;
1074    sc_Char.lazy[c] = this;
1075    // add return, so FF does not complain.
1076    return undefined;
1077}
1078sc_Char.lazy = new Object();
1079// thanks to Eric
1080sc_Char.char2readable = {
1081    "\000": "#\\null",
1082    "\007": "#\\bell",
1083    "\010": "#\\backspace",
1084    "\011": "#\\tab",
1085    "\012": "#\\newline",
1086    "\014": "#\\page",
1087    "\015": "#\\return",
1088    "\033": "#\\escape",
1089    "\040": "#\\space",
1090    "\177": "#\\delete",
1091
1092  /* poeticless names */
1093    "\001": "#\\soh",
1094    "\002": "#\\stx",
1095    "\003": "#\\etx",
1096    "\004": "#\\eot",
1097    "\005": "#\\enq",
1098    "\006": "#\\ack",
1099
1100    "\013": "#\\vt",
1101    "\016": "#\\so",
1102    "\017": "#\\si",
1103
1104    "\020": "#\\dle",
1105    "\021": "#\\dc1",
1106    "\022": "#\\dc2",
1107    "\023": "#\\dc3",
1108    "\024": "#\\dc4",
1109    "\025": "#\\nak",
1110    "\026": "#\\syn",
1111    "\027": "#\\etb",
1112
1113    "\030": "#\\can",
1114    "\031": "#\\em",
1115    "\032": "#\\sub",
1116    "\033": "#\\esc",
1117    "\034": "#\\fs",
1118    "\035": "#\\gs",
1119    "\036": "#\\rs",
1120    "\037": "#\\us"};
1121
1122sc_Char.readable2char = {
1123    "null": "\000",
1124    "bell": "\007",
1125    "backspace": "\010",
1126    "tab": "\011",
1127    "newline": "\012",
1128    "page": "\014",
1129    "return": "\015",
1130    "escape": "\033",
1131    "space": "\040",
1132    "delete": "\000",
1133    "soh": "\001",
1134    "stx": "\002",
1135    "etx": "\003",
1136    "eot": "\004",
1137    "enq": "\005",
1138    "ack": "\006",
1139    "bel": "\007",
1140    "bs": "\010",
1141    "ht": "\011",
1142    "nl": "\012",
1143    "vt": "\013",
1144    "np": "\014",
1145    "cr": "\015",
1146    "so": "\016",
1147    "si": "\017",
1148    "dle": "\020",
1149    "dc1": "\021",
1150    "dc2": "\022",
1151    "dc3": "\023",
1152    "dc4": "\024",
1153    "nak": "\025",
1154    "syn": "\026",
1155    "etb": "\027",
1156    "can": "\030",
1157    "em": "\031",
1158    "sub": "\032",
1159    "esc": "\033",
1160    "fs": "\034",
1161    "gs": "\035",
1162    "rs": "\036",
1163    "us": "\037",
1164    "sp": "\040",
1165    "del": "\177"};
1166
1167sc_Char.prototype.toString = function() {
1168    return this.val;
1169};
1170// sc_toDisplayString == toString
1171sc_Char.prototype.sc_toWriteString = function() {
1172    var entry = sc_Char.char2readable[this.val];
1173    if (entry)
1174	return entry;
1175    else
1176	return "#\\" + this.val;
1177};
1178
1179/*** META ((export #t)
1180           (type bool)
1181           (peephole (postfix "instanceof sc_Char")))
1182*/
1183function sc_isChar(c) {
1184    return (c instanceof sc_Char);
1185}
1186
1187/*** META ((export char=?)
1188           (type bool)
1189           (peephole (hole 2 c1 ".val === " c2 ".val")))
1190*/
1191var sc_isCharEqual = sc_isCharStringEqual;
1192/*** META ((export char<?)
1193           (type bool)
1194           (peephole (hole 2 c1 ".val < " c2 ".val")))
1195*/
1196var sc_isCharLess = sc_isCharStringLess;
1197/*** META ((export char>?)
1198           (type bool)
1199           (peephole (hole 2 c1 ".val > " c2 ".val")))
1200*/
1201var sc_isCharGreater = sc_isCharStringGreater;
1202/*** META ((export char<=?)
1203           (type bool)
1204           (peephole (hole 2 c1 ".val <= " c2 ".val")))
1205*/
1206var sc_isCharLessEqual = sc_isCharStringLessEqual;
1207/*** META ((export char>=?)
1208           (type bool)
1209           (peephole (hole 2 c1 ".val >= " c2 ".val")))
1210*/
1211var sc_isCharGreaterEqual = sc_isCharStringGreaterEqual;
1212/*** META ((export char-ci=?)
1213           (type bool)
1214           (peephole (hole 2 c1 ".val.toLowerCase() === " c2 ".val.toLowerCase()")))
1215*/
1216var sc_isCharCIEqual = sc_isCharStringCIEqual;
1217/*** META ((export char-ci<?)
1218           (type bool)
1219           (peephole (hole 2 c1 ".val.toLowerCase() < " c2 ".val.toLowerCase()")))
1220*/
1221var sc_isCharCILess = sc_isCharStringCILess;
1222/*** META ((export char-ci>?)
1223           (type bool)
1224           (peephole (hole 2 c1 ".val.toLowerCase() > " c2 ".val.toLowerCase()")))
1225*/
1226var sc_isCharCIGreater = sc_isCharStringCIGreater;
1227/*** META ((export char-ci<=?)
1228           (type bool)
1229           (peephole (hole 2 c1 ".val.toLowerCase() <= " c2 ".val.toLowerCase()")))
1230*/
1231var sc_isCharCILessEqual = sc_isCharStringCILessEqual;
1232/*** META ((export char-ci>=?)
1233           (type bool)
1234           (peephole (hole 2 c1 ".val.toLowerCase() >= " c2 ".val.toLowerCase()")))
1235*/
1236var sc_isCharCIGreaterEqual = sc_isCharStringCIGreaterEqual;
1237
1238var SC_NUMBER_CLASS = "0123456789";
1239var SC_WHITESPACE_CLASS = ' \r\n\t\f';
1240var SC_LOWER_CLASS = 'abcdefghijklmnopqrstuvwxyz';
1241var SC_UPPER_CLASS = 'ABCDEFGHIJKLMNOPQRSTUVWXYZ';
1242
1243function sc_isCharOfClass(c, cl) { return (cl.indexOf(c) != -1); }
1244/*** META ((export #t)
1245           (type bool))
1246*/
1247function sc_isCharAlphabetic(c)
1248    { return sc_isCharOfClass(c.val, SC_LOWER_CLASS) ||
1249	  sc_isCharOfClass(c.val, SC_UPPER_CLASS); }
1250/*** META ((export #t)
1251           (type bool)
1252           (peephole (hole 1 "SC_NUMBER_CLASS.indexOf(" c ".val) != -1")))
1253*/
1254function sc_isCharNumeric(c)
1255    { return sc_isCharOfClass(c.val, SC_NUMBER_CLASS); }
1256/*** META ((export #t)
1257           (type bool))
1258*/
1259function sc_isCharWhitespace(c) {
1260    var tmp = c.val;
1261    return tmp === " " || tmp === "\r" || tmp === "\n" || tmp === "\t" || tmp === "\f";
1262}
1263/*** META ((export #t)
1264           (type bool)
1265           (peephole (hole 1 "SC_UPPER_CLASS.indexOf(" c ".val) != -1")))
1266*/
1267function sc_isCharUpperCase(c)
1268    { return sc_isCharOfClass(c.val, SC_UPPER_CLASS); }
1269/*** META ((export #t)
1270           (type bool)
1271           (peephole (hole 1 "SC_LOWER_CLASS.indexOf(" c ".val) != -1")))
1272*/
1273function sc_isCharLowerCase(c)
1274    { return sc_isCharOfClass(c.val, SC_LOWER_CLASS); }
1275
1276/*** META ((export #t)
1277           (peephole (postfix ".val.charCodeAt(0)")))
1278*/
1279function sc_char2integer(c)
1280    { return c.val.charCodeAt(0); }
1281/*** META ((export #t)
1282           (peephole (hole 1 "new sc_Char(String.fromCharCode(" n "))")))
1283*/
1284function sc_integer2char(n)
1285    { return new sc_Char(String.fromCharCode(n)); }
1286
1287/*** META ((export #t)
1288           (peephole (hole 1 "new sc_Char(" c ".val.toUpperCase())")))
1289*/
1290function sc_charUpcase(c)
1291    { return new sc_Char(c.val.toUpperCase()); }
1292/*** META ((export #t)
1293           (peephole (hole 1 "new sc_Char(" c ".val.toLowerCase())")))
1294*/
1295function sc_charDowncase(c)
1296    { return new sc_Char(c.val.toLowerCase()); }
1297
1298function sc_makeJSStringOfLength(k, c) {
1299    var fill;
1300    if (c === undefined)
1301	fill = " ";
1302    else
1303	fill = c;
1304    var res = "";
1305    var len = 1;
1306    // every round doubles the size of fill.
1307    while (k >= len) {
1308	if (k & len)
1309	    res = res.concat(fill);
1310	fill = fill.concat(fill);
1311	len *= 2;
1312    }
1313    return res;
1314}
1315
1316function sc_makejsString(k, c) {
1317    var fill;
1318    if (c)
1319	fill = c.val;
1320    else
1321	fill = " ";
1322    return sc_makeJSStringOfLength(k, fill);
1323}
1324
1325function sc_jsstring2list(s) {
1326    var res = null;
1327    for (var i = s.length - 1; i >= 0; i--)
1328	res = sc_cons(new sc_Char(s.charAt(i)), res);
1329    return res;
1330}
1331
1332function sc_list2jsstring(l) {
1333    var a = new Array();
1334    while(l !== null) {
1335	a.push(l.car.val);
1336	l = l.cdr;
1337    }
1338    return "".concat.apply("", a);
1339}
1340
1341var sc_Vector = Array;
1342
1343sc_Vector.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) {
1344    if (this.length === 0) return "#()";
1345
1346    var res = "#(" + writeOrDisplay(this[0]);
1347    for (var i = 1; i < this.length; i++)
1348	res += " " + writeOrDisplay(this[i]);
1349    res += ")";
1350    return res;
1351};
1352sc_Vector.prototype.sc_toDisplayString = function() {
1353    return this.sc_toWriteOrDisplayString(sc_toDisplayString);
1354};
1355sc_Vector.prototype.sc_toWriteString = function() {
1356    return this.sc_toWriteOrDisplayString(sc_toWriteString);
1357};
1358
1359/*** META ((export vector? array?)
1360           (type bool)
1361           (peephole (postfix " instanceof sc_Vector")))
1362*/
1363function sc_isVector(v) {
1364    return (v instanceof sc_Vector);
1365}
1366
1367// only applies to vectors
1368function sc_isVectorEqual(v1, v2, comp) {
1369    if (v1.length !== v2.length) return false;
1370    for (var i = 0; i < v1.length; i++)
1371	if (!comp(v1[i], v2[i])) return false;
1372    return true;
1373}
1374
1375/*** META ((export make-vector make-array)) */
1376function sc_makeVector(size, fill) {
1377    var a = new sc_Vector(size);
1378    if (fill !== undefined)
1379	sc_vectorFillBang(a, fill);
1380    return a;
1381}
1382
1383/*** META ((export vector array)
1384           (peephole (vector)))
1385*/
1386function sc_vector() {
1387    var a = new sc_Vector();
1388    for (var i = 0; i < arguments.length; i++)
1389	a.push(arguments[i]);
1390    return a;
1391}
1392
1393/*** META ((export vector-length array-length)
1394           (peephole (postfix ".length")))
1395*/
1396function sc_vectorLength(v) {
1397    return v.length;
1398}
1399
1400/*** META ((export vector-ref array-ref)
1401           (peephole (hole 2 v "[" pos "]")))
1402*/
1403function sc_vectorRef(v, pos) {
1404    return v[pos];
1405}
1406
1407/*** META ((export vector-set! array-set!)
1408           (peephole (hole 3 v "[" pos "] = " val)))
1409*/
1410function sc_vectorSetBang(v, pos, val) {
1411    v[pos] = val;
1412}
1413
1414/*** META ((export vector->list array->list)) */
1415function sc_vector2list(a) {
1416    var res = null;
1417    for (var i = a.length-1; i >= 0; i--)
1418	res = sc_cons(a[i], res);
1419    return res;
1420}
1421
1422/*** META ((export list->vector list->array)) */
1423function sc_list2vector(l) {
1424    var a = new sc_Vector();
1425    while(l !== null) {
1426	a.push(l.car);
1427	l = l.cdr;
1428    }
1429    return a;
1430}
1431
1432/*** META ((export vector-fill! array-fill!)) */
1433function sc_vectorFillBang(a, fill) {
1434    for (var i = 0; i < a.length; i++)
1435	a[i] = fill;
1436}
1437
1438
1439/*** META ((export #t)) */
1440function sc_copyVector(a, len) {
1441    if (len <= a.length)
1442	return a.slice(0, len);
1443    else {
1444	var tmp = a.concat();
1445	tmp.length = len;
1446	return tmp;
1447    }
1448}
1449
1450/*** META ((export #t)
1451           (peephole (hole 3 a ".slice(" start "," end ")")))
1452*/
1453function sc_vectorCopy(a, start, end) {
1454    return a.slice(start, end);
1455}
1456
1457/*** META ((export #t)) */
1458function sc_vectorCopyBang(target, tstart, source, sstart, send) {
1459    if (!sstart) sstart = 0;
1460    if (!send) send = source.length;
1461
1462    // if target == source we don't want to overwrite not yet copied elements.
1463    if (tstart <= sstart) {
1464	for (var i = tstart, j = sstart; j < send; i++, j++) {
1465	    target[i] = source[j];
1466	}
1467    } else {
1468	var diff = send - sstart;
1469	for (var i = tstart + diff - 1, j = send - 1;
1470	     j >= sstart;
1471	     i--, j--) {
1472	    target[i] = source[j];
1473	}
1474    }
1475    return target;
1476}
1477
1478/*** META ((export #t)
1479           (type bool)
1480           (peephole (hole 1 "typeof " o " === 'function'")))
1481*/
1482function sc_isProcedure(o) {
1483    return (typeof o === "function");
1484}
1485
1486/*** META ((export #t)) */
1487function sc_apply(proc) {
1488    var args = new Array();
1489    // first part of arguments are not in list-form.
1490    for (var i = 1; i < arguments.length - 1; i++)
1491	args.push(arguments[i]);
1492    var l = arguments[arguments.length - 1];
1493    while (l !== null) {
1494	args.push(l.car);
1495	l = l.cdr;
1496    }
1497    return proc.apply(null, args);
1498}
1499
1500/*** META ((export #t)) */
1501function sc_map(proc, l1) {
1502    if (l1 === undefined)
1503	return null;
1504    // else
1505    var nbApplyArgs = arguments.length - 1;
1506    var applyArgs = new Array(nbApplyArgs);
1507    var revres = null;
1508    while (l1 !== null) {
1509	for (var i = 0; i < nbApplyArgs; i++) {
1510	    applyArgs[i] = arguments[i + 1].car;
1511	    arguments[i + 1] = arguments[i + 1].cdr;
1512	}
1513	revres = sc_cons(proc.apply(null, applyArgs), revres);
1514    }
1515    return sc_reverseAppendBang(revres, null);
1516}
1517
1518/*** META ((export #t)) */
1519function sc_mapBang(proc, l1) {
1520    if (l1 === undefined)
1521	return null;
1522    // else
1523    var l1_orig = l1;
1524    var nbApplyArgs = arguments.length - 1;
1525    var applyArgs = new Array(nbApplyArgs);
1526    while (l1 !== null) {
1527	var tmp = l1;
1528	for (var i = 0; i < nbApplyArgs; i++) {
1529	    applyArgs[i] = arguments[i + 1].car;
1530	    arguments[i + 1] = arguments[i + 1].cdr;
1531	}
1532	tmp.car = proc.apply(null, applyArgs);
1533    }
1534    return l1_orig;
1535}
1536
1537/*** META ((export #t)) */
1538function sc_forEach(proc, l1) {
1539    if (l1 === undefined)
1540	return undefined;
1541    // else
1542    var nbApplyArgs = arguments.length - 1;
1543    var applyArgs = new Array(nbApplyArgs);
1544    while (l1 !== null) {
1545	for (var i = 0; i < nbApplyArgs; i++) {
1546	    applyArgs[i] = arguments[i + 1].car;
1547	    arguments[i + 1] = arguments[i + 1].cdr;
1548	}
1549	proc.apply(null, applyArgs);
1550    }
1551    // add return so FF does not complain.
1552    return undefined;
1553}
1554
1555/*** META ((export #t)) */
1556function sc_filter(proc, l1) {
1557    var dummy = { cdr : null };
1558    var tail = dummy;
1559    while (l1 !== null) {
1560	if (proc(l1.car) !== false) {
1561	    tail.cdr = sc_cons(l1.car, null);
1562	    tail = tail.cdr;
1563	}
1564	l1 = l1.cdr;
1565    }
1566    return dummy.cdr;
1567}
1568
1569/*** META ((export #t)) */
1570function sc_filterBang(proc, l1) {
1571    var head = sc_cons("dummy", l1);
1572    var it = head;
1573    var next = l1;
1574    while (next !== null) {
1575        if (proc(next.car) !== false) {
1576	    it.cdr = next
1577	    it = next;
1578	}
1579	next = next.cdr;
1580    }
1581    it.cdr = null;
1582    return head.cdr;
1583}
1584
1585function sc_filterMap1(proc, l1) {
1586    var revres = null;
1587    while (l1 !== null) {
1588        var tmp = proc(l1.car)
1589        if (tmp !== false) revres = sc_cons(tmp, revres);
1590        l1 = l1.cdr;
1591    }
1592    return sc_reverseAppendBang(revres, null);
1593}
1594function sc_filterMap2(proc, l1, l2) {
1595    var revres = null;
1596    while (l1 !== null) {
1597        var tmp = proc(l1.car, l2.car);
1598        if(tmp !== false) revres = sc_cons(tmp, revres);
1599	l1 = l1.cdr;
1600	l2 = l2.cdr
1601    }
1602    return sc_reverseAppendBang(revres, null);
1603}
1604
1605/*** META ((export #t)) */
1606function sc_filterMap(proc, l1, l2, l3) {
1607    if (l2 === undefined)
1608	return sc_filterMap1(proc, l1);
1609    else if (l3 === undefined)
1610	return sc_filterMap2(proc, l1, l2);
1611    // else
1612    var nbApplyArgs = arguments.length - 1;
1613    var applyArgs = new Array(nbApplyArgs);
1614    var revres = null;
1615    while (l1 !== null) {
1616	for (var i = 0; i < nbApplyArgs; i++) {
1617	    applyArgs[i] = arguments[i + 1].car;
1618	    arguments[i + 1] = arguments[i + 1].cdr;
1619	}
1620	var tmp = proc.apply(null, applyArgs);
1621	if(tmp !== false) revres = sc_cons(tmp, revres);
1622    }
1623    return sc_reverseAppendBang(revres, null);
1624}
1625
1626/*** META ((export #t)) */
1627function sc_any(proc, l) {
1628    var revres = null;
1629    while (l !== null) {
1630        var tmp = proc(l.car);
1631        if(tmp !== false) return tmp;
1632	l = l.cdr;
1633    }
1634    return false;
1635}
1636
1637/*** META ((export any?)
1638           (peephole (hole 2 "sc_any(" proc "," l ") !== false")))
1639*/
1640function sc_anyPred(proc, l) {
1641    return sc_any(proc, l)!== false;
1642}
1643
1644/*** META ((export #t)) */
1645function sc_every(proc, l) {
1646    var revres = null;
1647    var tmp = true;
1648    while (l !== null) {
1649        tmp = proc(l.car);
1650        if (tmp === false) return false;
1651	l = l.cdr;
1652    }
1653    return tmp;
1654}
1655
1656/*** META ((export every?)
1657           (peephole (hole 2 "sc_every(" proc "," l ") !== false")))
1658*/
1659function sc_everyPred(proc, l) {
1660    var tmp = sc_every(proc, l);
1661    if (tmp !== false) return true;
1662    return false;
1663}
1664
1665/*** META ((export #t)
1666           (peephole (postfix "()")))
1667*/
1668function sc_force(o) {
1669    return o();
1670}
1671
1672/*** META ((export #t)) */
1673function sc_makePromise(proc) {
1674    var isResultReady = false;
1675    var result = undefined;
1676    return function() {
1677	if (!isResultReady) {
1678	    var tmp = proc();
1679	    if (!isResultReady) {
1680		isResultReady = true;
1681		result = tmp;
1682	    }
1683	}
1684	return result;
1685    };
1686}
1687
1688function sc_Values(values) {
1689    this.values = values;
1690}
1691
1692/*** META ((export #t)
1693           (peephole (values)))
1694*/
1695function sc_values() {
1696    if (arguments.length === 1)
1697	return arguments[0];
1698    else
1699	return new sc_Values(arguments);
1700}
1701
1702/*** META ((export #t)) */
1703function sc_callWithValues(producer, consumer) {
1704    var produced = producer();
1705    if (produced instanceof sc_Values)
1706	return consumer.apply(null, produced.values);
1707    else
1708	return consumer(produced);
1709}
1710
1711/*** META ((export #t)) */
1712function sc_dynamicWind(before, thunk, after) {
1713    before();
1714    try {
1715	var res = thunk();
1716	return res;
1717    } finally {
1718	after();
1719    }
1720}
1721
1722
1723// TODO: eval/scheme-report-environment/null-environment/interaction-environment
1724
1725// LIMITATION: 'load' doesn't exist without files.
1726// LIMITATION: transcript-on/transcript-off doesn't exist without files.
1727
1728
1729function sc_Struct(name) {
1730    this.name = name;
1731}
1732sc_Struct.prototype.sc_toDisplayString = function() {
1733    return "#<struct" + sc_hash(this) + ">";
1734};
1735sc_Struct.prototype.sc_toWriteString = sc_Struct.prototype.sc_toDisplayString;
1736
1737/*** META ((export #t)
1738           (peephole (hole 1 "new sc_Struct(" name ")")))
1739*/
1740function sc_makeStruct(name) {
1741    return new sc_Struct(name);
1742}
1743
1744/*** META ((export #t)
1745           (type bool)
1746           (peephole (postfix " instanceof sc_Struct")))
1747*/
1748function sc_isStruct(o) {
1749    return (o instanceof sc_Struct);
1750}
1751
1752/*** META ((export #t)
1753           (type bool)
1754           (peephole (hole 2 "(" 1 " instanceof sc_Struct) && ( " 1 ".name === " 0 ")")))
1755*/
1756function sc_isStructNamed(name, s) {
1757    return ((s instanceof sc_Struct) && (s.name === name));
1758}
1759
1760/*** META ((export struct-field)
1761           (peephole (hole 3 0 "[" 2 "]")))
1762*/
1763function sc_getStructField(s, name, field) {
1764    return s[field];
1765}
1766
1767/*** META ((export struct-field-set!)
1768           (peephole (hole 4 0 "[" 2 "] = " 3)))
1769*/
1770function sc_setStructFieldBang(s, name, field, val) {
1771    s[field] = val;
1772}
1773
1774/*** META ((export #t)
1775           (peephole (prefix "~")))
1776*/
1777function sc_bitNot(x) {
1778    return ~x;
1779}
1780
1781/*** META ((export #t)
1782           (peephole (infix 2 2 "&")))
1783*/
1784function sc_bitAnd(x, y) {
1785    return x & y;
1786}
1787
1788/*** META ((export #t)
1789           (peephole (infix 2 2 "|")))
1790*/
1791function sc_bitOr(x, y) {
1792    return x | y;
1793}
1794
1795/*** META ((export #t)
1796           (peephole (infix 2 2 "^")))
1797*/
1798function sc_bitXor(x, y) {
1799    return x ^ y;
1800}
1801
1802/*** META ((export #t)
1803           (peephole (infix 2 2 "<<")))
1804*/
1805function sc_bitLsh(x, y) {
1806    return x << y;
1807}
1808
1809/*** META ((export #t)
1810           (peephole (infix 2 2 ">>")))
1811*/
1812function sc_bitRsh(x, y) {
1813    return x >> y;
1814}
1815
1816/*** META ((export #t)
1817           (peephole (infix 2 2 ">>>")))
1818*/
1819function sc_bitUrsh(x, y) {
1820    return x >>> y;
1821}
1822
1823/*** META ((export js-field js-property)
1824           (peephole (hole 2 o "[" field "]")))
1825*/
1826function sc_jsField(o, field) {
1827    return o[field];
1828}
1829
1830/*** META ((export js-field-set! js-property-set!)
1831           (peephole (hole 3 o "[" field "] = " val)))
1832*/
1833function sc_setJsFieldBang(o, field, val) {
1834    return o[field] = val;
1835}
1836
1837/*** META ((export js-field-delete! js-property-delete!)
1838           (peephole (hole 2 "delete" o "[" field "]")))
1839*/
1840function sc_deleteJsFieldBang(o, field) {
1841    delete o[field];
1842}
1843
1844/*** META ((export #t)
1845           (peephole (jsCall)))
1846*/
1847function sc_jsCall(o, fun) {
1848    var args = new Array();
1849    for (var i = 2; i < arguments.length; i++)
1850	args[i-2] = arguments[i];
1851    return fun.apply(o, args);
1852}
1853
1854/*** META ((export #t)
1855           (peephole (jsMethodCall)))
1856*/
1857function sc_jsMethodCall(o, field) {
1858    var args = new Array();
1859    for (var i = 2; i < arguments.length; i++)
1860	args[i-2] = arguments[i];
1861    return o[field].apply(o, args);
1862}
1863
1864/*** META ((export new js-new)
1865           (peephole (jsNew)))
1866*/
1867function sc_jsNew(c) {
1868    var evalStr = "new c(";
1869    evalStr +=arguments.length > 1? "arguments[1]": "";
1870    for (var i = 2; i < arguments.length; i++)
1871	evalStr += ", arguments[" + i + "]";
1872    evalStr +=")";
1873    return eval(evalStr);
1874}
1875
1876// ======================== RegExp ====================
1877/*** META ((export #t)) */
1878function sc_pregexp(re) {
1879    return new RegExp(sc_string2jsstring(re));
1880}
1881
1882/*** META ((export #t)) */
1883function sc_pregexpMatch(re, s) {
1884    var reg = (re instanceof RegExp) ? re : sc_pregexp(re);
1885    var tmp = reg.exec(sc_string2jsstring(s));
1886
1887    if (tmp == null) return false;
1888
1889    var res = null;
1890    for (var i = tmp.length-1; i >= 0; i--) {
1891	if (tmp[i] !== null) {
1892	    res = sc_cons(sc_jsstring2string(tmp[i]), res);
1893	} else {
1894	    res = sc_cons(false, res);
1895	}
1896    }
1897    return res;
1898}
1899
1900/*** META ((export #t)) */
1901function sc_pregexpReplace(re, s1, s2) {
1902   var reg;
1903   var jss1 = sc_string2jsstring(s1);
1904   var jss2 = sc_string2jsstring(s2);
1905
1906   if (re instanceof RegExp) {
1907       if (re.global)
1908	   reg = re;
1909       else
1910	   reg = new RegExp(re.source);
1911   } else {
1912       reg = new RegExp(sc_string2jsstring(re));
1913   }
1914
1915   return jss1.replace(reg, jss2);
1916}
1917
1918/*** META ((export pregexp-replace*)) */
1919function sc_pregexpReplaceAll(re, s1, s2) {
1920   var reg;
1921   var jss1 = sc_string2jsstring(s1);
1922   var jss2 = sc_string2jsstring(s2);
1923
1924   if (re instanceof RegExp) {
1925      if (re.global)
1926	  reg = re;
1927      else
1928	  reg = new RegExp(re.source, "g");
1929   } else {
1930       reg = new RegExp(sc_string2jsstring(re), "g");
1931   }
1932
1933   return jss1.replace(reg, jss2);
1934}
1935
1936/*** META ((export #t)) */
1937function sc_pregexpSplit(re, s) {
1938   var reg = ((re instanceof RegExp) ?
1939	      re :
1940	      new RegExp(sc_string2jsstring(re)));
1941   var jss = sc_string2jsstring(s);
1942   var tmp = jss.split(reg);
1943
1944   if (tmp == null) return false;
1945
1946   return sc_vector2list(tmp);
1947}
1948
1949
1950/* =========================================================================== */
1951/* Other library stuff */
1952/* =========================================================================== */
1953
1954/*** META ((export #t)
1955           (peephole (hole 1 "Math.floor(Math.random()*" 'n ")")))
1956*/
1957function sc_random(n) {
1958    return Math.floor(Math.random()*n);
1959}
1960
1961/*** META ((export current-date)
1962           (peephole (hole 0 "new Date()")))
1963*/
1964function sc_currentDate() {
1965   return new Date();
1966}
1967
1968function sc_Hashtable() {
1969}
1970sc_Hashtable.prototype.toString = function() {
1971    return "#{%hashtable}";
1972};
1973// sc_toWriteString == sc_toDisplayString == toString
1974
1975function sc_HashtableElement(key, val) {
1976    this.key = key;
1977    this.val = val;
1978}
1979
1980/*** META ((export #t)
1981           (peephole (hole 0 "new sc_Hashtable()")))
1982*/
1983function sc_makeHashtable() {
1984    return new sc_Hashtable();
1985}
1986
1987/*** META ((export #t)) */
1988function sc_hashtablePutBang(ht, key, val) {
1989    var hash = sc_hash(key);
1990    ht[hash] = new sc_HashtableElement(key, val);
1991}
1992
1993/*** META ((export #t)) */
1994function sc_hashtableGet(ht, key) {
1995    var hash = sc_hash(key);
1996    if (hash in ht)
1997	return ht[hash].val;
1998    else
1999	return false;
2000}
2001
2002/*** META ((export #t)) */
2003function sc_hashtableForEach(ht, f) {
2004    for (var v in ht) {
2005	if (ht[v] instanceof sc_HashtableElement)
2006	    f(ht[v].key, ht[v].val);
2007    }
2008}
2009
2010/*** META ((export hashtable-contains?)
2011           (peephole (hole 2 "sc_hash(" 1 ") in " 0)))
2012*/
2013function sc_hashtableContains(ht, key) {
2014    var hash = sc_hash(key);
2015    if (hash in ht)
2016	return true;
2017    else
2018	return false;
2019}
2020
2021var SC_HASH_COUNTER = 0;
2022
2023function sc_hash(o) {
2024    if (o === null)
2025	return "null";
2026    else if (o === undefined)
2027	return "undefined";
2028    else if (o === true)
2029	return "true";
2030    else if (o === false)
2031	return "false";
2032    else if (typeof o === "number")
2033	return "num-" + o;
2034    else if (typeof o === "string")
2035	return "jsstr-" + o;
2036    else if (o.sc_getHash)
2037	return o.sc_getHash();
2038    else
2039	return sc_counterHash.call(o);
2040}
2041function sc_counterHash() {
2042    if (!this.sc_hash) {
2043	this.sc_hash = "hash-" + SC_HASH_COUNTER;
2044	SC_HASH_COUNTER++;
2045    }
2046    return this.sc_hash;
2047}
2048
2049function sc_Trampoline(args, maxTailCalls) {
2050    this['__trampoline return__'] = true;
2051    this.args = args;
2052    this.MAX_TAIL_CALLs = maxTailCalls;
2053}
2054// TODO: call/cc stuff
2055sc_Trampoline.prototype.restart = function() {
2056    var o = this;
2057    while (true) {
2058	// set both globals.
2059	SC_TAIL_OBJECT.calls = o.MAX_TAIL_CALLs-1;
2060	var fun = o.args.callee;
2061	var res = fun.apply(SC_TAIL_OBJECT, o.args);
2062	if (res instanceof sc_Trampoline)
2063	    o = res;
2064	else
2065	    return res;
2066    }
2067}
2068
2069/*** META ((export bind-exit-lambda)) */
2070function sc_bindExitLambda(proc) {
2071    var escape_obj = new sc_BindExitException();
2072    var escape = function(res) {
2073	escape_obj.res = res;
2074	throw escape_obj;
2075    };
2076    try {
2077	return proc(escape);
2078    } catch(e) {
2079	if (e === escape_obj) {
2080	    return e.res;
2081	}
2082	throw e;
2083    }
2084}
2085function sc_BindExitException() {
2086    this._internalException = true;
2087}
2088
2089var SC_SCM2JS_GLOBALS = new Object();
2090
2091// default tail-call depth.
2092// normally the program should set it again. but just in case...
2093var SC_TAIL_OBJECT = new Object();
2094SC_SCM2JS_GLOBALS.TAIL_OBJECT = SC_TAIL_OBJECT;
2095// ======================== I/O =======================
2096
2097/*------------------------------------------------------------------*/
2098
2099function sc_EOF() {
2100}
2101var SC_EOF_OBJECT = new sc_EOF();
2102
2103function sc_Port() {
2104}
2105
2106/* --------------- Input ports -------------------------------------*/
2107
2108function sc_InputPort() {
2109}
2110sc_InputPort.prototype = new sc_Port();
2111
2112sc_InputPort.prototype.peekChar = function() {
2113    if (!("peeked" in this))
2114	this.peeked = this.getNextChar();
2115    return this.peeked;
2116}
2117sc_InputPort.prototype.readChar = function() {
2118    var tmp = this.peekChar();
2119    delete this.peeked;
2120    return tmp;
2121}
2122sc_InputPort.prototype.isCharReady = function() {
2123    return true;
2124}
2125sc_InputPort.prototype.close = function() {
2126    // do nothing
2127}
2128
2129/* .............. String port ..........................*/
2130function sc_ErrorInputPort() {
2131};
2132sc_ErrorInputPort.prototype = new sc_InputPort();
2133sc_ErrorInputPort.prototype.getNextChar = function() {
2134    throw "can't read from error-port.";
2135};
2136sc_ErrorInputPort.prototype.isCharReady = function() {
2137    return false;
2138};
2139
2140
2141/* .............. String port ..........................*/
2142
2143function sc_StringInputPort(jsStr) {
2144    // we are going to do some charAts on the str.
2145    // instead of recreating all the time a String-object, we
2146    // create one in the beginning. (not sure, if this is really an optim)
2147    this.str = new String(jsStr);
2148    this.pos = 0;
2149}
2150sc_StringInputPort.prototype = new sc_InputPort();
2151sc_StringInputPort.prototype.getNextChar = function() {
2152    if (this.pos >= this.str.length)
2153	return SC_EOF_OBJECT;
2154    return this.str.charAt(this.pos++);
2155};
2156
2157/* ------------- Read and other lib-funs  -------------------------------*/
2158function sc_Token(type, val, pos) {
2159    this.type = type;
2160    this.val = val;
2161    this.pos = pos;
2162}
2163sc_Token.EOF = 0/*EOF*/;
2164sc_Token.OPEN_PAR = 1/*OPEN_PAR*/;
2165sc_Token.CLOSE_PAR = 2/*CLOSE_PAR*/;
2166sc_Token.OPEN_BRACE = 3/*OPEN_BRACE*/;
2167sc_Token.CLOSE_BRACE = 4/*CLOSE_BRACE*/;
2168sc_Token.OPEN_BRACKET = 5/*OPEN_BRACKET*/;
2169sc_Token.CLOSE_BRACKET = 6/*CLOSE_BRACKET*/;
2170sc_Token.WHITESPACE = 7/*WHITESPACE*/;
2171sc_Token.QUOTE = 8/*QUOTE*/;
2172sc_Token.ID = 9/*ID*/;
2173sc_Token.DOT = 10/*DOT*/;
2174sc_Token.STRING = 11/*STRING*/;
2175sc_Token.NUMBER = 12/*NUMBER*/;
2176sc_Token.ERROR = 13/*ERROR*/;
2177sc_Token.VECTOR_BEGIN = 14/*VECTOR_BEGIN*/;
2178sc_Token.TRUE = 15/*TRUE*/;
2179sc_Token.FALSE = 16/*FALSE*/;
2180sc_Token.UNSPECIFIED = 17/*UNSPECIFIED*/;
2181sc_Token.REFERENCE = 18/*REFERENCE*/;
2182sc_Token.STORE = 19/*STORE*/;
2183sc_Token.CHAR = 20/*CHAR*/;
2184
2185var SC_ID_CLASS = SC_LOWER_CLASS + SC_UPPER_CLASS + "!$%*+-./:<=>?@^_~";
2186function sc_Tokenizer(port) {
2187    this.port = port;
2188}
2189sc_Tokenizer.prototype.peekToken = function() {
2190    if (this.peeked)
2191	return this.peeked;
2192    var newToken = this.nextToken();
2193    this.peeked = newToken;
2194    return newToken;
2195};
2196sc_Tokenizer.prototype.readToken = function() {
2197    var tmp = this.peekToken();
2198    delete this.peeked;
2199    return tmp;
2200};
2201sc_Tokenizer.prototype.nextToken = function() {
2202    var port = this.port;
2203
2204    function isNumberChar(c) {
2205	return (c >= "0" && c <= "9");
2206    };
2207    function isIdOrNumberChar(c) {
2208	return SC_ID_CLASS.indexOf(c) != -1 || // ID-char
2209	    (c >= "0" && c <= "9");
2210    }
2211    function isWhitespace(c) {
2212	return c === " " || c === "\r" || c === "\n" || c === "\t" || c === "\f";
2213    };
2214    function isWhitespaceOrEOF(c) {
2215	return isWhitespace(c) || c === SC_EOF_OBJECT;
2216    };
2217
2218    function readString() {
2219	res = "";
2220	while (true) {
2221	    var c = port.readChar();
2222	    switch (c) {
2223	    case '"':
2224		return new sc_Token(11/*STRING*/, res);
2225	    case "\\":
2226		var tmp = port.readChar();
2227		switch (tmp) {
2228		case '0': res += "\0"; break;
2229		case 'a': res += "\a"; break;
2230		case 'b': res += "\b"; break;
2231		case 'f': res += "\f"; break;
2232		case 'n': res += "\n"; break;
2233		case 'r': res += "\r"; break;
2234		case 't': res += "\t"; break;
2235		case 'v': res += "\v"; break;
2236		case '"': res += '"'; break;
2237		case '\\': res += '\\'; break;
2238		case 'x':
2239		    /* hexa-number */
2240		    var nb = 0;
2241		    while (true) {
2242			var hexC = port.peekChar();
2243			if (hexC >= '0' && hexC <= '9') {
2244			    port.readChar();
2245			    nb = nb * 16 + hexC.charCodeAt(0) - '0'.charCodeAt(0);
2246			} else if (hexC >= 'a' && hexC <= 'f') {
2247			    port.readChar();
2248			    nb = nb * 16 + hexC.charCodeAt(0) - 'a'.charCodeAt(0);
2249			} else if (hexC >= 'A' && hexC <= 'F') {
2250			    port.readChar();
2251			    nb = nb * 16 + hexC.charCodeAt(0) - 'A'.charCodeAt(0);
2252			} else {
2253			    // next char isn't part of hex.
2254			    res += String.fromCharCode(nb);
2255			    break;
2256			}
2257		    }
2258		    break;
2259		default:
2260		    if (tmp === SC_EOF_OBJECT) {
2261			return new sc_Token(13/*ERROR*/, "unclosed string-literal" + res);
2262		    }
2263		    res += tmp;
2264		}
2265		break;
2266	    default:
2267		if (c === SC_EOF_OBJECT) {
2268		    return new sc_Token(13/*ERROR*/, "unclosed string-literal" + res);
2269		}
2270		res += c;
2271	    }
2272	}
2273    };
2274    function readIdOrNumber(firstChar) {
2275	var res = firstChar;
2276	while (isIdOrNumberChar(port.peekChar()))
2277	    res += port.readChar();
2278	if (isNaN(res))
2279	    return new sc_Token(9/*ID*/, res);
2280	else
2281	    return new sc_Token(12/*NUMBER*/, res - 0);
2282    };
2283
2284    function skipWhitespaceAndComments() {
2285	var done = false;
2286	while (!done) {
2287	    done = true;
2288	    while (isWhitespace(port.peekChar()))
2289		port.readChar();
2290	    if (port.peekChar() === ';') {
2291		port.readChar();
2292		done = false;
2293		while (true) {
2294		    curChar = port.readChar();
2295		    if (curChar === SC_EOF_OBJECT ||
2296			curChar === '\n')
2297			break;
2298		}
2299	    }
2300	}
2301    };
2302
2303    function readDot() {
2304	if (isWhitespace(port.peekChar()))
2305	    return new sc_Token(10/*DOT*/);
2306	else
2307	    return readIdOrNumber(".");
2308    };
2309
2310    function readSharp() {
2311	var c = port.readChar();
2312	if (isWhitespace(c))
2313	    return new sc_Token(13/*ERROR*/, "bad #-pattern0.");
2314
2315	// reference
2316	if (isNumberChar(c)) {
2317	    var nb = c - 0;
2318	    while (isNumberChar(port.peekChar()))
2319		nb = nb*10 + (port.readChar() - 0);
2320	    switch (port.readChar()) {
2321	    case '#':
2322		return new sc_Token(18/*REFERENCE*/, nb);
2323	    case '=':
2324		return new sc_Token(19/*STORE*/, nb);
2325	    default:
2326		return new sc_Token(13/*ERROR*/, "bad #-pattern1." + nb);
2327	    }
2328	}
2329
2330	if (c === "(")
2331	    return new sc_Token(14/*VECTOR_BEGIN*/);
2332
2333	if (c === "\\") { // character
2334	    var tmp = ""
2335	    while (!isWhitespaceOrEOF(port.peekChar()))
2336		tmp += port.readChar();
2337	    switch (tmp.length) {
2338	    case 0: // it's escaping a whitespace char:
2339		if (sc_isEOFObject(port.peekChar))
2340		    return new sc_Token(13/*ERROR*/, "bad #-pattern2.");
2341		else
2342		    return new sc_Token(20/*CHAR*/, port.readChar());
2343	    case 1:
2344		return new sc_Token(20/*CHAR*/, tmp);
2345	    default:
2346		var entry = sc_Char.readable2char[tmp.toLowerCase()];
2347		if (entry)
2348		    return new sc_Token(20/*CHAR*/, entry);
2349		else
2350		    return new sc_Token(13/*ERROR*/, "unknown character description: #\\" + tmp);
2351	    }
2352	}
2353
2354	// some constants (#t, #f, #unspecified)
2355	var res;
2356	var needing;
2357	switch (c) {
2358	case 't': res = new sc_Token(15/*TRUE*/, true); needing = ""; break;
2359	case 'f': res = new sc_Token(16/*FALSE*/, false); needing = ""; break;
2360	case 'u': res = new sc_Token(17/*UNSPECIFIED*/, undefined); needing = "nspecified"; break;
2361	default:
2362	    return new sc_Token(13/*ERROR*/, "bad #-pattern3: " + c);
2363	}
2364	while(true) {
2365	    c = port.peekChar();
2366	    if ((isWhitespaceOrEOF(c) || c === ')') &&
2367		needing == "")
2368		return res;
2369	    else if (isWhitespace(c) || needing == "")
2370		return new sc_Token(13/*ERROR*/, "bad #-pattern4 " + c + " " + needing);
2371	    else if (needing.charAt(0) == c) {
2372		port.readChar(); // consume
2373		needing = needing.slice(1);
2374	    } else
2375		return new sc_Token(13/*ERROR*/, "bad #-pattern5");
2376	}
2377
2378    };
2379
2380    skipWhitespaceAndComments();
2381    var curChar = port.readChar();
2382    if (curChar === SC_EOF_OBJECT)
2383	return new sc_Token(0/*EOF*/, curChar);
2384    switch (curChar)
2385    {
2386    case " ":
2387    case "\n":
2388    case "\t":
2389	return readWhitespace();
2390    case "(":
2391	return new sc_Token(1/*OPEN_PAR*/);
2392    case ")":
2393	return new sc_Token(2/*CLOSE_PAR*/);
2394    case "{":
2395	return new sc_Token(3/*OPEN_BRACE*/);
2396    case "}":
2397	return new sc_Token(4/*CLOSE_BRACE*/);
2398    case "[":
2399	return new sc_Token(5/*OPEN_BRACKET*/);
2400    case "]":
2401	return new sc_Token(6/*CLOSE_BRACKET*/);
2402    case "'":
2403	return new sc_Token(8/*QUOTE*/);
2404    case "#":
2405	return readSharp();
2406    case ".":
2407	return readDot();
2408    case '"':
2409	return readString();
2410    default:
2411	if (isIdOrNumberChar(curChar))
2412	    return readIdOrNumber(curChar);
2413	throw "unexpected character: " + curChar;
2414    }
2415};
2416
2417function sc_Reader(tokenizer) {
2418    this.tokenizer = tokenizer;
2419    this.backref = new Array();
2420}
2421sc_Reader.prototype.read = function() {
2422    function readList(listBeginType) {
2423	function matchesPeer(open, close) {
2424	    return open === 1/*OPEN_PAR*/ && close === 2/*CLOSE_PAR*/
2425	    	|| open === 3/*OPEN_BRACE*/ && close === 4/*CLOSE_BRACE*/
2426		|| open === 5/*OPEN_BRACKET*/ && close === 6/*CLOSE_BRACKET*/;
2427	};
2428	var res = null;
2429
2430	while (true) {
2431	    var token = tokenizer.peekToken();
2432
2433	    switch (token.type) {
2434	    case 2/*CLOSE_PAR*/:
2435	    case 4/*CLOSE_BRACE*/:
2436	    case 6/*CLOSE_BRACKET*/:
2437		if (matchesPeer(listBeginType, token.type)) {
2438		    tokenizer.readToken(); // consume token
2439		    return sc_reverseBang(res);
2440		} else
2441		    throw "closing par doesn't match: " + listBeginType
2442			+ " " + listEndType;
2443
2444	    case 0/*EOF*/:
2445		throw "unexpected end of file";
2446
2447	    case 10/*DOT*/:
2448		tokenizer.readToken(); // consume token
2449		var cdr = this.read();
2450		var par = tokenizer.readToken();
2451		if (!matchesPeer(listBeginType, par.type))
2452		    throw "closing par doesn't match: " + listBeginType
2453			+ " " + par.type;
2454		else
2455		    return sc_reverseAppendBang(res, cdr);
2456
2457
2458	    default:
2459		res = sc_cons(this.read(), res);
2460	    }
2461	}
2462    };
2463    function readQuote() {
2464	return sc_cons("quote", sc_cons(this.read(), null));
2465    };
2466    function readVector() {
2467	// opening-parenthesis is already consumed
2468	var a = new Array();
2469	while (true) {
2470	    var token = tokenizer.peekToken();
2471	    switch (token.type) {
2472	    case 2/*CLOSE_PAR*/:
2473		tokenizer.readToken();
2474		return a;
2475
2476	    default:
2477		a.push(this.read());
2478	    }
2479	}
2480    };
2481
2482    function storeRefence(nb) {
2483	var tmp = this.read();
2484	this.backref[nb] = tmp;
2485	return tmp;
2486    };
2487
2488    function readReference(nb) {
2489	if (nb in this.backref)
2490	    return this.backref[nb];
2491	else
2492	    throw "bad reference: " + nb;
2493    };
2494
2495    var tokenizer = this.tokenizer;
2496
2497    var token = tokenizer.readToken();
2498
2499    // handle error
2500    if (token.type === 13/*ERROR*/)
2501	throw token.val;
2502
2503    switch (token.type) {
2504    case 1/*OPEN_PAR*/:
2505    case 3/*OPEN_BRACE*/:
2506    case 5/*OPEN_BRACKET*/:
2507	return readList.call(this, token.type);
2508    case 8/*QUOTE*/:
2509	return readQuote.call(this);
2510    case 11/*STRING*/:
2511	return sc_jsstring2string(token.val);
2512    case 20/*CHAR*/:
2513	return new sc_Char(token.val);
2514    case 14/*VECTOR_BEGIN*/:
2515	return readVector.call(this);
2516    case 18/*REFERENCE*/:
2517	return readReference.call(this, token.val);
2518    case 19/*STORE*/:
2519	return storeRefence.call(this, token.val);
2520    case 9/*ID*/:
2521	return sc_jsstring2symbol(token.val);
2522    case 0/*EOF*/:
2523    case 12/*NUMBER*/:
2524    case 15/*TRUE*/:
2525    case 16/*FALSE*/:
2526    case 17/*UNSPECIFIED*/:
2527	return token.val;
2528    default:
2529	throw "unexpected token " + token.type + " " + token.val;
2530    }
2531};
2532
2533/*** META ((export #t)) */
2534function sc_read(port) {
2535    if (port === undefined) // we assume the port hasn't been given.
2536	port = SC_DEFAULT_IN; // THREAD: shared var...
2537    var reader = new sc_Reader(new sc_Tokenizer(port));
2538    return reader.read();
2539}
2540/*** META ((export #t)) */
2541function sc_readChar(port) {
2542    if (port === undefined) // we assume the port hasn't been given.
2543	port = SC_DEFAULT_IN; // THREAD: shared var...
2544    var t = port.readChar();
2545    return t === SC_EOF_OBJECT? t: new sc_Char(t);
2546}
2547/*** META ((export #t)) */
2548function sc_peekChar(port) {
2549    if (port === undefined) // we assume the port hasn't been given.
2550	port = SC_DEFAULT_IN; // THREAD: shared var...
2551    var t = port.peekChar();
2552    return t === SC_EOF_OBJECT? t: new sc_Char(t);
2553}
2554/*** META ((export #t)
2555           (type bool))
2556*/
2557function sc_isCharReady(port) {
2558    if (port === undefined) // we assume the port hasn't been given.
2559	port = SC_DEFAULT_IN; // THREAD: shared var...
2560    return port.isCharReady();
2561}
2562/*** META ((export #t)
2563           (peephole (postfix ".close()")))
2564*/
2565function sc_closeInputPort(p) {
2566    return p.close();
2567}
2568
2569/*** META ((export #t)
2570           (type bool)
2571           (peephole (postfix " instanceof sc_InputPort")))
2572*/
2573function sc_isInputPort(o) {
2574    return (o instanceof sc_InputPort);
2575}
2576
2577/*** META ((export eof-object?)
2578           (type bool)
2579           (peephole (postfix " === SC_EOF_OBJECT")))
2580*/
2581function sc_isEOFObject(o) {
2582    return o === SC_EOF_OBJECT;
2583}
2584
2585/*** META ((export #t)
2586           (peephole (hole 0 "SC_DEFAULT_IN")))
2587*/
2588function sc_currentInputPort() {
2589    return SC_DEFAULT_IN;
2590}
2591
2592/* ------------ file operations are not supported -----------*/
2593/*** META ((export #t)) */
2594function sc_callWithInputFile(s, proc) {
2595    throw "can't open " + s;
2596}
2597
2598/*** META ((export #t)) */
2599function sc_callWithOutputFile(s, proc) {
2600    throw "can't open " + s;
2601}
2602
2603/*** META ((export #t)) */
2604function sc_withInputFromFile(s, thunk) {
2605    throw "can't open " + s;
2606}
2607
2608/*** META ((export #t)) */
2609function sc_withOutputToFile(s, thunk) {
2610    throw "can't open " + s;
2611}
2612
2613/*** META ((export #t)) */
2614function sc_openInputFile(s) {
2615    throw "can't open " + s;
2616}
2617
2618/*** META ((export #t)) */
2619function sc_openOutputFile(s) {
2620    throw "can't open " + s;
2621}
2622
2623/* ----------------------------------------------------------------------------*/
2624/*** META ((export #t)) */
2625function sc_basename(p) {
2626   var i = p.lastIndexOf('/');
2627
2628   if(i >= 0)
2629      return p.substring(i + 1, p.length);
2630   else
2631      return '';
2632}
2633
2634/*** META ((export #t)) */
2635function sc_dirname(p) {
2636   var i = p.lastIndexOf('/');
2637
2638   if(i >= 0)
2639      return p.substring(0, i);
2640   else
2641      return '';
2642}
2643
2644/* ----------------------------------------------------------------------------*/
2645
2646/*** META ((export #t)) */
2647function sc_withInputFromPort(p, thunk) {
2648    try {
2649	var tmp = SC_DEFAULT_IN; // THREAD: shared var.
2650	SC_DEFAULT_IN = p;
2651	return thunk();
2652    } finally {
2653	SC_DEFAULT_IN = tmp;
2654    }
2655}
2656
2657/*** META ((export #t)) */
2658function sc_withInputFromString(s, thunk) {
2659    return sc_withInputFromPort(new sc_StringInputPort(sc_string2jsstring(s)), thunk);
2660}
2661
2662/*** META ((export #t)) */
2663function sc_withOutputToPort(p, thunk) {
2664    try {
2665	var tmp = SC_DEFAULT_OUT; // THREAD: shared var.
2666	SC_DEFAULT_OUT = p;
2667	return thunk();
2668    } finally {
2669	SC_DEFAULT_OUT = tmp;
2670    }
2671}
2672
2673/*** META ((export #t)) */
2674function sc_withOutputToString(thunk) {
2675    var p = new sc_StringOutputPort();
2676    sc_withOutputToPort(p, thunk);
2677    return p.close();
2678}
2679
2680/*** META ((export #t)) */
2681function sc_withOutputToProcedure(proc, thunk) {
2682    var t = function(s) { proc(sc_jsstring2string(s)); };
2683    return sc_withOutputToPort(new sc_GenericOutputPort(t), thunk);
2684}
2685
2686/*** META ((export #t)
2687           (peephole (hole 0 "new sc_StringOutputPort()")))
2688*/
2689function sc_openOutputString() {
2690    return new sc_StringOutputPort();
2691}
2692
2693/*** META ((export #t)) */
2694function sc_openInputString(str) {
2695    return new sc_StringInputPort(sc_string2jsstring(str));
2696}
2697
2698/* ----------------------------------------------------------------------------*/
2699
2700function sc_OutputPort() {
2701}
2702sc_OutputPort.prototype = new sc_Port();
2703sc_OutputPort.prototype.appendJSString = function(obj) {
2704    /* do nothing */
2705}
2706sc_OutputPort.prototype.close = function() {
2707    /* do nothing */
2708}
2709
2710function sc_StringOutputPort() {
2711    this.res = "";
2712}
2713sc_StringOutputPort.prototype = new sc_OutputPort();
2714sc_StringOutputPort.prototype.appendJSString = function(s) {
2715    this.res += s;
2716}
2717sc_StringOutputPort.prototype.close = function() {
2718    return sc_jsstring2string(this.res);
2719}
2720
2721/*** META ((export #t)) */
2722function sc_getOutputString(sp) {
2723    return sc_jsstring2string(sp.res);
2724}
2725
2726
2727function sc_ErrorOutputPort() {
2728}
2729sc_ErrorOutputPort.prototype = new sc_OutputPort();
2730sc_ErrorOutputPort.prototype.appendJSString = function(s) {
2731    throw "don't write on ErrorPort!";
2732}
2733sc_ErrorOutputPort.prototype.close = function() {
2734    /* do nothing */
2735}
2736
2737function sc_GenericOutputPort(appendJSString, close) {
2738    this.appendJSString = appendJSString;
2739    if (close)
2740	this.close = close;
2741}
2742sc_GenericOutputPort.prototype = new sc_OutputPort();
2743
2744/*** META ((export #t)
2745           (type bool)
2746           (peephole (postfix " instanceof sc_OutputPort")))
2747*/
2748function sc_isOutputPort(o) {
2749    return (o instanceof sc_OutputPort);
2750}
2751
2752/*** META ((export #t)
2753           (peephole (postfix ".close()")))
2754*/
2755function sc_closeOutputPort(p) {
2756    return p.close();
2757}
2758
2759/* ------------------ write ---------------------------------------------------*/
2760
2761/*** META ((export #t)) */
2762function sc_write(o, p) {
2763    if (p === undefined) // we assume not given
2764	p = SC_DEFAULT_OUT;
2765    p.appendJSString(sc_toWriteString(o));
2766}
2767
2768function sc_toWriteString(o) {
2769    if (o === null)
2770	return "()";
2771    else if (o === true)
2772	return "#t";
2773    else if (o === false)
2774	return "#f";
2775    else if (o === undefined)
2776	return "#unspecified";
2777    else if (typeof o === 'function')
2778	return "#<procedure " + sc_hash(o) + ">";
2779    else if (o.sc_toWriteString)
2780	return o.sc_toWriteString();
2781    else
2782	return o.toString();
2783}
2784
2785function sc_escapeWriteString(s) {
2786    var res = "";
2787    var j = 0;
2788    for (i = 0; i < s.length; i++) {
2789	switch (s.charAt(i)) {
2790	case "\0": res += s.substring(j, i) + "\\0"; j = i + 1; break;
2791	case "\b": res += s.substring(j, i) + "\\b"; j = i + 1; break;
2792	case "\f": res += s.substring(j, i) + "\\f"; j = i + 1; break;
2793	case "\n": res += s.substring(j, i) + "\\n"; j = i + 1; break;
2794	case "\r": res += s.substring(j, i) + "\\r"; j = i + 1; break;
2795	case "\t": res += s.substring(j, i) + "\\t"; j = i + 1; break;
2796	case "\v": res += s.substring(j, i) + "\\v"; j = i + 1; break;
2797	case '"': res += s.substring(j, i) + '\\"'; j = i + 1; break;
2798	case "\\": res += s.substring(j, i) + "\\\\"; j = i + 1; break;
2799	default:
2800	    var c = s.charAt(i);
2801	    if ("\a" !== "a" && c == "\a") {
2802		res += s.substring(j, i) + "\\a"; j = i + 1; continue;
2803	    }
2804	    if ("\v" !== "v" && c == "\v") {
2805		res += s.substring(j, i) + "\\v"; j = i + 1; continue;
2806	    }
2807	    //if (s.charAt(i) < ' ' || s.charCodeAt(i) > 127) {
2808	    // CARE: Manuel is this OK with HOP?
2809	    if (s.charAt(i) < ' ') {
2810		/* non printable character and special chars */
2811		res += s.substring(j, i) + "\\x" + s.charCodeAt(i).toString(16);
2812		j = i + 1;
2813	    }
2814	    // else just let i increase...
2815	}
2816    }
2817    res += s.substring(j, i);
2818    return res;
2819}
2820
2821/* ------------------ display ---------------------------------------------------*/
2822
2823/*** META ((export #t)) */
2824function sc_display(o, p) {
2825    if (p === undefined) // we assume not given
2826	p = SC_DEFAULT_OUT;
2827    p.appendJSString(sc_toDisplayString(o));
2828}
2829
2830function sc_toDisplayString(o) {
2831    if (o === null)
2832	return "()";
2833    else if (o === true)
2834	return "#t";
2835    else if (o === false)
2836	return "#f";
2837    else if (o === undefined)
2838	return "#unspecified";
2839    else if (typeof o === 'function')
2840	return "#<procedure " + sc_hash(o) + ">";
2841    else if (o.sc_toDisplayString)
2842	return o.sc_toDisplayString();
2843    else
2844	return o.toString();
2845}
2846
2847/* ------------------ newline ---------------------------------------------------*/
2848
2849/*** META ((export #t)) */
2850function sc_newline(p) {
2851    if (p === undefined) // we assume not given
2852	p = SC_DEFAULT_OUT;
2853    p.appendJSString("\n");
2854}
2855
2856/* ------------------ write-char ---------------------------------------------------*/
2857
2858/*** META ((export #t)) */
2859function sc_writeChar(c, p) {
2860    if (p === undefined) // we assume not given
2861	p = SC_DEFAULT_OUT;
2862    p.appendJSString(c.val);
2863}
2864
2865/* ------------------ write-circle ---------------------------------------------------*/
2866
2867/*** META ((export #t)) */
2868function sc_writeCircle(o, p) {
2869    if (p === undefined) // we assume not given
2870	p = SC_DEFAULT_OUT;
2871    p.appendJSString(sc_toWriteCircleString(o));
2872}
2873
2874function sc_toWriteCircleString(o) {
2875    var symb = sc_gensym("writeCircle");
2876    var nbPointer = new Object();
2877    nbPointer.nb = 0;
2878    sc_prepWriteCircle(o, symb, nbPointer);
2879    return sc_genToWriteCircleString(o, symb);
2880}
2881
2882function sc_prepWriteCircle(o, symb, nbPointer) {
2883    // TODO sc_Struct
2884    if (o instanceof sc_Pair ||
2885	o instanceof sc_Vector) {
2886	if (o[symb] !== undefined) {
2887	    // not the first visit.
2888	    o[symb]++;
2889	    // unless there is already a number, assign one.
2890	    if (!o[symb + "nb"]) o[symb + "nb"] = nbPointer.nb++;
2891	    return;
2892	}
2893	o[symb] = 0;
2894	if (o instanceof sc_Pair) {
2895	    sc_prepWriteCircle(o.car, symb, nbPointer);
2896	    sc_prepWriteCircle(o.cdr, symb, nbPointer);
2897	} else {
2898	    for (var i = 0; i < o.length; i++)
2899		sc_prepWriteCircle(o[i], symb, nbPointer);
2900	}
2901    }
2902}
2903
2904function sc_genToWriteCircleString(o, symb) {
2905    if (!(o instanceof sc_Pair ||
2906	  o instanceof sc_Vector))
2907	return sc_toWriteString(o);
2908    return o.sc_toWriteCircleString(symb);
2909}
2910sc_Pair.prototype.sc_toWriteCircleString = function(symb, inList) {
2911    if (this[symb + "use"]) { // use-flag is set. Just use it.
2912	var nb = this[symb + "nb"];
2913	if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2914	    delete this[symb];
2915	    delete this[symb + "nb"];
2916	    delete this[symb + "use"];
2917	}
2918	if (inList)
2919	    return '. #' + nb + '#';
2920	else
2921	    return '#' + nb + '#';
2922    }
2923    if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2924	delete this[symb];
2925	delete this[symb + "nb"];
2926	delete this[symb + "use"];
2927    }
2928
2929    var res = "";
2930
2931    if (this[symb] !== undefined) { // implies > 0
2932	this[symb + "use"] = true;
2933	if (inList)
2934	    res += '. #' + this[symb + "nb"] + '=';
2935	else
2936	    res += '#' + this[symb + "nb"] + '=';
2937	inList = false;
2938    }
2939
2940    if (!inList)
2941	res += "(";
2942
2943    // print car
2944    res += sc_genToWriteCircleString(this.car, symb);
2945
2946    if (sc_isPair(this.cdr)) {
2947	res += " " + this.cdr.sc_toWriteCircleString(symb, true);
2948    } else if (this.cdr !== null) {
2949	res += " . " + sc_genToWriteCircleString(this.cdr, symb);
2950    }
2951    if (!inList)
2952	res += ")";
2953    return res;
2954};
2955sc_Vector.prototype.sc_toWriteCircleString = function(symb) {
2956    if (this[symb + "use"]) { // use-flag is set. Just use it.
2957	var nb = this[symb + "nb"];
2958	if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2959	    delete this[symb];
2960	    delete this[symb + "nb"];
2961	    delete this[symb + "use"];
2962	}
2963	return '#' + nb + '#';
2964    }
2965    if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2966	delete this[symb];
2967	delete this[symb + "nb"];
2968	delete this[symb + "use"];
2969    }
2970
2971    var res = "";
2972    if (this[symb] !== undefined) { // implies > 0
2973	this[symb + "use"] = true;
2974	res += '#' + this[symb + "nb"] + '=';
2975    }
2976    res += "#(";
2977    for (var i = 0; i < this.length; i++) {
2978	res += sc_genToWriteCircleString(this[i], symb);
2979	if (i < this.length - 1) res += " ";
2980    }
2981    res += ")";
2982    return res;
2983};
2984
2985
2986/* ------------------ print ---------------------------------------------------*/
2987
2988/*** META ((export #t)) */
2989function sc_print(s) {
2990    if (arguments.length === 1) {
2991	sc_display(s);
2992	sc_newline();
2993    }
2994    else {
2995	for (var i = 0; i < arguments.length; i++)
2996	    sc_display(arguments[i]);
2997	sc_newline();
2998    }
2999}
3000
3001/* ------------------ format ---------------------------------------------------*/
3002/*** META ((export #t)) */
3003function sc_format(s, args) {
3004   var len = s.length;
3005   var p = new sc_StringOutputPort();
3006   var i = 0, j = 1;
3007
3008   while( i < len ) {
3009      var i2 = s.indexOf("~", i);
3010
3011      if (i2 == -1) {
3012	  p.appendJSString( s.substring( i, len ) );
3013	  return p.close();
3014      } else {
3015	 if (i2 > i) {
3016	    if (i2 == (len - 1)) {
3017		p.appendJSString(s.substring(i, len));
3018		return p.close();
3019	    } else {
3020	       p.appendJSString(s.substring(i, i2));
3021	       i = i2;
3022	    }
3023	 }
3024
3025	 switch(s.charCodeAt(i2 + 1)) {
3026	    case 65:
3027	    case 97:
3028	       // a
3029	       sc_display(arguments[j], p);
3030	       i += 2; j++;
3031	       break;
3032
3033	    case 83:
3034	    case 115:
3035	       // s
3036	       sc_write(arguments[j], p);
3037	       i += 2; j++;
3038	       break;
3039
3040	    case 86:
3041	    case 118:
3042	       // v
3043	       sc_display(arguments[j], p);
3044	       p.appendJSString("\n");
3045	       i += 2; j++;
3046	       break;
3047
3048	    case 67:
3049	    case 99:
3050	       // c
3051	       p.appendJSString(String.fromCharCode(arguments[j]));
3052	       i += 2; j++;
3053	       break;
3054
3055	    case 88:
3056	    case 120:
3057	       // x
3058	       p.appendJSString(arguments[j].toString(6));
3059	       i += 2; j++;
3060	       break;
3061
3062	    case 79:
3063	    case 111:
3064	       // o
3065	       p.appendJSString(arguments[j].toString(8));
3066	       i += 2; j++;
3067	       break;
3068
3069	    case 66:
3070	    case 98:
3071	       // b
3072	       p.appendJSString(arguments[j].toString(2));
3073	       i += 2; j++;
3074	       break;
3075
3076	    case 37:
3077	    case 110:
3078	       // %, n
3079	       p.appendJSString("\n");
3080	       i += 2; break;
3081
3082	    case 114:
3083	       // r
3084	       p.appendJSString("\r");
3085	       i += 2; break;
3086
3087	    case 126:
3088	       // ~
3089	       p.appendJSString("~");
3090	       i += 2; break;
3091
3092	    default:
3093	       sc_error( "format: illegal ~"
3094			 + String.fromCharCode(s.charCodeAt(i2 + 1))
3095			 + " sequence" );
3096	       return "";
3097	 }
3098      }
3099   }
3100
3101   return p.close();
3102}
3103
3104/* ------------------ global ports ---------------------------------------------------*/
3105
3106var SC_DEFAULT_IN = new sc_ErrorInputPort();
3107var SC_DEFAULT_OUT = new sc_ErrorOutputPort();
3108var SC_ERROR_OUT = new sc_ErrorOutputPort();
3109
3110var sc_SYMBOL_PREFIX = "\u1E9C";
3111var sc_KEYWORD_PREFIX = "\u1E9D";
3112
3113/*** META ((export #t)
3114           (peephole (id))) */
3115function sc_jsstring2string(s) {
3116    return s;
3117}
3118
3119/*** META ((export #t)
3120           (peephole (prefix "'\\u1E9C' +")))
3121*/
3122function sc_jsstring2symbol(s) {
3123    return sc_SYMBOL_PREFIX + s;
3124}
3125
3126/*** META ((export #t)
3127           (peephole (id)))
3128*/
3129function sc_string2jsstring(s) {
3130    return s;
3131}
3132
3133/*** META ((export #t)
3134           (peephole (symbol2jsstring_immutable)))
3135*/
3136function sc_symbol2jsstring(s) {
3137    return s.slice(1);
3138}
3139
3140/*** META ((export #t)
3141           (peephole (postfix ".slice(1)")))
3142*/
3143function sc_keyword2jsstring(k) {
3144    return k.slice(1);
3145}
3146
3147/*** META ((export #t)
3148           (peephole (prefix "'\\u1E9D' +")))
3149*/
3150function sc_jsstring2keyword(s) {
3151    return sc_KEYWORD_PREFIX + s;
3152}
3153
3154/*** META ((export #t)
3155           (type bool))
3156*/
3157function sc_isKeyword(s) {
3158    return (typeof s === "string") &&
3159	(s.charAt(0) === sc_KEYWORD_PREFIX);
3160}
3161
3162
3163/*** META ((export #t)) */
3164var sc_gensym = function() {
3165    var counter = 1000;
3166    return function(sym) {
3167	counter++;
3168	if (!sym) sym = sc_SYMBOL_PREFIX;
3169	return sym + "s" + counter + "~" + "^sC-GeNsYm ";
3170    };
3171}();
3172
3173
3174/*** META ((export #t)
3175           (type bool))
3176*/
3177function sc_isEqual(o1, o2) {
3178    return ((o1 === o2) ||
3179	    (sc_isPair(o1) && sc_isPair(o2)
3180	     && sc_isPairEqual(o1, o2, sc_isEqual)) ||
3181	    (sc_isVector(o1) && sc_isVector(o2)
3182	     && sc_isVectorEqual(o1, o2, sc_isEqual)));
3183}
3184
3185/*** META ((export number->symbol integer->symbol)) */
3186function sc_number2symbol(x, radix) {
3187    return sc_SYMBOL_PREFIX + sc_number2jsstring(x, radix);
3188}
3189
3190/*** META ((export number->string integer->string)) */
3191var sc_number2string = sc_number2jsstring;
3192
3193/*** META ((export #t)) */
3194function sc_symbol2number(s, radix) {
3195    return sc_jsstring2number(s.slice(1), radix);
3196}
3197
3198/*** META ((export #t)) */
3199var sc_string2number = sc_jsstring2number;
3200
3201/*** META ((export #t)
3202           (peephole (prefix "+" s)))
3203           ;; peephole will only apply if no radix is given.
3204*/
3205function sc_string2integer(s, radix) {
3206    if (!radix) return +s;
3207    return parseInt(s, radix);
3208}
3209
3210/*** META ((export #t)
3211           (peephole (prefix "+")))
3212*/
3213function sc_string2real(s) {
3214    return +s;
3215}
3216
3217
3218/*** META ((export #t)
3219           (type bool))
3220*/
3221function sc_isSymbol(s) {
3222    return (typeof s === "string") &&
3223	(s.charAt(0) === sc_SYMBOL_PREFIX);
3224}
3225
3226/*** META ((export #t)
3227           (peephole (symbol2string_immutable)))
3228*/
3229function sc_symbol2string(s) {
3230    return s.slice(1);
3231}
3232
3233/*** META ((export #t)
3234           (peephole (prefix "'\\u1E9C' +")))
3235*/
3236function sc_string2symbol(s) {
3237    return sc_SYMBOL_PREFIX + s;
3238}
3239
3240/*** META ((export symbol-append)
3241           (peephole (symbolAppend_immutable)))
3242*/
3243function sc_symbolAppend() {
3244    var res = sc_SYMBOL_PREFIX;
3245    for (var i = 0; i < arguments.length; i++)
3246	res += arguments[i].slice(1);
3247    return res;
3248}
3249
3250/*** META ((export #t)
3251           (peephole (postfix ".val")))
3252*/
3253function sc_char2string(c) { return c.val; }
3254
3255/*** META ((export #t)
3256           (peephole (hole 1 "'\\u1E9C' + " c ".val")))
3257*/
3258function sc_char2symbol(c) { return sc_SYMBOL_PREFIX + c.val; }
3259
3260/*** META ((export #t)
3261           (type bool))
3262*/
3263function sc_isString(s) {
3264    return (typeof s === "string") &&
3265	(s.charAt(0) !== sc_SYMBOL_PREFIX);
3266}
3267
3268/*** META ((export #t)) */
3269var sc_makeString = sc_makejsString;
3270
3271
3272/*** META ((export #t)) */
3273function sc_string() {
3274    for (var i = 0; i < arguments.length; i++)
3275	arguments[i] = arguments[i].val;
3276    return "".concat.apply("", arguments);
3277}
3278
3279/*** META ((export #t)
3280           (peephole (postfix ".length")))
3281*/
3282function sc_stringLength(s) { return s.length; }
3283
3284/*** META ((export #t)) */
3285function sc_stringRef(s, k) {
3286    return new sc_Char(s.charAt(k));
3287}
3288
3289/* there's no stringSet in the immutable version
3290function sc_stringSet(s, k, c)
3291*/
3292
3293
3294/*** META ((export string=?)
3295	   (type bool)
3296           (peephole (hole 2 str1 " === " str2)))
3297*/
3298function sc_isStringEqual(s1, s2) {
3299    return s1 === s2;
3300}
3301/*** META ((export string<?)
3302	   (type bool)
3303           (peephole (hole 2 str1 " < " str2)))
3304*/
3305function sc_isStringLess(s1, s2) {
3306    return s1 < s2;
3307}
3308/*** META ((export string>?)
3309	   (type bool)
3310           (peephole (hole 2 str1 " > " str2)))
3311*/
3312function sc_isStringGreater(s1, s2) {
3313    return s1 > s2;
3314}
3315/*** META ((export string<=?)
3316	   (type bool)
3317           (peephole (hole 2 str1 " <= " str2)))
3318*/
3319function sc_isStringLessEqual(s1, s2) {
3320    return s1 <= s2;
3321}
3322/*** META ((export string>=?)
3323	   (type bool)
3324           (peephole (hole 2 str1 " >= " str2)))
3325*/
3326function sc_isStringGreaterEqual(s1, s2) {
3327    return s1 >= s2;
3328}
3329/*** META ((export string-ci=?)
3330	   (type bool)
3331           (peephole (hole 2 str1 ".toLowerCase() === " str2 ".toLowerCase()")))
3332*/
3333function sc_isStringCIEqual(s1, s2) {
3334    return s1.toLowerCase() === s2.toLowerCase();
3335}
3336/*** META ((export string-ci<?)
3337	   (type bool)
3338           (peephole (hole 2 str1 ".toLowerCase() < " str2 ".toLowerCase()")))
3339*/
3340function sc_isStringCILess(s1, s2) {
3341    return s1.toLowerCase() < s2.toLowerCase();
3342}
3343/*** META ((export string-ci>?)
3344	   (type bool)
3345           (peephole (hole 2 str1 ".toLowerCase() > " str2 ".toLowerCase()")))
3346*/
3347function sc_isStringCIGreater(s1, s2) {
3348    return s1.toLowerCase() > s2.toLowerCase();
3349}
3350/*** META ((export string-ci<=?)
3351	   (type bool)
3352           (peephole (hole 2 str1 ".toLowerCase() <= " str2 ".toLowerCase()")))
3353*/
3354function sc_isStringCILessEqual(s1, s2) {
3355    return s1.toLowerCase() <= s2.toLowerCase();
3356}
3357/*** META ((export string-ci>=?)
3358	   (type bool)
3359           (peephole (hole 2 str1 ".toLowerCase() >= " str2 ".toLowerCase()")))
3360*/
3361function sc_isStringCIGreaterEqual(s1, s2) {
3362    return s1.toLowerCase() >= s2.toLowerCase();
3363}
3364
3365/*** META ((export #t)
3366           (peephole (hole 3 s ".substring(" start ", " end ")")))
3367*/
3368function sc_substring(s, start, end) {
3369    return s.substring(start, end);
3370}
3371
3372/*** META ((export #t))
3373*/
3374function sc_isSubstring_at(s1, s2, i) {
3375    return s2 == s1.substring(i, i+ s2.length);
3376}
3377
3378/*** META ((export #t)
3379           (peephole (infix 0 #f "+" "''")))
3380*/
3381function sc_stringAppend() {
3382    return "".concat.apply("", arguments);
3383}
3384
3385/*** META ((export #t)) */
3386var sc_string2list = sc_jsstring2list;
3387
3388/*** META ((export #t)) */
3389var sc_list2string = sc_list2jsstring;
3390
3391/*** META ((export #t)
3392           (peephole (id)))
3393*/
3394function sc_stringCopy(s) {
3395    return s;
3396}
3397
3398/* there's no string-fill in the immutable version
3399function sc_stringFill(s, c)
3400*/
3401
3402/*** META ((export #t)
3403           (peephole (postfix ".slice(1)")))
3404*/
3405function sc_keyword2string(o) {
3406    return o.slice(1);
3407}
3408
3409/*** META ((export #t)
3410           (peephole (prefix "'\\u1E9D' +")))
3411*/
3412function sc_string2keyword(o) {
3413    return sc_KEYWORD_PREFIX + o;
3414}
3415
3416String.prototype.sc_toDisplayString = function() {
3417    if (this.charAt(0) === sc_SYMBOL_PREFIX)
3418	// TODO: care for symbols with spaces (escape-chars symbols).
3419	return this.slice(1);
3420    else if (this.charAt(0) === sc_KEYWORD_PREFIX)
3421	return ":" + this.slice(1);
3422    else
3423	return this.toString();
3424};
3425
3426String.prototype.sc_toWriteString = function() {
3427    if (this.charAt(0) === sc_SYMBOL_PREFIX)
3428	// TODO: care for symbols with spaces (escape-chars symbols).
3429	return this.slice(1);
3430    else if (this.charAt(0) === sc_KEYWORD_PREFIX)
3431	return ":" + this.slice(1);
3432    else
3433	return '"' + sc_escapeWriteString(this) + '"';
3434};
3435/* Exported Variables */
3436var BgL_testzd2boyerzd2;
3437var BgL_nboyerzd2benchmarkzd2;
3438var BgL_setupzd2boyerzd2;
3439/* End Exports */
3440
3441var translate_term_nboyer;
3442var translate_args_nboyer;
3443var untranslate_term_nboyer;
3444var BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer;
3445var BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer;
3446var translate_alist_nboyer;
3447var apply_subst_nboyer;
3448var apply_subst_lst_nboyer;
3449var tautologyp_nboyer;
3450var if_constructor_nboyer;
3451var rewrite_count_nboyer;
3452var rewrite_nboyer;
3453var rewrite_args_nboyer;
3454var unify_subst_nboyer;
3455var one_way_unify1_nboyer;
3456var false_term_nboyer;
3457var true_term_nboyer;
3458var trans_of_implies1_nboyer;
3459var is_term_equal_nboyer;
3460var is_term_member_nboyer;
3461var const_nboyer;
3462var sc_const_3_nboyer;
3463var sc_const_4_nboyer;
3464{
3465    (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)))))));
3466    (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))))))));
3467    (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)))))))))));
3468    BgL_nboyerzd2benchmarkzd2 = function() {
3469        var args = null;
3470        for (var sc_tmp = arguments.length - 1; sc_tmp >= 0; sc_tmp--) {
3471            args = sc_cons(arguments[sc_tmp], args);
3472        }
3473        var n;
3474        return ((n = ((args === null)?(0):(args.car))), (BgL_setupzd2boyerzd2()), (BgL_runzd2benchmarkzd2(("nboyer"+(sc_number2string(n))), (1), function() {
3475            return (BgL_testzd2boyerzd2(n));
3476        }, function(rewrites) {
3477            if ((sc_isNumber(rewrites)))
3478                switch (n) {
3479                case (0):
3480                    return (rewrites===(95024));
3481                    break;
3482                case (1):
3483                    return (rewrites===(591777));
3484                    break;
3485                case (2):
3486                    return (rewrites===(1813975));
3487                    break;
3488                case (3):
3489                    return (rewrites===(5375678));
3490                    break;
3491                case (4):
3492                    return (rewrites===(16445406));
3493                    break;
3494                case (5):
3495                    return (rewrites===(51507739));
3496                    break;
3497                default:
3498                    return true;
3499                    break;
3500                }
3501            else
3502                return false;
3503        })));
3504    };
3505    BgL_setupzd2boyerzd2 = function() {
3506        return true;
3507    };
3508    BgL_testzd2boyerzd2 = function() {
3509        return true;
3510    };
3511    translate_term_nboyer = function(term) {
3512        var lst;
3513        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))))))))));
3514    };
3515    translate_args_nboyer = function(lst) {
3516        var sc_lst_5;
3517        var term;
3518        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))))))))));
3519    };
3520    untranslate_term_nboyer = function(term) {
3521        var optrOpnd;
3522        var tail1131;
3523        var L1127;
3524        var falseHead1130;
3525        var symbol_record;
3526        if (!(term instanceof sc_Pair))
3527            return term;
3528        else
3529            {
3530                (falseHead1130 = (new sc_Pair(null, null)));
3531                (L1127 = (term.cdr));
3532                (tail1131 = falseHead1130);
3533                while (!(L1127 === null)) {
3534                    {
3535                        (tail1131.cdr = (new sc_Pair((untranslate_term_nboyer((L1127.car))), null)));
3536                        (tail1131 = (tail1131.cdr));
3537                        (L1127 = (L1127.cdr));
3538                    }
3539                }
3540                (optrOpnd = (falseHead1130.cdr));
3541                return (new sc_Pair(((symbol_record = (term.car)), (symbol_record[(0)])), optrOpnd));
3542            }
3543    };
3544    BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer = function(sym) {
3545        var r;
3546        var x;
3547        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)));
3548    };
3549    (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null);
3550    translate_alist_nboyer = function(alist) {
3551        var sc_alist_6;
3552        var term;
3553        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))))))))));
3554    };
3555    apply_subst_nboyer = function(alist, term) {
3556        var lst;
3557        var temp_temp;
3558        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))))))))));
3559    };
3560    apply_subst_lst_nboyer = function(alist, lst) {
3561        var sc_lst_7;
3562        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))))))))));
3563    };
3564    tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) {
3565        var tmp1125;
3566        var x;
3567        var tmp1126;
3568        var sc_x_8;
3569        var sc_tmp1125_9;
3570        var sc_tmp1126_10;
3571        var sc_x_11;
3572        var true_lst;
3573        var false_lst;
3574        while (true) {
3575            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))
3576                return true;
3577            else
3578                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))
3579                    return false;
3580                else
3581                    if (!(sc_x_11 instanceof sc_Pair))
3582                        return false;
3583                    else
3584                        if (((sc_x_11.car)===if_constructor_nboyer))
3585                            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))
3586                                (sc_x_11 = (sc_x_11.cdr.cdr.car));
3587                            else
3588                                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))
3589                                    (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3590                                else
3591                                    if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_lst))!== false))
3592                                        {
3593                                            (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst)));
3594                                            (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3595                                        }
3596                                    else
3597                                        return false;
3598                        else
3599                            return false;
3600        }
3601    };
3602    (if_constructor_nboyer = "\u1E9C*");
3603    (rewrite_count_nboyer = (0));
3604    rewrite_nboyer = function(term) {
3605        var term2;
3606        var sc_term_12;
3607        var lst;
3608        var symbol_record;
3609        var sc_lst_13;
3610        {
3611            (++rewrite_count_nboyer);
3612            if (!(term instanceof sc_Pair))
3613                return term;
3614            else
3615                {
3616                    (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))))))))));
3617                    (lst = ((symbol_record = (term.car)), (symbol_record[(1)])));
3618                    while (true) {
3619                        if ((lst === null))
3620                            return sc_term_12;
3621                        else
3622                            if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12, term2)))!== false))
3623                                return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3624                            else
3625                                (lst = (lst.cdr));
3626                    }
3627                }
3628        }
3629    };
3630    rewrite_args_nboyer = function(lst) {
3631        var sc_lst_14;
3632        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))))))))));
3633    };
3634    (unify_subst_nboyer = "\u1E9C*");
3635    one_way_unify1_nboyer = function(term1, term2) {
3636        var lst1;
3637        var lst2;
3638        var temp_temp;
3639        if (!(term2 instanceof sc_Pair))
3640            {
3641                (temp_temp = (sc_assq(term2, unify_subst_nboyer)));
3642                if ((temp_temp!== false))
3643                    return (is_term_equal_nboyer(term1, (temp_temp.cdr)));
3644                else
3645                    if ((sc_isNumber(term2)))
3646                        return (sc_isEqual(term1, term2));
3647                    else
3648                        {
3649                            (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));
3650                            return true;
3651                        }
3652            }
3653        else
3654            if (!(term1 instanceof sc_Pair))
3655                return false;
3656            else
3657                if (((term1.car)===(term2.car)))
3658                    {
3659                        (lst1 = (term1.cdr));
3660                        (lst2 = (term2.cdr));
3661                        while (true) {
3662                            if ((lst1 === null))
3663                                return (lst2 === null);
3664                            else
3665                                if ((lst2 === null))
3666                                    return false;
3667                                else
3668                                    if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))
3669                                        {
3670                                            (lst1 = (lst1.cdr));
3671                                            (lst2 = (lst2.cdr));
3672                                        }
3673                                    else
3674                                        return false;
3675                        }
3676                    }
3677                else
3678                    return false;
3679    };
3680    (false_term_nboyer = "\u1E9C*");
3681    (true_term_nboyer = "\u1E9C*");
3682    trans_of_implies1_nboyer = function(n) {
3683        var sc_n_15;
3684        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)))))))))));
3685    };
3686    is_term_equal_nboyer = function(x, y) {
3687        var lst1;
3688        var lst2;
3689        var r2;
3690        var r1;
3691        if ((x instanceof sc_Pair))
3692            if ((y instanceof sc_Pair))
3693                if ((((r1 = (x.car)), (r2 = (y.car)), (r1===r2))!== false))
3694                    {
3695                        (lst1 = (x.cdr));
3696                        (lst2 = (y.cdr));
3697                        while (true) {
3698                            if ((lst1 === null))
3699                                return (lst2 === null);
3700                            else
3701                                if ((lst2 === null))
3702                                    return false;
3703                                else
3704                                    if (((is_term_equal_nboyer((lst1.car), (lst2.car)))!== false))
3705                                        {
3706                                            (lst1 = (lst1.cdr));
3707                                            (lst2 = (lst2.cdr));
3708                                        }
3709                                    else
3710                                        return false;
3711                        }
3712                    }
3713                else
3714                    return false;
3715            else
3716                return false;
3717        else
3718            return (sc_isEqual(x, y));
3719    };
3720    is_term_member_nboyer = function(x, lst) {
3721        var x;
3722        var lst;
3723        while (true) {
3724            if ((lst === null))
3725                return false;
3726            else
3727                if (((is_term_equal_nboyer(x, (lst.car)))!== false))
3728                    return true;
3729                else
3730                    (lst = (lst.cdr));
3731        }
3732    };
3733    BgL_setupzd2boyerzd2 = function() {
3734        var symbol_record;
3735        var value;
3736        var BgL_sc_symbolzd2record_16zd2;
3737        var sym;
3738        var sc_sym_17;
3739        var term;
3740        var lst;
3741        var sc_term_18;
3742        var sc_term_19;
3743        {
3744            (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null);
3745            (if_constructor_nboyer = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer("\u1E9Cif")));
3746            (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))))))));
3747            (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))))))));
3748            (lst = sc_const_3_nboyer);
3749            while (!(lst === null)) {
3750                {
3751                    (term = (lst.car));
3752                    if (((term instanceof sc_Pair)&&(((term.car)==="\u1E9Cequal")&&((term.cdr.car) instanceof sc_Pair))))
3753                        {
3754                            (sc_sym_17 = ((term.cdr.car).car));
3755                            (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)])))));
3756                            (symbol_record = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer(sc_sym_17)));
3757                            (symbol_record[(1)] = value);
3758                        }
3759                    else
3760                        (sc_error("ADD-LEMMA did not like term:  ", term));
3761                    (lst = (lst.cdr));
3762                }
3763            }
3764            return true;
3765        }
3766    };
3767    BgL_testzd2boyerzd2 = function(n) {
3768        var optrOpnd;
3769        var term;
3770        var sc_n_20;
3771        var answer;
3772        var sc_term_21;
3773        var sc_term_22;
3774        {
3775            (rewrite_count_nboyer = (0));
3776            (term = sc_const_4_nboyer);
3777            (sc_n_20 = n);
3778            while (!(sc_n_20=== 0)) {
3779                {
3780                    (term = (sc_list("\u1E9Cor", term, (new sc_Pair("\u1E9Cf",null)))));
3781                    (--sc_n_20);
3782                }
3783            }
3784            (sc_term_22 = term);
3785            if (!(sc_term_22 instanceof sc_Pair))
3786                (optrOpnd = sc_term_22);
3787            else
3788                (optrOpnd = (new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_22.car))), (translate_args_nboyer((sc_term_22.cdr))))));
3789            (sc_term_21 = (apply_subst_nboyer(((const_nboyer === null)?null:(new sc_Pair((new sc_Pair((const_nboyer.car.car), (translate_term_nboyer((const_nboyer.car.cdr))))), (translate_alist_nboyer((const_nboyer.cdr)))))), optrOpnd)));
3790            (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));
3791            (sc_write(rewrite_count_nboyer));
3792            (sc_display(" rewrites"));
3793            (sc_newline());
3794            if ((answer!== false))
3795                return rewrite_count_nboyer;
3796            else
3797                return false;
3798        }
3799    };
3800}
3801/* Exported Variables */
3802var BgL_parsezd2ze3nbzd2treesze3;
3803var BgL_earleyzd2benchmarkzd2;
3804var BgL_parsezd2ze3parsedzf3zc2;
3805var test;
3806var BgL_parsezd2ze3treesz31;
3807var BgL_makezd2parserzd2;
3808/* End Exports */
3809
3810var const_earley;
3811{
3812    (const_earley = (new sc_Pair((new sc_Pair("\u1E9Cs",(new sc_Pair((new sc_Pair("\u1E9Ca",null)),(new sc_Pair((new sc_Pair("\u1E9Cs",(new sc_Pair("\u1E9Cs",null)))),null)))))),null)));
3813    BgL_makezd2parserzd2 = function(grammar, lexer) {
3814        var i;
3815        var parser_descr;
3816        var def_loop;
3817        var nb_nts;
3818        var names;
3819        var steps;
3820        var predictors;
3821        var enders;
3822        var starters;
3823        var nts;
3824        var sc_names_1;
3825        var sc_steps_2;
3826        var sc_predictors_3;
3827        var sc_enders_4;
3828        var sc_starters_5;
3829        var nb_confs;
3830        var BgL_sc_defzd2loop_6zd2;
3831        var BgL_sc_nbzd2nts_7zd2;
3832        var sc_nts_8;
3833        var BgL_sc_defzd2loop_9zd2;
3834        var ind;
3835        {
3836            ind = function(nt, sc_nts_10) {
3837                var i;
3838                {
3839                    (i = ((sc_nts_10.length)-(1)));
3840                    while (true) {
3841                        if ((i>=(0)))
3842                            if ((sc_isEqual((sc_nts_10[i]), nt)))
3843                                return i;
3844                            else
3845                                (--i);
3846                        else
3847                            return false;
3848                    }
3849                }
3850            };
3851            (sc_nts_8 = ((BgL_sc_defzd2loop_9zd2 = function(defs, sc_nts_11) {
3852                var rule_loop;
3853                var head;
3854                var def;
3855                return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, sc_nts_12) {
3856                    var nt;
3857                    var l;
3858                    var sc_nts_13;
3859                    var rule;
3860                    if ((rules instanceof sc_Pair))
3861                        {
3862                            (rule = (rules.car));
3863                            (l = rule);
3864                            (sc_nts_13 = sc_nts_12);
3865                            while ((l instanceof sc_Pair)) {
3866                                {
3867                                    (nt = (l.car));
3868                                    (l = (l.cdr));
3869                                    (sc_nts_13 = (((sc_member(nt, sc_nts_13))!== false)?sc_nts_13:(new sc_Pair(nt, sc_nts_13))));
3870                                }
3871                            }
3872                            return (rule_loop((rules.cdr), sc_nts_13));
3873                        }
3874                    else
3875                        return (BgL_sc_defzd2loop_9zd2((defs.cdr), sc_nts_12));
3876                }), (rule_loop((def.cdr), (((sc_member(head, sc_nts_11))!== false)?sc_nts_11:(new sc_Pair(head, sc_nts_11)))))):(sc_list2vector((sc_reverse(sc_nts_11)))));
3877            }), (BgL_sc_defzd2loop_9zd2(grammar, null))));
3878            (BgL_sc_nbzd2nts_7zd2 = (sc_nts_8.length));
3879            (nb_confs = (((BgL_sc_defzd2loop_6zd2 = function(defs, BgL_sc_nbzd2confs_14zd2) {
3880                var rule_loop;
3881                var def;
3882                return ((defs instanceof sc_Pair)?((def = (defs.car)), (rule_loop = function(rules, BgL_sc_nbzd2confs_15zd2) {
3883                    var l;
3884                    var BgL_sc_nbzd2confs_16zd2;
3885                    var rule;
3886                    if ((rules instanceof sc_Pair))
3887                        {
3888                            (rule = (rules.car));
3889                            (l = rule);
3890                            (BgL_sc_nbzd2confs_16zd2 = BgL_sc_nbzd2confs_15zd2);
3891                            while ((l instanceof sc_Pair)) {
3892                                {
3893                                    (l = (l.cdr));
3894                                    (++BgL_sc_nbzd2confs_16zd2);
3895                                }
3896                            }
3897                            return (rule_loop((rules.cdr), (BgL_sc_nbzd2confs_16zd2+(1))));
3898                        }
3899                    else
3900                        return (BgL_sc_defzd2loop_6zd2((defs.cdr), BgL_sc_nbzd2confs_15zd2));
3901                }), (rule_loop((def.cdr), BgL_sc_nbzd2confs_14zd2))):BgL_sc_nbzd2confs_14zd2);
3902            }), (BgL_sc_defzd2loop_6zd2(grammar, (0))))+BgL_sc_nbzd2nts_7zd2));
3903            (sc_starters_5 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null)));
3904            (sc_enders_4 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null)));
3905            (sc_predictors_3 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null)));
3906            (sc_steps_2 = (sc_makeVector(nb_confs, false)));
3907            (sc_names_1 = (sc_makeVector(nb_confs, false)));
3908            (nts = sc_nts_8);
3909            (starters = sc_starters_5);
3910            (enders = sc_enders_4);
3911            (predictors = sc_predictors_3);
3912            (steps = sc_steps_2);
3913            (names = sc_names_1);
3914            (nb_nts = (sc_nts_8.length));
3915            (i = (nb_nts-(1)));
3916            while ((i>=(0))) {
3917                {
3918                    (sc_steps_2[i] = (i-nb_nts));
3919                    (sc_names_1[i] = (sc_list((sc_nts_8[i]), (0))));
3920                    (sc_enders_4[i] = (sc_list(i)));
3921                    (--i);
3922                }
3923            }
3924            def_loop = function(defs, conf) {
3925                var rule_loop;
3926                var head;
3927                var def;
3928                return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, conf, rule_num) {
3929                    var i;
3930                    var sc_i_17;
3931                    var nt;
3932                    var l;
3933                    var sc_conf_18;
3934                    var sc_i_19;
3935                    var rule;
3936                    if ((rules instanceof sc_Pair))
3937                        {
3938                            (rule = (rules.car));
3939                            (names[conf] = (sc_list(head, rule_num)));
3940                            (sc_i_19 = (ind(head, nts)));
3941                            (starters[sc_i_19] = (new sc_Pair(conf, (starters[sc_i_19]))));
3942                            (l = rule);
3943                            (sc_conf_18 = conf);
3944                            while ((l instanceof sc_Pair)) {
3945                                {
3946                                    (nt = (l.car));
3947                                    (steps[sc_conf_18] = (ind(nt, nts)));
3948                                    (sc_i_17 = (ind(nt, nts)));
3949                                    (predictors[sc_i_17] = (new sc_Pair(sc_conf_18, (predictors[sc_i_17]))));
3950                                    (l = (l.cdr));
3951                                    (++sc_conf_18);
3952                                }
3953                            }
3954                            (steps[sc_conf_18] = ((ind(head, nts))-nb_nts));
3955                            (i = (ind(head, nts)));
3956                            (enders[i] = (new sc_Pair(sc_conf_18, (enders[i]))));
3957                            return (rule_loop((rules.cdr), (sc_conf_18+(1)), (rule_num+(1))));
3958                        }
3959                    else
3960                        return (def_loop((defs.cdr), conf));
3961                }), (rule_loop((def.cdr), conf, (1)))):undefined);
3962            };
3963            (def_loop(grammar, (sc_nts_8.length)));
3964            (parser_descr = [lexer, sc_nts_8, sc_starters_5, sc_enders_4, sc_predictors_3, sc_steps_2, sc_names_1]);
3965            return function(input) {
3966                var optrOpnd;
3967                var sc_optrOpnd_20;
3968                var sc_optrOpnd_21;
3969                var sc_optrOpnd_22;
3970                var loop1;
3971                var BgL_sc_stateza2_23za2;
3972                var toks;
3973                var BgL_sc_nbzd2nts_24zd2;
3974                var sc_steps_25;
3975                var sc_enders_26;
3976                var state_num;
3977                var BgL_sc_statesza2_27za2;
3978                var states;
3979                var i;
3980                var conf;
3981                var l;
3982                var tok_nts;
3983                var sc_i_28;
3984                var sc_i_29;
3985                var l1;
3986                var l2;
3987                var tok;
3988                var tail1129;
3989                var L1125;
3990                var goal_enders;
3991                var BgL_sc_statesza2_30za2;
3992                var BgL_sc_nbzd2nts_31zd2;
3993                var BgL_sc_nbzd2confs_32zd2;
3994                var nb_toks;
3995                var goal_starters;
3996                var sc_states_33;
3997                var BgL_sc_nbzd2confs_34zd2;
3998                var BgL_sc_nbzd2toks_35zd2;
3999                var sc_toks_36;
4000                var falseHead1128;
4001                var sc_names_37;
4002                var sc_steps_38;
4003                var sc_predictors_39;
4004                var sc_enders_40;
4005                var sc_starters_41;
4006                var sc_nts_42;
4007                var lexer;
4008                var sc_ind_43;
4009                var make_states;
4010                var BgL_sc_confzd2setzd2getza2_44za2;
4011                var conf_set_merge_new_bang;
4012                var conf_set_adjoin;
4013                var BgL_sc_confzd2setzd2adjoinza2_45za2;
4014                var BgL_sc_confzd2setzd2adjoinza2za2_46z00;
4015                var conf_set_union;
4016                var forw;
4017                var is_parsed;
4018                var deriv_trees;
4019                var BgL_sc_derivzd2treesza2_47z70;
4020                var nb_deriv_trees;
4021                var BgL_sc_nbzd2derivzd2treesza2_48za2;
4022                {
4023                    sc_ind_43 = function(nt, sc_nts_49) {
4024                        var i;
4025                        {
4026                            (i = ((sc_nts_49.length)-(1)));
4027                            while (true) {
4028                                if ((i>=(0)))
4029                                    if ((sc_isEqual((sc_nts_49[i]), nt)))
4030                                        return i;
4031                                    else
4032                                        (--i);
4033                                else
4034                                    return false;
4035                            }
4036                        }
4037                    };
4038                    make_states = function(BgL_sc_nbzd2toks_50zd2, BgL_sc_nbzd2confs_51zd2) {
4039                        var v;
4040                        var i;
4041                        var sc_states_52;
4042                        {
4043                            (sc_states_52 = (sc_makeVector((BgL_sc_nbzd2toks_50zd2+(1)), false)));
4044                            (i = BgL_sc_nbzd2toks_50zd2);
4045                            while ((i>=(0))) {
4046                                {
4047                                    (v = (sc_makeVector((BgL_sc_nbzd2confs_51zd2+(1)), false)));
4048                                    (v[(0)] = (-1));
4049                                    (sc_states_52[i] = v);
4050                                    (--i);
4051                                }
4052                            }
4053                            return sc_states_52;
4054                        }
4055                    };
4056                    BgL_sc_confzd2setzd2getza2_44za2 = function(state, BgL_sc_statezd2num_53zd2, sc_conf_54) {
4057                        var conf_set;
4058                        var BgL_sc_confzd2set_55zd2;
4059                        return ((BgL_sc_confzd2set_55zd2 = (state[(sc_conf_54+(1))])), ((BgL_sc_confzd2set_55zd2!== false)?BgL_sc_confzd2set_55zd2:((conf_set = (sc_makeVector((BgL_sc_statezd2num_53zd2+(6)), false))), (conf_set[(1)] = (-3)), (conf_set[(2)] = (-1)), (conf_set[(3)] = (-1)), (conf_set[(4)] = (-1)), (state[(sc_conf_54+(1))] = conf_set), conf_set)));
4060                    };
4061                    conf_set_merge_new_bang = function(conf_set) {
4062                        return ((conf_set[((conf_set[(1)])+(5))] = (conf_set[(4)])), (conf_set[(1)] = (conf_set[(3)])), (conf_set[(3)] = (-1)), (conf_set[(4)] = (-1)));
4063                    };
4064                    conf_set_adjoin = function(state, conf_set, sc_conf_56, i) {
4065                        var tail;
4066                        return ((tail = (conf_set[(3)])), (conf_set[(i+(5))] = (-1)), (conf_set[(tail+(5))] = i), (conf_set[(3)] = i), ((tail<(0))?((conf_set[(0)] = (state[(0)])), (state[(0)] = sc_conf_56)):undefined));
4067                    };
4068                    BgL_sc_confzd2setzd2adjoinza2_45za2 = function(sc_states_57, BgL_sc_statezd2num_58zd2, l, i) {
4069                        var conf_set;
4070                        var sc_conf_59;
4071                        var l1;
4072                        var state;
4073                        {
4074                            (state = (sc_states_57[BgL_sc_statezd2num_58zd2]));
4075                            (l1 = l);
4076                            while ((l1 instanceof sc_Pair)) {
4077                                {
4078                                    (sc_conf_59 = (l1.car));
4079                                    (conf_set = (BgL_sc_confzd2setzd2getza2_44za2(state, BgL_sc_statezd2num_58zd2, sc_conf_59)));
4080                                    if (((conf_set[(i+(5))])=== false))
4081                                        {
4082                                            (conf_set_adjoin(state, conf_set, sc_conf_59, i));
4083                                            (l1 = (l1.cdr));
4084                                        }
4085                                    else
4086                                        (l1 = (l1.cdr));
4087                                }
4088                            }
4089                            return undefined;
4090                        }
4091                    };
4092                    BgL_sc_confzd2setzd2adjoinza2za2_46z00 = function(sc_states_60, BgL_sc_statesza2_61za2, BgL_sc_statezd2num_62zd2, sc_conf_63, i) {
4093                        var BgL_sc_confzd2setza2_64z70;
4094                        var BgL_sc_stateza2_65za2;
4095                        var conf_set;
4096                        var state;
4097                        return ((state = (sc_states_60[BgL_sc_statezd2num_62zd2])), ((((conf_set = (state[(sc_conf_63+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)?((BgL_sc_stateza2_65za2 = (BgL_sc_statesza2_61za2[BgL_sc_statezd2num_62zd2])), (BgL_sc_confzd2setza2_64z70 = (BgL_sc_confzd2setzd2getza2_44za2(BgL_sc_stateza2_65za2, BgL_sc_statezd2num_62zd2, sc_conf_63))), (((BgL_sc_confzd2setza2_64z70[(i+(5))])=== false)?(conf_set_adjoin(BgL_sc_stateza2_65za2, BgL_sc_confzd2setza2_64z70, sc_conf_63, i)):undefined), true):false));
4098                    };
4099                    conf_set_union = function(state, conf_set, sc_conf_66, other_set) {
4100                        var i;
4101                        {
4102                            (i = (other_set[(2)]));
4103                            while ((i>=(0))) {
4104                                if (((conf_set[(i+(5))])=== false))
4105                                    {
4106                                        (conf_set_adjoin(state, conf_set, sc_conf_66, i));
4107                                        (i = (other_set[(i+(5))]));
4108                                    }
4109                                else
4110                                    (i = (other_set[(i+(5))]));
4111                            }
4112                            return undefined;
4113                        }
4114                    };
4115                    forw = function(sc_states_67, BgL_sc_statezd2num_68zd2, sc_starters_69, sc_enders_70, sc_predictors_71, sc_steps_72, sc_nts_73) {
4116                        var next_set;
4117                        var next;
4118                        var conf_set;
4119                        var ender;
4120                        var l;
4121                        var starter_set;
4122                        var starter;
4123                        var sc_l_74;
4124                        var sc_loop1_75;
4125                        var head;
4126                        var BgL_sc_confzd2set_76zd2;
4127                        var BgL_sc_statezd2num_77zd2;
4128                        var state;
4129                        var sc_states_78;
4130                        var preds;
4131                        var BgL_sc_confzd2set_79zd2;
4132                        var step;
4133                        var sc_conf_80;
4134                        var BgL_sc_nbzd2nts_81zd2;
4135                        var sc_state_82;
4136                        {
4137                            (sc_state_82 = (sc_states_67[BgL_sc_statezd2num_68zd2]));
4138                            (BgL_sc_nbzd2nts_81zd2 = (sc_nts_73.length));
4139                            while (true) {
4140                                {
4141                                    (sc_conf_80 = (sc_state_82[(0)]));
4142                                    if ((sc_conf_80>=(0)))
4143                                        {
4144                                            (step = (sc_steps_72[sc_conf_80]));
4145                                            (BgL_sc_confzd2set_79zd2 = (sc_state_82[(sc_conf_80+(1))]));
4146                                            (head = (BgL_sc_confzd2set_79zd2[(4)]));
4147                                            (sc_state_82[(0)] = (BgL_sc_confzd2set_79zd2[(0)]));
4148                                            (conf_set_merge_new_bang(BgL_sc_confzd2set_79zd2));
4149                                            if ((step>=(0)))
4150                                                {
4151                                                    (sc_l_74 = (sc_starters_69[step]));
4152                                                    while ((sc_l_74 instanceof sc_Pair)) {
4153                                                        {
4154                                                            (starter = (sc_l_74.car));
4155                                                            (starter_set = (BgL_sc_confzd2setzd2getza2_44za2(sc_state_82, BgL_sc_statezd2num_68zd2, starter)));
4156                                                            if (((starter_set[(BgL_sc_statezd2num_68zd2+(5))])=== false))
4157                                                                {
4158                                                                    (conf_set_adjoin(sc_state_82, starter_set, starter, BgL_sc_statezd2num_68zd2));
4159                                                                    (sc_l_74 = (sc_l_74.cdr));
4160                                                                }
4161                                                            else
4162                                                                (sc_l_74 = (sc_l_74.cdr));
4163                                                        }
4164                                                    }
4165                                                    (l = (sc_enders_70[step]));
4166                                                    while ((l instanceof sc_Pair)) {
4167                                                        {
4168                                                            (ender = (l.car));
4169                                                            if ((((conf_set = (sc_state_82[(ender+(1))])), ((conf_set!== false)?(conf_set[(BgL_sc_statezd2num_68zd2+(5))]):false))!== false))
4170                                                                {
4171                                                                    (next = (sc_conf_80+(1)));
4172                                                                    (next_set = (BgL_sc_confzd2setzd2getza2_44za2(sc_state_82, BgL_sc_statezd2num_68zd2, next)));
4173                                                                    (conf_set_union(sc_state_82, next_set, next, BgL_sc_confzd2set_79zd2));
4174                                                                    (l = (l.cdr));
4175                                                                }
4176                                                            else
4177                                                                (l = (l.cdr));
4178                                                        }
4179                                                    }
4180                                                }
4181                                            else
4182                                                {
4183                                                    (preds = (sc_predictors_71[(step+BgL_sc_nbzd2nts_81zd2)]));
4184                                                    (sc_states_78 = sc_states_67);
4185                                                    (state = sc_state_82);
4186                                                    (BgL_sc_statezd2num_77zd2 = BgL_sc_statezd2num_68zd2);
4187                                                    (BgL_sc_confzd2set_76zd2 = BgL_sc_confzd2set_79zd2);
4188                                                    sc_loop1_75 = function(l) {
4189                                                        var sc_state_83;
4190                                                        var BgL_sc_nextzd2set_84zd2;
4191                                                        var sc_next_85;
4192                                                        var pred_set;
4193                                                        var i;
4194                                                        var pred;
4195                                                        if ((l instanceof sc_Pair))
4196                                                            {
4197                                                                (pred = (l.car));
4198                                                                (i = head);
4199                                                                while ((i>=(0))) {
4200                                                                    {
4201                                                                        (pred_set = ((sc_state_83 = (sc_states_78[i])), (sc_state_83[(pred+(1))])));
4202                                                                        if ((pred_set!== false))
4203                                                                            {
4204                                                                                (sc_next_85 = (pred+(1)));
4205                                                                                (BgL_sc_nextzd2set_84zd2 = (BgL_sc_confzd2setzd2getza2_44za2(state, BgL_sc_statezd2num_77zd2, sc_next_85)));
4206                                                                                (conf_set_union(state, BgL_sc_nextzd2set_84zd2, sc_next_85, pred_set));
4207                                                                            }
4208                                                                        (i = (BgL_sc_confzd2set_76zd2[(i+(5))]));
4209                                                                    }
4210                                                                }
4211                                                                return (sc_loop1_75((l.cdr)));
4212                                                            }
4213                                                        else
4214                                                            return undefined;
4215                                                    };
4216                                                    (sc_loop1_75(preds));
4217                                                }
4218                                        }
4219                                    else
4220                                        return undefined;
4221                                }
4222                            }
4223                        }
4224                    };
4225                    is_parsed = function(nt, i, j, sc_nts_86, sc_enders_87, sc_states_88) {
4226                        var conf_set;
4227                        var state;
4228                        var sc_conf_89;
4229                        var l;
4230                        var BgL_sc_ntza2_90za2;
4231                        {
4232                            (BgL_sc_ntza2_90za2 = (sc_ind_43(nt, sc_nts_86)));
4233                            if ((BgL_sc_ntza2_90za2!== false))
4234                                {
4235                                    (sc_nts_86.length);
4236                                    (l = (sc_enders_87[BgL_sc_ntza2_90za2]));
4237                                    while (true) {
4238                                        if ((l instanceof sc_Pair))
4239                                            {
4240                                                (sc_conf_89 = (l.car));
4241                                                if ((((state = (sc_states_88[j])), (conf_set = (state[(sc_conf_89+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false))
4242                                                    return true;
4243                                                else
4244                                                    (l = (l.cdr));
4245                                            }
4246                                        else
4247                                            return false;
4248                                    }
4249                                }
4250                            else
4251                                return false;
4252                        }
4253                    };
4254                    deriv_trees = function(sc_conf_91, i, j, sc_enders_92, sc_steps_93, sc_names_94, sc_toks_95, sc_states_96, BgL_sc_nbzd2nts_97zd2) {
4255                        var sc_loop1_98;
4256                        var prev;
4257                        var name;
4258                        return ((name = (sc_names_94[sc_conf_91])), ((name!== false)?((sc_conf_91<BgL_sc_nbzd2nts_97zd2)?(sc_list((sc_list(name, ((sc_toks_95[i]).car))))):(sc_list((sc_list(name))))):((prev = (sc_conf_91-(1))), (sc_loop1_98 = function(l1, l2) {
4259                            var loop2;
4260                            var ender_set;
4261                            var state;
4262                            var ender;
4263                            var l1;
4264                            var l2;
4265                            while (true) {
4266                                if ((l1 instanceof sc_Pair))
4267                                    {
4268                                        (ender = (l1.car));
4269                                        (ender_set = ((state = (sc_states_96[j])), (state[(ender+(1))])));
4270                                        if ((ender_set!== false))
4271                                            {
4272                                                loop2 = function(k, l2) {
4273                                                    var loop3;
4274                                                    var ender_trees;
4275                                                    var prev_trees;
4276                                                    var conf_set;
4277                                                    var sc_state_99;
4278                                                    var k;
4279                                                    var l2;
4280                                                    while (true) {
4281                                                        if ((k>=(0)))
4282                                                            if (((k>=i)&&(((sc_state_99 = (sc_states_96[k])), (conf_set = (sc_state_99[(prev+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)))
4283                                                                {
4284                                                                    (prev_trees = (deriv_trees(prev, i, k, sc_enders_92, sc_steps_93, sc_names_94, sc_toks_95, sc_states_96, BgL_sc_nbzd2nts_97zd2)));
4285                                                                    (ender_trees = (deriv_trees(ender, k, j, sc_enders_92, sc_steps_93, sc_names_94, sc_toks_95, sc_states_96, BgL_sc_nbzd2nts_97zd2)));
4286                                                                    loop3 = function(l3, l2) {
4287                                                                        var l4;
4288                                                                        var sc_l2_100;
4289                                                                        var ender_tree;
4290                                                                        if ((l3 instanceof sc_Pair))
4291                                                                            {
4292                                                                                (ender_tree = (sc_list((l3.car))));
4293                                                                                (l4 = prev_trees);
4294                                                                                (sc_l2_100 = l2);
4295                                                                                while ((l4 instanceof sc_Pair)) {
4296                                                                                    {
4297                                                                                        (sc_l2_100 = (new sc_Pair((sc_append((l4.car), ender_tree)), sc_l2_100)));
4298                                                                                        (l4 = (l4.cdr));
4299                                                                                    }
4300                                                                                }
4301                                                                                return (loop3((l3.cdr), sc_l2_100));
4302                                                                            }
4303                                                                        else
4304                                                                            return (loop2((ender_set[(k+(5))]), l2));
4305                                                                    };
4306                                                                    return (loop3(ender_trees, l2));
4307                                                                }
4308                                                            else
4309                                                                (k = (ender_set[(k+(5))]));
4310                                                        else
4311                                                            return (sc_loop1_98((l1.cdr), l2));
4312                                                    }
4313                                                };
4314                                                return (loop2((ender_set[(2)]), l2));
4315                                            }
4316                                        else
4317                                            (l1 = (l1.cdr));
4318                                    }
4319                                else
4320                                    return l2;
4321                            }
4322                        }), (sc_loop1_98((sc_enders_92[(sc_steps_93[prev])]), null)))));
4323                    };
4324                    BgL_sc_derivzd2treesza2_47z70 = function(nt, i, j, sc_nts_101, sc_enders_102, sc_steps_103, sc_names_104, sc_toks_105, sc_states_106) {
4325                        var conf_set;
4326                        var state;
4327                        var sc_conf_107;
4328                        var l;
4329                        var trees;
4330                        var BgL_sc_nbzd2nts_108zd2;
4331                        var BgL_sc_ntza2_109za2;
4332                        {
4333                            (BgL_sc_ntza2_109za2 = (sc_ind_43(nt, sc_nts_101)));
4334                            if ((BgL_sc_ntza2_109za2!== false))
4335                                {
4336                                    (BgL_sc_nbzd2nts_108zd2 = (sc_nts_101.length));
4337                                    (l = (sc_enders_102[BgL_sc_ntza2_109za2]));
4338                                    (trees = null);
4339                                    while ((l instanceof sc_Pair)) {
4340                                        {
4341                                            (sc_conf_107 = (l.car));
4342                                            if ((((state = (sc_states_106[j])), (conf_set = (state[(sc_conf_107+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false))
4343                                                {
4344                                                    (l = (l.cdr));
4345                                                    (trees = (sc_append((deriv_trees(sc_conf_107, i, j, sc_enders_102, sc_steps_103, sc_names_104, sc_toks_105, sc_states_106, BgL_sc_nbzd2nts_108zd2)), trees)));
4346                                                }
4347                                            else
4348                                                (l = (l.cdr));
4349                                        }
4350                                    }
4351                                    return trees;
4352                                }
4353                            else
4354                                return false;
4355                        }
4356                    };
4357                    nb_deriv_trees = function(sc_conf_110, i, j, sc_enders_111, sc_steps_112, sc_toks_113, sc_states_114, BgL_sc_nbzd2nts_115zd2) {
4358                        var sc_loop1_116;
4359                        var tmp1124;
4360                        var prev;
4361                        return ((prev = (sc_conf_110-(1))), ((((tmp1124 = (sc_conf_110<BgL_sc_nbzd2nts_115zd2)), ((tmp1124!== false)?tmp1124:((sc_steps_112[prev])<(0))))!== false)?(1):((sc_loop1_116 = function(l, sc_n_118) {
4362                            var nb_ender_trees;
4363                            var nb_prev_trees;
4364                            var conf_set;
4365                            var state;
4366                            var k;
4367                            var n;
4368                            var ender_set;
4369                            var sc_state_117;
4370                            var ender;
4371                            var l;
4372                            var sc_n_118;
4373                            while (true) {
4374                                if ((l instanceof sc_Pair))
4375                                    {
4376                                        (ender = (l.car));
4377                                        (ender_set = ((sc_state_117 = (sc_states_114[j])), (sc_state_117[(ender+(1))])));
4378                                        if ((ender_set!== false))
4379                                            {
4380                                                (k = (ender_set[(2)]));
4381                                                (n = sc_n_118);
4382                                                while ((k>=(0))) {
4383                                                    if (((k>=i)&&(((state = (sc_states_114[k])), (conf_set = (state[(prev+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)))
4384                                                        {
4385                                                            (nb_prev_trees = (nb_deriv_trees(prev, i, k, sc_enders_111, sc_steps_112, sc_toks_113, sc_states_114, BgL_sc_nbzd2nts_115zd2)));
4386                                                            (nb_ender_trees = (nb_deriv_trees(ender, k, j, sc_enders_111, sc_steps_112, sc_toks_113, sc_states_114, BgL_sc_nbzd2nts_115zd2)));
4387                                                            (k = (ender_set[(k+(5))]));
4388                                                            (n +=(nb_prev_trees*nb_ender_trees));
4389                                                        }
4390                                                    else
4391                                                        (k = (ender_set[(k+(5))]));
4392                                                }
4393                                                return (sc_loop1_116((l.cdr), n));
4394                                            }
4395                                        else
4396                                            (l = (l.cdr));
4397                                    }
4398                                else
4399                                    return sc_n_118;
4400                            }
4401                        }), (sc_loop1_116((sc_enders_111[(sc_steps_112[prev])]), (0))))));
4402                    };
4403                    BgL_sc_nbzd2derivzd2treesza2_48za2 = function(nt, i, j, sc_nts_119, sc_enders_120, sc_steps_121, sc_toks_122, sc_states_123) {
4404                        var conf_set;
4405                        var state;
4406                        var sc_conf_124;
4407                        var l;
4408                        var nb_trees;
4409                        var BgL_sc_nbzd2nts_125zd2;
4410                        var BgL_sc_ntza2_126za2;
4411                        {
4412                            (BgL_sc_ntza2_126za2 = (sc_ind_43(nt, sc_nts_119)));
4413                            if ((BgL_sc_ntza2_126za2!== false))
4414                                {
4415                                    (BgL_sc_nbzd2nts_125zd2 = (sc_nts_119.length));
4416                                    (l = (sc_enders_120[BgL_sc_ntza2_126za2]));
4417                                    (nb_trees = (0));
4418                                    while ((l instanceof sc_Pair)) {
4419                                        {
4420                                            (sc_conf_124 = (l.car));
4421                                            if ((((state = (sc_states_123[j])), (conf_set = (state[(sc_conf_124+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false))
4422                                                {
4423                                                    (l = (l.cdr));
4424                                                    (nb_trees = ((nb_deriv_trees(sc_conf_124, i, j, sc_enders_120, sc_steps_121, sc_toks_122, sc_states_123, BgL_sc_nbzd2nts_125zd2))+nb_trees));
4425                                                }
4426                                            else
4427                                                (l = (l.cdr));
4428                                        }
4429                                    }
4430                                    return nb_trees;
4431                                }
4432                            else
4433                                return false;
4434                        }
4435                    };
4436                    (lexer = (parser_descr[(0)]));
4437                    (sc_nts_42 = (parser_descr[(1)]));
4438                    (sc_starters_41 = (parser_descr[(2)]));
4439                    (sc_enders_40 = (parser_descr[(3)]));
4440                    (sc_predictors_39 = (parser_descr[(4)]));
4441                    (sc_steps_38 = (parser_descr[(5)]));
4442                    (sc_names_37 = (parser_descr[(6)]));
4443                    (falseHead1128 = (new sc_Pair(null, null)));
4444                    (L1125 = (lexer(input)));
4445                    (tail1129 = falseHead1128);
4446                    while (!(L1125 === null)) {
4447                        {
4448                            (tok = (L1125.car));
4449                            (l1 = (tok.cdr));
4450                            (l2 = null);
4451                            while ((l1 instanceof sc_Pair)) {
4452                                {
4453                                    (sc_i_29 = (sc_ind_43((l1.car), sc_nts_42)));
4454                                    if ((sc_i_29!== false))
4455                                        {
4456                                            (l1 = (l1.cdr));
4457                                            (l2 = (new sc_Pair(sc_i_29, l2)));
4458                                        }
4459                                    else
4460                                        (l1 = (l1.cdr));
4461                                }
4462                            }
4463                            (sc_optrOpnd_22 = (new sc_Pair((tok.car), (sc_reverse(l2)))));
4464                            (sc_optrOpnd_21 = (new sc_Pair(sc_optrOpnd_22, null)));
4465                            (tail1129.cdr = sc_optrOpnd_21);
4466                            (tail1129 = (tail1129.cdr));
4467                            (L1125 = (L1125.cdr));
4468                        }
4469                    }
4470                    (sc_optrOpnd_20 = (falseHead1128.cdr));
4471                    (sc_toks_36 = (sc_list2vector(sc_optrOpnd_20)));
4472                    (BgL_sc_nbzd2toks_35zd2 = (sc_toks_36.length));
4473                    (BgL_sc_nbzd2confs_34zd2 = (sc_steps_38.length));
4474                    (sc_states_33 = (make_states(BgL_sc_nbzd2toks_35zd2, BgL_sc_nbzd2confs_34zd2)));
4475                    (goal_starters = (sc_starters_41[(0)]));
4476                    (BgL_sc_confzd2setzd2adjoinza2_45za2(sc_states_33, (0), goal_starters, (0)));
4477                    (forw(sc_states_33, (0), sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_nts_42));
4478                    (sc_i_28 = (0));
4479                    while ((sc_i_28<BgL_sc_nbzd2toks_35zd2)) {
4480                        {
4481                            (tok_nts = ((sc_toks_36[sc_i_28]).cdr));
4482                            (BgL_sc_confzd2setzd2adjoinza2_45za2(sc_states_33, (sc_i_28+(1)), tok_nts, sc_i_28));
4483                            (forw(sc_states_33, (sc_i_28+(1)), sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_nts_42));
4484                            (++sc_i_28);
4485                        }
4486                    }
4487                    (nb_toks = (sc_toks_36.length));
4488                    (BgL_sc_nbzd2confs_32zd2 = (sc_steps_38.length));
4489                    (BgL_sc_nbzd2nts_31zd2 = (sc_nts_42.length));
4490                    (BgL_sc_statesza2_30za2 = (make_states(nb_toks, BgL_sc_nbzd2confs_32zd2)));
4491                    (goal_enders = (sc_enders_40[(0)]));
4492                    (l = goal_enders);
4493                    while ((l instanceof sc_Pair)) {
4494                        {
4495                            (conf = (l.car));
4496                            (BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_33, BgL_sc_statesza2_30za2, nb_toks, conf, (0)));
4497                            (l = (l.cdr));
4498                        }
4499                    }
4500                    (i = nb_toks);
4501                    while ((i>=(0))) {
4502                        {
4503                            (states = sc_states_33);
4504                            (BgL_sc_statesza2_27za2 = BgL_sc_statesza2_30za2);
4505                            (state_num = i);
4506                            (sc_enders_26 = sc_enders_40);
4507                            (sc_steps_25 = sc_steps_38);
4508                            (BgL_sc_nbzd2nts_24zd2 = BgL_sc_nbzd2nts_31zd2);
4509                            (toks = sc_toks_36);
4510                            (BgL_sc_stateza2_23za2 = (BgL_sc_statesza2_30za2[i]));
4511                            loop1 = function() {
4512                                var sc_loop1_127;
4513                                var prev;
4514                                var BgL_sc_statesza2_128za2;
4515                                var sc_states_129;
4516                                var j;
4517                                var i;
4518                                var sc_i_130;
4519                                var head;
4520                                var conf_set;
4521                                var sc_conf_131;
4522                                {
4523                                    (sc_conf_131 = (BgL_sc_stateza2_23za2[(0)]));
4524                                    if ((sc_conf_131>=(0)))
4525                                        {
4526                                            (conf_set = (BgL_sc_stateza2_23za2[(sc_conf_131+(1))]));
4527                                            (head = (conf_set[(4)]));
4528                                            (BgL_sc_stateza2_23za2[(0)] = (conf_set[(0)]));
4529                                            (conf_set_merge_new_bang(conf_set));
4530                                            (sc_i_130 = head);
4531                                            while ((sc_i_130>=(0))) {
4532                                                {
4533                                                    (i = sc_i_130);
4534                                                    (j = state_num);
4535                                                    (sc_states_129 = states);
4536                                                    (BgL_sc_statesza2_128za2 = BgL_sc_statesza2_27za2);
4537                                                    (prev = (sc_conf_131-(1)));
4538                                                    if (((sc_conf_131>=BgL_sc_nbzd2nts_24zd2)&&((sc_steps_25[prev])>=(0))))
4539                                                        {
4540                                                            sc_loop1_127 = function(l) {
4541                                                                var k;
4542                                                                var ender_set;
4543                                                                var state;
4544                                                                var ender;
4545                                                                var l;
4546                                                                while (true) {
4547                                                                    if ((l instanceof sc_Pair))
4548                                                                        {
4549                                                                            (ender = (l.car));
4550                                                                            (ender_set = ((state = (sc_states_129[j])), (state[(ender+(1))])));
4551                                                                            if ((ender_set!== false))
4552                                                                                {
4553                                                                                    (k = (ender_set[(2)]));
4554                                                                                    while ((k>=(0))) {
4555                                                                                        {
4556                                                                                            if ((k>=i))
4557                                                                                                if (((BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_129, BgL_sc_statesza2_128za2, k, prev, i))!== false))
4558                                                                                                    (BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_129, BgL_sc_statesza2_128za2, j, ender, k));
4559                                                                                            (k = (ender_set[(k+(5))]));
4560                                                                                        }
4561                                                                                    }
4562                                                                                    return (sc_loop1_127((l.cdr)));
4563                                                                                }
4564                                                                            else
4565                                                                                (l = (l.cdr));
4566                                                                        }
4567                                                                    else
4568                                                                        return undefined;
4569                                                                }
4570                                                            };
4571                                                            (sc_loop1_127((sc_enders_26[(sc_steps_25[prev])])));
4572                                                        }
4573                                                    (sc_i_130 = (conf_set[(sc_i_130+(5))]));
4574                                                }
4575                                            }
4576                                            return (loop1());
4577                                        }
4578                                    else
4579                                        return undefined;
4580                                }
4581                            };
4582                            (loop1());
4583                            (--i);
4584                        }
4585                    }
4586                    (optrOpnd = BgL_sc_statesza2_30za2);
4587                    return [sc_nts_42, sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_names_37, sc_toks_36, optrOpnd, is_parsed, BgL_sc_derivzd2treesza2_47z70, BgL_sc_nbzd2derivzd2treesza2_48za2];
4588                }
4589            };
4590        }
4591    };
4592    BgL_parsezd2ze3parsedzf3zc2 = function(parse, nt, i, j) {
4593        var is_parsed;
4594        var states;
4595        var enders;
4596        var nts;
4597        return ((nts = (parse[(0)])), (enders = (parse[(2)])), (states = (parse[(7)])), (is_parsed = (parse[(8)])), (is_parsed(nt, i, j, nts, enders, states)));
4598    };
4599    BgL_parsezd2ze3treesz31 = function(parse, nt, i, j) {
4600        var BgL_sc_derivzd2treesza2_132z70;
4601        var states;
4602        var toks;
4603        var names;
4604        var steps;
4605        var enders;
4606        var nts;
4607        return ((nts = (parse[(0)])), (enders = (parse[(2)])), (steps = (parse[(4)])), (names = (parse[(5)])), (toks = (parse[(6)])), (states = (parse[(7)])), (BgL_sc_derivzd2treesza2_132z70 = (parse[(9)])), (BgL_sc_derivzd2treesza2_132z70(nt, i, j, nts, enders, steps, names, toks, states)));
4608    };
4609    BgL_parsezd2ze3nbzd2treesze3 = function(parse, nt, i, j) {
4610        var BgL_sc_nbzd2derivzd2treesza2_133za2;
4611        var states;
4612        var toks;
4613        var steps;
4614        var enders;
4615        var nts;
4616        return ((nts = (parse[(0)])), (enders = (parse[(2)])), (steps = (parse[(4)])), (toks = (parse[(6)])), (states = (parse[(7)])), (BgL_sc_nbzd2derivzd2treesza2_133za2 = (parse[(10)])), (BgL_sc_nbzd2derivzd2treesza2_133za2(nt, i, j, nts, enders, steps, toks, states)));
4617    };
4618    test = function(k) {
4619        var x;
4620        var p;
4621        return ((p = (BgL_makezd2parserzd2(const_earley, function(l) {
4622            var sc_x_134;
4623            var tail1134;
4624            var L1130;
4625            var falseHead1133;
4626            {
4627                (falseHead1133 = (new sc_Pair(null, null)));
4628                (tail1134 = falseHead1133);
4629                (L1130 = l);
4630                while (!(L1130 === null)) {
4631                    {
4632                        (tail1134.cdr = (new sc_Pair(((sc_x_134 = (L1130.car)), (sc_list(sc_x_134, sc_x_134))), null)));
4633                        (tail1134 = (tail1134.cdr));
4634                        (L1130 = (L1130.cdr));
4635                    }
4636                }
4637                return (falseHead1133.cdr);
4638            }
4639        }))), (x = (p((sc_vector2list((sc_makeVector(k, "\u1E9Ca"))))))), (sc_length((BgL_parsezd2ze3treesz31(x, "\u1E9Cs", (0), k)))));
4640    };
4641    BgL_earleyzd2benchmarkzd2 = function() {
4642        var args = null;
4643        for (var sc_tmp = arguments.length - 1; sc_tmp >= 0; sc_tmp--) {
4644            args = sc_cons(arguments[sc_tmp], args);
4645        }
4646        var k;
4647        return ((k = ((args === null)?(7):(args.car))), (BgL_runzd2benchmarkzd2("earley", (1), function() {
4648            return (test(k));
4649        }, function(result) {
4650            return ((sc_display(result)), (sc_newline()), result == 132);
4651        })));
4652    };
4653}
4654
4655
4656/************* END OF GENERATED CODE *************/
4657// Invoke this function to run a benchmark.
4658// The first argument is a string identifying the benchmark.
4659// The second argument is the number of times to run the benchmark.
4660// The third argument is a function that runs the benchmark.
4661// The fourth argument is a unary function that warns if the result
4662// returned by the benchmark is incorrect.
4663//
4664// Example:
4665// RunBenchmark("new Array()",
4666//              1,
4667//              function () { new Array(1000000); }
4668//              function (v) {
4669//                return (v instanceof Array) && (v.length == 1000000);
4670//              });
4671
4672SC_DEFAULT_OUT = new sc_GenericOutputPort(function(s) {});
4673SC_ERROR_OUT = SC_DEFAULT_OUT;
4674
4675function RunBenchmark(name, count, run, warn) {
4676  for (var n = 0; n < count; ++n) {
4677    result = run();
4678    if (!warn(result)) {
4679      throw new Error("Earley or Boyer did incorrect number of rewrites");
4680    }
4681  }
4682}
4683
4684var BgL_runzd2benchmarkzd2 = RunBenchmark;
4685