1 2(SDEFUN |NARNG-;associator;4S;1| ((|x| S) (|y| S) (|z| S) ($ S)) 3 (SPADCALL (SPADCALL (SPADCALL |x| |y| (QREFELT $ 7)) |z| (QREFELT $ 7)) 4 (SPADCALL |x| (SPADCALL |y| |z| (QREFELT $ 7)) (QREFELT $ 7)) 5 (QREFELT $ 8))) 6 7(SDEFUN |NARNG-;commutator;3S;2| ((|x| S) (|y| S) ($ S)) 8 (SPADCALL (SPADCALL |x| |y| (QREFELT $ 7)) 9 (SPADCALL |y| |x| (QREFELT $ 7)) (QREFELT $ 8))) 10 11(DECLAIM (NOTINLINE |NonAssociativeRng&;|)) 12 13(DEFUN |NonAssociativeRng&| (|#1|) 14 (SPROG ((|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$1 NIL)) 15 (PROGN 16 (LETT DV$1 (|devaluate| |#1|)) 17 (LETT |dv$| (LIST '|NonAssociativeRng&| DV$1)) 18 (LETT $ (GETREFV 11)) 19 (QSETREFV $ 0 |dv$|) 20 (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL))) 21 (|stuffDomainSlots| $) 22 (QSETREFV $ 6 |#1|) 23 (SETF |pv$| (QREFELT $ 3)) 24 $))) 25 26(MAKEPROP '|NonAssociativeRng&| '|infovec| 27 (LIST 28 '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . *) (6 . -) 29 |NARNG-;associator;4S;1| |NARNG-;commutator;3S;2|) 30 '#(|commutator| 12 |associator| 18) 'NIL 31 (CONS (|makeByteWordVec2| 1 '(0)) 32 (CONS '#(NIL) 33 (CONS 34 '#((|Join| 35 (|mkCategory| 36 (LIST '((|commutator| (|#1| |#1| |#1|)) T) 37 '((|associator| (|#1| |#1| |#1| |#1|)) T)) 38 (LIST) NIL NIL))) 39 (|makeByteWordVec2| 10 40 '(2 6 0 0 0 7 2 6 0 0 0 8 2 0 0 0 0 41 10 3 0 0 0 0 0 9))))) 42 '|lookupComplete|)) 43