perm filename PLNR.LAP[P,BGB] blob
sn#011932 filedate 1974-04-16 generic text, type T, neo UTF8
00100 (QUOTE "The latest (and greatest) u-PLANNER, featuring such attractions as:
00200 THSTEP, THSTEPD, THSTEPT, THSTEPF (as seen in THVAL)
00300 THRESTRICT
00400 and a new and enlarged macro facility - ; and R, G, and A
00500 ")
00600
00700 (COND (PURE (COND ((SETQ LOW (PAGEBPORG))))))
00800
00900
01000 (LAP THSEMI SUBR)
01100 TAG0 (CALL 0 (E READCH))
01200 (CAIN 1 (QUOTE ;))
01300 (JRST 0 TAG2)
01400 (JRST 0 TAG0)
01500 TAG2 (MOVEI 1 (QUOTE NIL))
01600 (POPJ P)
01700 NIL
01800
01900
02000 (LAP THREAD SUBR)
02100 (PUSH P (C 0 0 (QUOTE NIL) 0))
02200 (CALL 0 (E READCH))
02300 (MOVEM 1 0 P)
02400 (CAIE 1 (QUOTE ?))
02500 (JRST 0 TAG5)
02600 (CALL 0 (E READ))
02700 (CALL 1 (E NCONS))
02800 (MOVEI 2 (QUOTE THV))
02900 (CALL 2 (E XCONS))
03000 (JRST 0 TAG4)
03100 TAG5 (CAIE 1 (QUOTE E))
03200 (JRST 0 TAG6)
03300 (CALL 0 (E READ))
03400 (CALL 1 (E NCONS))
03500 (MOVEI 2 (QUOTE THEV))
03600 (CALL 2 (E XCONS))
03700 (JRST 0 TAG4)
03800 TAG6 (CAIE 1 (QUOTE ←))
03900 (JRST 0 TAG7)
04000 (CALL 0 (E READ))
04100 (CALL 1 (E NCONS))
04200 (MOVEI 2 (QUOTE THNV))
04300 (CALL 2 (E XCONS))
04400 (JRST 0 TAG4)
04500 TAG7 (CAIE 1 (QUOTE &))
04600 (JRST 0 TAG10)
04700 TAG0 (CALL 0 (E READCH))
04800 (CAIE 1 (QUOTE &))
04900 (JRST 0 TAG15)
05000 (MOVEI 1 (QUOTE (COMMENT)))
05100 (JRST 0 TAG11)
05200 TAG15 (JRST 0 TAG0)
05300 TAG11 (JRST 0 TAG4)
05400 TAG10 (CAIE 1 (QUOTE T))
05500 (JRST 0 TAG16)
05600 (MOVEI 1 (QUOTE (THTBF THTRUE)))
05700 (JRST 0 TAG4)
05800 TAG16 (CAIE 1 (QUOTE R))
05900 (JRST 0 TAG17)
06000 (MOVEI 1 (QUOTE THRESTRICT))
06100 (JRST 0 TAG4)
06200 TAG17 (CAIE 1 (QUOTE G))
06300 (JRST 0 TAG20)
06400 (MOVEI 1 (QUOTE THGOAL))
06500 (JRST 0 TAG4)
06600 TAG20 (CAIE 1 (QUOTE A))
06700 (JRST 0 TAG21)
06800 (MOVEI 1 (QUOTE THASSERT))
06900 (JRST 0 TAG4)
07000 TAG21 (MOVEI 1 (QUOTE ILLEGAL-PREFIX))
07100 (CALL 1 (E PRINT))
07200 (JUMPE 1 TAG22)
07300 (MOVEI 1 (QUOTE $))
07400 (CALL 1 (E PRINC))
07500 (MOVE 1 0 P)
07600 (CALL 1 (E PRINC))
07700 (CALL 0 (E READ))
07800 (CALL 1 (E PRINC))
07900 (MOVEI 1 (QUOTE NIL))
08000 (CALL 1 (E ERR))
08100 TAG22
08200 TAG4 (SUB P (C 0 0 1 1))
08300 (POPJ P)
08400 NIL
08500
08600
08700 (LAP EVLIS SUBR)
08800 (PUSH P 1)
08900 (PUSH P (C 0 0 TAG0 0))
09000 (PUSH P (C 0 0 (QUOTE EVAL) 0))
09100 (PUSH P 1)
09200 (MOVNI 6 2)
09300 (JCALL 16 (E MAPC))
09400 TAG0 (SUB P (C 0 0 1 1))
09500 (POPJ P)
09600 NIL
09700
09800
09900 (LAP THPRINT2 SUBR)
10000 (PUSH P 1)
10100 (MOVEI 1 (QUOTE / ))
10200 (CALL 1 (E PRINC))
10300 (MOVE 1 0 P)
10400 (SUB P (C 0 0 1 1))
10500 (JCALL 1 (E PRINC))
10600 NIL
10700
10800
10900 (LAP THADD SUBR)
11000 (JSP 6 SPECBIND)
11100 (0 1 (SPECIAL THTT))
11200 (0 0 (SPECIAL THNF))
11300 (0 0 (SPECIAL THWH))
11400 (0 0 (SPECIAL THLAS))
11500 (0 0 (SPECIAL THTTL))
11600 (0 0 (SPECIAL THFST))
11700 (0 0 (SPECIAL THFSTP))
11800 (PUSH P 2)
11900 (PUSH P (C 0 0 (QUOTE NIL) 0))
12000 (PUSH P (C 0 0 (QUOTE NIL) 0))
12100 (PUSH P (C 0 0 (QUOTE NIL) 0))
12200 (CALL 1 (E ATOM))
12300 (JUMPE 1 TAG6)
12400 (MOVEI 2 (QUOTE THEOREM))
12500 (MOVE 1 (SPECIAL THTT))
12600 (CALL 2 (E GET))
12700 (MOVEM 1 -1 P)
12800 (JUMPN 1 TAG7)
12900 (MOVE 1 (SPECIAL THTT))
13000 (CALL 1 (E PRINT))
13100 (MOVEI 1 (QUOTE (CANT THASSERT/, NO THEOREM /- THADD)))
13200 (CALL 17 (E THERT))
13300 TAG7 (HLRZ@ 1 -1 P)
13400 (MOVEM 1 (SPECIAL THWH))
13500 (MOVE 1 (SPECIAL THTT))
13600 (MOVEM 1 (SPECIAL THTTL))
13700 (MOVE 1 -3 P)
13800 (JUMPE 1 TAG11)
13900 TAG0 (HLRZ@ 3 -3 P)
14000 (HRRZ@ 2 -3 P)
14100 (HLRZ@ 2 2)
14200 (MOVE 1 (SPECIAL THTT))
14300 (CALL 3 (E THPUTPROP))
14400 (HRRZ@ 1 -3 P)
14500 (HRRZ@ 1 1)
14600 (MOVEM 1 -3 P)
14700 (JUMPN 1 TAG0)
14800 TAG11 (HRRZ@ 1 -1 P)
14900 (CALL 1 (E CADR))
15000 (JRST 0 TAG5)
15100 TAG6 (HLRZ@ 3 (SPECIAL THTT))
15200 (CAIE 3 (QUOTE THAUX))
15300 (JRST 0 TAG17)
15400 (MOVEI 2 (QUOTE THADD))
15500 (HRRZ@ 1 (SPECIAL THTT))
15600 (HLRZ@ 1 1)
15700 (CALL 2 (E GET))
15800 (MOVE 2 -3 P)
15900 (PUSH P 1)
16000 (HRRZ@ 1 (SPECIAL THTT))
16100 (CALL 1 (E CADR))
16200 (CALLF@ 2 0 P)
16300 (SUB P (C 0 0 1 1))
16400 (JRST 0 TAG2)
16500 TAG17 (MOVEI 1 (QUOTE THASSERTION))
16600 (MOVEM 1 (SPECIAL THWH))
16700 (MOVE 2 -3 P)
16800 (MOVE 1 (SPECIAL THTT))
16900 (CALL 2 (E CONS))
17000 (MOVEM 1 (SPECIAL THTTL))
17100 (MOVE 1 (SPECIAL THTT))
17200 TAG20
17300 TAG5 (MOVEM 1 0 P)
17400 (MOVEI 1 (QUOTE 0))
17500 (MOVEM 1 (SPECIAL THNF))
17600 (MOVE 1 0 P)
17700 (CALL 1 (E LENGTH))
17800 (MOVEM 1 (SPECIAL THLAS))
17900 (MOVEI 1 (QUOTE T))
18000 (MOVEM 1 (SPECIAL THFST))
18100 TAG1 (MOVE 1 0 P)
18200 (JUMPN 1 TAG23)
18300 (MOVE 1 -2 P)
18400 (MOVEM 1 0 P)
18500 (MOVEI 1 (QUOTE 0))
18600 (MOVEM 1 (SPECIAL THNF))
18700 (CLEARB 1 (SPECIAL THFST))
18800 (MOVEM 1 -2 P)
18900 (MOVEI 1 (QUOTE T))
19000 (MOVEM 1 (SPECIAL THFSTP))
19100 (JRST 0 TAG1)
19200 TAG23 (HLRZ@ 1 1)
19300 (CALL 1 (E THIP))
19400 (MOVEM 1 -1 P)
19500 (JUMPE 1 TAG3)
19600 (CAIE 1 (QUOTE THOK))
19700 (TDZA 1 1)
19800 (MOVEI 1 (QUOTE T))
19900 (JUMPN 1 TAG22)
20000 (PUSH P (C 0 0 TAG25 0))
20100 (PUSH P -3 P)
20200 (MOVE 2 -3 P)
20300 (CAIE 2 (QUOTE THVRB))
20400 (JRST 0 TAG27)
20500 (HLRZ@ 1 -2 P)
20600 (JRST 0 TAG26)
20700 TAG27 (MOVEI 1 (QUOTE NIL))
20800 TAG26 (CALL 1 (E NCONS))
20900 (PUSH P 1)
21000 (MOVNI 6 2)
21100 (JCALL 16 (E NCONC))
21200 TAG25 (MOVEM 1 -2 P)
21300 (JUMPE 1 TAG24)
21400 (HRRZ@ 1 0 P)
21500 (MOVEM 1 0 P)
21600 (JRST 0 TAG1)
21700 TAG24
21800 TAG22 (CLEARM 1 (SPECIAL THFST))
21900 (PUSH P (C 0 0 TAG30 0))
22000 (PUSH P (C 0 0 (QUOTE THIP) 0))
22100 (HRRZ@ 1 -2 P)
22200 (PUSH P 1)
22300 (MOVNI 6 2)
22400 (JCALL 16 (E MAPC))
22500 TAG30 (MOVEI 1 (QUOTE 0))
22600 (MOVEM 1 (SPECIAL THNF))
22700 (PUSH P (C 0 0 TAG31 0))
22800 (PUSH P (C 0 0 (QUOTE THIP) 0))
22900 (PUSH P -4 P)
23000 (MOVNI 6 2)
23100 (JCALL 16 (E MAPC))
23200 TAG31 (MOVE 1 (SPECIAL THTTL))
23300 (JRST 0 TAG2)
23400 TAG3 (MOVEI 1 (QUOTE NIL))
23500 TAG2 (SUB P (C 0 0 4 4))
23600 (JRST 0 SPECSTR)
23700 NIL
23800
23900
24000 (LAP THAMONG FSUBR)
24100 (PUSH P 1)
24200 (HLRZ@ 2 1)
24300 (HLRZ@ 2 2)
24400 (CAIE 2 (QUOTE THEV))
24500 (JRST 0 TAG3)
24600 (MOVE 2 (SPECIAL THALIST))
24700 (CALL 1 (E CADAR))
24800 (CALL 2 (E THVAL))
24900 (JRST 0 TAG2)
25000 TAG3 (HLRZ@ 1 0 P)
25100 TAG4
25200 TAG2 (MOVE 2 (SPECIAL THALIST))
25300 (CALL 2 (E THGAL))
25400 (MOVEM 1 (SPECIAL THXX))
25500 (HRRZ@ 2 1)
25600 (HLRZ@ 2 2)
25700 (CAIE 2 (QUOTE THUNASSIGNED))
25800 (JRST 0 TAG1)
25900 (MOVE 2 (SPECIAL THALIST))
26000 (HRRZ@ 1 0 P)
26100 (HLRZ@ 1 1)
26200 (PUSH P (SPECIAL THXX))
26300 (CALL 2 (E THVAL))
26400 (CALL 1 (E NCONS))
26500 (POP P 2)
26600 (CALL 2 (E XCONS))
26700 (MOVEI 2 (QUOTE THAMONG))
26800 (CALL 2 (E XCONS))
26900 (MOVE 2 (SPECIAL THTREE))
27000 (CALL 2 (E CONS))
27100 (MOVEM 1 (SPECIAL THTREE))
27200 (MOVEI 1 (QUOTE NIL))
27300 (JRST 0 TAG0)
27400 TAG1 (HRRZ@ 1 (SPECIAL THXX))
27500 (HLRZ@ 1 1)
27600 (MOVE 2 (SPECIAL THALIST))
27700 (PUSH P 1)
27800 (HRRZ@ 1 -1 P)
27900 (HLRZ@ 1 1)
28000 (CALL 2 (E THVAL))
28100 (MOVE 2 1)
28200 (POP P 1)
28300 (CALL 2 (E MEMBER))
28400 TAG6
28500 TAG0 (SUB P (C 0 0 1 1))
28600 (POPJ P)
28700 NIL
28800
28900
29000 (LAP THAMONGF SUBR)
29100 (HLRZ@ 1 (SPECIAL THTREE))
29200 (CALL 1 (E CADDR))
29300 (JUMPE 1 TAG1)
29400 (HLRZ@ 1 (SPECIAL THTREE))
29500 (CALL 1 (E CDADR))
29600 (HLRZ@ 2 (SPECIAL THTREE))
29700 (HRRZ@ 2 2)
29800 (HRRZ@ 2 2)
29900 (HLRZ@ 2 2)
30000 (HLRZ@ 2 2)
30100 (HRLM@ 2 1)
30200 (HLRZ@ 1 (SPECIAL THTREE))
30300 (CALL 1 (E CDDR))
30400 (HLRZ@ 3 (SPECIAL THTREE))
30500 (HRRZ@ 3 3)
30600 (HRRZ@ 3 3)
30700 (HLRZ@ 3 3)
30800 (HRRZ@ 3 3)
30900 (HRLM@ 3 1)
31000 (MOVE 1 (SPECIAL THTREE))
31100 (MOVEM 1 (SPECIAL THBRANCH))
31200 (MOVE 1 (SPECIAL THALIST))
31300 (MOVEM 1 (SPECIAL THABRANCH))
31400 (CALL 0 (E THPOPT))
31500 (MOVEI 1 (QUOTE T))
31600 (JRST 0 TAG0)
31700 TAG1 (HLRZ@ 1 (SPECIAL THTREE))
31800 (CALL 1 (E CDADR))
31900 (MOVEI 2 (QUOTE THUNASSIGNED))
32000 (HRLM@ 2 1)
32100 (CALL 0 (E THPOPT))
32200 (MOVEI 1 (QUOTE NIL))
32300 TAG2
32400 TAG0 (POPJ P)
32500 NIL
32600
32700
32800 (LAP THAND FSUBR)
32900 (PUSH P 1)
33000 (JUMPE 1 TAG1)
33100 (TDZA 1 1)
33200 TAG1 (MOVEI 1 (QUOTE T))
33300 (JUMPN 1 TAG0)
33400 (MOVEI 1 (QUOTE NIL))
33500 (CALL 1 (E NCONS))
33600 (MOVE 2 0 P)
33700 (CALL 2 (E XCONS))
33800 (MOVEI 2 (QUOTE THAND))
33900 (CALL 2 (E XCONS))
34000 (MOVE 2 (SPECIAL THTREE))
34100 (CALL 2 (E CONS))
34200 (MOVEM 1 (SPECIAL THTREE))
34300 (HLRZ@ 1 0 P)
34400 (MOVEM 1 (SPECIAL THEXP))
34500 TAG0 (SUB P (C 0 0 1 1))
34600 (POPJ P)
34700 NIL
34800
34900
35000 (LAP THANDF SUBR)
35100 (CALL 0 (E THBRANCHUN))
35200 (MOVEI 1 (QUOTE NIL))
35300 (POPJ P)
35400 NIL
35500
35600
35700 (LAP THANDT SUBR)
35800 (HLRZ@ 1 (SPECIAL THTREE))
35900 (CALL 1 (E CDADR))
36000 (JUMPE 1 TAG4)
36100 (CALL 0 (E THBRANCH))
36200 (HLRZ@ 1 (SPECIAL THTREE))
36300 (CALL 1 (E CADR))
36400 (CALL 1 (E CADR))
36500 (MOVEM 1 (SPECIAL THEXP))
36600 (HLRZ@ 1 (SPECIAL THTREE))
36700 (HRRZ@ 1 1)
36800 (HLRZ@ 2 (SPECIAL THTREE))
36900 (HRRZ@ 2 2)
37000 (HLRZ@ 2 2)
37100 (HRRZ@ 2 2)
37200 (HRLM@ 2 1)
37300 (JRST 0 TAG3)
37400 TAG4 (CALL 0 (E THPOPT))
37500 TAG3 (MOVE 1 (SPECIAL THVALUE))
37600 (POPJ P)
37700 NIL
37800
37900
38000 (LAP THAPPLY FSUBR)
38100 (MOVEI 2 (QUOTE THEOREM))
38200 (PUSH P 1)
38300 (HLRZ@ 1 1)
38400 (CALL 2 (E GET))
38500 (HRRZ@ 3 0 P)
38600 (HLRZ@ 3 3)
38700 (EXCH 2 1)
38800 (HLRZ@ 1 0 P)
38900 (SUB P (C 0 0 1 1))
39000 (JCALL 3 (E THAPPLY1))
39100 NIL
39200
39300
39400 (LAP THAPPLY1 SUBR)
39500 (PUSH P 1)
39600 (PUSH P 2)
39700 (PUSH P 3)
39800 (HRRZ@ 1 2)
39900 (HLRZ@ 1 1)
40000 (CALL 1 (E THBIND))
40100 (JUMPE 1 TAG3)
40200 (HRRZ@ 2 -1 P)
40300 (HRRZ@ 2 2)
40400 (HLRZ@ 2 2)
40500 (MOVE 1 0 P)
40600 (CALL 2 (E THMATCH1))
40700 TAG3 (JUMPE 1 TAG1)
40800 (MOVE 1 (SPECIAL THTRACE))
40900 (JUMPE 1 TAG6)
41000 (MOVE 2 -2 P)
41100 (MOVEI 1 (QUOTE THEOREM))
41200 (CALL 2 (E THTRACES))
41300 TAG6 (HRRZ@ 1 -1 P)
41400 (HRRZ@ 1 1)
41500 (CALL 1 (E NCONS))
41600 (MOVEI 2 (QUOTE NIL))
41700 (CALL 2 (E XCONS))
41800 (HRRZ@ 2 -1 P)
41900 (HRRZ@ 2 2)
42000 (CALL 2 (E XCONS))
42100 (MOVEI 2 (QUOTE THPROG))
42200 (CALL 2 (E XCONS))
42300 (MOVE 2 (SPECIAL THTREE))
42400 (CALL 2 (E CONS))
42500 (MOVEM 1 (SPECIAL THTREE))
42600 (CALL 0 (E THPROGA))
42700 (MOVEI 1 (QUOTE T))
42800 (JRST 0 TAG0)
42900 TAG1 (MOVE 1 (SPECIAL THOLIST))
43000 (MOVEM 1 (SPECIAL THALIST))
43100 (CALL 0 (E THPOPT))
43200 (MOVEI 1 (QUOTE NIL))
43300 TAG10
43400 TAG0 (SUB P (C 0 0 3 3))
43500 (POPJ P)
43600 NIL
43700
43800
43900 (LAP THASS1 SUBR)
44000 (JSP 6 SPECBIND)
44100 (0 0 (SPECIAL THX))
44200 (0 0 (SPECIAL THY1))
44300 (0 0 (SPECIAL THY))
44400 (0 0 (SPECIAL TYPE))
44500 (PUSH P 1)
44600 (PUSH P 2)
44700 (PUSH P (C 0 0 (QUOTE NIL) 0))
44800 (HRRZ@ 3 1)
44900 (JUMPE 3 TAG4)
45000 (HRRZ@ 4 1)
45100 (HLRZ@ 4 4)
45200 (HLRZ@ 4 4)
45300 (CAIE 4 (QUOTE THPSEUDO))
45400 (JRST 0 TAG6)
45500 (MOVEI 1 (QUOTE T))
45600 (MOVEM 1 0 P)
45700 TAG6
45800 TAG4 (HLRZ@ 1 -2 P)
45900 (MOVEM 1 (SPECIAL THX))
46000 (CALL 1 (E ATOM))
46100 (JUMPN 1 TAG10)
46200 (MOVE 1 (SPECIAL THX))
46300 (CALL 1 (E THVARSUBST))
46400 (MOVEM 1 (SPECIAL THX))
46500 (CALL 1 (E THPURE))
46600 (JUMPN 1 TAG10)
46700 (MOVE 1 0 P)
46800 (JUMPN 1 TAG10)
46900 (MOVE 1 (SPECIAL THX))
47000 (CALL 1 (E PRINT))
47100 (MOVEI 1 (QUOTE (IMPURE ASSERTION OR ERASURE /- THASS1)))
47200 (CALL 17 (E THERT))
47300 TAG10 (MOVE 1 (SPECIAL THTRACE))
47400 (JUMPE 1 TAG12)
47500 (MOVE 1 0 P)
47600 (JUMPN 1 TAG14)
47700 (MOVE 1 -1 P)
47800 (JUMPE 1 TAG17)
47900 (MOVEI 1 (QUOTE THASSERT))
48000 (JRST 0 TAG16)
48100 TAG17 (MOVEI 1 (QUOTE THERASE))
48200 TAG16 (MOVE 2 (SPECIAL THX))
48300 (CALL 2 (E THTRACES))
48400 TAG14
48500 TAG12 (MOVE 1 0 P)
48600 (JUMPE 1 TAG21)
48700 (HRRZ@ 1 -2 P)
48800 (HRRZ@ 1 1)
48900 (JRST 0 TAG20)
49000 TAG21 (HRRZ@ 1 -2 P)
49100 TAG20 (MOVEM 1 -2 P)
49200 (MOVE 1 0 P)
49300 (JUMPE 1 TAG24)
49400 (MOVE 1 (SPECIAL THX))
49500 (CALL 1 (E NCONS))
49600 (JRST 0 TAG23)
49700 TAG24 (MOVE 1 -1 P)
49800 (JUMPE 1 TAG25)
49900 (PUSH P (SPECIAL THX))
50000 (MOVE 2 -3 P)
50100 (JUMPE 2 TAG31)
50200 (HLRZ@ 3 2)
50300 (HLRZ@ 3 3)
50400 (CAIE 3 (QUOTE THPROP))
50500 (TDZA 2 2)
50600 (MOVEI 2 (QUOTE T))
50700 TAG31 (JUMPE 2 TAG27)
50800 (HLRZ@ 1 -3 P)
50900 (CALL 1 (E CADR))
51000 (CALL 1 (E *EVAL))
51100 (HRRZ@ 2 -3 P)
51200 (EXCH 2 1)
51300 (MOVEM 1 -3 P)
51400 TAG27 (MOVEM 2 (SPECIAL THY))
51500 (POP P 1)
51600 (CALL 2 (E THADD))
51700 (JRST 0 TAG23)
51800 TAG25 (MOVE 1 (SPECIAL THX))
51900 (CALL 1 (E THREMOVE))
52000 TAG33
52100 TAG23 (MOVEM 1 (SPECIAL THX))
52200 (JUMPN 1 TAG22)
52300 (JRST 0 TAG1)
52400 TAG22 (MOVE 1 -1 P)
52500 (JUMPE 1 TAG36)
52600 (MOVEI 1 (QUOTE THANTE))
52700 (MOVEM 1 (SPECIAL TYPE))
52800 (JRST 0 TAG35)
52900 TAG36 (MOVEI 1 (QUOTE THERASING))
53000 (MOVEM 1 (SPECIAL TYPE))
53100 TAG35 (MOVE 1 0 P)
53200 (JUMPN 1 TAG37)
53300 (MOVE 1 -1 P)
53400 (JUMPE 1 TAG41)
53500 (MOVEI 1 (QUOTE THASSERT))
53600 (JRST 0 TAG40)
53700 TAG41 (MOVEI 1 (QUOTE THERASE))
53800 TAG40 (PUSH P 1)
53900 (MOVE 1 (SPECIAL THY))
54000 (CALL 1 (E NCONS))
54100 (MOVE 2 (SPECIAL THX))
54200 (CALL 2 (E XCONS))
54300 (POP P 2)
54400 (CALL 2 (E XCONS))
54500 (MOVE 2 (SPECIAL THTREE))
54600 (CALL 2 (E CONS))
54700 (MOVEM 1 (SPECIAL THTREE))
54800 TAG37 (MOVE 2 -2 P)
54900 (MOVEI 1 (QUOTE THTAE))
55000 (CALL 2 (E MAPCAN))
55100 (MOVEI 2 (QUOTE THDO))
55200 (CALL 2 (E XCONS))
55300 (MOVEM 1 (SPECIAL THEXP))
55400 (MOVE 1 (SPECIAL THX))
55500 (JRST 0 TAG0)
55600 TAG1 (MOVEI 1 (QUOTE NIL))
55700 TAG0 (SUB P (C 0 0 3 3))
55800 (JRST 0 SPECSTR)
55900 NIL
56000
56100
56200 (LAP THASSERT FSUBR)
56300 (MOVEI 2 (QUOTE T))
56400 (JCALL 2 (E THASS1))
56500 NIL
56600
56700
56800 (LAP THASSERTF SUBR)
56900 (HLRZ@ 1 (SPECIAL THTREE))
57000 (CALL 1 (E CADR))
57100 (CALL 1 (E ATOM))
57200 (JUMPE 1 TAG4)
57300 (HLRZ@ 1 (SPECIAL THTREE))
57400 (CALL 1 (E CADR))
57500 (JRST 0 TAG3)
57600 TAG4 (HLRZ@ 1 (SPECIAL THTREE))
57700 (CALL 1 (E CAADR))
57800 TAG5
57900 TAG3 (CALL 1 (E THREMOVE))
58000 (CALL 0 (E THPOPT))
58100 (MOVEI 1 (QUOTE NIL))
58200 (POPJ P)
58300 NIL
58400
58500
58600 (LAP THASSERTT SUBR)
58700 (HLRZ@ 1 (SPECIAL THTREE))
58800 (CALL 1 (E CADR))
58900 (PUSH P 1)
59000 (CALL 0 (E THPOPT))
59100 (POP P 1)
59200 (POPJ P)
59300 NIL
59400
59500
59600 (LAP THASVAL FSUBR)
59700 (MOVE 2 (SPECIAL THALIST))
59800 (HLRZ@ 1 1)
59900 (CALL 2 (E THGAL))
60000 (PUSH P 1)
60100 (JUMPE 1 TAG1)
60200 (HRRZ@ 2 1)
60300 (HLRZ@ 2 2)
60400 (CAIE 2 (QUOTE THUNASSIGNED))
60500 (JRST 0 TAG3)
60600 (TDZA 1 1)
60700 TAG3 (MOVEI 1 (QUOTE T))
60800 TAG1 (SUB P (C 0 0 1 1))
60900 (POPJ P)
61000 NIL
61100
61200
61300 (LAP THBA SUBR)
61400 (PUSH P 1)
61500 (PUSH P 2)
61600 (PUSH P 2)
61700 TAG0 (MOVE 1 (SPECIAL THPC))
61800 (JUMPE 1 TAG7)
61900 (HRRZ@ 1 0 P)
62000 (HLRZ@ 1 1)
62100 (JRST 0 TAG6)
62200 TAG7 (HRRZ@ 1 0 P)
62300 (CALL 1 (E CAAR))
62400 TAG10
62500 TAG6 (CAME 1 -2 P)
62600 (JRST 0 TAG5)
62700 (MOVE 1 0 P)
62800 (JRST 0 TAG1)
62900 TAG5 (HRRZ@ 1 0 P)
63000 (MOVEM 1 0 P)
63100 (HRRZ@ 1 1)
63200 (JUMPN 1 TAG13)
63300 (JRST 0 TAG2)
63400 TAG13 (JRST 0 TAG0)
63500 TAG2 (MOVEI 1 (QUOTE NIL))
63600 TAG1 (SUB P (C 0 0 3 3))
63700 (POPJ P)
63800 NIL
63900
64000
64100 (LAP THBAP SUBR)
64200 (PUSH P 1)
64300 (PUSH P 2)
64400 (PUSH P 2)
64500 TAG0 (MOVE 1 (SPECIAL THPC))
64600 (JUMPE 1 TAG7)
64700 (HRRZ@ 1 0 P)
64800 (HLRZ@ 1 1)
64900 (JRST 0 TAG6)
65000 TAG7 (HRRZ@ 1 0 P)
65100 (CALL 1 (E CAAR))
65200 TAG10
65300 TAG6 (MOVE 2 -2 P)
65400 (CALL 2 (E EQUAL))
65500 (JUMPE 1 TAG5)
65600 (MOVE 1 0 P)
65700 (JRST 0 TAG1)
65800 TAG5 (HRRZ@ 1 0 P)
65900 (MOVEM 1 0 P)
66000 (HRRZ@ 1 1)
66100 (JUMPN 1 TAG13)
66200 (JRST 0 TAG2)
66300 TAG13 (JRST 0 TAG0)
66400 TAG2 (MOVEI 1 (QUOTE NIL))
66500 TAG1 (SUB P (C 0 0 3 3))
66600 (POPJ P)
66700 NIL
66800
66900
67000 (LAP THBIND SUBR)
67100 (PUSH P 1)
67200 (MOVE 1 (SPECIAL THALIST))
67300 (MOVEM 1 (SPECIAL THOLIST))
67400 (MOVE 1 0 P)
67500 (JUMPE 1 TAG5)
67600 (TDZA 1 1)
67700 TAG5 (MOVEI 1 (QUOTE T))
67800 (JUMPN 1 TAG4)
67900 TAG0 (MOVE 1 0 P)
68000 (JUMPN 1 TAG12)
68100 (MOVE 1 (SPECIAL THOLIST))
68200 (CALL 1 (E NCONS))
68300 (MOVEI 2 (QUOTE THREMBIND))
68400 (CALL 2 (E XCONS))
68500 (MOVE 2 (SPECIAL THTREE))
68600 (CALL 2 (E CONS))
68700 (MOVEM 1 (SPECIAL THTREE))
68800 (MOVEI 1 (QUOTE T))
68900 (JRST 0 TAG6)
69000 TAG12 (HLRZ@ 1 0 P)
69100 (CALL 1 (E ATOM))
69200 (JUMPE 1 TAG14)
69300 (MOVEI 1 (QUOTE THUNASSIGNED))
69400 (CALL 1 (E NCONS))
69500 (HLRZ@ 2 0 P)
69600 (CALL 2 (E XCONS))
69700 (JRST 0 TAG13)
69800 TAG14 (HLRZ@ 2 0 P)
69900 (HLRZ@ 2 2)
70000 (CAIE 2 (QUOTE THRESTRICT))
70100 (JRST 0 TAG15)
70200 (PUSH P (C 0 0 TAG16 0))
70300 (HLRZ@ 1 -1 P)
70400 (CALL 1 (E CADR))
70500 (CALL 1 (E THBI1))
70600 (PUSH P 1)
70700 (HLRZ@ 2 -2 P)
70800 (HRRZ@ 2 2)
70900 (HRRZ@ 2 2)
71000 (PUSH P 2)
71100 (MOVNI 6 2)
71200 (JCALL 16 (E NCONC))
71300 TAG16 (JRST 0 TAG13)
71400 TAG15 (HLRZ@ 1 0 P)
71500 (HLRZ@ 1 1)
71600 (PUSH P 1)
71700 (HLRZ@ 1 -1 P)
71800 (CALL 1 (E CADR))
71900 (CALL 1 (E *EVAL))
72000 (CALL 1 (E NCONS))
72100 (POP P 2)
72200 (CALL 2 (E XCONS))
72300 TAG17
72400 TAG13 (MOVE 2 (SPECIAL THALIST))
72500 (CALL 2 (E CONS))
72600 (MOVEM 1 (SPECIAL THALIST))
72700 (HRRZ@ 1 0 P)
72800 (MOVEM 1 0 P)
72900 (JRST 0 TAG0)
73000 TAG6
73100 TAG4 (SUB P (C 0 0 1 1))
73200 (POPJ P)
73300 NIL
73400
73500
73600 (LAP THBI1 SUBR)
73700 (PUSH P 1)
73800 (CALL 1 (E ATOM))
73900 (JUMPE 1 TAG1)
74000 (MOVEI 1 (QUOTE THUNASSIGNED))
74100 (CALL 1 (E NCONS))
74200 (MOVE 2 0 P)
74300 (CALL 2 (E XCONS))
74400 (JRST 0 TAG0)
74500 TAG1 (HLRZ@ 1 0 P)
74600 (PUSH P 1)
74700 (HRRZ@ 1 -1 P)
74800 (HLRZ@ 1 1)
74900 (CALL 1 (E *EVAL))
75000 (CALL 1 (E NCONS))
75100 (POP P 2)
75200 (CALL 2 (E XCONS))
75300 TAG2
75400 TAG0 (SUB P (C 0 0 1 1))
75500 (POPJ P)
75600 NIL
75700
75800
75900 (LAP THBKPT FSUBR)
76000 (PUSH P 1)
76100 (MOVE 1 (SPECIAL THTRACE))
76200 (JUMPE 1 TAG2)
76300 (MOVE 2 0 P)
76400 (MOVEI 1 (QUOTE THBKPT))
76500 (CALL 2 (E THTRACES))
76600 TAG2 (JUMPN 1 TAG0)
76700 (MOVE 1 (SPECIAL THVALUE))
76800 TAG0 (SUB P (C 0 0 1 1))
76900 (POPJ P)
77000 NIL
77100
77200
77300 (LAP THBRANCH SUBR)
77400 (HLRZ@ 1 (SPECIAL THTREE))
77500 (CALL 1 (E CDADR))
77600 (JUMPE 1 TAG1)
77700 (TDZA 1 1)
77800 TAG1 (MOVEI 1 (QUOTE T))
77900 (JUMPN 1 TAG0)
78000 (MOVE 2 (SPECIAL THBRANCH))
78100 (CAME 2 (SPECIAL THTREE))
78200 (JRST 0 TAG2)
78300 (CLEARB 1 (SPECIAL THBRANCH))
78400 (JRST 0 TAG0)
78500 TAG2 (HLRZ@ 1 (SPECIAL THTREE))
78600 (CALL 1 (E CADR))
78700 (CALL 1 (E NCONS))
78800 (MOVE 2 (SPECIAL THABRANCH))
78900 (CALL 2 (E XCONS))
79000 (MOVE 2 (SPECIAL THBRANCH))
79100 (CALL 2 (E XCONS))
79200 (HLRZ@ 2 (SPECIAL THTREE))
79300 (HRRZ@ 2 2)
79400 (HRRZ@ 2 2)
79500 (HLRZ@ 2 2)
79600 (CALL 2 (E CONS))
79700 (PUSH P 1)
79800 (HLRZ@ 1 (SPECIAL THTREE))
79900 (CALL 1 (E CDDR))
80000 (POP P 2)
80100 (HRLM@ 2 1)
80200 (JUMPE 1 TAG3)
80300 (CLEARB 1 (SPECIAL THBRANCH))
80400 TAG3
80500 TAG0 (POPJ P)
80600 NIL
80700
80800
80900 (LAP THBRANCHUN SUBR)
81000 (PUSH P (C 0 0 (QUOTE NIL) 0))
81100 (HLRZ@ 1 (SPECIAL THTREE))
81200 (CALL 1 (E CADDR))
81300 (MOVEM 1 0 P)
81400 (JUMPE 1 TAG4)
81500 (HLRZ@ 1 (SPECIAL THTREE))
81600 (HRRZ@ 1 1)
81700 (HLRZ@ 2 0 P)
81800 (HRRZ@ 2 2)
81900 (HRRZ@ 2 2)
82000 (HLRZ@ 2 2)
82100 (HRLM@ 2 1)
82200 (HLRZ@ 1 (SPECIAL THTREE))
82300 (CALL 1 (E CDDR))
82400 (HRRZ@ 3 0 P)
82500 (HRLM@ 3 1)
82600 (HLRZ@ 1 0 P)
82700 (CALL 1 (E CADR))
82800 (MOVEM 1 (SPECIAL THALIST))
82900 (HLRZ@ 1 0 P)
83000 (HLRZ@ 1 1)
83100 (MOVEM 1 (SPECIAL THTREE))
83200 (MOVEI 1 (QUOTE T))
83300 (JRST 0 TAG3)
83400 TAG4 (CALL 0 (E THPOPT))
83500 (MOVEI 1 (QUOTE NIL))
83600 TAG5
83700 TAG3 (SUB P (C 0 0 1 1))
83800 (POPJ P)
83900 NIL
84000
84100
84200 (LAP THCOND FSUBR)
84300 (PUSH P 1)
84400 (MOVEI 1 (QUOTE NIL))
84500 (CALL 1 (E NCONS))
84600 (MOVE 2 0 P)
84700 (CALL 2 (E XCONS))
84800 (MOVEI 2 (QUOTE THCOND))
84900 (CALL 2 (E XCONS))
85000 (MOVE 2 (SPECIAL THTREE))
85100 (CALL 2 (E CONS))
85200 (MOVEM 1 (SPECIAL THTREE))
85300 (HLRZ@ 1 0 P)
85400 (HLRZ@ 1 1)
85500 (MOVEM 1 (SPECIAL THEXP))
85600 (SUB P (C 0 0 1 1))
85700 (POPJ P)
85800 NIL
85900
86000
86100 (LAP THCONDF SUBR)
86200 (MOVEI 1 (QUOTE NIL))
86300 (JCALL 1 (E THOR2))
86400 NIL
86500
86600
86700 (LAP THCONDT SUBR)
86800 (HLRZ@ 1 (SPECIAL THTREE))
86900 (MOVEI 2 (QUOTE THAND))
87000 (HRLM@ 2 1)
87100 (HLRZ@ 1 (SPECIAL THTREE))
87200 (HRRZ@ 1 1)
87300 (HLRZ@ 3 (SPECIAL THTREE))
87400 (HRRZ@ 3 3)
87500 (HLRZ@ 3 3)
87600 (HLRZ@ 3 3)
87700 (HRLM@ 3 1)
87800 (MOVE 1 (SPECIAL THVALUE))
87900 (POPJ P)
88000 NIL
88100
88200
88300 (LAP THDATA SUBR)
88400 (PUSH P (C 0 0 (QUOTE NIL) 0))
88500 TAG0 (CALL 0 (E TERPRI))
88600 (MOVEI 1 (QUOTE NIL))
88700 (CALL 1 (E READ))
88800 (MOVEM 1 0 P)
88900 (JUMPN 1 TAG5)
89000 (MOVEI 1 (QUOTE T))
89100 (JRST 0 TAG1)
89200 TAG5 (HRRZ@ 2 1)
89300 (HLRZ@ 1 1)
89400 (CALL 2 (E THADD))
89500 (CALL 1 (E PRINT))
89600 (JRST 0 TAG0)
89700 TAG1 (SUB P (C 0 0 1 1))
89800 (POPJ P)
89900 NIL
90000
90100
90200 (LAP THDO FSUBR)
90300 (PUSH P 1)
90400 (JUMPE 1 TAG1)
90500 (TDZA 1 1)
90600 TAG1 (MOVEI 1 (QUOTE T))
90700 (JUMPN 1 TAG0)
90800 (MOVEI 1 (QUOTE NIL))
90900 (CALL 1 (E NCONS))
91000 (MOVEI 2 (QUOTE NIL))
91100 (CALL 2 (E XCONS))
91200 (MOVE 2 0 P)
91300 (CALL 2 (E XCONS))
91400 (MOVEI 2 (QUOTE THDO))
91500 (CALL 2 (E XCONS))
91600 (MOVE 2 (SPECIAL THTREE))
91700 (CALL 2 (E CONS))
91800 (MOVEM 1 (SPECIAL THTREE))
91900 (HLRZ@ 1 0 P)
92000 (MOVEM 1 (SPECIAL THEXP))
92100 TAG0 (SUB P (C 0 0 1 1))
92200 (POPJ P)
92300 NIL
92400
92500
92600 (LAP THDO1 SUBR)
92700 (HLRZ@ 1 (SPECIAL THTREE))
92800 (HRRZ@ 1 1)
92900 (HLRZ@ 2 (SPECIAL THTREE))
93000 (HRRZ@ 2 2)
93100 (HLRZ@ 2 2)
93200 (HRRZ@ 2 2)
93300 (HRLM@ 2 1)
93400 (HLRZ@ 1 (SPECIAL THTREE))
93500 (CALL 1 (E CAADR))
93600 (MOVEM 1 (SPECIAL THEXP))
93700 (MOVE 1 (SPECIAL THBRANCH))
93800 (JUMPE 1 TAG4)
93900 (HLRZ@ 2 (SPECIAL THTREE))
94000 (HRRZ@ 2 2)
94100 (HRRZ@ 2 2)
94200 (HLRZ@ 2 2)
94300 (CALL 2 (E CONS))
94400 (PUSH P 1)
94500 (HLRZ@ 1 (SPECIAL THTREE))
94600 (CALL 1 (E CDDR))
94700 (POP P 2)
94800 (HRLM@ 2 1)
94900 (CLEARM 1 (SPECIAL THBRANCH))
95000 (HLRZ@ 2 (SPECIAL THTREE))
95100 (HRRZ@ 2 2)
95200 (HRRZ@ 2 2)
95300 (HRRZ@ 2 2)
95400 (HLRZ@ 2 2)
95500 (MOVE 1 (SPECIAL THABRANCH))
95600 (CALL 2 (E CONS))
95700 (PUSH P 1)
95800 (HLRZ@ 1 (SPECIAL THTREE))
95900 (CALL 1 (E CDDDR))
96000 (POP P 2)
96100 (HRLM@ 2 1)
96200 TAG4 (POPJ P)
96300 NIL
96400
96500
96600 (LAP THDOB SUBR)
96700 (HLRZ@ 1 (SPECIAL THTREE))
96800 (CALL 1 (E CDADR))
96900 (JUMPN 1 TAG1)
97000 (HLRZ@ 1 (SPECIAL THTREE))
97100 (MOVEI 2 (QUOTE THUNDO))
97200 (HRLM@ 2 1)
97300 (MOVEI 1 (QUOTE T))
97400 (JRST 0 TAG0)
97500 TAG1 (CALL 0 (E THDO1))
97600 TAG0 (POPJ P)
97700 NIL
97800
97900
98000 (LAP THDUMPG0333G0334G0335 SUBR)
98100 (PUSH P 1)
98200 (MOVE 2 1)
98300 (MOVE 1 (SPECIAL ATOM))
98400 (CALL 2 (E GET))
98500 (MOVEM 1 (SPECIAL P))
98600 (JUMPE 1 TAG1)
98700 (MOVE 1 2)
98800 (CALL 1 (E NCONS))
98900 (MOVE 2 (SPECIAL P))
99000 (CALL 2 (E XCONS))
99100 (MOVE 2 (SPECIAL ATOM))
99200 (CALL 2 (E XCONS))
99300 (MOVEI 2 (QUOTE DEFPROP))
99400 (CALL 2 (E XCONS))
99500 (CALL 1 (E PRINT))
99600 TAG1 (SUB P (C 0 0 1 1))
99700 (POPJ P)
99800 NIL
99900
00100
00200 (LAP THDUMPG0333G0334 SUBR)
00300 (JSP 6 SPECBIND)
00400 (0 1 (SPECIAL ATOM))
00500 (PUSH P (C 0 0 TAG0 0))
00600 (PUSH P (C 0 0 (QUOTE THDUMPG0333G0334G0335) 0))
00700 (PUSH P (C 0 0 (QUOTE (THCONSE THERASING THANTE)) 0))
00800 (MOVNI 6 2)
00900 (JCALL 16 (E MAPC))
01000 TAG0 (JRST 0 SPECSTR)
01100 NIL
01200
01300
01400 (LAP THDUMPG0333 SUBR)
01500 (PUSH P 1)
01600 (PUSH P (C 0 0 TAG0 0))
01700 (PUSH P (C 0 0 (QUOTE THDUMPG0333G0334) 0))
01800 (PUSH P 1)
01900 (MOVNI 6 2)
02000 (JCALL 16 (E MAPC))
02100 TAG0 (SUB P (C 0 0 1 1))
02200 (POPJ P)
02300 NIL
02400
02500
02600 (LAP THDUMPG0336G0337G0338 SUBR)
02700 (PUSH P 1)
02800 (PUSH P (C 0 0 TAG0 0))
02900 (PUSH P (C 0 0 (QUOTE PRINT) 0))
03000 (HRRZ@ 2 1)
03100 (HRRZ@ 2 2)
03200 (PUSH P 2)
03300 (MOVNI 6 2)
03400 (JCALL 16 (E MAPC))
03500 TAG0 (SUB P (C 0 0 1 1))
03600 (POPJ P)
03700 NIL
03800
03900
04000 (LAP THDUMPG0336G0337 SUBR)
04100 (JSP 6 SPECBIND)
04200 (0 1 (SPECIAL ATOM))
04300 (MOVEI 2 (QUOTE THASSERTION))
04400 (CALL 2 (E GET))
04500 (MOVEM 1 (SPECIAL ATOM))
04600 (JUMPE 1 TAG1)
04700 (HRRZ@ 2 1)
04800 (MOVEI 1 (QUOTE 1))
04900 (CALL 2 (E ASSOC))
05000 (MOVEM 1 (SPECIAL ATOM))
05100 (JUMPE 1 TAG3)
05200 (PUSH P (C 0 0 TAG5 0))
05300 (PUSH P (C 0 0 (QUOTE THDUMPG0336G0337G0338) 0))
05400 (HRRZ@ 2 1)
05500 (PUSH P 2)
05600 (MOVNI 6 2)
05700 (JCALL 16 (E MAPC))
05800 TAG5
05900 TAG3
06000 TAG1 (JRST 0 SPECSTR)
06100 NIL
06200
06300
06400 (LAP THDUMPG0336 SUBR)
06500 (PUSH P 1)
06600 (PUSH P (C 0 0 TAG0 0))
06700 (PUSH P (C 0 0 (QUOTE THDUMPG0336G0337) 0))
06800 (PUSH P 1)
06900 (MOVNI 6 2)
07000 (JCALL 16 (E MAPC))
07100 TAG0 (SUB P (C 0 0 1 1))
07200 (POPJ P)
07300 NIL
07400
07500
07600 (LAP THDUMP SUBR)
07700 (JSP 6 SPECBIND)
07800 (0 0 (SPECIAL P))
07900 (PUSH P (C 0 0 TAG3 0))
08000 (PUSH P (C 0 0 (QUOTE THDUMPG0333) 0))
08100 (PUSH P (SPECIAL OBLIST))
08200 (MOVNI 6 2)
08300 (JCALL 16 (E MAPC))
08400 TAG3 (MOVEI 1 (QUOTE (THDATA)))
08500 (CALL 1 (E PRINT))
08600 (PUSH P (C 0 0 TAG4 0))
08700 (PUSH P (C 0 0 (QUOTE THDUMPG0336) 0))
08800 (PUSH P (SPECIAL OBLIST))
08900 (MOVNI 6 2)
09000 (JCALL 16 (E MAPC))
09100 TAG4 (MOVEI 1 (QUOTE NIL))
09200 (CALL 1 (E PRINT))
09300 (MOVEI 1 (QUOTE NIL))
09400 (JRST 0 SPECSTR)
09500 NIL
09600
09700
09800 (LAP THERASE FSUBR)
09900 (MOVEI 2 (QUOTE NIL))
10000 (JCALL 2 (E THASS1))
10100 NIL
10200
10300
10400 (LAP THERASEF SUBR)
10500 (HLRZ@ 1 (SPECIAL THTREE))
10600 (CALL 1 (E CADR))
10700 (CALL 1 (E ATOM))
10800 (JUMPE 1 TAG4)
10900 (HLRZ@ 1 (SPECIAL THTREE))
11000 (CALL 1 (E CADR))
11100 (JRST 0 TAG3)
11200 TAG4 (HLRZ@ 1 (SPECIAL THTREE))
11300 (CALL 1 (E CAADR))
11400 TAG5
11500 TAG3 (PUSH P 1)
11600 (HLRZ@ 1 (SPECIAL THTREE))
11700 (CALL 1 (E CADR))
11800 (CALL 1 (E ATOM))
11900 (JUMPE 1 TAG10)
12000 (MOVEI 2 (QUOTE NIL))
12100 (JRST 0 TAG7)
12200 TAG10 (HLRZ@ 2 (SPECIAL THTREE))
12300 (HRRZ@ 2 2)
12400 (HLRZ@ 2 2)
12500 (HRRZ@ 2 2)
12600 TAG11
12700 TAG7 (POP P 1)
12800 (CALL 2 (E THADD))
12900 (CALL 0 (E THPOPT))
13000 (MOVEI 1 (QUOTE NIL))
13100 (POPJ P)
13200 NIL
13300
13400
13500 (LAP THERASET SUBR)
13600 (HLRZ@ 1 (SPECIAL THTREE))
13700 (CALL 1 (E CADR))
13800 (PUSH P 1)
13900 (CALL 0 (E THPOPT))
14000 (POP P 1)
14100 (POPJ P)
14200 NIL
14300
14400
14500 (LAP THFAIL FSUBR)
14600 (PUSH P 1)
14700 (JUMPE 1 TAG6)
14800 (PUSH P (SPECIAL THTREE))
14900 (PUSH P (C 0 0 (QUOTE NIL) 0))
15000 (PUSH P (C 0 0 (QUOTE NIL) 0))
15100 (HLRZ@ 2 1)
15200 (CAIE 2 (QUOTE THEOREM))
15300 (JRST 0 TAG14)
15400 (MOVEI 1 (QUOTE THPROG))
15500 (JRST 0 TAG13)
15600 TAG14 (HLRZ@ 3 1)
15700 (CAIE 3 (QUOTE THTAG))
15800 (JRST 0 TAG15)
15900 (MOVEI 1 (QUOTE THPROG))
16000 (JRST 0 TAG13)
16100 TAG15 (HLRZ@ 4 1)
16200 (CAIE 4 (QUOTE THINF))
16300 (JRST 0 TAG16)
16400 (MOVEI 1 (QUOTE T))
16500 (MOVEM 1 (SPECIAL THINF))
16600 (JRST 0 TAG11)
16700 TAG16 (HLRZ@ 5 1)
16800 (CAIE 5 (QUOTE THMESSAGE))
16900 (JRST 0 TAG17)
17000 (CALL 1 (E CADR))
17100 (MOVEM 1 (SPECIAL THMESSAGE))
17200 (JRST 0 TAG11)
17300 TAG17 (HLRZ@ 1 -3 P)
17400 TAG20
17500 TAG13 (MOVEM 1 0 P)
17600 TAG0 (MOVE 1 -2 P)
17700 (JUMPN 1 TAG23)
17800 (MOVE 1 -3 P)
17900 (CALL 1 (E PRINT))
18000 (MOVEI 1 (QUOTE (NOT FOUND /- THFAIL)))
18100 (CALL 17 (E THERT))
18200 (JRST 0 TAG10)
18300 TAG23 (HLRZ@ 2 1)
18400 (HLRZ@ 2 2)
18500 (CAMN 2 0 P)
18600 (JRST 0 TAG2)
18700 TAG1 (HRRZ@ 1 -2 P)
18800 (MOVEM 1 -2 P)
18900 (JRST 0 TAG0)
19000 TAG2 (HLRZ@ 1 -3 P)
19100 (CAIE 1 (QUOTE THTAG))
19200 (JRST 0 TAG25)
19300 (HLRZ@ 1 -2 P)
19400 (HRRZ@ 2 1)
19500 (HRRZ@ 2 2)
19600 (HRRZ@ 2 2)
19700 (HLRZ@ 2 2)
19800 (HRRZ@ 1 -3 P)
19900 (HLRZ@ 1 1)
20000 (CALL 2 (E MEMQ))
20100 (JUMPN 1 TAG3)
20200 (JRST 0 TAG1)
20300 TAG25 (HRRZ@ 1 -3 P)
20400 (JUMPE 1 TAG31)
20500 (HRRZ@ 1 -3 P)
20600 (HLRZ@ 1 1)
20700 TAG31 (CALL 1 (E NCONS))
20800 (MOVEI 2 (QUOTE T))
20900 (CALL 2 (E XCONS))
21000 (MOVEI 2 (QUOTE THFAIL?))
21100 (CALL 2 (E XCONS))
21200 (HRRZ@ 2 -2 P)
21300 (CALL 2 (E CONS))
21400 (HRRM@ 1 -2 P)
21500 (MOVEI 1 (QUOTE THFAIL))
21600 (MOVEM 1 (SPECIAL THMESSAGE))
21700 (JRST 0 TAG11)
21800 TAG3 (HLRZ@ 1 -2 P)
21900 (CALL 1 (E CADDR))
22000 (MOVEM 1 -1 P)
22100 TAG4 (HLRZ@ 1 -1 P)
22200 (JUMPE 1 TAG1)
22300 (HRRZ@ 2 -3 P)
22400 (HLRZ@ 2 2)
22500 (HLRZ@ 3 -1 P)
22600 (HRRZ@ 3 3)
22700 (HRRZ@ 3 3)
22800 (HLRZ@ 3 3)
22900 (HLRZ@ 3 3)
23000 (CAME 3 2)
23100 (JRST 0 TAG34)
23200 (HLRZ@ 1 -1 P)
23300 (PUSH P 1)
23400 (HRRZ@ 4 -4 P)
23500 (HRRZ@ 4 4)
23600 (JUMPE 4 TAG36)
23700 (HRRZ@ 1 -4 P)
23800 (CALL 1 (E CADR))
23900 (JRST 0 TAG35)
24000 TAG36 (MOVE 1 4)
24100 TAG35 (CALL 1 (E NCONS))
24200 (MOVEI 2 (QUOTE T))
24300 (CALL 2 (E XCONS))
24400 (MOVEI 2 (QUOTE THFAIL?))
24500 (CALL 2 (E XCONS))
24600 (HLRZ@ 2 -2 P)
24700 (HLRZ@ 2 2)
24800 (CALL 2 (E CONS))
24900 (HRLM@ 1 0 P)
25000 (MOVEI 1 (QUOTE THFAIL))
25100 (MOVEM 1 (SPECIAL THMESSAGE))
25200 (SUB P (C 0 0 1 1))
25300 (JRST 0 TAG11)
25400 TAG34 (HRRZ@ 1 -1 P)
25500 (MOVEM 1 -1 P)
25600 (JRST 0 TAG4)
25700 TAG11 (MOVEI 1 (QUOTE NIL))
25800 TAG10 (SUB P (C 0 0 3 3))
25900 TAG6 (SUB P (C 0 0 1 1))
26000 (POPJ P)
26100 NIL
26200
26300
26400 (LAP THFAIL? SUBR)
26500 (PUSH P 1)
26600 (PUSH P 2)
26700 (MOVE 1 2)
26800 (CALL 1 (E NCONS))
26900 (MOVE 2 -1 P)
27000 (CALL 2 (E XCONS))
27100 (MOVEI 2 (QUOTE THFAIL?))
27200 (CALL 2 (E XCONS))
27300 (MOVE 2 (SPECIAL THTREE))
27400 (CALL 2 (E CONS))
27500 (MOVEM 1 (SPECIAL THTREE))
27600 (MOVE 1 (SPECIAL THVALUE))
27700 (SUB P (C 0 0 2 2))
27800 (POPJ P)
27900 NIL
28000
28100
28200 (LAP THFAIL?F SUBR)
28300 (HLRZ@ 1 (SPECIAL THTREE))
28400 (CALL 1 (E CADR))
28500 (CALL 1 (E *EVAL))
28600 (JUMPE 1 TAG1)
28700 (CLEARM 1 (SPECIAL THMESSAGE))
28800 (HLRZ@ 1 (SPECIAL THTREE))
28900 (CALL 1 (E CADDR))
29000 (CALL 1 (E *EVAL))
29100 (PUSH P 1)
29200 (CALL 0 (E THPOPT))
29300 (POP P 1)
29400 (JRST 0 TAG0)
29500 TAG1 (CALL 0 (E THPOPT))
29600 (MOVEI 1 (QUOTE NIL))
29700 TAG2
29800 TAG0 (POPJ P)
29900 NIL
30000
30100
30200 (LAP THFAIL?T SUBR)
30300 (CALL 0 (E THPOPT))
30400 (MOVE 1 (SPECIAL THVALUE))
30500 (POPJ P)
30600 NIL
30700
30800
30900 (LAP THFINALIZE FSUBR)
31000 (PUSH P 1)
31100 (PUSH P (C 0 0 (QUOTE NIL) 0))
31200 (PUSH P (C 0 0 (QUOTE NIL) 0))
31300 (PUSH P (C 0 0 (QUOTE NIL) 0))
31400 (JUMPN 1 TAG10)
31500 (MOVEI 1 (QUOTE (BAD CALL /- THFINALIZE)))
31600 (CALL 17 (E THERT))
31700 (JRST 0 TAG7)
31800 TAG10 (HLRZ@ 2 1)
31900 (CAIE 2 (QUOTE THTAG))
32000 (JRST 0 TAG11)
32100 (CALL 1 (E CADR))
32200 (MOVEM 1 -1 P)
32300 (JRST 0 TAG7)
32400 TAG11 (HLRZ@ 3 1)
32500 (CAIE 3 (QUOTE THEOREM))
32600 (JRST 0 TAG12)
32700 (MOVEI 1 (QUOTE THPROG))
32800 (CALL 1 (E NCONS))
32900 (MOVEM 1 -3 P)
33000 TAG12
33100 TAG7 (MOVE 2 (SPECIAL THTREE))
33200 (MOVEI 1 (QUOTE NIL))
33300 (CALL 2 (E CONS))
33400 (MOVEM 1 0 P)
33500 (MOVEM 1 (SPECIAL THTREE))
33600 TAG0 (HRRZ@ 1 0 P)
33700 (HLRZ@ 1 1)
33800 (MOVEM 1 -2 P)
33900 (HRRZ@ 2 0 P)
34000 (JUMPN 2 TAG14)
34100 (MOVE 1 -3 P)
34200 (CALL 1 (E PRINT))
34300 (MOVEI 1 (QUOTE (OVERPOP /- THFINALIZE)))
34400 (CALL 17 (E THERT))
34500 (JRST 0 TAG13)
34600 TAG14 (MOVE 1 -1 P)
34700 (JUMPE 1 TAG16)
34800 (HLRZ@ 3 -2 P)
34900 (CAIE 3 (QUOTE THPROG))
35000 (JRST 0 TAG20)
35100 (HRRZ@ 2 -2 P)
35200 (HRRZ@ 2 2)
35300 (HRRZ@ 2 2)
35400 (HLRZ@ 2 2)
35500 (CALL 2 (E MEMQ))
35600 (JRST 0 TAG17)
35700 TAG20 (MOVEI 1 (QUOTE NIL))
35800 TAG17
35900 TAG16 (JUMPN 1 TAG1)
36000 (HLRZ@ 2 -2 P)
36100 (CAIE 2 (QUOTE THPROG))
36200 (TDZA 1 1)
36300 (MOVEI 1 (QUOTE T))
36400 (JUMPN 1 TAG23)
36500 (HLRZ@ 3 -2 P)
36600 (CAIE 3 (QUOTE THAND))
36700 (TDZA 1 1)
36800 (MOVEI 1 (QUOTE T))
36900 TAG23 (JUMPE 1 TAG22)
37000 (HRRZ@ 1 -2 P)
37100 (HRRZ@ 1 1)
37200 (HRRZS@ 0 1)
37300 (HRRZ@ 1 0 P)
37400 (MOVEM 1 0 P)
37500 (JRST 0 TAG13)
37600 TAG22 (HLRZ@ 2 -2 P)
37700 (CAIE 2 (QUOTE THREMBIND))
37800 (JRST 0 TAG24)
37900 (HRRZ@ 1 0 P)
38000 (MOVEM 1 0 P)
38100 (JRST 0 TAG13)
38200 TAG24 (HRRZ@ 3 0 P)
38300 (HRRZ@ 3 3)
38400 (HRRM@ 3 0 P)
38500 (MOVE 1 0 P)
38600 TAG13 (HLRZ@ 1 -3 P)
38700 (HLRZ@ 2 -2 P)
38800 (CAMN 2 1)
38900 (JRST 0 TAG3)
39000 (JRST 0 TAG0)
39100 TAG1 (HRRZ@ 1 -2 P)
39200 (HRRZ@ 1 1)
39300 (MOVEM 1 -2 P)
39400 TAG2 (HLRZ@ 1 -2 P)
39500 (JUMPN 1 TAG27)
39600 (HRRZ@ 1 0 P)
39700 (MOVEM 1 0 P)
39800 (JRST 0 TAG0)
39900 TAG27 (HLRZ@ 2 -2 P)
40000 (HLRZ@ 2 2)
40100 (HRRZ@ 2 2)
40200 (HRRZ@ 2 2)
40300 (HLRZ@ 2 2)
40400 (HLRZ@ 2 2)
40500 (CAMN 2 -1 P)
40600 (JRST 0 TAG3)
40700 (HLRZ@ 1 -2 P)
40800 (HRRZ@ 1 1)
40900 (HRLM@ 1 -2 P)
41000 (JRST 0 TAG2)
41100 TAG3 (HRRZ@ 1 (SPECIAL THTREE))
41200 (MOVEM 1 (SPECIAL THTREE))
41300 (MOVEI 1 (QUOTE T))
41400 (SUB P (C 0 0 4 4))
41500 (POPJ P)
41600 NIL
41700
41800
41900 (LAP THFIND FSUBR)
42000 (PUSH P 1)
42100 (CALL 1 (E CADDR))
42200 (CALL 1 (E THBIND))
42300 (HLRZ@ 2 0 P)
42400 (CAIE 2 (QUOTE ALL))
42500 (JRST 0 TAG4)
42600 (MOVEI 1 (QUOTE (1 NIL NIL)))
42700 (JRST 0 TAG3)
42800 TAG4 (HLRZ@ 1 0 P)
42900 (CALL 1 (E ATOM))
43000 (JUMPE 1 TAG5)
43100 (MOVEI 1 (QUOTE T))
43200 (CALL 1 (E NCONS))
43300 (HLRZ@ 2 0 P)
43400 (CALL 2 (E XCONS))
43500 (HLRZ@ 2 0 P)
43600 (CALL 2 (E XCONS))
43700 (JRST 0 TAG3)
43800 TAG5 (HLRZ@ 1 0 P)
43900 TAG3 (PUSH P 1)
44000 (MOVEI 1 (QUOTE 0))
44100 (CALL 1 (E NCONS))
44200 (PUSH P 1)
44300 (HRRZ@ 1 -2 P)
44400 (HLRZ@ 1 1)
44500 (CALL 1 (E NCONS))
44600 (POP P 2)
44700 (CALL 2 (E XCONS))
44800 (POP P 2)
44900 (CALL 2 (E XCONS))
45000 (MOVEI 2 (QUOTE THFIND))
45100 (CALL 2 (E XCONS))
45200 (MOVE 2 (SPECIAL THTREE))
45300 (CALL 2 (E CONS))
45400 (MOVEM 1 (SPECIAL THTREE))
45500 (HRRZ@ 1 0 P)
45600 (HRRZ@ 1 1)
45700 (CALL 1 (E NCONS))
45800 (MOVEI 2 (QUOTE NIL))
45900 (CALL 2 (E XCONS))
46000 (HRRZ@ 2 0 P)
46100 (HRRZ@ 2 2)
46200 (CALL 2 (E XCONS))
46300 (MOVEI 2 (QUOTE THPROG))
46400 (CALL 2 (E XCONS))
46500 (MOVE 2 (SPECIAL THTREE))
46600 (CALL 2 (E CONS))
46700 (MOVEM 1 (SPECIAL THTREE))
46800 (SUB P (C 0 0 1 1))
46900 (JCALL 0 (E THPROGA))
47000 NIL
47100
47200
47300 (LAP THFINDF SUBR)
47400 (CLEARM 1 (SPECIAL THBRANCH))
47500 (HLRZ@ 1 (SPECIAL THTREE))
47600 (HRRZ@ 1 1)
47700 (MOVEM 1 (SPECIAL THXX))
47800 (HLRZ@ 2 1)
47900 (HLRZ@ 2 2)
48000 (CALL 1 (E CAADR))
48100 (CALL 2 (E *LESS))
48200 (JUMPE 1 TAG4)
48300 (CALL 0 (E THPOPT))
48400 (MOVEI 1 (QUOTE NIL))
48500 (JRST 0 TAG3)
48600 TAG4 (CALL 0 (E THPOPT))
48700 (HRRZ@ 1 (SPECIAL THXX))
48800 (CALL 1 (E CDAR))
48900 TAG5
49000 TAG3 (POPJ P)
49100 NIL
49200
49300
49400 (LAP THFINDT SUBR)
49500 (PUSH P (C 0 0 (QUOTE NIL) 0))
49600 (PUSH P (C 0 0 (QUOTE NIL) 0))
49700 (PUSH P (C 0 0 (QUOTE NIL) 0))
49800 (PUSH P (C 0 0 (QUOTE NIL) 0))
49900 (HLRZ@ 1 (SPECIAL THTREE))
50000 (HRRZ@ 1 1)
50100 (MOVEM 1 -3 P)
50200 (CALL 1 (E CADDR))
50300 (MOVEM 1 -2 P)
50400 (CALL 1 (E THVAR))
50500 (JUMPE 1 TAG7)
50600 (MOVE 1 -2 P)
50700 (CALL 1 (E THVARS2))
50800 (JRST 0 TAG6)
50900 TAG7 (MOVE 1 -2 P)
51000 (CALL 1 (E THVARSUBST))
51100 TAG6 (HRRZ@ 2 -3 P)
51200 (HLRZ@ 2 2)
51300 (MOVEM 1 0 P)
51400 (CALL 2 (E MEMBER))
51500 (JUMPE 1 TAG5)
51600 (JRST 0 TAG0)
51700 TAG5 (HRRZ@ 2 -3 P)
51800 (HLRZ@ 2 2)
51900 (HRRZ@ 2 2)
52000 (MOVE 1 0 P)
52100 (CALL 2 (E CONS))
52200 (PUSH P 1)
52300 (HRRZ@ 1 -4 P)
52400 (HLRZ@ 1 1)
52500 (POP P 2)
52600 (HRRM@ 2 1)
52700 (HRRZ@ 1 -3 P)
52800 (CALL 1 (E CAAR))
52900 (CALL 1 (E ADD1))
53000 (HLRZ@ 2 -3 P)
53100 (HRRZ@ 2 2)
53200 (HLRZ@ 2 2)
53300 (MOVEM 1 -1 P)
53400 (CAME 1 2)
53500 (JRST 0 TAG12)
53600 (CLEARM 1 (SPECIAL THBRANCH))
53700 (HLRZ@ 3 -3 P)
53800 (HRRZ@ 3 3)
53900 (HRRZ@ 3 3)
54000 (HLRZ@ 3 3)
54100 (JUMPE 3 TAG15)
54200 (HRRZ@ 1 -3 P)
54300 (CALL 1 (E CDAR))
54400 (JRST 0 TAG14)
54500 TAG15 (MOVE 1 3)
54600 TAG14 (PUSH P 1)
54700 (CALL 0 (E THPOPT))
54800 (POP P 1)
54900 (JRST 0 TAG1)
55000 TAG12 (HRRZ@ 1 -3 P)
55100 (HLRZ@ 1 1)
55200 (MOVE 2 -1 P)
55300 (HRLM@ 2 1)
55400 TAG0 (MOVE 1 (SPECIAL THBRANCH))
55500 (MOVEM 1 (SPECIAL THTREE))
55600 (MOVE 1 (SPECIAL THABRANCH))
55700 (MOVEM 1 (SPECIAL THALIST))
55800 (CLEARM 1 (SPECIAL THBRANCH))
55900 (MOVEI 1 (QUOTE NIL))
56000 TAG1 (SUB P (C 0 0 4 4))
56100 (POPJ P)
56200 NIL
56300
56400
56500 (LAP THFLUSHG0421G0422G0423 SUBR)
56600 (MOVE 2 (SPECIAL B))
56700 (JCALL 2 (E REMPROP))
56800 NIL
56900
57000
57100 (LAP THFLUSHG0421G0422 SUBR)
57200 (PUSH P 1)
57300 (PUSH P (C 0 0 TAG0 0))
57400 (PUSH P (C 0 0 (QUOTE THFLUSHG0421G0422G0423) 0))
57500 (PUSH P 1)
57600 (MOVNI 6 2)
57700 (JCALL 16 (E MAPC))
57800 TAG0 (SUB P (C 0 0 1 1))
57900 (POPJ P)
58000 NIL
58100
58200
58300 (LAP THFLUSHG0421 SUBR)
58400 (JSP 6 SPECBIND)
58500 (0 1 (SPECIAL B))
58600 (PUSH P (C 0 0 TAG0 0))
58700 (PUSH P (C 0 0 (QUOTE THFLUSHG0421G0422) 0))
58800 (PUSH P (SPECIAL OBLIST))
58900 (MOVNI 6 2)
59000 (JCALL 16 (E MAPC))
59100 TAG0 (JRST 0 SPECSTR)
59200 NIL
59300
59400
59500 (LAP THFLUSH FSUBR)
59600 (PUSH P 1)
59700 (PUSH P (C 0 0 TAG0 0))
59800 (PUSH P (C 0 0 (QUOTE THFLUSHG0421) 0))
59900 (PUSH P 1)
60000 (MOVNI 6 2)
60100 (JCALL 16 (E MAPC))
60200 TAG0 (SUB P (C 0 0 1 1))
60300 (POPJ P)
60400 NIL
60500
60600
60700 (LAP THGALG0424 SUBR)
60800 (MOVE 1 (SPECIAL THXX))
60900 (CALL 1 (E PRINT))
61000 (MOVEI 1 (QUOTE (THUNBOUND THGAL)))
61100 (JCALL 17 (E THERT))
61200 NIL
61300
61400
61500 (LAP THGAL SUBR)
61600 (PUSH P 1)
61700 (PUSH P 2)
61800 (MOVEM 1 (SPECIAL THXX))
61900 (MOVEI 3 (QUOTE THGALG0424))
62000 (HRRZ@ 1 -1 P)
62100 (HLRZ@ 1 1)
62200 (SUB P (C 0 0 2 2))
62300 (JCALL 3 (E SASSQ))
62400 NIL
62500
62600
62700 (LAP THGO FSUBR)
62800 (PUSH P 1)
62900 (PUSH P (C 0 0 TAG0 0))
63000 (PUSH P (C 0 0 (QUOTE THSUCCEED) 0))
63100 (MOVEI 2 (QUOTE THTAG))
63200 (CALL 2 (E XCONS))
63300 (PUSH P 1)
63400 (MOVNI 6 2)
63500 (JCALL 16 (E APPLY))
63600 TAG0 (SUB P (C 0 0 1 1))
63700 (POPJ P)
63800 NIL
63900
64000
64100 (LAP THGOAL FSUBR)
64200 (JSP 6 SPECBIND)
64300 (0 0 (SPECIAL THY))
64400 (0 0 (SPECIAL THY1))
64500 (0 0 (SPECIAL THZ))
64600 (0 0 (SPECIAL THZ1))
64700 (0 0 (SPECIAL THA2))
64800 (0 0 (SPECIAL THV))
64900 (PUSH P 1)
65000 (MOVEI 1 (QUOTE (THV)))
65100 (MOVEM 1 (SPECIAL THV))
65200 (HLRZ@ 1 0 P)
65300 (CALL 1 (E THVARSUBST))
65400 (MOVEM 1 (SPECIAL THA2))
65500 (HRRZ@ 1 0 P)
65600 (PUSH P 1)
65700 (PUSH P (C 0 0 (QUOTE NIL) 0))
65800 (JUMPE 1 TAG6)
65900 (TDZA 1 1)
66000 TAG6 (MOVEI 1 (QUOTE T))
66100 (JUMPN 1 TAG5)
66200 (HLRZ@ 2 -1 P)
66300 (HLRZ@ 2 2)
66400 (CAIE 2 (QUOTE THNODB))
66500 (JRST 0 TAG12)
66600 (HRRZ@ 1 -1 P)
66700 (MOVEM 1 -1 P)
66800 (MOVEI 1 (QUOTE T))
66900 (JRST 0 TAG11)
67000 TAG12 (MOVEI 1 (QUOTE NIL))
67100 TAG11 (JUMPN 1 TAG10)
67200 (HLRZ@ 2 -1 P)
67300 (HLRZ@ 2 2)
67400 (CAIE 2 (QUOTE THDBF))
67500 (JRST 0 TAG15)
67600 (TDZA 1 1)
67700 TAG15 (MOVEI 1 (QUOTE T))
67800 (JRST 0 TAG7)
67900 TAG10 (MOVEI 1 (QUOTE NIL))
68000 TAG7
68100 TAG5 (JUMPE 1 TAG4)
68200 (MOVEI 1 (QUOTE T))
68300 (MOVEM 1 (SPECIAL THY1))
68400 (MOVE 1 (SPECIAL THA2))
68500 (CALL 1 (E THMATCHDB))
68600 (MOVEM 1 (SPECIAL THY))
68700 (CALL 1 (E NCONS))
68800 (MOVEI 2 (QUOTE THTRUE))
68900 (CALL 2 (E XCONS))
69000 (MOVEI 2 (QUOTE THDBF))
69100 (CALL 2 (E XCONS))
69200 (CALL 1 (E NCONS))
69300 (MOVEM 1 0 P)
69400 TAG4 (PUSH P (C 0 0 TAG16 0))
69500 (PUSH P -1 P)
69600 (PUSH P (C 0 0 TAG17 0))
69700 (PUSH P (C 0 0 (QUOTE THTRY) 0))
69800 (PUSH P -5 P)
69900 (MOVNI 6 2)
70000 (JCALL 16 (E MAPCAR))
70100 TAG17 (PUSH P 1)
70200 (MOVNI 6 2)
70300 (JCALL 16 (E NCONC))
70400 TAG16 (MOVEM 1 0 P)
70500 (MOVE 1 (SPECIAL THTRACE))
70600 (JUMPE 1 TAG21)
70700 (MOVE 2 (SPECIAL THA2))
70800 (MOVEI 1 (QUOTE THGOAL))
70900 (CALL 2 (E THTRACES))
71000 TAG21 (MOVE 1 0 P)
71100 (CALL 1 (E NCONS))
71200 (MOVE 2 (SPECIAL THA2))
71300 (CALL 2 (E XCONS))
71400 (MOVEI 2 (QUOTE THGOAL))
71500 (CALL 2 (E XCONS))
71600 (MOVE 2 (SPECIAL THTREE))
71700 (CALL 2 (E CONS))
71800 (MOVEM 1 (SPECIAL THTREE))
71900 (MOVEI 1 (QUOTE NIL))
72000 (SUB P (C 0 0 3 3))
72100 (JRST 0 SPECSTR)
72200 NIL
72300
72400
72500 (LAP THGOALF SUBR)
72600 (CALL 0 (E THTRY1))
72700 (JUMPN 1 TAG0)
72800 (CALL 0 (E THPOPT))
72900 (JUMPE 1 TAG1)
73000 (MOVEI 1 (QUOTE NIL))
73100 TAG1
73200 TAG0 (POPJ P)
73300 NIL
73400
73500
73600 (LAP THGOALT SUBR)
73700 (MOVE 1 (SPECIAL THVALUE))
73800 (CAIE 1 (QUOTE THNOVAL))
73900 (JRST 0 TAG1)
74000 (HLRZ@ 1 (SPECIAL THTREE))
74100 (CALL 1 (E CADR))
74200 (CALL 1 (E THVARSUBST))
74300 (JRST 0 TAG0)
74400 TAG1
74500 TAG0 (PUSH P 1)
74600 (CALL 0 (E THPOPT))
74700 (POP P 1)
74800 (POPJ P)
74900 NIL
75000
75100
75200 (LAP THIP SUBR)
75300 (PUSH P 1)
75400 (MOVE 1 (SPECIAL THNF))
75500 (CALL 1 (E ADD1))
75600 (MOVEM 1 (SPECIAL THNF))
75700 (PUSH P (C 0 0 (QUOTE NIL) 0))
75800 (PUSH P (C 0 0 (QUOTE NIL) 0))
75900 (PUSH P (C 0 0 (QUOTE NIL) 0))
76000 (PUSH P (C 0 0 (QUOTE NIL) 0))
76100 (PUSH P (C 0 0 (QUOTE NIL) 0))
76200 (MOVE 1 -5 P)
76300 (CALL 1 (E ATOM))
76400 (JUMPE 1 TAG6)
76500 (MOVE 2 -5 P)
76600 (CAIN 2 (QUOTE ?))
76700 (JRST 0 TAG10)
76800 (MOVE 1 2)
76900 (CALL 1 (E NUMBERP))
77000 (JUMPE 1 TAG12)
77100 (TDZA 1 1)
77200 TAG12 (MOVEI 1 (QUOTE T))
77300 (JRST 0 TAG7)
77400 TAG10 (MOVEI 1 (QUOTE NIL))
77500 TAG7
77600 TAG6 (JUMPE 1 TAG4)
77700 (MOVE 1 -5 P)
77800 (MOVEM 1 -4 P)
77900 (JRST 0 TAG3)
78000 TAG4 (MOVE 2 -5 P)
78100 (CAIE 2 (QUOTE ?))
78200 (TDZA 1 1)
78300 (MOVEI 1 (QUOTE T))
78400 (JUMPN 1 TAG14)
78500 (MOVEI 2 (QUOTE (THV THNV)))
78600 (HLRZ@ 1 -5 P)
78700 (CALL 2 (E MEMQ))
78800 TAG14 (JUMPE 1 TAG13)
78900 (MOVE 1 (SPECIAL THFST))
79000 (JUMPE 1 TAG16)
79100 (MOVEI 1 (QUOTE THVRB))
79200 (JRST 0 TAG0)
79300 TAG16 (MOVEI 1 (QUOTE THVRB))
79400 (MOVEM 1 -4 P)
79500 (JRST 0 TAG3)
79600 TAG13 (MOVEI 1 (QUOTE THVRB))
79700 (JRST 0 TAG0)
79800 TAG3 (MOVE 2 (SPECIAL THWH))
79900 (MOVE 1 -4 P)
80000 (CALL 2 (E GET))
80100 (MOVEM 1 0 P)
80200 (JUMPN 1 TAG20)
80300 (MOVE 1 (SPECIAL THTTL))
80400 (CALL 1 (E NCONS))
80500 (MOVEI 2 (QUOTE 1))
80600 (CALL 2 (E XCONS))
80700 (MOVE 2 (SPECIAL THLAS))
80800 (CALL 2 (E XCONS))
80900 (CALL 1 (E NCONS))
81000 (MOVE 2 (SPECIAL THNF))
81100 (CALL 2 (E XCONS))
81200 (CALL 1 (E NCONS))
81300 (MOVEI 2 (QUOTE NIL))
81400 (CALL 2 (E XCONS))
81500 (MOVE 3 (SPECIAL THWH))
81600 (MOVE 2 1)
81700 (MOVE 1 -4 P)
81800 (CALL 3 (E PUTPROP))
81900 (JRST 0 TAG17)
82000 TAG20 (CAIE 1 (QUOTE THNOHASH))
82100 (JRST 0 TAG21)
82200 (MOVEI 1 (QUOTE THBQF))
82300 (JRST 0 TAG0)
82400 TAG21 (HRRZ@ 2 1)
82500 (MOVE 1 (SPECIAL THNF))
82600 (CALL 2 (E ASSQ))
82700 (MOVEM 1 -3 P)
82800 (JUMPN 1 TAG22)
82900 (PUSH P (C 0 0 TAG23 0))
83000 (PUSH P -1 P)
83100 (MOVE 1 (SPECIAL THTTL))
83200 (CALL 1 (E NCONS))
83300 (MOVEI 2 (QUOTE 1))
83400 (CALL 2 (E XCONS))
83500 (MOVE 2 (SPECIAL THLAS))
83600 (CALL 2 (E XCONS))
83700 (CALL 1 (E NCONS))
83800 (MOVE 2 (SPECIAL THNF))
83900 (CALL 2 (E XCONS))
84000 (CALL 1 (E NCONS))
84100 (PUSH P 1)
84200 (MOVNI 6 2)
84300 (JCALL 16 (E NCONC))
84400 TAG23 (JRST 0 TAG17)
84500 TAG22 (HRRZ@ 2 1)
84600 (MOVE 1 (SPECIAL THLAS))
84700 (CALL 2 (E ASSQ))
84800 (MOVEM 1 -1 P)
84900 (JUMPN 1 TAG24)
85000 (PUSH P (C 0 0 TAG25 0))
85100 (PUSH P -4 P)
85200 (MOVE 1 (SPECIAL THTTL))
85300 (CALL 1 (E NCONS))
85400 (MOVEI 2 (QUOTE 1))
85500 (CALL 2 (E XCONS))
85600 (MOVE 2 (SPECIAL THLAS))
85700 (CALL 2 (E XCONS))
85800 (CALL 1 (E NCONS))
85900 (PUSH P 1)
86000 (MOVNI 6 2)
86100 (JCALL 16 (E NCONC))
86200 TAG25 (JRST 0 TAG17)
86300 TAG24 (MOVE 1 (SPECIAL THFST))
86400 (JUMPN 1 TAG30)
86500 (MOVE 1 (SPECIAL THFSTP))
86600 TAG30 (JUMPE 1 TAG27)
86700 (MOVE 2 (SPECIAL THWH))
86800 (CAIE 2 (QUOTE THASSERTION))
86900 (JRST 0 TAG33)
87000 (HRRZ@ 2 -1 P)
87100 (HRRZ@ 2 2)
87200 (MOVE 1 (SPECIAL THTT))
87300 (CALL 2 (E ASSOC))
87400 (JRST 0 TAG32)
87500 TAG33 (HRRZ@ 2 -1 P)
87600 (HRRZ@ 2 2)
87700 (MOVE 1 (SPECIAL THTT))
87800 (CALL 2 (E MEMQ))
87900 TAG34
88000 TAG32
88100 TAG27 (JUMPN 1 TAG1)
88200 (HRRZ@ 1 -1 P)
88300 (HRRZ@ 1 1)
88400 (MOVEM 1 -2 P)
88500 (JUMPE 1 TAG36)
88600 (HRRZ@ 1 -1 P)
88700 (PUSH P 1)
88800 (HRRZ@ 1 -2 P)
88900 (HLRZ@ 1 1)
89000 (CALL 1 (E ADD1))
89100 (HRLM@ 1 0 P)
89200 (HRRZ@ 1 -2 P)
89300 (MOVEM 1 0 P)
89400 (PUSH P (C 0 0 TAG37 0))
89500 (MOVE 1 (SPECIAL THTTL))
89600 (CALL 1 (E NCONS))
89700 (PUSH P 1)
89800 (PUSH P -5 P)
89900 (MOVNI 6 2)
90000 (JCALL 16 (E NCONC))
90100 TAG37 (HRRM@ 1 0 P)
90200 (SUB P (C 0 0 1 1))
90300 TAG36
90400 TAG17 (MOVEI 1 (QUOTE THOK))
90500 (JRST 0 TAG0)
90600 TAG1 (MOVEI 1 (QUOTE NIL))
90700 TAG0 (SUB P (C 0 0 6 6))
90800 (POPJ P)
90900 NIL
91000
91100
91200 (LAP THMATCH2 SUBR)
91300 (JSP 6 SPECBIND)
91400 (0 1 (SPECIAL THX))
91500 (0 2 (SPECIAL THY))
91600 (HLRZ@ 3 1)
91700 (CAIE 3 (QUOTE THEV))
91800 (JRST 0 TAG4)
91900 (MOVE 2 (SPECIAL THOLIST))
92000 (CALL 1 (E CADR))
92100 (CALL 2 (E THVAL))
92200 (MOVEM 1 (SPECIAL THX))
92300 TAG4 (HLRZ@ 1 (SPECIAL THY))
92400 (CAIE 1 (QUOTE THEV))
92500 (JRST 0 TAG7)
92600 (MOVE 2 (SPECIAL THALIST))
92700 (HRRZ@ 1 (SPECIAL THY))
92800 (HLRZ@ 1 1)
92900 (CALL 2 (E THVAL))
93000 (MOVEM 1 (SPECIAL THY))
93100 TAG7 (MOVE 1 (SPECIAL THX))
93200 (CAIE 1 (QUOTE ?))
93300 (TDZA 1 1)
93400 (MOVEI 1 (QUOTE T))
93500 (JUMPN 1 TAG11)
93600 (MOVE 2 (SPECIAL THY))
93700 (CAIE 2 (QUOTE ?))
93800 (TDZA 1 1)
93900 (MOVEI 1 (QUOTE T))
94000 (JUMPN 1 TAG11)
94100 (MOVEI 2 (QUOTE (THV THNV THRESTRICT)))
94200 (HLRZ@ 1 (SPECIAL THX))
94300 (CALL 2 (E MEMQ))
94400 (JUMPN 1 TAG13)
94500 (MOVEI 2 (QUOTE (THV THNV THRESTRICT)))
94600 (HLRZ@ 1 (SPECIAL THY))
94700 (CALL 2 (E MEMQ))
94800 TAG13 (JUMPE 1 TAG12)
94900 (MOVE 1 (SPECIAL THX))
95000 (CALL 1 (E THVAR))
95100 (JUMPE 1 TAG15)
95200 (MOVE 2 (SPECIAL THOLIST))
95300 (MOVE 1 (SPECIAL THX))
95400 (CALL 2 (E THGAL))
95500 (JRST 0 TAG14)
95600 TAG15 (HLRZ@ 2 (SPECIAL THX))
95700 (CAIE 2 (QUOTE THRESTRICT))
95800 (JRST 0 TAG16)
95900 (HRRZ@ 3 (SPECIAL THX))
96000 (HLRZ@ 3 3)
96100 (CAIE 3 (QUOTE ?))
96200 (JRST 0 TAG20)
96300 (EXCH 2 1)
96400 (HRRZ@ 1 (SPECIAL THX))
96500 (HRRZ@ 1 1)
96600 (CALL 2 (E *APPEND))
96700 (MOVEI 2 (QUOTE THUNASSIGNED))
96800 (CALL 2 (E XCONS))
96900 (MOVEI 2 (QUOTE ?))
97000 (CALL 2 (E XCONS))
97100 (PUSH P 1)
97200 (MOVEI 1 (QUOTE (THNV ?)))
97300 (MOVEM 1 (SPECIAL THX))
97400 (POP P 1)
97500 (JRST 0 TAG17)
97600 TAG20 (MOVE 2 (SPECIAL THOLIST))
97700 (HRRZ@ 1 (SPECIAL THX))
97800 (HLRZ@ 1 1)
97900 (CALL 2 (E THGAL))
98000 (PUSH P 1)
98100 (HRRZ@ 1 1)
98200 (HRRZ@ 2 (SPECIAL THX))
98300 (HRRZ@ 2 2)
98400 (PUSH P 1)
98500 (HRRZ@ 1 -1 P)
98600 (HRRZ@ 1 1)
98700 (CALL 2 (E THUNION))
98800 (MOVE 2 1)
98900 (POP P 1)
99000 (CALL 2 (E THRPLACDS))
99100 (HRRZ@ 1 (SPECIAL THX))
99200 (HLRZ@ 1 1)
99300 (MOVEM 1 (SPECIAL THX))
99400 (MOVE 1 0 P)
99500 (SUB P (C 0 0 1 1))
99600 TAG21
99700 TAG17
99800 TAG16
99900 TAG14 (PUSH P 1)
00100 (MOVE 1 (SPECIAL THY))
00200 (CALL 1 (E THVAR))
00300 (JUMPE 1 TAG27)
00400 (MOVE 2 (SPECIAL THALIST))
00500 (MOVE 1 (SPECIAL THY))
00600 (CALL 2 (E THGAL))
00700 (MOVE 2 1)
00800 (JRST 0 TAG26)
00900 TAG27 (HLRZ@ 2 (SPECIAL THY))
01000 (CAIE 2 (QUOTE THRESTRICT))
01100 (JRST 0 TAG30)
01200 (HRRZ@ 3 (SPECIAL THY))
01300 (HLRZ@ 3 3)
01400 (CAIE 3 (QUOTE ?))
01500 (JRST 0 TAG32)
01600 (EXCH 2 1)
01700 (HRRZ@ 1 (SPECIAL THY))
01800 (HRRZ@ 1 1)
01900 (CALL 2 (E *APPEND))
02000 (MOVEI 2 (QUOTE THUNASSIGNED))
02100 (CALL 2 (E XCONS))
02200 (MOVEI 2 (QUOTE ?))
02300 (CALL 2 (E XCONS))
02400 (MOVEI 2 (QUOTE (THNV ?)))
02500 (MOVEM 2 (SPECIAL THY))
02600 (EXCH 2 1)
02700 (JRST 0 TAG31)
02800 TAG32 (MOVE 2 (SPECIAL THALIST))
02900 (HRRZ@ 1 (SPECIAL THY))
03000 (HLRZ@ 1 1)
03100 (CALL 2 (E THGAL))
03200 (PUSH P 1)
03300 (HRRZ@ 1 1)
03400 (HRRZ@ 2 (SPECIAL THY))
03500 (HRRZ@ 2 2)
03600 (PUSH P 1)
03700 (HRRZ@ 1 -1 P)
03800 (HRRZ@ 1 1)
03900 (CALL 2 (E THUNION))
04000 (MOVE 2 1)
04100 (POP P 1)
04200 (CALL 2 (E THRPLACDS))
04300 (HRRZ@ 2 (SPECIAL THY))
04400 (HLRZ@ 2 2)
04500 (MOVEM 2 (SPECIAL THY))
04600 (MOVE 2 0 P)
04700 (SUB P (C 0 0 1 1))
04800 TAG33
04900 TAG31 (JRST 0 TAG26)
05000 TAG30 (EXCH 2 1)
05100 TAG26 (PUSH P 2)
05200 (MOVE 1 -1 P)
05300 (JUMPE 1 TAG43)
05400 (HLRZ@ 3 (SPECIAL THX))
05500 (CAIE 3 (QUOTE THNV))
05600 (TDZA 1 1)
05700 (MOVEI 1 (QUOTE T))
05800 (JUMPN 1 TAG46)
05900 (HLRZ@ 4 (SPECIAL THX))
06000 (CAIE 4 (QUOTE THV))
06100 (JRST 0 TAG50)
06200 (HRRZ@ 5 -1 P)
06300 (HLRZ@ 5 5)
06400 (CAIE 5 (QUOTE THUNASSIGNED))
06500 (TDZA 1 1)
06600 (MOVEI 1 (QUOTE T))
06700 (JRST 0 TAG47)
06800 TAG50 (MOVEI 1 (QUOTE NIL))
06900 TAG47
07000 TAG46 (JUMPE 1 TAG45)
07100 (HRRZ@ 1 -1 P)
07200 (HRRZ@ 1 1)
07300 (PUSH P 1)
07400 (MOVE 2 -1 P)
07500 (JUMPE 2 TAG54)
07600 (HRRZ@ 2 2)
07700 (HLRZ@ 2 2)
07800 (JRST 0 TAG53)
07900 TAG54 (MOVE 2 (SPECIAL THY))
08000 TAG55
08100 TAG53 (POP P 1)
08200 (CALL 2 (E THCHECK))
08300 TAG45
08400 TAG43 (JUMPE 1 TAG41)
08500 (MOVE 1 0 P)
08600 (JUMPE 1 TAG60)
08700 (HRRZ@ 2 1)
08800 (HLRZ@ 2 2)
08900 (HRRZ@ 1 -1 P)
09000 (CALL 2 (E THRPLACAS))
09100 (HRRZ@ 2 0 P)
09200 (HRRZ@ 2 2)
09300 (JUMPE 2 TAG62)
09400 (HRRZ@ 1 -1 P)
09500 (HRRZ@ 2 0 P)
09600 (HRRZ@ 2 2)
09700 (PUSH P 1)
09800 (HRRZ@ 1 -2 P)
09900 (HRRZ@ 1 1)
10000 (CALL 2 (E THUNION))
10100 (MOVE 2 1)
10200 (POP P 1)
10300 (CALL 2 (E THRPLACDS))
10400 TAG62 (HRRZ@ 2 -1 P)
10500 (MOVE 1 0 P)
10600 (CALL 2 (E THRPLACDS))
10700 (JRST 0 TAG57)
10800 TAG60 (MOVE 2 (SPECIAL THY))
10900 (HRRZ@ 1 -1 P)
11000 (CALL 2 (E THRPLACAS))
11100 TAG64
11200 TAG57 (JRST 0 TAG40)
11300 TAG41 (MOVE 1 0 P)
11400 (JUMPE 1 TAG70)
11500 (HLRZ@ 2 (SPECIAL THY))
11600 (CAIE 2 (QUOTE THNV))
11700 (TDZA 1 1)
11800 (MOVEI 1 (QUOTE T))
11900 (JUMPN 1 TAG73)
12000 (HLRZ@ 3 (SPECIAL THY))
12100 (CAIE 3 (QUOTE THV))
12200 (JRST 0 TAG75)
12300 (HRRZ@ 4 0 P)
12400 (HLRZ@ 4 4)
12500 (CAIE 4 (QUOTE THUNASSIGNED))
12600 (TDZA 1 1)
12700 (MOVEI 1 (QUOTE T))
12800 (JRST 0 TAG74)
12900 TAG75 (MOVEI 1 (QUOTE NIL))
13000 TAG74
13100 TAG73 (JUMPE 1 TAG72)
13200 (HRRZ@ 1 0 P)
13300 (HRRZ@ 1 1)
13400 (PUSH P 1)
13500 (MOVE 2 -2 P)
13600 (JUMPE 2 TAG101)
13700 (HRRZ@ 2 2)
13800 (HLRZ@ 2 2)
13900 (JRST 0 TAG100)
14000 TAG101 (MOVE 2 (SPECIAL THX))
14100 TAG102
14200 TAG100 (POP P 1)
14300 (CALL 2 (E THCHECK))
14400 TAG72
14500 TAG70 (JUMPE 1 TAG66)
14600 (MOVE 1 -1 P)
14700 (JUMPE 1 TAG105)
14800 (HRRZ@ 2 1)
14900 (HLRZ@ 2 2)
15000 (HRRZ@ 1 0 P)
15100 (CALL 2 (E THRPLACAS))
15200 (JRST 0 TAG104)
15300 TAG105 (MOVE 2 (SPECIAL THX))
15400 (HRRZ@ 1 0 P)
15500 (CALL 2 (E THRPLACAS))
15600 TAG106
15700 TAG104 (JRST 0 TAG40)
15800 TAG66 (MOVE 1 -1 P)
15900 (JUMPE 1 TAG111)
16000 (CALL 1 (E CADR))
16100 (PUSH P 1)
16200 (MOVE 2 -1 P)
16300 (JUMPE 2 TAG114)
16400 (HRRZ@ 2 2)
16500 (HLRZ@ 2 2)
16600 (JRST 0 TAG113)
16700 TAG114 (MOVE 2 (SPECIAL THY))
16800 TAG115
16900 TAG113 (POP P 1)
17000 (CALL 2 (E EQUAL))
17100 TAG111 (JUMPN 1 TAG40)
17200 (MOVE 1 0 P)
17300 (JUMPE 1 TAG120)
17400 (MOVE 2 (SPECIAL THX))
17500 (CALL 1 (E CADR))
17600 (CALL 2 (E EQUAL))
17700 TAG120 (JUMPN 1 TAG40)
17800 (MOVEI 1 (QUOTE NIL))
17900 (CALL 1 (E ERR))
18000 TAG122
18100 TAG40 (SUB P (C 0 0 2 2))
18200 (JRST 0 TAG11)
18300 TAG12 (MOVE 2 (SPECIAL THY))
18400 (MOVE 1 (SPECIAL THX))
18500 (CALL 2 (E EQUAL))
18600 (JUMPN 1 TAG11)
18700 (MOVEI 1 (QUOTE NIL))
18800 (CALL 1 (E ERR))
18900 TAG124
19000 TAG11 (JRST 0 SPECSTR)
19100 NIL
19200
19300
19400 (LAP THRESTRICT FSUBR)
19500 (PUSH P 1)
19600 (PUSH P (C 0 0 TAG0 0))
19700 (MOVE 2 (SPECIAL THALIST))
19800 (HLRZ@ 1 1)
19900 (CALL 2 (E THGAL))
20000 (PUSH P 1)
20100 (MOVEI 2 (QUOTE NIL))
20200 (HRRZ@ 1 -2 P)
20300 (CALL 2 (E *APPEND))
20400 (PUSH P 1)
20500 (MOVNI 6 2)
20600 (JCALL 16 (E NCONC))
20700 TAG0 (SUB P (C 0 0 1 1))
20800 (POPJ P)
20900 NIL
21000
21100
21200 (LAP THCHECKG0489G0490 SUBR)
21300 (PUSH P 1)
21400 (MOVE 1 (SPECIAL THX))
21500 (CALLF@ 1 0 P)
21600 (JUMPN 1 TAG0)
21700 (MOVEI 1 (QUOTE NIL))
21800 (CALL 1 (E ERR))
21900 TAG0 (SUB P (C 0 0 1 1))
22000 (POPJ P)
22100 NIL
22200
22300
22400 (LAP THCHECKG0489 SUBR)
22500 (PUSH P (C 0 0 TAG0 0))
22600 (PUSH P (C 0 0 (QUOTE THCHECKG0489G0490) 0))
22700 (PUSH P (SPECIAL THPRD))
22800 (MOVNI 6 2)
22900 (JCALL 16 (E MAPC))
23000 TAG0 (POPJ P)
23100 NIL
23200
23300
23400 (LAP THCHECK SUBR)
23500 (JSP 6 SPECBIND)
23600 (0 1 (SPECIAL THPRD))
23700 (0 2 (SPECIAL THX))
23800 (JUMPE 1 TAG1)
23900 (TDZA 1 1)
24000 TAG1 (MOVEI 1 (QUOTE T))
24100 (JUMPN 1 TAG0)
24200 (MOVE 2 (SPECIAL THX))
24300 (CAIE 2 (QUOTE THUNASSIGNED))
24400 (TDZA 1 1)
24500 (MOVEI 1 (QUOTE T))
24600 (JUMPN 1 TAG0)
24700 (MOVEI 1 (QUOTE ((THCHECKG0489))))
24800 (CALL 17 (E ERRSET))
24900 TAG0 (JRST 0 SPECSTR)
25000 NIL
25100
25200
25300 (LAP THUNIONG0491 SUBR)
25400 (JSP 6 SPECBIND)
25500 (0 1 (SPECIAL THX))
25600 (MOVE 2 (SPECIAL L2))
25700 (CALL 2 (E MEMBER))
25800 (JUMPN 1 TAG0)
25900 (MOVE 2 (SPECIAL L2))
26000 (MOVE 1 (SPECIAL THX))
26100 (CALL 2 (E CONS))
26200 (MOVEM 1 (SPECIAL L2))
26300 TAG1
26400 TAG0 (JRST 0 SPECSTR)
26500 NIL
26600
26700
26800 (LAP THUNION SUBR)
26900 (JSP 6 SPECBIND)
27000 (0 2 (SPECIAL L2))
27100 (PUSH P 1)
27200 (PUSH P (C 0 0 TAG3 0))
27300 (PUSH P (C 0 0 (QUOTE THUNIONG0491) 0))
27400 (PUSH P 1)
27500 (MOVNI 6 2)
27600 (JCALL 16 (E MAPC))
27700 TAG3 (MOVE 1 (SPECIAL L2))
27800 (SUB P (C 0 0 1 1))
27900 (JRST 0 SPECSTR)
28000 NIL
28100
28200
28300 (LAP THMATCH1G0492 SUBR)
28400 (PUSH P (C 0 0 TAG0 0))
28500 (PUSH P (C 0 0 (QUOTE THMATCH2) 0))
28600 (PUSH P (SPECIAL THX))
28700 (PUSH P (SPECIAL THY))
28800 (MOVNI 6 3)
28900 (JCALL 16 (E MAPC))
29000 TAG0 (POPJ P)
29100 NIL
29200
29300
29400 (LAP THMATCH1 SUBR)
29500 (JSP 6 SPECBIND)
29600 (0 1 (SPECIAL THX))
29700 (0 2 (SPECIAL THY))
29800 (0 0 (SPECIAL THML))
29900 (HLRZ@ 3 1)
30000 (CAIE 3 (QUOTE THAUX))
30100 (JRST 0 TAG4)
30200 (CALL 1 (E CADR))
30300 (PUSH P 1)
30400 (HRRZ@ 1 (SPECIAL THX))
30500 (CALL 1 (E CADR))
30600 (CALLF@ 2 0 P)
30700 (SUB P (C 0 0 1 1))
30800 (JRST 0 TAG3)
30900 TAG4 (HLRZ@ 4 1)
31000 (CAIE 4 (QUOTE THEV))
31100 (JRST 0 TAG11)
31200 (MOVE 2 (SPECIAL THOLIST))
31300 (CALL 1 (E CADR))
31400 (CALL 2 (E THVAL))
31500 (MOVEM 1 (SPECIAL THX))
31600 (JRST 0 TAG10)
31700 TAG11
31800 TAG10 (CALL 1 (E LENGTH))
31900 (PUSH P 1)
32000 (MOVE 1 (SPECIAL THY))
32100 (CALL 1 (E LENGTH))
32200 (POP P 2)
32300 (CAME 1 2)
32400 (JRST 0 TAG7)
32500 (MOVEI 1 (QUOTE ((THMATCH1G0492))))
32600 (CALL 17 (E ERRSET))
32700 (JRST 0 TAG6)
32800 TAG7 (MOVEI 1 (QUOTE NIL))
32900 TAG6 (JUMPE 1 TAG5)
33000 (MOVE 1 (SPECIAL THML))
33100 (JUMPE 1 TAG14)
33200 (CALL 1 (E NCONS))
33300 (MOVEI 2 (QUOTE THMUNG))
33400 (CALL 2 (E XCONS))
33500 (MOVE 2 (SPECIAL THTREE))
33600 (CALL 2 (E CONS))
33700 (MOVEM 1 (SPECIAL THTREE))
33800 TAG14 (MOVEI 1 (QUOTE T))
33900 (JRST 0 TAG0)
34000 TAG5 (MOVE 1 (SPECIAL THML))
34100 (CALL 1 (E EVLIS))
34200 (JRST 0 TAG1)
34300 TAG16
34400 TAG3
34500 TAG1 (MOVEI 1 (QUOTE NIL))
34600 TAG0 (JRST 0 SPECSTR)
34700 NIL
34800
34900
35000 (LAP THMATCHDB SUBR)
35100 (MOVEI 2 (QUOTE THASSERTION))
35200 (JCALL 2 (E THMATCHLIST))
35300 NIL
35400
35500
35600 (LAP THMATCHLIST SUBR)
35700 (JSP 6 SPECBIND)
35800 (0 2 (SPECIAL THWH))
35900 (0 0 (SPECIAL THNF))
36000 (PUSH P 1)
36100 (PUSH P (C 0 0 (QUOTE NIL) 0))
36200 (PUSH P (C 0 0 (QUOTE NIL) 0))
36300 (PUSH P (C 0 0 (QUOTE NIL) 0))
36400 (PUSH P (C 0 0 (QUOTE NIL) 0))
36500 (PUSH P (C 0 0 (QUOTE NIL) 0))
36600 (PUSH P (C 0 0 (QUOTE NIL) 0))
36700 (PUSH P (C 0 0 (QUOTE NIL) 0))
36800 (PUSH P (C 0 0 (QUOTE NIL) 0))
36900 (PUSH P (C 0 0 (QUOTE NIL) 0))
37000 (PUSH P (C 0 0 (QUOTE NIL) 0))
37100 (HLRZ@ 3 1)
37200 (CAIE 3 (QUOTE THAUX))
37300 (JRST 0 TAG7)
37400 (MOVEI 2 (QUOTE THMATCHLIST))
37500 (CALL 1 (E CADR))
37600 (CALL 2 (E GET))
37700 (MOVE 2 (SPECIAL THWH))
37800 (PUSH P 1)
37900 (HRRZ@ 1 -13 P)
38000 (CALL 1 (E CADR))
38100 (CALLF@ 2 0 P)
38200 (SUB P (C 0 0 1 1))
38300 (JRST 0 TAG3)
38400 TAG7 (MOVEI 1 (QUOTE 55571))
38500 (MOVEM 1 -2 P)
38600 (MOVEI 1 (QUOTE 0))
38700 (MOVEM 1 (SPECIAL THNF))
38800 (MOVE 1 -12 P)
38900 (CALL 1 (E LENGTH))
39000 (MOVEM 1 -3 P)
39100 (MOVE 1 -12 P)
39200 (MOVEM 1 0 P)
39300 TAG0 (MOVE 1 0 P)
39400 (JUMPN 1 TAG10)
39500 (MOVE 1 -10 P)
39600 (JUMPE 1 TAG12)
39700 (MOVE 2 1)
39800 (MOVE 1 -7 P)
39900 (CALL 2 (E *APPEND))
40000 (JRST 0 TAG11)
40100 TAG12 (MOVE 1 -7 P)
40200 TAG11 (JRST 0 TAG3)
40300 TAG10 (MOVE 1 (SPECIAL THNF))
40400 (CALL 1 (E ADD1))
40500 (MOVEM 1 (SPECIAL THNF))
40600 (HLRZ@ 1 0 P)
40700 (MOVEM 1 -1 P)
40800 (HRRZ@ 1 0 P)
40900 (MOVEM 1 0 P)
41000 TAG1 (MOVE 1 -1 P)
41100 (CALL 1 (E ATOM))
41200 (JUMPE 1 TAG15)
41300 (TDZA 1 1)
41400 TAG15 (MOVEI 1 (QUOTE T))
41500 (JUMPN 1 TAG14)
41600 (MOVE 1 -1 P)
41700 (CALL 1 (E NUMBERP))
41800 (JUMPN 1 TAG14)
41900 (MOVE 2 -1 P)
42000 (CAIE 2 (QUOTE ?))
42100 (TDZA 1 1)
42200 (MOVEI 1 (QUOTE T))
42300 TAG14 (JUMPN 1 TAG0)
42400 (MOVE 2 (SPECIAL THWH))
42500 (MOVE 1 -1 P)
42600 (CALL 2 (E GET))
42700 (MOVEM 1 -4 P)
42800 (JUMPN 1 TAG16)
42900 (MOVEI 1 (QUOTE (0 0)))
43000 (MOVEM 1 -4 P)
43100 (JRST 0 TAG13)
43200 TAG16 (CAIN 1 (QUOTE THNOHASH))
43300 (JRST 0 TAG0)
43400 (HRRZ@ 2 1)
43500 (MOVE 1 (SPECIAL THNF))
43600 (CALL 2 (E ASSQ))
43700 (MOVEM 1 -4 P)
43800 (JUMPN 1 TAG17)
43900 (MOVEI 1 (QUOTE (0 0)))
44000 (MOVEM 1 -4 P)
44100 (JRST 0 TAG13)
44200 TAG17 (HRRZ@ 2 1)
44300 (MOVE 1 -3 P)
44400 (CALL 2 (E ASSQ))
44500 (MOVEM 1 -4 P)
44600 (JUMPN 1 TAG20)
44700 (MOVEI 1 (QUOTE (0 0)))
44800 (MOVEM 1 -4 P)
44900 TAG20
45000 TAG13 (HRRZ@ 1 -4 P)
45100 (HLRZ@ 1 1)
45200 (MOVEM 1 -6 P)
45300 (HRRZ@ 1 -4 P)
45400 (HRRZ@ 1 1)
45500 (MOVEM 1 -4 P)
45600 (MOVE 2 (SPECIAL THWH))
45700 (CAIE 2 (QUOTE THASSERTION))
45800 (JRST 0 TAG22)
45900 (JRST 0 TAG2)
46000 TAG22 (MOVE 2 (SPECIAL THWH))
46100 (MOVEI 1 (QUOTE THVRB))
46200 (CALL 2 (E GET))
46300 (MOVEM 1 -5 P)
46400 (JUMPN 1 TAG25)
46500 (MOVEI 1 (QUOTE (0 0)))
46600 (MOVEM 1 -5 P)
46700 (JRST 0 TAG24)
46800 TAG25 (HRRZ@ 2 1)
46900 (MOVE 1 (SPECIAL THNF))
47000 (CALL 2 (E ASSQ))
47100 (MOVEM 1 -5 P)
47200 (JUMPN 1 TAG26)
47300 (MOVEI 1 (QUOTE (0 0)))
47400 (MOVEM 1 -5 P)
47500 (JRST 0 TAG24)
47600 TAG26 (HRRZ@ 2 1)
47700 (MOVE 1 -3 P)
47800 (CALL 2 (E ASSQ))
47900 (MOVEM 1 -5 P)
48000 (JUMPN 1 TAG27)
48100 (MOVEI 1 (QUOTE (0 0)))
48200 (MOVEM 1 -5 P)
48300 TAG27
48400 TAG24 (HRRZ@ 1 -5 P)
48500 (HLRZ@ 1 1)
48600 (MOVEM 1 -11 P)
48700 (HRRZ@ 1 -5 P)
48800 (HRRZ@ 1 1)
48900 (MOVEM 1 -5 P)
49000 (MOVE 2 -6 P)
49100 (MOVE 1 -11 P)
49200 (CALL 2 (E *PLUS))
49300 (MOVE 2 -2 P)
49400 (CALL 2 (E *GREAT))
49500 (JUMPE 1 TAG31)
49600 (JRST 0 TAG0)
49700 TAG31 (MOVE 2 -6 P)
49800 (MOVE 1 -11 P)
49900 (CALL 2 (E *PLUS))
50000 (MOVEM 1 -2 P)
50100 (MOVE 1 -4 P)
50200 (MOVEM 1 -7 P)
50300 (MOVE 1 -5 P)
50400 (MOVEM 1 -10 P)
50500 (JRST 0 TAG0)
50600 TAG2 (MOVE 1 -6 P)
50700 (CAIN 1 (QUOTE 0))
50800 (JRST 0 TAG4)
50900 (MOVE 2 -2 P)
51000 (CALL 2 (E *LESS))
51100 (JUMPE 1 TAG34)
51200 (MOVE 1 -4 P)
51300 (MOVEM 1 -7 P)
51400 (MOVE 1 -6 P)
51500 (MOVEM 1 -2 P)
51600 TAG34 (JRST 0 TAG0)
51700 TAG4 (MOVEI 1 (QUOTE NIL))
51800 TAG3 (SUB P (C 0 0 13 13))
51900 (JRST 0 SPECSTR)
52000 NIL
52100
52200
52300 (LAP THMATCHTB SUBR)
52400 (JCALL 2 (E THMATCHLIST))
52500 NIL
52600
52700
52800 (LAP THMESSAGE FSUBR)
52900 (PUSH P 1)
53000 (MOVEI 2 (QUOTE THMESSAGE))
53100 (CALL 2 (E XCONS))
53200 (MOVE 2 (SPECIAL THTREE))
53300 (CALL 2 (E CONS))
53400 (MOVEM 1 (SPECIAL THTREE))
53500 (MOVE 1 (SPECIAL THVALUE))
53600 (SUB P (C 0 0 1 1))
53700 (POPJ P)
53800 NIL
53900
54000
54100 (LAP THMESSAGEF SUBR)
54200 (HLRZ@ 1 (SPECIAL THTREE))
54300 (PUSH P 1)
54400 (CALL 0 (E THPOPT))
54500 (HRRZ@ 1 0 P)
54600 (HLRZ@ 1 1)
54700 (CALL 1 (E THBIND))
54800 (JUMPE 1 TAG6)
54900 (MOVE 2 (SPECIAL THMESSAGE))
55000 (HRRZ@ 1 0 P)
55100 (CALL 1 (E CADR))
55200 (CALL 2 (E THMATCH1))
55300 TAG6 (JUMPE 1 TAG4)
55400 (HRRZ@ 1 0 P)
55500 (HRRZ@ 1 1)
55600 (CALL 1 (E NCONS))
55700 (MOVEI 2 (QUOTE NIL))
55800 (CALL 2 (E XCONS))
55900 (HRRZ@ 2 0 P)
56000 (HRRZ@ 2 2)
56100 (CALL 2 (E XCONS))
56200 (MOVEI 2 (QUOTE THPROG))
56300 (CALL 2 (E XCONS))
56400 (MOVE 2 (SPECIAL THTREE))
56500 (CALL 2 (E CONS))
56600 (MOVEM 1 (SPECIAL THTREE))
56700 (CLEARM 1 (SPECIAL THMESSAGE))
56800 (CALL 0 (E THPROGA))
56900 (JRST 0 TAG0)
57000 TAG4 (MOVE 1 (SPECIAL THOLIST))
57100 (MOVEM 1 (SPECIAL THALIST))
57200 (CALL 0 (E THPOPT))
57300 TAG10 (MOVEI 1 (QUOTE NIL))
57400 TAG0 (SUB P (C 0 0 1 1))
57500 (POPJ P)
57600 NIL
57700
57800
57900 (LAP THMESSAGET SUBR)
58000 (CALL 0 (E THPOPT))
58100 (MOVE 1 (SPECIAL THVALUE))
58200 (POPJ P)
58300 NIL
58400
58500
58600 (LAP THMUNGF SUBR)
58700 (HLRZ@ 1 (SPECIAL THTREE))
58800 (CALL 1 (E CADR))
58900 (CALL 1 (E EVLIS))
59000 (CALL 0 (E THPOPT))
59100 (MOVEI 1 (QUOTE NIL))
59200 (POPJ P)
59300 NIL
59400
59500
59600 (LAP THMUNGT SUBR)
59700 (CALL 0 (E THPOPT))
59800 (MOVE 1 (SPECIAL THVALUE))
59900 (POPJ P)
60000 NIL
60100
60200
60300 (LAP THNOFAIL SUBR)
60400 (PUSH P 1)
60500 (JUMPE 1 TAG1)
60600 (MOVEI 1 (QUOTE (THPROG THPROGT THFAIL)))
60700 (CALL 17 (E DEFPROP))
60800 (JRST 0 TAG0)
60900 TAG1 (MOVEI 1 (QUOTE (THPROG THPROGF THFAIL)))
61000 (CALL 17 (E DEFPROP))
61100 TAG2
61200 TAG0 (SUB P (C 0 0 1 1))
61300 (POPJ P)
61400 NIL
61500
61600
61700 (LAP THNOT FSUBR)
61800 (PUSH P 1)
61900 (MOVEI 1 (QUOTE (THFAIL THAND)))
62000 (CALL 1 (E NCONS))
62100 (HLRZ@ 2 0 P)
62200 (CALL 2 (E XCONS))
62300 (MOVEM 1 0 P)
62400 (MOVEI 1 (QUOTE ((THSUCCEED))))
62500 (CALL 1 (E NCONS))
62600 (POP P 2)
62700 (CALL 2 (E XCONS))
62800 (MOVEI 2 (QUOTE THCOND))
62900 (CALL 2 (E XCONS))
63000 (MOVEM 1 (SPECIAL THEXP))
63100 (POPJ P)
63200 NIL
63300
63400
63500 (LAP THNV FSUBR)
63600 (HLRZ@ 1 1)
63700 (JCALL 1 (E THV1))
63800 NIL
63900
64000
64100 (LAP THOR FSUBR)
64200 (PUSH P 1)
64300 (JUMPE 1 TAG1)
64400 (CALL 1 (E NCONS))
64500 (MOVEI 2 (QUOTE THOR))
64600 (CALL 2 (E XCONS))
64700 (MOVE 2 (SPECIAL THTREE))
64800 (CALL 2 (E CONS))
64900 (MOVEM 1 (SPECIAL THTREE))
65000 (JUMPE 1 TAG3)
65100 (HLRZ@ 1 0 P)
65200 (MOVEM 1 (SPECIAL THEXP))
65300 TAG3
65400 TAG1 (SUB P (C 0 0 1 1))
65500 (POPJ P)
65600 NIL
65700
65800
65900 (LAP THOR2 SUBR)
66000 (PUSH P 1)
66100 (HLRZ@ 2 (SPECIAL THTREE))
66200 (HRRZ@ 2 2)
66300 (HLRZ@ 2 2)
66400 (JUMPE 2 TAG3)
66500 (HLRZ@ 1 (SPECIAL THTREE))
66600 (CALL 1 (E CDADR))
66700 (JRST 0 TAG2)
66800 TAG3 (MOVE 1 2)
66900 TAG2 (JUMPE 1 TAG1)
67000 (HLRZ@ 1 (SPECIAL THTREE))
67100 (HRRZ@ 1 1)
67200 (HLRZ@ 2 (SPECIAL THTREE))
67300 (HRRZ@ 2 2)
67400 (HLRZ@ 2 2)
67500 (HRRZ@ 2 2)
67600 (HRLM@ 2 1)
67700 (MOVE 1 0 P)
67800 (JUMPE 1 TAG6)
67900 (HLRZ@ 1 (SPECIAL THTREE))
68000 (CALL 1 (E CAADR))
68100 (PUSH P 1)
68200 (HLRZ@ 1 (SPECIAL THTREE))
68300 (CALL 1 (E CADR))
68400 (JUMPN 1 TAG7)
68500 (CALL 0 (E THPOPT))
68600 TAG7 (POP P 1)
68700 (JRST 0 TAG5)
68800 TAG6 (HLRZ@ 1 (SPECIAL THTREE))
68900 (CALL 1 (E CAADR))
69000 (HLRZ@ 1 1)
69100 TAG5 (MOVEM 1 (SPECIAL THEXP))
69200 (JRST 0 TAG0)
69300 TAG1 (CALL 0 (E THPOPT))
69400 (JUMPE 1 TAG10)
69500 (MOVEI 1 (QUOTE NIL))
69600 TAG10
69700 TAG0 (SUB P (C 0 0 1 1))
69800 (POPJ P)
69900 NIL
70000
70100
70200 (LAP THORF SUBR)
70300 (MOVEI 1 (QUOTE T))
70400 (JCALL 1 (E THOR2))
70500 NIL
70600
70700
70800 (LAP THORT SUBR)
70900 (CALL 0 (E THPOPT))
71000 (MOVE 1 (SPECIAL THVALUE))
71100 (POPJ P)
71200 NIL
71300
71400
71500 (LAP THPOPT SUBR)
71600 (HRRZ@ 1 (SPECIAL THTREE))
71700 (MOVEM 1 (SPECIAL THTREE))
71800 (POPJ P)
71900 NIL
72000
72100
72200 (LAP THPROG FSUBR)
72300 (PUSH P 1)
72400 (HLRZ@ 1 1)
72500 (CALL 1 (E THBIND))
72600 (MOVE 1 0 P)
72700 (CALL 1 (E NCONS))
72800 (MOVEI 2 (QUOTE NIL))
72900 (CALL 2 (E XCONS))
73000 (MOVE 2 0 P)
73100 (CALL 2 (E XCONS))
73200 (MOVEI 2 (QUOTE THPROG))
73300 (CALL 2 (E XCONS))
73400 (MOVE 2 (SPECIAL THTREE))
73500 (CALL 2 (E CONS))
73600 (MOVEM 1 (SPECIAL THTREE))
73700 (SUB P (C 0 0 1 1))
73800 (JCALL 0 (E THPROGA))
73900 NIL
74000
74100
74200 (LAP THPROGA SUBR)
74300 (HLRZ@ 1 (SPECIAL THTREE))
74400 (HRRZ@ 1 1)
74500 (PUSH P 1)
74600 (HLRZ@ 2 1)
74700 (HRRZ@ 2 2)
74800 (JUMPN 2 TAG1)
74900 (CALL 0 (E THPOPT))
75000 (MOVEI 1 (QUOTE THNOVAL))
75100 (JRST 0 TAG0)
75200 TAG1 (CALL 1 (E CADAR))
75300 (CALL 1 (E ATOM))
75400 (JUMPE 1 TAG2)
75500 (HLRZ@ 1 0 P)
75600 (CALL 1 (E CADR))
75700 (CALL 1 (E NCONS))
75800 (MOVEI 2 (QUOTE THTAG))
75900 (CALL 2 (E XCONS))
76000 (MOVEM 1 (SPECIAL THEXP))
76100 (HLRZ@ 2 0 P)
76200 (HRRZ@ 2 2)
76300 (HRLM@ 2 0 P)
76400 (MOVE 1 (SPECIAL THVALUE))
76500 (JRST 0 TAG0)
76600 TAG2 (HLRZ@ 1 0 P)
76700 (CALL 1 (E CADR))
76800 (MOVEM 1 (SPECIAL THEXP))
76900 (HLRZ@ 2 0 P)
77000 (HRRZ@ 2 2)
77100 (HRLM@ 2 0 P)
77200 (MOVE 1 (SPECIAL THVALUE))
77300 TAG3
77400 TAG0 (SUB P (C 0 0 1 1))
77500 (POPJ P)
77600 NIL
77700
77800
77900 (LAP THPROGF SUBR)
78000 (CALL 0 (E THBRANCHUN))
78100 (MOVEI 1 (QUOTE NIL))
78200 (POPJ P)
78300 NIL
78400
78500
78600 (LAP THPROGT SUBR)
78700 (CALL 0 (E THBRANCH))
78800 (JCALL 0 (E THPROGA))
78900 NIL
79000
79100
79200 (LAP THPUREG0537G0538 SUBR)
79300 (PUSH P 1)
79400 (CALL 1 (E THVAR))
79500 (JUMPE 1 TAG1)
79600 (MOVEI 1 (QUOTE NIL))
79700 (CALL 1 (E ERR))
79800 TAG1 (SUB P (C 0 0 1 1))
79900 (POPJ P)
80000 NIL
80100
80200
80300 (LAP THPUREG0537 SUBR)
80400 (PUSH P (C 0 0 TAG0 0))
80500 (PUSH P (C 0 0 (QUOTE THPUREG0537G0538) 0))
80600 (PUSH P (SPECIAL XX))
80700 (MOVNI 6 2)
80800 (JCALL 16 (E MAPC))
80900 TAG0 (POPJ P)
81000 NIL
81100
81200
81300 (LAP THPURE SUBR)
81400 (JSP 6 SPECBIND)
81500 (0 1 (SPECIAL XX))
81600 (MOVEI 1 (QUOTE ((THPUREG0537))))
81700 (CALL 17 (E ERRSET))
81800 (JRST 0 SPECSTR)
81900 NIL
82000
82100
82200 (LAP THPUTPROP SUBR)
82300 (PUSH P 1)
82400 (PUSH P 2)
82500 (PUSH P 3)
82600 (CALL 1 (E NCONS))
82700 (MOVEI 2 (QUOTE QUOTE))
82800 (CALL 2 (E XCONS))
82900 (MOVE 2 3)
83000 (PUSH P 1)
83100 (MOVE 1 -3 P)
83200 (CALL 2 (E GET))
83300 (CALL 1 (E NCONS))
83400 (MOVEI 2 (QUOTE QUOTE))
83500 (CALL 2 (E XCONS))
83600 (PUSH P 1)
83700 (MOVE 1 3)
83800 (CALL 1 (E NCONS))
83900 (MOVEI 2 (QUOTE QUOTE))
84000 (CALL 2 (E XCONS))
84100 (CALL 1 (E NCONS))
84200 (POP P 2)
84300 (CALL 2 (E XCONS))
84400 (POP P 2)
84500 (CALL 2 (E XCONS))
84600 (MOVEI 2 (QUOTE PUTPROP1))
84700 (CALL 2 (E XCONS))
84800 (CALL 1 (E NCONS))
84900 (CALL 1 (E NCONS))
85000 (MOVEI 2 (QUOTE THMUNG))
85100 (CALL 2 (E XCONS))
85200 (MOVE 2 (SPECIAL THTREE))
85300 (CALL 2 (E CONS))
85400 (MOVEM 1 (SPECIAL THTREE))
85500 (MOVE 2 -1 P)
85600 (MOVE 1 -2 P)
85700 (SUB P (C 0 0 3 3))
85800 (JCALL 3 (E PUTPROP1))
85900 NIL
86000
86100
86200 (LAP THREM1 SUBR)
86300 (JSP 6 SPECBIND)
86400 (0 0 (SPECIAL THPC))
86500 (PUSH P 1)
86600 (MOVE 1 (SPECIAL THNF))
86700 (CALL 1 (E ADD1))
86800 (MOVEM 1 (SPECIAL THNF))
86900 (PUSH P (C 0 0 (QUOTE NIL) 0))
87000 (PUSH P (C 0 0 (QUOTE NIL) 0))
87100 (PUSH P (C 0 0 (QUOTE NIL) 0))
87200 (PUSH P (C 0 0 (QUOTE NIL) 0))
87300 (PUSH P (C 0 0 (QUOTE NIL) 0))
87400 (PUSH P (C 0 0 (QUOTE NIL) 0))
87500 (PUSH P (C 0 0 (QUOTE NIL) 0))
87600 (PUSH P (C 0 0 (QUOTE NIL) 0))
87700 (MOVE 1 -10 P)
87800 (CALL 1 (E ATOM))
87900 (JUMPE 1 TAG6)
88000 (MOVE 2 -10 P)
88100 (CAIN 2 (QUOTE ?))
88200 (JRST 0 TAG10)
88300 (MOVE 1 2)
88400 (CALL 1 (E NUMBERP))
88500 (JUMPE 1 TAG12)
88600 (TDZA 1 1)
88700 TAG12 (MOVEI 1 (QUOTE T))
88800 (JRST 0 TAG7)
88900 TAG10 (MOVEI 1 (QUOTE NIL))
89000 TAG7
89100 TAG6 (JUMPE 1 TAG4)
89200 (MOVE 1 -10 P)
89300 (MOVEM 1 0 P)
89400 (JRST 0 TAG3)
89500 TAG4 (MOVE 2 -10 P)
89600 (CAIE 2 (QUOTE ?))
89700 (TDZA 1 1)
89800 (MOVEI 1 (QUOTE T))
89900 (JUMPN 1 TAG14)
90000 (MOVEI 2 (QUOTE (THV THNV)))
90100 (HLRZ@ 1 -10 P)
90200 (CALL 2 (E MEMQ))
90300 TAG14 (JUMPE 1 TAG13)
90400 (MOVE 1 (SPECIAL THFST))
90500 (JUMPE 1 TAG16)
90600 (MOVEI 1 (QUOTE THVRB))
90700 (JRST 0 TAG0)
90800 TAG16 (MOVEI 1 (QUOTE THVRB))
90900 (MOVEM 1 0 P)
91000 (JRST 0 TAG3)
91100 TAG13 (MOVEI 1 (QUOTE THVRB))
91200 (JRST 0 TAG0)
91300 TAG3 (MOVE 2 (SPECIAL THWH))
91400 (MOVE 1 0 P)
91500 (CALL 2 (E GET))
91600 (MOVEM 1 -2 P)
91700 (JUMPN 1 TAG17)
91800 (JRST 0 TAG1)
91900 TAG17 (MOVE 1 -2 P)
92000 (CAIE 1 (QUOTE THNOHASH))
92100 (JRST 0 TAG21)
92200 (MOVEI 1 (QUOTE THBQF))
92300 (JRST 0 TAG0)
92400 TAG21 (MOVE 2 -2 P)
92500 (MOVE 1 (SPECIAL THNF))
92600 (CALL 2 (E THBA))
92700 (MOVEM 1 -3 P)
92800 (JUMPN 1 TAG23)
92900 (JRST 0 TAG1)
93000 TAG23 (HRRZ@ 2 -3 P)
93100 (HLRZ@ 2 2)
93200 (MOVE 1 (SPECIAL THAL))
93300 (CALL 2 (E THBA))
93400 (MOVEM 1 -4 P)
93500 (JUMPN 1 TAG24)
93600 (JRST 0 TAG1)
93700 TAG24 (HRRZ@ 1 -4 P)
93800 (HLRZ@ 1 1)
93900 (MOVE 2 (SPECIAL THWH))
94000 (MOVEM 1 -5 P)
94100 (CAIE 2 (QUOTE THASSERTION))
94200 (JRST 0 TAG25)
94300 (TDZA 1 1)
94400 TAG25 (MOVEI 1 (QUOTE T))
94500 (MOVEM 1 (SPECIAL THPC))
94600 (MOVE 1 (SPECIAL THFST))
94700 (JUMPN 1 TAG30)
94800 (MOVE 1 (SPECIAL THFSTP))
94900 TAG30 (JUMPE 1 TAG27)
95000 (HRRZ@ 2 -5 P)
95100 (MOVE 1 (SPECIAL THBS))
95200 (CALL 2 (E THBAP))
95300 (JRST 0 TAG26)
95400 TAG27 (MOVE 1 (SPECIAL THPC))
95500 (JUMPE 1 TAG32)
95600 (MOVE 1 (SPECIAL THON))
95700 (JRST 0 TAG31)
95800 TAG32 (HLRZ@ 1 (SPECIAL THON))
95900 TAG33
96000 TAG31 (HRRZ@ 2 -5 P)
96100 (CALL 2 (E THBA))
96200 TAG26 (MOVEM 1 -6 P)
96300 (JUMPN 1 TAG35)
96400 (JRST 0 TAG1)
96500 TAG35 (HRRZ@ 1 -6 P)
96600 (HLRZ@ 1 1)
96700 (HRRZ@ 2 -6 P)
96800 (HRRZ@ 2 2)
96900 (HRRM@ 2 -6 P)
97000 (MOVEM 1 -7 P)
97100 (HRRZ@ 3 -5 P)
97200 (HLRZ@ 3 3)
97300 (CAIN 3 (QUOTE 1))
97400 (JRST 0 TAG37)
97500 (HRRZ@ 1 -5 P)
97600 (HRRZ@ 1 1)
97700 (MOVEM 1 -1 P)
97800 (JUMPN 1 TAG42)
97900 (MOVEI 1 (QUOTE T))
98000 TAG42 (JUMPE 1 TAG41)
98100 (HRRZ@ 1 -5 P)
98200 (PUSH P 1)
98300 (HRRZ@ 1 -6 P)
98400 (HLRZ@ 1 1)
98500 (CALL 1 (E SUB1))
98600 (HRLM@ 1 0 P)
98700 (POP P 1)
98800 (JUMPE 1 TAG44)
98900 (MOVE 1 -7 P)
99000 (JRST 0 TAG0)
99100 TAG44
99200 TAG41
99300 TAG37 (HRRZ@ 1 -4 P)
99400 (HRRZ@ 1 1)
99500 (MOVEM 1 -1 P)
99600 (HRRM@ 1 -4 P)
99700 (HRRZ@ 2 -3 P)
99800 (HLRZ@ 2 2)
99900 (HRRZ@ 2 2)
00100 (JUMPE 2 TAG47)
00200 (MOVE 1 -7 P)
00300 (JRST 0 TAG0)
00400 TAG47 (HRRZ@ 1 -3 P)
00500 (HRRZ@ 1 1)
00600 (MOVEM 1 -1 P)
00700 (HRRM@ 1 -3 P)
00800 (HRRZ@ 2 -2 P)
00900 (JUMPE 2 TAG52)
01000 (MOVE 1 -7 P)
01100 (JRST 0 TAG0)
01200 TAG52 (MOVE 2 (SPECIAL THWH))
01300 (MOVE 1 0 P)
01400 (CALL 2 (E REMPROP))
01500 (MOVE 1 -7 P)
01600 (JRST 0 TAG0)
01700 TAG1 (MOVEI 1 (QUOTE NIL))
01800 TAG0 (SUB P (C 0 0 11 11))
01900 (JRST 0 SPECSTR)
02000 NIL
02100
02200
02300 (LAP THREMBINDF SUBR)
02400 (HLRZ@ 1 (SPECIAL THTREE))
02500 (CALL 1 (E CADR))
02600 (MOVEM 1 (SPECIAL THALIST))
02700 (CALL 0 (E THPOPT))
02800 (MOVEI 1 (QUOTE NIL))
02900 (POPJ P)
03000 NIL
03100
03200
03300 (LAP THREMBINDT SUBR)
03400 (HLRZ@ 1 (SPECIAL THTREE))
03500 (CALL 1 (E CADR))
03600 (MOVEM 1 (SPECIAL THALIST))
03700 (CALL 0 (E THPOPT))
03800 (MOVE 1 (SPECIAL THVALUE))
03900 (POPJ P)
04000 NIL
04100
04200
04300 (LAP THREMOVE SUBR)
04400 (JSP 6 SPECBIND)
04500 (0 0 (SPECIAL THWH))
04600 (0 0 (SPECIAL THNF))
04700 (0 0 (SPECIAL THAL))
04800 (0 0 (SPECIAL THON))
04900 (0 0 (SPECIAL THBS))
05000 (0 0 (SPECIAL THFST))
05100 (0 0 (SPECIAL THFSTP))
05200 (PUSH P 1)
05300 (MOVEI 1 (QUOTE 0))
05400 (MOVEM 1 (SPECIAL THNF))
05500 (PUSH P (C 0 0 (QUOTE NIL) 0))
05600 (PUSH P (C 0 0 (QUOTE NIL) 0))
05700 (MOVE 1 -2 P)
05800 (CALL 1 (E ATOM))
05900 (JUMPE 1 TAG5)
06000 (MOVE 1 -2 P)
06100 (MOVEM 1 (SPECIAL THBS))
06200 (MOVEI 2 (QUOTE THEOREM))
06300 (MOVE 1 -2 P)
06400 (CALL 2 (E GET))
06500 (MOVEM 1 0 P)
06600 (HLRZ@ 1 1)
06700 (MOVEM 1 (SPECIAL THWH))
06800 (HRRZ@ 1 0 P)
06900 (CALL 1 (E CADR))
07000 (JRST 0 TAG4)
07100 TAG5 (HLRZ@ 2 -2 P)
07200 (CAIE 2 (QUOTE THAUX))
07300 (JRST 0 TAG6)
07400 (MOVEI 2 (QUOTE THREMOVE))
07500 (HRRZ@ 1 -2 P)
07600 (HLRZ@ 1 1)
07700 (CALL 2 (E GET))
07800 (PUSH P 1)
07900 (HRRZ@ 1 -3 P)
08000 (CALL 1 (E CADR))
08100 (CALLF@ 1 0 P)
08200 (SUB P (C 0 0 1 1))
08300 (JRST 0 TAG1)
08400 TAG6 (MOVEI 1 (QUOTE THASSERTION))
08500 (MOVEM 1 (SPECIAL THWH))
08600 (JUMPE 1 TAG7)
08700 (MOVE 1 -2 P)
08800 (MOVEM 1 (SPECIAL THBS))
08900 TAG7
09000 TAG4 (MOVEM 1 0 P)
09100 (CALL 1 (E LENGTH))
09200 (MOVEM 1 (SPECIAL THAL))
09300 (MOVEI 1 (QUOTE T))
09400 (MOVEM 1 (SPECIAL THFST))
09500 TAG0 (MOVE 1 0 P)
09600 (JUMPN 1 TAG11)
09700 (MOVE 1 -1 P)
09800 (MOVEM 1 0 P)
09900 (MOVEI 1 (QUOTE 0))
10000 (MOVEM 1 (SPECIAL THNF))
10100 (CLEARB 1 -1 P)
10200 (MOVEM 1 (SPECIAL THFST))
10300 (MOVEI 1 (QUOTE T))
10400 (MOVEM 1 (SPECIAL THFSTP))
10500 (JRST 0 TAG0)
10600 TAG11 (HLRZ@ 1 1)
10700 (CALL 1 (E THREM1))
10800 (MOVEM 1 (SPECIAL THON))
10900 (JUMPE 1 TAG2)
11000 (MOVEI 2 (QUOTE (THBQF THVRB)))
11100 (CALL 2 (E MEMQ))
11200 (JUMPE 1 TAG12)
11300 (PUSH P (C 0 0 TAG13 0))
11400 (PUSH P -2 P)
11500 (MOVE 2 (SPECIAL THON))
11600 (CAIE 2 (QUOTE THVRB))
11700 (JRST 0 TAG15)
11800 (HLRZ@ 1 -2 P)
11900 (JRST 0 TAG14)
12000 TAG15 (MOVEI 1 (QUOTE NIL))
12100 TAG14 (CALL 1 (E NCONS))
12200 (PUSH P 1)
12300 (MOVNI 6 2)
12400 (JCALL 16 (E NCONC))
12500 TAG13 (MOVEM 1 -1 P)
12600 (HRRZ@ 1 0 P)
12700 (MOVEM 1 0 P)
12800 (JRST 0 TAG0)
12900 TAG12 (CLEARM 1 (SPECIAL THFST))
13000 (PUSH P (C 0 0 TAG16 0))
13100 (PUSH P (C 0 0 (QUOTE THREM1) 0))
13200 (HRRZ@ 1 -2 P)
13300 (PUSH P 1)
13400 (MOVNI 6 2)
13500 (JCALL 16 (E MAPC))
13600 TAG16 (MOVEI 1 (QUOTE 0))
13700 (MOVEM 1 (SPECIAL THNF))
13800 (PUSH P (C 0 0 TAG17 0))
13900 (PUSH P (C 0 0 (QUOTE THREM1) 0))
14000 (PUSH P -3 P)
14100 (MOVNI 6 2)
14200 (JCALL 16 (E MAPC))
14300 TAG17 (MOVE 1 (SPECIAL THON))
14400 (JRST 0 TAG1)
14500 TAG2 (MOVEI 1 (QUOTE NIL))
14600 TAG1 (SUB P (C 0 0 3 3))
14700 (JRST 0 SPECSTR)
14800 NIL
14900
15000
15100 (LAP THREMPROP SUBR)
15200 (PUSH P 1)
15300 (PUSH P 2)
15400 (CALL 1 (E NCONS))
15500 (MOVEI 2 (QUOTE QUOTE))
15600 (CALL 2 (E XCONS))
15700 (MOVE 2 0 P)
15800 (PUSH P 1)
15900 (MOVE 1 -2 P)
16000 (CALL 2 (E GET))
16100 (CALL 1 (E NCONS))
16200 (MOVEI 2 (QUOTE QUOTE))
16300 (CALL 2 (E XCONS))
16400 (PUSH P 1)
16500 (MOVE 1 -2 P)
16600 (CALL 1 (E NCONS))
16700 (MOVEI 2 (QUOTE QUOTE))
16800 (CALL 2 (E XCONS))
16900 (CALL 1 (E NCONS))
17000 (POP P 2)
17100 (CALL 2 (E XCONS))
17200 (POP P 2)
17300 (CALL 2 (E XCONS))
17400 (MOVEI 2 (QUOTE PUTPROP1))
17500 (CALL 2 (E XCONS))
17600 (CALL 1 (E NCONS))
17700 (CALL 1 (E NCONS))
17800 (MOVEI 2 (QUOTE THMUNG))
17900 (CALL 2 (E XCONS))
18000 (MOVE 2 (SPECIAL THTREE))
18100 (CALL 2 (E CONS))
18200 (MOVEM 1 (SPECIAL THTREE))
18300 (MOVE 2 0 P)
18400 (MOVE 1 -1 P)
18500 (SUB P (C 0 0 2 2))
18600 (JCALL 2 (E REMPROP))
18700 NIL
18800
18900
19000 (LAP THRETURN FSUBR)
19100 (PUSH P 1)
19200 (PUSH P (C 0 0 TAG0 0))
19300 (PUSH P (C 0 0 (QUOTE THSUCCEED) 0))
19400 (MOVEI 2 (QUOTE THPROG))
19500 (CALL 2 (E XCONS))
19600 (PUSH P 1)
19700 (MOVNI 6 2)
19800 (JCALL 16 (E APPLY))
19900 TAG0 (SUB P (C 0 0 1 1))
20000 (POPJ P)
20100 NIL
20200
20300
20400 (LAP THRPLACA SUBR)
20500 (JSP 6 SPECBIND)
20600 (0 0 (SPECIAL THML))
20700 (PUSH P 1)
20800 (PUSH P 2)
20900 (CALL 2 (E THRPLACAS))
21000 (MOVE 1 (SPECIAL THML))
21100 (CALL 1 (E NCONS))
21200 (MOVEI 2 (QUOTE THMUNG))
21300 (CALL 2 (E XCONS))
21400 (MOVE 2 (SPECIAL THTREE))
21500 (CALL 2 (E CONS))
21600 (MOVEM 1 (SPECIAL THTREE))
21700 (MOVE 1 -1 P)
21800 (SUB P (C 0 0 2 2))
21900 (JRST 0 SPECSTR)
22000 NIL
22100
22200
22300 (LAP THRPLACAS SUBR)
22400 (PUSH P 1)
22500 (PUSH P 2)
22600 (HLRZ@ 1 1)
22700 (CALL 1 (E NCONS))
22800 (MOVE 2 -1 P)
22900 (CALL 2 (E XCONS))
23000 (MOVEI 2 (QUOTE THURPLACA))
23100 (CALL 2 (E XCONS))
23200 (MOVE 2 (SPECIAL THML))
23300 (CALL 2 (E CONS))
23400 (MOVEM 1 (SPECIAL THML))
23500 (MOVE 2 0 P)
23600 (HRLM@ 2 -1 P)
23700 (MOVE 1 -1 P)
23800 (SUB P (C 0 0 2 2))
23900 (POPJ P)
24000 NIL
24100
24200
24300 (LAP THURPLACA FSUBR)
24400 (PUSH P 1)
24500 (HLRZ@ 1 1)
24600 (HRRZ@ 2 0 P)
24700 (HLRZ@ 2 2)
24800 (HRLM@ 2 1)
24900 (SUB P (C 0 0 1 1))
25000 (POPJ P)
25100 NIL
25200
25300
25400 (LAP THRPLACD SUBR)
25500 (JSP 6 SPECBIND)
25600 (0 0 (SPECIAL THML))
25700 (PUSH P 1)
25800 (PUSH P 2)
25900 (CALL 2 (E THRPLACDS))
26000 (MOVE 1 (SPECIAL THML))
26100 (CALL 1 (E NCONS))
26200 (MOVEI 2 (QUOTE THMUNG))
26300 (CALL 2 (E XCONS))
26400 (MOVE 2 (SPECIAL THTREE))
26500 (CALL 2 (E CONS))
26600 (MOVEM 1 (SPECIAL THTREE))
26700 (MOVE 1 -1 P)
26800 (SUB P (C 0 0 2 2))
26900 (JRST 0 SPECSTR)
27000 NIL
27100
27200
27300 (LAP THRPLACDS SUBR)
27400 (PUSH P 1)
27500 (PUSH P 2)
27600 (HRRZ@ 1 1)
27700 (CALL 1 (E NCONS))
27800 (MOVE 2 -1 P)
27900 (CALL 2 (E XCONS))
28000 (MOVEI 2 (QUOTE THURPLACD))
28100 (CALL 2 (E XCONS))
28200 (MOVE 2 (SPECIAL THML))
28300 (CALL 2 (E CONS))
28400 (MOVEM 1 (SPECIAL THML))
28500 (MOVE 2 0 P)
28600 (HRRM@ 2 -1 P)
28700 (MOVE 1 -1 P)
28800 (SUB P (C 0 0 2 2))
28900 (POPJ P)
29000 NIL
29100
29200
29300 (LAP THURPLACD FSUBR)
29400 (PUSH P 1)
29500 (HLRZ@ 1 1)
29600 (HRRZ@ 2 0 P)
29700 (HLRZ@ 2 2)
29800 (HRRM@ 2 1)
29900 (SUB P (C 0 0 1 1))
30000 (POPJ P)
30100 NIL
30200
30300
30400 (LAP THSETQ FSUBR)
30500 (JSP 6 SPECBIND)
30600 (0 0 (SPECIAL THML))
30700 (PUSH P 1)
30800 (PUSH P 1)
30900 TAG0 (MOVE 1 0 P)
31000 (JUMPN 1 TAG5)
31100 (MOVE 1 (SPECIAL THML))
31200 (CALL 1 (E NCONS))
31300 (MOVEI 2 (QUOTE THMUNG))
31400 (CALL 2 (E XCONS))
31500 (MOVE 2 (SPECIAL THTREE))
31600 (CALL 2 (E CONS))
31700 (MOVEM 1 (SPECIAL THTREE))
31800 (MOVE 1 (SPECIAL THVALUE))
31900 (JRST 0 TAG1)
32000 TAG5 (HRRZ@ 2 1)
32100 (JUMPN 2 TAG6)
32200 (MOVE 1 -1 P)
32300 (CALL 1 (E PRINT))
32400 (MOVEI 1 (QUOTE (ODD NUMBER OF GOODIES /- THSETQ)))
32500 (CALL 17 (E THERT))
32600 (JRST 0 TAG4)
32700 TAG6 (HLRZ@ 1 1)
32800 (CALL 1 (E ATOM))
32900 (JUMPE 1 TAG7)
33000 (HLRZ@ 1 0 P)
33100 (PUSH P 1)
33200 (HLRZ@ 1 -1 P)
33300 (CALL 1 (E *EVAL))
33400 (CALL 1 (E NCONS))
33500 (MOVEI 2 (QUOTE QUOTE))
33600 (CALL 2 (E XCONS))
33700 (CALL 1 (E NCONS))
33800 (POP P 2)
33900 (CALL 2 (E XCONS))
34000 (MOVEI 2 (QUOTE SETQ))
34100 (CALL 2 (E XCONS))
34200 (MOVE 2 (SPECIAL THML))
34300 (CALL 2 (E CONS))
34400 (MOVEM 1 (SPECIAL THML))
34500 (HLRZ@ 1 0 P)
34600 (PUSH P 1)
34700 (HRRZ@ 1 -1 P)
34800 (HLRZ@ 1 1)
34900 (CALL 1 (E *EVAL))
35000 (MOVEM 1 (SPECIAL THVALUE))
35100 (MOVE 2 1)
35200 (POP P 1)
35300 (CALL 2 (E SET))
35400 (JRST 0 TAG4)
35500 TAG7 (HLRZ@ 1 0 P)
35600 (CALL 1 (E THSGAL))
35700 (HRRZ@ 1 1)
35800 (MOVE 2 (SPECIAL THALIST))
35900 (PUSH P 1)
36000 (HRRZ@ 1 -1 P)
36100 (HLRZ@ 1 1)
36200 (CALL 2 (E THVAL))
36300 (MOVEM 1 (SPECIAL THVALUE))
36400 (MOVE 2 1)
36500 (POP P 1)
36600 (CALL 2 (E THRPLACAS))
36700 TAG10
36800 TAG4 (HRRZ@ 1 0 P)
36900 (HRRZ@ 1 1)
37000 (MOVEM 1 0 P)
37100 (JRST 0 TAG0)
37200 TAG1 (SUB P (C 0 0 2 2))
37300 (JRST 0 SPECSTR)
37400 NIL
37500
37600
37700 (LAP THSGALG0582 SUBR)
37800 (MOVEI 1 (QUOTE THUNASSIGNED))
37900 (CALL 1 (E NCONS))
38000 (HRRZ@ 2 (SPECIAL X))
38100 (HLRZ@ 2 2)
38200 (CALL 2 (E XCONS))
38300 (PUSH P 1)
38400 (PUSH P (C 0 0 TAG3 0))
38500 (MOVEI 2 (QUOTE VALUE))
38600 (MOVEI 1 (QUOTE THALIST))
38700 (CALL 2 (E GET))
38800 (PUSH P 1)
38900 (MOVE 1 -2 P)
39000 (CALL 1 (E NCONS))
39100 (PUSH P 1)
39200 (MOVNI 6 2)
39300 (JCALL 16 (E NCONC))
39400 TAG3 (MOVE 1 0 P)
39500 (SUB P (C 0 0 1 1))
39600 (POPJ P)
39700 NIL
39800
39900
40000 (LAP THSGAL SUBR)
40100 (JSP 6 SPECBIND)
40200 (0 1 (SPECIAL X))
40300 (MOVEI 3 (QUOTE THSGALG0582))
40400 (MOVE 2 (SPECIAL THALIST))
40500 (CALL 1 (E CADR))
40600 (CALL 3 (E SASSQ))
40700 (JRST 0 SPECSTR)
40800 NIL
40900
41000
41100 (LAP THSUCCEED FSUBR)
41200 (JSP 6 SPECBIND)
41300 (0 1 (SPECIAL THA))
41400 (JUMPE 1 TAG2)
41500 (TDZA 1 1)
41600 TAG2 (MOVEI 1 (QUOTE T))
41700 (JUMPN 1 TAG1)
41800 (PUSH P (C 0 0 (QUOTE NIL) 0))
41900 (HLRZ@ 2 (SPECIAL THA))
42000 (CAIE 2 (QUOTE THEOREM))
42100 (JRST 0 TAG7)
42200 (HRRZ@ 2 (SPECIAL THA))
42300 (MOVEI 1 (QUOTE THPROG))
42400 (CALL 2 (E CONS))
42500 (MOVEM 1 (SPECIAL THA))
42600 TAG7 (MOVE 1 (SPECIAL THTREE))
42700 (MOVEM 1 (SPECIAL THBRANCH))
42800 (MOVE 1 (SPECIAL THALIST))
42900 (MOVEM 1 (SPECIAL THABRANCH))
43000 TAG0 (MOVE 1 (SPECIAL THTREE))
43100 (JUMPN 1 TAG12)
43200 (MOVE 1 (SPECIAL THA))
43300 (CALL 1 (E PRINT))
43400 (MOVEI 1 (QUOTE (OVERPOP /- THSUCCEED)))
43500 (CALL 17 (E THERT))
43600 (JRST 0 TAG11)
43700 TAG12 (HLRZ@ 2 1)
43800 (HLRZ@ 2 2)
43900 (CAIE 2 (QUOTE THREMBIND))
44000 (JRST 0 TAG13)
44100 (CALL 1 (E CADAR))
44200 (MOVEM 1 (SPECIAL THALIST))
44300 (CALL 0 (E THPOPT))
44400 (JRST 0 TAG0)
44500 TAG13 (HLRZ@ 3 (SPECIAL THA))
44600 (HLRZ@ 4 1)
44700 (HLRZ@ 4 4)
44800 (CAME 4 3)
44900 (JRST 0 TAG14)
45000 (CALL 0 (E THPOPT))
45100 (HRRZ@ 2 (SPECIAL THA))
45200 (JUMPE 2 TAG16)
45300 (HRRZ@ 1 (SPECIAL THA))
45400 (HLRZ@ 1 1)
45500 (CALL 1 (E *EVAL))
45600 (JRST 0 TAG15)
45700 TAG16 (MOVEI 1 (QUOTE THNOVAL))
45800 TAG15 (JRST 0 TAG3)
45900 TAG14 (HLRZ@ 5 (SPECIAL THA))
46000 (CAIE 5 (QUOTE THTAG))
46100 (JRST 0 TAG21)
46200 (HLRZ@ 5 1)
46300 (HLRZ@ 5 5)
46400 (CAIE 5 (QUOTE THPROG))
46500 (JRST 0 TAG23)
46600 (HLRZ@ 1 1)
46700 (HRRZ@ 2 1)
46800 (HRRZ@ 2 2)
46900 (HRRZ@ 2 2)
47000 (HLRZ@ 2 2)
47100 (HRRZ@ 1 (SPECIAL THA))
47200 (HLRZ@ 1 1)
47300 (CALL 2 (E MEMQ))
47400 (MOVEM 1 0 P)
47500 (JRST 0 TAG22)
47600 TAG23 (MOVEI 1 (QUOTE NIL))
47700 TAG22 (JRST 0 TAG20)
47800 TAG21 (MOVEI 1 (QUOTE NIL))
47900 TAG20 (JUMPE 1 TAG17)
48000 (MOVE 2 0 P)
48100 (MOVEI 1 (QUOTE NIL))
48200 (CALL 2 (E CONS))
48300 (PUSH P 1)
48400 (HLRZ@ 1 (SPECIAL THTREE))
48500 (HRRZ@ 1 1)
48600 (POP P 2)
48700 (HRLM@ 2 1)
48800 (CALL 0 (E THPROGT))
48900 (JRST 0 TAG3)
49000 TAG17 (CALL 0 (E THPOPT))
49100 (JRST 0 TAG0)
49200 TAG25
49300 TAG11 (MOVEI 1 (QUOTE NIL))
49400 TAG3 (SUB P (C 0 0 1 1))
49500 TAG1 (JRST 0 SPECSTR)
49600 NIL
49700
49800
49900 (LAP THTAEG0599 SUBR)
50000 (PUSH P 1)
50100 (MOVEI 2 (QUOTE THEOREM))
50200 (CALL 2 (E GET))
50300 (MOVEM 1 (SPECIAL THXX))
50400 (JUMPE 1 TAG3)
50500 (HLRZ@ 3 1)
50600 (CAME 3 (SPECIAL TYPE))
50700 (TDZA 1 1)
50800 (MOVEI 1 (QUOTE T))
50900 TAG3 (JUMPN 1 TAG1)
51000 (MOVE 1 0 P)
51100 (CALL 1 (E PRINT))
51200 (MOVEI 1 (QUOTE (BAD THEOREM /- THTAE)))
51300 (CALL 17 (E THERT))
51400 (JRST 0 TAG0)
51500 TAG1 (HLRZ@ 1 (SPECIAL THX))
51600 (CALL 1 (E NCONS))
51700 (MOVE 2 0 P)
51800 (CALL 2 (E XCONS))
51900 (MOVEI 2 (QUOTE THAPPLY))
52000 (CALL 2 (E XCONS))
52100 TAG0 (SUB P (C 0 0 1 1))
52200 (POPJ P)
52300 NIL
52400
52500
52600 (LAP THTAEG0602 SUBR)
52700 (PUSH P 1)
52800 (HRRZ@ 1 (SPECIAL XX))
52900 (HLRZ@ 1 1)
53000 (PUSH P 1)
53100 (MOVE 1 -1 P)
53200 (CALLF@ 1 0 P)
53300 (SUB P (C 0 0 1 1))
53400 (JUMPE 1 TAG1)
53500 (HLRZ@ 1 (SPECIAL THX))
53600 (CALL 1 (E NCONS))
53700 (MOVE 2 0 P)
53800 (CALL 2 (E XCONS))
53900 (MOVEI 2 (QUOTE THAPPLY))
54000 (CALL 2 (E XCONS))
54100 (CALL 1 (E NCONS))
54200 TAG1 (SUB P (C 0 0 1 1))
54300 (POPJ P)
54400 NIL
54500
54600
54700 (LAP THTAE SUBR)
54800 (JSP 6 SPECBIND)
54900 (0 1 (SPECIAL XX))
55000 (HLRZ@ 2 1)
55100 (CAIE 2 (QUOTE THUSE))
55200 (JRST 0 TAG1)
55300 (PUSH P (C 0 0 TAG2 0))
55400 (PUSH P (C 0 0 (QUOTE THTAEG0599) 0))
55500 (HRRZ@ 3 1)
55600 (PUSH P 3)
55700 (MOVNI 6 2)
55800 (JCALL 16 (E MAPCAR))
55900 TAG2 (JRST 0 TAG0)
56000 TAG1 (HLRZ@ 3 1)
56100 (CAIE 3 (QUOTE THTBF))
56200 (JRST 0 TAG3)
56300 (MOVE 2 (SPECIAL THY1))
56400 (JUMPE 2 TAG5)
56500 (MOVE 2 (SPECIAL THY))
56600 (JRST 0 TAG4)
56700 TAG5 (MOVEI 2 (QUOTE T))
56800 (MOVEM 2 (SPECIAL THY1))
56900 (JUMPE 2 TAG6)
57000 (MOVE 2 (SPECIAL TYPE))
57100 (HLRZ@ 1 (SPECIAL THX))
57200 (CALL 2 (E THMATCHTB))
57300 (MOVEM 1 (SPECIAL THY))
57400 (MOVE 2 1)
57500 TAG6
57600 TAG4 (MOVEI 1 (QUOTE THTAEG0602))
57700 (CALL 2 (E MAPCAN))
57800 (JRST 0 TAG0)
57900 TAG3 (MOVE 1 (SPECIAL XX))
58000 (CALL 1 (E PRINT))
58100 (MOVEI 1 (QUOTE (UNCLEAR RECCOMMENDATION /- THTAE)))
58200 (CALL 17 (E THERT))
58300 TAG7
58400 TAG0 (JRST 0 SPECSTR)
58500 NIL
58600
58700
58800 (LAP THTAG FSUBR)
58900 (PUSH P 1)
59000 (HLRZ@ 2 1)
59100 (JUMPE 2 TAG1)
59200 (HLRZ@ 1 1)
59300 (CALL 1 (E NCONS))
59400 (MOVEI 2 (QUOTE THTAG))
59500 (CALL 2 (E XCONS))
59600 (MOVE 2 (SPECIAL THTREE))
59700 (CALL 2 (E CONS))
59800 (MOVEM 1 (SPECIAL THTREE))
59900 (JRST 0 TAG0)
60000 TAG1 (MOVE 1 2)
60100 TAG0 (SUB P (C 0 0 1 1))
60200 (POPJ P)
60300 NIL
60400
60500
60600 (LAP THTAGF SUBR)
60700 (CALL 0 (E THPOPT))
60800 (MOVEI 1 (QUOTE NIL))
60900 (POPJ P)
61000 NIL
61100
61200
61300 (LAP THTAGT SUBR)
61400 (CALL 0 (E THPOPT))
61500 (MOVE 1 (SPECIAL THVALUE))
61600 (POPJ P)
61700 NIL
61800
61900
62000 (LAP THTRUE SUBR)
62100 (MOVEI 1 (QUOTE T))
62200 (POPJ P)
62300 NIL
62400
62500
62600 (LAP THTRY1 SUBR)
62700 (HLRZ@ 1 (SPECIAL THTREE))
62800 (PUSH P 1)
62900 (CALL 1 (E CDDR))
63000 (PUSH P 1)
63100 (PUSH P (C 0 0 (QUOTE NIL) 0))
63200 (PUSH P (C 0 0 (QUOTE NIL) 0))
63300 (PUSH P (C 0 0 (QUOTE NIL) 0))
63400 TAG0 (HLRZ@ 1 -3 P)
63500 (JUMPE 1 TAG4)
63600 (HLRZ@ 1 -3 P)
63700 (HLRZ@ 1 1)
63800 (MOVEM 1 0 P)
63900 (HLRZ@ 1 1)
64000 (JRST 0 TAG5)
64100 TAG1 (MOVE 1 (SPECIAL THALIST))
64200 (MOVEM 1 (SPECIAL THOLIST))
64300 (HRRZ@ 2 0 P)
64400 (HRRZ@ 2 2)
64500 (HLRZ@ 2 2)
64600 (JUMPN 2 TAG10)
64700 (HLRZ@ 3 -3 P)
64800 (HRRZ@ 3 3)
64900 (HRLM@ 3 -3 P)
65000 (JRST 0 TAG0)
65100 TAG10 (HRRZ@ 1 0 P)
65200 (CALL 1 (E CAADR))
65300 (MOVEM 1 -1 P)
65400 (HRRZ@ 1 0 P)
65500 (HLRZ@ 1 1)
65600 (PUSH P 1)
65700 (MOVE 1 -2 P)
65800 (CALLF@ 1 0 P)
65900 (SUB P (C 0 0 1 1))
66000 (JUMPE 1 TAG13)
66100 (HLRZ@ 2 -1 P)
66200 (HRRZ@ 1 -4 P)
66300 (HLRZ@ 1 1)
66400 (CALL 2 (E THMATCH1))
66500 TAG13 (PUSH P 1)
66600 (HRRZ@ 1 -1 P)
66700 (HRRZ@ 1 1)
66800 (HRRZ@ 2 -1 P)
66900 (HRRZ@ 2 2)
67000 (HLRZ@ 2 2)
67100 (HRRZ@ 2 2)
67200 (HRLM@ 2 1)
67300 (POP P 1)
67400 (JUMPE 1 TAG11)
67500 (MOVE 1 -1 P)
67600 (JRST 0 TAG3)
67700 TAG11 (JRST 0 TAG1)
67800 TAG2 (HRRZ@ 1 0 P)
67900 (CALL 1 (E CADR))
68000 (JUMPN 1 TAG17)
68100 (HLRZ@ 2 -3 P)
68200 (HRRZ@ 2 2)
68300 (HRLM@ 2 -3 P)
68400 (JRST 0 TAG0)
68500 TAG17 (HRRZ@ 1 0 P)
68600 (CALL 1 (E CAADR))
68700 (MOVEI 2 (QUOTE THEOREM))
68800 (MOVEM 1 -2 P)
68900 (CALL 2 (E GET))
69000 (MOVEM 1 -1 P)
69100 (JUMPE 1 TAG22)
69200 (HLRZ@ 3 1)
69300 (CAIE 3 (QUOTE THCONSE))
69400 (TDZA 1 1)
69500 (MOVEI 1 (QUOTE T))
69600 TAG22 (JUMPN 1 TAG20)
69700 (MOVE 1 -2 P)
69800 (CALL 1 (E PRINT))
69900 (MOVEI 1 (QUOTE (BAD THEOREM /- THTRY1)))
70000 (CALL 17 (E THERT))
70100 (JRST 0 TAG16)
70200 TAG20 (HRRZ@ 1 0 P)
70300 (HLRZ@ 1 1)
70400 (PUSH P 1)
70500 (HRRZ@ 1 -1 P)
70600 (CALL 1 (E CAADR))
70700 (CALLF@ 1 0 P)
70800 (SUB P (C 0 0 1 1))
70900 (JUMPE 1 TAG26)
71000 (HRRZ@ 3 -4 P)
71100 (HLRZ@ 3 3)
71200 (MOVE 2 -1 P)
71300 (MOVE 1 -2 P)
71400 (CALL 3 (E THAPPLY1))
71500 TAG26 (PUSH P 1)
71600 (HRRZ@ 1 -1 P)
71700 (HRRZ@ 1 1)
71800 (HRRZ@ 2 -1 P)
71900 (HRRZ@ 2 2)
72000 (HLRZ@ 2 2)
72100 (HRRZ@ 2 2)
72200 (HRLM@ 2 1)
72300 (POP P 1)
72400 (JUMPE 1 TAG24)
72500 (MOVEI 1 (QUOTE T))
72600 (JRST 0 TAG3)
72700 TAG24 (JRST 0 TAG2)
72800 TAG16
72900 TAG4 (MOVEI 1 (QUOTE NIL))
73000 TAG3 (JRST 0 TAG31)
73100 TAG5 (CAIN 1 (QUOTE THTBF))
73200 (JRST 0 TAG2)
73300 (CAIN 1 (QUOTE THDBF))
73400 (JRST 0 TAG1)
73500 (CAIN 1 (QUOTE THGOAL3))
73600 (JRST 0 TAG0)
73700 (PUSHJ P *UDT)
73800 TAG31 (SUB P (C 0 0 5 5))
73900 (POPJ P)
74000 NIL
74100
74200
74300 (LAP THTRY SUBR)
74400 (PUSH P 1)
74500 (HLRZ@ 2 1)
74600 (CAIE 2 (QUOTE THTBF))
74700 (JRST 0 TAG1)
74800 (CALL 1 (E CADR))
74900 (PUSH P 1)
75000 (MOVE 1 (SPECIAL THZ1))
75100 (JUMPE 1 TAG3)
75200 (MOVE 1 (SPECIAL THZ))
75300 (JRST 0 TAG2)
75400 TAG3 (MOVEI 1 (QUOTE T))
75500 (MOVEM 1 (SPECIAL THZ1))
75600 (JUMPE 1 TAG4)
75700 (MOVEI 2 (QUOTE THCONSE))
75800 (MOVE 1 (SPECIAL THA2))
75900 (CALL 2 (E THMATCHTB))
76000 (MOVEM 1 (SPECIAL THZ))
76100 TAG4
76200 TAG2 (CALL 1 (E NCONS))
76300 (POP P 2)
76400 (CALL 2 (E XCONS))
76500 (MOVEI 2 (QUOTE THTBF))
76600 (CALL 2 (E XCONS))
76700 (JRST 0 TAG0)
76800 TAG1 (HLRZ@ 3 1)
76900 (CAIE 3 (QUOTE THDBF))
77000 (JRST 0 TAG5)
77100 (CALL 1 (E CADR))
77200 (PUSH P 1)
77300 (MOVE 1 (SPECIAL THY1))
77400 (JUMPE 1 TAG7)
77500 (MOVE 1 (SPECIAL THY))
77600 (JRST 0 TAG6)
77700 TAG7 (MOVEI 1 (QUOTE T))
77800 (MOVEM 1 (SPECIAL THY1))
77900 (JUMPE 1 TAG10)
78000 (MOVE 1 (SPECIAL THA2))
78100 (CALL 1 (E THMATCHDB))
78200 (MOVEM 1 (SPECIAL THY))
78300 TAG10
78400 TAG6 (CALL 1 (E NCONS))
78500 (POP P 2)
78600 (CALL 2 (E XCONS))
78700 (MOVEI 2 (QUOTE THDBF))
78800 (CALL 2 (E XCONS))
78900 (JRST 0 TAG0)
79000 TAG5 (HLRZ@ 4 1)
79100 (CAIE 4 (QUOTE THUSE))
79200 (JRST 0 TAG11)
79300 (HRRZ@ 1 1)
79400 (CALL 1 (E NCONS))
79500 (MOVEI 2 (QUOTE THTRUE))
79600 (CALL 2 (E XCONS))
79700 (MOVEI 2 (QUOTE THTBF))
79800 (CALL 2 (E XCONS))
79900 (JRST 0 TAG0)
80000 TAG11 (MOVE 1 0 P)
80100 (CALL 1 (E PRINT))
80200 (MOVEI 1 (QUOTE (UNCLEAR RECOMMENDATION /- THTRY)))
80300 (CALL 17 (E THERT))
80400 TAG12
80500 TAG0 (SUB P (C 0 0 1 1))
80600 (POPJ P)
80700 NIL
80800
80900
81000 (LAP THUNDOF SUBR)
81100 (HLRZ@ 1 (SPECIAL THTREE))
81200 (CALL 1 (E CADDR))
81300 (JUMPN 1 TAG4)
81400 (CALL 0 (E THPOPT))
81500 (JRST 0 TAG3)
81600 TAG4 (HLRZ@ 1 (SPECIAL THTREE))
81700 (CALL 1 (E CDDR))
81800 (MOVEM 1 (SPECIAL THXX))
81900 (CALL 1 (E CAADR))
82000 (MOVEM 1 (SPECIAL THALIST))
82100 (HRRZ@ 1 (SPECIAL THXX))
82200 (HRRZ@ 2 (SPECIAL THXX))
82300 (HLRZ@ 2 2)
82400 (HRRZ@ 2 2)
82500 (HRLM@ 2 1)
82600 (HLRZ@ 1 (SPECIAL THXX))
82700 (HLRZ@ 1 1)
82800 (MOVEM 1 (SPECIAL THTREE))
82900 (HLRZ@ 3 (SPECIAL THXX))
83000 (HRRZ@ 3 3)
83100 (HRLM@ 3 (SPECIAL THXX))
83200 TAG5
83300 TAG3 (MOVEI 1 (QUOTE NIL))
83400 (POPJ P)
83500 NIL
83600
83700
83800 (LAP THUNDOT SUBR)
83900 (CALL 0 (E THPOPT))
84000 (MOVEI 1 (QUOTE T))
84100 (POPJ P)
84200 NIL
84300
84400
84500 (LAP THUNIQUEG0646G0647 SUBR)
84600 (MOVE 1 (SPECIAL THXX))
84700 (CALL 1 (E PRINT))
84800 (MOVEI 1 (QUOTE (THUNBOUND /- THUNIQUE)))
84900 (JCALL 17 (E THERT))
85000 NIL
85100
85200
85300 (LAP THUNIQUEG0646 SUBR)
85400 (PUSH P 1)
85500 (CALL 1 (E ATOM))
85600 (JUMPE 1 TAG1)
85700 (MOVE 1 0 P)
85800 (MOVEM 1 (SPECIAL THXX))
85900 (MOVEI 3 (QUOTE THUNIQUEG0646G0647))
86000 (MOVE 2 (SPECIAL THALIST))
86100 (MOVE 1 0 P)
86200 (CALL 3 (E SASSQ))
86300 (CALL 1 (E CADR))
86400 (JRST 0 TAG0)
86500 TAG1 (MOVE 2 (SPECIAL THALIST))
86600 (MOVE 1 0 P)
86700 (CALL 2 (E THVAL))
86800 TAG2
86900 TAG0 (SUB P (C 0 0 1 1))
87000 (POPJ P)
87100 NIL
87200
87300
87400 (LAP THUNIQUE FSUBR)
87500 (PUSH P 1)
87600 (PUSH P (SPECIAL THALIST))
87700 TAG0 (MOVE 1 0 P)
87800 (JUMPN 1 TAG5)
87900 (MOVE 1 -1 P)
88000 (CALL 1 (E PRINT))
88100 (MOVEI 1 (QUOTE (NOT FOUND /- THUNIQUE)))
88200 (CALL 17 (E THERT))
88300 (JRST 0 TAG4)
88400 TAG5 (HLRZ@ 2 -1 P)
88500 (HLRZ@ 3 1)
88600 (HLRZ@ 3 3)
88700 (CAME 3 2)
88800 (JRST 0 TAG6)
88900 (HLRZ@ 4 1)
89000 (HRRZ@ 4 4)
89100 (HLRZ@ 4 4)
89200 (CAIE 4 (QUOTE THUNIQUE))
89300 (TDZA 1 1)
89400 (MOVEI 1 (QUOTE T))
89500 (JUMPN 1 TAG7)
89600 (HLRZ@ 1 0 P)
89700 (PUSH P 1)
89800 (PUSH P (C 0 0 TAG10 0))
89900 (PUSH P (C 0 0 (QUOTE THUNIQUEG0646) 0))
90000 (HLRZ@ 5 -3 P)
90100 (HRRZ@ 5 5)
90200 (HLRZ@ 5 5)
90300 (PUSH P 5)
90400 (MOVNI 6 2)
90500 (JCALL 16 (E MAPCAR))
90600 TAG10 (MOVEI 2 (QUOTE THUNIQUE))
90700 (CALL 2 (E XCONS))
90800 (HRRM@ 1 0 P)
90900 (POP P 1)
91000 TAG7 (HRRZ@ 2 0 P)
91100 (HLRZ@ 1 0 P)
91200 (CALL 2 (E MEMBER))
91300 (JUMPE 1 TAG11)
91400 (TDZA 1 1)
91500 TAG11 (MOVEI 1 (QUOTE T))
91600 (JRST 0 TAG1)
91700 TAG6 (HRRZ@ 1 0 P)
91800 (MOVEM 1 0 P)
91900 (JRST 0 TAG0)
92000 TAG12
92100 TAG4 (MOVEI 1 (QUOTE NIL))
92200 TAG1 (SUB P (C 0 0 2 2))
92300 (POPJ P)
92400 NIL
92500
92600
92700 (LAP THV1G0657 SUBR)
92800 (MOVE 1 (SPECIAL THXX))
92900 (CALL 1 (E PRINT))
93000 (MOVEI 1 (QUOTE (THUNBOUND /- THV1)))
93100 (JCALL 17 (E THERT))
93200 NIL
93300
93400
93500 (LAP THV1 SUBR)
93600 (PUSH P 1)
93700 (MOVEM 1 (SPECIAL THXX))
93800 (MOVEI 3 (QUOTE THV1G0657))
93900 (MOVE 2 (SPECIAL THALIST))
94000 (MOVE 1 0 P)
94100 (CALL 3 (E SASSQ))
94200 (HRRZ@ 2 1)
94300 (HLRZ@ 2 2)
94400 (MOVEM 2 0 P)
94500 (CAIE 2 (QUOTE THUNASSIGNED))
94600 (JRST 0 TAG4)
94700 (MOVE 1 (SPECIAL THXX))
94800 (CALL 1 (E PRINT))
94900 (MOVEI 1 (QUOTE (THUNASSIGNED /- THV1)))
95000 (CALL 17 (E THERT))
95100 (JRST 0 TAG3)
95200 TAG4 (MOVE 1 0 P)
95300 TAG5
95400 TAG3 (SUB P (C 0 0 1 1))
95500 (POPJ P)
95600 NIL
95700
95800
95900 (LAP THV FSUBR)
96000 (HLRZ@ 1 1)
96100 (JCALL 1 (E THV1))
96200 NIL
96300
96400
96500 (LAP THVALG0660 SUBR)
96600 (MOVE 1 (SPECIAL THE))
96700 (CALL 1 (E *EVAL))
96800 (MOVEM 1 (SPECIAL THVALUE))
96900 (POPJ P)
97000 NIL
97100
97200
97300 (LAP THVAL SUBR)
97400 (JSP 6 SPECBIND)
97500 (0 1 (SPECIAL THEXP))
97600 (0 2 (SPECIAL THALIST))
97700 (MOVE 1 2)
97800 (CALL 1 (E NCONS))
97900 (MOVE 2 (SPECIAL THTREE))
98000 (CALL 2 (E XCONS))
98100 (MOVE 2 (SPECIAL THLEVEL))
98200 (CALL 2 (E CONS))
98300 (MOVEM 1 (SPECIAL THLEVEL))
98400 (JSP 6 SPECBIND)
98500 (0 0 (SPECIAL THTREE))
98600 (0 0 (SPECIAL THVALUE))
98700 (0 0 (SPECIAL THBRANCH))
98800 (0 0 (SPECIAL THOLIST))
98900 (0 0 (SPECIAL THABRANCH))
99000 (0 0 (SPECIAL THE))
99100 (0 0 (SPECIAL THV))
99200 (0 0 (SPECIAL THMESSAGE))
99300 (MOVEI 1 (QUOTE (THV THNV)))
99400 (MOVEM 1 (SPECIAL THV))
99500 TAG0 (MOVE 1 (SPECIAL THEXP))
99600 (MOVEM 1 (SPECIAL THE))
99700 (CLEARM 1 (SPECIAL THEXP))
99800 (MOVE 1 (SPECIAL ↑A))
99900 (JUMPE 1 TAG14)
00100 (CLEARM 1 (SPECIAL ↑A))
00200 (MOVEI 1 (QUOTE (↑A /- THVAL)))
00300 (CALL 17 (E THERT))
00400 (JUMPN 1 TAG15)
00500 (JRST 0 TAG3)
00600 TAG15
00700 TAG14 (MOVE 1 (SPECIAL THSTEP))
00800 (JUMPE 1 TAG17)
00900 (CALL 1 (E *EVAL))
01000 TAG17 (MOVEI 1 (QUOTE ((THVALG0660))))
01100 (CALL 17 (E ERRSET))
01200 (JUMPN 1 TAG20)
01300 (MOVE 1 (SPECIAL THE))
01400 (CALL 1 (E PRINT))
01500 (MOVEI 1 (QUOTE (LISPERROR /- THVAL)))
01600 (CALL 17 (E THERT))
01700 (MOVEM 1 (SPECIAL THVALUE))
01800 TAG21
01900 TAG20
02000 TAG1 (MOVE 1 (SPECIAL THSTEPD))
02100 (JUMPE 1 TAG24)
02200 (CALL 1 (E *EVAL))
02300 TAG24 (MOVE 1 (SPECIAL THINF))
02400 (JUMPN 1 TAG3)
02500 (MOVE 1 (SPECIAL THEXP))
02600 (JUMPN 1 TAG0)
02700 (MOVE 1 (SPECIAL THVALUE))
02800 (JUMPN 1 TAG2)
02900 (JRST 0 TAG3)
03000 TAG2 (MOVE 1 (SPECIAL THSTEPT))
03100 (JUMPE 1 TAG30)
03200 (CALL 1 (E *EVAL))
03300 TAG30 (MOVE 1 (SPECIAL THBRANCH))
03400 (JUMPN 1 TAG32)
03500 (MOVE 1 (SPECIAL THTREE))
03600 (MOVEM 1 (SPECIAL THBRANCH))
03700 (MOVE 1 (SPECIAL THALIST))
03800 (MOVEM 1 (SPECIAL THABRANCH))
03900 TAG32 (MOVE 1 (SPECIAL THTREE))
04000 (JUMPN 1 TAG34)
04100 (HRRZ@ 1 (SPECIAL THLEVEL))
04200 (MOVEM 1 (SPECIAL THLEVEL))
04300 (MOVE 1 (SPECIAL THVALUE))
04400 (JRST 0 TAG10)
04500 TAG34 (MOVEI 2 (QUOTE THSUCCEED))
04600 (CALL 1 (E CAAR))
04700 (CALL 2 (E GET))
04800 (MOVEM 1 (SPECIAL THEXP))
04900 (JUMPN 1 TAG4)
05000 (MOVEI 1 (QUOTE (BAD SUCCEED /- THVAL)))
05100 (CALL 17 (E THERT))
05200 (JUMPN 1 TAG2)
05300 (JRST 0 TAG3)
05400 TAG3 (MOVE 1 (SPECIAL THSTEPF))
05500 (JUMPE 1 TAG36)
05600 (CALL 1 (E *EVAL))
05700 TAG36 (MOVE 1 (SPECIAL THTREE))
05800 (JUMPN 1 TAG40)
05900 (HRRZ@ 1 (SPECIAL THLEVEL))
06000 (MOVEM 1 (SPECIAL THLEVEL))
06100 (JRST 0 TAG11)
06200 TAG40 (MOVE 1 (SPECIAL THMESSAGE))
06300 (JUMPE 1 TAG42)
06400 (MOVEI 2 (QUOTE (THMUNG THFAIL? THTRACES THMESSAGE THPROG THAND THASSERT THERASE THREMBIND THDO THUNDO))~
06500 ) (HLRZ@ 1 (SPECIAL THTREE))
06600 (HLRZ@ 1 1)
06700 (CALL 2 (E MEMQ))
06800 (JUMPE 1 TAG45)
06900 (MOVEI 1 (QUOTE NIL))
07000 (JRST 0 TAG44)
07100 TAG45 (CALL 0 (E THPOPT))
07200 (JRST 0 TAG3)
07300 TAG46
07400 TAG44
07500 TAG42 (JUMPN 1 TAG37)
07600 (MOVEI 2 (QUOTE THFAIL))
07700 (HLRZ@ 1 (SPECIAL THTREE))
07800 (HLRZ@ 1 1)
07900 (CALL 2 (E GET))
08000 (MOVEM 1 (SPECIAL THEXP))
08100 (JUMPN 1 TAG4)
08200 (MOVEI 1 (QUOTE (BAD FAIL /- THVAL)))
08300 (CALL 17 (E THERT))
08400 (JUMPN 1 TAG2)
08500 (JRST 0 TAG3)
08600 TAG37
08700 TAG4 (PUSH P (SPECIAL THEXP))
08800 (CLEARM 1 (SPECIAL THEXP))
08900 (CALLF@ 0 0 P)
09000 (MOVEM 1 (SPECIAL THVALUE))
09100 (SUB P (C 0 0 1 1))
09200 (JRST 0 TAG1)
09300 TAG11 (MOVEI 1 (QUOTE NIL))
09400 TAG10 (PUSHJ P SPECSTR)
09500 (JRST 0 SPECSTR)
09600 NIL
09700
09800
09900 (LAP THVAR SUBR)
10000 (MOVEI 2 (QUOTE (THV THNV)))
10100 (HLRZ@ 1 1)
10200 (JCALL 2 (E MEMQ))
10300 NIL
10400
10500
10600 (LAP THVARS2 SUBR)
10700 (PUSH P 1)
10800 (PUSH P (C 0 0 (QUOTE NIL) 0))
10900 (HLRZ@ 2 1)
11000 (CAIE 2 (QUOTE THEV))
11100 (JRST 0 TAG4)
11200 (MOVE 2 (SPECIAL THALIST))
11300 (CALL 1 (E CADR))
11400 (CALL 2 (E THVAL))
11500 (MOVEM 1 -1 P)
11600 TAG4 (MOVE 2 (SPECIAL THV))
11700 (HLRZ@ 1 -1 P)
11800 (CALL 2 (E MEMQ))
11900 (JUMPN 1 TAG6)
12000 (MOVE 1 -1 P)
12100 (JRST 0 TAG0)
12200 TAG6 (MOVE 2 (SPECIAL THALIST))
12300 (MOVE 1 -1 P)
12400 (CALL 2 (E THGAL))
12500 (MOVEM 1 0 P)
12600 (HRRZ@ 2 1)
12700 (HLRZ@ 2 2)
12800 (CAIE 2 (QUOTE THUNASSIGNED))
12900 (JRST 0 TAG10)
13000 (MOVE 1 -1 P)
13100 (JRST 0 TAG7)
13200 TAG10 (HRRZ@ 1 0 P)
13300 (HLRZ@ 1 1)
13400 TAG11
13500 TAG7
13600 TAG0 (SUB P (C 0 0 2 2))
13700 (POPJ P)
13800 NIL
13900
14000
14100 (LAP THVARSUBST SUBR)
14200 (PUSH P 1)
14300 (HLRZ@ 2 1)
14400 (CAIE 2 (QUOTE THEV))
14500 (JRST 0 TAG4)
14600 (MOVE 2 (SPECIAL THALIST))
14700 (CALL 1 (E CADR))
14800 (CALL 2 (E THVAL))
14900 (MOVEM 1 0 P)
15000 (JRST 0 TAG3)
15100 TAG4 (MOVE 2 (SPECIAL THV))
15200 (HLRZ@ 1 1)
15300 (CALL 2 (E MEMQ))
15400 (JUMPE 1 TAG5)
15500 (MOVE 1 0 P)
15600 (CALL 1 (E *EVAL))
15700 (MOVEM 1 0 P)
15800 TAG5
15900 TAG3 (MOVE 1 0 P)
16000 (CALL 1 (E ATOM))
16100 (JUMPE 1 TAG7)
16200 (MOVE 1 0 P)
16300 (JRST 0 TAG6)
16400 TAG7 (PUSH P (C 0 0 TAG12 0))
16500 (PUSH P (C 0 0 (QUOTE THVARS2) 0))
16600 (PUSH P -2 P)
16700 (MOVNI 6 2)
16800 (JCALL 16 (E MAPCAR))
16900 TAG12
17000 TAG10
17100 TAG6 (SUB P (C 0 0 1 1))
17200 (POPJ P)
17300 NIL
17400
17500
17600 (LAP THVSETQ FSUBR)
17700 (JSP 6 SPECBIND)
17800 (0 1 (SPECIAL THA))
17900 (PUSH P 1)
18000 TAG0 (MOVE 1 0 P)
18100 (JUMPN 1 TAG5)
18200 (MOVE 1 (SPECIAL THVALUE))
18300 (JRST 0 TAG1)
18400 TAG5 (HRRZ@ 2 1)
18500 (JUMPN 2 TAG6)
18600 (MOVE 1 (SPECIAL THA))
18700 (CALL 1 (E PRINT))
18800 (MOVEI 1 (QUOTE (ODD NUMBER OF GOODIES /- THSETQ)))
18900 (CALL 17 (E THERT))
19000 (JRST 0 TAG4)
19100 TAG6 (HLRZ@ 1 0 P)
19200 (CALL 1 (E THSGAL))
19300 (HRRZ@ 1 1)
19400 (MOVE 2 (SPECIAL THALIST))
19500 (PUSH P 1)
19600 (HRRZ@ 1 -1 P)
19700 (HLRZ@ 1 1)
19800 (CALL 2 (E THVAL))
19900 (HRLM@ 1 0 P)
20000 (HLRZ@ 1 0 P)
20100 (MOVEM 1 (SPECIAL THVALUE))
20200 (SUB P (C 0 0 1 1))
20300 TAG7
20400 TAG4 (HRRZ@ 1 0 P)
20500 (HRRZ@ 1 1)
20600 (MOVEM 1 0 P)
20700 (JRST 0 TAG0)
20800 TAG1 (SUB P (C 0 0 1 1))
20900 (JRST 0 SPECSTR)
21000 NIL
21100
21200 (DEFPROP THTAG THTAGF THFAIL)
21300
21400 (DEFPROP THTAG THTAGT THSUCCEED)
21500
21600 (DEFPROP THGOAL THGOALT THSUCCEED)
21700
21800 (DEFPROP THGOAL THGOALF THFAIL)
21900
22000 (DEFPROP THFAIL? THFAIL?F THFAIL)
22100
22200 (DEFPROP THFAIL? THFAIL?T THSUCCEED)
22300
22400 (DEFPROP THAMONG THAMONGF THFAIL)
22500
22600 (DEFPROP THFIND THFINDF THFAIL)
22700
22800 (DEFPROP THFIND THFINDT THSUCCEED)
22900
23000 (DEFPROP THPROG THPROGT THSUCCEED)
23100
23200 (DEFPROP THAND THANDT THSUCCEED)
23300
23400 (DEFPROP THMUNG THMUNGT THSUCCEED)
23500
23600 (DEFPROP THERASE THERASET THSUCCEED)
23700
23800 (DEFPROP THASSERT THASSERTT THSUCCEED)
23900
24000 (DEFPROP THOR THORT THSUCCEED)
24100
24200 (DEFPROP THCOND THCONDT THSUCCEED)
24300
24400 (DEFPROP THAND THANDF THFAIL)
24500
24600 (DEFPROP THPROG THPROGF THFAIL)
24700
24800 (DEFPROP THMUNG THMUNGF THFAIL)
24900
25000 (DEFPROP THASSERT THASSERTF THFAIL)
25100
25200 (DEFPROP THERASE THERASEF THFAIL)
25300
25400 (DEFPROP THCOND THCONDF THFAIL)
25500
25600 (DEFPROP THOR THORF THFAIL)
25700
25800 (DEFPROP THDO THDOB THSUCCEED)
25900
26000 (DEFPROP THDO THDOB THFAIL)
26100
26200 (DEFPROP THUNDO THUNDOF THFAIL)
26300
26400 (DEFPROP THUNDO THUNDOT THSUCCEED)
26500
26600 (DEFPROP THMESSAGE THMESSAGEF THFAIL)
26700
26800 (DEFPROP THMESSAGE THMESSAGET THSUCCEED)
26900
27000 (DEFPROP THREMBIND THREMBINDT THSUCCEED)
27100
27200 (DEFPROP THREMBIND THREMBINDF THFAIL)
27300
27400 (PUTPROP (QUOTE THERT) (QUOTE (LAMBDA (/0ERTA) (PROG (/0LISTEN ↑W ↑Q) (SETQ LEVEL# (ADD1 LEVEL#)) (PRINT (QUOTE ~
27500 >>>)) (MAPC (FUNCTION THPRINT2) /0ERTA) (PRINT (QUOTE LISTENING)) (OR THLEVEL (THPRINT2 (QUOTE THVAL))) /0LISTEN~
27600 (SETQ THINF NIL) (TERPRI) (PRINC LEVEL#) (PRINC (QUOTE !)) (COND ((EQ (SETQ /0LISTEN (READ)) (QUOTE T))
27650 (SETQ LEVEL# (SUB1 LEVEL#))(RETURN~
27700 T)) ((AND THLEVEL (NULL /0LISTEN)) (SETQ THINF T) (SETQ LEVEL# (SUB1 LEVEL#)) (RETURN NIL)) ((AND (NOT (ATOM /0~
27800 LISTEN)) (EQ (CAR /0LISTEN) (QUOTE #))) (SETQ LEVEL# (SUB1 LEVEL#)) (RETURN (SETQ ANS (CDR /0LISTEN)))) (THLEVEL~
27900 (ERRSET (PRINT (EVAL /0LISTEN)))) (T (ERRSET (PRINT (THVAL /0LISTEN THALIST))))) (GO /0LISTEN)))) (QUOTE FEXPR)~
28000 )
28100
28200
28300 (LAP THINIT FSUBR)
28400 (CLEARM 1 (SPECIAL ↑A))
28500 (CLEARM 1 (SPECIAL THSTEP))
28600 (CLEARM 1 (SPECIAL THSTEPD))
28700 (CLEARM 1 (SPECIAL THSTEPT))
28800 (CLEARM 1 (SPECIAL THSTEPF))
28900 (CLEARM 1 (SPECIAL THXX))
29000 (CLEARM 1 (SPECIAL THTRACE))
29100 (MOVEI 1 (QUOTE ((NIL NIL))))
29200 (MOVEM 1 (SPECIAL THALIST))
29300 (PUSH P (C 0 0 TAG3 0))
29400 (PUSH P (C 0 0 (QUOTE EVAL) 0))
29500 (MOVEI 1 (QUOTE ( (TERPRI)
29550 (PRINC (QUOTE micro-PLANNER/ #135 ))
29575 (SETQ ERRLIST (CDDDR ERRLIST))
29587 (SETQ LEVEL# -1)
29593 (SETQ THINF NIL)
29693 (SETQ THTREE NIL)
29696 (SETQ THLEVEL NIL)
29698 (THERT TOP LEVEL))))
29700 (MOVEM 1 (SPECIAL ERRLIST))
29800 (PUSH P 1)
29900 (MOVNI 6 2)
30000 (JCALL 16 (E MAPC))
30100 TAG3 (MOVEI 1 (QUOTE EXIT))
30150 (CALL 1 (E PRINT))
30200 (POPJ P)
30300 NIL
30400