FASL FILE output from boyer.cl. Compiled Thursday, 6/23/05 08:11:51 pm GMT on intech19 Compiler 1.1, Lisp CVS release-19a 19a-release-20040728 + minimal debian patches Targeted for Intel x86, FASL version 19A ?>#BQ& COMMON-LISPR EQUALLEMMAS GETQNRELATIVERalloc_overflow_eaxQNABSOLUTERQNABSOLUTERQNABSOLUTERM=?5&(term)6 FUNCTION89:J?>;#B<&DEFUN ADD-LEMMA-LST; ADD-LEMMA-LST + G0MG1=+ [>$+?$$'$$$x1 @$%<+ LSTCA+*%%B$+C$$'$$%$}1 D(E1FG;~EeuUځ (u'(ME]$<u1ËP nP][벐 M QNABSOLUTERX=?I<&(lst)J78 MEMBERLM<NJ?>O#7B ASSQ< **TEMP-TEMP**APPLY-SUBST-LST<&DEFUN APPLY-SUBSTR APPLY-SUBST +G0MG1G2T+ U$+$V$$'$$#(1 W$,S+ALISTC TERM΃X+E, & $\  Y$+Z$$'$$,#-1 [(\1]^;7~ EeU߁ (t$<to] Ӌ}nP]P (uËЋMEH$<Aɉ]CE{ UnP]4((|(;(v|(@(=4(t MHPN M  NQNRELATIVERalloc_overflow_eaxQNABSOLUTERQNABSOLUTERQNABSOLUTERcQNABSOLUTERK=?dS& (alist term)e7fgShJ PROCLAIM< SPECIAL**UNIFY-SUBST**lLSET-DEFVAR-SOURCE-LOCATION<kQ FILE-SOURCE-LOCATIONR Q  FORM-NUMBERSR (p$$-q(r$$-s$&7/fix/t1/camm/debian/gcl/tmp/gclcvs-2.7.0/bench/boyer.clt1ujPvPs$t1w:<NSh&Top-Level Formx1yz;* !q"#$q %q"&'q?()0q?*+0q?,-0q0{x$$Q SIMPLE-BYTE-FUNCTIONR Q FUNCTIONR (~$$-Q&KERNEL FUNCALLABLE-INSTANCER ($$-Q BYTE-FUNCTION-OR-CLOSURER ($$-Q BYTE-FUNCTIONR ($$-($$-8?>#4BS<&DEFUN APPLY-SUBST-LSTQ +G0CG1cG2+'%$+$$$'$$'#(1 $_Q+ ALIST LST+2_ 2#  _$++$'$$_#-1 (1;4~EeMU}Eŋ̃ ]uAEgЋME (u (emu]$<Ƌxe Ӌ]kP]uUF͋ԃ JE됋]u4(( |(; (v |(I(=4(t UQAF  QNRELATIVERalloc_overflow_ecxQNABSOLUTERQNABSOLUTERQNABSOLUTERH=?Q& (alist lst)7f LISTQJ?>#BF<K<& DEFUN FALSEPFALSEP +G1MG2G3+ c$+$$$'$$#1 $(+ LSTC Xc+'(  $+$$'$$(#1 (1;~ Eeu]}u܃ ֋=kPu (tME֋}u` MQNABSOLUTERnQNABSOLUTER:QNABSOLUTER4=?&(x lst)7f OR CONSKJ?>$UBkONE-WAY-UNIFY1<&DEFUN ONE-WAY-UNIFY ONE-WAY-UNIFY +G0MG1G2+ 3$+$$$'$$$P1 $(+TERM1TERM2C+ (!$+$$'$$($U1 (1;U~Eeu-} (H֋}u` MQNABSOLUTER=QNABSOLUTER*=?& (term1 term2)7fώJ?>#BkO<P<ONE-WAY-UNIFY1-&LST<&DEFUN ONE-WAY-UNIFY1 +G0MG1G2+$+$$$'$$#1 $,+ TERM1cTERM2C+i,0 ,      $+$$'$$,#1 (1;~ Ee}M (t $<?uxr܃ UkPuP (4((|(;(v|(@(=4(t MHpJ4((|(;(v|(R(=4(t BJP'(MEHts$<upy֋u` (t$<t (뫋FMI9t (뗋VEx!u` M    NQNABSOLUTERQNABSOLUTERsQNABSOLUTERUQNABSOLUTER8QNRELATIVERalloc_overflow_edxQNABSOLUTERQNRELATIVERalloc_overflow_eaxQNABSOLUTER}QNABSOLUTEReQNABSOLUTERH=?7fJ?>#B<&DEFUN ONE-WAY-UNIFY1-&LST +G0MG1G2+ $ +$$$'$$#1 $++ LST1΃ LST2c+=+9 $ +$$'$$+#1 (1;~Eeڋ (u'(MEu]$<uXËP$<uPƋxe ]kP]u (u (랋[v뉐 M  QNABSOLUTERr=?& (lst1 lst2)7fJ?># B REWRITE-ARGS<<REWRITE-WITH-LEMMAS<& DEFUN REWRITEREWRITE + G0MG1+ $ +$$'$$#1 $)+  TERM+/)!  v  $ +$$'$$)# 1 (1  ; ~ Ee (t$<t֋MEuFEV܃ kPu4((|(;(v|(@(=4(t EEMHEPV܃ =kPuUu` MQNABSOLUTERQNABSOLUTERQNABSOLUTERQNRELATIVERalloc_overflow_eaxQNABSOLUTER]=?678J?>#"B<&DEFUN REWRITE-ARGS + G0CG1c+$"$ +$$'$$$#1 $Y+ LST΃+2Y )  a$ ++$'$$Y#1 (1;"~EeMUEŋ̃ ]AEaЋME (u (em]$<ËP nP]UC͋ԃ ؉JE뜋]4(( |(; (v |(I(=4(t UQAU  QNRELATIVERalloc_overflow_ecxQNABSOLUTERQNABSOLUTERQNABSOLUTERB=?$J78%&J?>'#:B<kS<<&DEFUN REWRITE-WITH-LEMMAS' +G0MG1G2(+ )$ +$*$$'$$#1 +$,+ LSTcTERMC,+\,J  M       -$ +.$$'$$,#1 /(0112;:~ EeU (uUMEu$<ƋH$<I$<y܃ UkPu (uv뇉uPtmN$<ugI$<uaI$<u[y܃ kPuu` M  N N  N N NQNABSOLUTERQNABSOLUTERQNABSOLUTERQNABSOLUTER=?7& (term lst)87f9:J?>;$EB COMPILEFORM= REVERSECODEGEN OPTIMIZE<ABCDEEQPXYIFIXGKJHLMNGREATERPGHPLESSPHGRSLESSEQPGHU NOTRWX GREATEREQPGHZVQGH[\] BOOLEANG_G8`GabcIFFGHe ANDIMPLIESGHhgHGijkEVEN1Gm IF ZEROPGp8ODD 1-GstuvCOUNTPS-LPREDz COUNTPS-LOOPxyZERO}~FACT-I FACT-LOOP$REVERSE-G REVERSE-LOOPGBDIVIDESGHo REMAINDERHG ASSUME-TRUEVARALIST8 ASSUME-FALSETAUTOLOGY-CHECKERG TAUTOLOGYP NORMALIZEGBFALSIFYGFALSIFY1BPRIMEGfVpVGADD1}PRIME1GsfPQnn8n8n8Vn8gnn88Kn NUMBERPGG}nnABCDEnnnpG}VPLUSGHZGH}foo DIFFERENCEGG}JJ}GHVRGfG}oHMEANING PLUS-TREE APPENDGHGH PLUS-FRINGEGJG   GH  >>>TIMESGGHGGH}p !EXECPDSENVRN%"H"G#$&$'( MC-FLATTENGH*FLATTENG,H-.KG/KG0KG123KG>H45KGH67 LENGTH>G9:8G;<K INTERSECT>?fK@KABC NTH}E}F EXPJKJKGHLGIMNOGHIPQGLIRSGHT9HUVGBW9X COUNT-LISTSORT-LPGH[\YG]YH^_`abcdGHeHQUOTIENTGHghiKj POWER-EVAL BIG-PLUS1xBASEnmokxmpqrkBIG-PLUSGHmtmukGmvkHmwxyzH${}|QeH}V~GG}QfHfVooHVH$QeGfVVpV[k POWER-REPmmJksHm}mmH GCDGHHGDDD8GLHGGLGHGWGG}HQQHQfVo[QHVpVALUEG,HBfNLISTPGGH LISTPGOPHERGG SAMEFRINGEGH,+HGREATEST-FACTORGH}fH$G}$G$VfV TIMES-LISTGH PRIME-LISTfGHf}$  GREATEREQPRGH V[  GG}fHGH}$fV}V}r}r }!"#Q8 DELETEGx%&8x'(KGx)*SORT2%,$G+x-./DSORTG1+G238X1X2X3X4X5X6X7;<=>?@A$8:BCDGEF$GKHfGI$JGfH$KLMSIGMA}OfPQ$RSGTnHUVEWXHYZn[V[nQH\VR]KJ^_`ab$GHcden6fghijGknUGlKmnDBonB}pq LASTsntrunv CARrxyz{|}[~n[ ASSIGNMENTGn ASSIGNEDPGGGwnw,}+ CDRn,}BfHn}KH SETVALMEMnFHHj<<&DEFUN BOYER-SETUP BOYER-SETUP +G0M+ #$ +$$'$$$@1 $"++"$ +$$'$$"$E1 (1;E~Eeuu` MQNABSOLUTER*QNABSOLUTER$=?&()7J?>#BTRUEP<<n&DEFUN TAUTOLOGYP +G0CG1cG2G3+*.$+$$'$$*#81 $k+ FALSE-LSTTRUE-LST X+k   - -   5 !$++$'$$k#=1 (1;~ EeMU}uE ŋ̃@]UQUQAE{ЋME]܋ Ӌ}nP]܁ (]܋ Ӌ}nP]܁ (R (t$<t (emC;t (]܋K$<.Q }nP]܁ (]܋K$<Q }nP]܁ (M]܋K$<I$<QK$<A4(( |(; (v |(I(=4(t AEAŋ@ډNMNFECI]= (u (K$<I$<I$<QK$<A4(( |(; (v |(I(=4(t AEAډMK$<I$<I$<{YjK$<umI$<ugYL ('(  N N N N N N N N N N N N N NQNRELATIVERalloc_overflow_ecxQNABSOLUTERQNRELATIVERalloc_overflow_ecxQNABSOLUTER]QNABSOLUTERQNABSOLUTERQNABSOLUTERQNABSOLUTERzQNABSOLUTERT=?&(x true-lst false-lst)7J?>$eB<<& DEFUN TAUTPTAUTP + G0MG1+ C$+$$'$$$`1 $&+XC+&$+$$'$$&$e1 (1;e~Eeu=U܃ UkP ( ( u` MQNABSOLUTEROQNABSOLUTER0=?&(x)78JQ&:x1;W? !0q?"#0q?$%0q?&'0q?()0q?*+0q?,-0q?./0q?//0q?//0q?//0q0x$$8?>#BG}H>BUQK8gfhfgHfgggGS<<&DEFUN BOYER-TEST BOYER-TEST +G0M+ c$+$$'$$#1 $"+TERM+"&''$+ $$'$$"#1  ( 1  ;~ Eeu^ (܃ =kP܃ kP (MEᐐ MQNABSOLUTERTQNABSOLUTER:QNABSOLUTER4QNABSOLUTER.=?7 NULLJ?>#B8<K<& DEFUN TRUEP +G1MG2G3+ c$+$$$'$$#1 $(+ LSTC Xc+'(  $+$$'$$(#1 (1 !;~ Eeu]}u܃ ֋=kPu (tME֋}u` MQNABSOLUTERnQNABSOLUTER:QNABSOLUTER4=?%7f&'(J?>)$5B<&DEFUN TESTBOYER) TESTBOYER +G0M++ ,$+-$$'$$$01 .$"*+/+" 0$+1$$'$$"$51 2(3145;5~Eeu1u` MQNABSOLUTER$=?7**8J(i<jSETUP-PERFORMED-P: BOUNDP<9<9m<9s$t1<*8x1=>;,? !0q?"#0q$%q&'(q1)*+,q?-.0q0?x$$@8Q  DEBUG-SOURCER (B$$ -CNFILEt"8dE"eF$+xS-}*,-/00G1 HIJ>J5J!J JJJJ̯J2JJ JJJJ̱J̙JzJ^JGJ,?>K@