perm filename CONVRT.LAP[P,BGB] blob sn#009271 filedate 1974-04-16 generic text, type T, neo UTF8
(PUTPROP (QUOTE DIFFERENCE) (GET (QUOTE *DIF) (QUOTE SUBR)) (QUOTE SUBR)) 

(PUTPROP (QUOTE SASSQ) (GET (QUOTE SASSOC) (QUOTE SUBR)) (QUOTE SUBR)) 

(PUTPROP (QUOTE MAPC#) (GET (QUOTE MAPC) (QUOTE SUBR)) (QUOTE SUBR)) 

(PUTPROP (QUOTE MAPCAR#) (GET (QUOTE MAPCAR) (QUOTE SUBR)) (QUOTE SUBR)) 

(PUTPROP (QUOTE ASSQ) (GET (QUOTE ASSOC) (QUOTE SUBR)) (QUOTE SUBR)) 

(PUTPROP (QUOTE PUTPROP1) (GET (QUOTE PUTPROP) (QUOTE SUBR)) (QUOTE SUBR)) 

(PUTPROP (QUOTE APPLY#) (GET (QUOTE APPLY) (QUOTE LSUBR)) (QUOTE LSUBR)) 

(PUTPROP (QUOTE THPUSH) (QUOTE (LAMBDA (A) (LIST (QUOTE SETQ) (CADR A) (LIST (QUOTE CONS) (CADDR A) (CADR A)))))~
 (QUOTE MACRO)) 

(PUTPROP (QUOTE THTRACE) (QUOTE (LAMBDA (L) (PROG NIL (DSKIN (P RPO) (THTRAC . /13)) (REMPROP (QUOTE THTRACE) (Q~
UOTE MACRO)) (RETURN (LIST (QUOTE QUOTE) (EVAL L)))))) (QUOTE MACRO)) 

(PUTPROP (QUOTE THEOREM) T (QUOTE SWAPIT)) 

(SETQ THTRACE NIL) 

(COND ((GETL (QUOTE THERT) (QUOTE (FSUBR FEXPR)))) ((DF THERT (L) NIL))) 

(LAP DECLARE FSUBR) 
	(MOVEI 1 (QUOTE NIL)) 
	(POPJ P) 
	NIL 

(SETQ PURE NIL) 

(SETQ ERRLIST NIL) 

(LAP MAPCAR LSUBR) 
	(JSP 3 *LCALL) 
	(PUSH P 1) 
	(MOVEI 2 (QUOTE 3)) 
	(CALL 2 (E *GREAT)) 
	(JUMPE 1 TAG2) 
	(MOVEI 1 (QUOTE (MAPCAR OF 3 ARG LISTS))) 
	(CALL 1 (E PRINT)) 
	(CALL 0 (E ERR)) 
	(JRST 0 TAG1) 
TAG2 	(MOVEI 2 (QUOTE 2)) 
	(MOVE 1 0 P) 
	(CALL 2 (E EQUAL)) 
	(JUMPE 1 TAG3) 
	(MOVE 1 -2 P) 
	(HRRZ 1 1 1) 
	(MOVE 2 -2 P) 
	(HRRZ 2 2 2) 
	(CALL 2 (E MAPCAR#)) 
	(JRST 0 TAG1) 
TAG3 	(MOVE 1 -2 P) 
	(HRRZ 1 2 1) 
	(JUMPE 1 TAG11) 
	(TDZA 1 1) 
TAG11 	(MOVEI 1 (QUOTE T)) 
	(JUMPN 1 TAG10) 
	(MOVE 1 -2 P) 
	(HRRZ 1 3 1) 
	(JUMPE 1 TAG12) 
	(TDZA 1 1) 
TAG12 	(MOVEI 1 (QUOTE T)) 
TAG10 	(JUMPE 1 TAG7) 
	(MOVEI 1 (QUOTE NIL)) 
	(JRST 0 TAG6) 
TAG7 	(MOVE 1 -2 P) 
	(HRRZ 1 1 1) 
	(PUSH P 1) 
	(MOVE 1 -3 P) 
	(HRRZ 1 2 1) 
	(MOVE 2 -3 P) 
	(HRRZ 2 3 2) 
	(HLRZ@ 2 2) 
	(HLRZ@ 1 1) 
	(CALLF@ 2 0 P) 
	(MOVEM 1 0 P) 
	(PUSH P (C 0 0 TAG15 0)) 
	(MOVE 2 -4 P) 
	(HRRZ 2 1 2) 
	(PUSH P 2) 
	(MOVE 2 -5 P) 
	(HRRZ 2 2 2) 
	(HRRZ@ 1 2) 
	(PUSH P 1) 
	(MOVE 2 -6 P) 
	(HRRZ 2 3 2) 
	(HRRZ@ 1 2) 
	(PUSH P 1) 
	(MOVNI 6 3) 
	(JCALL 16 (E MAPCAR)) 
TAG15 	(POP P 2) 
	(CALL 2 (E XCONS)) 
TAG13 
TAG6 
TAG4 
TAG1 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP ERT FSUBR) 
	(PUSH P 1) 
	(PUSH P (C 0 0 TAG1 0)) 
	(PUSH P (C 0 0 (QUOTE THERT) 0)) 
	(PUSH P 1) 
	(MOVNI 6 2) 
	(JCALL 16 (E APPLY)) 
TAG1 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP ASSOC SUBR) 
	(PUSH P 1) 
	(PUSH P 2) 
	(MOVE 1 2) 
	(JUMPE 1 TAG1) 
	(HLRZ@ 2 1) 
	(HLRZ@ 2 2) 
	(MOVE 1 -1 P) 
	(CALL 2 (E EQUAL)) 
	(JUMPE 1 TAG2) 
	(HLRZ@ 1 0 P) 
	(JRST 0 TAG1) 
TAG2 	(HRRZ@ 2 0 P) 
	(MOVE 1 -1 P) 
	(CALL 2 (E ASSOC)) 
TAG3 
TAG1 	(SUB P (C 0 0 2 2)) 
	(POPJ P) 
	NIL 

(LAP PAGEBPORG SUBR) 
	(MOVEI 1 (QUOTE NIL)) 
	(POPJ P) 
	NIL 

(LAP GENPREFIX FSUBR) 
	(MOVEI 1 (QUOTE NIL)) 
	(POPJ P) 
	NIL 

(LAP MIN LSUBR) 
	(JSP 3 *LCALL) 
	(PUSH P 1) 
	(ADD 1 -2 P) 
	(HRRZ 1 -577777 1) 
	(PUSH P 1) 
TAG1 	(MOVE 1 -1 P) 
	(CALL 1 (E SUB1)) 
	(MOVEM 1 -1 P) 
	(CALL 1 (E ZEROP)) 
	(JUMPE 1 TAG6) 
	(MOVE 1 0 P) 
	(JRST 0 TAG2) 
TAG6 	(MOVE 1 -1 P) 
	(ADD 1 -3 P) 
	(HRRZ 1 -577777 1) 
	(MOVE 2 0 P) 
	(CALL 2 (E *LESS)) 
	(JUMPE 1 TAG7) 
	(MOVE 1 -1 P) 
	(ADD 1 -3 P) 
	(HRRZ 1 -577777 1) 
	(MOVEM 1 0 P) 
TAG7 	(JRST 0 TAG1) 
TAG2 	(SUB P (C 0 0 2 2)) 
	(POPJ P) 
	NIL 

(LAP MAX LSUBR) 
	(JSP 3 *LCALL) 
	(PUSH P 1) 
	(ADD 1 -2 P) 
	(HRRZ 1 -577777 1) 
	(PUSH P 1) 
TAG1 	(MOVE 1 -1 P) 
	(CALL 1 (E SUB1)) 
	(MOVEM 1 -1 P) 
	(CALL 1 (E ZEROP)) 
	(JUMPE 1 TAG6) 
	(MOVE 1 0 P) 
	(JRST 0 TAG2) 
TAG6 	(MOVE 1 -1 P) 
	(ADD 1 -3 P) 
	(HRRZ 1 -577777 1) 
	(MOVE 2 0 P) 
	(CALL 2 (E *GREAT)) 
	(JUMPE 1 TAG7) 
	(MOVE 1 -1 P) 
	(ADD 1 -3 P) 
	(HRRZ 1 -577777 1) 
	(MOVEM 1 0 P) 
TAG7 	(JRST 0 TAG1) 
TAG2 	(SUB P (C 0 0 2 2)) 
	(POPJ P) 
	NIL 

(LAP RANDOM SUBR) 
	(MOVEI 1 (QUOTE 15)) 
	(CALL 1 (E EXAMINE)) 
	(PUSH P 1) 
	(MOVEI 1 (QUOTE 16)) 
	(CALL 1 (E EXAMINE)) 
	(POP P 2) 
	(CALL 2 (E *TIMES)) 
	(PUSH P 1) 
	(PUSH P (C 0 0 TAG1 0)) 
	(MOVEI 1 (QUOTE 15)) 
	(CALL 1 (E EXAMINE)) 
	(PUSH P 1) 
	(MOVEI 1 (QUOTE 16)) 
	(CALL 1 (E EXAMINE)) 
	(PUSH P 1) 
	(MOVNI 6 2) 
	(JCALL 16 (E MAX)) 
TAG1 	(MOVE 2 1) 
	(POP P 1) 
	(JCALL 2 (E *QUO)) 
	NIL 

(LAP DEFUN FSUBR) 
	(PUSH P 1) 
	(CALL 1 (E CADR)) 
	(CALL 1 (E ATOM)) 
	(JUMPE 1 TAG4) 
	(HRRZ@ 1 0 P) 
	(HLRZ@ 1 1) 
	(JUMPN 1 TAG6) 
	(TDZA 1 1) 
TAG6 	(MOVEI 1 (QUOTE T)) 
TAG4 	(JUMPE 1 TAG2) 
	(HRRZ@ 1 0 P) 
	(CALL 1 (E CADR)) 
	(CALL 1 (E NCONS)) 
	(PUSH P 1) 
	(HLRZ@ 1 -1 P) 
	(PUSH P 1) 
	(HRRZ@ 1 -2 P) 
	(CALL 1 (E CDDR)) 
	(CALL 1 (E LENGTH)) 
	(MOVEI 2 (QUOTE 1)) 
	(CALL 2 (E *GREAT)) 
	(JUMPE 1 TAG10) 
	(HRRZ@ 1 -2 P) 
	(CALL 1 (E CDDR)) 
	(CALL 1 (E LAST)) 
	(PUSH P 1) 
	(HRRZ@ 1 -3 P) 
	(CALL 1 (E CDDR)) 
	(CALL 1 (E LAST)) 
	(HLRZ@ 1 1) 
	(CALL 1 (E NCONS)) 
	(MOVEI 2 (QUOTE RETURN)) 
	(CALL 2 (E XCONS)) 
	(HRLM@ 1 0 P) 
	(HRRZ@ 2 -3 P) 
	(HRRZ@ 2 2) 
	(HRRZ@ 2 2) 
	(SUB P (C 0 0 1 1)) 
TAG12 	(MOVEI 1 (QUOTE (PROG NIL))) 
	(CALL 2 (E *APPEND)) 
	(CALL 1 (E NCONS)) 
	(MOVE 2 1) 
	(JRST 0 TAG7) 
TAG10 	(HRRZ@ 2 -2 P) 
	(HRRZ@ 2 2) 
	(HRRZ@ 2 2) 
TAG14 
TAG7 	(MOVE 1 -1 P) 
	(CALL 2 (E *APPEND)) 
	(MOVE 2 1) 
	(MOVEI 1 (QUOTE (LAMBDA))) 
	(CALL 2 (E *APPEND)) 
	(HRRZ@ 3 -2 P) 
	(HLRZ@ 3 3) 
	(MOVE 2 1) 
	(POP P 1) 
	(CALL 3 (E PUTPROP)) 
	(HLRZ@ 1 -1 P) 
	(SUB P (C 0 0 1 1)) 
	(JRST 0 TAG1) 
TAG2 	(HRRZ@ 1 0 P) 
	(HLRZ@ 1 1) 
	(CALL 1 (E NCONS)) 
	(PUSH P 1) 
	(HLRZ@ 1 -1 P) 
	(PUSH P 1) 
	(HRRZ@ 1 -2 P) 
	(HRRZ@ 1 1) 
	(CALL 1 (E LENGTH)) 
	(MOVEI 2 (QUOTE 1)) 
	(CALL 2 (E *GREAT)) 
	(JUMPE 1 TAG21) 
	(HRRZ@ 1 -2 P) 
	(HRRZ@ 1 1) 
	(CALL 1 (E LAST)) 
	(PUSH P 1) 
	(HRRZ@ 1 -3 P) 
	(HRRZ@ 1 1) 
	(CALL 1 (E LAST)) 
	(HLRZ@ 1 1) 
	(CALL 1 (E NCONS)) 
	(MOVEI 2 (QUOTE RETURN)) 
	(CALL 2 (E XCONS)) 
	(HRLM@ 1 0 P) 
	(HRRZ@ 2 -3 P) 
	(HRRZ@ 2 2) 
	(SUB P (C 0 0 1 1)) 
TAG23 	(MOVEI 1 (QUOTE (PROG NIL))) 
	(CALL 2 (E *APPEND)) 
	(CALL 1 (E NCONS)) 
	(MOVE 2 1) 
	(JRST 0 TAG20) 
TAG21 	(HRRZ@ 2 -2 P) 
	(HRRZ@ 2 2) 
TAG25 
TAG20 	(MOVE 1 -1 P) 
	(CALL 2 (E *APPEND)) 
	(MOVE 2 1) 
	(MOVEI 1 (QUOTE (LAMBDA))) 
	(CALL 2 (E *APPEND)) 
	(MOVEI 3 (QUOTE EXPR)) 
	(MOVE 2 1) 
	(POP P 1) 
	(CALL 3 (E PUTPROP)) 
	(HLRZ@ 1 -1 P) 
	(SUB P (C 0 0 1 1)) 
TAG16 
TAG1 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP SSTATUS FSUBR) 
	(MOVEI 1 (QUOTE SSTATUS)) 
	(POPJ P) 
	NIL 

(LAP AND# SUBR) 
	(PUSH P 1) 
	(HRRZ@ 1 1) 
	(JUMPN 1 TAG2) 
	(HLRZ@ 1 0 P) 
	(CALL 1 (E NCONS)) 
	(CALL 1 (E NCONS)) 
	(MOVEI 2 (QUOTE COND)) 
	(CALL 2 (E XCONS)) 
	(JRST 0 TAG1) 
TAG2 	(HLRZ@ 1 0 P) 
	(PUSH P 1) 
	(HRRZ@ 1 -1 P) 
	(CALL 1 (E AND#)) 
	(CALL 1 (E NCONS)) 
	(POP P 2) 
	(CALL 2 (E XCONS)) 
	(CALL 1 (E NCONS)) 
	(MOVEI 2 (QUOTE COND)) 
	(CALL 2 (E XCONS)) 
TAG3 
TAG1 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP OR# SUBR) 
	(PUSH P 1) 
	(PUSH P (C 0 0 TAG1 0)) 
	(PUSH P (C 0 0 (QUOTE LIST) 0)) 
	(PUSH P 1) 
	(MOVNI 6 2) 
	(JCALL 16 (E MAPCAR)) 
TAG1 	(MOVE 2 1) 
	(MOVEI 1 (QUOTE (COND))) 
	(SUB P (C 0 0 1 1)) 
	(JCALL 2 (E *APPEND)) 
	NIL 

(LAP LAMBDA# FSUBR) 
	(PUSH P 1) 
	(MOVEI 1 (QUOTE LAMBDA#CALLED)) 
	(CALL 1 (E PRINT)) 
	(HRRZ@ 2 0 P) 
	(MOVEI 1 (QUOTE T)) 
	(CALL 2 (E CONS)) 
	(CALL 1 (E NCONS)) 
	(MOVEI 2 (QUOTE COND)) 
	(CALL 2 (E XCONS)) 
TAG2 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP MAPC LSUBR) 
	(JSP 3 *LCALL) 
	(PUSH P 1) 
	(MOVEI 2 (QUOTE 4)) 
	(CALL 2 (E *GREAT)) 
	(JUMPE 1 TAG4) 
	(MOVEI 1 (QUOTE (MAPC OF FOUR ARG LISTS))) 
	(CALL 1 (E PRINT)) 
	(CALL 0 (E ERR)) 
	(JRST 0 TAG3) 
TAG4 	(MOVEI 2 (QUOTE 2)) 
	(MOVE 1 0 P) 
	(CALL 2 (E EQUAL)) 
	(JUMPE 1 TAG5) 
	(MOVE 1 -2 P) 
	(HRRZ 1 1 1) 
	(MOVE 2 -2 P) 
	(HRRZ 2 2 2) 
	(CALL 2 (E MAPC#)) 
	(MOVE 1 -2 P) 
	(HRRZ 1 2 1) 
	(JRST 0 TAG3) 
TAG5 	(MOVEI 2 (QUOTE 3)) 
	(MOVE 1 0 P) 
	(CALL 2 (E EQUAL)) 
	(JUMPE 1 TAG6) 
	(MOVE 1 -2 P) 
	(HRRZ 1 2 1) 
	(PUSH P 1) 
	(MOVE 1 -3 P) 
	(HRRZ 1 3 1) 
	(PUSH P 1) 
TAG1 	(MOVE 1 -1 P) 
	(JUMPE 1 TAG15) 
	(TDZA 1 1) 
TAG15 	(MOVEI 1 (QUOTE T)) 
	(JUMPN 1 TAG14) 
	(MOVE 1 0 P) 
	(JUMPE 1 TAG16) 
	(TDZA 1 1) 
TAG16 	(MOVEI 1 (QUOTE T)) 
TAG14 	(JUMPE 1 TAG13) 
	(MOVE 1 -4 P) 
	(HRRZ 1 2 1) 
	(JRST 0 TAG7) 
TAG13 	(MOVE 1 -4 P) 
	(HRRZ 1 1 1) 
	(HLRZ@ 2 0 P) 
	(PUSH P 1) 
	(HLRZ@ 1 -2 P) 
	(CALLF@ 2 0 P) 
	(SUB P (C 0 0 1 1)) 
	(HRRZ@ 1 -1 P) 
	(MOVEM 1 -1 P) 
	(HRRZ@ 1 0 P) 
	(MOVEM 1 0 P) 
	(JRST 0 TAG1) 
TAG7 	(SUB P (C 0 0 2 2)) 
	(JRST 0 TAG3) 
TAG6 	(MOVE 1 -2 P) 
	(HRRZ 1 2 1) 
	(PUSH P 1) 
	(MOVE 1 -3 P) 
	(HRRZ 1 3 1) 
	(PUSH P 1) 
	(MOVE 1 -4 P) 
	(HRRZ 1 4 1) 
	(PUSH P 1) 
TAG2 	(MOVE 1 -2 P) 
	(JUMPE 1 TAG30) 
	(TDZA 1 1) 
TAG30 	(MOVEI 1 (QUOTE T)) 
	(JUMPN 1 TAG27) 
	(MOVE 1 -1 P) 
	(JUMPE 1 TAG31) 
	(TDZA 1 1) 
TAG31 	(MOVEI 1 (QUOTE T)) 
	(JUMPN 1 TAG27) 
	(MOVE 1 0 P) 
	(JUMPE 1 TAG32) 
	(TDZA 1 1) 
TAG32 	(MOVEI 1 (QUOTE T)) 
TAG27 	(JUMPE 1 TAG26) 
	(MOVE 1 -5 P) 
	(HRRZ 1 2 1) 
	(JRST 0 TAG22) 
TAG26 	(MOVE 1 -5 P) 
	(HRRZ 1 1 1) 
	(HLRZ@ 3 0 P) 
	(HLRZ@ 2 -1 P) 
	(PUSH P 1) 
	(HLRZ@ 1 -3 P) 
	(CALLF@ 3 0 P) 
	(SUB P (C 0 0 1 1)) 
	(HRRZ@ 1 -2 P) 
	(MOVEM 1 -2 P) 
	(HRRZ@ 1 -1 P) 
	(MOVEM 1 -1 P) 
	(HRRZ@ 1 0 P) 
	(MOVEM 1 0 P) 
	(JRST 0 TAG2) 
TAG22 	(SUB P (C 0 0 3 3)) 
TAG20 
TAG3 	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP GFUN1MAPCAN SUBR) 
	(PUSH P 1) 
	(PUSH P (C 0 0 TAG1 0)) 
	(PUSH P (SPECIAL R)) 
	(PUSH P (SPECIAL F)) 
	(CALLF@ 1 0 P) 
	(SUB P (C 0 0 1 1)) 
	(PUSH P 1) 
	(MOVNI 6 2) 
	(JCALL 16 (E NCONC)) 
TAG1 	(MOVEM 1 (SPECIAL R)) 
	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(LAP MAPCAN SUBR) 
	(JSP 6 SPECBIND) 
	(0 1 (SPECIAL F)) 
	(0 2 (SPECIAL L)) 
	(0 0 (SPECIAL R)) 
	(PUSH P (C 0 0 TAG4 0)) 
	(PUSH P (C 0 0 (QUOTE GFUN1MAPCAN) 0)) 
	(PUSH P 2) 
	(MOVNI 6 2) 
	(JCALL 16 (E MAPC)) 
TAG4 	(MOVE 1 (SPECIAL R)) 
	(JRST 0 SPECSTR) 
	NIL 

(LAP RESTART SUBR) 
	(PUSH P (C 0 0 TAG4 0)) 
	(PUSH P (C 0 0 (QUOTE EVAL) 0)) 
	(PUSH P (SPECIAL ERRLIST)) 
	(MOVNI 6 2) 
	(JCALL 16 (E MAPC)) 
TAG4 	(MOVEI 1 (QUOTE EXIT)) 
	(POPJ P) 
	NIL 

(LAP MEMQ SUBR) 
	(PUSH P 1) 
	(PUSH P 2) 
	(MOVE 1 2) 
	(JUMPE 1 TAG1) 
	(HLRZ@ 1 1) 
	(CALL 1 (E ATOM)) 
	(JUMPN 1 TAG2) 
	(HRRZ@ 2 2) 
	(MOVE 1 -1 P) 
	(CALL 2 (E MEMQ)) 
	(JRST 0 TAG1) 
TAG2 	(HLRZ@ 1 2) 
	(CAME 1 -1 P) 
	(JRST 0 TAG3) 
	(MOVE 1 2) 
	(JRST 0 TAG1) 
TAG3 	(HRRZ@ 2 0 P) 
	(MOVE 1 -1 P) 
	(CALL 2 (E MEMQ)) 
TAG4 
TAG1 	(SUB P (C 0 0 2 2)) 
	(POPJ P) 
	NIL 

(LAP MEMBER SUBR) 
	(PUSH P 1) 
	(PUSH P 2) 
	(MOVE 1 2) 
	(JUMPE 1 TAG1) 
	(HLRZ@ 2 1) 
	(MOVE 1 -1 P) 
	(CALL 2 (E EQUAL)) 
	(JUMPE 1 TAG2) 
	(MOVE 1 0 P) 
	(JRST 0 TAG1) 
TAG2 	(HRRZ@ 2 0 P) 
	(MOVE 1 -1 P) 
	(CALL 2 (E MEMBER)) 
TAG3 
TAG1 	(SUB P (C 0 0 2 2)) 
	(POPJ P) 
	NIL 

(LAP APPLY LSUBR) 
	(JSP 3 *LCALL) 
	(MOVE 1 -1 P) 
	(HRRZ 1 1 1) 
	(MOVEI 2 (QUOTE (EXPR SUBR %%TRACE))) 
	(CALL 2 (E GETL)) 
	(JUMPE 1 TAG5) 
	(PUSH P (C 0 0 TAG6 0)) 
	(MOVE 1 -2 P) 
	(HRRZ 1 1 1) 
	(PUSH P 1) 
	(MOVE 1 -3 P) 
	(HRRZ 1 2 1) 
	(PUSH P 1) 
	(MOVNI 6 2) 
	(JCALL 16 (E APPLY#)) 
TAG6 	(JRST 0 TAG4) 
TAG5 	(MOVE 1 -1 P) 
	(HRRZ 1 1 1) 
	(MOVE 2 -1 P) 
	(HRRZ 2 2 2) 
	(CALL 2 (E CONS)) 
	(CALL 1 (E *EVAL)) 
TAG4 	(POPJ P) 
	NIL 

(PUTPROP (QUOTE AND) (QUOTE (LAMBDA (L) (AND# (CDR L)))) (QUOTE MACRO)) 

(PUTPROP (QUOTE OR) (QUOTE (LAMBDA (L) (OR# (CDR L)))) (QUOTE MACRO)) 

(LAP TH FSUBR) 
	(PUSH P 1) 
	(MOVEI 1 (QUOTE THEOREM:/ / )) 
	(CALL 1 (E PRINC)) 
	(HLRZ@ 1 0 P) 
	(CALL 1 (E PRINC)) 
	(CALL 0 (E TERPRI)) 
	(MOVEI 2 (QUOTE THEOREM)) 
	(HLRZ@ 1 0 P) 
	(CALL 2 (E GET)) 
	(MOVEI 3 (QUOTE 1)) 
	(MOVEI 2 (QUOTE 0)) 
	(CALL 3 (E SPRINT)) 
	(MOVEI 1 (QUOTE NIL)) 
	(SUB P (C 0 0 1 1)) 
	(POPJ P) 
	NIL 

(QUOTE (END OF FILE))