
(/VERSIONCHECK 2) 

(DEFUN |PREASSOC;firstUncouplingMatrix;LPiU;1| (|op| |m| $)
  (PROG (|n|)
    (RETURN
     (SEQ
      (LETT |n| (SPADCALL |op| (QREFELT $ 11))
            |PREASSOC;firstUncouplingMatrix;LPiU;1|)
      (COND ((EQL |n| 3) (COND ((EQL |m| 2) (EXIT (|PREASSOC;A32| |op| $))))))
      (COND ((EQL |n| 4) (COND ((EQL |m| 2) (EXIT (|PREASSOC;A42| |op| $))))))
      (EXIT (CONS 1 "failed")))))) 

(DEFUN |PREASSOC;makeMonic| (|op| $)
  (PROG (#1=#:G684 |u| #2=#:G685 #3=#:G674 |i| |a| |n| |lc|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |lc| (SPADCALL |op| (QREFELT $ 15)) . #4=(|PREASSOC;makeMonic|))
        (LETT |a|
              (SPADCALL (LETT |n| (SPADCALL |op| (QREFELT $ 11)) . #4#)
                        (|spadConstant| $ 16) (QREFELT $ 18))
              . #4#)
        (SEQ (LETT |i| 0 . #4#)
             (LETT #2#
                   (PROG1 (LETT #3# (- |n| 1) . #4#)
                     (|check-subtype| (>= #3# 0) '(|NonNegativeInteger|) #3#))
                   . #4#)
             G190 (COND ((QSGREATERP |i| #2#) (GO G191)))
             (SEQ
              (LETT |u|
                    (SPADCALL (SPADCALL |op| |i| (QREFELT $ 21)) |lc|
                              (QREFELT $ 23))
                    . #4#)
              (EXIT
               (COND
                ((QEQCAR |u| 1)
                 (PROGN (LETT #1# (CONS 1 "failed") . #4#) (GO #1#)))
                ('T (SETELT |a| |i| (SPADCALL (QCDR |u|) (QREFELT $ 24)))))))
             (LETT |i| (QSADD1 |i|) . #4#) (GO G190) G191 (EXIT NIL))
        (EXIT (CONS 0 |a|))))
      #1# (EXIT #1#))))) 

(DEFUN |PREASSOC;A32| (|op| $)
  (PROG (|a| |u|)
    (RETURN
     (SEQ (LETT |u| (|PREASSOC;makeMonic| |op| $) . #1=(|PREASSOC;A32|))
          (EXIT
           (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
                 ('T
                  (SEQ (LETT |a| (QCDR |u|) . #1#)
                       (EXIT
                        (CONS 0
                              (SPADCALL
                               (LIST
                                (LIST (|spadConstant| $ 16)
                                      (|spadConstant| $ 19)
                                      (|spadConstant| $ 16))
                                (LIST (ELT |a| 1) (ELT |a| 2)
                                      (|spadConstant| $ 19))
                                (LIST
                                 (SPADCALL
                                  (SPADCALL
                                   (SPADCALL (QREFELT $ 9) (ELT |a| 1)
                                             (QREFELT $ 25))
                                   (SPADCALL (ELT |a| 1) (ELT |a| 2)
                                             (QREFELT $ 26))
                                   (QREFELT $ 27))
                                  (ELT |a| 0) (QREFELT $ 29))
                                 (SPADCALL
                                  (SPADCALL
                                   (SPADCALL (QREFELT $ 9) (ELT |a| 2)
                                             (QREFELT $ 25))
                                   (SPADCALL (ELT |a| 2) 2 (QREFELT $ 30))
                                   (QREFELT $ 27))
                                  (ELT |a| 1) (QREFELT $ 27))
                                 (SPADCALL 2 (ELT |a| 2) (QREFELT $ 31))))
                               (QREFELT $ 34)))))))))))) 

(DEFUN |PREASSOC;A42| (|op| $)
  (PROG (|i| |a''| |a'| |a| |u|)
    (RETURN
     (SEQ (LETT |u| (|PREASSOC;makeMonic| |op| $) . #1=(|PREASSOC;A42|))
          (EXIT
           (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
                 ('T
                  (SEQ (LETT |a| (QCDR |u|) . #1#)
                       (LETT |a'|
                             (SPADCALL 4 (|spadConstant| $ 16) (QREFELT $ 18))
                             . #1#)
                       (LETT |a''|
                             (SPADCALL 4 (|spadConstant| $ 16) (QREFELT $ 18))
                             . #1#)
                       (SEQ (LETT |i| 0 . #1#) G190
                            (COND ((QSGREATERP |i| 3) (GO G191)))
                            (SEQ
                             (SETELT |a'| |i|
                                     (SPADCALL (QREFELT $ 9) (ELT |a| |i|)
                                               (QREFELT $ 25)))
                             (EXIT
                              (SETELT |a''| |i|
                                      (SPADCALL (QREFELT $ 9) (ELT |a'| |i|)
                                                (QREFELT $ 25)))))
                            (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191
                            (EXIT NIL))
                       (EXIT
                        (CONS 0
                              (SPADCALL
                               (LIST
                                (LIST (|spadConstant| $ 16)
                                      (|spadConstant| $ 19)
                                      (|spadConstant| $ 16)
                                      (|spadConstant| $ 16)
                                      (|spadConstant| $ 16)
                                      (|spadConstant| $ 16))
                                (LIST (|spadConstant| $ 16)
                                      (|spadConstant| $ 16)
                                      (|spadConstant| $ 19)
                                      (|spadConstant| $ 19)
                                      (|spadConstant| $ 16)
                                      (|spadConstant| $ 16))
                                (LIST (ELT |a| 1) (ELT |a| 2)
                                      (|spadConstant| $ 16) (ELT |a| 3)
                                      (SPADCALL 2 (QREFELT $ 36))
                                      (|spadConstant| $ 16))
                                (LIST
                                 (SPADCALL
                                  (SPADCALL (ELT |a'| 1)
                                            (SPADCALL (ELT |a| 1) (ELT |a| 3)
                                                      (QREFELT $ 26))
                                            (QREFELT $ 27))
                                  (SPADCALL 2 (ELT |a| 0) (QREFELT $ 31))
                                  (QREFELT $ 29))
                                 (SPADCALL
                                  (SPADCALL (ELT |a'| 2)
                                            (SPADCALL (ELT |a| 2) (ELT |a| 3)
                                                      (QREFELT $ 26))
                                            (QREFELT $ 27))
                                  (ELT |a| 1) (QREFELT $ 27))
                                 (SPADCALL 3 (ELT |a| 2) (QREFELT $ 31))
                                 (SPADCALL
                                  (SPADCALL (ELT |a'| 3)
                                            (SPADCALL (ELT |a| 3) 2
                                                      (QREFELT $ 30))
                                            (QREFELT $ 27))
                                  (ELT |a| 2) (QREFELT $ 27))
                                 (SPADCALL 3 (ELT |a| 3) (QREFELT $ 31))
                                 (SPADCALL 2 (QREFELT $ 36)))
                                (|PREASSOC;A425| |a| |a'| |a''| $)
                                (|PREASSOC;A426| |a| |a'| |a''| $))
                               (QREFELT $ 34)))))))))))) 

(DEFUN |PREASSOC;A425| (|a| |a'| |a''| $)
  (LIST
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL
       (SPADCALL
        (SPADCALL (ELT |a''| 1)
                  (SPADCALL (SPADCALL 2 (ELT |a| 1) (QREFELT $ 31))
                            (ELT |a'| 3) (QREFELT $ 26))
                  (QREFELT $ 27))
        (SPADCALL (ELT |a| 3) (ELT |a'| 1) (QREFELT $ 26)) (QREFELT $ 27))
       (SPADCALL 2 (ELT |a'| 0) (QREFELT $ 31)) (QREFELT $ 29))
      (SPADCALL (ELT |a| 1) (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30))
                (QREFELT $ 26))
      (QREFELT $ 27))
     (SPADCALL (SPADCALL 3 (ELT |a| 0) (QREFELT $ 31)) (ELT |a| 3)
               (QREFELT $ 26))
     (QREFELT $ 29))
    (SPADCALL (ELT |a| 1) (ELT |a| 2) (QREFELT $ 26)) (QREFELT $ 27))
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL
       (SPADCALL
        (SPADCALL
         (SPADCALL (ELT |a''| 2)
                   (SPADCALL (SPADCALL 2 (ELT |a| 2) (QREFELT $ 31))
                             (ELT |a'| 3) (QREFELT $ 26))
                   (QREFELT $ 27))
         (SPADCALL (ELT |a| 3) (ELT |a'| 2) (QREFELT $ 26)) (QREFELT $ 27))
        (SPADCALL 2 (ELT |a'| 1) (QREFELT $ 31)) (QREFELT $ 27))
       (SPADCALL (ELT |a| 2) (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30))
                 (QREFELT $ 26))
       (QREFELT $ 27))
      (SPADCALL (ELT |a| 1) (ELT |a| 3) (QREFELT $ 26)) (QREFELT $ 27))
     (SPADCALL (ELT |a| 2) 2 (QREFELT $ 30)) (QREFELT $ 27))
    (SPADCALL 4 (ELT |a| 0) (QREFELT $ 31)) (QREFELT $ 29))
   (SPADCALL
    (SPADCALL (SPADCALL 4 (ELT |a'| 2) (QREFELT $ 31))
              (SPADCALL (SPADCALL 4 (ELT |a| 2) (QREFELT $ 31)) (ELT |a| 3)
                        (QREFELT $ 26))
              (QREFELT $ 27))
    (ELT |a| 1) (QREFELT $ 29))
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL
       (SPADCALL (ELT |a''| 3)
                 (SPADCALL (SPADCALL 3 (ELT |a| 3) (QREFELT $ 31)) (ELT |a'| 3)
                           (QREFELT $ 26))
                 (QREFELT $ 27))
       (SPADCALL 2 (ELT |a'| 2) (QREFELT $ 31)) (QREFELT $ 27))
      (SPADCALL (ELT |a| 3) 3 (QREFELT $ 30)) (QREFELT $ 27))
     (SPADCALL (SPADCALL 2 (ELT |a| 2) (QREFELT $ 31)) (ELT |a| 3)
               (QREFELT $ 26))
     (QREFELT $ 27))
    (ELT |a| 1) (QREFELT $ 27))
   (SPADCALL
    (SPADCALL (SPADCALL 4 (ELT |a'| 3) (QREFELT $ 31))
              (SPADCALL 4 (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30))
                        (QREFELT $ 31))
              (QREFELT $ 27))
    (SPADCALL 4 (ELT |a| 2) (QREFELT $ 31)) (QREFELT $ 27))
   (SPADCALL 5 (ELT |a| 3) (QREFELT $ 31)))) 

(DEFUN |PREASSOC;A426| (|a| |a'| |a''| $)
  (LIST
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL
       (SPADCALL
        (SPADCALL
         (SPADCALL
          (SPADCALL
           (SPADCALL
            (SPADCALL
             (SPADCALL
              (SPADCALL (SPADCALL (QREFELT $ 9) (ELT |a''| 1) (QREFELT $ 25))
                        (SPADCALL (SPADCALL 3 (ELT |a| 1) (QREFELT $ 31))
                                  (ELT |a''| 3) (QREFELT $ 26))
                        (QREFELT $ 27))
              (SPADCALL (ELT |a| 3) (ELT |a''| 1) (QREFELT $ 26))
              (QREFELT $ 27))
             (SPADCALL 2 (ELT |a''| 0) (QREFELT $ 31)) (QREFELT $ 29))
            (SPADCALL
             (SPADCALL
              (SPADCALL (SPADCALL 3 (ELT |a'| 1) (QREFELT $ 31))
                        (SPADCALL (SPADCALL 5 (ELT |a| 1) (QREFELT $ 31))
                                  (ELT |a| 3) (QREFELT $ 26))
                        (QREFELT $ 27))
              (SPADCALL 7 (ELT |a| 0) (QREFELT $ 31)) (QREFELT $ 29))
             (ELT |a'| 3) (QREFELT $ 26))
            (QREFELT $ 27))
           (SPADCALL (SPADCALL 3 (ELT |a| 1) (QREFELT $ 31)) (ELT |a'| 2)
                     (QREFELT $ 26))
           (QREFELT $ 27))
          (SPADCALL
           (SPADCALL (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30)) (ELT |a| 2)
                     (QREFELT $ 27))
           (ELT |a'| 1) (QREFELT $ 26))
          (QREFELT $ 27))
         (SPADCALL (SPADCALL 3 (ELT |a| 3) (QREFELT $ 31)) (ELT |a'| 0)
                   (QREFELT $ 26))
         (QREFELT $ 29))
        (SPADCALL (ELT |a| 1) (SPADCALL (ELT |a| 3) 3 (QREFELT $ 30))
                  (QREFELT $ 26))
        (QREFELT $ 27))
       (SPADCALL (SPADCALL 4 (ELT |a| 0) (QREFELT $ 31))
                 (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30)) (QREFELT $ 26))
       (QREFELT $ 29))
      (SPADCALL
       (SPADCALL (SPADCALL 2 (ELT |a| 1) (QREFELT $ 31)) (ELT |a| 2)
                 (QREFELT $ 26))
       (ELT |a| 3) (QREFELT $ 26))
      (QREFELT $ 27))
     (SPADCALL (SPADCALL 4 (ELT |a| 0) (QREFELT $ 31)) (ELT |a| 2)
               (QREFELT $ 26))
     (QREFELT $ 29))
    (SPADCALL (ELT |a| 1) 2 (QREFELT $ 30)) (QREFELT $ 27))
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL
       (SPADCALL
        (SPADCALL
         (SPADCALL
          (SPADCALL
           (SPADCALL
            (SPADCALL
             (SPADCALL (SPADCALL (QREFELT $ 9) (ELT |a''| 2) (QREFELT $ 25))
                       (SPADCALL (SPADCALL 3 (ELT |a| 2) (QREFELT $ 31))
                                 (ELT |a''| 3) (QREFELT $ 26))
                       (QREFELT $ 27))
             (SPADCALL (ELT |a| 3) (ELT |a''| 2) (QREFELT $ 26))
             (QREFELT $ 27))
            (SPADCALL 3 (ELT |a''| 1) (QREFELT $ 31)) (QREFELT $ 27))
           (SPADCALL
            (SPADCALL
             (SPADCALL (SPADCALL 3 (ELT |a'| 2) (QREFELT $ 31))
                       (SPADCALL (SPADCALL 5 (ELT |a| 2) (QREFELT $ 31))
                                 (ELT |a| 3) (QREFELT $ 26))
                       (QREFELT $ 27))
             (SPADCALL 3 (ELT |a| 1) (QREFELT $ 31)) (QREFELT $ 27))
            (ELT |a'| 3) (QREFELT $ 26))
           (QREFELT $ 27))
          (SPADCALL
           (SPADCALL (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30))
                     (SPADCALL 4 (ELT |a| 2) (QREFELT $ 31)) (QREFELT $ 27))
           (ELT |a'| 2) (QREFELT $ 26))
          (QREFELT $ 27))
         (SPADCALL (SPADCALL 2 (ELT |a| 3) (QREFELT $ 31)) (ELT |a'| 1)
                   (QREFELT $ 26))
         (QREFELT $ 27))
        (SPADCALL 6 (ELT |a'| 0) (QREFELT $ 31)) (QREFELT $ 29))
       (SPADCALL (ELT |a| 2) (SPADCALL (ELT |a| 3) 3 (QREFELT $ 30))
                 (QREFELT $ 26))
       (QREFELT $ 27))
      (SPADCALL (ELT |a| 1) (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30))
                (QREFELT $ 26))
      (QREFELT $ 27))
     (SPADCALL
      (SPADCALL
       (SPADCALL 2 (SPADCALL (ELT |a| 2) 2 (QREFELT $ 30)) (QREFELT $ 31))
       (SPADCALL 8 (ELT |a| 0) (QREFELT $ 31)) (QREFELT $ 29))
      (ELT |a| 3) (QREFELT $ 26))
     (QREFELT $ 27))
    (SPADCALL (SPADCALL 2 (ELT |a| 1) (QREFELT $ 31)) (ELT |a| 2)
              (QREFELT $ 26))
    (QREFELT $ 27))
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL
       (SPADCALL
        (SPADCALL
         (SPADCALL (SPADCALL 5 (ELT |a''| 2) (QREFELT $ 31))
                   (SPADCALL (SPADCALL 10 (ELT |a| 2) (QREFELT $ 31))
                             (ELT |a'| 3) (QREFELT $ 26))
                   (QREFELT $ 27))
         (SPADCALL (SPADCALL 5 (ELT |a| 3) (QREFELT $ 31)) (ELT |a'| 2)
                   (QREFELT $ 26))
         (QREFELT $ 27))
        (ELT |a'| 1) (QREFELT $ 27))
       (SPADCALL (SPADCALL 5 (ELT |a| 2) (QREFELT $ 31))
                 (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30)) (QREFELT $ 26))
       (QREFELT $ 27))
      (SPADCALL (SPADCALL 4 (ELT |a| 1) (QREFELT $ 31)) (ELT |a| 3)
                (QREFELT $ 26))
      (QREFELT $ 29))
     (SPADCALL 5 (SPADCALL (ELT |a| 2) 2 (QREFELT $ 30)) (QREFELT $ 31))
     (QREFELT $ 27))
    (SPADCALL 4 (ELT |a| 0) (QREFELT $ 31)) (QREFELT $ 29))
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL
       (SPADCALL
        (SPADCALL
         (SPADCALL
          (SPADCALL
           (SPADCALL
            (SPADCALL
             (SPADCALL (SPADCALL (QREFELT $ 9) (ELT |a''| 3) (QREFELT $ 25))
                       (SPADCALL (SPADCALL 4 (ELT |a| 3) (QREFELT $ 31))
                                 (ELT |a''| 3) (QREFELT $ 26))
                       (QREFELT $ 27))
             (SPADCALL 3 (ELT |a''| 2) (QREFELT $ 31)) (QREFELT $ 27))
            (SPADCALL 3 (SPADCALL (ELT |a'| 3) 2 (QREFELT $ 30))
                      (QREFELT $ 31))
            (QREFELT $ 27))
           (SPADCALL
            (SPADCALL
             (SPADCALL 6 (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30))
                       (QREFELT $ 31))
             (SPADCALL 4 (ELT |a| 2) (QREFELT $ 31)) (QREFELT $ 27))
            (ELT |a'| 3) (QREFELT $ 26))
           (QREFELT $ 27))
          (SPADCALL (SPADCALL 5 (ELT |a| 3) (QREFELT $ 31)) (ELT |a'| 2)
                    (QREFELT $ 26))
          (QREFELT $ 27))
         (SPADCALL 3 (ELT |a'| 1) (QREFELT $ 31)) (QREFELT $ 27))
        (SPADCALL (ELT |a| 3) 4 (QREFELT $ 30)) (QREFELT $ 27))
       (SPADCALL (SPADCALL 3 (ELT |a| 2) (QREFELT $ 31))
                 (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30)) (QREFELT $ 26))
       (QREFELT $ 27))
      (SPADCALL (SPADCALL 2 (ELT |a| 1) (QREFELT $ 31)) (ELT |a| 3)
                (QREFELT $ 26))
      (QREFELT $ 27))
     (SPADCALL (ELT |a| 2) 2 (QREFELT $ 30)) (QREFELT $ 27))
    (SPADCALL 4 (ELT |a| 0) (QREFELT $ 31)) (QREFELT $ 29))
   (SPADCALL
    (SPADCALL
     (SPADCALL
      (SPADCALL (SPADCALL 5 (ELT |a''| 3) (QREFELT $ 31))
                (SPADCALL (SPADCALL 15 (ELT |a| 3) (QREFELT $ 31)) (ELT |a'| 3)
                          (QREFELT $ 26))
                (QREFELT $ 27))
      (SPADCALL 10 (ELT |a'| 2) (QREFELT $ 31)) (QREFELT $ 27))
     (SPADCALL 5 (SPADCALL (ELT |a| 3) 3 (QREFELT $ 30)) (QREFELT $ 31))
     (QREFELT $ 27))
    (SPADCALL (SPADCALL 10 (ELT |a| 2) (QREFELT $ 31)) (ELT |a| 3)
              (QREFELT $ 26))
    (QREFELT $ 27))
   (SPADCALL
    (SPADCALL (SPADCALL 9 (ELT |a'| 3) (QREFELT $ 31))
              (SPADCALL 9 (SPADCALL (ELT |a| 3) 2 (QREFELT $ 30))
                        (QREFELT $ 31))
              (QREFELT $ 27))
    (SPADCALL 4 (ELT |a| 2) (QREFELT $ 31)) (QREFELT $ 27)))) 

(DEFUN |PrecomputedAssociatedEquations| (&REST #1=#:G708)
  (PROG ()
    (RETURN
     (PROG (#2=#:G709)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|PrecomputedAssociatedEquations|)
                                           '|domainEqualList|)
                . #3=(|PrecomputedAssociatedEquations|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |PrecomputedAssociatedEquations;|) #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache|
                    '|PrecomputedAssociatedEquations|))))))))))) 

(DEFUN |PrecomputedAssociatedEquations;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|PrecomputedAssociatedEquations|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|PrecomputedAssociatedEquations| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 37) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|PrecomputedAssociatedEquations|
                  (LIST DV$1 DV$2) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 9 (SPADCALL (QREFELT $ 8)))
      $)))) 

(MAKEPROP '|PrecomputedAssociatedEquations| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (0 . D)
              '|diff| (|NonNegativeInteger|) (4 . |degree|)
              (|Union| 33 '"failed") (|PositiveInteger|)
              |PREASSOC;firstUncouplingMatrix;LPiU;1|
              (9 . |leadingCoefficient|) (14 . |Zero|) (|PrimitiveArray| 6)
              (18 . |new|) (24 . |One|) (28 . |One|) (32 . |coefficient|)
              (|Union| $ '"failed") (38 . |exquo|) (44 . -) (49 . |elt|)
              (55 . *) (61 . +) (67 . |Zero|) (71 . -) (77 . ^) (83 . *)
              (|List| (|List| 6)) (|Matrix| 6) (89 . |matrix|) (|Integer|)
              (94 . |coerce|))
           '#(|firstUncouplingMatrix| 99) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 36
                                                 '(0 7 0 8 1 7 10 0 11 1 7 6 0
                                                   15 0 6 0 16 2 17 0 10 6 18 0
                                                   6 0 19 0 7 0 20 2 7 6 0 10
                                                   21 2 6 22 0 0 23 1 6 0 0 24
                                                   2 7 6 0 6 25 2 6 0 0 0 26 2
                                                   6 0 0 0 27 0 7 0 28 2 6 0 0
                                                   0 29 2 6 0 0 13 30 2 6 0 13
                                                   0 31 1 33 0 32 34 1 6 0 35
                                                   36 2 0 12 7 13 14)))))
           '|lookupComplete|)) 
