.globl	F1101	|(FCN LAMBDA PROMPT-Y-N)
F1101:
	LINK	A6,#-L1103
	TSTB	SP@(-132)
	MOVEML	#L1104,a6@(-L1103)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(4),A2
L1102:
	MOVL	A3@,A2@+	|(CALLING Y-OR-N-P)
	MOVL	A4@,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+0,A5
	jbsr	A5@
	MOVL	D3,A2
	SUBQL	#4,A2
	MOVEML	a6@(-L1103),#L1104
	UNLK	A6
	RTS
L1104 = 15496
L1103 = 24
	.globl	F1105	|(FCN LAMBDA SIMPLE-PROMPT-AND-READ)
F1105:
	LINK	A6,#-L1107
	TSTB	SP@(-132)
	MOVEML	#L1108,a6@(-L1107)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(4),A2
L1106:
	MOVL	A3@(4),A2@+	|(CALLING PROMPT-AND-READ)
	MOVL	A3@(8),A2@+
	MOVL	A4@,A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+8,A5
	jbsr	A5@
	MOVL	D3,A2
	SUBQL	#4,A2
	MOVEML	a6@(-L1107),#L1108
	UNLK	A6
	RTS
L1108 = 15496
L1107 = 24
	.globl	F1109	|(FCN LAMBDA NCONC1)
F1109:
	LINK	A6,#-L1111
	TSTB	SP@(-132)
	MOVEML	#L1112,a6@(-L1111)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(8),A2
L1110:
	MOVL	A4@,A2@+	|(CALLING NCONC)
	MOVL	A4@(4),A2@+
	MOVL	D7,A2@+
	jbsr	_QCONS
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+16,A5
	jbsr	A5@
	MOVL	D3,A2
	SUBQL	#8,A2
	MOVEML	a6@(-L1111),#L1112
	UNLK	A6
	RTS
L1112 = 15496
L1111 = 24
	.globl	F1113	|(FCN LAMBDA ADDPROP-UNIQUE)
F1113:
	LINK	A6,#-L1115
	TSTB	SP@(-132)
	MOVEML	#L1116,a6@(-L1115)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(12),A2
L1114:
	MOVL	A4@,A2@+	|(CALLING PUTPROP)
	MOVL	A4@(4),A2@+
	MOVL	A4@(4),A2@+	|(CALLING DELQ)
	MOVL	A4@,A2@+	|(CALLING GETPROP)
	MOVL	A4@(8),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+24,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+32,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	jbsr	_QCONS
	MOVL	D0,A2@+
	MOVL	A4@(8),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+40,A5
	jbsr	A5@
	MOVL	D3,A2
	SUBL	#12,A2
	MOVEML	a6@(-L1115),#L1116
	UNLK	A6
	RTS
L1116 = 15496
L1115 = 24
	.globl	F1121	|(FCN LEXPR YAQERR)
F1121:
	LINK	A6,#-L1123
	TSTB	SP@(-132)
	MOVEML	#L1124,a6@(-L1123)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
L1122:
	MOVL	A2,A5
	SUBL	D3,A5
	ADDL	#_nilatom+0x1400+0,A5
	MOVL	A5,A2@+
	MOVL	A2,A4
	MOVL	A5,A2@+
	MOVL	#_nilatom+0x1400+4,D0
	SUBL	A4@(-4),D0
	MOVL	A4@(-8,D0:L),A2@+
	MOVL	A4@,A2@+	|(BEGINNING DO)
	MOVL	D7,A2@+
L1127:
	MOVL	A4@(8),A5
	CMPL	#2,A5@
	JPL	L1128
	MOVL	A4@(12),D0
	JRA	L1129
L1128:
	CMPL	#_nilatom+0x1400-4096,A4@(8)
	JLE	L1130
	CMPL	#_nilatom+0x1400+4092,A4@(8)
	JLE	L1131
L1130:
	MOVL	A4@(8),A0
	jbsr	_QONEMINUS
	MOVL	D0,A2@+
	JRA	L1132
L1131:
	MOVL	A4@(8),D0
	SUBQL	#4,D0
	MOVL	D0,A2@+
L1132:
	MOVL	A4@(8),D0
	CMPL	A4@(8),D7
	JEQ	L1133
	CMPL	#_nilatom+0x1400+0,D0
	JEQ	L1133
	SUBL	A4@(-4),D0
	MOVL	A4@(-8,D0:L),A2@+
	JRA	L1134
L1133:
	MOVL	A4@(-4),A2@+
L1134:
	MOVL	A4@(12),A2@+
	jbsr	_QCONS
	MOVL	D0,A4@(12)
	MOVL	A2@-,A4@(8)
	JRA	L1127
L1129:
	SUBQL	#8,A2
	MOVL	D0,A2@+
	MOVL	A3@(12),A2@+	|(CALLING LEXPR-FUNCALL)
	MOVL	D7,A2@+
	MOVL	A4@(4),A2@+
	MOVL	A4@(8),A2@+
	LEA	A2@(-16),A5
	MOVL	A5,D3
	MOVL	trantb+48,A5
	jbsr	A5@
	MOVL	D3,A2
	SUBL	#12,A2
	MOVEML	a6@(-L1123),#L1124
	UNLK	A6
	RTS
L1124 = 15496
L1123 = 24
	.globl	F1135	|(FCN LAMBDA *DEFINE)
F1135:
	LINK	A6,#-L1137
	TSTB	SP@(-132)
	MOVEML	#L1138,a6@(-L1137)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(8),A2
L1136:
	MOVL	A4@,A2@+	|(CALLING RECORD-SOURCE-FILE-NAME)
	MOVL	A3@(16),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+56,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1139
	MOVL	A4@,A2@+	|(CALLING PUTPROP)
	MOVL	A3@(20),A2@+
	MOVL	D7,A2@+
	jbsr	_QCONS
	MOVL	D0,A2@+
	MOVL	A3@(24),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+40,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A4@,A2@+	|(CALLING PUTPROP)
	MOVL	D7,A2@+
	MOVL	A3@(28),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+40,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D7,A2@+
	MOVL	A4@(4),A4@(8)	|(BEGINNING DO)
	MOVL	A4@(8),A2@+
L1142:
	CMPL	A4@(12),D7
	JNE	L1143
	MOVL	D7,D0
	JRA	L1144
