(DEFPROP CYCOMHFNS (CYCOMHFNS NODES LABELEDGES TRY? LEQ ALPHORD) VALUE) 

(LAP NODES SUBR) 
       (PUSH P 1.) 
       (HRRZ@ 1. 1.) 
       (HLRZ@ 1. 1.) 
       (PUSH P 1.) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
 TAG1  (MOVE 1. -2. P) 
       (JUMPE 1. TAG4) 
       (HLRZ@ 1. -2. P) 
       (MOVEM 1. -1. P) 
       (PUSH P (C 0. 0. TAG10 0.)) 
       (PUSH P -1. P) 
       (HRRZ@ 1. 1.) 
       (HLRZ@ 1. 1.) 
       (CALL 1. (E NCONS) S) 
       (PUSH P 1.) 
       (MOVNI 6. 2.) 
       (JCALL 14. (E NCONC) S) 
 TAG10 (MOVEM 1. 0. P) 
 TAG2 
 TAG3  (HRRZ@ 1. -2. P) 
       (MOVEM 1. -2. P) 
       (JRST 0. TAG1) 
 TAG4  (MOVE 1. 0. P) 
       (SUB P (C 4. 0. 4. 0.)) 
       (POPJ P) 
       NIL 

(LAP LABELEDGES SUBR) 
       (PUSH P 1.) 
       (PUSH P 2.) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
       (HRRZ@ 1. 1.) 
       (HLRZ@ 1. 1.) 
       (PUSH P 1.) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
       (PUSH P (C 0. 0. (QUOTE NIL) 0.)) 
 TAG1  (MOVE 1. -4. P) 
       (JUMPE 1. TAG7) 
       (HLRZ@ 1. -4. P) 
       (HRRZ@ 2. 1.) 
       (HRRZ@ 2. 2.) 
       (HRRZ@ 2. 2.) 
       (MOVEM 2. -1. P) 
       (MOVEM 1. -3. P) 
 TAG2  (MOVE 1. -1. P) 
       (JUMPE 1. TAG5) 
       (HLRZ@ 1. -1. P) 
       (MOVEM 1. -2. P) 
       (HRRZ@ 1. -3. P) 
       (MOVE 2. -2. P) 
       (HLRZ@ 1. 1.) 
       (CALL 2. (E LEQ) S) 
       (JUMPE 1. TAG4) 
       (MOVE 2. -2. P) 
       (HRRZ@ 1. -3. P) 
       (HLRZ@ 1. 1.) 
       (CALL 2. (E CONS) S) 
       (MOVE 2. 0. P) 
       (CALL 2. (E CONS) S) 
       (MOVEM 1. 0. P) 
 TAG3 
 TAG4  (HRRZ@ 1. -1. P) 
       (MOVEM 1. -1. P) 
       (JRST 0. TAG2) 
 TAG5 
 TAG6  (HRRZ@ 1. -4. P) 
       (MOVEM 1. -4. P) 
       (JRST 0. TAG1) 
 TAG7  (MOVE 2. 0. P) 
       (MOVEI 1. (QUOTE ?) S) 
       (CALL 2. (E CONS) S) 
       (MOVE 3. -9. P) 
       (MOVE 2. -8. P) 
       (CALL 3. (E LABELM) S) 
       (SUB P (C 5. 0. 5. 0.)) 
       (MOVEM 1. -1. P) 
 TAG8  (MOVE 1. -1. P) 
       (JUMPE 1. TAG11) 
       (HLRZ@ 1. -1. P) 
       (MOVEM 1. -2. P) 
       (HLRZ@ 1. 1.) 
       (CALL 1. (E LUNCLASS) S) 
       (HRRZ@ 2. -2. P) 
       (CALL 2. (E CONS) S) 
       (MOVE 2. 0. P) 
       (CALL 2. (E CONS) S) 
       (MOVEM 1. 0. P) 
 TAG9 
 TAG10 (HRRZ@ 1. -1. P) 
       (MOVEM 1. -1. P) 
       (JRST 0. TAG8) 
 TAG11 (MOVE 1. 0. P) 
       (SUB P (C 5. 0. 5. 0.)) 
       (POPJ P) 
       NIL 

(LAP TRY? SUBR) 
       (MOVEI 1. (QUOTE T) S) 
       (POPJ P) 
       NIL 

(LAP LEQ SUBR) 
       (PUSH P 1.) 
       (PUSH P 2.) 
       (CAMN 1. 2.) 
       (JRST 0. TAG1) 
       (CALL 1. (E ATOM) S) 
       (JUMPN 1. TAG4) 
       (MOVE 1. 2.) 
       (CALL 1. (E ATOM) S) 
       (JUMPE 1. TAG7) 
       (MOVEI 1. (QUOTE NIL)) 
       (JRST 0. TAG6) 
 TAG7  (HLRZ@ 2. 0. P) 
       (HLRZ@ 1. -1. P) 
       (CALL 2. (E EQUAL) S) 
       (JUMPE 1. TAG11) 
       (HRRZ@ 2. 0. P) 
       (HRRZ@ 1. -1. P) 
       (CALL 2. (E LEQ) S) 
       (JRST 0. TAG10) 
 TAG11 (HLRZ@ 2. 0. P) 
       (HLRZ@ 1. -1. P) 
       (CALL 2. (E LEQ) S) 
 TAG10 
 TAG6  (JRST 0. TAG3) 
 TAG4  (MOVE 1. 2.) 
       (CALL 1. (E ATOM) S) 
       (JUMPN 1. TAG14) 
       (MOVEI 1. (QUOTE T) S) 
       (JRST 0. TAG3) 
 TAG14 (MOVE 1. -1. P) 
       (JUMPN 1. TAG16) 
       (MOVEI 1. (QUOTE T) S) 
       (JRST 0. TAG3) 
 TAG16 (MOVE 1. 2.) 
       (JUMPE 1. TAG3) 
       (MOVE 1. -1. P) 
       (CALL 1. (E NUMBERP) S) 
       (JUMPN 1. TAG18) 
       (MOVE 1. 0. P) 
       (CALL 1. (E NUMBERP) S) 
       (JUMPE 1. TAG21) 
       (MOVEI 1. (QUOTE T) S) 
       (JRST 0. TAG20) 
 TAG21 (MOVE 2. 0. P) 
       (MOVE 1. -1. P) 
       (CALL 2. (E ALPHORD) S) 
 TAG20 (JRST 0. TAG3) 
 TAG18 (MOVE 2. 0. P) 
       (MOVE 1. -1. P) 
       (CALL 2. (E *GREAT) S) 
       (JUMPE 1. TAG26) 
       (TDZA 1. 1.) 
 TAG26 (MOVEI 1. (QUOTE T) S) 
 TAG3  (JUMPN 1. TAG1) 
       (TDZA 1. 1.) 
 TAG1  (MOVEI 1. (QUOTE T) S) 
       (SUB P (C 2. 0. 2. 0.)) 
       (POPJ P) 
       NIL 

(LAP ALPHORD SUBR) 
       (JCALL 2. (E LEXORDER) S) 
       NIL