TOPCODE
 ( (1 STOP 0 RETURN RETURN NIL NIL NIL TE.RAID)  (6 CONSP 0 T 0 NIL NIL NIL TE.LISTP)  (20 COPY 0 T 1 
NIL NIL NIL TE.COPY)  (22 'NIL 0 T 1 NIL NIL NIL TE.'NIL)  (24 'UNBOUND 0 T 1 NIL NIL NIL TE.'UNBIND) 
 (25 '0 0 T 1 NIL NIL NIL TE.'0)  (26 '1 0 T 1 NIL NIL NIL TE.'1)  (49 DUNBIND 1 T TUNBIND NIL NIL T 
TE.DUNBIND)  (56 GVAR 3 ATOM 1 NIL NIL NIL TE.GVAR)  (57 GVAR← 3 ATOM 0 NIL NIL NIL TE.GVAR←)  (160 
UDF0-2D 1 T -1 NIL NIL NIL NIL)  (122 RETNP 0 T NIL NIL NIL NIL NIL)  (161 UDF1-2D 1 T -1 NIL NIL NIL 
NIL)  (162 UDF2-2D 1 T -1 NIL NIL NIL NIL)  (163 UDF3-2D 1 T -1 NIL NIL NIL NIL)  (164 WRITEOCTNIL.N 1
 T NIL NIL NIL NIL NIL)  (165 WRITEOCTUNBOUND.N 1 T NIL NIL NIL NIL NIL)  (180 RESET-VMM 0 T NIL NIL 
NIL NIL NIL)  ( (240 255) JUMPK 0 JUMP JUMP NIL NIL T TE.JUMPK)  ( (182 191) VARK← 0 PVAR 0 NIL NIL 
NIL TE.VARK←)  (120 RETURN 0 RETURN RETURN NIL NIL NIL TE.RETURN)  (121 RETEI 0 RETURN RETURN NIL NIL 
NIL NIL)  (149 MYCLINK← 0 T 0 NIL NIL T TE.MYCLINK←)  (23 'T 0 T 1 NIL NIL NIL TE.'T)  (0 -X- 0 NIL 0 
NIL NIL T NIL)  (58 ACONST 3 ATOM 1 NIL NIL NIL TE.ACONST)  (29 ADDBASE 0 T -1 T\PUTPTR.N NIL NIL 
TE.ADDBASE)  (126 APPLYFN 0 T NIL NIL NIL NIL NIL)  ( (166 175) VARK←UNBOUND 0 PVAR 0 NIL NIL T 
TE.VARK←UNBIND)  (30 ASH 0 T -1 NIL NIL NIL TE.ASH)  (13 CAR 0 T 0 T\CAR NIL NIL TE.CAR)  (14 CDR 0 T 
0 T\CDR NIL NIL TE.CDR)  (102 CONS 0 T -1 T\CONS NIL NIL NIL)  (80 CONTEXTSWITCH 0 T NIL NIL NIL NIL 
NIL)  (70 DIFFERENCE 0 T -1 NIL NIL NIL TE.DIFFERENCE)  (27 DISINT 0 T 0 NIL NIL NIL TE.DISINT)  (95 
DTEST.O 3 ATOM 0 T\DTEST NIL NIL TE.DTEST.O)  (28 ENBINT 0 T 0 NIL NIL NIL TE.ENBINT)  (10 EQ 0 T -1 
NIL NIL NIL TE.EQ)  (11 EQL 0 T -1 T\EQL NIL NIL TE.EQL)  (72 EQUAL 0 T -1 T\EQUAL NIL NIL TE.EQUAL)  
(146 FCONST 4 T 1 NIL NIL NIL TE.FCONST)  (53 FJUMPX 1 JUMPX CJUMP NIL NIL T TE.FJUMPX)  (3 FLOATP 0 T
 0 NIL NIL NIL TE.FLOATP)  (112 FN0 3 FN 1 NIL NIL NIL TE.FN0)  (113 FN1 3 FN 0 NIL NIL NIL TE.FN1)  (
114 FN2 3 FN -1 NIL NIL NIL TE.FN2)  (115 FN3 3 FN -2 NIL NIL NIL TE.FN3)  (116 FN4 3 FN -3 NIL NIL 
NIL TE.FN4)  (117 FN5 3 FN -4 NIL NIL NIL TE.FN5)  (118 FN6 3 FN -5 NIL NIL NIL TE.FN6)  (119 FN7 3 FN
 -6 NIL NIL NIL TE.FN7)  (42 FVARM 1 FVAR 1 NIL NIL NIL TE.FVARM)  (43 FVARM← 1 FVAR 0 NIL NIL NIL 
TE.FVARM←)  (40 FVARX 1 FVAR 1 T\FVARX NIL NIL TE.FVARX)  (41 FVARX← 1 FVAR 0 T\FVARX← NIL NIL 
TE.FVARX←)  (101 GETBASEBYTE 0 T -1 NIL NIL NIL TE.GETBASEBYTE)  (32 GETBASEPTR.N 1 T 0 T\GETPTR.N NIL
 NIL TE.GETPTR.N)  (66 GREATERP 0 T -1 T\GREATERP NIL NIL TE.GREATERP)  (145 ICONST 4 ICONST 1 NIL NIL
 NIL TE.ICONST)  (71 IDIFFERENCE 0 T -1 T\IDIFFERENCE NIL NIL TE.IDIFFERENCE)  (67 IGREATERP 0 T -1 
T\IGREATERP NIL NIL TE.IGREATERP)  (2 INTEGERP 0 T 0 NIL NIL NIL TE.INTEGERP)  (69 IPLUS 0 T -1 
T\IPLUS NIL NIL TE.IPLUS)  (99 IQUOTIENT 0 T -1 T\QUOTIENT NIL NIL TE.IQUOTIENT)  (100 IREMAINDER 0 T 
-1 NIL NIL NIL TE.IREMAINDER)  (97 ITIMES 0 T -1 T\ITIMES2 NIL NIL TE.ITIMES)  (50 JUMPX 1 JUMPX JUMP 
NIL NIL T TE.JUMPX)  (130 JUMPXX 2 JUMPXX JUMP NIL NIL T TE.JUMPXX)  (46 LLSH.N 1 T 0 NIL NIL NIL 
TE.LLSH.N)  (16 LOGAND 0 T -1 NIL NIL NIL TE.LOGAND)  (17 LOGOR 0 T -1 NIL NIL NIL TE.LOGOR)  (18 
LOGXOR 0 T -1 NIL NIL NIL TE.LOGXOR)  (47 LRSH.N 1 T 0 NIL NIL NIL TE.LRSH.N)  (148 MYCLINK 0 T 1 NIL 
NIL NIL TE.MYCLINK)  (31 NEG 0 T 0 NIL NIL NIL TE.NEG)  (55 NFJUMPX 1 JUMPX NCJUMP NIL NIL T TE.FJUMPX
)  (54 NTJUMPX 1 JUMPX NCJUMP NIL NIL T TE.TJUMPX)  (144 PCONST 4 PCONST 1 NIL NIL NIL TE.PCONST)  (68
 PLUS 0 T -1 NIL NIL NIL TE.PLUS)  (4 POINTERP 0 T 0 NIL NIL NIL TE.POINTERP)  (19 POP 0 T -1 NIL NIL 
T TE.POP)  (132 PUTBASEBYTE 0 T -2 NIL NIL NIL TE.PUTBASEBYTE)  (33 PUTBASEPTR.N 1 T -1 T\PUTPTR.N NIL
 NIL TE.PUTPTR.N)  (98 QUOTIENT 0 T -1 NIL NIL NIL TE.QUOTIENT)  (103 RPLCONS 0 T -1 T\RPLCONS NIL NIL
 NIL)  (35 SETTYPE.N 1 T 0 NIL NIL NIL TE.SETTYPE.N)  (128 SICX 1 SIC 1 NIL NIL NIL TE.SICX)  (129 
SICXX 2 SICX 1 NIL NIL NIL TE.SICX)  (96 TIMES 0 T -1 NIL NIL NIL TE.TIMES)  (52 TJUMPX 1 JUMPX CJUMP 
NIL NIL T TE.TJUMPX)  (48 UNBIND 1 NIL TUNBIND NIL NIL T TE.UNBIND)  ( (198 207) VARK 0 PVAR 1 NIL NIL
 NIL TE.VARK)  ( (150 159) VARK←NIL 0 PVAR 0 NIL NIL T TE.VARK←NIL)  ( (134 143) VARK←%↑ 0 PVAR -1 NIL
 NIL T TE.VARK←)  (38 VARX 1 PVAR 1 NIL NIL NIL TE.VARX)  (39 VARX← 1 PVAR 0 NIL NIL NIL TE.VARX←)  (
147 XCONST 4 T 1 NIL NIL NIL TE.XCONST)  (124 OVAR1.X 1 T 1 NIL NIL NIL NIL)  (125 OVAR1.X← 1 T 0 NIL 
NIL NIL NIL)  (64 OVAR.N.X 2 T 1 NIL NIL NIL NIL)  (65 OVAR.N.X← 2 T 0 NIL NIL NIL NIL)  (21 SWAP 0 T 
0 NIL NIL NIL NIL)  (7 GETTYPEBITS 0 T 0 NIL NIL NIL NIL)  (81 GETTYPEINDEX 0 T 0 NIL NIL NIL NIL)  (8
 GETPTRBITS 0 T 0 NIL NIL NIL NIL)  (44 SUBTYPEP.N 1 T 0 NIL NIL NIL NIL)  (45 FLAGTYPEP.N 1 T 0 NIL 
NIL NIL NIL)  (9 SETSUBTYPE 0 T -1 NIL NIL NIL NIL)  (12 EQP 0 T -1 NIL NIL NIL NIL)  (73 CEQUAL 0 T 
-1 NIL NIL NIL NIL)  (34 RPLPTR.N 1 T -1 NIL NIL NIL NIL)  (15 SETF-CAR 0 T -1 NIL NIL NIL NIL)  (59 
SETF-CDR 0 T 0 NIL NIL NIL NIL)  (36 IREGX 1 T 1 NIL NIL NIL NIL)  (37 IREGX← 1 T 0 NIL NIL NIL NIL)  
(5 XTYPEP 0 T 0 NIL NIL NIL NIL)  (51 NJUMPX 1 NEGJUMP JUMP NIL NIL NIL NIL)  (131 NJUMPXX 2 NEGJUMP 
JUMP NIL NIL NIL NIL)  ( (208 223) FJUMPK 0 JUMP CJUMP NIL NIL NIL NIL)  ( (224 239) TJUMPK 0 JUMP 
CJUMP NIL NIL NIL NIL)  (76 UDF0-0 0 T 1 NIL NIL NIL NIL)  (82 UDF0-1 0 T 0 NIL NIL NIL NIL)  (104 
UDF0-2 0 T -1 NIL NIL NIL NIL)  (176 UDF0-3 0 T -2 NIL NIL NIL NIL)  (77 UDF1-0 0 T 1 NIL NIL NIL NIL)
  (83 UDF1-1 0 T 0 NIL NIL NIL NIL)  (105 UDF1-2 0 T -1 NIL NIL NIL NIL)  (177 UDF1-3 0 T -2 NIL NIL 
NIL NIL)  (78 UDF2-0 0 T 1 NIL NIL NIL NIL)  (84 UDF2-1 0 T 0 NIL NIL NIL NIL)  (106 UDF2-2 0 T -1 NIL
 NIL NIL NIL)  (178 UDF2-3 0 T -2 NIL NIL NIL NIL)  (79 UDF3-0 0 T 1 NIL NIL NIL NIL)  (85 UDF3-1 0 T 
0 NIL NIL NIL NIL)  (107 UDF3-2 0 T -1 NIL NIL NIL NIL)  (179 UDF3-3 0 T -2 NIL NIL NIL NIL)  (86 
UDF4-1 0 T 0 NIL NIL NIL NIL)  (108 UDF4-2 0 T -1 NIL NIL NIL NIL)  (87 UDF5-1 0 T 0 NIL NIL NIL NIL) 
 (109 UDF5-2 0 T -1 NIL NIL NIL NIL)  (110 UDF6-2 0 T -1 NIL NIL NIL NIL)  (111 UDF7-2 0 T -1 NIL NIL 
NIL NIL)  (192 UDF0-0D 1 T 1 NIL NIL NIL NIL)  (88 UDF0-1D 1 T 0 NIL NIL NIL NIL)  (193 UDF1-0D 1 T 1 
NIL NIL NIL NIL)  (89 UDF1-1D 1 T 0 NIL NIL NIL NIL)  (194 UDF2-0D 1 T 1 NIL NIL NIL NIL)  (90 UDF2-1D
 1 T 0 NIL NIL NIL NIL)  (195 UDF3-0D 1 T 1 NIL NIL NIL NIL)  (91 UDF3-1D 1 T 0 NIL NIL NIL NIL)  (92 
UDF0-1D3 3 T 0 NIL NIL NIL NIL)  (93 UDF1-1D3 3 T 0 NIL NIL NIL NIL)  (94 UDF2-1D3 3 T 0 NIL NIL NIL 
NIL))