L1143:
	MOVL	A4@(12),D7
	MOVL	NIL@(4),A2@+
	MOVL	A4@,A2@+
	MOVL	A4@(16),A2@+	|(CALLING CAAR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+64,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A2@-,D6
	CMPL	D0,D6
	JNE	L1146
L1147:	|(BEGINNING DO)
	CMPL	A4@,D7
	JEQ	L1148
	MOVL	D7,D0
	JRA	L1149
L1148:
	MOVL	A3@(32),A2@+	|(CALLING MULTIPLE-VALUE-BIND)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+72,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1147
L1149:
	JRA	L1145
L1146:
	MOVL	A3@(36),A2@+	|(CALLING YAQERR)
	MOVL	A4@(16),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+80,A5
	jbsr	A5@
	MOVL	D3,A2
L1145:
	SUBQL	#4,A2
	MOVL	A4@(12),A5
	MOVL	A5@,A4@(12)
	JRA	L1142
L1144:
	SUBQL	#8,A2
	MOVL	A4@,D0
	JRA	L1151
L1139:
	MOVL	D7,D0
L1151:
	SUBQL	#8,A2
	MOVEML	a6@(-L1137),#L1138
	UNLK	A6
	RTS
L1138 = 31880
L1137 = 28
	.globl	F1152	|(FCN LAMBDA OK-LIST?)
F1152:
	LINK	A6,#-L1154
	TSTB	SP@(-132)
	MOVEML	#L1155,a6@(-L1154)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(4),A2
L1153:
	MOVL	A4@,D0
	SUBL	D7,D0
	MOVEQ	#9,D1
	ASRL	D1,D0
	LEA	_typetable+1,A5
	ADDL	D0,A5
	MOVB	A5@,D0
	EXTW	D0
	EXTL	D0
	MOVEQ	#1,D1
	ASLL	D0,D1
	MOVL	D1,D0
	ANDW	#1783,D0
	JNE	L1156
	MOVL	A4@,A2@+	|(CALLING LAST)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+88,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A0
	CMPL	A0@,D7
	JNE	L1159
	MOVL	A3@(40),D0
	JRA	L1160
L1159:
	MOVL	D7,D0
L1160:
	JRA	L1161
L1156:
	MOVL	D7,D0
L1161:
	SUBQL	#4,A2
	MOVEML	a6@(-L1154),#L1155
	UNLK	A6
	RTS
L1155 = 15496
L1154 = 24
	.globl	F1164	|(FCN LEXPR YAQ)
F1164:
	LINK	A6,#-L1166
	TSTB	SP@(-132)
	MOVEML	#L1167,a6@(-L1166)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
L1165:
	MOVL	A2,A5
	SUBL	D3,A5
	ADDL	#_nilatom+0x1400+0,A5
	MOVL	A5,A2@+
	MOVL	A2,A4
	MOVL	A5,A2@+
	MOVL	D7,A2@+
	MOVL	#1,D6
	MOVL	A4@,A5
	CMPL	A5@,D6
	JLE	L1169
	MOVL	D7,A4@(4)
	JRA	L1168
L1169:
	MOVL	#_nilatom+0x1400+4,D0
	SUBL	A4@(-4),D0
	MOVL	A4@(-8,D0:L),A4@(4)
L1168:
	MOVL	D7,A2@+
	MOVL	D7,A2@+	|(BEGINNING DO)
L1172:
	CMPL	D7,D7
	JEQ	L1173
	MOVL	D7,D0
	JRA	L1174
L1173:
	MOVL	A4@(4),D0
	CMPL	A4@(4),D7
	JNE	L1175
	MOVL	A3@(44),A2@+	|(CALLING SIMPLE-PROMPT-AND-READ)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+96,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@(12)
	JRA	L1176
L1175:
	MOVL	D0,A4@(12)
L1176:
	MOVL	A3@(48),A2@+	|(CALLING PUTPROP)
	MOVL	D7,A2@+
	MOVL	A3@(28),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+40,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A4@(12),D6
	CMPL	A3@(52),D6
	JNE	L1178
	MOVL	A3@(56),A2@+	|(CALLING PRINT)
	|(CALLING EVAL)
	|(CALLING SIMPLE-PROMPT-AND-READ)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+96,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+104,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+112,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1177
L1178:
	MOVL	A4@(12),A2@+	|(CALLING OK-LIST?)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+120,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1179
	MOVL	A4@(12),D7
	MOVL	NIL@(4),D0
	CMPL	A3@(60),D0
	JNE	L1179
	MOVL	A3@(48),A2@+	|(CALLING PROVE-INTERNALIZE)
	MOVL	A4@(12),A5
	MOVL	A5@,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+128,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1177
L1179:
	MOVL	A4@(12),A2@+	|(CALLING OK-LIST?)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+120,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1181
	MOVL	A4@(12),A2@+	|(CALLING CADR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+136,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	A3@(60),D0
	JNE	L1181
	MOVL	A4@(12),A2@+	|(CALLING PROVE-INTERNALIZE)
	|(CALLING CAAR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+64,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A3@(64),A2@+	|(CALLING LIST*)
	MOVL	A4@(12),D7
	MOVL	NIL@(4),A2@+
	MOVL	A4@(12),A2@+	|(CALLING CDDR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+144,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+152,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	D7,A2@+
	jbsr	_QCONS
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+128,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1177
L1181:
	MOVL	A4@(12),A2@+	|(CALLING OK-LIST?)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+120,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1183
	MOVL	A4@(12),A2@+	|(CALLING CADR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+136,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	A3@(68),D0
	JNE	L1183
	MOVL	A3@(48),A2@+	|(CALLING PROVE-INTERNALIZE)
	MOVL	A3@(72),A2@+	|(CALLING LIST*)
	MOVL	A4@(12),D7
	MOVL	NIL@(4),A2@+
	MOVL	A4@(12),A2@+	|(CALLING CDDR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+144,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+152,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	D7,A2@+
	jbsr	_QCONS
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+128,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1177
L1183:
	MOVL	A4@(12),A2@+	|(CALLING OK-LIST?)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+120,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1185
	MOVL	A4@(12),A2@+	|(CALLING CADR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+136,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	A3@(76),D0
	JNE	L1185
	MOVL	A3@(48),A2@+	|(CALLING PROVE-INTERNALIZE)
	MOVL	A3@(80),A2@+	|(CALLING LIST*)
	MOVL	A4@(12),D7
	MOVL	NIL@(4),A2@+
	MOVL	A4@(12),A2@+	|(CALLING CDDR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+144,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+152,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	D7,A2@+
	jbsr	_QCONS
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+128,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1177
L1185:
	MOVL	A3@(40),A5	|(CALLING FORMAT)
	MOVL	A5@,A2@+
	MOVL	A3@(84),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+160,A5
	jbsr	A5@
	MOVL	D3,A2
L1177:
	MOVL	A3@(88),A2@+	|(CALLING IF)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+168,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1172
L1174:
	SUBL	#16,A2
	MOVEML	a6@(-L1166),#L1167
	UNLK	A6
	RTS
L1167 = 31880
L1166 = 28
	.globl	F1187	|(FCN LAMBDA PROLOG-TOP-LEVEL)
F1187:
	LINK	A6,#-L1189
	TSTB	SP@(-132)
	MOVEML	#L1190,a6@(-L1189)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(4),A2
L1188:
	MOVL	A3@(92),A5
	CMPL	A5@,D7
	JNE	L1192
	MOVL	D7,A2@+
	MOVL	A4@,A5	|(BEGINNING DO)
	|(CALLING NREVERSE)
	|(CALLING LISPENV)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+176,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+184,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@(4)
	MOVL	A4@(4),A2@+
L1195:
	CMPL	A4@(8),D7
	JNE	L1196
	MOVL	D7,D0
	JRA	L1197
L1196:
	MOVL	A4@(8),D7
	MOVL	NIL@(4),A2@+
	MOVL	A4@(12),D7	|(CALLING GETPROP)
	MOVL	NIL@(4),A2@+
	MOVL	A3@(96),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+24,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JNE	L1198
	MOVL	A3@(40),A5	|(CALLING FORMAT)
	MOVL	A5@,A2@+
	MOVL	A3@(100),A2@+
	MOVL	A4@(12),D7
	MOVL	NIL@(4),A2@+
	MOVL	A4@(12),A5
	MOVL	A5@,A2@+
	LEA	A2@(-16),A5
	MOVL	A5,D3
	MOVL	trantb+160,A5
	jbsr	A5@
	MOVL	D3,A2
L1198:
	SUBQL	#4,A2
	MOVL	A4@(8),A5
	MOVL	A5@,A4@(8)
	JRA	L1195
L1197:
	SUBQL	#8,A2
	MOVL	A3@(104),A5
	CMPL	A5@,D7
	JEQ	L1200
	MOVL	A3@(108),A2@+	|(CALLING PROMPT-Y-N)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+192,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1200
	MOVL	A3@(112),D0
	JRA	L1199
L1200:
	MOVL	A3@(104),A5
	CMPL	A5@,D7
	JEQ	L1202
	MOVL	A3@(116),D0
	JRA	L1199
L1202:
	MOVL	A3@(40),A5	|(CALLING FORMAT)
	MOVL	A5@,A2@+
	MOVL	A3@(120),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+160,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(116),D0
L1199:
	JRA	L1191
L1192:
	MOVL	A4@,A5	|(CALLING NREVERSE)
	|(CALLING LISPENV)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+176,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+184,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A3@(124),A5
	MOVL	A5@,A2@+
	jbsr	_QCONS
	MOVL	A3@(124),A5
	MOVL	D0,A5@
	MOVL	A3@(104),A5
	CMPL	A5@,D7
	JEQ	L1205
	MOVL	A3@(40),A5
	CMPL	A5@,D7
	JEQ	L1205
	MOVL	A3@(112),D0
	JRA	L1204
L1205:
	MOVL	A3@(104),A5
	CMPL	A5@,D7
	JEQ	L1207
	MOVL	A3@(116),D0
	JRA	L1204
L1207:
	MOVL	A3@(40),A5	|(CALLING FORMAT)
	MOVL	A5@,A2@+
	MOVL	A3@(128),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+160,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(116),D0
L1204:
	JRA	L1191
L1203:
	MOVL	D7,D0
L1191:
	SUBQL	#4,A2
	MOVEML	a6@(-L1189),#L1190
	UNLK	A6
	RTS
L1190 = 15496
L1189 = 24
	.globl	F1208	|(FCN LAMBDA ASSERT)
F1208:
	LINK	A6,#-L1210
	TSTB	SP@(-132)
	MOVEML	#L1211,a6@(-L1210)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(12),A2
L1209:
	MOVL	A3@(132),A2@+	|(CALLING LET)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+200,A5
	jbsr	A5@
	MOVL	D3,A2
	SUBL	#12,A2
	MOVEML	a6@(-L1210),#L1211
	UNLK	A6
	RTS
L1211 = 15496
L1210 = 24
	.globl	F1212	|(FCN LAMBDA BACKTRACK)
F1212:
	LINK	A6,#-L1214
	TSTB	SP@(-132)
	MOVEML	#L1215,a6@(-L1214)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@,A2
L1213:
	MOVL	D7,A2@+
	MOVL	D7,A2@+
	MOVL	A3@(136),A5	|(CALLING F-TRAIL)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+208,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@
L1216:
	MOVL	A3@(140),A5	|(CALLING NEQ)
	MOVL	A5@,A2@+
	MOVL	A4@,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+216,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1219
	LEA	A2@,A5	|(CALLING UNTRAIL)
	MOVL	A5,D3
	MOVL	trantb+224,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	D7,D1
	MOVL	A2@-,A0
	MOVL	D1,A0@
	MOVL	A0,D0
	JRA	L1216
|	JRA	L1218
L1219:
	MOVL	D7,D0
L1218:
	MOVL	A3@(136),A5	|(CALLING F-BODY)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+232,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@(4)
	CMPL	D0,D7
	JNE	L1221
	MOVL	A3@(116),D0
	JRA	L1217
|	JRA	L1220
L1221:
	MOVL	D7,D0
L1220:
	MOVL	A4@(4),A2@+	|(CALLING DELQ)
	MOVL	A3@(136),A5
	MOVL	A5@,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+32,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(136),A5	|(CALLING UNIFY)
	|(CALLING F-GOAL)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+240,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A3@(136),A5	|(CALLING F-GOAL-ENV)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+248,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A4@(4),D7
	MOVL	NIL@(4),A2@+
	MOVL	A3@(136),A5	|(CALLING F-BODY-ENV)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+256,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-16),A5
	MOVL	A5,D3
	MOVL	trantb+264,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1223
	MOVL	A4@(4),A5
	MOVL	A5@,D6
	MOVL	A3@(144),A5
	MOVL	D6,A5@
	LEA	A2@,A5	|(CALLING RIGHTTRACK)
	MOVL	A5,D3
	MOVL	trantb+272,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1217
|	JRA	L1222
L1223:
	JRA	L1216
L1222:
	MOVL	D7,D0
L1217:
	SUBQL	#8,A2
	MOVEML	a6@(-L1214),#L1215
	UNLK	A6
	RTS
L1215 = 31880
L1214 = 28
	.globl	F1224	|(FCN LAMBDA CUT)
F1224:
	LINK	A6,#-L1226
	TSTB	SP@(-132)
	MOVEML	#L1227,a6@(-L1226)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@,A2
L1225:
	MOVL	D7,A2@+
	MOVL	D7,A2@+
	MOVL	A3@(104),A5
	MOVL	A5@,A4@
	MOVL	A3@(136),A5	|(CALLING F-ID)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+280,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@(4)
	MOVL	A3@(136),A5	|(CALLING F-MAKE-DETERMINATE)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+288,A5
	jbsr	A5@
	MOVL	D3,A2
L1228:
	CMPL	A4@,D7
	JEQ	L1231
	MOVL	A4@(4),A2@+	|(CALLING LESSP)
	MOVL	A4@,A2@+	|(CALLING F-ID)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+280,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+296,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1231
	MOVL	A4@,A2@+	|(CALLING F-MAKE-DETERMINATE)
	|(CALLING F-POP)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+304,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+288,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1228
|	JRA	L1230
L1231:
	MOVL	D7,D0
L1230:
	MOVL	D7,D0
L1229:
	SUBQL	#8,A2
	MOVEML	a6@(-L1226),#L1227
	UNLK	A6
	RTS
L1227 = 15496
L1226 = 24
	.globl	F1233	|(FCN LAMBDA LISPENV)
F1233:
	LINK	A6,#-L1235
	TSTB	SP@(-132)
	MOVEML	#L1236,a6@(-L1235)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(4),A2
L1234:
	CMPL	A4@,D7
	JNE	L1238
	MOVL	D7,D0
	JRA	L1237
L1238:
	MOVL	A4@,A2@+	|(CALLING CDDAR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+312,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1239
	MOVL	A4@,A2@+	|(CALLING CAAR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+64,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A4@,A2@+	|(CALLING REALIZATION)
	|(CALLING CADAR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+320,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A4@,A2@+	|(CALLING CDDAR)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+312,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+328,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	jbsr	_QCONS
	MOVL	D0,A2@+
	MOVL	A4@,A5	|(CALLING LISPENV)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+176,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	jbsr	_QCONS
	JRA	L1237
L1239:
	MOVL	A4@,A5	|(CALLING LISPENV)
	MOVL	A5@,A2@+
	MOVL	D3,A5
	MOVL	A4,A5
	MOVL	A2@(-4),A5@
	MOVL	A5,A2
	ADDQL	#4,A2
	JRA	L1234
L1237:
	SUBQL	#4,A2
	MOVEML	a6@(-L1235),#L1236
	UNLK	A6
	RTS
L1236 = 15496
L1235 = 24
	.globl	F1240	|(FCN LAMBDA PROVE-INTERNALIZE)
F1240:
	LINK	A6,#-L1242
	TSTB	SP@(-132)
	MOVEML	#L1243,a6@(-L1242)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(8),A2
L1241:
	MOVL	A4@(4),A2@+	|(CALLING PROVE)
	|(CALLING INTERNALIZE)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+336,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+344,A5
	jbsr	A5@
	MOVL	D3,A2
	SUBQL	#8,A2
	MOVEML	a6@(-L1242),#L1243
	UNLK	A6
	RTS
L1243 = 15496
L1242 = 24
	.globl	F1244	|(FCN LAMBDA PROVE)
F1244:
	LINK	A6,#-L1246
	TSTB	SP@(-132)
	MOVEML	#L1247,a6@(-L1246)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(4),A2
L1245:
	MOVL	_bnp,A1
	MOVL	A3@(144),A5
	MOVL	A5@,A1@+
	MOVL	A3@(144),A1@+
	MOVL	A3@(144),A5
	MOVL	A4@,A5@
	MOVL	A1,_bnp
	MOVL	D7,A2@+
	MOVL	D7,A2@+
	MOVL	D7,A2@+
	MOVL	D7,A2@+
	MOVL	_bnp,A1
	MOVL	A3@(104),A5
	MOVL	A5@,A1@+
	MOVL	A3@(104),A1@+
	MOVL	A3@(104),A5
	MOVL	D7,A5@
	MOVL	A3@(136),A5
	MOVL	A5@,A1@+
	MOVL	A3@(136),A1@+
	MOVL	A3@(136),A5
	MOVL	D7,A5@
	MOVL	A3@(140),A5
	MOVL	A5@,A1@+
	MOVL	A3@(140),A1@+
	MOVL	A3@(140),A5
	MOVL	D7,A5@
	MOVL	A1,_bnp
	MOVL	#_nilatom+0x1400+0,A4@(12)
	LEA	A2@,A5	|(CALLING TRAIL-INIT)
	MOVL	A5,D3
	MOVL	trantb+352,A5
	jbsr	A5@
	MOVL	D3,A2
	LEA	A2@,A5	|(CALLING RIGHTTRACK)
	MOVL	A5,D3
	MOVL	trantb+272,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@(8)
	MOVL	A3@(148),A2@+	|(CALLING F-CREATE)
	MOVL	D7,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+360,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(136),A5
	MOVL	D0,A5@
L1248:
	MOVL	A4@(8),A2@+	|(CALLING CASEQ)
	MOVL	A3@(152),A2@+	|(CALLING CALL)
	|(CALLING LET)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+200,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+368,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A3@(136),A5	|(CALLING EXIT)
	|(CALLING F-PUSH)
	MOVL	A5@,A2@+
	MOVL	A3@(104),A5
	MOVL	A5@,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+376,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A4@(16),A2@+	|(CALLING F-POP)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+304,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(136),A5
	MOVL	D0,A5@
	MOVL	A3@(136),A5
	MOVL	A5@,A2@+
	LEA	A2@,A5	|(CALLING RIGHTTRACK)
	MOVL	A5,D3
	MOVL	trantb+272,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+384,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A3@(104),A5	|(CALLING REDO)
	CMPL	A5@,D7
	JNE	L1251
	LEA	A2@,A5	|(CALLING BACKTRACK)
	MOVL	A5,D3
	MOVL	trantb+392,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1250
L1251:
	MOVL	A3@(136),A5	|(CALLING GREATERP)
	|(CALLING F-ID)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+280,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A3@(104),A5	|(CALLING F-ID)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+280,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+400,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1252
	LEA	A2@,A5	|(CALLING BACKTRACK)
	MOVL	A5,D3
	MOVL	trantb+392,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1250
L1252:
	MOVL	A3@(136),A5	|(CALLING F-PUSH)
	MOVL	A5@,A2@+
	MOVL	A4@(16),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+376,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(104),A5	|(CALLING F-POP)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+304,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(136),A5
	MOVL	D0,A5@
	MOVL	A3@(112),D0
L1250:
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+408,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	CMPL	A4@(16),D7	|(CALLING FAIL)
	JNE	L1254
	MOVL	D7,D0
	JRA	L1249
|	JRA	L1253
L1254:
	MOVL	A4@(16),A2@+	|(CALLING F-POP)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+304,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(136),A5
	MOVL	D0,A5@
	MOVL	A3@(112),D0
L1253:
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+416,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A3@(156),A2@+	|(CALLING T)
	|(CALLING YAQERR)
	MOVL	A4@(8),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+80,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+424,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-24),A5
	MOVL	A5,D3
	MOVL	trantb+432,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@(8)
	JRA	L1248
|	MOVL	D7,D0
L1249:
	MOVL	_bnp,A1
	MOVL	A1@(-4),A5
	MOVL	A1@(-8),A5@
	MOVL	A1@(-12),A5
	MOVL	A1@(-16),A5@
	MOVL	A1@(-20),A5
	MOVL	A1@(-24),A5@
	MOVL	A1,_bnp
	SUBL	#24,_bnp
	SUBL	#16,A2
	MOVL	_bnp,A1
	MOVL	A1@(-4),A5
	MOVL	A1@(-8),A5@
	MOVL	A1,_bnp
	SUBQL	#8,_bnp
	SUBQL	#4,A2
	MOVEML	a6@(-L1246),#L1247
	UNLK	A6
	RTS
L1247 = 15496
L1246 = 24
	.globl	F1255	|(FCN LAMBDA REALIZATION)
F1255:
	LINK	A6,#-L1257
	TSTB	SP@(-132)
	MOVEML	#L1258,a6@(-L1257)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(8),A2
L1256:
	MOVL	D7,A2@+
	MOVL	D7,A2@+
L1259:
	MOVL	A3@(160),A5	|(CALLING DEREFERENCE)
	MOVL	A5@,A2@+
	MOVL	A4@,A2@+
	MOVL	A4@(4),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+440,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A4@,D0
	SUBL	D7,D0
	MOVEQ	#9,D1
	ASRL	D1,D0
	LEA	_typetable+1,A5
	ADDL	D0,A5
	MOVB	A5@,D0
	EXTW	D0
	EXTL	D0
	MOVEQ	#1,D1
	ASLL	D0,D1
	MOVL	D1,D0
	ANDW	#1783,D0
	JEQ	L1262
	MOVL	A4@(8),A2@+	|(CALLING NCONC)
	MOVL	A4@,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+16,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1260
|	JRA	L1261
L1262:
	MOVL	A4@(8),A2@+	|(CALLING NCONC1)
	MOVL	A4@,D7	|(CALLING REALIZATION)
	MOVL	NIL@(4),A2@+
	MOVL	A4@(4),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+328,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+448,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@(8)
	MOVL	A4@,A5
	MOVL	A5@,A4@
	JRA	L1259
L1261:
	MOVL	D7,D0
L1260:
	SUBL	#16,A2
	MOVEML	a6@(-L1257),#L1258
	UNLK	A6
	RTS
L1258 = 15496
L1257 = 24
	.globl	F1265	|(FCN LAMBDA RIGHTTRACK)
F1265:
	LINK	A6,#-L1267
	TSTB	SP@(-132)
	MOVEML	#L1268,a6@(-L1267)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@,A2
L1266:
	MOVL	A3@(144),A5
	CMPL	A5@,D7
	JEQ	L1270
	MOVL	A3@(144),A5
	MOVL	A5@,A0
	MOVL	A3@(164),A5
	MOVL	A0@(4),A5@
	MOVL	A3@(144),A5
	MOVL	A5@,A0
	MOVL	A3@(144),A5
	MOVL	A0@,A5@
	MOVL	A3@(168),D0
	JRA	L1269
L1270:
	MOVL	A3@(172),A5
	CMPL	A5@,D7
	JEQ	L1271
	MOVL	A3@(136),A5	|(CALLING F-CONTINUATION)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+456,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(144),A5
	MOVL	D0,A5@
	MOVL	A3@(176),D0
	JRA	L1269
L1271:
	MOVL	A3@(136),A5	|(CALLING PROLOG-TOP-LEVEL)
	|(CALLING F-BODY-ENV)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+256,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+464,A5
	jbsr	A5@
	MOVL	D3,A2
L1269:
	MOVEML	a6@(-L1267),#L1268
	UNLK	A6
	RTS
L1268 = 15496
L1267 = 24
	.globl	F1272	|(FCN LAMBDA UNIFY)
F1272:
	LINK	A6,#-L1274
	TSTB	SP@(-132)
	MOVEML	#L1275,a6@(-L1274)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(16),A2
L1273:
	MOVL	A4@,A2@+	|(CALLING UNIFY1)
	MOVL	A4@(4),A2@+
	MOVL	A4@(8),A2@+
	MOVL	A4@(12),A2@+
	LEA	A2@(-16),A5
	MOVL	A5,D3
	MOVL	trantb+472,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JNE	L1276
	MOVL	A3@(40),D0
	JRA	L1277
L1276:
	MOVL	D7,D0
L1277:
	SUBL	#16,A2
	MOVEML	a6@(-L1274),#L1275
	UNLK	A6
	RTS
L1275 = 15496
L1274 = 24
	.globl	F1278	|(FCN LAMBDA UNIFY1)
F1278:
	LINK	A6,#-L1280
	TSTB	SP@(-132)
	MOVEML	#L1281,a6@(-L1280)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(16),A2
L1279:
	MOVL	D7,A2@+
L1282:
	MOVL	A3@(160),A5	|(CALLING DEREFERENCE)
	MOVL	A5@,A2@+
	MOVL	A4@,A2@+
	MOVL	A4@(4),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+440,A5
	jbsr	A5@
	MOVL	D3,A2
L1283:
	MOVL	A3@(180),A5	|(CALLING DEREFERENCE)
	MOVL	A5@,A2@+
	MOVL	A4@(8),A2@+
	MOVL	A4@(12),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+440,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A4@,A2@+	|(CALLING VARIABLE-P)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+480,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1286
	MOVL	A4@,A2@+	|(CALLING INSTANT)
	MOVL	A4@(4),A2@+
	MOVL	A4@(8),A2@+
	MOVL	A4@(12),A2@+
	LEA	A2@(-16),A5
	MOVL	A5,D3
	MOVL	trantb+488,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1285
L1286:
	MOVL	A4@(8),A2@+	|(CALLING VARIABLE-P)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+480,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1287
	MOVL	A4@(8),A2@+	|(CALLING INSTANT)
	MOVL	A4@(12),A2@+
	MOVL	A4@,A2@+
	MOVL	A4@(4),A2@+
	LEA	A2@(-16),A5
	MOVL	A5,D3
	MOVL	trantb+488,A5
	jbsr	A5@
	MOVL	D3,A2
	JRA	L1285
L1287:
	MOVL	A4@,D0
	SUBL	D7,D0
	MOVEQ	#9,D1
	ASRL	D1,D0
	LEA	_typetable+1,A5
	ADDL	D0,A5
	MOVB	A5@,D0
	EXTW	D0
	EXTL	D0
	MOVEQ	#1,D1
	ASLL	D0,D1
	MOVL	D1,D0
	ANDW	#1783,D0
	JEQ	L1288
	MOVL	A4@,A2@+
	MOVL	A4@(8),A2@+
	MOVL	A2@(-8),D6
	CMPL	A2@(-4),D6
	JEQ	L1292
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+496,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JNE	L1293
	JRA	L1294
L1292:
	SUBQL	#8,A2
L1293:
	JRA	L1291
L1294:
	MOVL	A3@(40),A5
	MOVL	A5@,D0
	JRA	L1284
L1291:
	JRA	L1285
L1288:
	MOVL	A4@(8),D0
	SUBL	D7,D0
	MOVEQ	#9,D1
	ASRL	D1,D0
	LEA	_typetable+1,A5
	ADDL	D0,A5
	MOVB	A5@,D0
	EXTW	D0
	EXTL	D0
	MOVEQ	#1,D1
	ASLL	D0,D1
	MOVL	D1,D0
	ANDW	#1783,D0
	JEQ	L1295
	MOVL	A3@(40),A5
	MOVL	A5@,D0
	JRA	L1284
|	JRA	L1285
L1295:
	MOVL	A4@,D7	|(CALLING UNIFY1)
	MOVL	NIL@(4),A2@+
	MOVL	A4@(4),A2@+
	MOVL	A4@(8),D7
	MOVL	NIL@(4),A2@+
	MOVL	A4@(12),A2@+
	LEA	A2@(-16),A5
	MOVL	A5,D3
	MOVL	trantb+472,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1298
	MOVL	A3@(40),A5
	MOVL	A5@,D0
	JRA	L1284
|	JRA	L1285
L1298:
	MOVL	A4@,A5
	MOVL	A5@,A4@
	MOVL	A4@(8),A5
	MOVL	A5@,A4@(8)
	JRA	L1282
|	JRA	L1285
L1299:
	MOVL	D7,D0
L1285:
	MOVL	D7,D0
	JRA	L1284
|	MOVL	D7,D0
L1284:
	SUBL	#20,A2
	MOVEML	a6@(-L1280),#L1281
	UNLK	A6
	RTS
L1281 = 31880
L1280 = 28
	.globl	F1300	|(FCN LAMBDA INTERNALIZE)
F1300:
	LINK	A6,#-L1302
	TSTB	SP@(-132)
	MOVEML	#L1303,a6@(-L1302)
	MOVL	#_nilatom,D7
	LEA	LINKER,A3
	MOVL	D3,A4
	LEA	A4@(4),A2
L1301:
	MOVL	A4@,D6
	CMPL	A3@(184),D6
	JNE	L1305
	MOVL	D7,A2@+	|(CALLING INTERN)
	|(CALLING FORMAT)
	MOVL	A3@(188),A2@+
	MOVL	A3@(192),A5	|(CALLING LENGTH)
	|(CALLING GETPROP)
	MOVL	A5@,A2@+
	MOVL	A3@(28),A2@+
	LEA	A2@(-8),A5
	MOVL	A5,D3
	MOVL	trantb+24,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+504,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+160,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+512,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A4@
	MOVL	A4@,A2@+	|(CALLING PUTPROP)
	MOVL	A3@(40),A5
	MOVL	A5@,A2@+
	MOVL	A3@(96),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+40,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A3@(192),A5	|(CALLING ADDPROP-UNIQUE)
	MOVL	A5@,A2@+
	MOVL	A4@,A2@+
	MOVL	A3@(28),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+520,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A4@,D0
	JRA	L1304
L1305:
	MOVL	A4@,A2@+	|(CALLING VARIABLE-P)
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+480,A5
	jbsr	A5@
	MOVL	D3,A2
	CMPL	D0,D7
	JEQ	L1306
	MOVL	A3@(192),A5	|(CALLING ADDPROP-UNIQUE)
	MOVL	A5@,A2@+
	MOVL	A4@,A2@+
	MOVL	A3@(28),A2@+
	LEA	A2@(-12),A5
	MOVL	A5,D3
	MOVL	trantb+520,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	A4@,D0
	JRA	L1304
L1306:
	MOVL	A4@,D0
	SUBL	D7,D0
	MOVEQ	#9,D1
	ASRL	D1,D0
	LEA	_typetable+1,A5
	ADDL	D0,A5
	MOVB	A5@,D0
	EXTW	D0
	EXTL	D0
	MOVEQ	#1,D1
	ASLL	D0,D1
	MOVL	D1,D0
	ANDW	#1783,D0
	JEQ	L1307
	MOVL	A4@,D0
	JRA	L1304
L1307:
	MOVL	A4@,D7	|(CALLING INTERNALIZE)
	MOVL	NIL@(4),A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+336,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	MOVL	A4@,A5	|(CALLING INTERNALIZE)
	MOVL	A5@,A2@+
	LEA	A2@(-4),A5
	MOVL	A5,D3
	MOVL	trantb+336,A5
	jbsr	A5@
	MOVL	D3,A2
	MOVL	D0,A2@+
	jbsr	_QCONS
L1304:
	SUBQL	#4,A2
	MOVEML	a6@(-L1302),#L1303
	UNLK	A6
	RTS
L1303 = 31880
L1302 = 28
bind_org:
	linker_size = 	49
	trans_size = 	66
	.long	99
	.long	99
	.long	99
	.long	99
	.long	0
	.long	0
	.long	0
	.long	0
	.long	0
	.long	99
	.long	0
	.long	0
	.long	99
	.long	99
	.long	0
	.long	0
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	0
	.long	0
	.long	0
	.long	99
	.long	0
	.long	0
	.long	0
	.long	0
	.long	0
	.long	0
	.long	0
	.long	0
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long	99
	.long -1
lit_org:
.asciz ""~&~A""
.asciz ":READ"
.asciz ""~&~A""
.asciz "FERROR"
.asciz "DEFINE"
.asciz "RELATION"
.asciz "PROLOG-DEF"
.asciz "PROLOG-VARS"
.ascii "((#:L1150 SI::VALUE) (SIGNAL (MAKE-CONDITION (QUOTE SYSTEM:F"
.ascii "AILED-ASSERTION) :PLACES (QUOTE (INTERNALIZE CLAUSE)) :FORMA"
.ascii "T-STRING T :FORMAT-ARGS (LIST)) (QUOTE :PROCEED-TYPES) (QUOT"
.ascii "E (INTERNALIZE CLAUSE))) (SELECTQ #:L1150 ((INTERNALIZE) (SE"
.ascii "TF INTERNALIZE SI::VALUE)) ((CLAUSE) (SETF CLAUSE SI::VALUE)"
.asciz ")))"
.asciz ""~%~S - invalid clause syntax.""
.asciz "T"
.asciz ""Yaq> ""
.asciz "PROLOG-TOP-LEVEL"
.asciz "!"
.asciz ""Lisp> ""
.asciz "+"
.asciz "ASSERTZ"
.asciz "="
.asciz "CLAUSE"
.asciz "-"
.asciz "RETRACT"
.asciz ""~%?Invalid Prolog syntax.""
.asciz "(*ONE-FORM* (RETURN (NREVERSE *RESULTS*)))"
.asciz "*ONE-FORM*"
.asciz "ANONYMOUS-VAR"
.asciz ""~%~S = ~S""
.asciz "EXITFRAME"
.asciz ""More?""
.asciz "REDO"
.asciz "FAIL"
.asciz ""~%Yes""
.asciz "*RESULTS*"
.asciz ""~%Yes""
.ascii "(((DEF (GETPROP LABEL (QUOTE PROLOG-DEF)))) (CASEQ (CAR DEF)"
.ascii " (RELATION (COND (LAST-P (NCONC1 DEF CLAUSE)) (T (PUSH CLAUS"
.ascii "E (CDR DEF))))) (T (PUTPROP LABEL (SI::XR-BQ-LIST (QUOTE REL"
.asciz "ATION) CLAUSE) (QUOTE PROLOG-DEF)))))"
.asciz "SUBFRAME"
.asciz "TRAIL"
.asciz "CONTGOALS"
.asciz "(PROLOG-TOP-LEVEL)"
.ascii "(((THE-GOAL GOAL) (THE-ENV (F-BODY-ENV SUBFRAME)) TEMP) (PRO"
.ascii "G NIL DEREFG (DEREFERENCE DEREFG THE-GOAL THE-ENV) (RETURN ("
.ascii "COND ((CASEQ (CAR (GETPROP (CAR THE-GOAL) (QUOTE PROLOG-DEF)"
.ascii ")) (RELATION (F-PUSH SUBFRAME SUPERFRAME) (SETQ SUBFRAME (F-"
.ascii "CREATE THE-GOAL THE-ENV)) NIL) (COMMAND (EVAL THE-GOAL) T) ("
.ascii "PREDICATE (EVAL THE-GOAL)) (T (YAQERR "~%?PROLOG can't handl"
.asciz "e ~S" (CAR THE-GOAL)))) (RIGHTTRACK)) (T (BACKTRACK))))))"
.asciz ""WEIRD-PORT: ~S""
.asciz "DEREFX"
.asciz "GOAL"
.asciz "CALL"
.asciz "SUPERFRAME"
.asciz "EXIT"
.asciz "DEREFY"
.asciz "?"
.asciz ""?_gensym_~D""
.asciz "THE-RELATION"
.asciz "Y-OR-N-P"
.asciz "PROMPT-AND-READ"
.asciz "NCONC"
.asciz "GETPROP"
.asciz "DELQ"
.asciz "PUTPROP"
.asciz "LEXPR-FUNCALL"
.asciz "RECORD-SOURCE-FILE-NAME"
.asciz "CAAR"
.asciz "MULTIPLE-VALUE-BIND"
.asciz "YAQERR"
.asciz "LAST"
.asciz "SIMPLE-PROMPT-AND-READ"
.asciz "EVAL"
.asciz "PRINT"
.asciz "OK-LIST?"
.asciz "PROVE-INTERNALIZE"
.asciz "CADR"
.asciz "CDDR"
.asciz "LIST*"
.asciz "FORMAT"
.asciz "IF"
.asciz "LISPENV"
.asciz "NREVERSE"
.asciz "PROMPT-Y-N"
.asciz "LET"
.asciz "F-TRAIL"
.asciz "NEQ"
.asciz "UNTRAIL"
.asciz "F-BODY"
.asciz "F-GOAL"
.asciz "F-GOAL-ENV"
.asciz "F-BODY-ENV"
.asciz "UNIFY"
.asciz "RIGHTTRACK"
.asciz "F-ID"
.asciz "F-MAKE-DETERMINATE"
.asciz "LESSP"
.asciz "F-POP"
.asciz "CDDAR"
.asciz "CADAR"
.asciz "REALIZATION"
.asciz "INTERNALIZE"
.asciz "PROVE"
.asciz "TRAIL-INIT"
.asciz "F-CREATE"
.asciz "CALL"
.asciz "F-PUSH"
.asciz "EXIT"
.asciz "BACKTRACK"
.asciz "GREATERP"
.asciz "REDO"
.asciz "FAIL"
.asciz "T"
.asciz "CASEQ"
.asciz "DEREFERENCE"
.asciz "NCONC1"
.asciz "F-CONTINUATION"
.asciz "PROLOG-TOP-LEVEL"
.asciz "UNIFY1"
.asciz "VARIABLE-P"
.asciz "INSTANT"
.asciz "EQUAL"
.asciz "LENGTH"
.asciz "INTERN"
.asciz "ADDPROP-UNIQUE"
.ascii "(SPECIAL CONTGOALS SUPERFRAME SUBFRAME EXITFRAME GOAL FRAMEN"
.asciz "O PORT TRAIL THE-ENV THE-RELATION)"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "LABEL ARGLIST DEFINITION))) LOCAL-DECLARATIONS))) (MACRO DEF"
.ascii "ALIAS (SI::*MACROARG* &OPTIONAL SI::*MACROENVIRONMENT*) SI::"
.ascii "*MACROENVIRONMENT* (AND (OR (< (LENGTH SI::*MACROARG*) 4) (>"
.ascii " (LENGTH SI::*MACROARG*) 4)) (SI::MACRO-REPORT-ARGS-ERROR SI"
.ascii "::*MACROARG* 3 3)) (LET* ((LABEL (CAR (CDR SI::*MACROARG*)))"
.ascii " (ARGLIST (CAR (CDR (CDR SI::*MACROARG*)))) (DEFINITION (CAR"
.ascii " (CDR (CDR (CDR SI::*MACROARG*)))))) (SI::XR-BQ-LIST (QUOTE "
.ascii "DEFSUBST) LABEL ARGLIST (SI::XR-BQ-CONS DEFINITION ARGLIST))"
.asciz ")))"
.asciz "(DEFALIAS GETPROP (SYMBOL PROPNAME) GET)"
.ascii "(DEFSUBST VARIABLE-P (X) (AND (SYMBOLP X) (CHAR= #\\? (AREF ("
.asciz "GET-PNAME X) 0))))"
.asciz "PROMPT-Y-N"
.asciz "SIMPLE-PROMPT-AND-READ"
.asciz "NCONC1"
.asciz "ADDPROP-UNIQUE"
.asciz "YAQERR"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "THE-RELATION &BODY CLAUSES))) LOCAL-DECLARATIONS))) (EVAL-WH"
.ascii "EN (EVAL COMPILE LOAD) (SI::DEFMACRO-SET-INDENTATION-FOR-ZWE"
.ascii "I (QUOTE DEFINE) (QUOTE 1))) (MACRO DEFINE (SI::*MACROARG* &"
.ascii "OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (AND"
.ascii " (< (LENGTH SI::*MACROARG*) 2) (SI::MACRO-REPORT-ARGS-ERROR "
.ascii "SI::*MACROARG* 1 NIL)) (LET* ((THE-RELATION (CAR (CDR SI::*M"
.ascii "ACROARG*))) (CLAUSES (CDR (CDR SI::*MACROARG*)))) (SI::XR-BQ"
.ascii "-LIST (QUOTE *DEFINE) (SI::XR-BQ-LIST (QUOTE QUOTE) THE-RELA"
.asciz "TION) (SI::XR-BQ-LIST (QUOTE QUOTE) CLAUSES)))))"
.asciz "*DEFINE"
.asciz "OK-LIST?"
.ascii "(PROGN (EVAL-WHEN (COMPILE) (PROCLAIM (QUOTE (SPECIAL *ONE-F"
.asciz "ORM*)))) (EVAL-WHEN (LOAD EVAL) (SI::DEFVAR-1 *ONE-FORM*)))"
.ascii "(PROGN (EVAL-WHEN (COMPILE) (PROCLAIM (QUOTE (SPECIAL *RESUL"
.asciz "TS*)))) (EVAL-WHEN (LOAD EVAL) (SI::DEFVAR-1 *RESULTS*)))"
.asciz "YAQ"
.asciz "PROLOG-TOP-LEVEL"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST)"
.ascii ")) LOCAL-DECLARATIONS))) (MACRO TRAIL-INIT (SI::*MACROARG* &"
.ascii "OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (AND"
.ascii " (> (LENGTH SI::*MACROARG*) 1) (SI::MACRO-REPORT-ARGS-ERROR "
.ascii "SI::*MACROARG* 0 0)) (LET* NIL (QUOTE (SETQ TRAIL (LIST NIL)"
.asciz ")))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "LOC))) LOCAL-DECLARATIONS))) (MACRO TRAIL (SI::*MACROARG* &O"
.ascii "PTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (AND "
.ascii "(OR (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH SI::*MACROARG*)"
.ascii " 2)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 1 1)) (LET*"
.ascii " ((LOC (CAR (CDR SI::*MACROARG*)))) (SI::XR-BQ-LIST (QUOTE S"
.ascii "ETQ) (QUOTE TRAIL) (SI::XR-BQ-LIST* (QUOTE CONS) LOC (QUOTE "
.asciz "(TRAIL)))))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST)"
.ascii ")) LOCAL-DECLARATIONS))) (MACRO UNTRAIL (SI::*MACROARG* &OPT"
.ascii "IONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (AND (>"
.ascii " (LENGTH SI::*MACROARG*) 1) (SI::MACRO-REPORT-ARGS-ERROR SI:"
.ascii ":*MACROARG* 0 0)) (LET* NIL (QUOTE (PROG1 (CAR TRAIL) (SETQ "
.asciz "TRAIL (CDR TRAIL)))))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "RELATION))) LOCAL-DECLARATIONS))) (MACRO E-CREATE (SI::*MACR"
.ascii "OARG* &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMEN"
.ascii "T* (AND (OR (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH SI::*MA"
.ascii "CROARG*) 2)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 1 1"
.ascii ")) (LET* ((RELATION (CAR (CDR SI::*MACROARG*)))) (SI::XR-BQ-"
.ascii "LIST (QUOTE MAPCAR) (QUOTE (FUNCTION (LAMBDA (X) (LIST X (QU"
.ascii "OTE ?))))) (SI::XR-BQ-LIST* (QUOTE GETPROP) RELATION (QUOTE "
.asciz "((QUOTE PROLOG-VARS))))))))"
.asciz "(DEFALIAS E-ID (ENVIRONMENT) CAR)"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "X X-E Y Y-E))) LOCAL-DECLARATIONS))) (MACRO INSTANT (SI::*MA"
.ascii "CROARG* &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONM"
.ascii "ENT* (AND (OR (< (LENGTH SI::*MACROARG*) 5) (> (LENGTH SI::*"
.ascii "MACROARG*) 5)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 4"
.ascii " 4)) (LET* ((X (CAR (CDR SI::*MACROARG*))) (X-E (CAR (CDR (C"
.ascii "DR SI::*MACROARG*)))) (Y (CAR (CDR (CDR (CDR SI::*MACROARG*)"
.ascii ")))) (Y-E (CAR (CDR (CDR (CDR (CDR SI::*MACROARG*))))))) (SI"
.ascii "::XR-BQ-LIST (QUOTE COND) (SI::XR-BQ-LIST (SI::XR-BQ-LIST (Q"
.ascii "UOTE AND) (SI::XR-BQ-LIST (QUOTE EQ) X Y) (SI::XR-BQ-LIST (Q"
.ascii "UOTE EQ) X-E Y-E))) (SI::XR-BQ-LIST T (SI::XR-BQ-LIST (QUOTE"
.ascii " SETQ) X (SI::XR-BQ-LIST (QUOTE CDR) (SI::XR-BQ-LIST (QUOTE "
.ascii "ASSQ) X (SI::XR-BQ-LIST (QUOTE CDR) X-E)))) (SI::XR-BQ-LIST "
.ascii "(QUOTE TRAIL) X) (SI::XR-BQ-LIST (QUOTE RPLACA) X Y) (SI::XR"
.asciz "-BQ-LIST (QUOTE RPLACD) X Y-E))))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "GOAL GOAL-E))) LOCAL-DECLARATIONS))) (MACRO F-CREATE (SI::*M"
.ascii "ACROARG* &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRON"
.ascii "MENT* (AND (OR (< (LENGTH SI::*MACROARG*) 3) (> (LENGTH SI::"
.ascii "*MACROARG*) 3)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* "
.ascii "2 2)) (LET* ((GOAL (CAR (CDR SI::*MACROARG*))) (GOAL-E (CAR "
.ascii "(CDR (CDR SI::*MACROARG*))))) (SI::XR-BQ-LIST (QUOTE CONS) N"
.ascii "IL (SI::XR-BQ-LIST (QUOTE CONS) (SI::XR-BQ-LIST (QUOTE CONS)"
.ascii " GOAL GOAL-E) (SI::XR-BQ-LIST (QUOTE CONS) (QUOTE CONTGOALS)"
.ascii " (SI::XR-BQ-LIST (QUOTE CONS) (SI::XR-BQ-LIST (QUOTE CONS) ("
.ascii "QUOTE (INCF FRAMENO)) (SI::XR-BQ-LIST (QUOTE E-CREATE) (SI::"
.ascii "XR-BQ-LIST (QUOTE CAR) GOAL))) (SI::XR-BQ-LIST (QUOTE CONS) "
.ascii "(QUOTE TRAIL) (SI::XR-BQ-LIST (QUOTE CDR) (SI::XR-BQ-LIST* ("
.ascii "QUOTE GETPROP) (SI::XR-BQ-LIST (QUOTE CAR) GOAL) (QUOTE ((QU"
.asciz "OTE PROLOG-DEF)))))))))))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "FRAME))) LOCAL-DECLARATIONS))) (MACRO F-BODY (SI::*MACROARG*"
.ascii " &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (A"
.ascii "ND (OR (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH SI::*MACROAR"
.ascii "G*) 2)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 1 1)) (L"
.ascii "ET* ((FRAME (CAR (CDR SI::*MACROARG*)))) (SI::XR-BQ-LIST (QU"
.asciz "OTE CADDR) (SI::XR-BQ-LIST (QUOTE CDDDR) FRAME)))))"
.asciz "(DEFALIAS F-BODY-ENV (FRAME) CADDDR)"
.asciz "(DEFALIAS F-CONTINUATION (FRAME) CADDR)"
.asciz "(DEFALIAS F-GOAL-ENV (FRAME) CDADR)"
.asciz "(DEFALIAS F-GOAL (FRAME) CAADR)"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "FRAME))) LOCAL-DECLARATIONS))) (MACRO F-ID (SI::*MACROARG* &"
.ascii "OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (AND"
.ascii " (OR (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH SI::*MACROARG*"
.ascii ") 2)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 1 1)) (LET"
.ascii "* ((FRAME (CAR (CDR SI::*MACROARG*)))) (SI::XR-BQ-LIST (QUOT"
.asciz "E CAAR) (SI::XR-BQ-LIST (QUOTE CDDDR) FRAME)))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "FRAME))) LOCAL-DECLARATIONS))) (MACRO F-TRAIL (SI::*MACROARG"
.ascii "* &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* ("
.ascii "AND (OR (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH SI::*MACROA"
.ascii "RG*) 2)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 1 1)) ("
.ascii "LET* ((FRAME (CAR (CDR SI::*MACROARG*)))) (SI::XR-BQ-LIST (Q"
.asciz "UOTE CADR) (SI::XR-BQ-LIST (QUOTE CDDDR) FRAME)))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "FRAME))) LOCAL-DECLARATIONS))) (MACRO F-MAKE-DETERMINATE (SI"
.ascii "::*MACROARG* &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENV"
.ascii "IRONMENT* (AND (OR (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH "
.ascii "SI::*MACROARG*) 2)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROA"
.ascii "RG* 1 1)) (LET* ((FRAME (CAR (CDR SI::*MACROARG*)))) (SI::XR"
.ascii "-BQ-LIST* (QUOTE RPLACD) (SI::XR-BQ-LIST (QUOTE CDDDDR) FRAM"
.asciz "E) (QUOTE (NIL))))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "STK))) LOCAL-DECLARATIONS))) (MACRO F-POP (SI::*MACROARG* &O"
.ascii "PTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (AND "
.ascii "(OR (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH SI::*MACROARG*)"
.ascii " 2)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 1 1)) (LET*"
.ascii " ((STK (CAR (CDR SI::*MACROARG*)))) (SI::XR-BQ-LIST (QUOTE P"
.ascii "ROG1) STK (SI::XR-BQ-LIST (QUOTE SETQ) STK (SI::XR-BQ-LIST ("
.asciz "QUOTE CAR) STK))))))"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "FRAME STK))) LOCAL-DECLARATIONS))) (MACRO F-PUSH (SI::*MACRO"
.ascii "ARG* &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT"
.ascii "* (AND (OR (< (LENGTH SI::*MACROARG*) 3) (> (LENGTH SI::*MAC"
.ascii "ROARG*) 3)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 2 2)"
.ascii ") (LET* ((FRAME (CAR (CDR SI::*MACROARG*))) (STK (CAR (CDR ("
.ascii "CDR SI::*MACROARG*))))) (SI::XR-BQ-LIST (QUOTE SETQ) STK (SI"
.asciz "::XR-BQ-LIST (QUOTE RPLACA) FRAME STK)))))"
.asciz "ASSERT"
.asciz "BACKTRACK"
.asciz "CUT"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "LABEL X X-E))) LOCAL-DECLARATIONS))) (MACRO DEREFERENCE (SI:"
.ascii ":*MACROARG* &OPTIONAL SI::*MACROENVIRONMENT*) SI::*MACROENVI"
.ascii "RONMENT* (AND (OR (< (LENGTH SI::*MACROARG*) 4) (> (LENGTH S"
.ascii "I::*MACROARG*) 4)) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROAR"
.ascii "G* 3 3)) (LET* ((LABEL (CAR (CDR SI::*MACROARG*))) (X (CAR ("
.ascii "CDR (CDR SI::*MACROARG*)))) (X-E (CAR (CDR (CDR (CDR SI::*MA"
.ascii "CROARG*)))))) (SI::XR-BQ-LIST (QUOTE AND) (SI::XR-BQ-LIST (Q"
.ascii "UOTE VARIABLE-P) X) (SI::XR-BQ-LIST (QUOTE CDR) (SI::XR-BQ-L"
.ascii "IST (QUOTE SETQ) (QUOTE TEMP) (SI::XR-BQ-LIST (QUOTE CDR) (S"
.ascii "I::XR-BQ-LIST (QUOTE ASSQ) X (SI::XR-BQ-LIST (QUOTE CDR) X-E"
.ascii "))))) (SI::XR-BQ-LIST* (QUOTE SETQ) X (QUOTE ((CAR TEMP)))) "
.ascii "(SI::XR-BQ-LIST* (QUOTE SETQ) X-E (QUOTE ((CDR TEMP)))) (SI:"
.asciz ":XR-BQ-LIST (QUOTE GO) LABEL)))))"
.asciz "LISPENV"
.asciz "PROVE-INTERNALIZE"
.asciz "PROVE"
.asciz "REALIZATION"
.asciz "RIGHTTRACK"
.asciz "UNIFY"
.asciz "UNIFY1"
.asciz "INTERNALIZE"
.asciz "(DEFPROP VARIABLE-P (PREDICATE) PROLOG-DEF)"
.asciz "(DEFPROP < (PREDICATE) PROLOG-DEF)"
.asciz "(DEFPROP = (PREDICATE) PROLOG-DEF)"
.asciz "(DEFPROP > (PREDICATE) PROLOG-DEF)"
.asciz "(DEFPROP PROGN (PREDICATE) PROLOG-DEF)"
.asciz "(DEFPROP CUT (COMMAND) PROLOG-DEF)"
.asciz "(DEFPROP PRINC (COMMAND) PROLOG-DEF)"
.asciz "(DEFPROP PRIN1 (COMMAND) PROLOG-DEF)"
.asciz "(DEFPROP PRINT (COMMAND) PROLOG-DEF)"
.asciz "(DEFPROP TERPRI (COMMAND) PROLOG-DEF)"
.asciz "(DEFPROP FORMAT (COMMAND) PROLOG-DEF)"
.ascii "(COMPILER-LET ((LOCAL-DECLARATIONS (APPEND (QUOTE ((ARGLIST "
.ascii "VAR))) LOCAL-DECLARATIONS))) (MACRO THE (SI::*MACROARG* &OPT"
.ascii "IONAL SI::*MACROENVIRONMENT*) SI::*MACROENVIRONMENT* (AND (O"
.ascii "R (< (LENGTH SI::*MACROARG*) 2) (> (LENGTH SI::*MACROARG*) 2"
.ascii ")) (SI::MACRO-REPORT-ARGS-ERROR SI::*MACROARG* 1 1)) (LET* ("
.ascii "(VAR (CAR (CDR SI::*MACROARG*)))) (SI::XR-BQ-LIST* (QUOTE RE"
.ascii "ALIZATION) (SI::XR-BQ-LIST (QUOTE QUOTE) VAR) (QUOTE (THE-EN"
.asciz "V))))))"
.ascii "(DEFINE IS ((IS ?VAR ?FORM) (PROGN (UNIFY (QUOTE ?VAR) THE-E"
.asciz "NV (EVAL (REALIZATION (THE ?FORM) THE-ENV)) THE-ENV))))"
.ascii "(DEFINE CLAUSE ((CLAUSE . ?CL) (PROGN (NCONC (F-BODY-ENV SUB"
.ascii "FRAME) (E-CREATE (CAAR (THE ?CL)))) (NCONC SUBFRAME (MAPCAR "
.ascii "(FUNCTION (LAMBDA (X) (SI::XR-BQ-LIST (SI::XR-BQ-CONS (QUOTE"
.ascii " CLAUSE) X)))) (CDR (GETPROP (CAAR (THE ?CL)) (QUOTE PROLOG-"
.asciz "DEF))))) NIL)))"
.ascii "(DEFINE RETRACT ((RETRACT . ?CL) (PROGN (NCONC (F-BODY-ENV S"
.ascii "UBFRAME) (E-CREATE (CAAR (THE ?CL)))) (NCONC SUBFRAME (MAPCA"
.ascii "R (FUNCTION (LAMBDA (X) (SI::XR-BQ-LIST (SI::XR-BQ-CONS (QUO"
.ascii "TE RETRACT) X) (SI::XR-BQ-LIST* (QUOTE PROGN) (SI::XR-BQ-LIS"
.ascii "T (QUOTE DELQ) (SI::XR-BQ-LIST (QUOTE QUOTE) X) (SI::XR-BQ-L"
.ascii "IST* (QUOTE GETPROP) (SI::XR-BQ-LIST (QUOTE QUOTE) (CAAR (TH"
.ascii "E ?CL))) (QUOTE ((QUOTE PROLOG-DEF))))) (QUOTE (T)))))) (CDR"
.asciz " (GETPROP (CAAR (THE ?CL)) (QUOTE PROLOG-DEF))))) NIL)))"
.asciz "(DEFINE FAIL)"
.ascii "(DEFINE ASSERTA ((ASSERTA . ?R) (PROGN (LET ((CLAUSE (THE ?R"
.asciz "))) (ASSERT (CAAR CLAUSE) CLAUSE NIL)) NIL)))"
.ascii "(DEFINE ASSERTZ ((ASSERTZ . ?R) (PROGN (LET ((CLAUSE (THE ?R"
.asciz "))) (ASSERT (CAAR CLAUSE) CLAUSE T)) NIL)))"
lit_end:
.data | this is just for documentation 
.asciz "@(#)Compiled by hacked-up-compiler on 6/12/85 11:43:55"
.asciz "something"