(FILECREATED "27-Jul-84 15:43:34" {ERIS}<LISPCORE>SOURCES>MACROTEST.;3 412443Q
changes to: (FNS !RANDNUMTEST !RANDNUMTEST4 !MIXNUMTEST)
(MACROS MTHELP MTCHECKSTK CKEQ CKFEQ CKFUZZYEQ MTCHECK MTCHECK1)
previous date: " 1-Jun-84 21:54:57" {PHYLUM}<LISPCORE>SOURCES>MACROTEST.;5)
(* Copyright (c) 1981, 1982, 1983, 1984 by Xerox Corporation. All rights reserved.)
(PRETTYCOMPRINT MACROTESTCOMS)
(RPAQQ MACROTESTCOMS [(E (RADIX 8))
(DECLARE: EVAL@COMPILE DONTCOPY (P (RESETSAVE OPTIMIZATIONSOFF T))
(MACROS MTHELP MTCHECKSTK CKEQ CKFEQ CKFUZZYEQ MTCHECK MTCHECK1))
(FNS !DIAGNOSE !DIAGNOSELP !INTERPTEST !CHECKARGS !CHECKLSTARARG !CHECKLSTARSETARG !CONSTEST
!COPY !SMASH CHECKFREELISTS !CKEQ)
(COMS (* Test out of free variables)
(FNS !FVARTEST PUSH.TEST CALLS.FIRSTARGTEST CALLS.LASTARGTEST CALLS.TOOFEWARGS
FVAR.FREE FVAR.TEST FVAR.TEST2 FVAR.TEST3 FN.FIRSTARG.FVARS
FN.FIRSTARG.PVARS.FVARS FN.LASTARG.FVARS FN.LASTARG.FVARS.PVARS FVAR.TESTN
FN.FREE.SKIPPVARS FN.FREEPVAR FN.FVAR3 FN.FREEARG FN.FR1 FN.FR2 FN.FR3 FAULTTEST)
(VARS (F0 0)
(F1 1)
(F2 2)
(F3 3)
(F4 4)
(F5 5)
(F6 6)
(F7 7)
(F8 8)))
(VARS (!MTALLOWINEXACTFLG T))
(FNS !NUMBERTEST !NUMTEST1 !NUMTEST2 !NUMTEST3 !NUMTEST4 !NUMTEST5 !NUMTEST6 !RANDNUMTEST
!RANDNUMTEST1 !RANDNUMTEST2 !RANDNUMTEST3 !RANDNUMTEST4 !FNUMTEST !MIXNUMTEST !CKFEQ
!CKFUZZYEQ)
(FNS !GCTEST !GCTEST0 !GCTEST1 !GCTEST2 !GCTEST3 !GCTESTSETF !GCTESTSETG !GCTEST3D !GCTEST3C
!GCTEST3B !GCTEST3A)
(COMS (* Utilities for debugging arrays)
(FNS FINDPTRINLIST PPFBL))
(FNS MINILOGOUT)
(DECLARE: DONTEVAL@LOAD DOCOPY (P (!DIAGNOSE])
(DECLARE: EVAL@COMPILE DONTCOPY
(RESETSAVE OPTIMIZATIONSOFF T)
(DECLARE: EVAL@COMPILE
(PUTPROPS MTHELP MACRO [X (LIST (QUOTE RAID)
(COND
((CDR X)
(CONS (QUOTE LIST)
X))
(T (CAR X])
(PUTPROPS MTCHECKSTK MACRO [ARGS (SUBPAIR (QUOTE (ARGS ID))
(LIST ARGS (RAND 1 MAX.SMALLP))
(QUOTE (OR (EQ (PROG1 ID . ARGS)
ID)
(RAID (QUOTE (WRONG # PUSHED])
(PUTPROPS CKEQ MACRO ((FORM ANSWER)
([LAMBDA (Password Result)
(DECLARE (LOCALVARS Password Result))
[OR (EQ Password (QUOTE 343Q))
(RAID (QUOTE (WRONG # PUSHED]
(!CKEQ Result ANSWER (QUOTE FORM]
(QUOTE 343Q)
FORM)))
(PUTPROPS CKFEQ MACRO ((FORM ANSWER)
([LAMBDA (Password Result)
(DECLARE (LOCALVARS Password Result))
[OR (EQ Password (QUOTE 343Q))
(RAID (QUOTE (WRONG # PUSHED]
(!CKFEQ Result ANSWER (QUOTE FORM]
(QUOTE 343Q)
FORM)))
(PUTPROPS CKFUZZYEQ MACRO ((FORM ANSWER)
([LAMBDA (Password Result)
(DECLARE (LOCALVARS Password Result))
[OR (EQ Password (QUOTE 343Q))
(RAID (QUOTE (WRONG # PUSHED]
(!CKFUZZYEQ Result ANSWER (QUOTE FORM]
(QUOTE 343Q)
FORM)))
(PUTPROPS MTCHECK MACRO [Y (CONS (QUOTE MTCHECKSTK)
(MAPCAR Y (FUNCTION (LAMBDA (X)
(LIST (QUOTE MTCHECK1)
X])
(PUTPROPS MTCHECK1 MACRO [(X)
(OR X (MTHELP (QUOTE (Failed: X])
)
)
(DEFINEQ
(!DIAGNOSE
(LAMBDA NIL (* JonL " 1-Jun-84 21:11")
(!NUMBERTEST)
(!FNUMTEST)
(!MIXNUMTEST)
(!CONSTEST)
(!GCTEST)
(!FVARTEST)
(!INTERPTEST)
(CHECKCONSPAGES)
(CHECKFREELISTS)
(RECLAIM)
(CHECKFREELISTS)))
(!DIAGNOSELP
[LAMBDA NIL (* bvm: "11-MAR-82 15:32")
(PROG ((I 0))
LP (!DIAGNOSE)
(\STOPDISPLAY)
(RELEASEWORKINGSET)
(\STARTDISPLAY)
(SETQ \CURRENTDISPLAYLINE 0)
(printout T "Pass " (add I 1)
" completed." T)
(GO LP])
(!INTERPTEST
[LAMBDA NIL (* lmm "30-MAY-83 19:40")
(PROG (INTERPDEF ANON)
[PUTD (QUOTE !INTERPTESTER)
(SETQ INTERPDEF (LIST (QUOTE LAMBDA)
NIL
(QUOTE (!CHECKARGS]
[for FORMAL in (QUOTE (NIL (A)
(A B)
(A B C)
(A B C D)
(A B C D E)
(A B C D E F)
N))
do (RPLACA (CDR INTERPDEF)
FORMAL)
(for ACTUAL in (QUOTE (NIL (1)
(1 2)
(1 2 3)
(1 2 3 4)
(1 2 3 4 5)
(1 2 3 4 5 6)))
do (SETQ ANON T)
(APPLY INTERPDEF ACTUAL)
(EVAL (CONS INTERPDEF ACTUAL))
(SETQ ANON)
(APPLY (QUOTE !INTERPTESTER)
ACTUAL)
(EVAL (CONS (QUOTE !INTERPTESTER)
ACTUAL))
(COND
((EQ FORMAL (QUOTE N))
(APPLY [QUOTE (LAMBDA N (PROG ((I 1))
LP (COND
((NOT (IGREATERP I N))
(!CHECKLSTARARG I (ARG N I))
(SETQ I (ADD1 I))
(GO LP)))
(SETQ I 1)
LP2 (COND
((NOT (IGREATERP I N))
(SETARG N I (IPLUS 200 I))
(!CHECKLSTARSETARG I (ARG N I))
(SETQ I (ADD1 I))
(GO LP2]
ACTUAL]
(PROG (A B C D)
(for PAIR in (QUOTE ((3 3)
(T T)
(NIL NIL)
((SETQ FOOVAR 3)
3)
(A NIL)
(B NIL)
(C NIL)
(D NIL)
((SETTOPVAL (QUOTE FOOVAR)
37)
37)
(FOOVAR 37)
((SETQ A 39)
39)
((SETQ B 47)
47)
((SETQ C 66)
66)
(A 39)
(B 47)
(C 66)
((PROG NIL
(RETURN 12))
12)
((PROG NIL
(GO L1)
L1 (RETURN 101)
(RETURN 102)
(RETURN 103))
101)
((PROG ((A 324))
(RETURN A))
324)
((PROG ((A 1023)
(B 412))
(OR (AND (EQ A 1023)
(EQ B 412))
(MTHELP)))
NIL)))
do (OR (EQ (EVAL (CAR PAIR))
(CADR PAIR))
(MTHELP PAIR "TEST FAILED")))
(OR (AND (EQ A 39)
(EQ B 47)
(EQ C 66)
(EQ FOOVAR 37))
(MTHELP (QUOTE (COMPILEVAL])
(!CHECKARGS
[LAMBDA NIL
(DECLARE (USEDFREE ACTUAL ANON FORMAL INTERPDEF A B C D E F N))
(* bvm: "11-MAR-82 15:43")
[COND
[(LISTP FORMAL)
(for Y in FORMAL as X←ACTUAL bind VAL by (CDR X)
do (COND
((OR (NEQ (SETQ VAL (SELECTQ Y
(A A)
(B B)
(C C)
(D D)
(E E)
(F F)
(SHOULDNT)))
(CAR X))
(NEQ (SETQ VAL (EVALV Y))
(CAR X)))
(MTHELP Y "Free Value wrong - was " VAL "should be" (CAR X]
(FORMAL (OR (AND (EQ (EVALV FORMAL)
(LENGTH ACTUAL))
(EQ N (EVALV FORMAL)))
(MTHELP (QUOTE ARGCOUNT)))
(for I from 1 to N as X in ACTUAL do (OR (EQ (ARG N I)
X)
(MTHELP (QUOTE ARG)
I]
(PROG ((FRAME (REALSTKNTH -1 (QUOTE !CHECKARGS)))
SCANFRAME NARGS NAME)
(OR FRAME (MTHELP "Interpreter frame not found"))
(OR (EQ (COND
(ANON INTERPDEF)
(T (QUOTE !INTERPTESTER)))
(SETQ NAME (STKNAME FRAME)))
(MTHELP "Interpreter frame name wrong:" NAME))
(for X in FORMAL do (OR (EQP FRAME (SETQ SCANFRAME (STKSCAN X)))
(MTHELP "STKSCAN failed for var" X))
(RELSTK SCANFRAME))
(OR (IGEQ (SETQ NARGS (STKNARGS FRAME))
(LENGTH FORMAL))
(MTHELP "STKNARGS WRONG" NARGS))
(RELSTK FRAME])
(!CHECKLSTARARG
[LAMBDA (I VAL) (* bvm: "26-SEP-81 21:19")
(OR (EQ VAL (CAR (NTH ACTUAL I)))
(MTHELP "INTERPRETED ARG" I])
(!CHECKLSTARSETARG
[LAMBDA (I VAL) (* bvm: "26-SEP-81 21:20")
(OR (EQ VAL (IPLUS I 310Q))
(MTHELP "INTERPRETED SETARG" I])
(!CONSTEST
(LAMBDA NIL (* JonL "16-Mar-84 12:10")
(PROG (A B C D)
(MTCHECKSTK (PROG1 NIL (SETQ A (CONS (QUOTE A)
(QUOTE B)))
(MTCHECK (EQ (CAR A)
(QUOTE A))
(EQ (CDR A)
(QUOTE B)))
(SETQ A (CONS (QUOTE A)
(SETQ B (QUOTE (D E F)))))
(MTCHECK (EQ (CAR A)
(QUOTE A))
(EQ (CDR A)
B))
(SETQ A (DOCOLLECT (CONS 1)))
(MTCHECK (EQUAL (CAR A)
(QUOTE (1)))
(EQ (CDR A)
A)
(EQ (\REFCNT A)
1)
(EQ (\REFCNT (CAR A))
1))
(for X on (CDR (for I from 1 to 400Q collect (CONS I)))
do (MTCHECK (EQ (\REFCNT X)
1))
(EQ (\REFCNT (CAR X))
1))
(SETQ D (for I from 0 to 1000Q collect (LIST I)))
(for X on D do (PROG ((Y (CDR X))
(AX (CAR X))
(AY (CADR X))
(DY (CDDR X)))
(OR Y (RETURN))
(MTCHECK (PROGN (swap (CAR X)
(CAR Y))
(AND (EQ (CAR X)
AY)
(EQ (CAR Y)
AX))))
(MTCHECK (PROGN (swap (CDR Y)
(CDR X))
(AND (EQ (CDR X)
DY)
(EQ (CDR Y)
Y))))
(MTCHECK (PROGN
(* Now put them back)
(swap (CAR X)
(CAR Y))
(swap (CDR Y)
(CDR X))
(AND (EQ Y (CDR X))
(EQ (CAR X)
AX)
(EQ (CAR Y)
AY))))))
(for VAR in (LIST NIL D "A STRING")
do (for X on D do (MTCHECK (EQ (PROG1 (CDR X)
(swap (CDR X)
VAR)
(swap (CDR X)
VAR))
(CDR X)))))
(for X on (CDR D) do (MTCHECK (EQ (\REFCNT X)
1)
(EQ (\REFCNT (CAR X))
1)))
(for I from 0 to 1000Q do (MTCHECK (EQUAL (pop D)
(LIST I))))
(for X
in (QUOTE ((((A) . B))
(A B)
((A B . C))
((A B C D . E))
((A . B)
(C . D)
(E . F)
((((((((((((((G)))))))))))))))
(1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q 17Q 20Q 21Q 22Q
23Q 24Q)))
bind Y K Z
do (MTCHECK (EQUAL X (SETQ Y (!COPY X))))
(MTCHECK (EQUAL X (SETQ Z (COPY X))))
(MTCHECK (EQUAL X (SETQ Z (!SMASH Z))))
(MTCHECK (EQUAL X (SETQ K (MAPCAR X (FUNCTION (LAMBDA (YY)
YY))))))))))))
(!COPY
[LAMBDA (X) (* lmm "25-FEB-81 21:47")
(COND
((NLISTP X)
X)
(T (CONS (!COPY (CAR X))
(!COPY (CDR X])
(!SMASH
[LAMBDA (X) (* bvm: "14-JAN-82 17:04")
(COND
[(LISTP X)
(RPLACD (RPLACA X (!SMASH (CAR X)))
(!SMASH (CDR X]
((NULL X)
(RPLACA (RPLACD X X)
X))
(T X])
(CHECKFREELISTS
[LAMBDA NIL (* lmm "30-MAY-83 19:14")
(for I from 1 to \MaxTypeNumber
do (PROG ((DTD (\GETDTD I))
NAME)
(SELECTQ (OR (\INDEXATOMPNAME (fetch DTDNAME of DTD))
(RETURN))
((LITATOM **DEALLOC** SMALLP)
(RETURN))
NIL)
(COND
[(OR (EQ CDRCODING 0)
(NEQ I \LISTP))
(for (PTR ←(fetch DTDFREE of DTD)) by (\GETBASEPTR PTR 0) while PTR
do (MTCHECK (EQ (NTYPX PTR)
I]
(T (for (LSTPAG ←(create POINTER
PAGE# ←(fetch DTDNEXTPAGE of \LISTPDTD)))
by (create POINTER
PAGE# ←(fetch (CONSPAGE NEXTPAGE) of LSTPAG))
while LSTPAG do (MTCHECK (LISTP LSTPAG])
(!CKEQ
(LAMBDA (RESULT ANSWER FORM) (* JonL " 1-Jun-84 21:17")
(OR (EQ RESULT ANSWER)
(AND (EQ (NTYPX RESULT)
(NTYPX ANSWER))
(EQUAL RESULT ANSWER))
(RAID (LIST FORM (QUOTE =>)
RESULT
(QUOTE should-have-been)
ANSWER)))))
)
(* Test out of free variables)
(DEFINEQ
(!FVARTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(PUSH.TEST)
(CALLS.FIRSTARGTEST)
(CALLS.LASTARGTEST)
(CALLS.TOOFEWARGS)
(FVAR.FREE)
(FVAR.TEST)
(FVAR.TEST2)
(FVAR.TEST3)))
(PUSH.TEST
(LAMBDA (I0 I1 I2 I3 I4) (* JonL " 1-Jun-84 19:54")
(PROG (P0 P1 P2 P3 P4 P5 P6 P7 P8)
(PROGN (MTCHECKSTK (COND
((NULL F0)
F0)))
(MTCHECKSTK (COND
((NULL F1)
F1)))
(MTCHECKSTK (COND
((NULL F2)
F2)))
(MTCHECKSTK (COND
((NULL F3)
F3)))
(MTCHECKSTK (COND
((NULL F4)
F4)))
(MTCHECKSTK (COND
((NULL F5)
F5)))
(MTCHECKSTK (COND
((NULL F6)
F6)))
(MTCHECKSTK (COND
((NULL F7)
F7)))
(MTCHECKSTK (COND
((NULL F8)
F8))))
(PROGN (MTCHECKSTK (COND
((NULL P0)
P0)))
(MTCHECKSTK (COND
((NULL P1)
P1)))
(MTCHECKSTK (COND
((NULL P7)
P7)))
(MTCHECKSTK (COND
((NULL P8)
P8)))))))
(CALLS.FIRSTARGTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(MTCHECK (EQ (FN.FIRSTARG.FVARS 1 2 3)
1)
(EQ (FN.FIRSTARG.PVARS.FVARS 1 2 3)
1))))
(CALLS.LASTARGTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(MTCHECK (EQ (FN.LASTARG.FVARS 1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q 17Q)
17Q))
(MTCHECK (EQ (FN.LASTARG.FVARS.PVARS 1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q 17Q)
17Q))))
(CALLS.TOOFEWARGS
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(MTCHECK (EQ (FN.FIRSTARG.PVARS.FVARS 1 2)
1)
(EQ (FN.FIRSTARG.PVARS.FVARS)
NIL)
(EQ (FN.LASTARG.FVARS 1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q)
NIL))))
(FVAR.FREE
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(PROGN (SETQ F0 144Q)
(SETQ F1 145Q)
(SETQ F2 146Q)
(SETQ F3 147Q)
(SETQ F4 150Q)
(SETQ F5 151Q)
(SETQ F6 152Q)
(SETQ F7 153Q)
(SETQ F8 154Q)
(MTCHECK (EQ F0 144Q)
(EQ F1 145Q)
(EQ F2 146Q)
(EQ F3 147Q)
(EQ F4 150Q)
(EQ F5 151Q)
(EQ F6 152Q)
(EQ F7 153Q)
(EQ F8 154Q))
(SETQ F0 0)
(SETQ F1 1)
(SETQ F2 2)
(SETQ F3 3)
(SETQ F4 4)
(SETQ F5 5)
(SETQ F6 6)
(SETQ F7 7)
(SETQ F8 10Q))))
(FVAR.TEST
(LAMBDA (FLG) (* JonL " 1-Jun-84 18:19")
(PROG ((FREE.VAR.FLAG (QUOTE FREE.VALUE))
(FREE.VAR (QUOTE GARBAGE)))
(DECLARE (SPECVARS . T))
(FN.FR1)
(MTCHECK (NULL FREE.VAR.FLAG))
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE))))
(PROG ((FREE.VAR.FLAG (QUOTE FREE.VALUE)))
(DECLARE (SPECVARS . T))
(FN.FR1)
(MTCHECK (NULL FREE.VAR.FLAG))
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE))))))
(FVAR.TEST2
(LAMBDA NIL (* lmm "31-JUL-81 15:58")
(PROG ((FVAR1 1)
(FVAR2 2)
(FVAR3 3))
(FVAR.TEST T))))
(FVAR.TEST3
(LAMBDA NIL (* lmm " 3-JAN-80 01:46")
(FVAR.TESTN 1 2 3)))
(FN.FIRSTARG.FVARS
(LAMBDA (X Y Z) (* JonL " 1-Jun-84 18:32")
(COND
(NIL FREE.1)
(NIL FREE.2)
(NIL FREE.3)
(T X))))
(FN.FIRSTARG.PVARS.FVARS
(LAMBDA (X Y Z) (* JonL " 1-Jun-84 18:33")
(PROG (P D Q)
(RETURN (COND
(P FREE.1)
(P FREE.2)
(P FREE.3)
(T X))))))
(FN.LASTARG.FVARS
(LAMBDA (A1 A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 A12 A13 A14 A15)
(* JonL " 1-Jun-84 18:34")
(COND
(NIL FREE.1)
(NIL FREE.2)
(NIL FREE.3)
(T A15))))
(FN.LASTARG.FVARS.PVARS
(LAMBDA (A1 A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 A12 A13 A14 A15)
(* JonL " 1-Jun-84 18:35")
(PROG (P1 P2 P3)
(RETURN (COND
(NIL FREE.1)
(NIL FREE.2)
(NIL FREE.3)
(T A15))))))
(FVAR.TESTN
(LAMBDA (FVAR1 FVAR2 FVAR3) (* lmm " 3-JAN-80 01:46")
(FVAR.TEST T)))
(FN.FREE.SKIPPVARS
(LAMBDA NIL (* bvm: "21-OCT-83 12:38")
(PROG (FVAR1 FVAR2 FVAR3)
((OPCODES NOP)))
(FN.FVAR3)))
(FN.FREEPVAR
(LAMBDA NIL (* bvm: "21-OCT-83 12:29")
(PROG (FVAR3)
(SETQ FVAR3 (QUOTE FREEPVAR.VALUE))
(RETURN (FN.FVAR3)))))
(FN.FVAR3
(LAMBDA NIL (* bvm: "21-OCT-83 12:29")
FVAR3))
(FN.FREEARG
(LAMBDA (FVAR3) (* lmm " 3-JAN-80 01:34")
(FN.FVAR3)))
(FN.FR1
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(FN.FR2)
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE)))))
(FN.FR2
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(FN.FR3)
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE)))))
(FN.FR3
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(COND
(FREE.VAR.FLAG (SETQ FREE.VAR FREE.VAR.FLAG)
(SETQ FREE.VAR.FLAG NIL))
(T (MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE)))))))
(FAULTTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(SETQ FAULTFVAR 144Q)
(MTCHECK (EQ 144Q (PROGN (\RELEASEWORKINGSET)
FAULTFVAR)))))
)
(RPAQQ F0 0)
(RPAQQ F1 1)
(RPAQQ F2 2)
(RPAQQ F3 3)
(RPAQQ F4 4)
(RPAQQ F5 5)
(RPAQQ F6 6)
(RPAQQ F7 7)
(RPAQQ F8 10Q)
(RPAQQ !MTALLOWINEXACTFLG T)
(DEFINEQ
(!NUMBERTEST
[LAMBDA NIL (* lmm "21-OCT-81 15:50")
(!NUMTEST1)
(!NUMTEST2)
(!NUMTEST3)
(!NUMTEST4)
(!NUMTEST5)
(!NUMTEST6])
(!NUMTEST1
[LAMBDA NIL (* bvm: " 8-MAR-82 22:59")
(MTCHECKSTK (CKEQ (IGREATERP 0 0)
NIL)
(CKEQ (IPLUS 0 0)
0)
(CKEQ (IDIFFERENCE 0 0)
0)
(CKEQ (LOGOR 0 0)
0)
(CKEQ (LOGAND 0 0)
0)
(CKEQ (LOGXOR 0 0)
0)
(CKEQ (IGREATERP 0 1)
NIL)
(CKEQ (IPLUS 0 1)
1)
(CKEQ (IDIFFERENCE 0 1)
-1)
(CKEQ (LOGOR 0 1)
1)
(CKEQ (LOGAND 0 1)
0)
(CKEQ (LOGXOR 0 1)
1)
(CKEQ (IGREATERP 0 -1)
T)
(CKEQ (IPLUS 0 -1)
-1)
(CKEQ (IDIFFERENCE 0 -1)
1)
(CKEQ (LOGOR 0 -1)
-1)
(CKEQ (LOGAND 0 -1)
0)
(CKEQ (LOGXOR 0 -1)
-1)
(CKEQ (IGREATERP 0 2)
NIL)
(CKEQ (IPLUS 0 2)
2)
(CKEQ (IDIFFERENCE 0 2)
-2)
(CKEQ (LOGOR 0 2)
2)
(CKEQ (LOGAND 0 2)
0)
(CKEQ (LOGXOR 0 2)
2)
(CKEQ (IGREATERP 0 -2)
T)
(CKEQ (IPLUS 0 -2)
-2)
(CKEQ (IDIFFERENCE 0 -2)
2)
(CKEQ (LOGOR 0 -2)
-2)
(CKEQ (LOGAND 0 -2)
0)
(CKEQ (LOGXOR 0 -2)
-2)
(CKEQ (IGREATERP 0 177777Q)
NIL)
(CKEQ (IPLUS 0 177777Q)
177777Q)
(CKEQ (IDIFFERENCE 0 177777Q)
-177777Q)
(CKEQ (LOGOR 0 177777Q)
177777Q)
(CKEQ (LOGAND 0 177777Q)
0)
(CKEQ (LOGXOR 0 177777Q)
177777Q)
(CKEQ (IGREATERP 0 -200000Q)
T)
(CKEQ (IPLUS 0 -200000Q)
-200000Q)
(CKEQ (IDIFFERENCE 0 -200000Q)
200000Q)
(CKEQ (LOGOR 0 -200000Q)
-200000Q)
(CKEQ (LOGAND 0 -200000Q)
0)
(CKEQ (LOGXOR 0 -200000Q)
-200000Q)
(CKEQ (IGREATERP 0 177776Q)
NIL)
(CKEQ (IPLUS 0 177776Q)
177776Q)
(CKEQ (IDIFFERENCE 0 177776Q)
-177776Q)
(CKEQ (LOGOR 0 177776Q)
177776Q)
(CKEQ (LOGAND 0 177776Q)
0)
(CKEQ (LOGXOR 0 177776Q)
177776Q)
(CKEQ (IGREATERP 0 -200001Q)
T)
(CKEQ (IPLUS 0 -200001Q)
-200001Q)
(CKEQ (IDIFFERENCE 0 -200001Q)
200001Q)
(CKEQ (LOGOR 0 -200001Q)
-200001Q)
(CKEQ (LOGAND 0 -200001Q)
0)
(CKEQ (LOGXOR 0 -200001Q)
-200001Q)
(CKEQ (IGREATERP 1 0)
T)
(CKEQ (IPLUS 1 0)
1)
(CKEQ (IDIFFERENCE 1 0)
1)
(CKEQ (LOGOR 1 0)
1)
(CKEQ (LOGAND 1 0)
0)
(CKEQ (LOGXOR 1 0)
1)
(CKEQ (IGREATERP 1 1)
NIL)
(CKEQ (IPLUS 1 1)
2)
(CKEQ (IDIFFERENCE 1 1)
0)
(CKEQ (LOGOR 1 1)
1)
(CKEQ (LOGAND 1 1)
1)
(CKEQ (LOGXOR 1 1)
0)
(CKEQ (IGREATERP 1 -1)
T)
(CKEQ (IPLUS 1 -1)
0)
(CKEQ (IDIFFERENCE 1 -1)
2)
(CKEQ (LOGOR 1 -1)
-1)
(CKEQ (LOGAND 1 -1)
1)
(CKEQ (LOGXOR 1 -1)
-2)
(CKEQ (IGREATERP 1 2)
NIL)
(CKEQ (IPLUS 1 2)
3)
(CKEQ (IDIFFERENCE 1 2)
-1)
(CKEQ (LOGOR 1 2)
3)
(CKEQ (LOGAND 1 2)
0)
(CKEQ (LOGXOR 1 2)
3)
(CKEQ (IGREATERP 1 -2)
T)
(CKEQ (IPLUS 1 -2)
-1)
(CKEQ (IDIFFERENCE 1 -2)
3)
(CKEQ (LOGOR 1 -2)
-1)
(CKEQ (LOGAND 1 -2)
0)
(CKEQ (LOGXOR 1 -2)
-1)
(CKEQ (IGREATERP 1 177777Q)
NIL)
(CKEQ (IPLUS 1 177777Q)
200000Q)
(CKEQ (IDIFFERENCE 1 177777Q)
-177776Q)
(CKEQ (LOGOR 1 177777Q)
177777Q)
(CKEQ (LOGAND 1 177777Q)
1)
(CKEQ (LOGXOR 1 177777Q)
177776Q)
(CKEQ (IGREATERP 1 -200000Q)
T)
(CKEQ (IPLUS 1 -200000Q)
-177777Q)
(CKEQ (IDIFFERENCE 1 -200000Q)
200001Q)
(CKEQ (LOGOR 1 -200000Q)
-177777Q)
(CKEQ (LOGAND 1 -200000Q)
0)
(CKEQ (LOGXOR 1 -200000Q)
-177777Q)
(CKEQ (IGREATERP 1 177776Q)
NIL)
(CKEQ (IPLUS 1 177776Q)
177777Q)
(CKEQ (IDIFFERENCE 1 177776Q)
-177775Q])
(!NUMTEST2
[LAMBDA NIL (* bvm: " 8-MAR-82 22:59")
(MTCHECKSTK (CKEQ (LOGOR 1 177776Q)
177777Q)
(CKEQ (LOGAND 1 177776Q)
0)
(CKEQ (LOGXOR 1 177776Q)
177777Q)
(CKEQ (IGREATERP 1 -200001Q)
T)
(CKEQ (IPLUS 1 -200001Q)
-200000Q)
(CKEQ (IDIFFERENCE 1 -200001Q)
200002Q)
(CKEQ (LOGOR 1 -200001Q)
-200001Q)
(CKEQ (LOGAND 1 -200001Q)
1)
(CKEQ (LOGXOR 1 -200001Q)
-200002Q)
(CKEQ (IGREATERP -1 0)
NIL)
(CKEQ (IPLUS -1 0)
-1)
(CKEQ (IDIFFERENCE -1 0)
-1)
(CKEQ (LOGOR -1 0)
-1)
(CKEQ (LOGAND -1 0)
0)
(CKEQ (LOGXOR -1 0)
-1)
(CKEQ (IGREATERP -1 1)
NIL)
(CKEQ (IPLUS -1 1)
0)
(CKEQ (IDIFFERENCE -1 1)
-2)
(CKEQ (LOGOR -1 1)
-1)
(CKEQ (LOGAND -1 1)
1)
(CKEQ (LOGXOR -1 1)
-2)
(CKEQ (IGREATERP -1 -1)
NIL)
(CKEQ (IPLUS -1 -1)
-2)
(CKEQ (IDIFFERENCE -1 -1)
0)
(CKEQ (LOGOR -1 -1)
-1)
(CKEQ (LOGAND -1 -1)
-1)
(CKEQ (LOGXOR -1 -1)
0)
(CKEQ (IGREATERP -1 2)
NIL)
(CKEQ (IPLUS -1 2)
1)
(CKEQ (IDIFFERENCE -1 2)
-3)
(CKEQ (LOGOR -1 2)
-1)
(CKEQ (LOGAND -1 2)
2)
(CKEQ (LOGXOR -1 2)
-3)
(CKEQ (IGREATERP -1 -2)
T)
(CKEQ (IPLUS -1 -2)
-3)
(CKEQ (IDIFFERENCE -1 -2)
1)
(CKEQ (LOGOR -1 -2)
-1)
(CKEQ (LOGAND -1 -2)
-2)
(CKEQ (LOGXOR -1 -2)
1)
(CKEQ (IGREATERP -1 177777Q)
NIL)
(CKEQ (IPLUS -1 177777Q)
177776Q)
(CKEQ (IDIFFERENCE -1 177777Q)
-200000Q)
(CKEQ (LOGOR -1 177777Q)
-1)
(CKEQ (LOGAND -1 177777Q)
177777Q)
(CKEQ (LOGXOR -1 177777Q)
-200000Q)
(CKEQ (IGREATERP -1 -200000Q)
T)
(CKEQ (IPLUS -1 -200000Q)
-200001Q)
(CKEQ (IDIFFERENCE -1 -200000Q)
177777Q)
(CKEQ (LOGOR -1 -200000Q)
-1)
(CKEQ (LOGAND -1 -200000Q)
-200000Q)
(CKEQ (LOGXOR -1 -200000Q)
177777Q)
(CKEQ (IGREATERP -1 177776Q)
NIL)
(CKEQ (IPLUS -1 177776Q)
177775Q)
(CKEQ (IDIFFERENCE -1 177776Q)
-177777Q)
(CKEQ (LOGOR -1 177776Q)
-1)
(CKEQ (LOGAND -1 177776Q)
177776Q)
(CKEQ (LOGXOR -1 177776Q)
-177777Q)
(CKEQ (IGREATERP -1 -200001Q)
T)
(CKEQ (IPLUS -1 -200001Q)
-200002Q)
(CKEQ (IDIFFERENCE -1 -200001Q)
200000Q)
(CKEQ (LOGOR -1 -200001Q)
-1)
(CKEQ (LOGAND -1 -200001Q)
-200001Q)
(CKEQ (LOGXOR -1 -200001Q)
200000Q)
(CKEQ (IGREATERP 2 0)
T)
(CKEQ (IPLUS 2 0)
2)
(CKEQ (IDIFFERENCE 2 0)
2)
(CKEQ (LOGOR 2 0)
2)
(CKEQ (LOGAND 2 0)
0)
(CKEQ (LOGXOR 2 0)
2)
(CKEQ (IGREATERP 2 1)
T)
(CKEQ (IPLUS 2 1)
3)
(CKEQ (IDIFFERENCE 2 1)
1)
(CKEQ (LOGOR 2 1)
3)
(CKEQ (LOGAND 2 1)
0)
(CKEQ (LOGXOR 2 1)
3)
(CKEQ (IGREATERP 2 -1)
T)
(CKEQ (IPLUS 2 -1)
1)
(CKEQ (IDIFFERENCE 2 -1)
3)
(CKEQ (LOGOR 2 -1)
-1)
(CKEQ (LOGAND 2 -1)
2)
(CKEQ (LOGXOR 2 -1)
-3)
(CKEQ (IGREATERP 2 2)
NIL)
(CKEQ (IPLUS 2 2)
4)
(CKEQ (IDIFFERENCE 2 2)
0)
(CKEQ (LOGOR 2 2)
2)
(CKEQ (LOGAND 2 2)
2)
(CKEQ (LOGXOR 2 2)
0)
(CKEQ (IGREATERP 2 -2)
T)
(CKEQ (IPLUS 2 -2)
0)
(CKEQ (IDIFFERENCE 2 -2)
4)
(CKEQ (LOGOR 2 -2)
-2)
(CKEQ (LOGAND 2 -2)
2)
(CKEQ (LOGXOR 2 -2)
-4)
(CKEQ (IGREATERP 2 177777Q)
NIL)
(CKEQ (IPLUS 2 177777Q)
200001Q)
(CKEQ (IDIFFERENCE 2 177777Q)
-177775Q)
(CKEQ (LOGOR 2 177777Q)
177777Q)
(CKEQ (LOGAND 2 177777Q)
2)
(CKEQ (LOGXOR 2 177777Q)
177775Q])
(!NUMTEST3
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (IGREATERP 2 -200000Q)
T)
(CKEQ (IPLUS 2 -200000Q)
-177776Q)
(CKEQ (IDIFFERENCE 2 -200000Q)
200002Q)
(CKEQ (LOGOR 2 -200000Q)
-177776Q)
(CKEQ (LOGAND 2 -200000Q)
0)
(CKEQ (LOGXOR 2 -200000Q)
-177776Q)
(CKEQ (IGREATERP 2 177776Q)
NIL)
(CKEQ (IPLUS 2 177776Q)
200000Q)
(CKEQ (IDIFFERENCE 2 177776Q)
-177774Q)
(CKEQ (LOGOR 2 177776Q)
177776Q)
(CKEQ (LOGAND 2 177776Q)
2)
(CKEQ (LOGXOR 2 177776Q)
177774Q)
(CKEQ (IGREATERP 2 -200001Q)
T)
(CKEQ (IPLUS 2 -200001Q)
-177777Q)
(CKEQ (IDIFFERENCE 2 -200001Q)
200003Q)
(CKEQ (LOGOR 2 -200001Q)
-200001Q)
(CKEQ (LOGAND 2 -200001Q)
2)
(CKEQ (LOGXOR 2 -200001Q)
-200003Q)
(CKEQ (IGREATERP -2 0)
NIL)
(CKEQ (IPLUS -2 0)
-2)
(CKEQ (IDIFFERENCE -2 0)
-2)
(CKEQ (LOGOR -2 0)
-2)
(CKEQ (LOGAND -2 0)
0)
(CKEQ (LOGXOR -2 0)
-2)
(CKEQ (IGREATERP -2 1)
NIL)
(CKEQ (IPLUS -2 1)
-1)
(CKEQ (IDIFFERENCE -2 1)
-3)
(CKEQ (LOGOR -2 1)
-1)
(CKEQ (LOGAND -2 1)
0)
(CKEQ (LOGXOR -2 1)
-1)
(CKEQ (IGREATERP -2 -1)
NIL)
(CKEQ (IPLUS -2 -1)
-3)
(CKEQ (IDIFFERENCE -2 -1)
-1)
(CKEQ (LOGOR -2 -1)
-1)
(CKEQ (LOGAND -2 -1)
-2)
(CKEQ (LOGXOR -2 -1)
1)
(CKEQ (IGREATERP -2 2)
NIL)
(CKEQ (IPLUS -2 2)
0)
(CKEQ (IDIFFERENCE -2 2)
-4)
(CKEQ (LOGOR -2 2)
-2)
(CKEQ (LOGAND -2 2)
2)
(CKEQ (LOGXOR -2 2)
-4)
(CKEQ (IGREATERP -2 -2)
NIL)
(CKEQ (IPLUS -2 -2)
-4)
(CKEQ (IDIFFERENCE -2 -2)
0)
(CKEQ (LOGOR -2 -2)
-2)
(CKEQ (LOGAND -2 -2)
-2)
(CKEQ (LOGXOR -2 -2)
0)
(CKEQ (IGREATERP -2 177777Q)
NIL)
(CKEQ (IPLUS -2 177777Q)
177775Q)
(CKEQ (IDIFFERENCE -2 177777Q)
-200001Q)
(CKEQ (LOGOR -2 177777Q)
-1)
(CKEQ (LOGAND -2 177777Q)
177776Q)
(CKEQ (LOGXOR -2 177777Q)
-177777Q)
(CKEQ (IGREATERP -2 -200000Q)
T)
(CKEQ (IPLUS -2 -200000Q)
-200002Q)
(CKEQ (IDIFFERENCE -2 -200000Q)
177776Q)
(CKEQ (LOGOR -2 -200000Q)
-2)
(CKEQ (LOGAND -2 -200000Q)
-200000Q)
(CKEQ (LOGXOR -2 -200000Q)
177776Q)
(CKEQ (IGREATERP -2 177776Q)
NIL)
(CKEQ (IPLUS -2 177776Q)
177774Q)
(CKEQ (IDIFFERENCE -2 177776Q)
-200000Q)
(CKEQ (LOGOR -2 177776Q)
-2)
(CKEQ (LOGAND -2 177776Q)
177776Q)
(CKEQ (LOGXOR -2 177776Q)
-200000Q)
(CKEQ (IGREATERP -2 -200001Q)
T)
(CKEQ (IPLUS -2 -200001Q)
-200003Q)
(CKEQ (IDIFFERENCE -2 -200001Q)
177777Q)
(CKEQ (LOGOR -2 -200001Q)
-1)
(CKEQ (LOGAND -2 -200001Q)
-200002Q)
(CKEQ (LOGXOR -2 -200001Q)
200001Q)
(CKEQ (IGREATERP 177777Q 0)
T)
(CKEQ (IPLUS 177777Q 0)
177777Q)
(CKEQ (IDIFFERENCE 177777Q 0)
177777Q)
(CKEQ (LOGOR 177777Q 0)
177777Q)
(CKEQ (LOGAND 177777Q 0)
0)
(CKEQ (LOGXOR 177777Q 0)
177777Q)
(CKEQ (IGREATERP 177777Q 1)
T)
(CKEQ (IPLUS 177777Q 1)
200000Q)
(CKEQ (IDIFFERENCE 177777Q 1)
177776Q)
(CKEQ (LOGOR 177777Q 1)
177777Q)
(CKEQ (LOGAND 177777Q 1)
1)
(CKEQ (LOGXOR 177777Q 1)
177776Q)
(CKEQ (IGREATERP 177777Q -1)
T)
(CKEQ (IPLUS 177777Q -1)
177776Q)
(CKEQ (IDIFFERENCE 177777Q -1)
200000Q)
(CKEQ (LOGOR 177777Q -1)
-1)
(CKEQ (LOGAND 177777Q -1)
177777Q)
(CKEQ (LOGXOR 177777Q -1)
-200000Q)
(CKEQ (IGREATERP 177777Q 2)
T)
(CKEQ (IPLUS 177777Q 2)
200001Q)
(CKEQ (IDIFFERENCE 177777Q 2)
177775Q)
(CKEQ (LOGOR 177777Q 2)
177777Q)
(CKEQ (LOGAND 177777Q 2)
2)
(CKEQ (LOGXOR 177777Q 2)
177775Q)
(CKEQ (IGREATERP 177777Q -2)
T)
(CKEQ (IPLUS 177777Q -2)
177775Q)
(CKEQ (IDIFFERENCE 177777Q -2)
200001Q)
(CKEQ (LOGOR 177777Q -2)
-1])
(!NUMTEST4
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (LOGAND 177777Q -2)
177776Q)
(CKEQ (LOGXOR 177777Q -2)
-177777Q)
(CKEQ (IGREATERP 177777Q 177777Q)
NIL)
(CKEQ (IPLUS 177777Q 177777Q)
377776Q)
(CKEQ (IDIFFERENCE 177777Q 177777Q)
0)
(CKEQ (LOGOR 177777Q 177777Q)
177777Q)
(CKEQ (LOGAND 177777Q 177777Q)
177777Q)
(CKEQ (LOGXOR 177777Q 177777Q)
0)
(CKEQ (IGREATERP 177777Q -200000Q)
T)
(CKEQ (IPLUS 177777Q -200000Q)
-1)
(CKEQ (IDIFFERENCE 177777Q -200000Q)
377777Q)
(CKEQ (LOGOR 177777Q -200000Q)
-1)
(CKEQ (LOGAND 177777Q -200000Q)
0)
(CKEQ (LOGXOR 177777Q -200000Q)
-1)
(CKEQ (IGREATERP 177777Q 177776Q)
T)
(CKEQ (IPLUS 177777Q 177776Q)
377775Q)
(CKEQ (IDIFFERENCE 177777Q 177776Q)
1)
(CKEQ (LOGOR 177777Q 177776Q)
177777Q)
(CKEQ (LOGAND 177777Q 177776Q)
177776Q)
(CKEQ (LOGXOR 177777Q 177776Q)
1)
(CKEQ (IGREATERP 177777Q -200001Q)
T)
(CKEQ (IPLUS 177777Q -200001Q)
-2)
(CKEQ (IDIFFERENCE 177777Q -200001Q)
400000Q)
(CKEQ (LOGOR 177777Q -200001Q)
-200001Q)
(CKEQ (LOGAND 177777Q -200001Q)
177777Q)
(CKEQ (LOGXOR 177777Q -200001Q)
-400000Q)
(CKEQ (IGREATERP -200000Q 0)
NIL)
(CKEQ (IPLUS -200000Q 0)
-200000Q)
(CKEQ (IDIFFERENCE -200000Q 0)
-200000Q)
(CKEQ (LOGOR -200000Q 0)
-200000Q)
(CKEQ (LOGAND -200000Q 0)
0)
(CKEQ (LOGXOR -200000Q 0)
-200000Q)
(CKEQ (IGREATERP -200000Q 1)
NIL)
(CKEQ (IPLUS -200000Q 1)
-177777Q)
(CKEQ (IDIFFERENCE -200000Q 1)
-200001Q)
(CKEQ (LOGOR -200000Q 1)
-177777Q)
(CKEQ (LOGAND -200000Q 1)
0)
(CKEQ (LOGXOR -200000Q 1)
-177777Q)
(CKEQ (IGREATERP -200000Q -1)
NIL)
(CKEQ (IPLUS -200000Q -1)
-200001Q)
(CKEQ (IDIFFERENCE -200000Q -1)
-177777Q)
(CKEQ (LOGOR -200000Q -1)
-1)
(CKEQ (LOGAND -200000Q -1)
-200000Q)
(CKEQ (LOGXOR -200000Q -1)
177777Q)
(CKEQ (IGREATERP -200000Q 2)
NIL)
(CKEQ (IPLUS -200000Q 2)
-177776Q)
(CKEQ (IDIFFERENCE -200000Q 2)
-200002Q)
(CKEQ (LOGOR -200000Q 2)
-177776Q)
(CKEQ (LOGAND -200000Q 2)
0)
(CKEQ (LOGXOR -200000Q 2)
-177776Q)
(CKEQ (IGREATERP -200000Q -2)
NIL)
(CKEQ (IPLUS -200000Q -2)
-200002Q)
(CKEQ (IDIFFERENCE -200000Q -2)
-177776Q)
(CKEQ (LOGOR -200000Q -2)
-2)
(CKEQ (LOGAND -200000Q -2)
-200000Q)
(CKEQ (LOGXOR -200000Q -2)
177776Q)
(CKEQ (IGREATERP -200000Q 177777Q)
NIL)
(CKEQ (IPLUS -200000Q 177777Q)
-1)
(CKEQ (IDIFFERENCE -200000Q 177777Q)
-377777Q)
(CKEQ (LOGOR -200000Q 177777Q)
-1)
(CKEQ (LOGAND -200000Q 177777Q)
0)
(CKEQ (LOGXOR -200000Q 177777Q)
-1)
(CKEQ (IGREATERP -200000Q -200000Q)
NIL)
(CKEQ (IPLUS -200000Q -200000Q)
-400000Q)
(CKEQ (IDIFFERENCE -200000Q -200000Q)
0)
(CKEQ (LOGOR -200000Q -200000Q)
-200000Q)
(CKEQ (LOGAND -200000Q -200000Q)
-200000Q)
(CKEQ (LOGXOR -200000Q -200000Q)
0)
(CKEQ (IGREATERP -200000Q 177776Q)
NIL)
(CKEQ (IPLUS -200000Q 177776Q)
-2)
(CKEQ (IDIFFERENCE -200000Q 177776Q)
-377776Q)
(CKEQ (LOGOR -200000Q 177776Q)
-2)
(CKEQ (LOGAND -200000Q 177776Q)
0)
(CKEQ (LOGXOR -200000Q 177776Q)
-2)
(CKEQ (IGREATERP -200000Q -200001Q)
T)
(CKEQ (IPLUS -200000Q -200001Q)
-400001Q)
(CKEQ (IDIFFERENCE -200000Q -200001Q)
1)
(CKEQ (LOGOR -200000Q -200001Q)
-1)
(CKEQ (LOGAND -200000Q -200001Q)
-400000Q)
(CKEQ (LOGXOR -200000Q -200001Q)
377777Q)
(CKEQ (IGREATERP 177776Q 0)
T)
(CKEQ (IPLUS 177776Q 0)
177776Q)
(CKEQ (IDIFFERENCE 177776Q 0)
177776Q)
(CKEQ (LOGOR 177776Q 0)
177776Q)
(CKEQ (LOGAND 177776Q 0)
0)
(CKEQ (LOGXOR 177776Q 0)
177776Q)
(CKEQ (IGREATERP 177776Q 1)
T)
(CKEQ (IPLUS 177776Q 1)
177777Q)
(CKEQ (IDIFFERENCE 177776Q 1)
177775Q)
(CKEQ (LOGOR 177776Q 1)
177777Q)
(CKEQ (LOGAND 177776Q 1)
0)
(CKEQ (LOGXOR 177776Q 1)
177777Q)
(CKEQ (IGREATERP 177776Q -1)
T)
(CKEQ (IPLUS 177776Q -1)
177775Q)
(CKEQ (IDIFFERENCE 177776Q -1)
177777Q)
(CKEQ (LOGOR 177776Q -1)
-1)
(CKEQ (LOGAND 177776Q -1)
177776Q)
(CKEQ (LOGXOR 177776Q -1)
-177777Q)
(CKEQ (IGREATERP 177776Q 2)
T])
(!NUMTEST5
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (IPLUS 177776Q 2)
200000Q)
(CKEQ (IDIFFERENCE 177776Q 2)
177774Q)
(CKEQ (LOGOR 177776Q 2)
177776Q)
(CKEQ (LOGAND 177776Q 2)
2)
(CKEQ (LOGXOR 177776Q 2)
177774Q)
(CKEQ (IGREATERP 177776Q -2)
T)
(CKEQ (IPLUS 177776Q -2)
177774Q)
(CKEQ (IDIFFERENCE 177776Q -2)
200000Q)
(CKEQ (LOGOR 177776Q -2)
-2)
(CKEQ (LOGAND 177776Q -2)
177776Q)
(CKEQ (LOGXOR 177776Q -2)
-200000Q)
(CKEQ (IGREATERP 177776Q 177777Q)
NIL)
(CKEQ (IPLUS 177776Q 177777Q)
377775Q)
(CKEQ (IDIFFERENCE 177776Q 177777Q)
-1)
(CKEQ (LOGOR 177776Q 177777Q)
177777Q)
(CKEQ (LOGAND 177776Q 177777Q)
177776Q)
(CKEQ (LOGXOR 177776Q 177777Q)
1)
(CKEQ (IGREATERP 177776Q -200000Q)
T)
(CKEQ (IPLUS 177776Q -200000Q)
-2)
(CKEQ (IDIFFERENCE 177776Q -200000Q)
377776Q)
(CKEQ (LOGOR 177776Q -200000Q)
-2)
(CKEQ (LOGAND 177776Q -200000Q)
0)
(CKEQ (LOGXOR 177776Q -200000Q)
-2)
(CKEQ (IGREATERP 177776Q 177776Q)
NIL)
(CKEQ (IPLUS 177776Q 177776Q)
377774Q)
(CKEQ (IDIFFERENCE 177776Q 177776Q)
0)
(CKEQ (LOGOR 177776Q 177776Q)
177776Q)
(CKEQ (LOGAND 177776Q 177776Q)
177776Q)
(CKEQ (LOGXOR 177776Q 177776Q)
0)
(CKEQ (IGREATERP 177776Q -200001Q)
T)
(CKEQ (IPLUS 177776Q -200001Q)
-3)
(CKEQ (IDIFFERENCE 177776Q -200001Q)
377777Q)
(CKEQ (LOGOR 177776Q -200001Q)
-200001Q)
(CKEQ (LOGAND 177776Q -200001Q)
177776Q)
(CKEQ (LOGXOR 177776Q -200001Q)
-377777Q)
(CKEQ (IGREATERP -200001Q 0)
NIL)
(CKEQ (IPLUS -200001Q 0)
-200001Q)
(CKEQ (IDIFFERENCE -200001Q 0)
-200001Q)
(CKEQ (LOGOR -200001Q 0)
-200001Q)
(CKEQ (LOGAND -200001Q 0)
0)
(CKEQ (LOGXOR -200001Q 0)
-200001Q)
(CKEQ (IGREATERP -200001Q 1)
NIL)
(CKEQ (IPLUS -200001Q 1)
-200000Q)
(CKEQ (IDIFFERENCE -200001Q 1)
-200002Q)
(CKEQ (LOGOR -200001Q 1)
-200001Q)
(CKEQ (LOGAND -200001Q 1)
1)
(CKEQ (LOGXOR -200001Q 1)
-200002Q)
(CKEQ (IGREATERP -200001Q -1)
NIL)
(CKEQ (IPLUS -200001Q -1)
-200002Q)
(CKEQ (IDIFFERENCE -200001Q -1)
-200000Q)
(CKEQ (LOGOR -200001Q -1)
-1)
(CKEQ (LOGAND -200001Q -1)
-200001Q)
(CKEQ (LOGXOR -200001Q -1)
200000Q)
(CKEQ (IGREATERP -200001Q 2)
NIL)
(CKEQ (IPLUS -200001Q 2)
-177777Q)
(CKEQ (IDIFFERENCE -200001Q 2)
-200003Q)
(CKEQ (LOGOR -200001Q 2)
-200001Q)
(CKEQ (LOGAND -200001Q 2)
2)
(CKEQ (LOGXOR -200001Q 2)
-200003Q)
(CKEQ (IGREATERP -200001Q -2)
NIL)
(CKEQ (IPLUS -200001Q -2)
-200003Q)
(CKEQ (IDIFFERENCE -200001Q -2)
-177777Q)
(CKEQ (LOGOR -200001Q -2)
-1)
(CKEQ (LOGAND -200001Q -2)
-200002Q)
(CKEQ (LOGXOR -200001Q -2)
200001Q)
(CKEQ (IGREATERP -200001Q 177777Q)
NIL)
(CKEQ (IPLUS -200001Q 177777Q)
-2)
(CKEQ (IDIFFERENCE -200001Q 177777Q)
-400000Q)
(CKEQ (LOGOR -200001Q 177777Q)
-200001Q)
(CKEQ (LOGAND -200001Q 177777Q)
177777Q)
(CKEQ (LOGXOR -200001Q 177777Q)
-400000Q)
(CKEQ (IGREATERP -200001Q -200000Q)
NIL)
(CKEQ (IPLUS -200001Q -200000Q)
-400001Q)
(CKEQ (IDIFFERENCE -200001Q -200000Q)
-1)
(CKEQ (LOGOR -200001Q -200000Q)
-1)
(CKEQ (LOGAND -200001Q -200000Q)
-400000Q)
(CKEQ (LOGXOR -200001Q -200000Q)
377777Q)
(CKEQ (IGREATERP -200001Q 177776Q)
NIL)
(CKEQ (IPLUS -200001Q 177776Q)
-3)
(CKEQ (IDIFFERENCE -200001Q 177776Q)
-377777Q)
(CKEQ (LOGOR -200001Q 177776Q)
-200001Q)
(CKEQ (LOGAND -200001Q 177776Q)
177776Q)
(CKEQ (LOGXOR -200001Q 177776Q)
-377777Q)
(CKEQ (IGREATERP -200001Q -200001Q)
NIL)
(CKEQ (IPLUS -200001Q -200001Q)
-400002Q)
(CKEQ (IDIFFERENCE -200001Q -200001Q)
0)
(CKEQ (LOGOR -200001Q -200001Q)
-200001Q)
(CKEQ (LOGAND -200001Q -200001Q)
-200001Q)
(CKEQ (LOGXOR -200001Q -200001Q)
0)
(CKEQ (LRSH 0 1)
0)
(CKEQ (LLSH 0 1)
0)
(CKEQ (LRSH 0 10Q)
0)
(CKEQ (LLSH 0 10Q)
0)
(CKEQ (LRSH 1 1)
0)
(CKEQ (LLSH 1 1)
2)
(CKEQ (LRSH 1 10Q)
0)
(CKEQ (LLSH 1 10Q)
400Q)
(CKEQ (LLSH -1 1)
-2)
(CKEQ (LLSH -1 10Q)
-400Q])
(!NUMTEST6
[LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (LRSH 2 1)
1)
(CKEQ (LLSH 2 1)
4)
(CKEQ (LRSH 2 10Q)
0)
(CKEQ (LLSH 2 10Q)
1000Q)
(CKEQ (LLSH -2 1)
-4)
(CKEQ (LLSH -2 10Q)
-1000Q)
(CKEQ (LRSH 177777Q 1)
77777Q)
(CKEQ (LLSH 177777Q 1)
377776Q)
(CKEQ (LRSH 177777Q 10Q)
377Q)
(CKEQ (LLSH 177777Q 10Q)
77777400Q)
(CKEQ (LLSH -200000Q 1)
-400000Q)
(CKEQ (LLSH -200000Q 10Q)
-100000000Q)
(CKEQ (LRSH 177776Q 1)
77777Q)
(CKEQ (LLSH 177776Q 1)
377774Q)
(CKEQ (LRSH 177776Q 10Q)
377Q)
(CKEQ (LLSH 177776Q 10Q)
77777000Q)
(CKEQ (LLSH -200001Q 1)
-400002Q)
(CKEQ (LLSH -200001Q 10Q)
-100000400Q)
(CKEQ (IQUOTIENT 0 1)
0)
(CKEQ (IREMAINDER 0 1)
0)
(CKEQ (ITIMES 0 1)
0)
(CKEQ (IQUOTIENT 0 10Q)
0)
(CKEQ (IREMAINDER 0 10Q)
0)
(CKEQ (ITIMES 0 10Q)
0)
(CKEQ (IQUOTIENT 1 1)
1)
(CKEQ (IREMAINDER 1 1)
0)
(CKEQ (ITIMES 1 1)
1)
(CKEQ (IQUOTIENT 1 10Q)
0)
(CKEQ (IREMAINDER 1 10Q)
1)
(CKEQ (ITIMES 1 10Q)
10Q)
(CKEQ (IQUOTIENT -1 1)
-1)
(CKEQ (IREMAINDER -1 1)
0)
(CKEQ (ITIMES -1 1)
-1)
(CKEQ (IQUOTIENT -1 10Q)
0)
(CKEQ (IREMAINDER -1 10Q)
-1)
(CKEQ (ITIMES -1 10Q)
-10Q)
(CKEQ (IQUOTIENT 2 1)
2)
(CKEQ (IREMAINDER 2 1)
0)
(CKEQ (ITIMES 2 1)
2)
(CKEQ (IQUOTIENT 2 10Q)
0)
(CKEQ (IREMAINDER 2 10Q)
2)
(CKEQ (ITIMES 2 10Q)
20Q)
(CKEQ (IQUOTIENT -2 1)
-2)
(CKEQ (IREMAINDER -2 1)
0)
(CKEQ (ITIMES -2 1)
-2)
(CKEQ (IQUOTIENT -2 10Q)
0)
(CKEQ (IREMAINDER -2 10Q)
-2)
(CKEQ (ITIMES -2 10Q)
-20Q)
(CKEQ (IQUOTIENT 177777Q 1)
177777Q)
(CKEQ (IREMAINDER 177777Q 1)
0)
(CKEQ (ITIMES 177777Q 1)
177777Q)
(CKEQ (IQUOTIENT 177777Q 10Q)
17777Q)
(CKEQ (IREMAINDER 177777Q 10Q)
7)
(CKEQ (ITIMES 177777Q 10Q)
1777770Q)
(CKEQ (IQUOTIENT -200000Q 1)
-200000Q)
(CKEQ (IREMAINDER -200000Q 1)
0)
(CKEQ (ITIMES -200000Q 1)
-200000Q)
(CKEQ (IQUOTIENT -200000Q 10Q)
-20000Q)
(CKEQ (IREMAINDER -200000Q 10Q)
0)
(CKEQ (ITIMES -200000Q 10Q)
-2000000Q)
(CKEQ (IQUOTIENT 177776Q 1)
177776Q)
(CKEQ (IREMAINDER 177776Q 1)
0)
(CKEQ (ITIMES 177776Q 1)
177776Q)
(CKEQ (IQUOTIENT 177776Q 10Q)
17777Q)
(CKEQ (IREMAINDER 177776Q 10Q)
6)
(CKEQ (ITIMES 177776Q 10Q)
1777760Q)
(CKEQ (IQUOTIENT -200001Q 1)
-200001Q)
(CKEQ (IREMAINDER -200001Q 1)
0)
(CKEQ (ITIMES -200001Q 1)
-200001Q)
(CKEQ (IQUOTIENT -200001Q 10Q)
-20000Q)
(CKEQ (IREMAINDER -200001Q 10Q)
-1)
(CKEQ (ITIMES -200001Q 10Q)
-2000010Q)
(CKEQ (IQUOTIENT 3 1)
3)
(CKEQ (IREMAINDER 3 1)
0)
(CKEQ (ITIMES 3 1)
3)
(CKEQ (IQUOTIENT 3 10Q)
0)
(CKEQ (IREMAINDER 3 10Q)
3)
(CKEQ (ITIMES 3 10Q)
30Q)
(CKEQ (IQUOTIENT -3 1)
-3)
(CKEQ (IREMAINDER -3 1)
0)
(CKEQ (ITIMES -3 1)
-3)
(CKEQ (IQUOTIENT -3 10Q)
0)
(CKEQ (IREMAINDER -3 10Q)
-3)
(CKEQ (ITIMES -3 10Q)
-30Q)
(CKEQ (IQUOTIENT 4 1)
4)
(CKEQ (IREMAINDER 4 1)
0)
(CKEQ (ITIMES 4 1)
4)
(CKEQ (IQUOTIENT 4 10Q)
0)
(CKEQ (IREMAINDER 4 10Q)
4)
(CKEQ (ITIMES 4 10Q)
40Q)
(CKEQ (IQUOTIENT -4 1)
-4)
(CKEQ (IREMAINDER -4 1)
0)
(CKEQ (ITIMES -4 1)
-4)
(CKEQ (IQUOTIENT -4 10Q)
0)
(CKEQ (IREMAINDER -4 10Q)
-4)
(CKEQ (ITIMES -4 10Q)
-40Q])
(!RANDNUMTEST
[LAMBDA NIL (* lmm " 5-JAN-82 20:03")
(* (PROG (FORMS FORM ARG1 ARG2) (FRPTQ 36Q (SETQ ARG1 (SELECTQ (RAND 0 2) (0 (RAND -200000Q 177777Q))
(1 (RAND -5 5)) (RAND -20000000000Q 17777777777Q))) (SETQ ARG2 (SELECTQ (RAND 0 2) (0 (RAND -200000Q 177777Q))
(1 (RAND -5 5)) (RAND -20000000000Q 17777777777Q))) (for FN in (QUOTE (ITIMES IQUOTIENT IPLUS IDIFFERENCE
IREMAINDER)) do (COND ((OR (NEQ ARG2 0) (NEQ FN (QUOTE IQUOTIENT))) (SETQ FORM (APPLY* (PACK*
(QUOTE F) (SUBATOM FN 2 -1)) (FLOAT ARG1) (FLOAT ARG2))) (COND ((AND (FGREATERP FORM -20000000000Q)
(FLESSP FORM -20000000000Q)) (SETQ FORM (LIST FN ARG1 ARG2)) (push FORMS (LIST (QUOTE CKEQ) FORM
(EVAL FORM))))))))) (RETURN (CONS (QUOTE MTCHECKSTK) FORMS))))
(!RANDNUMTEST1)
(!RANDNUMTEST2)
(!RANDNUMTEST3)
(!RANDNUMTEST4])
(!RANDNUMTEST1
[LAMBDA NIL (* lmm " 5-JAN-82 20:00")
(MTCHECKSTK (CKEQ (IDIFFERENCE 225103021Q -41354Q)
225144375Q)
(CKEQ (IPLUS 225103021Q -41354Q)
225041445Q)
(CKEQ (IQUOTIENT 225103021Q -41354Q)
-4351Q)
(CKEQ (IDIFFERENCE 55211Q -170231Q)
245442Q)
(CKEQ (IPLUS 55211Q -170231Q)
-113020Q)
(CKEQ (IQUOTIENT 55211Q -170231Q)
0)
(CKEQ (ITIMES 55211Q -170231Q)
-12505505741Q)
(CKEQ (IDIFFERENCE 7527556636Q 6230151670Q)
1277404746Q)
(CKEQ (IPLUS 7527556636Q 6230151670Q)
15757730526Q)
(CKEQ (IQUOTIENT 7527556636Q 6230151670Q)
1)
(CKEQ (IDIFFERENCE 46753Q 147206Q)
-100233Q)
(CKEQ (IPLUS 46753Q 147206Q)
216161Q)
(CKEQ (IQUOTIENT 46753Q 147206Q)
0)
(CKEQ (ITIMES 46753Q 147206Q)
7666761402Q)
(CKEQ (IDIFFERENCE -2102475710Q 2301345735Q)
-4404043645Q)
(CKEQ (IPLUS -2102475710Q 2301345735Q)
176650025Q)
(CKEQ (IQUOTIENT -2102475710Q 2301345735Q)
0)
(CKEQ (IDIFFERENCE -2623Q 4352565011Q)
-4352567634Q)
(CKEQ (IPLUS -2623Q 4352565011Q)
4352562166Q)
(CKEQ (IQUOTIENT -2623Q 4352565011Q)
0)
(CKEQ (IDIFFERENCE -14153253501Q -57651Q)
-14153173630Q)
(CKEQ (IPLUS -14153253501Q -57651Q)
-14153333352Q)
(CKEQ (IQUOTIENT -14153253501Q -57651Q)
202545Q)
(CKEQ (IDIFFERENCE 165526Q 2720657437Q)
-2720471711Q)
(CKEQ (IPLUS 165526Q 2720657437Q)
2721045165Q)
(CKEQ (IQUOTIENT 165526Q 2720657437Q)
0)
(CKEQ (IDIFFERENCE 2225143040Q 64675Q)
2225056143Q)
(CKEQ (IPLUS 2225143040Q 64675Q)
2225227735Q)
(CKEQ (IQUOTIENT 2225143040Q 64675Q)
26141Q)
(CKEQ (IPLUS -12315334401Q 14120673261Q)
1603336660Q)
(CKEQ (IQUOTIENT -12315334401Q 14120673261Q)
0)
(CKEQ (IDIFFERENCE -10505775255Q 163226Q)
-10506160503Q)
(CKEQ (IPLUS -10505775255Q 163226Q)
-10505612027Q)
(CKEQ (IQUOTIENT -10505775255Q 163226Q)
-46265Q)
(CKEQ (IDIFFERENCE 122271Q 173021Q)
-50530Q)
(CKEQ (IPLUS 122271Q 173021Q)
315312Q)
(CKEQ (IQUOTIENT 122271Q 173021Q)
0)
(CKEQ (IDIFFERENCE 16047667244Q -135273Q)
16050024537Q)
(CKEQ (IPLUS 16047667244Q -135273Q)
16047531751Q)
(CKEQ (IQUOTIENT 16047667244Q -135273Q)
-115146Q)
(CKEQ (IDIFFERENCE -16411515370Q 21036Q)
-16411536426Q)
(CKEQ (IPLUS -16411515370Q 21036Q)
-16411474332Q)
(CKEQ (IQUOTIENT -16411515370Q 21036Q)
-663613Q)
(CKEQ (IDIFFERENCE -11057170232Q -34634Q)
-11057133376Q)
(CKEQ (IPLUS -11057170232Q -34634Q)
-11057225066Q)
(CKEQ (IQUOTIENT -11057170232Q -34634Q)
241472Q)
(CKEQ (IPLUS 14517530732Q -6065652751Q)
6431655761Q)
(CKEQ (IQUOTIENT 14517530732Q -6065652751Q)
-2)
(CKEQ (IDIFFERENCE 137044Q -4034725370Q)
4035064434Q)
(CKEQ (IPLUS 137044Q -4034725370Q)
-4034566324Q)
(CKEQ (IQUOTIENT 137044Q -4034725370Q)
0)
(CKEQ (IDIFFERENCE -14543070643Q -1302005044Q)
-13241063577Q)
(CKEQ (IPLUS -14543070643Q -1302005044Q)
-16045075707Q)
(CKEQ (IQUOTIENT -14543070643Q -1302005044Q)
11Q)
(CKEQ (IDIFFERENCE 14210657030Q 16531056111Q)
-2320177061Q)
(CKEQ (IQUOTIENT 14210657030Q 16531056111Q)
0)
(CKEQ (IDIFFERENCE 550212747Q 1055626226Q)
-305413257Q)
(CKEQ (IPLUS 550212747Q 1055626226Q)
1626041175Q)
(CKEQ (IQUOTIENT 550212747Q 1055626226Q)
0)
(CKEQ (IDIFFERENCE -11131703146Q -11764360741Q)
632455573Q)
(CKEQ (IQUOTIENT -11131703146Q -11764360741Q)
0)
(CKEQ (IDIFFERENCE 1541425342Q 12472345535Q)
-10730720173Q)
(CKEQ (IPLUS 1541425342Q 12472345535Q)
14233773077Q)
(CKEQ (IQUOTIENT 1541425342Q 12472345535Q)
0)
(CKEQ (IDIFFERENCE -15531366430Q -100526Q)
-15531265702Q)
(CKEQ (IPLUS -15531366430Q -100526Q)
-15531467156Q)
(CKEQ (IQUOTIENT -15531366430Q -100526Q)
154211Q)
(CKEQ (IDIFFERENCE -41050Q -326400641Q)
326337571Q)
(CKEQ (IPLUS -41050Q -326400641Q)
-326441711Q)
(CKEQ (IQUOTIENT -41050Q -326400641Q)
0)
(CKEQ (IPLUS 16630056316Q -13347047476Q)
3261006620Q)
(CKEQ (IQUOTIENT 16630056316Q -13347047476Q)
-1)
(CKEQ (IDIFFERENCE -31740Q -6001042052Q)
6001010112Q)
(CKEQ (IPLUS -31740Q -6001042052Q)
-6001074012Q)
(CKEQ (IQUOTIENT -31740Q -6001042052Q)
0)
(CKEQ (IDIFFERENCE -110217Q -12653617250Q)
12653507031Q)
(CKEQ (IPLUS -110217Q -12653617250Q)
-12653727467Q)
(CKEQ (IQUOTIENT -110217Q -12653617250Q)
0)
(CKEQ (IDIFFERENCE 116216Q 2453154032Q)
-2453035614Q)
(CKEQ (IPLUS 116216Q 2453154032Q)
2453272250Q)
(CKEQ (IQUOTIENT 116216Q 2453154032Q)
0)
(CKEQ (IDIFFERENCE 4553332136Q -4142306347Q)
10715640505Q)
(CKEQ (IPLUS 4553332136Q -4142306347Q)
411023567Q)
(CKEQ (IQUOTIENT 4553332136Q -4142306347Q)
-1)
(CKEQ (IPLUS 17161754144Q -3270231756Q)
13671522166Q)
(CKEQ (IQUOTIENT 17161754144Q -3270231756Q)
-4])
(!RANDNUMTEST2
[LAMBDA NIL (* lmm " 5-JAN-82 20:01")
(MTCHECKSTK (CKEQ (IREMAINDER 7372147664Q -161456Q)
64130Q)
(CKEQ (IDIFFERENCE 7372147664Q -161456Q)
7372331342Q)
(CKEQ (IPLUS 7372147664Q -161456Q)
7371766206Q)
(CKEQ (IQUOTIENT 7372147664Q -161456Q)
-41602Q)
(CKEQ (IREMAINDER 17634621231Q -146562Q)
124171Q)
(CKEQ (IDIFFERENCE 17634621231Q -146562Q)
17634770013Q)
(CKEQ (IPLUS 17634621231Q -146562Q)
17634452447Q)
(CKEQ (IQUOTIENT 17634621231Q -146562Q)
-116620Q)
(CKEQ (IREMAINDER -117002Q 11327523020Q)
-117002Q)
(CKEQ (IDIFFERENCE -117002Q 11327523020Q)
-11327642022Q)
(CKEQ (IPLUS -117002Q 11327523020Q)
11327404016Q)
(CKEQ (IQUOTIENT -117002Q 11327523020Q)
0)
(CKEQ (IREMAINDER 7040503561Q 5360767723Q)
1457513636Q)
(CKEQ (IDIFFERENCE 7040503561Q 5360767723Q)
1457513636Q)
(CKEQ (IPLUS 7040503561Q 5360767723Q)
14421473504Q)
(CKEQ (IQUOTIENT 7040503561Q 5360767723Q)
1)
(CKEQ (IREMAINDER 2701423332Q -17633736657Q)
2701423332Q)
(CKEQ (IPLUS 2701423332Q -17633736657Q)
-14732313325Q)
(CKEQ (IQUOTIENT 2701423332Q -17633736657Q)
0)
(CKEQ (IREMAINDER -15075426141Q 53650Q)
-15721Q)
(CKEQ (IDIFFERENCE -15075426141Q 53650Q)
-15075502011Q)
(CKEQ (IPLUS -15075426141Q 53650Q)
-15075352271Q)
(CKEQ (IQUOTIENT -15075426141Q 53650Q)
-231212Q)
(CKEQ (IREMAINDER 11564140373Q 5167Q)
3101Q)
(CKEQ (IDIFFERENCE 11564140373Q 5167Q)
11564133204Q)
(CKEQ (IPLUS 11564140373Q 5167Q)
11564145562Q)
(CKEQ (IQUOTIENT 11564140373Q 5167Q)
1667626Q)
(CKEQ (IREMAINDER -766157106Q 11221047643Q)
-766157106Q)
(CKEQ (IDIFFERENCE -766157106Q 11221047643Q)
-12207226751Q)
(CKEQ (IPLUS -766157106Q 11221047643Q)
10232670535Q)
(CKEQ (IQUOTIENT -766157106Q 11221047643Q)
0)
(CKEQ (IREMAINDER -134743Q -10243Q)
-1342Q)
(CKEQ (IDIFFERENCE -134743Q -10243Q)
-124500Q)
(CKEQ (IPLUS -134743Q -10243Q)
-145206Q)
(CKEQ (IQUOTIENT -134743Q -10243Q)
13Q)
(CKEQ (ITIMES -134743Q -10243Q)
1405105611Q)
(CKEQ (IREMAINDER 156361Q 44021Q)
2276Q)
(CKEQ (IDIFFERENCE 156361Q 44021Q)
112340Q)
(CKEQ (IPLUS 156361Q 44021Q)
222402Q)
(CKEQ (IQUOTIENT 156361Q 44021Q)
3)
(CKEQ (ITIMES 156361Q 44021Q)
7614472001Q)
(CKEQ (IREMAINDER -7606212052Q -12463650767Q)
-7606212052Q)
(CKEQ (IDIFFERENCE -7606212052Q -12463650767Q)
2655436715Q)
(CKEQ (IQUOTIENT -7606212052Q -12463650767Q)
0)
(CKEQ (IREMAINDER -23644Q 2024103014Q)
-23644Q)
(CKEQ (IDIFFERENCE -23644Q 2024103014Q)
-2024126660Q)
(CKEQ (IPLUS -23644Q 2024103014Q)
2024057150Q)
(CKEQ (IQUOTIENT -23644Q 2024103014Q)
0)
(CKEQ (IREMAINDER 142402Q -11771213026Q)
142402Q)
(CKEQ (IDIFFERENCE 142402Q -11771213026Q)
11771355430Q)
(CKEQ (IPLUS 142402Q -11771213026Q)
-11771050424Q)
(CKEQ (IQUOTIENT 142402Q -11771213026Q)
0)
(CKEQ (IREMAINDER 137211Q 123321Q)
13670Q)
(CKEQ (IDIFFERENCE 137211Q 123321Q)
13670Q)
(CKEQ (IPLUS 137211Q 123321Q)
262532Q)
(CKEQ (IQUOTIENT 137211Q 123321Q)
1)
(CKEQ (ITIMES 137211Q 123321Q)
17412061731Q)
(CKEQ (IREMAINDER -203262767Q 163647Q)
-107633Q)
(CKEQ (IDIFFERENCE -203262767Q 163647Q)
-203446636Q)
(CKEQ (IPLUS -203262767Q 163647Q)
-203077120Q)
(CKEQ (IQUOTIENT -203262767Q 163647Q)
-1104Q)
(CKEQ (IREMAINDER -6313474405Q 6752273462Q)
-6313474405Q)
(CKEQ (IDIFFERENCE -6313474405Q 6752273462Q)
-15265770067Q)
(CKEQ (IPLUS -6313474405Q 6752273462Q)
436577055Q)
(CKEQ (IQUOTIENT -6313474405Q 6752273462Q)
0)
(CKEQ (IREMAINDER -14063014353Q 113451Q)
-72715Q)
(CKEQ (IDIFFERENCE -14063014353Q 113451Q)
-14063130024Q)
(CKEQ (IPLUS -14063014353Q 113451Q)
-14062700702Q)
(CKEQ (IQUOTIENT -14063014353Q 113451Q)
-121756Q)
(CKEQ (IREMAINDER 10227145055Q 6462363731Q)
1544561124Q)
(CKEQ (IDIFFERENCE 10227145055Q 6462363731Q)
1544561124Q)
(CKEQ (IPLUS 10227145055Q 6462363731Q)
16711531006Q)
(CKEQ (IQUOTIENT 10227145055Q 6462363731Q)
1)
(CKEQ (IREMAINDER -75324Q 175652Q)
-75324Q)
(CKEQ (IDIFFERENCE -75324Q 175652Q)
-273176Q)
(CKEQ (IPLUS -75324Q 175652Q)
100326Q)
(CKEQ (IQUOTIENT -75324Q 175652Q)
0)
(CKEQ (ITIMES -75324Q 175652Q)
-17057666310Q)
(CKEQ (IREMAINDER 115610Q 11164020356Q)
115610Q)
(CKEQ (IDIFFERENCE 115610Q 11164020356Q)
-11163702546Q)
(CKEQ (IPLUS 115610Q 11164020356Q)
11164136166Q)
(CKEQ (IQUOTIENT 115610Q 11164020356Q)
0)
(CKEQ (IREMAINDER -31121Q 161167Q)
-31121Q)
(CKEQ (IDIFFERENCE -31121Q 161167Q)
-212310Q)
(CKEQ (IPLUS -31121Q 161167Q)
130046Q)
(CKEQ (IQUOTIENT -31121Q 161167Q)
0)
(CKEQ (ITIMES -31121Q 161167Q)
-5440562647Q)
(CKEQ (IREMAINDER -1077046130Q 2302031512Q)
-1077046130Q)
(CKEQ (IDIFFERENCE -1077046130Q 2302031512Q)
-3401077642Q)
(CKEQ (IPLUS -1077046130Q 2302031512Q)
1202763362Q)
(CKEQ (IQUOTIENT -1077046130Q 2302031512Q)
0)
(CKEQ (IREMAINDER 162464Q 5724142525Q)
162464Q)
(CKEQ (IDIFFERENCE 162464Q 5724142525Q)
-5723760041Q)
(CKEQ (IPLUS 162464Q 5724142525Q)
5724325211Q)
(CKEQ (IQUOTIENT 162464Q 5724142525Q)
0)
(CKEQ (IREMAINDER -16247235274Q 2154207235Q)
-1035561416Q)
(CKEQ (IPLUS -16247235274Q 2154207235Q)
-14073026037Q)
(CKEQ (IQUOTIENT -16247235274Q 2154207235Q)
-6)
(CKEQ (IREMAINDER -2773332645Q 145350Q)
-75045Q)
(CKEQ (IDIFFERENCE -2773332645Q 145350Q)
-2773500215Q)
(CKEQ (IPLUS -2773332645Q 145350Q)
-2773165275Q)
(CKEQ (IQUOTIENT -2773332645Q 145350Q)
-17060Q)
(CKEQ (IREMAINDER -30761Q -26031Q)
-2730Q)
(CKEQ (IDIFFERENCE -30761Q -26031Q)
-2730Q)
(CKEQ (IPLUS -30761Q -26031Q)
-57012Q)
(CKEQ (IQUOTIENT -30761Q -26031Q)
1)
(CKEQ (ITIMES -30761Q -26031Q)
1046446211Q)
(CKEQ (IREMAINDER -70373Q -115660Q)
-70373Q)
(CKEQ (IDIFFERENCE -70373Q -115660Q)
25265Q)
(CKEQ (IPLUS -70373Q -115660Q)
-206253Q)
(CKEQ (IQUOTIENT -70373Q -115660Q)
0)
(CKEQ (ITIMES -70373Q -115660Q)
10455322620Q)
(CKEQ (IREMAINDER -161501Q -106613Q)
-52666Q)
(CKEQ (IDIFFERENCE -161501Q -106613Q)
-52666Q)
(CKEQ (IPLUS -161501Q -106613Q)
-270314Q)
(CKEQ (IQUOTIENT -161501Q -106613Q)
1)
(CKEQ (ITIMES -161501Q -106613Q)
17551430513Q)
(CKEQ (IREMAINDER -37733Q 6613741611Q)
-37733Q)
(CKEQ (IDIFFERENCE -37733Q 6613741611Q)
-6614001544Q)
(CKEQ (IPLUS -37733Q 6613741611Q)
6613701656Q)
(CKEQ (IQUOTIENT -37733Q 6613741611Q)
0)
(CKEQ (IREMAINDER 5403313261Q 170515Q)
106045Q)
(CKEQ (IDIFFERENCE 5403313261Q 170515Q)
5403122544Q)
(CKEQ (IPLUS 5403313261Q 170515Q)
5403503776Q)
(CKEQ (IQUOTIENT 5403313261Q 170515Q)
27274Q])
(!RANDNUMTEST3
[LAMBDA NIL (* lmm " 5-JAN-82 20:02")
(MTCHECKSTK (CKEQ (IREMAINDER 7362115002Q 33052Q)
12214Q)
(CKEQ (IDIFFERENCE 7362115002Q 33052Q)
7362061730Q)
(CKEQ (IPLUS 7362115002Q 33052Q)
7362150054Q)
(CKEQ (IQUOTIENT 7362115002Q 33052Q)
215217Q)
(CKEQ (IREMAINDER 156125Q -77040Q)
57065Q)
(CKEQ (IDIFFERENCE 156125Q -77040Q)
255165Q)
(CKEQ (IPLUS 156125Q -77040Q)
57065Q)
(CKEQ (IQUOTIENT 156125Q -77040Q)
-1)
(CKEQ (ITIMES 156125Q -77040Q)
-15443260240Q)
(CKEQ (IREMAINDER 17144576471Q 63524Q)
36051Q)
(CKEQ (IDIFFERENCE 17144576471Q 63524Q)
17144512745Q)
(CKEQ (IPLUS 17144576471Q 63524Q)
17144662215Q)
(CKEQ (IQUOTIENT 17144576471Q 63524Q)
226464Q)
(CKEQ (IREMAINDER -1004475702Q -3747655621Q)
-1004475702Q)
(CKEQ (IDIFFERENCE -1004475702Q -3747655621Q)
2743157717Q)
(CKEQ (IPLUS -1004475702Q -3747655621Q)
-4754353523Q)
(CKEQ (IQUOTIENT -1004475702Q -3747655621Q)
0)
(CKEQ (IREMAINDER 7154Q 74266Q)
7154Q)
(CKEQ (IDIFFERENCE 7154Q 74266Q)
-65112Q)
(CKEQ (IPLUS 7154Q 74266Q)
103442Q)
(CKEQ (IQUOTIENT 7154Q 74266Q)
0)
(CKEQ (ITIMES 7154Q 74266Q)
663160310Q)
(CKEQ (IREMAINDER 14551535630Q -16006147276Q)
14551535630Q)
(CKEQ (IPLUS 14551535630Q -16006147276Q)
-1234411446Q)
(CKEQ (IQUOTIENT 14551535630Q -16006147276Q)
0)
(CKEQ (IREMAINDER -7700724341Q -13323635271Q)
-7700724341Q)
(CKEQ (IDIFFERENCE -7700724341Q -13323635271Q)
3422710730Q)
(CKEQ (IQUOTIENT -7700724341Q -13323635271Q)
0)
(CKEQ (IREMAINDER -130016Q -37545Q)
-30504Q)
(CKEQ (IDIFFERENCE -130016Q -37545Q)
-70251Q)
(CKEQ (IPLUS -130016Q -37545Q)
-167563Q)
(CKEQ (IQUOTIENT -130016Q -37545Q)
2)
(CKEQ (ITIMES -130016Q -37545Q)
5346163606Q)
(CKEQ (IREMAINDER 145065Q 142234Q)
2631Q)
(CKEQ (IDIFFERENCE 145065Q 142234Q)
2631Q)
(CKEQ (IPLUS 145065Q 142234Q)
307321Q)
(CKEQ (IQUOTIENT 145065Q 142234Q)
1)
(CKEQ (IREMAINDER -114603Q 54774426Q)
-114603Q)
(CKEQ (IDIFFERENCE -114603Q 54774426Q)
-55111231Q)
(CKEQ (IPLUS -114603Q 54774426Q)
54657623Q)
(CKEQ (IQUOTIENT -114603Q 54774426Q)
0)
(CKEQ (IREMAINDER 12673322761Q -11447432721Q)
1223670040Q)
(CKEQ (IPLUS 12673322761Q -11447432721Q)
1223670040Q)
(CKEQ (IQUOTIENT 12673322761Q -11447432721Q)
-1)
(CKEQ (IREMAINDER -173542Q -65615Q)
-20110Q)
(CKEQ (IDIFFERENCE -173542Q -65615Q)
-105725Q)
(CKEQ (IPLUS -173542Q -65615Q)
-261357Q)
(CKEQ (IQUOTIENT -173542Q -65615Q)
2)
(CKEQ (ITIMES -173542Q -65615Q)
14773433372Q)
(CKEQ (IREMAINDER 104500Q 12532705726Q)
104500Q)
(CKEQ (IDIFFERENCE 104500Q 12532705726Q)
-12532601226Q)
(CKEQ (IPLUS 104500Q 12532705726Q)
12533012426Q)
(CKEQ (IQUOTIENT 104500Q 12532705726Q)
0)
(CKEQ (IREMAINDER 70447Q -45711Q)
22536Q)
(CKEQ (IDIFFERENCE 70447Q -45711Q)
136360Q)
(CKEQ (IPLUS 70447Q -45711Q)
22536Q)
(CKEQ (IQUOTIENT 70447Q -45711Q)
-1)
(CKEQ (ITIMES 70447Q -45711Q)
-4137642237Q)
(CKEQ (IREMAINDER 157014Q 6410506327Q)
157014Q)
(CKEQ (IDIFFERENCE 157014Q 6410506327Q)
-6410327313Q)
(CKEQ (IPLUS 157014Q 6410506327Q)
6410665343Q)
(CKEQ (IQUOTIENT 157014Q 6410506327Q)
0)
(CKEQ (IREMAINDER -5531662541Q 33210Q)
-22461Q)
(CKEQ (IDIFFERENCE -5531662541Q 33210Q)
-5531715751Q)
(CKEQ (IPLUS -5531662541Q 33210Q)
-5531627331Q)
(CKEQ (IQUOTIENT -5531662541Q 33210Q)
-152446Q)
(CKEQ (IREMAINDER -757266226Q -155715Q)
-122057Q)
(CKEQ (IDIFFERENCE -757266226Q -155715Q)
-757110311Q)
(CKEQ (IPLUS -757266226Q -155715Q)
-757444143Q)
(CKEQ (IQUOTIENT -757266226Q -155715Q)
4403Q)
(CKEQ (IREMAINDER 12561101665Q 6715622627Q)
3643257036Q)
(CKEQ (IDIFFERENCE 12561101665Q 6715622627Q)
3643257036Q)
(CKEQ (IQUOTIENT 12561101665Q 6715622627Q)
1)
(CKEQ (IREMAINDER 36575Q -146507Q)
36575Q)
(CKEQ (IDIFFERENCE 36575Q -146507Q)
205304Q)
(CKEQ (IPLUS 36575Q -146507Q)
-107712Q)
(CKEQ (IQUOTIENT 36575Q -146507Q)
0)
(CKEQ (ITIMES 36575Q -146507Q)
-6123423253Q)
(CKEQ (IREMAINDER 43155Q 125453Q)
43155Q)
(CKEQ (IDIFFERENCE 43155Q 125453Q)
-62276Q)
(CKEQ (IPLUS 43155Q 125453Q)
170630Q)
(CKEQ (IQUOTIENT 43155Q 125453Q)
0)
(CKEQ (ITIMES 43155Q 125453Q)
5705521517Q)
(CKEQ (IREMAINDER -13215101247Q 3476554023Q)
-320775156Q)
(CKEQ (IDIFFERENCE -13215101247Q 3476554023Q)
-16713655272Q)
(CKEQ (IPLUS -13215101247Q 3476554023Q)
-7516325224Q)
(CKEQ (IQUOTIENT -13215101247Q 3476554023Q)
-3)
(CKEQ (IREMAINDER 163010Q 13235743316Q)
163010Q)
(CKEQ (IDIFFERENCE 163010Q 13235743316Q)
-13235560306Q)
(CKEQ (IPLUS 163010Q 13235743316Q)
13236126326Q)
(CKEQ (IQUOTIENT 163010Q 13235743316Q)
0)
(CKEQ (IREMAINDER 13003244144Q -173327Q)
140535Q)
(CKEQ (IDIFFERENCE 13003244144Q -173327Q)
13003437473Q)
(CKEQ (IPLUS 13003244144Q -173327Q)
13003050615Q)
(CKEQ (IQUOTIENT 13003244144Q -173327Q)
-55521Q)
(CKEQ (IREMAINDER -46215Q 12704061362Q)
-46215Q)
(CKEQ (IDIFFERENCE -46215Q 12704061362Q)
-12704127577Q)
(CKEQ (IPLUS -46215Q 12704061362Q)
12704013145Q)
(CKEQ (IQUOTIENT -46215Q 12704061362Q)
0)
(CKEQ (IREMAINDER -2241Q -4264546202Q)
-2241Q)
(CKEQ (IDIFFERENCE -2241Q -4264546202Q)
4264543741Q)
(CKEQ (IPLUS -2241Q -4264546202Q)
-4264550443Q)
(CKEQ (IQUOTIENT -2241Q -4264546202Q)
0)
(CKEQ (IREMAINDER -20207Q 17333457066Q)
-20207Q)
(CKEQ (IDIFFERENCE -20207Q 17333457066Q)
-17333477275Q)
(CKEQ (IPLUS -20207Q 17333457066Q)
17333436657Q)
(CKEQ (IQUOTIENT -20207Q 17333457066Q)
0)
(CKEQ (IREMAINDER -6472607512Q 3122034574Q)
-226516122Q)
(CKEQ (IDIFFERENCE -6472607512Q 3122034574Q)
-11614644306Q)
(CKEQ (IPLUS -6472607512Q 3122034574Q)
-3350552716Q)
(CKEQ (IQUOTIENT -6472607512Q 3122034574Q)
-2)
(CKEQ (IREMAINDER -157453Q 15475670672Q)
-157453Q)
(CKEQ (IDIFFERENCE -157453Q 15475670672Q)
-15476050345Q)
(CKEQ (IPLUS -157453Q 15475670672Q)
15475511217Q)
(CKEQ (IQUOTIENT -157453Q 15475670672Q)
0)
(CKEQ (IREMAINDER -102550Q 5520722570Q)
-102550Q)
(CKEQ (IDIFFERENCE -102550Q 5520722570Q)
-5521025340Q)
(CKEQ (IPLUS -102550Q 5520722570Q)
5520620020Q)
(CKEQ (IQUOTIENT -102550Q 5520722570Q)
0)
(CKEQ (IREMAINDER 115632Q -13773705461Q)
115632Q)
(CKEQ (IDIFFERENCE 115632Q -13773705461Q)
13774023313Q)
(CKEQ (IPLUS 115632Q -13773705461Q)
-13773567627Q)
(CKEQ (IQUOTIENT 115632Q -13773705461Q)
0])
(!RANDNUMTEST4
[LAMBDA NIL (* lmm "19-Jul-84 18:02")
(MTCHECKSTK (CKEQ (IREMAINDER 46416Q 73661Q)
46416Q)
(CKEQ (IDIFFERENCE 46416Q 73661Q)
-25243Q)
(CKEQ (IPLUS 46416Q 73661Q)
142277Q)
(CKEQ (IQUOTIENT 46416Q 73661Q)
0)
(CKEQ (ITIMES 46416Q 73661Q)
4401544256Q)
(CKEQ (IREMAINDER -165357Q -15133072242Q)
-165357Q)
(CKEQ (IDIFFERENCE -165357Q -15133072242Q)
15132704663Q)
(CKEQ (IPLUS -165357Q -15133072242Q)
-15133257621Q)
(CKEQ (IQUOTIENT -165357Q -15133072242Q)
0)
(CKEQ (IREMAINDER -4052Q 622430174Q)
-4052Q)
(CKEQ (IDIFFERENCE -4052Q 622430174Q)
-622434246Q)
(CKEQ (IPLUS -4052Q 622430174Q)
622424122Q)
(CKEQ (IQUOTIENT -4052Q 622430174Q)
0)
(CKEQ (IREMAINDER -10566613407Q 6004741132Q)
-2561652255Q)
(CKEQ (IDIFFERENCE -10566613407Q 6004741132Q)
-16573554541Q)
(CKEQ (IPLUS -10566613407Q 6004741132Q)
-2561652255Q)
(CKEQ (IQUOTIENT -10566613407Q 6004741132Q)
-1)
(CKEQ (IREMAINDER -2 -4)
-2)
(CKEQ (IDIFFERENCE -2 -4)
2)
(CKEQ (IPLUS -2 -4)
-6)
(CKEQ (IQUOTIENT -2 -4)
0)
(CKEQ (ITIMES -2 -4)
10Q)
(CKEQ (IREMAINDER 162662613Q -6300165562Q)
162662613Q)
(CKEQ (IDIFFERENCE 162662613Q -6300165562Q)
6463050375Q)
(CKEQ (IPLUS 162662613Q -6300165562Q)
-6115302747Q)
(CKEQ (IQUOTIENT 162662613Q -6300165562Q)
0)
(CKEQ (IREMAINDER -2 3)
-2)
(CKEQ (IDIFFERENCE -2 3)
-5)
(CKEQ (IPLUS -2 3)
1)
(CKEQ (IQUOTIENT -2 3)
0)
(CKEQ (ITIMES -2 3)
-6)
(CKEQ (IREMAINDER -16047Q -171315Q)
-16047Q)
(CKEQ (IDIFFERENCE -16047Q -171315Q)
153246Q)
(CKEQ (IPLUS -16047Q -171315Q)
-207364Q)
(CKEQ (IQUOTIENT -16047Q -171315Q)
0)
(CKEQ (ITIMES -16047Q -171315Q)
3254664473Q)
(CKEQ (IPLUS -4510035224Q 0)
-4510035224Q)
(CKEQ (ITIMES -4510035224Q 0)
0)
(CKEQ (IREMAINDER 4 167331711Q)
4)
(CKEQ (IDIFFERENCE 4 167331711Q)
-167331705Q)
(CKEQ (IPLUS 4 167331711Q)
167331715Q)
(CKEQ (IQUOTIENT 4 167331711Q)
0)
(CKEQ (ITIMES 4 167331711Q)
735547444Q)
(CKEQ (IREMAINDER 10175626173Q -15244050032Q)
10175626173Q)
(CKEQ (IPLUS 10175626173Q -15244050032Q)
-5046221637Q)
(CKEQ (IQUOTIENT 10175626173Q -15244050032Q)
0)
(CKEQ (IREMAINDER -1771422055Q 16116655424Q)
-1771422055Q)
(CKEQ (IPLUS -1771422055Q 16116655424Q)
14125233347Q)
(CKEQ (IQUOTIENT -1771422055Q 16116655424Q)
0)
(CKEQ (IREMAINDER -5 -2)
-1)
(CKEQ (IDIFFERENCE -5 -2)
-3)
(CKEQ (IPLUS -5 -2)
-7)
(CKEQ (IQUOTIENT -5 -2)
2)
(CKEQ (ITIMES -5 -2)
12Q)
(CKEQ (IREMAINDER -13001Q -125515Q)
-13001Q)
(CKEQ (IDIFFERENCE -13001Q -125515Q)
112514Q)
(CKEQ (IPLUS -13001Q -125515Q)
-140516Q)
(CKEQ (IQUOTIENT -13001Q -125515Q)
0)
(CKEQ (ITIMES -13001Q -125515Q)
1656244515Q)
(CKEQ (IREMAINDER -166401Q -7027Q)
-5621Q)
(CKEQ (IDIFFERENCE -166401Q -7027Q)
-157352Q)
(CKEQ (IPLUS -166401Q -7027Q)
-175430Q)
(CKEQ (IQUOTIENT -166401Q -7027Q)
20Q)
(CKEQ (ITIMES -166401Q -7027Q)
1502654427Q)
(CKEQ (IREMAINDER 4257756512Q -127717Q)
56223Q)
(CKEQ (IDIFFERENCE 4257756512Q -127717Q)
4260106431Q)
(CKEQ (IPLUS 4257756512Q -127717Q)
4257626573Q)
(CKEQ (IQUOTIENT 4257756512Q -127717Q)
-31231Q)
(CKEQ (IREMAINDER 4 -5)
4)
(CKEQ (IDIFFERENCE 4 -5)
11Q)
(CKEQ (IPLUS 4 -5)
-1)
(CKEQ (IQUOTIENT 4 -5)
0)
(CKEQ (ITIMES 4 -5)
-24Q)
(CKEQ (IREMAINDER 146317Q 5230002636Q)
146317Q)
(CKEQ (IDIFFERENCE 146317Q 5230002636Q)
-5227634317Q)
(CKEQ (IPLUS 146317Q 5230002636Q)
5230151155Q)
(CKEQ (IQUOTIENT 146317Q 5230002636Q)
0)
(CKEQ (IREMAINDER 10650Q -66166Q)
10650Q)
(CKEQ (IDIFFERENCE 10650Q -66166Q)
77036Q)
(CKEQ (IPLUS 10650Q -66166Q)
-55316Q)
(CKEQ (IQUOTIENT 10650Q -66166Q)
0)
(CKEQ (ITIMES 10650Q -66166Q)
-736601560Q)
(CKEQ (IREMAINDER -5 -32766Q)
-5)
(CKEQ (IDIFFERENCE -5 -32766Q)
32761Q)
(CKEQ (IPLUS -5 -32766Q)
-32773Q)
(CKEQ (IQUOTIENT -5 -32766Q)
0)
(CKEQ (ITIMES -5 -32766Q)
206716Q)
(CKEQ (IREMAINDER 113703Q -2733011560Q)
113703Q)
(CKEQ (IDIFFERENCE 113703Q -2733011560Q)
2733125463Q)
(CKEQ (IPLUS 113703Q -2733011560Q)
-2732675655Q)
(CKEQ (IQUOTIENT 113703Q -2733011560Q)
0)
(CKEQ (IPLUS 1124452466Q 0)
1124452466Q)
(CKEQ (ITIMES 1124452466Q 0)
0)
(CKEQ (IDIFFERENCE -4 0)
-4)
(CKEQ (IPLUS -4 0)
-4)
(CKEQ (ITIMES -4 0)
0)
(CKEQ (IREMAINDER 1 -5061322610Q)
1)
(CKEQ (IDIFFERENCE 1 -5061322610Q)
5061322611Q)
(CKEQ (IPLUS 1 -5061322610Q)
-5061322607Q)
(CKEQ (IQUOTIENT 1 -5061322610Q)
0)
(CKEQ (ITIMES 1 -5061322610Q)
-5061322610Q)
(CKEQ (IREMAINDER 0 113566Q)
0)
(CKEQ (IDIFFERENCE 0 113566Q)
-113566Q)
(CKEQ (IPLUS 0 113566Q)
113566Q)
(CKEQ (IQUOTIENT 0 113566Q)
0)
(CKEQ (ITIMES 0 113566Q)
0)
(CKEQ (IREMAINDER -5 3)
-2)
(CKEQ (IDIFFERENCE -5 3)
-10Q)
(CKEQ (IPLUS -5 3)
-2)
(CKEQ (IQUOTIENT -5 3)
-1)
(CKEQ (ITIMES -5 3)
-17Q)
(CKEQ (IREMAINDER 5 -145277Q)
5)
(CKEQ (IDIFFERENCE 5 -145277Q)
145304Q)
(CKEQ (IPLUS 5 -145277Q)
-145272Q)
(CKEQ (IQUOTIENT 5 -145277Q)
0)
(CKEQ (ITIMES 5 -145277Q)
-772673Q)
(CKEQ (IREMAINDER 3216Q -7537760666Q)
3216Q)
(CKEQ (IDIFFERENCE 3216Q -7537760666Q)
7537764104Q)
(CKEQ (IPLUS 3216Q -7537760666Q)
-7537755450Q)
(CKEQ (IQUOTIENT 3216Q -7537760666Q)
0)
(CKEQ (IREMAINDER 4601134451Q -154036Q)
131071Q)
(CKEQ (IDIFFERENCE 4601134451Q -154036Q)
4601310507Q)
(CKEQ (IPLUS 4601134451Q -154036Q)
4600760413Q)
(CKEQ (IQUOTIENT 4601134451Q -154036Q)
-26410Q)
(CKEQ (IREMAINDER 0 2)
0)
(CKEQ (IDIFFERENCE 0 2)
-2)
(CKEQ (IPLUS 0 2)
2)
(CKEQ (IQUOTIENT 0 2)
0)
(CKEQ (ITIMES 0 2)
0])
(!FNUMTEST
(LAMBDA NIL (* JonL " 1-Jun-84 21:49")
(CKFEQ (FPLUS -65536.0 1.0)
-65535.0)
(CKFEQ (FDIFFERENCE -65536.0 1.0)
-65537.0)
(CKFEQ (FTIMES -65536.0 1.0)
-65536.0)
(CKFEQ (FQUOTIENT -65536.0 1.0)
-65536.0)
(PROGN (* Check for coercions)
(CKFEQ (FPLUS -200000Q 1)
-65535.0)
(CKFEQ (FDIFFERENCE -200000Q 1)
-65537.0)
(CKFEQ (FTIMES -200000Q 1)
-65536.0)
(CKFEQ (FQUOTIENT -200000Q 1)
-65536.0)
(CKFEQ (FPLUS -65536.0 1)
-65535.0)
(CKFEQ (FDIFFERENCE -65536.0 1)
-65537.0)
(CKFEQ (FTIMES -65536.0 1)
-65536.0)
(CKFEQ (FQUOTIENT -65536.0 1)
-65536.0)
(CKFEQ (FPLUS -200000Q 1.0)
-65535.0)
(CKFEQ (FDIFFERENCE -200000Q 1.0)
-65537.0)
(CKFEQ (FTIMES -200000Q 1.0)
-65536.0)
(CKFEQ (FQUOTIENT -200000Q 1.0)
-65536.0))
(CKFEQ (FPLUS 65535.0 0.0)
65535.0)
(CKFEQ (FDIFFERENCE 65535.0 0.0)
65535.0)
(CKFEQ (FTIMES 65535.0 0.0)
0.0)
(CKFEQ (FPLUS 65535.0 -1.0)
65534.0)
(CKFEQ (FDIFFERENCE 65535.0 -1.0)
65536.0)
(CKFEQ (FTIMES 65535.0 -1.0)
-65535.0)
(CKFEQ (FQUOTIENT 65535.0 -1.0)
-65535.0)
(CKFEQ (FPLUS 65535.0 1.0)
65536.0)
(CKFEQ (FDIFFERENCE 65535.0 1.0)
65534.0)
(CKFEQ (FTIMES 65535.0 1.0)
65535.0)
(CKFEQ (FQUOTIENT 65535.0 1.0)
65535.0)
(CKFEQ (FPLUS 0.0 -65536.0)
-65536.0)
(CKFEQ (FDIFFERENCE 0.0 -65536.0)
65536.0)
(CKFEQ (FTIMES 0.0 -65536.0)
0.0)
(CKFEQ (FQUOTIENT 0.0 -65536.0)
0.0)
(MTCHECK (FGREATERP 1.0 0.0))
(MTCHECK (NOT (FGREATERP -1.0 0.0)))))
(!MIXNUMTEST
[LAMBDA NIL (* lmm "19-Jul-84 18:07")
(!RANDNUMTEST)
(PROGN (CKEQ (DIFFERENCE -200000Q -200000Q)
0)
(CKEQ (PLUS -200000Q -200000Q)
-400000Q)
(CKEQ (QUOTIENT -200000Q -200000Q)
1)
(CKEQ (DIFFERENCE -200000Q 177777Q)
-377777Q)
(CKEQ (PLUS -200000Q 177777Q)
-1)
(CKEQ (QUOTIENT -200000Q 177777Q)
-1)
(CKFEQ (DIFFERENCE -200000Q 0.0)
-65536.0)
(CKFEQ (TIMES -200000Q 0.0)
0.0)
(CKFEQ (PLUS -200000Q 0.0)
-65536.0)
(CKEQ (DIFFERENCE -200000Q 0)
-200000Q)
(CKEQ (TIMES -200000Q 0)
0)
(CKEQ (PLUS -200000Q 0)
-200000Q)
(CKEQ (DIFFERENCE -200000Q 3)
-200003Q)
(CKEQ (TIMES -200000Q 3)
-600000Q)
(CKEQ (PLUS -200000Q 3)
-177775Q)
(CKEQ (QUOTIENT -200000Q 3)
-52525Q)
(CKFEQ (DIFFERENCE -200000Q -1.0)
-65535.0)
(CKFEQ (TIMES -200000Q -1.0)
65536.0)
(CKFEQ (PLUS -200000Q -1.0)
-65537.0)
(CKFEQ (QUOTIENT -200000Q -1.0)
65536.0)
(CKEQ (DIFFERENCE -200000Q -1)
-177777Q)
(CKEQ (TIMES -200000Q -1)
200000Q)
(CKEQ (PLUS -200000Q -1)
-200001Q)
(CKEQ (QUOTIENT -200000Q -1)
200000Q)
(CKEQ (DIFFERENCE -200000Q 2)
-200002Q)
(CKEQ (TIMES -200000Q 2)
-400000Q)
(CKEQ (PLUS -200000Q 2)
-177776Q)
(CKEQ (QUOTIENT -200000Q 2)
-100000Q)
(CKFEQ (DIFFERENCE -200000Q 1.0)
-65537.0)
(CKFEQ (TIMES -200000Q 1.0)
-65536.0)
(CKFEQ (PLUS -200000Q 1.0)
-65535.0)
(CKFEQ (QUOTIENT -200000Q 1.0)
-65536.0)
(CKEQ (DIFFERENCE -200000Q 1)
-200001Q)
(CKEQ (TIMES -200000Q 1)
-200000Q)
(CKEQ (PLUS -200000Q 1)
-177777Q)
(CKEQ (QUOTIENT -200000Q 1)
-200000Q)
(CKEQ (DIFFERENCE 177777Q -200000Q)
377777Q)
(CKEQ (PLUS 177777Q -200000Q)
-1)
(CKEQ (QUOTIENT 177777Q -200000Q)
0)
(CKEQ (DIFFERENCE 177777Q 177777Q)
0)
(CKEQ (TIMES 177777Q 177777Q)
-377777Q)
(CKEQ (PLUS 177777Q 177777Q)
377776Q)
(CKEQ (QUOTIENT 177777Q 177777Q)
1)
(CKFEQ (DIFFERENCE 177777Q 0.0)
65535.0)
(CKFEQ (TIMES 177777Q 0.0)
0.0)
(CKFEQ (PLUS 177777Q 0.0)
65535.0)
(CKEQ (DIFFERENCE 177777Q 0)
177777Q)
(CKEQ (TIMES 177777Q 0)
0)
(CKEQ (PLUS 177777Q 0)
177777Q)
(CKEQ (DIFFERENCE 177777Q 3)
177774Q)
(CKEQ (TIMES 177777Q 3)
577775Q)
(CKEQ (PLUS 177777Q 3)
200002Q)
(CKEQ (QUOTIENT 177777Q 3)
52525Q)
(CKFEQ (DIFFERENCE 177777Q -1.0)
65536.0)
(CKFEQ (TIMES 177777Q -1.0)
-65535.0)
(CKFEQ (PLUS 177777Q -1.0)
65534.0)
(CKFEQ (QUOTIENT 177777Q -1.0)
-65535.0)
(CKEQ (DIFFERENCE 177777Q -1)
200000Q)
(CKEQ (TIMES 177777Q -1)
-177777Q)
(CKEQ (PLUS 177777Q -1)
177776Q)
(CKEQ (QUOTIENT 177777Q -1)
-177777Q)
(CKEQ (DIFFERENCE 177777Q 2)
177775Q)
(CKEQ (TIMES 177777Q 2)
377776Q)
(CKEQ (PLUS 177777Q 2)
200001Q)
(CKEQ (QUOTIENT 177777Q 2)
77777Q)
(CKFEQ (DIFFERENCE 177777Q 1.0)
65534.0)
(CKFEQ (TIMES 177777Q 1.0)
65535.0)
(CKFEQ (PLUS 177777Q 1.0)
65536.0)
(CKFEQ (QUOTIENT 177777Q 1.0)
65535.0)
(CKEQ (DIFFERENCE 177777Q 1)
177776Q)
(CKEQ (TIMES 177777Q 1)
177777Q)
(CKEQ (PLUS 177777Q 1)
200000Q)
(CKEQ (QUOTIENT 177777Q 1)
177777Q)
(CKFEQ (DIFFERENCE 0.0 -200000Q)
65536.0)
(CKFEQ (TIMES 0.0 -200000Q)
0.0)
(CKFEQ (PLUS 0.0 -200000Q)
-65536.0)
(CKFEQ (QUOTIENT 0.0 -200000Q)
0.0)
(CKFEQ (DIFFERENCE 0.0 177777Q)
-65535.0)
(CKFEQ (TIMES 0.0 177777Q)
0.0)
(CKFEQ (PLUS 0.0 177777Q)
65535.0)
(CKFEQ (QUOTIENT 0.0 177777Q)
0.0)
(CKFEQ (DIFFERENCE 0.0 0.0)
0.0)
(CKFEQ (TIMES 0.0 0.0)
0.0)
(CKFEQ (PLUS 0.0 0.0)
0.0)
(CKFEQ (DIFFERENCE 0.0 0)
0.0)
(CKFEQ (TIMES 0.0 0)
0.0)
(CKFEQ (PLUS 0.0 0)
0.0)
(CKFEQ (DIFFERENCE 0.0 3)
-3.0)
(CKFEQ (TIMES 0.0 3)
0.0)
(CKFEQ (PLUS 0.0 3)
3.0)
(CKFEQ (QUOTIENT 0.0 3)
0.0)
(CKFEQ (DIFFERENCE 0.0 -1.0)
1.0)
(CKFEQ (TIMES 0.0 -1.0)
0.0)
(CKFEQ (PLUS 0.0 -1.0)
-1.0)
(CKFEQ (QUOTIENT 0.0 -1.0)
0.0)
(CKFEQ (DIFFERENCE 0.0 -1)
1.0)
(CKFEQ (TIMES 0.0 -1)
0.0)
(CKFEQ (PLUS 0.0 -1)
-1.0)
(CKFEQ (QUOTIENT 0.0 -1)
0.0)
(CKFEQ (DIFFERENCE 0.0 2)
-2.0)
(CKFEQ (TIMES 0.0 2)
0.0)
(CKFEQ (PLUS 0.0 2)
2.0)
(CKFEQ (QUOTIENT 0.0 2)
0.0)
(CKFEQ (DIFFERENCE 0.0 1.0)
-1.0)
(CKFEQ (TIMES 0.0 1.0)
0.0)
(CKFEQ (PLUS 0.0 1.0)
1.0)
(CKFEQ (QUOTIENT 0.0 1.0)
0.0)
(CKFEQ (DIFFERENCE 0.0 1)
-1.0)
(CKFEQ (TIMES 0.0 1)
0.0)
(CKFEQ (PLUS 0.0 1)
1.0)
(CKFEQ (QUOTIENT 0.0 1)
0.0)
(CKEQ (DIFFERENCE 0 -200000Q)
200000Q)
(CKEQ (TIMES 0 -200000Q)
0)
(CKEQ (PLUS 0 -200000Q)
-200000Q)
(CKEQ (QUOTIENT 0 -200000Q)
0)
(CKEQ (DIFFERENCE 0 177777Q)
-177777Q)
(CKEQ (TIMES 0 177777Q)
0)
(CKEQ (PLUS 0 177777Q)
177777Q)
(CKEQ (QUOTIENT 0 177777Q)
0)
(CKFEQ (DIFFERENCE 0 0.0)
0.0)
(CKFEQ (TIMES 0 0.0)
0.0)
(CKFEQ (PLUS 0 0.0)
0.0)
(CKEQ (DIFFERENCE 0 0)
0)
(CKEQ (TIMES 0 0)
0)
(CKEQ (PLUS 0 0)
0)
(CKEQ (DIFFERENCE 0 3)
-3)
(CKEQ (TIMES 0 3)
0)
(CKEQ (PLUS 0 3)
3)
(CKEQ (QUOTIENT 0 3)
0)
(CKFEQ (DIFFERENCE 0 -1.0)
1.0)
(CKFEQ (TIMES 0 -1.0)
0.0)
(CKFEQ (PLUS 0 -1.0)
-1.0)
(CKFEQ (QUOTIENT 0 -1.0)
0.0)
(CKEQ (DIFFERENCE 0 -1)
1)
(CKEQ (TIMES 0 -1)
0)
(CKEQ (PLUS 0 -1)
-1)
(CKEQ (QUOTIENT 0 -1)
0)
(CKEQ (DIFFERENCE 0 2)
-2)
(CKEQ (TIMES 0 2)
0)
(CKEQ (PLUS 0 2)
2)
(CKEQ (QUOTIENT 0 2)
0)
(CKFEQ (DIFFERENCE 0 1.0)
-1.0)
(CKFEQ (TIMES 0 1.0)
0.0)
(CKFEQ (PLUS 0 1.0)
1.0)
(CKFEQ (QUOTIENT 0 1.0)
0.0)
(CKEQ (DIFFERENCE 0 1)
-1)
(CKEQ (TIMES 0 1)
0)
(CKEQ (PLUS 0 1)
1)
(CKEQ (QUOTIENT 0 1)
0)
(CKEQ (DIFFERENCE 3 -200000Q)
200003Q)
(CKEQ (TIMES 3 -200000Q)
-600000Q)
(CKEQ (PLUS 3 -200000Q)
-177775Q)
(CKEQ (QUOTIENT 3 -200000Q)
0)
(CKEQ (DIFFERENCE 3 177777Q)
-177774Q)
(CKEQ (TIMES 3 177777Q)
577775Q)
(CKEQ (PLUS 3 177777Q)
200002Q)
(CKEQ (QUOTIENT 3 177777Q)
0)
(CKFEQ (DIFFERENCE 3 0.0)
3.0)
(CKFEQ (TIMES 3 0.0)
0.0)
(CKFEQ (PLUS 3 0.0)
3.0)
(CKEQ (DIFFERENCE 3 0)
3)
(CKEQ (TIMES 3 0)
0)
(CKEQ (PLUS 3 0)
3)
(CKEQ (DIFFERENCE 3 3)
0)
(CKEQ (TIMES 3 3)
11Q)
(CKEQ (PLUS 3 3)
6)
(CKEQ (QUOTIENT 3 3)
1)
(CKFEQ (DIFFERENCE 3 -1.0)
4.0)
(CKFEQ (TIMES 3 -1.0)
-3.0)
(CKFEQ (PLUS 3 -1.0)
2.0)
(CKFEQ (QUOTIENT 3 -1.0)
-3.0)
(CKEQ (DIFFERENCE 3 -1)
4)
(CKEQ (TIMES 3 -1)
-3)
(CKEQ (PLUS 3 -1)
2)
(CKEQ (QUOTIENT 3 -1)
-3)
(CKEQ (DIFFERENCE 3 2)
1)
(CKEQ (TIMES 3 2)
6)
(CKEQ (PLUS 3 2)
5)
(CKEQ (QUOTIENT 3 2)
1)
(CKFEQ (DIFFERENCE 3 1.0)
2.0)
(CKFEQ (TIMES 3 1.0)
3.0)
(CKFEQ (PLUS 3 1.0)
4.0)
(CKFEQ (QUOTIENT 3 1.0)
3.0)
(CKEQ (DIFFERENCE 3 1)
2)
(CKEQ (TIMES 3 1)
3)
(CKEQ (PLUS 3 1)
4)
(CKEQ (QUOTIENT 3 1)
3)
(CKFEQ (DIFFERENCE -1.0 -200000Q)
65535.0)
(CKFEQ (TIMES -1.0 -200000Q)
65536.0)
(CKFEQ (PLUS -1.0 -200000Q)
-65537.0)
(CKFUZZYEQ (QUOTIENT -1.0 -200000Q)
.00001525879)
(CKFEQ (DIFFERENCE -1.0 177777Q)
-65536.0)
(CKFEQ (TIMES -1.0 177777Q)
-65535.0)
(CKFEQ (PLUS -1.0 177777Q)
65534.0)
(CKFUZZYEQ (QUOTIENT -1.0 177777Q)
-.00001525902)
(CKFEQ (DIFFERENCE -1.0 0.0)
-1.0)
(CKFEQ (TIMES -1.0 0.0)
0.0)
(CKFEQ (PLUS -1.0 0.0)
-1.0)
(CKFEQ (DIFFERENCE -1.0 0)
-1.0)
(CKFEQ (TIMES -1.0 0)
0.0)
(CKFEQ (PLUS -1.0 0)
-1.0)
(CKFEQ (DIFFERENCE -1.0 3)
-4.0)
(CKFEQ (TIMES -1.0 3)
-3.0)
(CKFEQ (PLUS -1.0 3)
2.0)
(CKFUZZYEQ (QUOTIENT -1.0 3)
-.3333333)
(CKFEQ (DIFFERENCE -1.0 -1.0)
0.0)
(CKFEQ (TIMES -1.0 -1.0)
1.0)
(CKFEQ (PLUS -1.0 -1.0)
-2.0)
(CKFEQ (QUOTIENT -1.0 -1.0)
1.0)
(CKFEQ (DIFFERENCE -1.0 -1)
0.0)
(CKFEQ (TIMES -1.0 -1)
1.0)
(CKFEQ (PLUS -1.0 -1)
-2.0)
(CKFEQ (QUOTIENT -1.0 -1)
1.0)
(CKFEQ (DIFFERENCE -1.0 2)
-3.0)
(CKFEQ (TIMES -1.0 2)
-2.0)
(CKFEQ (PLUS -1.0 2)
1.0)
(CKFEQ (QUOTIENT -1.0 2)
-.5)
(CKFEQ (DIFFERENCE -1.0 1.0)
-2.0)
(CKFEQ (TIMES -1.0 1.0)
-1.0)
(CKFEQ (PLUS -1.0 1.0)
0.0)
(CKFEQ (QUOTIENT -1.0 1.0)
-1.0)
(CKFEQ (DIFFERENCE -1.0 1)
-2.0)
(CKFEQ (TIMES -1.0 1)
-1.0)
(CKFEQ (PLUS -1.0 1)
0.0)
(CKFEQ (QUOTIENT -1.0 1)
-1.0)
(CKEQ (DIFFERENCE -1 -200000Q)
177777Q)
(CKEQ (TIMES -1 -200000Q)
200000Q)
(CKEQ (PLUS -1 -200000Q)
-200001Q)
(CKEQ (QUOTIENT -1 -200000Q)
0)
(CKEQ (DIFFERENCE -1 177777Q)
-200000Q)
(CKEQ (TIMES -1 177777Q)
-177777Q)
(CKEQ (PLUS -1 177777Q)
177776Q)
(CKEQ (QUOTIENT -1 177777Q)
0)
(CKFEQ (DIFFERENCE -1 0.0)
-1.0)
(CKFEQ (TIMES -1 0.0)
0.0)
(CKFEQ (PLUS -1 0.0)
-1.0)
(CKEQ (DIFFERENCE -1 0)
-1)
(CKEQ (TIMES -1 0)
0)
(CKEQ (PLUS -1 0)
-1)
(CKEQ (DIFFERENCE -1 3)
-4)
(CKEQ (TIMES -1 3)
-3)
(CKEQ (PLUS -1 3)
2)
(CKEQ (QUOTIENT -1 3)
0)
(CKFEQ (DIFFERENCE -1 -1.0)
0.0)
(CKFEQ (TIMES -1 -1.0)
1.0)
(CKFEQ (PLUS -1 -1.0)
-2.0)
(CKFEQ (QUOTIENT -1 -1.0)
1.0)
(CKEQ (DIFFERENCE -1 -1)
0)
(CKEQ (TIMES -1 -1)
1)
(CKEQ (PLUS -1 -1)
-2)
(CKEQ (QUOTIENT -1 -1)
1)
(CKEQ (DIFFERENCE -1 2)
-3)
(CKEQ (TIMES -1 2)
-2)
(CKEQ (PLUS -1 2)
1)
(CKEQ (QUOTIENT -1 2)
0)
(CKFEQ (DIFFERENCE -1 1.0)
-2.0)
(CKFEQ (TIMES -1 1.0)
-1.0)
(CKFEQ (PLUS -1 1.0)
0.0)
(CKFEQ (QUOTIENT -1 1.0)
-1.0)
(CKEQ (DIFFERENCE -1 1)
-2)
(CKEQ (TIMES -1 1)
-1)
(CKEQ (PLUS -1 1)
0)
(CKEQ (QUOTIENT -1 1)
-1)
(CKEQ (DIFFERENCE 2 -200000Q)
200002Q)
(CKEQ (TIMES 2 -200000Q)
-400000Q)
(CKEQ (PLUS 2 -200000Q)
-177776Q)
(CKEQ (QUOTIENT 2 -200000Q)
0)
(CKEQ (DIFFERENCE 2 177777Q)
-177775Q)
(CKEQ (TIMES 2 177777Q)
377776Q)
(CKEQ (PLUS 2 177777Q)
200001Q)
(CKEQ (QUOTIENT 2 177777Q)
0)
(CKEQ (DIFFERENCE 2 0.0)
2.0)
(CKFEQ (TIMES 2 0.0)
0.0)
(CKFEQ (PLUS 2 0.0)
2.0)
(CKEQ (DIFFERENCE 2 0)
2)
(CKEQ (TIMES 2 0)
0)
(CKEQ (PLUS 2 0)
2)
(CKEQ (DIFFERENCE 2 3)
-1)
(CKEQ (TIMES 2 3)
6)
(CKEQ (PLUS 2 3)
5)
(CKEQ (QUOTIENT 2 3)
0)
(CKFEQ (DIFFERENCE 2 -1.0)
3.0)
(CKFEQ (TIMES 2 -1.0)
-2.0)
(CKFEQ (PLUS 2 -1.0)
1.0)
(CKFEQ (QUOTIENT 2 -1.0)
-2.0)
(CKEQ (DIFFERENCE 2 -1)
3)
(CKEQ (TIMES 2 -1)
-2)
(CKEQ (PLUS 2 -1)
1)
(CKEQ (QUOTIENT 2 -1)
-2)
(CKEQ (DIFFERENCE 2 2)
0)
(CKEQ (TIMES 2 2)
4)
(CKEQ (PLUS 2 2)
4)
(CKEQ (QUOTIENT 2 2)
1)
(CKFEQ (DIFFERENCE 2 1.0)
1.0)
(CKFEQ (TIMES 2 1.0)
2.0)
(CKFEQ (PLUS 2 1.0)
3.0)
(CKFEQ (QUOTIENT 2 1.0)
2.0)
(CKEQ (DIFFERENCE 2 1)
1)
(CKEQ (TIMES 2 1)
2)
(CKEQ (PLUS 2 1)
3)
(CKEQ (QUOTIENT 2 1)
2)
(CKFEQ (DIFFERENCE 1.0 -200000Q)
65537.0)
(CKFEQ (TIMES 1.0 -200000Q)
-65536.0)
(CKFEQ (PLUS 1.0 -200000Q)
-65535.0)
(CKFUZZYEQ (QUOTIENT 1.0 -200000Q)
-.00001525879)
(CKFEQ (DIFFERENCE 1.0 177777Q)
-65534.0)
(CKFEQ (TIMES 1.0 177777Q)
65535.0)
(CKFEQ (PLUS 1.0 177777Q)
65536.0)
(CKFUZZYEQ (QUOTIENT 1.0 177777Q)
.00001525902)
(CKFEQ (DIFFERENCE 1.0 0.0)
1.0)
(CKFEQ (TIMES 1.0 0.0)
0.0)
(CKFEQ (PLUS 1.0 0.0)
1.0)
(CKFEQ (DIFFERENCE 1.0 0)
1.0)
(CKFEQ (TIMES 1.0 0)
0.0)
(CKFEQ (PLUS 1.0 0)
1.0)
(CKFEQ (DIFFERENCE 1.0 3)
-2.0)
(CKFEQ (TIMES 1.0 3)
3.0)
(CKFEQ (PLUS 1.0 3)
4.0)
(CKFUZZYEQ (QUOTIENT 1.0 3)
.3333333)
(CKFEQ (DIFFERENCE 1.0 -1.0)
2.0)
(CKFEQ (TIMES 1.0 -1.0)
-1.0)
(CKFEQ (PLUS 1.0 -1.0)
0.0)
(CKFEQ (QUOTIENT 1.0 -1.0)
-1.0)
(CKFEQ (DIFFERENCE 1.0 -1)
2.0)
(CKFEQ (TIMES 1.0 -1)
-1.0)
(CKFEQ (PLUS 1.0 -1)
0.0)
(CKFEQ (QUOTIENT 1.0 -1)
-1.0)
(CKFEQ (DIFFERENCE 1.0 2)
-1.0)
(CKFEQ (TIMES 1.0 2)
2.0)
(CKFEQ (PLUS 1.0 2)
3.0)
(CKFEQ (QUOTIENT 1.0 2)
.5)
(CKFEQ (DIFFERENCE 1.0 1.0)
0.0)
(CKFEQ (TIMES 1.0 1.0)
1.0)
(CKFEQ (PLUS 1.0 1.0)
2.0)
(CKFEQ (QUOTIENT 1.0 1.0)
1.0)
(CKFEQ (DIFFERENCE 1.0 1)
0.0)
(CKFEQ (TIMES 1.0 1)
1.0)
(CKFEQ (PLUS 1.0 1)
2.0)
(CKFEQ (QUOTIENT 1.0 1)
1.0)
(CKEQ (DIFFERENCE 1 -200000Q)
200001Q)
(CKEQ (TIMES 1 -200000Q)
-200000Q)
(CKEQ (PLUS 1 -200000Q)
-177777Q)
(CKEQ (QUOTIENT 1 -200000Q)
0)
(CKEQ (DIFFERENCE 1 177777Q)
-177776Q)
(CKEQ (TIMES 1 177777Q)
177777Q)
(CKEQ (PLUS 1 177777Q)
200000Q)
(CKEQ (QUOTIENT 1 177777Q)
0)
(CKFEQ (DIFFERENCE 1 0.0)
1.0)
(CKFEQ (TIMES 1 0.0)
0.0)
(CKFEQ (PLUS 1 0.0)
1.0)
(CKEQ (DIFFERENCE 1 0)
1)
(CKEQ (TIMES 1 0)
0)
(CKEQ (PLUS 1 0)
1)
(CKEQ (DIFFERENCE 1 3)
-2)
(CKEQ (TIMES 1 3)
3)
(CKEQ (PLUS 1 3)
4)
(CKEQ (QUOTIENT 1 3)
0)
(CKEQ (DIFFERENCE 1 -1.0)
2.0)
(CKFEQ (TIMES 1 -1.0)
-1.0)
(CKFEQ (PLUS 1 -1.0)
0.0)
(CKFEQ (QUOTIENT 1 -1.0)
-1.0)
(CKEQ (DIFFERENCE 1 -1)
2)
(CKEQ (TIMES 1 -1)
-1)
(CKEQ (PLUS 1 -1)
0)
(CKEQ (QUOTIENT 1 -1)
-1)
(CKEQ (DIFFERENCE 1 2)
-1)
(CKEQ (TIMES 1 2)
2)
(CKEQ (PLUS 1 2)
3)
(CKEQ (QUOTIENT 1 2)
0)
(CKFEQ (DIFFERENCE 1 1.0)
0.0)
(CKFEQ (TIMES 1 1.0)
1.0)
(CKFEQ (PLUS 1 1.0)
2.0)
(CKFEQ (QUOTIENT 1 1.0)
1.0)
(CKEQ (DIFFERENCE 1 1)
0)
(CKEQ (TIMES 1 1)
1)
(CKEQ (PLUS 1 1)
2)
(CKEQ (QUOTIENT 1 1)
1])
(!CKFEQ
(LAMBDA (RESULT ANSWER FORM) (* JonL "16-Mar-84 11:58")
(OR (AND (FLOATP RESULT)
(FEQP RESULT ANSWER))
(RAID (LIST FORM (QUOTE =>)
RESULT
(QUOTE should-have-been)
ANSWER)))))
(!CKFUZZYEQ
(LAMBDA (X Y) (* JonL " 1-Jun-84 21:24")
(* Essentially FEQP except that the low-order bit is
ignored.)
(OR (AND (FLOATP X)
(FLOATP Y))
(RAID "An arg to CKFUZZYEQ is non-FLOATP"))
(AND (EQ (BITCLEAR (fetch (FLOATP LOWORD) of X)
1)
(BITCLEAR (fetch (FLOATP LOWORD) of Y)
1))
(OR (EQ (fetch (FLOATP HIWORD) of X)
(fetch (FLOATP HIWORD) of Y))
(AND (EQ 0 (fetch (FLOATP HIWORDNOSIGNBIT) of X))
(EQ 0 (fetch (FLOATP HIWORDNOSIGNBIT) of Y)))))))
)
(DEFINEQ
(!GCTEST
[LAMBDA NIL (* bvm: "30-NOV-81 17:23")
(!GCTEST0)
(!GCTEST1)
(!GCTEST2)
(!GCTEST3])
(!GCTEST0
(LAMBDA NIL (* JonL "16-Mar-84 12:10")
(MTCHECK (EQ (\REFCNT NIL)
1)
(EQ (\REFCNT T)
1)
(EQ (PROGN (\ADDREF (QUOTE FOO))
(\REFCNT (QUOTE FOO)))
1)
(EQ (PROGN (\DELREF (QUOTE FOO))
(\REFCNT (QUOTE FOO)))
1)
(EQ (PROGN (\ADDREF 2)
(\REFCNT 2))
1)
(EQ (PROGN (\DELREF 2)
(\REFCNT 2))
1)
(EQ (PROGN (\ADDREF (ADDBASE \DEFSPACE 2))
(\REFCNT (ADDBASE \DEFSPACE 2)))
1)
(EQ (PROGN (\DELREF (ADDBASE \DEFSPACE 2))
(\REFCNT (ADDBASE \DEFSPACE 2)))
1))))
(!GCTEST1
(LAMBDA NIL
(DECLARE (GLOBALVARS !GV1 !GV2)) (* JonL "16-Mar-84 12:10")
(PROG (A B C D E)
(MTCHECK (PROGN (SETQ A (CONS 1 2))
(EQ (\REFCNT A)
0))
(PROGN (SETQ B (CONS A))
(AND (EQ (\REFCNT A)
1)
(EQ (\REFCNT B)
0)))
(PROGN (SETQ C (CONS A))
(AND (EQ (\REFCNT A)
2)
(EQ (\REFCNT C)
0)))
(PROGN (RPLACA B (QUOTE FOO))
(AND (EQ (\REFCNT A)
1)
(EQ (\REFCNT B)
0)))
(PROGN (RPLACA C (QUOTE FUM))
(AND (EQ (\REFCNT A)
0)
(EQ (\REFCNT C)
0)))
(PROGN (RPLACD C (SETQ D (CONS)))
(EQ (\REFCNT D)
1))
(PROGN (RPLACD C (SETQ E (CONS)))
(AND (EQ (\REFCNT D)
0)
(EQ (\REFCNT E)
1)))
(PROGN (SETQ !GV1 NIL)
(EQ (\REFCNT !GV1)
1))
(PROGN (SETQ !GV1 E)
(EQ (\REFCNT E)
2))
(PROGN (SETQ !GV1 A)
(AND (EQ (\REFCNT E)
1)
(EQ (\REFCNT A)
1)))
(PROGN (\ADDREF A)
(EQ (\REFCNT A)
2))
(PROGN (SETQ !GV1 A)
(EQ (\REFCNT A)
2))
(PROGN (SETQ !GV2 C)
(EQ (\REFCNT C)
1))
(PROGN (\DELREF A)
(EQ (\REFCNT A)
1))))))
(!GCTEST2
(LAMBDA NIL (* JonL "16-Mar-84 14:03")
(PROG ((A (CONS (QUOTE FOO)))
(I 0))
(RPTQ 77Q (MTCHECK (PROGN (\ADDREF A)
(EQ (\REFCNT A)
(SETQ I (ADD1 I))))))
(COND
((ILESSP (MICROCODEVERSION)
12000Q)
(RPTQ 2 (MTCHECK (PROGN (\ADDREF A)
(EQ (\REFCNT A)
77Q))))
(RPTQ 2 (MTCHECK (PROGN (\DELREF A)
(EQ (\REFCNT A)
77Q)))))
(T (* Checks out the new BIGREFCNT facility)
(RPTQ 2 (MTCHECK (PROGN (\ADDREF A)
(EQ (\REFCNT A)
(SETQ I (ADD1 I))))))
(RPTQ 2 (MTCHECK (PROGN (\DELREF A)
(EQ (\REFCNT A)
(SETQ I (SUB1 I)))))))))))
(!GCTEST3
[LAMBDA NIL (* lmm "17-DEC-81 20:59")
(!GCTEST3A)
(!GCTEST3B)
(!GCTEST3C)
(!GCTEST3D)
(!GCTESTSETF)
(!GCTESTSETG])
(!GCTESTSETF
(LAMBDA NIL (* JonL "16-Mar-84 12:17")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !FVAR1) (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !FVAR2) (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE \REFCNT)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(MTCHECKSTK (\DELREF A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A5)
(\ADDREF A1)
(SETQ !FVAR1 A2)
(\DELREF A1)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
3))
(SETQ !FVAR1 A5)
(\ADDREF A4)
(\ADDREF A2)
(\ADDREF A5)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A4)
(\ADDREF A3)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A2)
(SETQ !FVAR2 A4)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
3)
(EQ (\REFCNT A5)
3))
(\ADDREF A5)
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A4)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A5)
(\DELREF A1)
(SETQ !FVAR1 A1)
(\DELREF A1)
(\ADDREF A4)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
5))
(SETQ !FVAR2 A5)
(\DELREF A4)
(SETQ !FVAR2 A5)
(\DELREF A3)
(\ADDREF A1)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A5)
(SETQ !FVAR2 A3)
(\DELREF A1)
(\DELREF A2)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
4))
(SETQ !FVAR2 A1)
(SETQ !FVAR2 A4)
(\DELREF A4)
(\ADDREF A1)
(SETQ !FVAR1 A3)
(SETQ !FVAR1 A5)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A4)
(SETQ !FVAR2 A3)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
5))
(SETQ !FVAR2 A2)
(SETQ !FVAR1 A3)
(\ADDREF A5)
(SETQ !FVAR2 A1)
(SETQ !FVAR2 A5)
(\DELREF A2)
(SETQ !FVAR2 A2)
(\DELREF A2)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A3)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
5))
(\ADDREF A1)
(\DELREF A1)
(\ADDREF A5)
(\ADDREF A5)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A2)
(\ADDREF A2)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
7))
(\DELREF A5)
(SETQ !FVAR2 A5)
(\ADDREF A2)
(\ADDREF A1)
(\DELREF A1)
(\ADDREF A5)
(SETQ !FVAR1 A3)
(\ADDREF A2)
(SETQ !FVAR1 A3)
(\ADDREF A4)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
10Q))
(\ADDREF A2)
(\DELREF A5)
(\DELREF A3)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A2)
(SETQ !FVAR1 A5)
(\DELREF A5)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A2)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
6))
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A5)
(\DELREF A2)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A2)
(SETQ !FVAR2 A1)
(\ADDREF A5)
(SETQ !FVAR2 A4)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A2)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
7))
(\DELREF A2)
(\DELREF A2)
(\ADDREF A3)
(\DELREF A4)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(SETQ.NOREF !FVAR1 NIL)
(SETQ.NOREF !FVAR2 NIL))
(MTCHECKSTK (\DELREF A5)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A2)
(\ADDREF A1)
(SETQ !FVAR1 A2)
(\ADDREF A4)
(SETQ !FVAR1 A1)
(\DELREF A2)
(SETQ !FVAR2 A5)
(SETQ !FVAR1 A5)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
2))
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A3)
(\ADDREF A2)
(SETQ !FVAR1 A4)
(\ADDREF A4)
(\DELREF A2)
(\ADDREF A3)
(SETQ !FVAR1 A2)
(\ADDREF A2)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
1))
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR2 A3)
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A4)
(\DELREF A2)
(SETQ !FVAR2 A2)
(SETQ !FVAR2 A5)
(SETQ !FVAR2 A4)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
5)
(EQ (\REFCNT A5)
0))
(\ADDREF A3)
(SETQ !FVAR2 A1)
(\DELREF A1)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A4)
(SETQ !FVAR2 A4)
(SETQ !FVAR1 A5)
(\ADDREF A4)
(SETQ !FVAR2 A2)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
6)
(EQ (\REFCNT A5)
3))
(SETQ !FVAR2 A2)
(\ADDREF A1)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A4)
(SETQ !FVAR2 A5)
(\DELREF A3)
(\ADDREF A3)
(SETQ !FVAR2 A5)
(SETQ !FVAR2 A4)
(\ADDREF A3)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
4)
(EQ (\REFCNT A4)
10Q)
(EQ (\REFCNT A5)
2))
(\DELREF A3)
(\ADDREF A4)
(\ADDREF A5)
(SETQ !FVAR2 A1)
(\ADDREF A1)
(\ADDREF A4)
(\ADDREF A2)
(\DELREF A4)
(SETQ !FVAR2 A2)
(\DELREF A2)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
10Q)
(EQ (\REFCNT A5)
3))
(SETQ !FVAR1 A2)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A3)
(\DELREF A3)
(SETQ !FVAR1 A1)
(\ADDREF A4)
(\ADDREF A4)
(\DELREF A3)
(SETQ !FVAR1 A1)
(MTCHECK (EQ (\REFCNT A1)
5)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
11Q)
(EQ (\REFCNT A5)
3))
(SETQ !FVAR2 A1)
(\ADDREF A4)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A3)
(SETQ !FVAR1 A2)
(SETQ !FVAR1 A1)
(SETQ !FVAR2 A2)
(SETQ !FVAR1 A5)
(SETQ !FVAR1 A5)
(SETQ !FVAR2 A5)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
12Q)
(EQ (\REFCNT A5)
5))
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A3)
(\ADDREF A2)
(SETQ !FVAR2 A5)
(\ADDREF A4)
(\DELREF A1)
(SETQ !FVAR1 A4)
(\DELREF A1)
(\DELREF A2)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
14Q)
(EQ (\REFCNT A5)
5))
(\ADDREF A1)
(SETQ !FVAR2 A3)
(SETQ !FVAR1 A4)
(SETQ !FVAR1 A3)
(SETQ !FVAR2 A1)
(SETQ !FVAR1 A2)
(\ADDREF A4)
(\ADDREF A4)
(\ADDREF A4)
(\ADDREF A1)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
16Q)
(EQ (\REFCNT A5)
4))
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(SETQ.NOREF !FVAR1 NIL)
(SETQ.NOREF !FVAR2 NIL)))))
(!GCTESTSETG
(LAMBDA NIL (* JonL "16-Mar-84 12:17")
(DECLARE (GLOBALVARS !GVAR1 !GVAR2))
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !GVAR1) (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE SETQ) (QUOTE !GVAR2) (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE \REFCNT)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(MTCHECKSTK (SETQ !GVAR1 A4)
(\DELREF A2)
(SETQ !GVAR1 A4)
(\ADDREF A3)
(SETQ !GVAR1 A4)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A5)
(SETQ !GVAR1 A2)
(\DELREF A2)
(\DELREF A3)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
2))
(\DELREF A3)
(SETQ !GVAR2 A1)
(\ADDREF A4)
(SETQ !GVAR2 A5)
(SETQ !GVAR2 A2)
(\ADDREF A3)
(SETQ !GVAR1 A2)
(\DELREF A4)
(\DELREF A1)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
1))
(\DELREF A2)
(\ADDREF A2)
(\DELREF A3)
(\ADDREF A1)
(SETQ !GVAR2 A1)
(\ADDREF A5)
(SETQ !GVAR2 A4)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A1)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
4))
(SETQ !GVAR2 A4)
(\ADDREF A5)
(SETQ !GVAR2 A5)
(\ADDREF A1)
(SETQ !GVAR2 A5)
(SETQ !GVAR2 A2)
(SETQ !GVAR1 A4)
(SETQ !GVAR1 A4)
(\DELREF A4)
(\ADDREF A4)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
5))
(\DELREF A5)
(SETQ !GVAR1 A5)
(\ADDREF A4)
(\ADDREF A1)
(SETQ !GVAR1 A1)
(\DELREF A4)
(SETQ !GVAR1 A5)
(SETQ !GVAR1 A2)
(\ADDREF A3)
(SETQ !GVAR1 A1)
(MTCHECK (EQ (\REFCNT A1)
5)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
4))
(\ADDREF A2)
(\DELREF A3)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A3)
(SETQ !GVAR2 A2)
(\ADDREF A2)
(SETQ !GVAR2 A5)
(\ADDREF A4)
(\DELREF A2)
(MTCHECK (EQ (\REFCNT A1)
5)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
5))
(SETQ !GVAR1 A2)
(SETQ !GVAR1 A4)
(\ADDREF A3)
(\DELREF A4)
(SETQ !GVAR1 A2)
(SETQ !GVAR2 A4)
(\DELREF A1)
(SETQ !GVAR1 A3)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A5)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
5))
(SETQ !GVAR2 A3)
(SETQ !GVAR1 A2)
(\ADDREF A1)
(\ADDREF A5)
(\ADDREF A2)
(\DELREF A5)
(\DELREF A2)
(\DELREF A1)
(\ADDREF A2)
(SETQ !GVAR2 A4)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
4))
(\DELREF A1)
(\ADDREF A5)
(\DELREF A1)
(\DELREF A5)
(\DELREF A3)
(\ADDREF A3)
(SETQ !GVAR1 A1)
(SETQ !GVAR2 A2)
(\ADDREF A2)
(SETQ !GVAR2 A2)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
4))
(\ADDREF A3)
(\ADDREF A1)
(SETQ !GVAR2 A5)
(SETQ !GVAR1 A3)
(SETQ !GVAR2 A2)
(SETQ !GVAR1 A2)
(SETQ !GVAR2 A4)
(\DELREF A3)
(SETQ !GVAR2 A4)
(\DELREF A1)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
4))
(\DELREF A2)
(\DELREF A2)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(SETQ.NOREF !GVAR1 NIL)
(SETQ.NOREF !GVAR2 NIL))
(MTCHECKSTK (\ADDREF A3)
(\DELREF A1)
(SETQ !GVAR2 A1)
(SETQ !GVAR1 A2)
(SETQ !GVAR2 A2)
(\ADDREF A3)
(SETQ !GVAR2 A3)
(\DELREF A5)
(SETQ !GVAR2 A4)
(\ADDREF A2)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
0))
(SETQ !GVAR1 A5)
(SETQ !GVAR2 A3)
(SETQ !GVAR1 A5)
(SETQ !GVAR1 A1)
(\DELREF A1)
(SETQ !GVAR2 A5)
(\ADDREF A1)
(SETQ !GVAR1 A1)
(\DELREF A4)
(SETQ !GVAR1 A4)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
1))
(SETQ !GVAR2 A5)
(SETQ !GVAR1 A1)
(\ADDREF A5)
(\ADDREF A4)
(\DELREF A2)
(SETQ !GVAR2 A5)
(\DELREF A4)
(SETQ !GVAR1 A5)
(\ADDREF A2)
(SETQ !GVAR1 A4)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
2))
(\DELREF A2)
(\DELREF A4)
(\DELREF A2)
(\ADDREF A2)
(SETQ !GVAR2 A2)
(\ADDREF A5)
(\ADDREF A2)
(\ADDREF A1)
(SETQ !GVAR2 A3)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
4)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
3))
(\ADDREF A2)
(\DELREF A5)
(\ADDREF A1)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A2)
(SETQ !GVAR2 A5)
(\DELREF A3)
(\ADDREF A2)
(SETQ !GVAR2 A1)
(\DELREF A5)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
1))
(\DELREF A2)
(SETQ !GVAR2 A2)
(SETQ !GVAR2 A5)
(\ADDREF A1)
(SETQ !GVAR2 A2)
(\DELREF A3)
(\ADDREF A5)
(SETQ !GVAR2 A5)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A1)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
2))
(\ADDREF A5)
(SETQ !GVAR2 A4)
(\DELREF A1)
(\ADDREF A3)
(\DELREF A3)
(SETQ !GVAR2 A2)
(SETQ !GVAR2 A2)
(\DELREF A2)
(\DELREF A5)
(\ADDREF A2)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
2))
(SETQ !GVAR2 A1)
(\DELREF A1)
(\DELREF A5)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A2)
(\ADDREF A2)
(\ADDREF A4)
(SETQ !GVAR1 A4)
(SETQ !GVAR1 A5)
(\ADDREF A1)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
5)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
2))
(SETQ !GVAR1 A4)
(SETQ !GVAR1 A4)
(\DELREF A5)
(\ADDREF A5)
(SETQ !GVAR2 A1)
(SETQ !GVAR2 A2)
(\DELREF A5)
(SETQ !GVAR1 A1)
(SETQ !GVAR2 A4)
(SETQ !GVAR2 A1)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
0)
(EQ (\REFCNT A5)
0))
(SETQ !GVAR2 A4)
(\ADDREF A4)
(SETQ !GVAR2 A4)
(SETQ !GVAR1 A4)
(SETQ !GVAR2 A5)
(\ADDREF A3)
(SETQ !GVAR1 A4)
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
2))
(\DELREF A1)
(\DELREF A1)
(\DELREF A2)
(\DELREF A2)
(\DELREF A2)
(\DELREF A3)
(\DELREF A5)
(SETQ.NOREF !GVAR1 NIL)
(SETQ.NOREF !GVAR2 NIL)))))
(!GCTEST3D
(LAMBDA NIL (* JonL "16-Mar-84 12:12")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))
(BOX1 (CREATECELL \FIXP))
(BOX2 (CREATECELL \FIXP))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX1) 0 (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX2) 0 (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE GETREF)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\RPLPTR BOX1 0 A1)
(\ADDREF A4)
(\ADDREF A1)
(\RPLPTR BOX2 0 A2)
(\ADDREF A4)
(\ADDREF A1)
(\RPLPTR BOX2 0 A4)
(\ADDREF A1)
(\RPLPTR BOX2 0 A2)
(\ADDREF A4)
(MTCHECK (EQ (\REFCNT A1)
5)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
1))
(\DELREF A1)
(\ADDREF A5)
(\DELREF A2)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A5)
(\RPLPTR BOX1 0 A3)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
3)
(EQ (\REFCNT A5)
2))
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX2 0 A4)
(\RPLPTR BOX1 0 A5)
(\DELREF A5)
(\RPLPTR BOX2 0 A3)
(\ADDREF A1)
(\ADDREF A5)
(\ADDREF A3)
(\RPLPTR BOX1 0 A4)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
2))
(\ADDREF A4)
(\RPLPTR BOX1 0 A2)
(\DELREF A5)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A1)
(\ADDREF A2)
(\ADDREF A1)
(\ADDREF A4)
(\ADDREF A3)
(\RPLPTR BOX2 0 A5)
(MTCHECK (EQ (\REFCNT A1)
6)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
5)
(EQ (\REFCNT A5)
2))
(\ADDREF A2)
(\ADDREF A3)
(\DELREF A1)
(\ADDREF A4)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A1)
(\DELREF A5)
(\DELREF A3)
(\RPLPTR BOX2 0 A5)
(\RPLPTR BOX1 0 A3)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
4)
(EQ (\REFCNT A4)
6)
(EQ (\REFCNT A5)
1))
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX1 0 A3)
(\RPLPTR BOX1 0 A4)
(\ADDREF A4)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A1)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A3)
(MTCHECK (EQ (\REFCNT A1)
6)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
4)
(EQ (\REFCNT A4)
6)
(EQ (\REFCNT A5)
0))
(\ADDREF A2)
(\ADDREF A3)
(\DELREF A2)
(\RPLPTR BOX1 0 A4)
(\DELREF A3)
(\DELREF A1)
(\ADDREF A3)
(\RPLPTR BOX1 0 A4)
(\ADDREF A1)
(\DELREF A2)
(MTCHECK (EQ (\REFCNT A1)
6)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
4)
(EQ (\REFCNT A4)
7)
(EQ (\REFCNT A5)
0))
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX1 0 A1)
(\ADDREF A3)
(\RPLPTR BOX1 0 A5)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A2)
(\ADDREF A5)
(\RPLPTR BOX2 0 A3)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
6)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
6)
(EQ (\REFCNT A4)
5)
(EQ (\REFCNT A5)
1))
(\RPLPTR BOX2 0 A3)
(\DELREF A5)
(\RPLPTR BOX2 0 A5)
(\ADDREF A1)
(\ADDREF A5)
(\ADDREF A3)
(\RPLPTR BOX2 0 A1)
(\DELREF A3)
(\DELREF A1)
(\RPLPTR BOX1 0 A5)
(MTCHECK (EQ (\REFCNT A1)
7)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
5)
(EQ (\REFCNT A4)
5)
(EQ (\REFCNT A5)
1))
(\RPLPTR BOX1 0 A4)
(\ADDREF A3)
(\RPLPTR BOX2 0 A2)
(\ADDREF A5)
(\DELREF A2)
(\RPLPTR BOX1 0 A2)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A3)
(\RPLPTR BOX2 0 A2)
(MTCHECK (EQ (\REFCNT A1)
6)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
11Q)
(EQ (\REFCNT A4)
5)
(EQ (\REFCNT A5)
1))
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A2)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)))))
(!GCTEST3C
(LAMBDA NIL (* JonL "16-Mar-84 12:12")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))
(BOX1 (CREATECELL \FIXP))
(BOX2 (CREATECELL \FIXP))) (* 5 array pointers that will hash to same place)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM BOX1STATE BOX2STATE)
(FRPTQ 12Q (FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (PROG NIL RETRY (SELECTQ (RAND 1 4)
(1 (COND (BOX1STATE (COND ((ZEROP (CADR BOX1STATE)) (GO RETRY))) (add (CADR BOX1STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX1STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX1) 0 (CAR VAR))))
(2 (COND (BOX2STATE (COND ((ZEROP (CADR BOX2STATE)) (GO RETRY))) (add (CADR BOX2STATE) -1)))
(add (CADR VAR) 1) (SETQ BOX2STATE VAR) (push FORMS (LIST (QUOTE \RPLPTR) (QUOTE BOX2) 0 (CAR VAR))))
(3 (add (CADR VAR) 1) (push FORMS (LIST (QUOTE \ADDREF) (CAR VAR)))) (PROGN (COND ((ZEROP
(CADR VAR)) (GO RETRY))) (add (CADR VAR) -1) (push FORMS (LIST (QUOTE \DELREF) (CAR VAR)))))))
(push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST (QUOTE EQ) (LIST (QUOTE GETREF)
(CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X)) (push FORMS (LIST (QUOTE \ADDREF)
(CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF) (CAR X))))))) (RETURN
(CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A2)
(\ADDREF A2)
(\ADDREF A3)
(\ADDREF A2)
(\ADDREF A4)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A3)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
1))
(\ADDREF A5)
(\ADDREF A2)
(\RPLPTR BOX2 0 A2)
(\ADDREF A3)
(\RPLPTR BOX1 0 A1)
(\DELREF A3)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A3)
(\DELREF A3)
(\RPLPTR BOX1 0 A1)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
2))
(\RPLPTR BOX2 0 A1)
(\DELREF A2)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A5)
(\DELREF A1)
(\RPLPTR BOX1 0 A5)
(\ADDREF A2)
(\RPLPTR BOX1 0 A1)
(\DELREF A5)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
2))
(\DELREF A5)
(\RPLPTR BOX2 0 A4)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX2 0 A2)
(\ADDREF A4)
(\RPLPTR BOX1 0 A5)
(\ADDREF A1)
(\ADDREF A1)
(\RPLPTR BOX1 0 A4)
(\DELREF A2)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
0))
(\RPLPTR BOX2 0 A5)
(\RPLPTR BOX1 0 A3)
(\ADDREF A2)
(\ADDREF A5)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX1 0 A3)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX2 0 A2)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
6)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
3)
(EQ (\REFCNT A5)
1))
(\ADDREF A4)
(\ADDREF A1)
(\RPLPTR BOX1 0 A3)
(\RPLPTR BOX2 0 A3)
(\DELREF A1)
(\RPLPTR BOX1 0 A5)
(\DELREF A2)
(\ADDREF A4)
(\RPLPTR BOX1 0 A4)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
6)
(EQ (\REFCNT A5)
2))
(\DELREF A5)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX2 0 A2)
(\DELREF A2)
(\ADDREF A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX1 0 A1)
(\DELREF A2)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
5)
(EQ (\REFCNT A5)
1))
(\RPLPTR BOX1 0 A1)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A1)
(\RPLPTR BOX1 0 A1)
(\DELREF A5)
(\RPLPTR BOX1 0 A2)
(\RPLPTR BOX1 0 A4)
(\RPLPTR BOX2 0 A3)
(\RPLPTR BOX2 0 A2)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
6)
(EQ (\REFCNT A5)
0))
(\RPLPTR BOX2 0 A1)
(\DELREF A3)
(\DELREF A1)
(\DELREF A1)
(\RPLPTR BOX1 0 A3)
(\ADDREF A1)
(\DELREF A4)
(\DELREF A3)
(\RPLPTR BOX2 0 A5)
(\ADDREF A3)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
1))
(\RPLPTR BOX1 0 A5)
(\DELREF A2)
(\RPLPTR BOX2 0 A2)
(\RPLPTR BOX1 0 A5)
(\RPLPTR BOX2 0 A1)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A5)
(\RPLPTR BOX2 0 A5)
(\ADDREF A1)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
5))
(\DELREF A1)
(\DELREF A1)
(\ADDREF A2)
(\ADDREF A3)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)
(\DELREF A5)))))
(!GCTEST3B
(LAMBDA NIL (* JonL "16-Mar-84 12:12")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place -
INITIAL REFERENCE CNT 1)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM) (FRPTQ 12Q
(FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (push FORMS (LIST (SELECTQ (COND ((ZEROP
(CADR VAR)) 0) (T (RAND 0 1))) (0 (add (CADR VAR) 1) (QUOTE \ADDREF)) (PROGN (add (CADR VAR) -1)
(QUOTE \DELREF))) (CAR VAR)))) (push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST
(QUOTE EQ) (LIST (QUOTE GETREF) (CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X))
(push FORMS (LIST (QUOTE \ADDREF) (CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF)
(CAR X))))))) (RETURN (CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\ADDREF A2)
(\ADDREF A4)
(\ADDREF A5)
(\ADDREF A4)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A2)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
3))
(\DELREF A5)
(\DELREF A3)
(\DELREF A5)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A3)
(\ADDREF A4)
(\DELREF A4)
(\DELREF A4)
(\ADDREF A4)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
3)
(EQ (\REFCNT A5)
0))
(\DELREF A4)
(\DELREF A1)
(\DELREF A4)
(\DELREF A1)
(\DELREF A4)
(\DELREF A2)
(\ADDREF A4)
(\ADDREF A1)
(\DELREF A2)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
1))
(\ADDREF A4)
(\ADDREF A4)
(\DELREF A4)
(\ADDREF A3)
(\ADDREF A4)
(\DELREF A5)
(\DELREF A3)
(\DELREF A3)
(\ADDREF A4)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
1))
(\ADDREF A1)
(\ADDREF A3)
(\ADDREF A2)
(\ADDREF A1)
(\DELREF A4)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A3)
(\DELREF A2)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
3)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
0))
(\DELREF A1)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A2)
(\DELREF A1)
(\ADDREF A3)
(\DELREF A2)
(\ADDREF A5)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
5)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
2))
(\DELREF A1)
(\ADDREF A2)
(\ADDREF A5)
(\DELREF A3)
(\DELREF A3)
(\DELREF A1)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A4)
(\ADDREF A4)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
5)
(EQ (\REFCNT A4)
3)
(EQ (\REFCNT A5)
3))
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A2)
(\ADDREF A5)
(\DELREF A3)
(\ADDREF A1)
(\DELREF A4)
(\DELREF A3)
(\DELREF A4)
(\ADDREF A3)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
4)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
3))
(\ADDREF A3)
(\DELREF A2)
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A4)
(\DELREF A1)
(\DELREF A3)
(\ADDREF A2)
(\DELREF A5)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
2))
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A2)
(\ADDREF A4)
(\DELREF A5)
(\DELREF A2)
(\DELREF A1)
(\ADDREF A3)
(\ADDREF A2)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
4)
(EQ (\REFCNT A3)
4)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
0))
(\DELREF A2)
(\DELREF A2)
(\DELREF A2)
(\DELREF A3)
(\DELREF A3)
(\DELREF A3)
(\DELREF A4)
(\ADDREF A5)))))
(!GCTEST3A
(LAMBDA NIL (* JonL "16-Mar-84 12:12")
(PROG ((A1 (VAG2 71Q 442Q))
(A2 (VAG2 72Q 442Q))
(A3 (VAG2 70Q 442Q))
(A4 (VAG2 67Q 442Q))
(A5 (VAG2 66Q 442Q))) (* 5 array pointers that will hash to same place -
INITIAL REFERENCE CNT 1)
(* (PROG ((STATE (for X in (QUOTE (A1 A2 A3 A4 A5)) collect (LIST X 1))) FORMS FORM) (FRPTQ 12Q
(FRPTQ 12Q (SETQ VAR (CAR (NTH STATE (RAND 1 5)))) (push FORMS (LIST (SELECTQ (COND ((ZEROP
(CADR VAR)) 0) (T (RAND 0 1))) (0 (add (CADR VAR) 1) (QUOTE \ADDREF)) (PROGN (add (CADR VAR) -1)
(QUOTE \DELREF))) (CAR VAR)))) (push FORMS (CONS (QUOTE MTCHECK) (for X in STATE collect (LIST
(QUOTE EQ) (LIST (QUOTE GETREF) (CAR X)) (CADR X)))))) (for X in STATE do (COND ((ZEROP (CADR X))
(push FORMS (LIST (QUOTE \ADDREF) (CAR X)))) (T (FRPTQ (SUB1 (CADR X)) (push FORMS (LIST (QUOTE \DELREF)
(CAR X))))))) (RETURN (CONS (QUOTE PROGN) (REVERSE FORMS)))))
(PROGN (\DELREF A1)
(\ADDREF A1)
(\DELREF A1)
(\ADDREF A2)
(\DELREF A3)
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A2)
(MTCHECK (EQ (\REFCNT A1)
1)
(EQ (\REFCNT A2)
3)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
1)
(EQ (\REFCNT A5)
0))
(\DELREF A3)
(\ADDREF A4)
(\DELREF A2)
(\DELREF A1)
(\DELREF A4)
(\ADDREF A4)
(\ADDREF A5)
(\ADDREF A1)
(\DELREF A1)
(\DELREF A3)
(MTCHECK (EQ (\REFCNT A1)
0)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
0)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
1))
(\ADDREF A1)
(\ADDREF A4)
(\DELREF A4)
(\ADDREF A5)
(\ADDREF A3)
(\DELREF A3)
(\DELREF A2)
(\ADDREF A3)
(\ADDREF A5)
(\ADDREF A1)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
1)
(EQ (\REFCNT A4)
2)
(EQ (\REFCNT A5)
3))
(\ADDREF A4)
(\ADDREF A4)
(\ADDREF A3)
(\ADDREF A3)
(\DELREF A2)
(\DELREF A1)
(\DELREF A5)
(\ADDREF A1)
(\ADDREF A1)
(\DELREF A1)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
0)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
2))
(\DELREF A5)
(\ADDREF A3)
(\ADDREF A5)
(\ADDREF A5)
(\ADDREF A4)
(\ADDREF A2)
(\DELREF A3)
(\DELREF A5)
(\ADDREF A3)
(\ADDREF A3)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
5)
(EQ (\REFCNT A4)
5)
(EQ (\REFCNT A5)
2))
(\ADDREF A4)
(\DELREF A4)
(\ADDREF A4)
(\DELREF A3)
(\ADDREF A3)
(\ADDREF A3)
(\ADDREF A1)
(\ADDREF A2)
(\DELREF A2)
(\ADDREF A1)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
6)
(EQ (\REFCNT A4)
6)
(EQ (\REFCNT A5)
2))
(\ADDREF A5)
(\DELREF A1)
(\DELREF A5)
(\ADDREF A4)
(\DELREF A1)
(\DELREF A3)
(\DELREF A3)
(\ADDREF A5)
(\DELREF A3)
(\DELREF A3)
(MTCHECK (EQ (\REFCNT A1)
2)
(EQ (\REFCNT A2)
1)
(EQ (\REFCNT A3)
2)
(EQ (\REFCNT A4)
7)
(EQ (\REFCNT A5)
3))
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A4)
(\ADDREF A2)
(\DELREF A5)
(\DELREF A4)
(\ADDREF A1)
(\ADDREF A3)
(\ADDREF A4)
(\DELREF A5)
(MTCHECK (EQ (\REFCNT A1)
4)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
7)
(EQ (\REFCNT A5)
1))
(\DELREF A2)
(\ADDREF A4)
(\DELREF A1)
(\DELREF A4)
(\DELREF A5)
(\ADDREF A5)
(\ADDREF A1)
(\ADDREF A2)
(\ADDREF A1)
(\ADDREF A5)
(MTCHECK (EQ (\REFCNT A1)
5)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
7)
(EQ (\REFCNT A5)
2))
(\DELREF A3)
(\ADDREF A1)
(\ADDREF A2)
(\DELREF A2)
(\DELREF A4)
(\ADDREF A5)
(\DELREF A4)
(\ADDREF A3)
(\DELREF A5)
(\DELREF A4)
(MTCHECK (EQ (\REFCNT A1)
6)
(EQ (\REFCNT A2)
2)
(EQ (\REFCNT A3)
3)
(EQ (\REFCNT A4)
4)
(EQ (\REFCNT A5)
2))
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A1)
(\DELREF A2)
(\DELREF A3)
(\DELREF A3)
(\DELREF A4)
(\DELREF A4)
(\DELREF A4)
(\DELREF A5)))))
)
(* Utilities for debugging arrays)
(DEFINEQ
(FINDPTRINLIST
[LAMBDA (PTR LST) (* lmm "28-JUN-80 22:01")
(find X in LST suchthat (AND (EQ (CAAR X)
(HILOC PTR))
(EQ (CDAR X)
(LOLOC PTR])
(PPFBL
[LAMBDA NIL (* rmk: " 8-MAY-81 09:07")
(* Prints information about items on \FREEBLOCKLIST)
(DECLARE (GLOBALVARS \FREEBLOCKLIST \ArrayFrLst))
(PROG (NEXT (ROVER \FREEBLOCKLIST)
(COUNT 0))
(OR ROVER (GO OUT))
LP (add COUNT 1)
(printout T T ROVER 21Q .I6 (fetch ARLEN of ROVER))
(AND [NEQ \ArrayFrLst (SETQ NEXT (\ADDBASE2 ROVER (fetch ARLEN of ROVER]
(NOT (fetch INUSE of NEXT))
(printout T -5 NEXT 50Q .I6 (fetch ARLEN of NEXT)))
(COND
((EQ (SETQ ROVER (fetch FWD of ROVER))
\FREEBLOCKLIST)
(GO OUT))
(T (GO LP)))
OUT (printout T T COUNT " blocks on \FREEBLOCKLIST" T])
)
(DEFINEQ
(MINILOGOUT
[LAMBDA NIL (* bvm: "10-OCT-81 17:22")
(* * This one works for hacking in the init.sysout)
(\STOPDISPLAY)
(LOGOUT0)
(\STARTDISPLAY)
(\DEVICEEVENT (QUOTE AFTERLOGOUT])
)
(DECLARE: DONTEVAL@LOAD DOCOPY
(!DIAGNOSE)
)
(PUTPROPS MACROTEST COPYRIGHT ("Xerox Corporation" 3675Q 3676Q 3677Q 3700Q))
(DECLARE: DONTCOPY
(FILEMAP (NIL (6162Q 30125Q (!DIAGNOSE 6174Q . 6715Q) (!DIAGNOSELP 6717Q . 7471Q) (!INTERPTEST 7473Q
. 14140Q) (!CHECKARGS 14142Q . 17042Q) (!CHECKLSTARARG 17044Q . 17330Q) (!CHECKLSTARSETARG 17332Q .
17616Q) (!CONSTEST 17620Q . 25065Q) (!COPY 25067Q . 25373Q) (!SMASH 25375Q . 25767Q) (CHECKFREELISTS
25771Q . 27450Q) (!CKEQ 27452Q . 30123Q)) (30175Q 44114Q (!FVARTEST 30207Q . 30655Q) (PUSH.TEST 30657Q
. 32422Q) (CALLS.FIRSTARGTEST 32424Q . 32763Q) (CALLS.LASTARGTEST 32765Q . 33455Q) (CALLS.TOOFEWARGS
33457Q . 34137Q) (FVAR.FREE 34141Q . 35305Q) (FVAR.TEST 35307Q . 36352Q) (FVAR.TEST2 36354Q . 36647Q)
(FVAR.TEST3 36651Q . 37060Q) (FN.FIRSTARG.FVARS 37062Q . 37366Q) (FN.FIRSTARG.PVARS.FVARS 37370Q .
37736Q) (FN.LASTARG.FVARS 37740Q . 40344Q) (FN.LASTARG.FVARS.PVARS 40346Q . 41025Q) (FVAR.TESTN 41027Q
. 41231Q) (FN.FREE.SKIPPVARS 41233Q . 41533Q) (FN.FREEPVAR 41535Q . 42056Q) (FN.FVAR3 42060Q . 42245Q
) (FN.FREEARG 42247Q . 42446Q) (FN.FR1 42450Q . 42721Q) (FN.FR2 42723Q . 43174Q) (FN.FR3 43176Q .
43573Q) (FAULTTEST 43575Q . 44112Q)) (44423Q 260001Q (!NUMBERTEST 44435Q . 45001Q) (!NUMTEST1 45003Q
. 54440Q) (!NUMTEST2 54442Q . 64164Q) (!NUMTEST3 64166Q . 74451Q) (!NUMTEST4 74453Q . 105666Q) (
!NUMTEST5 105670Q . 116776Q) (!NUMTEST6 117000Q . 126516Q) (!RANDNUMTEST 126520Q . 130377Q) (
!RANDNUMTEST1 130401Q . 143314Q) (!RANDNUMTEST2 143316Q . 162642Q) (!RANDNUMTEST3 162644Q . 201665Q) (
!RANDNUMTEST4 201667Q . 216417Q) (!FNUMTEST 216421Q . 221731Q) (!MIXNUMTEST 221733Q . 256111Q) (!CKFEQ
256113Q . 256512Q) (!CKFUZZYEQ 256514Q . 257777Q)) (260002Q 407375Q (!GCTEST 260014Q . 260301Q) (
!GCTEST0 260303Q . 261432Q) (!GCTEST1 261434Q . 264062Q) (!GCTEST2 264064Q . 265511Q) (!GCTEST3
265513Q . 266060Q) (!GCTESTSETF 266062Q . 313154Q) (!GCTESTSETG 313156Q . 337456Q) (!GCTEST3D 337460Q
. 352416Q) (!GCTEST3C 352420Q . 365311Q) (!GCTEST3B 365313Q . 376302Q) (!GCTEST3A 376304Q . 407373Q))
(407451Q 411571Q (FINDPTRINLIST 407463Q . 410030Q) (PPFBL 410032Q . 411567Q)) (411572Q 412222Q (
MINILOGOUT 411604Q . 412220Q)))))
STOP