(FILECREATED " 3-Dec-84 19:19:33" {ERIS}<LISPCORE>LIBRARY>MACROTESTAUX.;1
 247245Q

      previous date: " 7-Nov-84 21:11:26" {ERIS}<LISPCORE>SOURCES>MACROTESTAUX.;5)


(* Copyright (c) 1984 by Xerox Corporation. All rights reserved.)

(PRETTYCOMPRINT MACROTESTAUXCOMS)

(RPAQQ MACROTESTAUXCOMS
 ((E (RADIX 8))
	(DECLARE: EVAL@COMPILE DONTCOPY (P (LOADCOMP (QUOTE MACROTEST)))
		  (DECLARE: DONTEVAL@LOAD (P (RESETSAVE OPTIMIZATIONSOFF T))))
	(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)))
	(* "Test out of numeric capabilities")
	(FNS !NUMBERTEST !NUMTEST1 !NUMTEST2 !NUMTEST3 !NUMTEST4 !NUMTEST5 !NUMTEST6 !RANDNUMTEST 
	     !RANDNUMTEST1 !RANDNUMTEST2 !RANDNUMTEST3 !RANDNUMTEST4 !FNUMTEST !FNUMTEST1 !FNUMTEST2 
	     !FNUMTEST3 !FNUMTEST4 !FNUMTEST5 !MIXNUMTEST)
	(* "Compiler error may prevent some of the above functions from getting compiled")
	(DECLARE: DONTEVAL@LOAD DONTEVAL@COMPILE DOCOPY (P (MAPC (OR (FILEFNSLST (QUOTE MACROTESTAUX))
								     (QUOTE (PUSH.TEST)))
								 (FUNCTION (LAMBDA
									     (X)
									     (MOVD? (QUOTE NILL)
										    X))))))))
(DECLARE: EVAL@COMPILE DONTCOPY 
(LOADCOMP (QUOTE MACROTEST))

(DECLARE: DONTEVAL@LOAD 
(RESETSAVE OPTIMIZATIONSOFF T)
)
)



(* "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)



(* "Test out of numeric capabilities")


(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 " 7-Nov-84 17:57")

    (!FNUMTEST1
)
    (!FNUMTEST2
)
    (!FNUMTEST3
)
    (
!FNUMTEST4
)
    (!FNUMTEST5
)))

(!FNUMTEST1

  (LAMBDA NIL                                                (* JonL " 7-Nov-84 16:29")

                                                             (* Some very simple cases especially involving a 16-bit

							     overflow)

    (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)
    (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)))

(!FNUMTEST2

  (LAMBDA NIL                                                (* JonL " 7-Nov-84 18:47")

    (for
 I F FORM from
 0 to
 (
SUB1
 BITSPERCELL)
       do
 (
SETQ
 F (create
 FLOATP
			  FLOATCONTENTS ←(
LOGXOR
 (
MASK.1'S
 I 1)
						 (
CONSTANT
 (fetch
 (
FLOATP
 FLOATCONTENTS)
							      of
 (create
 FLOATP
									 EXPONENT ← 201Q))))))
	  (
SETQ
 FORM (
LIST
 (
QUOTE
 FPLUS)
			   0.0
			   (
CONCAT
 "{ 2.0 xor 2↑" I)))
	  (
!CKFEQ
 (
FPLUS
 0.0 F)
		  F FORM)
	  (
!CKFEQ
 (
FTIMES
 1.0 F)
		  F
		  (
QUOTE
 (
FTIMES
 1.0 F))))))

(!FNUMTEST3

  (LAMBDA NIL                                                (* JonL " 7-Nov-84 16:32")

                                                             (* 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)))

(!FNUMTEST4

  (LAMBDA NIL                                                (* JonL " 7-Nov-84 20:58")

                                                             (* Some random kludgy number tests)

    (
!CKFEQ
 (
FPLUS
 1.234568 1.111111)
	    2.345679
	    (
QUOTE
 (
FPLUS
 1.234568 1.111111)))
    (
!CKFEQ
 (
FPLUS
 (
DEFERREDCONSTANT
 (create
 FLOATP
					     FLOATCONTENTS ← 7747403121Q))
		   1.111111)
	    (
DEFERREDCONSTANT
 (create
 FLOATP
				      FLOATCONTENTS ← 10005417632Q))
	    (
QUOTE
 (
FPLUS
 "1.2345678" 1.111111)))))

(!FNUMTEST5

  (LAMBDA NIL                                                (* JonL " 7-Nov-84 16:33")

                                                             (* Check out the comparators)

    (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))))
)



(* "Compiler error may prevent some of the above functions from getting compiled")


(DECLARE: DONTEVAL@LOAD DONTEVAL@COMPILE DOCOPY 
(MAPC (OR (FILEFNSLST (QUOTE MACROTESTAUX))
	  (QUOTE (PUSH.TEST)))
      (FUNCTION (LAMBDA (X)
			(MOVD? (QUOTE NILL)
			       X))))
)
(PUTPROPS MACROTESTAUX COPYRIGHT ("Xerox Corporation" 3700Q))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (3241Q 20020Q (!FVARTEST 3253Q . 3721Q) (PUSH.TEST 3723Q . 5652Q) (CALLS.FIRSTARGTEST 
5654Q . 6223Q) (CALLS.LASTARGTEST 6225Q . 6725Q) (CALLS.TOOFEWARGS 6727Q . 7423Q) (FVAR.FREE 7425Q . 
10751Q) (FVAR.TEST 10753Q . 12102Q) (FVAR.TEST2 12104Q . 12403Q) (FVAR.TEST3 12405Q . 12614Q) (
FN.FIRSTARG.FVARS 12616Q . 13126Q) (FN.FIRSTARG.PVARS.FVARS 13130Q . 13512Q) (FN.LASTARG.FVARS 13514Q
 . 14124Q) (FN.LASTARG.FVARS.PVARS 14126Q . 14621Q) (FVAR.TESTN 14623Q . 15025Q) (FN.FREE.SKIPPVARS 
15027Q . 15333Q) (FN.FREEPVAR 15335Q . 15676Q) (FN.FVAR3 15700Q . 16065Q) (FN.FREEARG 16067Q . 16266Q)
 (FN.FR1 16270Q . 16551Q) (FN.FR2 16553Q . 17034Q) (FN.FR3 17036Q . 17457Q) (FAULTTEST 17461Q . 20016Q
)) (20344Q 246474Q (!NUMBERTEST 20356Q . 20723Q) (!NUMTEST1 20725Q . 31200Q) (!NUMTEST2 31202Q . 
41542Q) (!NUMTEST3 41544Q . 52651Q) (!NUMTEST4 52653Q . 64704Q) (!NUMTEST5 64706Q . 76632Q) (!NUMTEST6
 76634Q . 107154Q) (!RANDNUMTEST 107156Q . 111036Q) (!RANDNUMTEST1 111040Q . 123755Q) (!RANDNUMTEST2 
123757Q . 143305Q) (!RANDNUMTEST3 143307Q . 162332Q) (!RANDNUMTEST4 162334Q . 200072Q) (!FNUMTEST 
200074Q . 200421Q) (!FNUMTEST1 200423Q . 202735Q) (!FNUMTEST2 202737Q . 204105Q) (!FNUMTEST3 204107Q
 . 205566Q) (!FNUMTEST4 205570Q . 206673Q) (!FNUMTEST5 206675Q . 207340Q) (!MIXNUMTEST 207342Q . 
246472Q)))))
STOP