
(SDEFUN |PERMGRP;shortenWord|
        ((|lw| (|List| (|NonNegativeInteger|))) (|gp| (%))
         (% (|List| (|NonNegativeInteger|))))
        (SPROG
         ((|do_res| #1=(|Boolean|)) (|flag1| #1#)
          (|newlw| (|List| (|NonNegativeInteger|))) (#2=#:G103 NIL)
          (|anzahl| (|NonNegativeInteger|)) (|flag2| #1#)
          (|res| (|List| #3=(|NonNegativeInteger|))) (|test| #3#)
          (#4=#:G107 NIL) (|el| NIL) (|pos| (|Integer|)) (#5=#:G106 NIL)
          (|i| NIL) (|orderList| (|List| (|NonNegativeInteger|)))
          (#6=#:G105 NIL) (|gen| NIL) (#7=#:G104 NIL)
          (|gpgens| (|List| (|Permutation| S))))
         (SEQ (LETT |gpgens| (SPADCALL |gp| (QREFELT % 9)))
              (LETT |orderList|
                    (PROGN
                     (LETT #7# NIL)
                     (SEQ (LETT |gen| NIL) (LETT #6# |gpgens|) G190
                          (COND
                           ((OR (ATOM #6#) (PROGN (LETT |gen| (CAR #6#)) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #7#
                                  (CONS (SPADCALL |gen| (QREFELT % 12)) #7#))))
                          (LETT #6# (CDR #6#)) (GO G190) G191
                          (EXIT (NREVERSE #7#)))))
              (LETT |newlw| (SPADCALL |lw| (QREFELT % 14)))
              (SEQ (LETT |i| 1) (LETT #5# (LENGTH |orderList|)) G190
                   (COND ((|greater_SI| |i| #5#) (GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((EQL (SPADCALL |orderList| |i| (QREFELT % 16)) 1)
                       (SEQ G190
                            (COND
                             ((NULL (SPADCALL |i| |newlw| (QREFELT % 18)))
                              (GO G191)))
                            (SEQ
                             (LETT |pos| (SPADCALL |i| |newlw| (QREFELT % 19)))
                             (EXIT
                              (LETT |newlw|
                                    (SPADCALL |newlw| |pos| (QREFELT % 20)))))
                            NIL (GO G190) G191 (EXIT NIL))))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (EXIT
               (COND ((< (SPADCALL |newlw| (QREFELT % 21)) 2) |newlw|)
                     ('T
                      (SEQ (LETT |test| (|SPADfirst| |newlw|))
                           (LETT |anzahl| 0) (LETT |flag1| 'T)
                           (LETT |do_res| NIL)
                           (SEQ G190 (COND ((NULL |flag1|) (GO G191)))
                                (SEQ (LETT |test| (|SPADfirst| |newlw|))
                                     (LETT |anzahl| 1)
                                     (COND
                                      (|do_res| (LETT |res| (LIST |test|))))
                                     (LETT |flag2| 'T)
                                     (SEQ (LETT |el| NIL) (LETT #4# |newlw|)
                                          G190
                                          (COND
                                           ((OR (ATOM #4#)
                                                (PROGN
                                                 (LETT |el| (CAR #4#))
                                                 NIL)
                                                (NULL |flag2|))
                                            (GO G191)))
                                          (SEQ
                                           (COND
                                            (|do_res|
                                             (LETT |res| (CONS |el| |res|))))
                                           (LETT |anzahl| (+ |anzahl| 1))
                                           (EXIT
                                            (COND
                                             ((EQL |anzahl| 1)
                                              (LETT |test| |el|))
                                             ((SPADCALL |test| |el|
                                                        (QREFELT % 23))
                                              (SEQ (LETT |test| |el|)
                                                   (EXIT (LETT |anzahl| 1))))
                                             ('T
                                              (SEQ
                                               (EXIT
                                                (COND
                                                 ((EQL |anzahl|
                                                       (SPADCALL |orderList|
                                                                 |test|
                                                                 (QREFELT %
                                                                          16)))
                                                  (PROGN
                                                   (LETT #2#
                                                         (SEQ
                                                          (COND
                                                           (|do_res|
                                                            (LETT |res|
                                                                  (SPADCALL
                                                                   |res|
                                                                   |anzahl|
                                                                   (QREFELT %
                                                                            24))))
                                                           ('T
                                                            (LETT |flag2|
                                                                  NIL)))
                                                          (EXIT
                                                           (LETT |anzahl| 0))))
                                                   (GO #8=#:G94)))))
                                               #8# (EXIT #2#))))))
                                          (LETT #4# (CDR #4#)) (GO G190) G191
                                          (EXIT NIL))
                                     (COND
                                      (|do_res|
                                       (LETT |newlw| (NREVERSE |res|))))
                                     (LETT |flag1| |do_res|)
                                     (EXIT (LETT |do_res| (NULL |flag2|))))
                                NIL (GO G190) G191 (EXIT NIL))
                           (EXIT |newlw|)))))))) 

(SDEFUN |PERMGRP;times!|
        ((|res| (|Vector| (|NonNegativeInteger|)))
         (|p| (|Vector| (|NonNegativeInteger|)))
         (|q| (|Vector| (|NonNegativeInteger|))) (% (|Void|)))
        (SPROG ((#1=#:G112 NIL) (|i| NIL) (|degree| (|NonNegativeInteger|)))
               (SEQ (LETT |degree| (SPADCALL |p| (QREFELT % 26)))
                    (EXIT
                     (SEQ (LETT |i| 1) (LETT #1# |degree|) G190
                          (COND ((|greater_SI| |i| #1#) (GO G191)))
                          (SEQ
                           (EXIT
                            (QSETAREF1O |res| |i|
                                        (QAREF1O |p| (QAREF1O |q| |i| 1) 1)
                                        1)))
                          (LETT |i| (|inc_SI| |i|)) (GO G190) G191
                          (EXIT NIL)))))) 

(SDEFUN |PERMGRP;times|
        ((|p| (|Vector| (|NonNegativeInteger|)))
         (|q| (|Vector| (|NonNegativeInteger|)))
         (% (|Vector| (|NonNegativeInteger|))))
        (SPROG
         ((|res| (|Vector| (|NonNegativeInteger|)))
          (|degree| (|NonNegativeInteger|)))
         (SEQ (LETT |degree| (SPADCALL |p| (QREFELT % 26)))
              (LETT |res| (SPADCALL |degree| 0 (QREFELT % 27)))
              (|PERMGRP;times!| |res| |p| |q| %) (EXIT |res|)))) 

(SDEFUN |PERMGRP;inv|
        ((|p| (|Vector| (|NonNegativeInteger|)))
         (% (|Vector| (|NonNegativeInteger|))))
        (SPROG
         ((#1=#:G119 NIL) (|i| NIL) (|q| (|Vector| (|NonNegativeInteger|)))
          (|degree| (|NonNegativeInteger|)))
         (SEQ (LETT |degree| (SPADCALL |p| (QREFELT % 26)))
              (LETT |q| (SPADCALL |degree| 0 (QREFELT % 27)))
              (SEQ (LETT |i| 1) (LETT #1# |degree|) G190
                   (COND ((|greater_SI| |i| #1#) (GO G191)))
                   (SEQ (EXIT (QSETAREF1O |q| (QAREF1O |p| |i| 1) |i| 1)))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (EXIT |q|)))) 

(SDEFUN |PERMGRP;testIdentity|
        ((|p| (|Vector| (|NonNegativeInteger|))) (% (|Boolean|)))
        (SPROG
         ((#1=#:G126 NIL) (#2=#:G127 NIL) (#3=#:G128 NIL) (|i| NIL)
          (|degree| (|NonNegativeInteger|)))
         (SEQ
          (EXIT
           (SEQ (LETT |degree| (SPADCALL |p| (QREFELT % 26)))
                (SEQ
                 (EXIT
                  (SEQ (LETT |i| 1) (LETT #3# |degree|) G190
                       (COND ((|greater_SI| |i| #3#) (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((SPADCALL (QAREF1O |p| |i| 1) |i| (QREFELT % 23))
                           (PROGN
                            (LETT #1# (PROGN (LETT #2# NIL) (GO #4=#:G125)))
                            (GO #5=#:G123))))))
                       (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL)))
                 #5# (EXIT #1#))
                (EXIT 'T)))
          #4# (EXIT #2#)))) 

(SDEFUN |PERMGRP;cosetRep1|
        ((|ppt| (|NonNegativeInteger|)) (|do_words| (|Boolean|))
         (|o|
          (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                    (|:| |svc| #1=(|Vector| (|Integer|)))))
         (|grpv| (|Vector| (|Vector| (|NonNegativeInteger|))))
         (|wordv| (|Vector| (|List| (|NonNegativeInteger|))))
         (%
          (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                    (|:| |lst| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((#2=#:G141 NIL) (|p| (|Integer|))
          (|word| (|List| (|NonNegativeInteger|)))
          (|xelt| #3=(|Vector| (|NonNegativeInteger|)))
          (|tmpv| #4=(|Vector| (|NonNegativeInteger|))) (|#G25| #4#)
          (|#G24| #3#) (|x| (|Vector| (|NonNegativeInteger|))) (|osvc| #1#)
          (#5=#:G142 NIL) (#6=#:G144 NIL) (|n| NIL) (#7=#:G143 NIL)
          (|degree| (|NonNegativeInteger|)))
         (SEQ
          (EXIT
           (COND
            ((EQL (QVSIZE |grpv|) 0) (|error| "cosetRep needs nonempty group"))
            (#8='T
             (SEQ
              (LETT |degree|
                    (SPADCALL (SPADCALL |grpv| 1 (QREFELT % 29))
                              (QREFELT % 26)))
              (LETT |xelt|
                    (PROGN
                     (LETT #7# (GETREFV |degree|))
                     (SEQ (LETT |n| 1) (LETT #6# |degree|) (LETT #5# 0) G190
                          (COND ((|greater_SI| |n| #6#) (GO G191)))
                          (SEQ (EXIT (SETELT #7# #5# |n|)))
                          (LETT #5#
                                (PROG1 (|inc_SI| #5#)
                                  (LETT |n| (|inc_SI| |n|))))
                          (GO G190) G191 (EXIT NIL))
                     #7#))
              (LETT |word| NIL) (LETT |osvc| (QCDR |o|))
              (LETT |p| (QAREF1O |osvc| |ppt| 1))
              (EXIT
               (COND
                ((< |p| 0)
                 (PROGN (LETT #2# (CONS |xelt| |word|)) (GO #9=#:G140)))
                (#8#
                 (SEQ (LETT |tmpv| (SPADCALL |degree| 0 (QREFELT % 27)))
                      (EXIT
                       (SEQ G190 NIL
                            (SEQ (LETT |x| (QAREF1O |grpv| |p| 1))
                                 (|PERMGRP;times!| |tmpv| |x| |xelt| %)
                                 (PROGN
                                  (LETT |#G24| |xelt|)
                                  (LETT |#G25| |tmpv|)
                                  (LETT |tmpv| |#G24|)
                                  (LETT |xelt| |#G25|))
                                 (COND
                                  (|do_words|
                                   (LETT |word|
                                         (SPADCALL
                                          (SPADCALL |wordv| |p| (QREFELT % 31))
                                          |word| (QREFELT % 32)))))
                                 (LETT |ppt| (QAREF1O |x| |ppt| 1))
                                 (LETT |p| (QAREF1O |osvc| |ppt| 1))
                                 (EXIT
                                  (COND
                                   ((< |p| 0)
                                    (PROGN
                                     (LETT #2# (CONS |xelt| |word|))
                                     (GO #9#))))))
                            NIL (GO G190) G191 (EXIT NIL)))))))))))
          #9# (EXIT #2#)))) 

(SDEFUN |PERMGRP;strip1|
        ((|element| (|Vector| (|NonNegativeInteger|)))
         (|orbit|
          (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                    (|:| |svc| (|Vector| (|Integer|)))))
         (|group| (|List| (|Vector| (|NonNegativeInteger|))))
         (|words| (|List| (|List| (|NonNegativeInteger|))))
         (%
          (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                    (|:| |lst| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((|cr|
           (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                     (|:| |lst| (|List| (|NonNegativeInteger|)))))
          (|point| (|NonNegativeInteger|))
          (|wordv| (|Vector| (|List| (|NonNegativeInteger|))))
          (|do_words| (|Boolean|))
          (|grpv| (|Vector| (|Vector| (|NonNegativeInteger|)))))
         (SEQ (LETT |grpv| (SPADCALL |group| (QREFELT % 34)))
              (LETT |wordv| (MAKE-ARRAY 0))
              (LETT |do_words| (NULL (NULL |words|)))
              (COND
               (|do_words| (LETT |wordv| (SPADCALL |words| (QREFELT % 36)))))
              (LETT |point|
                    (QAREF1O |element|
                             (SPADCALL (QCAR |orbit|) 1 (QREFELT % 37)) 1))
              (LETT |cr|
                    (|PERMGRP;cosetRep1| |point| |do_words| |orbit| |grpv|
                     |wordv| %))
              (EXIT
               (CONS (|PERMGRP;times| (QCAR |cr|) |element| %)
                     (REVERSE (QCDR |cr|))))))) 

(SDEFUN |PERMGRP;strip|
        ((|z| #1=(|Vector| (|NonNegativeInteger|))) (|i| (|Integer|))
         (|do_words| (|Boolean|))
         (|orbs|
          (|Vector|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| #2=(|Vector| (|Integer|))))))
         (|grpv| (|Vector| (|Vector| (|NonNegativeInteger|))))
         (|wordv| (|Vector| (|List| (|NonNegativeInteger|))))
         (%
          (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                    (|:| |lst| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((|word| (|List| (|NonNegativeInteger|)))
          (|tmpv| #3=(|Vector| (|NonNegativeInteger|))) (|#G38| #1#)
          (|#G37| #3#) (|ee| (|Vector| (|NonNegativeInteger|)))
          (|noresult| (|Boolean|)) (#4=#:G161 NIL) (|entry| (|Integer|))
          (|p| (|NonNegativeInteger|)) (|s| #2#)
          (|orbj|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| (|Vector| (|Integer|)))))
          (|j| NIL) (|degree| (|NonNegativeInteger|)))
         (SEQ (LETT |degree| (SPADCALL |z| (QREFELT % 26))) (LETT |word| NIL)
              (LETT |tmpv| (SPADCALL |degree| 0 (QREFELT % 27)))
              (LETT |noresult| 'T)
              (SEQ (LETT |j| |i|) G190
                   (COND ((OR (< |j| 1) (NULL |noresult|)) (GO G191)))
                   (SEQ (LETT |orbj| (QAREF1O |orbs| |j| 1))
                        (LETT |s| (QCDR |orbj|))
                        (LETT |p| (|SPADfirst| (QCAR |orbj|)))
                        (EXIT
                         (SEQ
                          (EXIT
                           (SEQ G190 (COND ((NULL |noresult|) (GO G191)))
                                (SEQ
                                 (LETT |entry|
                                       (QAREF1O |s| (QAREF1O |z| |p| 1) 1))
                                 (EXIT
                                  (COND
                                   ((< |entry| 0)
                                    (SEQ
                                     (COND
                                      ((EQL |entry| -1)
                                       (PROGN (LETT #4# 1) (GO #5=#:G156))))
                                     (EXIT (LETT |noresult| NIL))))
                                   ('T
                                    (SEQ (LETT |ee| (QAREF1O |grpv| |entry| 1))
                                         (|PERMGRP;times!| |tmpv| |ee| |z| %)
                                         (PROGN
                                          (LETT |#G37| |tmpv|)
                                          (LETT |#G38| |z|)
                                          (LETT |z| |#G37|)
                                          (LETT |tmpv| |#G38|))
                                         (EXIT
                                          (COND
                                           (|do_words|
                                            (LETT |word|
                                                  (SPADCALL
                                                   (SPADCALL |wordv| |entry|
                                                             (QREFELT % 31))
                                                   |word|
                                                   (QREFELT % 32)))))))))))
                                NIL (GO G190) G191 (EXIT NIL)))
                          #5# (EXIT #4#))))
                   (LETT |j| (+ |j| -1)) (GO G190) G191 (EXIT NIL))
              (EXIT (CONS |z| |word|))))) 

(SDEFUN |PERMGRP;orbitInternal|
        ((|gp| (%)) (|startList| #1=(|List| S)) (% (|List| (|List| S))))
        (SPROG
         ((|pos| (|Integer|)) (|orbitList| (|List| #1#)) (|newList| (|List| S))
          (|j| NIL) (|workList| (|List| S)) (#2=#:G174 NIL) (|gen| NIL)
          (|gpset| (|List| (|Permutation| S))))
         (SEQ (LETT |orbitList| (LIST |startList|)) (LETT |pos| 1)
              (SEQ G190 (COND ((NULL (NULL (ZEROP |pos|))) (GO G191)))
                   (SEQ (LETT |gpset| (QCAR |gp|))
                        (SEQ (LETT |gen| NIL) (LETT #2# |gpset|) G190
                             (COND
                              ((OR (ATOM #2#)
                                   (PROGN (LETT |gen| (CAR #2#)) NIL))
                               (GO G191)))
                             (SEQ (LETT |newList| NIL)
                                  (LETT |workList|
                                        (SPADCALL |orbitList| |pos|
                                                  (QREFELT % 40)))
                                  (SEQ (LETT |j| (LENGTH |workList|)) G190
                                       (COND ((< |j| 1) (GO G191)))
                                       (SEQ
                                        (EXIT
                                         (LETT |newList|
                                               (CONS
                                                (SPADCALL |gen|
                                                          (SPADCALL |workList|
                                                                    |j|
                                                                    (QREFELT %
                                                                             41))
                                                          (QREFELT % 42))
                                                |newList|))))
                                       (LETT |j| (+ |j| -1)) (GO G190) G191
                                       (EXIT NIL))
                                  (EXIT
                                   (COND
                                    ((NULL
                                      (SPADCALL |newList| |orbitList|
                                                (QREFELT % 43)))
                                     (SEQ
                                      (LETT |orbitList|
                                            (CONS |newList| |orbitList|))
                                      (EXIT (LETT |pos| (+ |pos| 1))))))))
                             (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL))
                        (EXIT (LETT |pos| (- |pos| 1))))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT (REVERSE |orbitList|))))) 

(SDEFUN |PERMGRP;ranelt|
        ((|group| (|List| (|Vector| (|NonNegativeInteger|))))
         (|word| (|List| (|List| (|NonNegativeInteger|))))
         (|maxLoops| (|Integer|))
         (%
          (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                    (|:| |lst| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((|numberOfLoops| #1=(|Integer|))
          (|words| (|List| (|NonNegativeInteger|))) (#2=#:G180 NIL)
          (|randomElement| (|Vector| (|NonNegativeInteger|)))
          (|randomInteger| #1#) (#3=#:G177 NIL) (|do_words| (|Boolean|))
          (|numberOfGenerators| (|NonNegativeInteger|)))
         (SEQ (LETT |numberOfGenerators| (LENGTH |group|))
              (LETT |randomInteger| (+ 1 (RANDOM |numberOfGenerators|)))
              (LETT |randomElement|
                    (SPADCALL |group| |randomInteger| (QREFELT % 44)))
              (LETT |words| NIL) (LETT |do_words| (NULL (NULL |word|)))
              (COND
               (|do_words|
                (LETT |words|
                      (SPADCALL |word|
                                (PROG1 (LETT #3# |randomInteger|)
                                  (|check_subtype2| (>= #3# 0)
                                                    '(|NonNegativeInteger|)
                                                    '(|Integer|) #3#))
                                (QREFELT % 45)))))
              (COND
               ((> |maxLoops| 0)
                (LETT |numberOfLoops| (+ 1 (RANDOM |maxLoops|))))
               ('T (LETT |numberOfLoops| |maxLoops|)))
              (SEQ G190 (COND ((NULL (> |numberOfLoops| 0)) (GO G191)))
                   (SEQ
                    (LETT |randomInteger| (+ 1 (RANDOM |numberOfGenerators|)))
                    (LETT |randomElement|
                          (|PERMGRP;times|
                           (SPADCALL |group| |randomInteger| (QREFELT % 44))
                           |randomElement| %))
                    (COND
                     (|do_words|
                      (LETT |words|
                            (SPADCALL
                             (SPADCALL |word|
                                       (PROG1 (LETT #2# |randomInteger|)
                                         (|check_subtype2| (>= #2# 0)
                                                           '(|NonNegativeInteger|)
                                                           '(|Integer|) #2#))
                                       (QREFELT % 45))
                             |words| (QREFELT % 32)))))
                    (EXIT (LETT |numberOfLoops| (- |numberOfLoops| 1))))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT (CONS |randomElement| |words|))))) 

(SDEFUN |PERMGRP;pointList;%L;11| ((|group| (%)) (% (|List| S)))
        (SPROG
         ((|res| (|List| S)) (|p0| (S)) (#1=#:G196 NIL) (#2=#:G198 NIL)
          (|p| NIL) (|support| (|List| S)) (#3=#:G197 NIL) (|perm| NIL))
         (SEQ
          (COND
           ((NULL (NULL (QVELT (QCDR |group|) 4))) (QVELT (QCDR |group|) 4))
           ('T
            (SEQ (LETT |support| NIL)
                 (SEQ (LETT |perm| NIL) (LETT #3# (QCAR |group|)) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |perm| (CAR #3#)) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT |support|
                              (SPADCALL
                               (SPADCALL
                                (QCAR (SPADCALL |perm| (QREFELT % 47)))
                                (QREFELT % 48))
                               |support| (QREFELT % 49)))))
                      (LETT #3# (CDR #3#)) (GO G190) G191 (EXIT NIL))
                 (LETT |res| NIL)
                 (EXIT
                  (COND ((NULL |support|) |res|)
                        ('T
                         (SEQ (LETT |p0| (|SPADfirst| |support|))
                              (LETT |res| (LIST |p0|))
                              (SEQ (LETT |p| NIL) (LETT #2# (CDR |support|))
                                   G190
                                   (COND
                                    ((OR (ATOM #2#)
                                         (PROGN (LETT |p| (CAR #2#)) NIL))
                                     (GO G191)))
                                   (SEQ
                                    (EXIT
                                     (COND
                                      ((SPADCALL |p| |p0| (QREFELT % 50))
                                       (PROGN
                                        (LETT #1# |$NoValue|)
                                        (GO #4=#:G190)))
                                      ('T
                                       (SEQ (LETT |p0| |p|)
                                            (EXIT
                                             (LETT |res| (CONS |p| |res|)))))))
                                    #4# (EXIT #1#))
                                   (LETT #2# (CDR #2#)) (GO G190) G191
                                   (EXIT NIL))
                              (EXIT
                               (QSETVELT (QCDR |group|) 4
                                         (NREVERSE |res|))))))))))))) 

(SDEFUN |PERMGRP;pointList;%L;12| ((|group| (%)) (% (|List| S)))
        (SPROG ((|support| (|Set| S)) (#1=#:G205 NIL) (|perm| NIL))
               (SEQ
                (COND
                 ((NULL (NULL (QVELT (QCDR |group|) 4)))
                  (QVELT (QCDR |group|) 4))
                 ('T
                  (SEQ (LETT |support| (SPADCALL (QREFELT % 53)))
                       (SEQ (LETT |perm| NIL) (LETT #1# (QCAR |group|)) G190
                            (COND
                             ((OR (ATOM #1#)
                                  (PROGN (LETT |perm| (CAR #1#)) NIL))
                              (GO G191)))
                            (SEQ
                             (EXIT
                              (LETT |support|
                                    (SPADCALL |support|
                                              (SPADCALL |perm| (QREFELT % 54))
                                              (QREFELT % 55)))))
                            (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
                       (EXIT
                        (QSETVELT (QCDR |group|) 4
                                  (SPADCALL |support| (QREFELT % 56)))))))))) 

(SDEFUN |PERMGRP;ls_to_lnni|
        ((|ls| (|List| S)) (|supp| (|List| S))
         (% (|List| (|NonNegativeInteger|))))
        (SPROG
         ((#1=#:G227 NIL) (|pp| NIL) (#2=#:G226 NIL)
          (|rp2| (|List| (|List| (|NonNegativeInteger|))))
          (|ls2|
           (|List|
            (|Record| (|:| |preimage| (|NonNegativeInteger|))
                      (|:| |image| S))))
          (|p1| (S))
          (|pel|
           (|Record| (|:| |preimage| (|NonNegativeInteger|)) (|:| |image| S)))
          (|flag| (|Boolean|)) (#3=#:G225 NIL) (|p2| NIL) (|i| NIL)
          (#4=#:G224 NIL) (|p| NIL) (#5=#:G223 NIL))
         (SEQ
          (COND ((NULL |ls|) NIL)
                ('T
                 (SEQ
                  (LETT |ls2|
                        (PROGN
                         (LETT #5# NIL)
                         (SEQ (LETT |i| 1) (LETT |p| NIL) (LETT #4# |ls|) G190
                              (COND
                               ((OR (ATOM #4#)
                                    (PROGN (LETT |p| (CAR #4#)) NIL))
                                (GO G191)))
                              (SEQ (EXIT (LETT #5# (CONS (CONS |i| |p|) #5#))))
                              (LETT #4#
                                    (PROG1 (CDR #4#)
                                      (LETT |i| (|inc_SI| |i|))))
                              (GO G190) G191 (EXIT (NREVERSE #5#)))))
                  (LETT |ls2|
                        (SPADCALL (CONS #'|PERMGRP;ls_to_lnni!0| %) |ls2|
                                  (QREFELT % 61)))
                  (LETT |pel| (|SPADfirst| |ls2|)) (LETT |p1| (QCDR |pel|))
                  (LETT |ls2| (CDR |ls2|)) (LETT |rp2| NIL) (LETT |flag| 'T)
                  (SEQ (LETT |i| 1) (LETT |p2| NIL) (LETT #3# |supp|) G190
                       (COND
                        ((OR (ATOM #3#) (PROGN (LETT |p2| (CAR #3#)) NIL)
                             (NULL |flag|))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((SPADCALL |p1| |p2| (QREFELT % 50))
                           (SEQ
                            (LETT |rp2| (CONS (LIST (QCAR |pel|) |i|) |rp2|))
                            (EXIT
                             (COND ((NULL |ls2|) (LETT |flag| NIL))
                                   ('T
                                    (SEQ (LETT |pel| (|SPADfirst| |ls2|))
                                         (LETT |p1| (QCDR |pel|))
                                         (EXIT
                                          (LETT |ls2| (CDR |ls2|))))))))))))
                       (LETT #3# (PROG1 (CDR #3#) (LETT |i| (|inc_SI| |i|))))
                       (GO G190) G191 (EXIT NIL))
                  (LETT |rp2|
                        (SPADCALL (CONS #'|PERMGRP;ls_to_lnni!1| %) |rp2|
                                  (QREFELT % 65)))
                  (EXIT
                   (PROGN
                    (LETT #2# NIL)
                    (SEQ (LETT |pp| NIL) (LETT #1# |rp2|) G190
                         (COND
                          ((OR (ATOM #1#) (PROGN (LETT |pp| (CAR #1#)) NIL))
                           (GO G191)))
                         (SEQ
                          (EXIT
                           (LETT #2#
                                 (CONS (SPADCALL |pp| (QREFELT % 66)) #2#))))
                         (LETT #1# (CDR #1#)) (GO G190) G191
                         (EXIT (NREVERSE #2#))))))))))) 

(SDEFUN |PERMGRP;ls_to_lnni!1| ((|x| NIL) (|y| NIL) (% NIL))
        (SPADCALL (SPADCALL |x| (QREFELT % 62)) (SPADCALL |y| (QREFELT % 62))
                  (QREFELT % 63))) 

(SDEFUN |PERMGRP;ls_to_lnni!0| ((|x| NIL) (|y| NIL) (% NIL))
        (SPADCALL (QCDR |x|) (QCDR |y|) (QREFELT % 57))) 

(SDEFUN |PERMGRP;perm_to_vec;LPNniV;14|
        ((|supp| (|List| S)) (|p| (|Permutation| S))
         (|degree| (|NonNegativeInteger|))
         (% (|Vector| (|NonNegativeInteger|))))
        (SPROG
         ((#1=#:G237 NIL) (|pp| NIL) (#2=#:G238 NIL) (|ip| NIL)
          (|il| #3=(|List| (|NonNegativeInteger|))) (|pl| #3#) (#4=#:G236 NIL)
          (|i| NIL) (|q| (|Vector| (|NonNegativeInteger|)))
          (|pr|
           (|Record| (|:| |preimage| (|List| S)) (|:| |image| (|List| S)))))
         (SEQ (LETT |pr| (SPADCALL |p| (QREFELT % 47)))
              (LETT |q| (SPADCALL |degree| 0 (QREFELT % 27)))
              (SEQ (LETT |i| 1) (LETT #4# |degree|) G190
                   (COND ((|greater_SI| |i| #4#) (GO G191)))
                   (SEQ (EXIT (SPADCALL |q| |i| |i| (QREFELT % 67))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (LETT |pl| (|PERMGRP;ls_to_lnni| (QCAR |pr|) |supp| %))
              (LETT |il| (|PERMGRP;ls_to_lnni| (QCDR |pr|) |supp| %))
              (SEQ (LETT |ip| NIL) (LETT #2# |il|) (LETT |pp| NIL)
                   (LETT #1# |pl|) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |pp| (CAR #1#)) NIL)
                         (ATOM #2#) (PROGN (LETT |ip| (CAR #2#)) NIL))
                     (GO G191)))
                   (SEQ (EXIT (SPADCALL |q| |pp| |ip| (QREFELT % 67))))
                   (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#)))) (GO G190)
                   G191 (EXIT NIL))
              (EXIT |q|)))) 

(SDEFUN |PERMGRP;perm_to_vec;LPNniV;15|
        ((|supp| (|List| S)) (|p| (|Permutation| S))
         (|degree| (|NonNegativeInteger|))
         (% (|Vector| (|NonNegativeInteger|))))
        (SPROG
         ((|pos2| (|Integer|)) (|newEl| (S)) (#1=#:G245 NIL) (|i| NIL)
          (|q| (|Vector| (|NonNegativeInteger|))))
         (SEQ (LETT |q| (SPADCALL |degree| 0 (QREFELT % 27)))
              (SEQ (LETT |i| 1) (LETT #1# |degree|) G190
                   (COND ((|greater_SI| |i| #1#) (GO G191)))
                   (SEQ
                    (LETT |newEl|
                          (SPADCALL |p| (SPADCALL |supp| |i| (QREFELT % 41))
                                    (QREFELT % 42)))
                    (LETT |pos2| (SPADCALL |newEl| |supp| (QREFELT % 69)))
                    (EXIT (SPADCALL |q| |i| |pos2| (QREFELT % 67))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (EXIT |q|)))) 

(SDEFUN |PERMGRP;orbitWithSvc1|
        ((|group| (|List| (|Vector| (|NonNegativeInteger|))))
         (|grpinv| (|List| (|Vector| (|NonNegativeInteger|))))
         (|point| #1=(|NonNegativeInteger|))
         (%
          (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                    (|:| |svc| (|Vector| (|Integer|))))))
        (SPROG
         ((|position| (|Integer|)) (|orbit_size| (|NonNegativeInteger|))
          (|orbit| (|List| #1#)) (|newPoint| (|NonNegativeInteger|))
          (#2=#:G259 NIL) (|i| NIL) (#3=#:G260 NIL) (|grv| NIL)
          (|schreierVector| (|Vector| (|Integer|)))
          (|orbitv| (|Vector| (|NonNegativeInteger|)))
          (|degree| (|NonNegativeInteger|)))
         (SEQ (LETT |degree| (SPADCALL (|SPADfirst| |group|) (QREFELT % 26)))
              (LETT |orbit| (LIST |point|))
              (LETT |orbitv| (SPADCALL |degree| 0 (QREFELT % 27)))
              (SPADCALL |orbitv| 1 |point| (QREFELT % 67))
              (LETT |orbit_size| 1)
              (LETT |schreierVector| (MAKEARR1 |degree| -2))
              (SPADCALL |schreierVector| |point| -1 (QREFELT % 71))
              (LETT |position| 1)
              (SEQ G190 (COND ((NULL (NULL (ZEROP |position|))) (GO G191)))
                   (SEQ
                    (SEQ (LETT |grv| NIL) (LETT #3# |grpinv|) (LETT |i| 1)
                         (LETT #2# (LENGTH |grpinv|)) G190
                         (COND
                          ((OR (|greater_SI| |i| #2#) (ATOM #3#)
                               (PROGN (LETT |grv| (CAR #3#)) NIL))
                           (GO G191)))
                         (SEQ
                          (LETT |newPoint|
                                (QAREF1O |orbitv|
                                         (+ (- |orbit_size| |position|) 1) 1))
                          (LETT |newPoint| (QAREF1O |grv| |newPoint| 1))
                          (EXIT
                           (COND
                            ((EQL (QAREF1O |schreierVector| |newPoint| 1) -2)
                             (SEQ (LETT |orbit| (CONS |newPoint| |orbit|))
                                  (LETT |orbit_size| (+ |orbit_size| 1))
                                  (SPADCALL |orbitv| |orbit_size| |newPoint|
                                            (QREFELT % 67))
                                  (LETT |position| (+ |position| 1))
                                  (EXIT
                                   (SPADCALL |schreierVector| |newPoint| |i|
                                             (QREFELT % 71))))))))
                         (LETT |i| (PROG1 (|inc_SI| |i|) (LETT #3# (CDR #3#))))
                         (GO G190) G191 (EXIT NIL))
                    (EXIT (LETT |position| (- |position| 1))))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT (CONS (NREVERSE |orbit|) |schreierVector|))))) 

(SDEFUN |PERMGRP;orbitWithSvc|
        ((|group| (|List| (|Vector| (|NonNegativeInteger|))))
         (|point| (|NonNegativeInteger|))
         (%
          (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                    (|:| |svc| (|Vector| (|Integer|))))))
        (SPROG
         ((|grpinv| (|List| (|Vector| (|NonNegativeInteger|)))) (#1=#:G265 NIL)
          (|el| NIL))
         (SEQ (LETT |grpinv| NIL)
              (SEQ (LETT |el| NIL) (LETT #1# |group|) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |el| (CAR #1#)) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (LETT |grpinv| (CONS (|PERMGRP;inv| |el| %) |grpinv|))))
                   (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
              (LETT |grpinv| (REVERSE |grpinv|))
              (EXIT (|PERMGRP;orbitWithSvc1| |group| |grpinv| |point| %))))) 

(SDEFUN |PERMGRP;bsgs1|
        ((|group| (|List| (|Vector| (|NonNegativeInteger|))))
         (|number1| (|NonNegativeInteger|))
         (|words| (|List| (|List| (|NonNegativeInteger|))))
         (|maxLoops| (|Integer|)) (|gp| (%)) (|diff| (|Integer|))
         (|out|
          (|Reference| (|List| (|List| (|Vector| (|NonNegativeInteger|))))))
         (|outword|
          (|Reference| (|List| (|List| (|List| (|NonNegativeInteger|))))))
         (% #1=(|NonNegativeInteger|)))
        (SPROG
         ((|sizeOfGroup| (|NonNegativeInteger|)) (|k2| #1#) (#2=#:G294 NIL)
          (|j| (|Integer|)) (|words3| (|List| (|List| (|NonNegativeInteger|))))
          (|help| (|List| (|NonNegativeInteger|)))
          (|group2| (|List| (|Vector| (|NonNegativeInteger|))))
          (|el2| (|Vector| (|NonNegativeInteger|)))
          (|str|
           (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                     (|:| |lst| (|List| (|NonNegativeInteger|)))))
          (|ran|
           (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                     (|:| |lst| (|List| (|NonNegativeInteger|)))))
          (|words2| (|List| (|List| (|NonNegativeInteger|))))
          (|gpsgs| (|List| (|Vector| (|NonNegativeInteger|)))) (#3=#:G297 NIL)
          (|k| (|List| (|NonNegativeInteger|))) (#4=#:G292 NIL) (#5=#:G296 NIL)
          (|jj| NIL) (|gplength| (|NonNegativeInteger|)) (#6=#:G293 NIL)
          (|k1| (|NonNegativeInteger|))
          (|ort|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| (|Vector| (|Integer|)))))
          (#7=#:G295 NIL) (|i| NIL) (|wordProblem| (|Boolean|))
          (|gp_info|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|))))))
          (|degree| (|NonNegativeInteger|)))
         (SEQ
          (EXIT
           (SEQ (LETT |degree| (SPADCALL (|SPADfirst| |group|) (QREFELT % 26)))
                (LETT |gp_info| (QCDR |gp|))
                (LETT |wordProblem| (NULL (NULL |words|)))
                (SEQ
                 (EXIT
                  (SEQ (LETT |i| |number1|) (LETT #7# |degree|) G190
                       (COND ((> |i| #7#) (GO G191)))
                       (SEQ (LETT |ort| (|PERMGRP;orbitWithSvc| |group| |i| %))
                            (LETT |k| (QCAR |ort|))
                            (LETT |k1| (SPADCALL |k| (QREFELT % 21)))
                            (EXIT
                             (COND
                              ((SPADCALL |k1| 1 (QREFELT % 23))
                               (PROGN (LETT #6# 1) (GO #8=#:G270))))))
                       (LETT |i| (+ |i| 1)) (GO G190) G191 (EXIT NIL)))
                 #8# (EXIT #6#))
                (LETT |gpsgs| NIL) (LETT |words2| NIL)
                (LETT |gplength| (LENGTH |group|))
                (SEQ
                 (EXIT
                  (SEQ (LETT |jj| 1) (LETT #5# |gplength|) G190
                       (COND ((|greater_SI| |jj| #5#) (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((SPADCALL
                            (SPADCALL (SPADCALL |group| |jj| (QREFELT % 44))
                                      |i| (QREFELT % 72))
                            |i| (QREFELT % 23))
                           (PROGN (LETT #4# 1) (GO #9=#:G274))))))
                       (LETT |jj| (|inc_SI| |jj|)) (GO G190) G191 (EXIT NIL)))
                 #9# (EXIT #4#))
                (SEQ (LETT |k| 1) (LETT #3# |gplength|) G190
                     (COND ((|greater_SI| |k| #3#) (GO G191)))
                     (SEQ (LETT |el2| (SPADCALL |group| |k| (QREFELT % 44)))
                          (EXIT
                           (COND
                            ((SPADCALL (SPADCALL |el2| |i| (QREFELT % 72)) |i|
                                       (QREFELT % 23))
                             (SEQ (LETT |gpsgs| (CONS |el2| |gpsgs|))
                                  (EXIT
                                   (COND
                                    (|wordProblem|
                                     (LETT |words2|
                                           (CONS
                                            (SPADCALL |words| |k|
                                                      (QREFELT % 45))
                                            |words2|)))))))
                            ('T
                             (SEQ
                              (LETT |gpsgs|
                                    (CONS
                                     (|PERMGRP;times|
                                      (SPADCALL |group| |jj| (QREFELT % 44))
                                      |el2| %)
                                     |gpsgs|))
                              (EXIT
                               (COND
                                (|wordProblem|
                                 (LETT |words2|
                                       (CONS
                                        (SPADCALL
                                         (SPADCALL |words| |jj| (QREFELT % 45))
                                         (SPADCALL |words| |k| (QREFELT % 45))
                                         (QREFELT % 32))
                                        |words2|))))))))))
                     (LETT |k| (|inc_SI| |k|)) (GO G190) G191 (EXIT NIL))
                (LETT |group2| NIL) (LETT |words3| NIL) (LETT |j| 15)
                (SEQ G190 (COND ((NULL (> |j| 0)) (GO G191)))
                     (SEQ
                      (LETT |ran|
                            (|PERMGRP;ranelt| |group| |words| |maxLoops| %))
                      (LETT |str|
                            (|PERMGRP;strip1| (QCAR |ran|) |ort| |group|
                             |words| %))
                      (LETT |el2| (QCAR |str|))
                      (COND
                       ((NULL (|PERMGRP;testIdentity| |el2| %))
                        (COND
                         ((NULL (SPADCALL |el2| |group2| (QREFELT % 73)))
                          (SEQ (LETT |group2| (CONS |el2| |group2|))
                               (COND
                                (|wordProblem|
                                 (SEQ
                                  (LETT |help|
                                        (SPADCALL (REVERSE (QCDR |str|))
                                                  (QCDR |ran|) (QREFELT % 32)))
                                  (LETT |help|
                                        (|PERMGRP;shortenWord| |help| |gp| %))
                                  (EXIT
                                   (LETT |words3| (CONS |help| |words3|))))))
                               (EXIT (LETT |j| (- |j| 2))))))))
                      (EXIT (LETT |j| (- |j| 1))))
                     NIL (GO G190) G191 (EXIT NIL))
                (COND (|wordProblem| (LETT |maxLoops| (- |maxLoops| |diff|))))
                (COND
                 ((OR (NULL |group2|) (< |maxLoops| 0))
                  (SEQ (QSETVELT |gp_info| 2 (LIST |i|))
                       (SPADCALL |out| (LIST |gpsgs|) (QREFELT % 76))
                       (SPADCALL |outword| (LIST |words2|) (QREFELT % 79))
                       (EXIT (PROGN (LETT #2# |k1|) (GO #10=#:G291))))))
                (LETT |k2|
                      (|PERMGRP;bsgs1| |group2| (+ |i| 1) |words3| |maxLoops|
                       |gp| |diff| |out| |outword| %))
                (LETT |sizeOfGroup| (* |k1| |k2|))
                (SPADCALL |out|
                          (SPADCALL (SPADCALL |out| (QREFELT % 80))
                                    (LIST |gpsgs|) (QREFELT % 81))
                          (QREFELT % 76))
                (SPADCALL |outword|
                          (SPADCALL (SPADCALL |outword| (QREFELT % 82))
                                    (LIST |words2|) (QREFELT % 83))
                          (QREFELT % 79))
                (QSETVELT |gp_info| 2 (CONS |i| (QVELT |gp_info| 2)))
                (EXIT |sizeOfGroup|)))
          #10# (EXIT #2#)))) 

(SDEFUN |PERMGRP;reduceGenerators|
        ((|kkk| (|Integer|)) (|do_words| (|Boolean|))
         (|gp_info|
          (|Record| (|:| |order| (|NonNegativeInteger|))
                    (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                    (|:| |gpbase| #1=(|List| (|NonNegativeInteger|)))
                    (|:| |orbs|
                         #2=(|Vector|
                             (|Record|
                              (|:| |orb| (|List| (|NonNegativeInteger|)))
                              (|:| |svc| (|Vector| (|Integer|))))))
                    (|:| |mp| (|List| S))
                    (|:| |wd| (|List| (|List| (|NonNegativeInteger|))))))
         (|outl| (|List| (|List| (|Vector| (|NonNegativeInteger|)))))
         (|outword| (|List| (|List| (|List| (|NonNegativeInteger|)))))
         (% (|List| (|Vector| (|NonNegativeInteger|)))))
        (SPROG
         ((|i| (|NonNegativeInteger|))
          (|outlk| (|List| (|Vector| (|NonNegativeInteger|))))
          (|grpinv| (|List| (|Vector| (|NonNegativeInteger|))))
          (|sgs| (|List| (|Vector| (|NonNegativeInteger|))))
          (|res| (|List| (|Vector| (|NonNegativeInteger|))))
          (|obs2|
           #3=(|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                        (|:| |svc| (|Vector| (|Integer|)))))
          (|grpinv2| #4=(|List| (|Vector| (|NonNegativeInteger|))))
          (|sgs2| #4#) (|pos| (|Integer|))
          (|obs_len| #5=(|NonNegativeInteger|)) (|obs| #3#) (|pt| (|Integer|))
          (|baseLength| #5#) (#6=#:G319 NIL) (|orbv| #2#) (|base_lst| #1#))
         (SEQ (LETT |base_lst| (QVELT |gp_info| 2))
              (LETT |orbv| (QVELT |gp_info| 3)) (LETT |sgs| NIL)
              (LETT |res| NIL) (LETT |grpinv| NIL)
              (SEQ (LETT |i| 1) (LETT #6# |kkk|) G190
                   (COND ((|greater_SI| |i| #6#) (GO G191)))
                   (SEQ
                    (LETT |sgs|
                          (SPADCALL |sgs| (SPADCALL |outl| |i| (QREFELT % 84))
                                    (QREFELT % 85)))
                    (EXIT
                     (LETT |grpinv|
                           (SPADCALL |grpinv|
                                     (SPADCALL
                                      (CONS (|function| |PERMGRP;inv|) %)
                                      (SPADCALL |outl| |i| (QREFELT % 84))
                                      (QREFELT % 87))
                                     (QREFELT % 85)))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (LETT |baseLength| (SPADCALL |base_lst| (QREFELT % 21)))
              (LETT |pt| (+ (- |baseLength| |kkk|) 1))
              (LETT |obs|
                    (|PERMGRP;orbitWithSvc1| |sgs| |grpinv|
                     (SPADCALL |base_lst| |pt| (QREFELT % 16)) %))
              (SPADCALL |orbv| |kkk| |obs| (QREFELT % 90))
              (LETT |obs_len| (SPADCALL (QCAR |obs|) (QREFELT % 21)))
              (COND
               ((EQL |obs_len| 1) (SPADCALL |outl| |kkk| NIL (QREFELT % 91))))
              (LETT |i| 1)
              (LETT |outlk| (SPADCALL |outl| |kkk| (QREFELT % 84)))
              (SEQ G190
                   (COND
                    ((NULL
                      (COND ((> |i| (LENGTH |outlk|)) NIL)
                            ('T (> (LENGTH |outlk|) 1))))
                     (GO G191)))
                   (SEQ
                    (LETT |pos|
                          (SPADCALL (SPADCALL |outlk| |i| (QREFELT % 44)) |sgs|
                                    (QREFELT % 92)))
                    (LETT |sgs2| (SPADCALL |sgs| |pos| (QREFELT % 93)))
                    (LETT |grpinv2| (SPADCALL |grpinv| |pos| (QREFELT % 93)))
                    (LETT |obs2|
                          (|PERMGRP;orbitWithSvc1| |sgs2| |grpinv2|
                           (SPADCALL |base_lst| |pt| (QREFELT % 16)) %))
                    (EXIT
                     (COND
                      ((EQL (SPADCALL (QCAR |obs2|) (QREFELT % 21)) |obs_len|)
                       (SEQ
                        (LETT |res|
                              (CONS (SPADCALL |outlk| |i| (QREFELT % 44))
                                    |res|))
                        (LETT |sgs| |sgs2|) (LETT |grpinv| |grpinv2|)
                        (LETT |outlk| (SPADCALL |outlk| |i| (QREFELT % 93)))
                        (SPADCALL |outl| |kkk| |outlk| (QREFELT % 91))
                        (SPADCALL |orbv| |kkk| |obs2| (QREFELT % 90))
                        (EXIT
                         (COND
                          (|do_words|
                           (SPADCALL |outword| |kkk|
                                     (SPADCALL
                                      (SPADCALL |outword| |kkk| (QREFELT % 94))
                                      |i| (QREFELT % 95))
                                     (QREFELT % 96)))))))
                      ('T (LETT |i| (+ |i| 1))))))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT |res|)))) 

(SDEFUN |PERMGRP;bsgs|
        ((|group| (%)) (|wordProblem| (|Boolean|)) (|maxLoops| (|Integer|))
         (|diff| (|Integer|)) (% (|NonNegativeInteger|)))
        (SPROG
         ((|sizeOfGroup| (|NonNegativeInteger|)) (#1=#:G388 NIL) (|j| NIL)
          (|kkk| (|Integer|))
          (|outword| (|List| (|List| (|List| (|NonNegativeInteger|)))))
          (|out| (|List| (|List| (|Vector| (|NonNegativeInteger|)))))
          (|orbv|
           (|Vector|
            (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                      (|:| |svc| (|Vector| (|Integer|))))))
          (#2=#:G375 NIL) (|baseOfGroup| (|List| (|NonNegativeInteger|)))
          (#3=#:G387 NIL) (|i| NIL) (|word| #4=(|List| (|NonNegativeInteger|)))
          (|ttt| (|Vector| (|NonNegativeInteger|)))
          (|word2| (|List| (|NonNegativeInteger|))) (#5=#:G386 NIL) (|wdi| NIL)
          (|add_cnt| (|Integer|)) (|noAnswer| #6=(|Boolean|)) (#7=#:G376 NIL)
          (|basePoint| (|NonNegativeInteger|)) (#8=#:G347 NIL)
          (|newBasePoint| #6#) (#9=#:G385 NIL) (|p| NIL) (|ii| NIL)
          (|z| (|Vector| (|NonNegativeInteger|)))
          (|ppp|
           (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                     (|:| |lst| (|List| (|NonNegativeInteger|)))))
          (|noresult| #6#) (#10=#:G384 NIL) (|jjj| NIL) (|word3| #4#)
          (|y1| (|Vector| (|NonNegativeInteger|))) (#11=#:G383 NIL) (|pt| NIL)
          (#12=#:G382 NIL) (|z0| NIL)
          (|gporbi|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| (|Vector| (|Integer|)))))
          (|wordv| (|Vector| (|List| (|NonNegativeInteger|))))
          (|wordlist| (|List| (|List| (|NonNegativeInteger|))))
          (|sgsv| (|Vector| (|Vector| (|NonNegativeInteger|))))
          (|sgs| (|List| (|Vector| (|NonNegativeInteger|))))
          (|rejects| (|List| (|Vector| (|NonNegativeInteger|))))
          (#13=#:G381 NIL) (#14=#:G380 NIL)
          (|dummy_rec|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| (|Vector| (|Integer|)))))
          (|newGroup| (|List| (|Vector| (|NonNegativeInteger|))))
          (|k| (|NonNegativeInteger|))
          (|words| (|List| (|List| (|NonNegativeInteger|))))
          (|q| (|Vector| (|NonNegativeInteger|))) (#15=#:G378 NIL) (|ggg| NIL)
          (#16=#:G379 NIL) (|ggp| NIL) (|gp| (|List| (|Permutation| S)))
          (#17=#:G377 NIL)
          (|gp_info|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|))))))
          (|degree| (|NonNegativeInteger|)) (|supp| (|List| S))
          (|outwordr|
           (|Reference| (|List| (|List| (|List| (|NonNegativeInteger|))))))
          (|outr|
           (|Reference| (|List| (|List| (|Vector| (|NonNegativeInteger|)))))))
         (SEQ
          (EXIT
           (SEQ (LETT |basePoint| 0) (LETT |newBasePoint| NIL)
                (LETT |baseOfGroup| NIL) (LETT |out| NIL) (LETT |outword| NIL)
                (LETT |outr| (SPADCALL NIL (QREFELT % 97)))
                (LETT |outwordr| (SPADCALL NIL (QREFELT % 98)))
                (LETT |supp| (SPADCALL |group| (QREFELT % 51)))
                (LETT |degree| (LENGTH |supp|))
                (LETT |gp_info| (VECTOR 1 NIL NIL #() NIL NIL))
                (COND
                 ((EQL |degree| 0)
                  (SEQ (PROGN (RPLACD |group| |gp_info|) (QCDR |group|))
                       (EXIT (PROGN (LETT #17# 1) (GO #18=#:G374))))))
                (LETT |newGroup| NIL) (LETT |gp| (QCAR |group|))
                (LETT |words| NIL)
                (SEQ (LETT |ggp| NIL) (LETT #16# |gp|) (LETT |ggg| 1)
                     (LETT #15# (LENGTH |gp|)) G190
                     (COND
                      ((OR (|greater_SI| |ggg| #15#) (ATOM #16#)
                           (PROGN (LETT |ggp| (CAR #16#)) NIL))
                       (GO G191)))
                     (SEQ
                      (LETT |q|
                            (SPADCALL |supp| |ggp| |degree| (QREFELT % 68)))
                      (LETT |newGroup| (CONS |q| |newGroup|))
                      (EXIT
                       (COND
                        (|wordProblem|
                         (LETT |words|
                               (CONS (SPADCALL |ggg| (QREFELT % 99))
                                     |words|))))))
                     (LETT |ggg|
                           (PROG1 (|inc_SI| |ggg|) (LETT #16# (CDR #16#))))
                     (GO G190) G191 (EXIT NIL))
                (COND
                 ((< |maxLoops| 1)
                  (SEQ
                   (COND
                    ((ZEROP (SPADCALL (QVELT (QCDR |group|) 2) (QREFELT % 21)))
                     (LETT |k|
                           (|PERMGRP;bsgs1| |newGroup| 1 NIL 20 |group| 0
                            |outr| |outwordr| %))))
                   (EXIT
                    (LETT |maxLoops|
                          (- (SPADCALL (QVELT (QCDR |group|) 2) (QREFELT % 21))
                             1))))))
                (|PERMGRP;bsgs1| |newGroup| 1 |words| |maxLoops| |group| |diff|
                 |outr| |outwordr| %)
                (LETT |out| (SPADCALL |outr| (QREFELT % 80)))
                (LETT |outword| (SPADCALL |outwordr| (QREFELT % 82)))
                (LETT |kkk| 1) (LETT |newGroup| (REVERSE |newGroup|))
                (LETT |noAnswer| 'T) (LETT |add_cnt| 0)
                (LETT |dummy_rec| (CONS NIL (MAKE-ARRAY 0)))
                (LETT |baseOfGroup| (QVELT (QCDR |group|) 2))
                (QSETVELT |gp_info| 2 |baseOfGroup|)
                (LETT |orbv|
                      (MAKEARR1 (SPADCALL |baseOfGroup| (QREFELT % 21))
                                |dummy_rec|))
                (SEQ G190 (COND ((NULL |noAnswer|) (GO G191)))
                     (SEQ (QSETVELT |gp_info| 2 |baseOfGroup|)
                          (QSETVELT |gp_info| 3 |orbv|) (LETT |sgs| NIL)
                          (LETT |wordlist| NIL)
                          (SEQ (LETT |i| 1) (LETT #14# (- |kkk| 1)) G190
                               (COND ((|greater_SI| |i| #14#) (GO G191)))
                               (SEQ
                                (LETT |sgs|
                                      (SPADCALL |sgs|
                                                (SPADCALL |out| |i|
                                                          (QREFELT % 84))
                                                (QREFELT % 85)))
                                (EXIT
                                 (COND
                                  (|wordProblem|
                                   (LETT |wordlist|
                                         (SPADCALL |wordlist|
                                                   (SPADCALL |outword| |i|
                                                             (QREFELT % 94))
                                                   (QREFELT % 100)))))))
                               (LETT |i| (|inc_SI| |i|)) (GO G190) G191
                               (EXIT NIL))
                          (LETT |noresult| 'T)
                          (LETT |z| (SPADCALL |degree| 0 (QREFELT % 27)))
                          (SEQ (LETT |i| |kkk|)
                               (LETT #13#
                                     (SPADCALL |baseOfGroup| (QREFELT % 21)))
                               G190
                               (COND
                                ((OR (> |i| #13#) (NULL |noresult|))
                                 (GO G191)))
                               (SEQ
                                (LETT |rejects|
                                      (|PERMGRP;reduceGenerators| |i|
                                       |wordProblem| |gp_info| |out| |outword|
                                       %))
                                (LETT |sgs|
                                      (SPADCALL |sgs|
                                                (SPADCALL |out| |i|
                                                          (QREFELT % 84))
                                                (QREFELT % 85)))
                                (LETT |sgsv| (SPADCALL |sgs| (QREFELT % 34)))
                                (LETT |wordv| (MAKE-ARRAY 0))
                                (COND
                                 (|wordProblem|
                                  (SEQ
                                   (LETT |wordlist|
                                         (SPADCALL |wordlist|
                                                   (SPADCALL |outword| |i|
                                                             (QREFELT % 94))
                                                   (QREFELT % 100)))
                                   (EXIT
                                    (LETT |wordv|
                                          (SPADCALL |wordlist|
                                                    (QREFELT % 36)))))))
                                (LETT |gporbi|
                                      (SPADCALL |orbv| |i| (QREFELT % 101)))
                                (SEQ (LETT |z0| NIL) (LETT #12# |rejects|) G190
                                     (COND
                                      ((OR (ATOM #12#)
                                           (PROGN (LETT |z0| (CAR #12#)) NIL)
                                           (NULL |noresult|))
                                       (GO G191)))
                                     (SEQ
                                      (LETT |z|
                                            (SPADCALL |z0| (QREFELT % 102)))
                                      (LETT |ppp|
                                            (|PERMGRP;strip| |z| |i| NIL |orbv|
                                             |sgsv| |wordv| %))
                                      (LETT |noresult|
                                            (|PERMGRP;testIdentity|
                                             (QCAR |ppp|) %))
                                      (EXIT
                                       (COND
                                        ((NULL |noresult|)
                                         (SEQ
                                          (COND
                                           (|wordProblem|
                                            (SEQ
                                             (LETT |z|
                                                   (SPADCALL |z0|
                                                             (QREFELT % 102)))
                                             (EXIT
                                              (LETT |ppp|
                                                    (|PERMGRP;strip| |z| |i| 'T
                                                     |orbv| |sgsv| |wordv|
                                                     %))))))
                                          (LETT |z| (QCAR |ppp|))
                                          (EXIT
                                           (LETT |word| (QCDR |ppp|))))))))
                                     (LETT #12# (CDR #12#)) (GO G190) G191
                                     (EXIT NIL))
                                (SEQ (LETT |pt| NIL)
                                     (LETT #11# (QCAR |gporbi|)) G190
                                     (COND
                                      ((OR (ATOM #11#)
                                           (PROGN (LETT |pt| (CAR #11#)) NIL)
                                           (NULL |noresult|))
                                       (GO G191)))
                                     (SEQ
                                      (LETT |ppp|
                                            (|PERMGRP;cosetRep1| |pt|
                                             |wordProblem| |gporbi| |sgsv|
                                             |wordv| %))
                                      (LETT |y1|
                                            (|PERMGRP;inv| (QCAR |ppp|) %))
                                      (LETT |word3| (QCDR |ppp|))
                                      (EXIT
                                       (SEQ (LETT |jjj| 1)
                                            (LETT #10# (LENGTH |sgs|)) G190
                                            (COND
                                             ((OR (|greater_SI| |jjj| #10#)
                                                  (NULL |noresult|))
                                              (GO G191)))
                                            (SEQ (LETT |word| NIL)
                                                 (|PERMGRP;times!| |z|
                                                  (QAREF1O |sgsv| |jjj| 1) |y1|
                                                  %)
                                                 (COND
                                                  (|wordProblem|
                                                   (LETT |word|
                                                         (QAREF1O |wordv| |jjj|
                                                                  1))))
                                                 (LETT |ppp|
                                                       (|PERMGRP;strip| |z| |i|
                                                        NIL |orbv| |sgsv|
                                                        |wordv| %))
                                                 (LETT |z| (QCAR |ppp|))
                                                 (LETT |noresult|
                                                       (|PERMGRP;testIdentity|
                                                        |z| %))
                                                 (EXIT
                                                  (COND
                                                   ((NULL |noresult|)
                                                    (COND
                                                     (|wordProblem|
                                                      (SEQ
                                                       (LETT |z|
                                                             (|PERMGRP;times|
                                                              (QAREF1O |sgsv|
                                                                       |jjj| 1)
                                                              |y1| %))
                                                       (LETT |ppp|
                                                             (|PERMGRP;strip|
                                                              |z| |i| 'T |orbv|
                                                              |sgsv| |wordv|
                                                              %))
                                                       (LETT |z| (QCAR |ppp|))
                                                       (EXIT
                                                        (LETT |word|
                                                              (SPADCALL
                                                               (QCDR |ppp|)
                                                               |word|
                                                               (QREFELT %
                                                                        32)))))))))))
                                            (LETT |jjj| (|inc_SI| |jjj|))
                                            (GO G190) G191 (EXIT NIL))))
                                     (LETT #11# (CDR #11#)) (GO G190) G191
                                     (EXIT NIL))
                                (EXIT
                                 (COND
                                  ((NULL |noresult|)
                                   (SEQ
                                    (EXIT
                                     (SEQ (LETT |ii| 1) (LETT |p| NIL)
                                          (LETT #9# |baseOfGroup|) G190
                                          (COND
                                           ((OR (ATOM #9#)
                                                (PROGN
                                                 (LETT |p| (CAR #9#))
                                                 NIL))
                                            (GO G191)))
                                          (SEQ (LETT |basePoint| 1)
                                               (LETT |newBasePoint| 'T)
                                               (EXIT
                                                (COND
                                                 ((SPADCALL (QAREF1O |z| |p| 1)
                                                            |p| (QREFELT % 23))
                                                  (SEQ
                                                   (LETT |newBasePoint| NIL)
                                                   (LETT |basePoint|
                                                         (PROG1
                                                             (LETT #8#
                                                                   (+
                                                                    (-
                                                                     (SPADCALL
                                                                      |baseOfGroup|
                                                                      (QREFELT
                                                                       % 21))
                                                                     |ii|)
                                                                    1))
                                                           (|check_subtype2|
                                                            (>= #8# 0)
                                                            '(|NonNegativeInteger|)
                                                            '(|Integer|) #8#)))
                                                   (EXIT
                                                    (PROGN
                                                     (LETT #7# 1)
                                                     (GO #19=#:G350))))))))
                                          (LETT #9#
                                                (PROG1 (CDR #9#)
                                                  (LETT |ii| (|inc_SI| |ii|))))
                                          (GO G190) G191 (EXIT NIL)))
                                    #19# (EXIT #7#))))))
                               (LETT |i| (+ |i| 1)) (GO G190) G191 (EXIT NIL))
                          (LETT |noAnswer|
                                (NULL (|PERMGRP;testIdentity| |z| %)))
                          (EXIT
                           (COND
                            (|noAnswer|
                             (SEQ (LETT |add_cnt| (+ |add_cnt| 1))
                                  (LETT |word2| NIL)
                                  (COND
                                   (|wordProblem|
                                    (SEQ
                                     (SEQ (LETT |wdi| NIL) (LETT #5# |word3|)
                                          G190
                                          (COND
                                           ((OR (ATOM #5#)
                                                (PROGN
                                                 (LETT |wdi| (CAR #5#))
                                                 NIL))
                                            (GO G191)))
                                          (SEQ
                                           (LETT |ttt|
                                                 (SPADCALL |newGroup| |wdi|
                                                           (QREFELT % 44)))
                                           (EXIT
                                            (SEQ G190
                                                 (COND
                                                  ((NULL
                                                    (NULL
                                                     (|PERMGRP;testIdentity|
                                                      |ttt| %)))
                                                   (GO G191)))
                                                 (SEQ
                                                  (LETT |word2|
                                                        (CONS |wdi| |word2|))
                                                  (EXIT
                                                   (LETT |ttt|
                                                         (|PERMGRP;times| |ttt|
                                                          (SPADCALL |newGroup|
                                                                    |wdi|
                                                                    (QREFELT %
                                                                             44))
                                                          %))))
                                                 NIL (GO G190) G191
                                                 (EXIT NIL))))
                                          (LETT #5# (CDR #5#)) (GO G190) G191
                                          (EXIT NIL))
                                     (LETT |word|
                                           (SPADCALL |word| |word2|
                                                     (QREFELT % 32)))
                                     (EXIT
                                      (LETT |word|
                                            (|PERMGRP;shortenWord| |word|
                                             |group| %))))))
                                  (COND
                                   (|newBasePoint|
                                    (SEQ
                                     (SEQ
                                      (EXIT
                                       (SEQ (LETT |i| 1) (LETT #3# |degree|)
                                            G190
                                            (COND
                                             ((|greater_SI| |i| #3#)
                                              (GO G191)))
                                            (SEQ
                                             (EXIT
                                              (COND
                                               ((SPADCALL
                                                 (SPADCALL |z| |i|
                                                           (QREFELT % 72))
                                                 |i| (QREFELT % 23))
                                                (SEQ
                                                 (LETT |baseOfGroup|
                                                       (SPADCALL |baseOfGroup|
                                                                 (LIST |i|)
                                                                 (QREFELT %
                                                                          32)))
                                                 (EXIT
                                                  (PROGN
                                                   (LETT #2# 1)
                                                   (GO #20=#:G365))))))))
                                            (LETT |i| (|inc_SI| |i|)) (GO G190)
                                            G191 (EXIT NIL)))
                                      #20# (EXIT #2#))
                                     (LETT |orbv|
                                           (MAKEARR1
                                            (SPADCALL |baseOfGroup|
                                                      (QREFELT % 21))
                                            |dummy_rec|))
                                     (LETT |out|
                                           (CONS (SPADCALL |z| (QREFELT % 103))
                                                 |out|))
                                     (EXIT
                                      (COND
                                       (|wordProblem|
                                        (LETT |outword|
                                              (CONS
                                               (SPADCALL |word|
                                                         (QREFELT % 104))
                                               |outword|)))))))
                                   ('T
                                    (SEQ
                                     (SPADCALL |out| |basePoint|
                                               (CONS |z|
                                                     (SPADCALL |out|
                                                               |basePoint|
                                                               (QREFELT % 84)))
                                               (QREFELT % 91))
                                     (EXIT
                                      (COND
                                       (|wordProblem|
                                        (SPADCALL |outword| |basePoint|
                                                  (CONS |word|
                                                        (SPADCALL |outword|
                                                                  |basePoint|
                                                                  (QREFELT %
                                                                           94)))
                                                  (QREFELT % 96))))))))
                                  (EXIT (LETT |kkk| |basePoint|)))))))
                     NIL (GO G190) G191 (EXIT NIL))
                (LETT |sizeOfGroup| 1)
                (SEQ (LETT |j| 1)
                     (LETT #1# (SPADCALL |baseOfGroup| (QREFELT % 21))) G190
                     (COND ((|greater_SI| |j| #1#) (GO G191)))
                     (SEQ
                      (EXIT
                       (LETT |sizeOfGroup|
                             (* |sizeOfGroup|
                                (SPADCALL
                                 (QCAR (SPADCALL |orbv| |j| (QREFELT % 101)))
                                 (QREFELT % 21))))))
                     (LETT |j| (|inc_SI| |j|)) (GO G190) G191 (EXIT NIL))
                (PROGN
                 (RPLACD |group|
                         (VECTOR |sizeOfGroup| |sgs| |baseOfGroup| |orbv|
                                 |supp| |wordlist|))
                 (QCDR |group|))
                (EXIT |sizeOfGroup|)))
          #18# (EXIT #17#)))) 

(SDEFUN |PERMGRP;initialize| ((|group| (%)) (% (|Set| (|Permutation| S))))
        (SPROG
         ((#1=#:G394 NIL) (|gen| NIL) (|gp| (|List| (|Permutation| S)))
          (|group2| (|Set| (|Permutation| S))))
         (SEQ (LETT |group2| (SPADCALL (QREFELT % 106)))
              (LETT |gp| (QCAR |group|))
              (SEQ (LETT |gen| NIL) (LETT #1# |gp|) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |gen| (CAR #1#)) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (COND
                      ((> (SPADCALL |gen| (QREFELT % 107)) 0)
                       (SPADCALL |gen| |group2| (QREFELT % 108))))))
                   (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
              (EXIT |group2|)))) 

(SDEFUN |PERMGRP;knownGroup?| ((|gp| (%)) (% (|Void|)))
        (SEQ
         (COND
          ((EQL (QVELT (QCDR |gp|) 0) 0) (|PERMGRP;bsgs| |gp| NIL 20 0 %)))
         (EXIT (SPADCALL (QREFELT % 110))))) 

(SDEFUN |PERMGRP;subgroup| ((|gp1| (%)) (|gp2| (%)) (% (|Boolean|)))
        (SPROG
         ((#1=#:G406 NIL) (#2=#:G407 NIL) (#3=#:G408 NIL) (|el| NIL)
          (|gpset2| #4=(|Set| (|Permutation| S))) (|gpset1| #4#))
         (SEQ
          (EXIT
           (SEQ (LETT |gpset1| (|PERMGRP;initialize| |gp1| %))
                (LETT |gpset2| (|PERMGRP;initialize| |gp2| %))
                (EXIT
                 (COND
                  ((SPADCALL (SPADCALL |gpset1| |gpset2| (QREFELT % 111))
                             (QREFELT % 112))
                   'T)
                  ('T
                   (SEQ
                    (SEQ
                     (EXIT
                      (SEQ (LETT |el| NIL)
                           (LETT #3# (SPADCALL |gpset1| (QREFELT % 113))) G190
                           (COND
                            ((OR (ATOM #3#) (PROGN (LETT |el| (CAR #3#)) NIL))
                             (GO G191)))
                           (SEQ
                            (EXIT
                             (COND
                              ((NULL (SPADCALL |el| |gp2| (QREFELT % 114)))
                               (PROGN
                                (LETT #1#
                                      (PROGN (LETT #2# NIL) (GO #5=#:G405)))
                                (GO #6=#:G402))))))
                           (LETT #3# (CDR #3#)) (GO G190) G191 (EXIT NIL)))
                     #6# (EXIT #1#))
                    (EXIT 'T)))))))
          #5# (EXIT #2#)))) 

(SDEFUN |PERMGRP;memberInternal|
        ((|p| (|Permutation| S)) (|gp| (%)) (|do_words| (|Boolean|))
         (%
          (|Record| (|:| |bool| (|Boolean|))
                    (|:| |lst| (|List| (|NonNegativeInteger|))))))
        (SPROG
         ((|str|
           (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                     (|:| |lst| (|List| (|NonNegativeInteger|)))))
          (|grpv| (|Vector| (|Vector| (|NonNegativeInteger|)))) (#1=#:G424 NIL)
          (|i| NIL) (|wordv| (|Vector| (|List| (|NonNegativeInteger|))))
          (|pp| (|Vector| (|NonNegativeInteger|)))
          (|degree| (|NonNegativeInteger|))
          (|base_lst| (|List| (|NonNegativeInteger|)))
          (|orbv|
           (|Vector|
            (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                      (|:| |svc| (|Vector| (|Integer|))))))
          (|sgsl| (|List| (|Vector| (|NonNegativeInteger|))))
          (|gp_info|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|))))))
          (#2=#:G422 NIL) (#3=#:G421 NIL) (#4=#:G423 NIL) (|x| NIL)
          (|mP| (|List| S)) (|gr_supp| (|List| S)))
         (SEQ
          (EXIT
           (SEQ (LETT |gr_supp| (SPADCALL |gp| (QREFELT % 51)))
                (LETT |mP|
                      (SPADCALL (SPADCALL |p| (QREFELT % 54)) (QREFELT % 56)))
                (SEQ
                 (EXIT
                  (SEQ (LETT |x| NIL) (LETT #4# |mP|) G190
                       (COND
                        ((OR (ATOM #4#) (PROGN (LETT |x| (CAR #4#)) NIL))
                         (GO G191)))
                       (SEQ
                        (EXIT
                         (COND
                          ((NULL (SPADCALL |x| |gr_supp| (QREFELT % 115)))
                           (PROGN
                            (LETT #3#
                                  (PROGN
                                   (LETT #2# (CONS NIL NIL))
                                   (GO #5=#:G420)))
                            (GO #6=#:G413))))))
                       (LETT #4# (CDR #4#)) (GO G190) G191 (EXIT NIL)))
                 #6# (EXIT #3#))
                (COND
                 ((NULL |do_words|)
                  (COND
                   ((SPADCALL |p| (QCAR |gp|) (QREFELT % 116))
                    (EXIT (PROGN (LETT #2# (CONS 'T NIL)) (GO #5#)))))))
                (|PERMGRP;knownGroup?| |gp| %) (LETT |gp_info| (QCDR |gp|))
                (LETT |sgsl| (QVELT |gp_info| 1))
                (LETT |orbv| (QVELT |gp_info| 3))
                (LETT |base_lst| (QVELT |gp_info| 2))
                (LETT |degree| (LENGTH |gr_supp|))
                (LETT |pp| (SPADCALL |gr_supp| |p| |degree| (QREFELT % 68)))
                (LETT |wordv| (MAKE-ARRAY 0))
                (COND
                 (|do_words|
                  (SEQ (LETT |wordv| (MAKEARR1 (LENGTH |sgsl|) NIL))
                       (EXIT
                        (SEQ (LETT |i| 1) (LETT #1# (LENGTH |sgsl|)) G190
                             (COND ((|greater_SI| |i| #1#) (GO G191)))
                             (SEQ
                              (EXIT
                               (SPADCALL |wordv| |i| (LIST |i|)
                                         (QREFELT % 117))))
                             (LETT |i| (|inc_SI| |i|)) (GO G190) G191
                             (EXIT NIL))))))
                (LETT |grpv| (SPADCALL |sgsl| (QREFELT % 34)))
                (LETT |str|
                      (|PERMGRP;strip| |pp|
                       (SPADCALL |base_lst| (QREFELT % 21)) |do_words| |orbv|
                       |grpv| |wordv| %))
                (EXIT
                 (CONS (|PERMGRP;testIdentity| (QCAR |str|) %) (QCDR |str|)))))
          #5# (EXIT #2#)))) 

(SDEFUN |PERMGRP;orbit_words1|
        ((|p0| (|NonNegativeInteger|)) (|p| (|NonNegativeInteger|))
         (|grp| (|List| (|Vector| (|NonNegativeInteger|))))
         (|acc| (|List| (|NonNegativeInteger|)))
         (|res| (|Vector| (|List| (|NonNegativeInteger|)))) (% (|Void|)))
        (SPROG
         ((|acc1| (|List| (|NonNegativeInteger|))) (|q| (|NonNegativeInteger|))
          (#1=#:G432 NIL) (|g| NIL) (|i| NIL))
         (SEQ (LETT |i| 1) (LETT |g| NIL) (LETT #1# |grp|) G190
              (COND
               ((OR (ATOM #1#) (PROGN (LETT |g| (CAR #1#)) NIL)) (GO G191)))
              (SEQ (LETT |q| (QAREF1O |g| |p| 1))
                   (EXIT
                    (COND
                     ((OR (EQL |p0| |q|) (NULL (NULL (QAREF1O |res| |q| 1))))
                      "skip")
                     ('T
                      (SEQ (LETT |acc1| (CONS |i| |acc|))
                           (SPADCALL |res| |q| |acc1| (QREFELT % 117))
                           (EXIT
                            (|PERMGRP;orbit_words1| |p0| |q| |grp| |acc1| |res|
                             %)))))))
              (LETT #1# (PROG1 (CDR #1#) (LETT |i| (|inc_SI| |i|)))) (GO G190)
              G191 (EXIT NIL)))) 

(SDEFUN |PERMGRP;orbit_words|
        ((|p| (|NonNegativeInteger|))
         (|grp| (|List| (|Vector| (|NonNegativeInteger|))))
         (% (|Vector| (|List| (|NonNegativeInteger|)))))
        (SPROG
         ((|res| (|Vector| (|List| (|NonNegativeInteger|))))
          (|n| (|NonNegativeInteger|)))
         (SEQ (LETT |n| (SPADCALL (|SPADfirst| |grp|) (QREFELT % 26)))
              (LETT |res| (MAKEARR1 |n| NIL))
              (|PERMGRP;orbit_words1| |p| |p| |grp| NIL |res| %) (EXIT |res|)))) 

(SDEFUN |PERMGRP;relations_for_orbit|
        ((|p| (|NonNegativeInteger|)) (|m| (|NonNegativeInteger|))
         (|orbd|
          (|Vector|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| (|Vector| (|Integer|))))))
         (|grpv| (|Vector| (|Vector| (|NonNegativeInteger|))))
         (% (|List| (|List| (|Integer|)))))
        (SPROG
         ((|res| (|List| (|List| (|Integer|)))) (|rl| (|List| (|Integer|)))
          (|ll| (|List| (|Integer|))) (#1=#:G467 NIL) (|k| NIL) (#2=#:G466 NIL)
          (|rh| (|List| (|NonNegativeInteger|)))
          (|rhr|
           (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                     (|:| |lst| (|List| (|NonNegativeInteger|)))))
          (|nw| (|Vector| (|NonNegativeInteger|)))
          (|iw| (|List| (|NonNegativeInteger|))) (|p1| (|NonNegativeInteger|))
          (#3=#:G465 NIL) (|j| NIL) (|wi| (|Vector| (|NonNegativeInteger|)))
          (|wi_l| (|List| (|NonNegativeInteger|))) (#4=#:G464 NIL) (|i| NIL)
          (#5=#:G463 NIL) (#6=#:G462 NIL) (#7=#:G461 NIL)
          (|wordv| (|Vector| (|List| (|NonNegativeInteger|))))
          (|wvi| #8=(|Vector| (|Vector| (|NonNegativeInteger|)))) (|wv| #8#)
          (|n0| (|NonNegativeInteger|))
          (|ww| (|Vector| (|List| (|NonNegativeInteger|))))
          (|grpl| (|List| (|Vector| (|NonNegativeInteger|)))))
         (SEQ (LETT |res| NIL)
              (LETT |grpl|
                    (SPADCALL (SPADCALL |grpv| (QREFELT % 118)) |m|
                              (QREFELT % 119)))
              (LETT |ww| (|PERMGRP;orbit_words| |p| |grpl| %))
              (LETT |n0| (QVSIZE (QCDR (SPADCALL |orbd| 1 (QREFELT % 101)))))
              (LETT |wv| (MAKEARR1 |n0| (MAKE-ARRAY 0)))
              (LETT |wvi| (MAKEARR1 |n0| (MAKE-ARRAY 0)))
              (LETT |wordv| (MAKEARR1 |n0| NIL))
              (SEQ (LETT |i| 1) (LETT #7# |n0|) G190
                   (COND ((|greater_SI| |i| #7#) (GO G191)))
                   (SEQ (SPADCALL |wordv| |i| (LIST |i|) (QREFELT % 117))
                        (LETT |wi_l| (QAREF1O |ww| |i| 1))
                        (EXIT
                         (COND ((NULL |wi_l|) "skip")
                               ('T
                                (SEQ
                                 (LETT |wi| (SPADCALL |n0| 0 (QREFELT % 27)))
                                 (SEQ (LETT |j| 1) (LETT #6# |n0|) G190
                                      (COND ((|greater_SI| |j| #6#) (GO G191)))
                                      (SEQ (EXIT (QSETAREF1O |wi| |j| |j| 1)))
                                      (LETT |j| (|inc_SI| |j|)) (GO G190) G191
                                      (EXIT NIL))
                                 (SEQ (LETT |j| NIL)
                                      (LETT #5# (REVERSE |wi_l|)) G190
                                      (COND
                                       ((OR (ATOM #5#)
                                            (PROGN (LETT |j| (CAR #5#)) NIL))
                                        (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (|PERMGRP;times!| |wi|
                                         (QAREF1O |grpv| |j| 1) |wi| %)))
                                      (LETT #5# (CDR #5#)) (GO G190) G191
                                      (EXIT NIL))
                                 (QSETAREF1O |wv| |i| |wi| 1)
                                 (EXIT
                                  (QSETAREF1O |wvi| |i| (|PERMGRP;inv| |wi| %)
                                              1)))))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (SEQ (LETT |i| 1) (LETT #4# |n0|) G190
                   (COND ((|greater_SI| |i| #4#) (GO G191)))
                   (SEQ (LETT |wi_l| (QAREF1O |ww| |i| 1))
                        (EXIT
                         (COND ((NULL |wi_l|) "skip")
                               ('T
                                (SEQ (LETT |wi| (QAREF1O |wv| |i| 1))
                                     (EXIT
                                      (SEQ (LETT |j| 1) (LETT #3# |m|) G190
                                           (COND
                                            ((|greater_SI| |j| #3#) (GO G191)))
                                           (SEQ
                                            (LETT |nw|
                                                  (|PERMGRP;times|
                                                   (SPADCALL |grpv| |j|
                                                             (QREFELT % 29))
                                                   |wi| %))
                                            (LETT |p1| (QAREF1O |nw| |p| 1))
                                            (LETT |iw| NIL)
                                            (COND
                                             ((SPADCALL |p1| |p|
                                                        (QREFELT % 23))
                                              (SEQ
                                               (LETT |nw|
                                                     (|PERMGRP;times|
                                                      (SPADCALL |wvi| |p1|
                                                                (QREFELT % 29))
                                                      |nw| %))
                                               (EXIT
                                                (LETT |iw|
                                                      (SPADCALL |ww| |p1|
                                                                (QREFELT %
                                                                         31)))))))
                                            (EXIT
                                             (COND
                                              ((SPADCALL (CONS |j| |wi_l|) |iw|
                                                         (QREFELT % 120))
                                               "skip")
                                              ('T
                                               (SEQ
                                                (LETT |nw|
                                                      (|PERMGRP;inv| |nw| %))
                                                (LETT |rhr|
                                                      (|PERMGRP;strip| |nw|
                                                       (QVSIZE |orbd|) 'T
                                                       |orbd| |grpv| |wordv|
                                                       %))
                                                (LETT |rh|
                                                      (SPADCALL |iw|
                                                                (QCDR |rhr|)
                                                                (QREFELT %
                                                                         121)))
                                                (LETT |rl| NIL)
                                                (SEQ (LETT |k| NIL)
                                                     (LETT #2# |rh|) G190
                                                     (COND
                                                      ((OR (ATOM #2#)
                                                           (PROGN
                                                            (LETT |k|
                                                                  (CAR #2#))
                                                            NIL))
                                                       (GO G191)))
                                                     (SEQ
                                                      (EXIT
                                                       (LETT |rl|
                                                             (CONS (- |k|)
                                                                   |rl|))))
                                                     (LETT #2# (CDR #2#))
                                                     (GO G190) G191 (EXIT NIL))
                                                (LETT |ll| NIL)
                                                (SEQ (LETT |k| NIL)
                                                     (LETT #1#
                                                           (QAREF1O |ww| |i|
                                                                    1))
                                                     G190
                                                     (COND
                                                      ((OR (ATOM #1#)
                                                           (PROGN
                                                            (LETT |k|
                                                                  (CAR #1#))
                                                            NIL))
                                                       (GO G191)))
                                                     (SEQ
                                                      (EXIT
                                                       (LETT |ll|
                                                             (CONS |k| |ll|))))
                                                     (LETT #1# (CDR #1#))
                                                     (GO G190) G191 (EXIT NIL))
                                                (LETT |ll| (NREVERSE |ll|))
                                                (LETT |rl|
                                                      (SPADCALL |ll| |rl|
                                                                (QREFELT %
                                                                         123)))
                                                (LETT |rl| (CONS |j| |rl|))
                                                (EXIT
                                                 (LETT |res|
                                                       (CONS |rl| |res|))))))))
                                           (LETT |j| (|inc_SI| |j|)) (GO G190)
                                           G191 (EXIT NIL))))))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (EXIT |res|)))) 

(SDEFUN |PERMGRP;relations_in_strong_generators|
        ((|orbd|
          (|Vector|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| (|Vector| (|Integer|))))))
         (|grpv| (|Vector| (|Vector| (|NonNegativeInteger|))))
         (% (|List| (|List| (|Integer|)))))
        (SPROG
         ((|res| (|List| (|List| (|Integer|)))) (#1=#:G483 NIL) (|p0| NIL)
          (#2=#:G484 NIL) (|m1| NIL) (|blp| (|List| (|NonNegativeInteger|)))
          (|p1| (|NonNegativeInteger|)) (#3=#:G481 NIL)
          (|gri_l| (|List| #4=(|NonNegativeInteger|)))
          (|p2| (|NonNegativeInteger|))
          (|gv| (|Vector| (|NonNegativeInteger|))) (|j| NIL)
          (|bl| (|List| (|NonNegativeInteger|)))
          (|orbi|
           (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                     (|:| |svc| (|Vector| (|Integer|)))))
          (#5=#:G482 NIL) (|i| NIL) (|m| #4#) (|k| (|NonNegativeInteger|)))
         (SEQ (LETT |k| (QVSIZE |orbd|)) (LETT |m| (QVSIZE |grpv|))
              (LETT |res| NIL) (LETT |bl| NIL)
              (SEQ (LETT |i| 1) (LETT #5# |k|) G190
                   (COND ((|greater_SI| |i| #5#) (GO G191)))
                   (SEQ (LETT |orbi| (QAREF1O |orbd| |i| 1))
                        (EXIT
                         (LETT |bl| (CONS (|SPADfirst| (QCAR |orbi|)) |bl|))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (LETT |gri_l| (LIST |m|)) (LETT |blp| |bl|)
              (LETT |p1| (|SPADfirst| |blp|)) (LETT |blp| (CDR |blp|))
              (SEQ
               (EXIT
                (SEQ (LETT |j| |m|) G190 (COND ((< |j| 1) (GO G191)))
                     (SEQ (LETT |gv| (QAREF1O |grpv| |j| 1))
                          (LETT |p2| (QAREF1O |gv| |p1| 1))
                          (EXIT
                           (COND
                            ((EQL |p1| |p2|)
                             (SEQ (LETT |gri_l| (CONS |j| |gri_l|))
                                  (EXIT
                                   (COND
                                    ((NULL |blp|)
                                     (PROGN (LETT #3# 1) (GO #6=#:G476)))
                                    ('T
                                     (SEQ (LETT |p1| (|SPADfirst| |blp|))
                                          (EXIT
                                           (LETT |blp| (CDR |blp|))))))))))))
                     (LETT |j| (+ |j| -1)) (GO G190) G191 (EXIT NIL)))
               #6# (EXIT #3#))
              (SEQ (LETT |m1| NIL) (LETT #2# |gri_l|) (LETT |p0| NIL)
                   (LETT #1# (REVERSE |bl|)) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |p0| (CAR #1#)) NIL)
                         (ATOM #2#) (PROGN (LETT |m1| (CAR #2#)) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (LETT |res|
                           (SPADCALL
                            (|PERMGRP;relations_for_orbit| |p0| |m1| |orbd|
                             |grpv| %)
                            |res| (QREFELT % 125)))))
                   (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#)))) (GO G190)
                   G191 (EXIT NIL))
              (EXIT |res|)))) 

(SDEFUN |PERMGRP;relationsInStrongGenerators;%L;29|
        ((|gp| (%)) (% (|List| (|List| (|Integer|)))))
        (SPROG
         ((|grpv| (|Vector| (|Vector| (|NonNegativeInteger|))))
          (|gi|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|)))))))
         (SEQ (|PERMGRP;knownGroup?| |gp| %) (LETT |gi| (QCDR |gp|))
              (LETT |grpv| (SPADCALL (QVELT |gi| 1) (QREFELT % 34)))
              (EXIT
               (|PERMGRP;relations_in_strong_generators| (QVELT |gi| 3) |grpv|
                %))))) 

(SDEFUN |PERMGRP;relationsInGenerators;%L;30|
        ((|gp| (%)) (% (|List| (|List| (|Integer|)))))
        (SPROG
         ((|res| (|List| (|List| (|Integer|)))) (|nrel| (|List| (|Integer|)))
          (#1=#:G532 NIL) (|k| NIL) (|cw| (|List| (|Integer|))) (#2=#:G531 NIL)
          (|j| NIL)
          (|rhr|
           (|Record| (|:| |elt| (|Vector| (|NonNegativeInteger|)))
                     (|:| |lst| (|List| (|NonNegativeInteger|)))))
          (|q| (|Vector| (|NonNegativeInteger|))) (#3=#:G529 NIL) (|i| NIL)
          (#4=#:G530 NIL) (|ggp| NIL) (#5=#:G528 NIL)
          (|wordv| (|Vector| (|List| (|NonNegativeInteger|))))
          (|n0| (|NonNegativeInteger|)) (|nn| (|NonNegativeInteger|))
          (|supp| (|List| S)) (#6=#:G527 NIL) (#7=#:G526 NIL) (#8=#:G525 NIL)
          (|srel| NIL) (|iwd| (|List| (|Integer|))) (#9=#:G524 NIL)
          (#10=#:G523 NIL) (#11=#:G522 NIL) (#12=#:G520 NIL) (#13=#:G521 NIL)
          (|wli| NIL) (|iwords| #14=(|Vector| (|List| (|Integer|))))
          (|words| #14#) (|srels| (|List| (|List| (|Integer|))))
          (|orbd|
           #15=(|Vector|
                (|Record| (|:| |orb| (|List| (|NonNegativeInteger|)))
                          (|:| |svc| (|Vector| (|Integer|))))))
          (|grpv| (|Vector| (|Vector| (|NonNegativeInteger|))))
          (|gi|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs| #15#) (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|)))))))
         (SEQ (LETT |gi| (QCDR |gp|))
              (COND
               ((EQL (LENGTH (QVELT |gi| 5)) 0)
                (SEQ (SPADCALL |gp| (QREFELT % 127))
                     (EXIT (LETT |gi| (QCDR |gp|))))))
              (LETT |grpv| (SPADCALL (QVELT |gi| 1) (QREFELT % 34)))
              (LETT |orbd| (QVELT |gi| 3))
              (LETT |srels|
                    (|PERMGRP;relations_in_strong_generators| |orbd| |grpv| %))
              (LETT |words| (MAKEARR1 (LENGTH (QVELT |gi| 5)) NIL))
              (LETT |iwords| (MAKEARR1 (QVSIZE |words|) NIL))
              (SEQ (LETT |wli| NIL) (LETT #13# (QVELT |gi| 5)) (LETT |i| 1)
                   (LETT #12# (QVSIZE |words|)) G190
                   (COND
                    ((OR (|greater_SI| |i| #12#) (ATOM #13#)
                         (PROGN (LETT |wli| (CAR #13#)) NIL))
                     (GO G191)))
                   (SEQ
                    (SPADCALL |words| |i|
                              (PROGN
                               (LETT #11# NIL)
                               (SEQ (LETT |j| NIL) (LETT #10# |wli|) G190
                                    (COND
                                     ((OR (ATOM #10#)
                                          (PROGN (LETT |j| (CAR #10#)) NIL))
                                      (GO G191)))
                                    (SEQ (EXIT (LETT #11# (CONS |j| #11#))))
                                    (LETT #10# (CDR #10#)) (GO G190) G191
                                    (EXIT (NREVERSE #11#))))
                              (QREFELT % 129))
                    (LETT |iwd| NIL)
                    (SEQ (LETT |j| NIL) (LETT #9# |wli|) G190
                         (COND
                          ((OR (ATOM #9#) (PROGN (LETT |j| (CAR #9#)) NIL))
                           (GO G191)))
                         (SEQ (EXIT (LETT |iwd| (CONS (- |j|) |iwd|))))
                         (LETT #9# (CDR #9#)) (GO G190) G191 (EXIT NIL))
                    (EXIT (SPADCALL |iwords| |i| |iwd| (QREFELT % 129))))
                   (LETT |i| (PROG1 (|inc_SI| |i|) (LETT #13# (CDR #13#))))
                   (GO G190) G191 (EXIT NIL))
              (LETT |res| NIL)
              (SEQ (LETT |srel| NIL) (LETT #8# |srels|) G190
                   (COND
                    ((OR (ATOM #8#) (PROGN (LETT |srel| (CAR #8#)) NIL))
                     (GO G191)))
                   (SEQ (LETT |nrel| NIL)
                        (SEQ (LETT |i| NIL) (LETT #7# |srel|) G190
                             (COND
                              ((OR (ATOM #7#) (PROGN (LETT |i| (CAR #7#)) NIL))
                               (GO G191)))
                             (SEQ
                              (LETT |cw|
                                    (COND ((> |i| 0) (QAREF1O |words| |i| 1))
                                          ('T (QAREF1O |iwords| (- |i|) 1))))
                              (EXIT
                               (SEQ (LETT |j| NIL) (LETT #6# |cw|) G190
                                    (COND
                                     ((OR (ATOM #6#)
                                          (PROGN (LETT |j| (CAR #6#)) NIL))
                                      (GO G191)))
                                    (SEQ
                                     (EXIT (LETT |nrel| (CONS |j| |nrel|))))
                                    (LETT #6# (CDR #6#)) (GO G190) G191
                                    (EXIT NIL))))
                             (LETT #7# (CDR #7#)) (GO G190) G191 (EXIT NIL))
                        (EXIT (LETT |res| (CONS (NREVERSE |nrel|) |res|))))
                   (LETT #8# (CDR #8#)) (GO G190) G191 (EXIT NIL))
              (LETT |supp| (SPADCALL |gp| (QREFELT % 51)))
              (LETT |nn| (LENGTH |supp|)) (LETT |n0| (QVSIZE |grpv|))
              (LETT |wordv| (MAKEARR1 |n0| NIL))
              (SEQ (LETT |i| 1) (LETT #5# |n0|) G190
                   (COND ((|greater_SI| |i| #5#) (GO G191)))
                   (SEQ
                    (EXIT (SPADCALL |wordv| |i| (LIST |i|) (QREFELT % 117))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (SEQ (LETT |ggp| NIL) (LETT #4# (QCAR |gp|)) (LETT |i| 1)
                   (LETT #3# (QVSIZE |words|)) G190
                   (COND
                    ((OR (|greater_SI| |i| #3#) (ATOM #4#)
                         (PROGN (LETT |ggp| (CAR #4#)) NIL))
                     (GO G191)))
                   (SEQ (LETT |q| (SPADCALL |supp| |ggp| |nn| (QREFELT % 68)))
                        (LETT |rhr|
                              (|PERMGRP;strip| |q| (QVSIZE |orbd|) 'T |orbd|
                               |grpv| |wordv| %))
                        (LETT |nrel| NIL)
                        (SEQ (LETT |j| NIL) (LETT #2# (QCDR |rhr|)) G190
                             (COND
                              ((OR (ATOM #2#) (PROGN (LETT |j| (CAR #2#)) NIL))
                               (GO G191)))
                             (SEQ
                              (LETT |cw|
                                    (SPADCALL |words| |j| (QREFELT % 130)))
                              (EXIT
                               (SEQ (LETT |k| NIL) (LETT #1# |cw|) G190
                                    (COND
                                     ((OR (ATOM #1#)
                                          (PROGN (LETT |k| (CAR #1#)) NIL))
                                      (GO G191)))
                                    (SEQ
                                     (EXIT (LETT |nrel| (CONS |k| |nrel|))))
                                    (LETT #1# (CDR #1#)) (GO G190) G191
                                    (EXIT NIL))))
                             (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL))
                        (LETT |nrel| (NREVERSE |nrel|))
                        (LETT |nrel| (CONS |i| |nrel|))
                        (EXIT (LETT |res| (CONS |nrel| |res|))))
                   (LETT |i| (PROG1 (|inc_SI| |i|) (LETT #4# (CDR #4#))))
                   (GO G190) G191 (EXIT NIL))
              (EXIT |res|)))) 

(PUT '|PERMGRP;coerce;%L;31| '|SPADreplace| 'QCAR) 

(SDEFUN |PERMGRP;coerce;%L;31| ((|gp| (%)) (% (|List| (|Permutation| S))))
        (QCAR |gp|)) 

(PUT '|PERMGRP;generators;%L;32| '|SPADreplace| 'QCAR) 

(SDEFUN |PERMGRP;generators;%L;32| ((|gp| (%)) (% (|List| (|Permutation| S))))
        (QCAR |gp|)) 

(SDEFUN |PERMGRP;strongGenerators;%L;33|
        ((|group| (%)) (% (|List| (|Permutation| S))))
        (SPROG
         ((|strongGens| (|List| (|Permutation| S)))
          (|pairs| (|List| (|List| S))) (#1=#:G544 NIL) (|j| NIL)
          (#2=#:G543 NIL) (|i| NIL) (|degree| (|NonNegativeInteger|))
          (|gr_sgs| (|List| (|Vector| (|NonNegativeInteger|))))
          (|gr_supp| (|List| S)))
         (SEQ (|PERMGRP;knownGroup?| |group| %)
              (LETT |gr_supp| (QVELT (QCDR |group|) 4))
              (LETT |gr_sgs| (QVELT (QCDR |group|) 1))
              (LETT |degree| (LENGTH |gr_supp|)) (LETT |strongGens| NIL)
              (SEQ (LETT |i| NIL) (LETT #2# |gr_sgs|) G190
                   (COND
                    ((OR (ATOM #2#) (PROGN (LETT |i| (CAR #2#)) NIL))
                     (GO G191)))
                   (SEQ (LETT |pairs| NIL)
                        (SEQ (LETT |j| 1) (LETT #1# |degree|) G190
                             (COND ((|greater_SI| |j| #1#) (GO G191)))
                             (SEQ
                              (EXIT
                               (LETT |pairs|
                                     (CONS
                                      (LIST
                                       (SPADCALL |gr_supp| |j| (QREFELT % 41))
                                       (SPADCALL |gr_supp|
                                                 (SPADCALL |i| |j|
                                                           (QREFELT % 72))
                                                 (QREFELT % 41)))
                                      |pairs|))))
                             (LETT |j| (|inc_SI| |j|)) (GO G190) G191
                             (EXIT NIL))
                        (EXIT
                         (LETT |strongGens|
                               (CONS (SPADCALL |pairs| (QREFELT % 133))
                                     |strongGens|))))
                   (LETT #2# (CDR #2#)) (GO G190) G191 (EXIT NIL))
              (EXIT (REVERSE |strongGens|))))) 

(SDEFUN |PERMGRP;elt;%NniP;34|
        ((|gp| (%)) (|i| (|NonNegativeInteger|)) (% (|Permutation| S)))
        (SPADCALL (QCAR |gp|) |i| (QREFELT % 135))) 

(SDEFUN |PERMGRP;movedPoints;%S;35| ((|gp| (%)) (% (|Set| S)))
        (SPADCALL (SPADCALL |gp| (QREFELT % 51)) (QREFELT % 137))) 

(SDEFUN |PERMGRP;random;%IP;36|
        ((|group| (%)) (|maximalNumberOfFactors| (|Integer|))
         (% (|Permutation| S)))
        (SPROG
         ((|numberOfLoops| #1=(|Integer|)) (|randomElement| (|Permutation| S))
          (|randomInteger| #1#) (|numberOfGenerators| (|NonNegativeInteger|))
          (|gp| (|List| (|Permutation| S))))
         (SEQ
          (COND ((< |maximalNumberOfFactors| 1) (|spadConstant| % 22))
                ('T
                 (SEQ (LETT |gp| (QCAR |group|))
                      (LETT |numberOfGenerators| (LENGTH |gp|))
                      (LETT |randomInteger|
                            (+ 1 (RANDOM |numberOfGenerators|)))
                      (LETT |randomElement|
                            (SPADCALL |gp| |randomInteger| (QREFELT % 135)))
                      (LETT |numberOfLoops|
                            (+ 1 (RANDOM |maximalNumberOfFactors|)))
                      (SEQ G190 (COND ((NULL (> |numberOfLoops| 0)) (GO G191)))
                           (SEQ
                            (LETT |randomInteger|
                                  (+ 1 (RANDOM |numberOfGenerators|)))
                            (LETT |randomElement|
                                  (SPADCALL
                                   (SPADCALL |gp| |randomInteger|
                                             (QREFELT % 135))
                                   |randomElement| (QREFELT % 139)))
                            (EXIT
                             (LETT |numberOfLoops| (- |numberOfLoops| 1))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (EXIT |randomElement|))))))) 

(SDEFUN |PERMGRP;random;%P;37| ((|group| (%)) (% (|Permutation| S)))
        (SPADCALL |group| 20 (QREFELT % 140))) 

(SDEFUN |PERMGRP;order;%Nni;38| ((|group| (%)) (% (|NonNegativeInteger|)))
        (SEQ (|PERMGRP;knownGroup?| |group| %) (EXIT (QVELT (QCDR |group|) 0)))) 

(SDEFUN |PERMGRP;degree;%Nni;39| ((|group| (%)) (% (|NonNegativeInteger|)))
        (LENGTH (SPADCALL |group| (QREFELT % 51)))) 

(SDEFUN |PERMGRP;base;%L;40| ((|group| (%)) (% (|List| S)))
        (SPROG
         ((|groupBase| (|List| S)) (#1=#:G563 NIL) (|i| NIL)
          (|gr_supp| (|List| S)) (|gr_base| (|List| (|NonNegativeInteger|))))
         (SEQ (|PERMGRP;knownGroup?| |group| %)
              (LETT |gr_base| (QVELT (QCDR |group|) 2))
              (LETT |gr_supp| (QVELT (QCDR |group|) 4)) (LETT |groupBase| NIL)
              (SEQ (LETT |i| NIL) (LETT #1# |gr_base|) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |i| (CAR #1#)) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (LETT |groupBase|
                           (CONS (SPADCALL |gr_supp| |i| (QREFELT % 41))
                                 |groupBase|))))
                   (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
              (EXIT (REVERSE |groupBase|))))) 

(SDEFUN |PERMGRP;wordsForStrongGenerators;%L;41|
        ((|group| (%)) (% (|List| (|List| (|NonNegativeInteger|)))))
        (SPROG
         ((|gi|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|)))))))
         (SEQ (LETT |gi| (QCDR |group|))
              (COND
               ((EQL (LENGTH (QVELT |gi| 5)) 0)
                (SEQ (SPADCALL |group| (QREFELT % 127))
                     (EXIT (LETT |gi| (QCDR |group|))))))
              (EXIT (QVELT |gi| 5))))) 

(SDEFUN |PERMGRP;coerce;L%;42| ((|gp| (|List| (|Permutation| S))) (% (%)))
        (SPROG
         ((|group| (%))
          (|result|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|)))))))
         (SEQ (LETT |result| (VECTOR 0 NIL NIL #() NIL NIL))
              (EXIT (LETT |group| (CONS |gp| |result|)))))) 

(SDEFUN |PERMGRP;permutationGroup;L%;43|
        ((|gp| (|List| (|Permutation| S))) (% (%)))
        (SPROG
         ((|group| (%))
          (|result|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S))
                     (|:| |wd| (|List| (|List| (|NonNegativeInteger|)))))))
         (SEQ (LETT |result| (VECTOR 0 NIL NIL #() NIL NIL))
              (EXIT (LETT |group| (CONS |gp| |result|)))))) 

(SDEFUN |PERMGRP;coerce;%Of;44| ((|group| (%)) (% (|OutputForm|)))
        (SPROG
         ((|outList| (|List| (|OutputForm|))) (|i| NIL)
          (|gp| (|List| (|Permutation| S))))
         (SEQ (LETT |outList| NIL) (LETT |gp| (QCAR |group|))
              (SEQ (LETT |i| (LENGTH |gp|)) G190 (COND ((< |i| 1) (GO G191)))
                   (SEQ
                    (EXIT
                     (LETT |outList|
                           (CONS
                            (SPADCALL (SPADCALL |gp| |i| (QREFELT % 135))
                                      (QREFELT % 149))
                            |outList|))))
                   (LETT |i| (+ |i| -1)) (GO G190) G191 (EXIT NIL))
              (EXIT
               (SPADCALL (SPADCALL '> (QREFELT % 151))
                         (SPADCALL (SPADCALL |outList| (QREFELT % 153))
                                   (SPADCALL '< (QREFELT % 151))
                                   (QREFELT % 154))
                         (QREFELT % 154)))))) 

(SDEFUN |PERMGRP;orbit;%SS;45| ((|gp| (%)) (|el| (S)) (% (|Set| S)))
        (SPROG
         ((#1=#:G586 NIL) (|i| NIL) (|outSet| (|Set| S))
          (|outList| (|List| (|List| S))) (|elList| (|List| S)))
         (SEQ (LETT |elList| (LIST |el|))
              (LETT |outList| (|PERMGRP;orbitInternal| |gp| |elList| %))
              (LETT |outSet| (SPADCALL (QREFELT % 53)))
              (SEQ (LETT |i| 1) (LETT #1# (LENGTH |outList|)) G190
                   (COND ((|greater_SI| |i| #1#) (GO G191)))
                   (SEQ
                    (EXIT
                     (SPADCALL
                      (SPADCALL (SPADCALL |outList| |i| (QREFELT % 40)) 1
                                (QREFELT % 41))
                      |outSet| (QREFELT % 156))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (EXIT |outSet|)))) 

(SDEFUN |PERMGRP;orbits;%S;46| ((|gp| (%)) (% (|Set| (|Set| S))))
        (SPROG
         ((|spp| (|Set| S)) (|orbits| (|List| (|Set| S)))
          (|orbitSet| (|Set| S)) (|el| (S)))
         (SEQ (LETT |spp| (SPADCALL |gp| (QREFELT % 138))) (LETT |orbits| NIL)
              (SEQ G190
                   (COND
                    ((NULL (> (SPADCALL |spp| (QREFELT % 158)) 0)) (GO G191)))
                   (SEQ (LETT |el| (SPADCALL |spp| (QREFELT % 159)))
                        (LETT |orbitSet| (SPADCALL |gp| |el| (QREFELT % 157)))
                        (LETT |orbits| (CONS |orbitSet| |orbits|))
                        (EXIT
                         (LETT |spp|
                               (SPADCALL |spp| |orbitSet| (QREFELT % 160)))))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT (SPADCALL |orbits| (QREFELT % 163)))))) 

(SDEFUN |PERMGRP;member?;P%B;47|
        ((|p| (|Permutation| S)) (|gp| (%)) (% (|Boolean|)))
        (SPROG
         ((|mi|
           (|Record| (|:| |bool| (|Boolean|))
                     (|:| |lst| (|List| (|NonNegativeInteger|))))))
         (SEQ (LETT |mi| (|PERMGRP;memberInternal| |p| |gp| NIL %))
              (EXIT (QCAR |mi|))))) 

(SDEFUN |PERMGRP;wordInStrongGenerators;P%L;48|
        ((|p| (|Permutation| S)) (|gp| (%))
         (% (|List| (|NonNegativeInteger|))))
        (SPROG
         ((|mi|
           (|Record| (|:| |bool| (|Boolean|))
                     (|:| |lst| (|List| (|NonNegativeInteger|))))))
         (SEQ
          (LETT |mi|
                (|PERMGRP;memberInternal| (SPADCALL |p| (QREFELT % 165)) |gp|
                 'T %))
          (COND
           ((NULL (QCAR |mi|)) (EXIT (|error| "p is not an element of gp"))))
          (EXIT (QCDR |mi|))))) 

(SDEFUN |PERMGRP;wordInGenerators;P%L;49|
        ((|p| (|Permutation| S)) (|gp| (%))
         (% (|List| (|NonNegativeInteger|))))
        (SPROG
         ((|outlist| (|List| (|NonNegativeInteger|))) (#1=#:G605 NIL) (|n| NIL)
          (|words| #2=(|List| (|List| (|NonNegativeInteger|))))
          (|lll| (|List| (|NonNegativeInteger|)))
          (|gp_info|
           (|Record| (|:| |order| (|NonNegativeInteger|))
                     (|:| |sgset| (|List| (|Vector| (|NonNegativeInteger|))))
                     (|:| |gpbase| (|List| (|NonNegativeInteger|)))
                     (|:| |orbs|
                          (|Vector|
                           (|Record|
                            (|:| |orb| (|List| (|NonNegativeInteger|)))
                            (|:| |svc| (|Vector| (|Integer|))))))
                     (|:| |mp| (|List| S)) (|:| |wd| #2#))))
         (SEQ (LETT |gp_info| (QCDR |gp|))
              (COND
               ((EQL (LENGTH (QVELT |gp_info| 5)) 0)
                (SEQ (SPADCALL |gp| (QREFELT % 127))
                     (EXIT (LETT |gp_info| (QCDR |gp|))))))
              (LETT |lll| (SPADCALL |p| |gp| (QREFELT % 166)))
              (LETT |outlist| NIL) (LETT |words| (QVELT (QCDR |gp|) 5))
              (SEQ (LETT |n| NIL) (LETT #1# |lll|) G190
                   (COND
                    ((OR (ATOM #1#) (PROGN (LETT |n| (CAR #1#)) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (LETT |outlist|
                           (SPADCALL |outlist|
                                     (SPADCALL |words| |n| (QREFELT % 45))
                                     (QREFELT % 32)))))
                   (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
              (EXIT (|PERMGRP;shortenWord| |outlist| |gp| %))))) 

(SDEFUN |PERMGRP;<;2%B;50| ((|gp1| (%)) (|gp2| (%)) (% (|Boolean|)))
        (COND
         ((NULL
           (SPADCALL
            (SPADCALL (SPADCALL |gp1| (QREFELT % 138))
                      (SPADCALL |gp2| (QREFELT % 138)) (QREFELT % 160))
            (QREFELT % 168)))
          NIL)
         ((NULL (|PERMGRP;subgroup| |gp1| |gp2| %)) NIL)
         ('T
          (NULL
           (EQL (SPADCALL |gp1| (QREFELT % 142))
                (SPADCALL |gp2| (QREFELT % 142))))))) 

(SDEFUN |PERMGRP;<=;2%B;51| ((|gp1| (%)) (|gp2| (%)) (% (|Boolean|)))
        (COND
         ((NULL
           (SPADCALL
            (SPADCALL (SPADCALL |gp1| (QREFELT % 138))
                      (SPADCALL |gp2| (QREFELT % 138)) (QREFELT % 160))
            (QREFELT % 168)))
          NIL)
         ('T (|PERMGRP;subgroup| |gp1| |gp2| %)))) 

(SDEFUN |PERMGRP;=;2%B;52| ((|gp1| (%)) (|gp2| (%)) (% (|Boolean|)))
        (SPROG ((#1=#:G621 NIL))
               (SEQ
                (EXIT
                 (COND
                  ((SPADCALL (SPADCALL |gp1| (QREFELT % 138))
                             (SPADCALL |gp2| (QREFELT % 138)) (QREFELT % 171))
                   NIL)
                  (#2='T
                   (SEQ
                    (COND
                     ((<= (LENGTH (QCAR |gp1|)) (LENGTH (QCAR |gp2|)))
                      (COND
                       ((NULL (|PERMGRP;subgroup| |gp1| |gp2| %))
                        (EXIT (PROGN (LETT #1# NIL) (GO #3=#:G620))))))
                     ((NULL (|PERMGRP;subgroup| |gp2| |gp1| %))
                      (EXIT (PROGN (LETT #1# NIL) (GO #3#)))))
                    (EXIT
                     (COND
                      ((EQL (SPADCALL |gp1| (QREFELT % 142))
                            (SPADCALL |gp2| (QREFELT % 142)))
                       'T)
                      (#2# NIL)))))))
                #3# (EXIT #1#)))) 

(SDEFUN |PERMGRP;orbit;%SS;53|
        ((|gp| (%)) (|startSet| (|Set| S)) (% (|Set| (|Set| S))))
        (SPROG
         ((|newSet| (|Set| S)) (#1=#:G627 NIL) (|i| NIL)
          (|outSet| (|Set| (|Set| S))) (|outList| (|List| (|List| S)))
          (|startList| (|List| S)))
         (SEQ (LETT |startList| (SPADCALL |startSet| (QREFELT % 56)))
              (LETT |outList| (|PERMGRP;orbitInternal| |gp| |startList| %))
              (LETT |outSet| (SPADCALL (QREFELT % 173)))
              (SEQ (LETT |i| 1) (LETT #1# (LENGTH |outList|)) G190
                   (COND ((|greater_SI| |i| #1#) (GO G191)))
                   (SEQ
                    (LETT |newSet|
                          (SPADCALL (SPADCALL |outList| |i| (QREFELT % 40))
                                    (QREFELT % 137)))
                    (EXIT (SPADCALL |newSet| |outSet| (QREFELT % 174))))
                   (LETT |i| (|inc_SI| |i|)) (GO G190) G191 (EXIT NIL))
              (EXIT |outSet|)))) 

(SDEFUN |PERMGRP;orbit;%LS;54|
        ((|gp| (%)) (|startList| (|List| S)) (% (|Set| (|List| S))))
        (SPADCALL (|PERMGRP;orbitInternal| |gp| |startList| %) (QREFELT % 177))) 

(SDEFUN |PERMGRP;initializeGroupForWordProblem;%2IV;55|
        ((|gp| (%)) (|maxLoops| (|Integer|)) (|diff| (|Integer|)) (% (|Void|)))
        (SEQ (|PERMGRP;bsgs| |gp| 'T |maxLoops| |diff| %)
             (EXIT (SPADCALL (QREFELT % 110))))) 

(SDEFUN |PERMGRP;initializeGroupForWordProblem;%V;56| ((|gp| (%)) (% (|Void|)))
        (SPADCALL |gp| 0 1 (QREFELT % 179))) 

(DECLAIM (NOTINLINE |PermutationGroup;|)) 

(DEFUN |PermutationGroup| (#1=#:G632)
  (SPROG NIL
         (PROG (#2=#:G633)
           (RETURN
            (COND
             ((LETT #2#
                    (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                               (HGET |$ConstructorCache|
                                                     '|PermutationGroup|)
                                               '|domainEqualList|))
              (|CDRwithIncrement| #2#))
             ('T
              (UNWIND-PROTECT (PROG1 (|PermutationGroup;| #1#) (LETT #2# T))
                (COND
                 ((NOT #2#)
                  (HREM |$ConstructorCache| '|PermutationGroup|)))))))))) 

(DEFUN |PermutationGroup;| (|#1|)
  (SPROG ((|pv$| NIL) (% NIL) (|dv$| NIL) (DV$1 NIL))
         (PROGN
          (LETT DV$1 (|devaluate| |#1|))
          (LETT |dv$| (LIST '|PermutationGroup| DV$1))
          (LETT % (GETREFV 181))
          (QSETREFV % 0 |dv$|)
          (QSETREFV % 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|haddProp| |$ConstructorCache| '|PermutationGroup| (LIST DV$1)
                      (CONS 1 %))
          (|stuffDomainSlots| %)
          (QSETREFV % 6 |#1|)
          (SETF |pv$| (QREFELT % 3))
          (QSETREFV % 7
                    (|Record| (|:| |gens| (|List| (|Permutation| |#1|)))
                              (|:| |information|
                                   (|Record|
                                    (|:| |order| (|NonNegativeInteger|))
                                    (|:| |sgset|
                                         (|List|
                                          (|Vector| (|NonNegativeInteger|))))
                                    (|:| |gpbase|
                                         (|List| (|NonNegativeInteger|)))
                                    (|:| |orbs|
                                         (|Vector|
                                          (|Record|
                                           (|:| |orb|
                                                (|List|
                                                 (|NonNegativeInteger|)))
                                           (|:| |svc|
                                                (|Vector| (|Integer|))))))
                                    (|:| |mp| (|List| |#1|))
                                    (|:| |wd|
                                         (|List|
                                          (|List| (|NonNegativeInteger|))))))))
          (COND
           ((|HasCategory| |#1| '(|OrderedSet|))
            (QSETREFV % 51
                      (CONS (|dispatchFunction| |PERMGRP;pointList;%L;11|) %)))
           ('T
            (QSETREFV % 51
                      (CONS (|dispatchFunction| |PERMGRP;pointList;%L;12|)
                            %))))
          (COND
           ((|HasCategory| |#1| '(|OrderedSet|))
            (PROGN
             (QSETREFV % 68
                       (CONS
                        (|dispatchFunction| |PERMGRP;perm_to_vec;LPNniV;14|)
                        %))))
           ('T
            (QSETREFV % 68
                      (CONS
                       (|dispatchFunction| |PERMGRP;perm_to_vec;LPNniV;15|)
                       %))))
          %))) 

(MAKEPROP '|PermutationGroup| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) '|Rep| (|List| 11)
              |PERMGRP;coerce;%L;31| (|NonNegativeInteger|) (|Permutation| 6)
              (0 . |order|) (|List| 10) (5 . |copy|) (|Integer|) (10 . |elt|)
              (|Boolean|) (16 . |member?|) (22 . |position|) (28 . |delete|)
              (34 . |#|) (39 . |One|) (43 . ~=) (49 . |rest|) (|Vector| 10)
              (55 . |#|) (60 . |new|) (|Vector| 25) (66 . |elt|) (|Vector| 13)
              (72 . |elt|) (78 . |append|) (|List| 25) (84 . |vector|)
              (|List| 13) (89 . |vector|) (94 . |qelt|) (|List| 6) (|List| 38)
              (100 . |elt|) (106 . |elt|) (112 . |eval|) (118 . |member?|)
              (124 . |elt|) (130 . |elt|)
              (|Record| (|:| |preimage| 38) (|:| |image| 38))
              (136 . |listRepresentation|) (141 . |sort|) (146 . |merge|)
              (152 . =) (158 . |pointList|) (|Set| 6) (163 . |empty|)
              (167 . |movedPoints|) (172 . |union|) (178 . |parts|) (183 . <=)
              (|Record| (|:| |preimage| 10) (|:| |image| 6))
              (|Mapping| 17 58 58) (|List| 58) (189 . |sort|) (195 . |first|)
              (200 . <=) (|Mapping| 17 13 13) (206 . |sort|) (212 . |second|)
              (217 . |setelt!|) (224 . |perm_to_vec|) (231 . |position|)
              (|Vector| 15) (237 . |setelt!|) (244 . |elt|) (250 . |member?|)
              (|List| 33) (|Reference| 74) (256 . |setref|) (|List| 35)
              (|Reference| 77) (262 . |setref|) (268 . |deref|)
              (273 . |append|) (279 . |deref|) (284 . |append|) (290 . |elt|)
              (296 . |append|) (|Mapping| 25 25) (302 . |map|)
              (|Record| (|:| |orb| 13) (|:| |svc| 70)) (|Vector| 88)
              (308 . |setelt!|) (315 . |setelt!|) (322 . |position|)
              (328 . |delete|) (334 . |elt|) (340 . |delete|) (346 . |setelt!|)
              (353 . |ref|) (358 . |ref|) (363 . |list|) (368 . |append|)
              (374 . |elt|) (380 . |copy|) (385 . |list|) (390 . |list|)
              (|Set| 11) (395 . |empty|) (399 . |degree|) (404 . |insert!|)
              (|Void|) (410 . |void|) (414 . |difference|) (420 . |empty?|)
              (425 . |parts|) |PERMGRP;member?;P%B;47| (430 . |member?|)
              (436 . |member?|) (442 . |setelt!|) (449 . |members|)
              (454 . |first|) (460 . =) (466 . |concat|) (|List| 15)
              (472 . |concat|) (|List| 122) (478 . |concat|)
              |PERMGRP;relationsInStrongGenerators;%L;29|
              |PERMGRP;initializeGroupForWordProblem;%V;56| (|Vector| 122)
              (484 . |setelt!|) (491 . |elt|)
              |PERMGRP;relationsInGenerators;%L;30| |PERMGRP;generators;%L;32|
              (497 . |coerceListOfPairs|) |PERMGRP;strongGenerators;%L;33|
              (502 . |elt|) |PERMGRP;elt;%NniP;34| (508 . |set|)
              |PERMGRP;movedPoints;%S;35| (513 . *) |PERMGRP;random;%IP;36|
              |PERMGRP;random;%P;37| |PERMGRP;order;%Nni;38|
              |PERMGRP;degree;%Nni;39| |PERMGRP;base;%L;40|
              |PERMGRP;wordsForStrongGenerators;%L;41| |PERMGRP;coerce;L%;42|
              |PERMGRP;permutationGroup;L%;43| (|OutputForm|) (519 . |coerce|)
              (|Symbol|) (524 . |outputForm|) (|List| %)
              (529 . |commaSeparate|) (534 . |postfix|) |PERMGRP;coerce;%Of;44|
              (540 . |insert!|) |PERMGRP;orbit;%SS;45| (546 . |cardinality|)
              (551 . |extract!|) (556 . |difference|) (|List| 52) (|Set| 52)
              (562 . |set|) |PERMGRP;orbits;%S;46| (567 . |inv|)
              |PERMGRP;wordInStrongGenerators;P%L;48|
              |PERMGRP;wordInGenerators;P%L;49| (572 . |empty?|)
              |PERMGRP;<;2%B;50| |PERMGRP;<=;2%B;51| (577 . ~=)
              |PERMGRP;=;2%B;52| (583 . |empty|) (587 . |insert!|)
              |PERMGRP;orbit;%SS;53| (|Set| 38) (593 . |set|)
              |PERMGRP;orbit;%LS;54|
              |PERMGRP;initializeGroupForWordProblem;%2IV;55| (|String|))
           '#(~= 598 |wordsForStrongGenerators| 604 |wordInStrongGenerators|
              609 |wordInGenerators| 615 |strongGenerators| 621
              |relationsInStrongGenerators| 626 |relationsInGenerators| 631
              |random| 636 |pointList| 647 |permutationGroup| 652 |perm_to_vec|
              657 |order| 664 |orbits| 669 |orbit| 674 |movedPoints| 692
              |member?| 697 |latex| 703 |initializeGroupForWordProblem| 708
              |generators| 720 |elt| 725 |degree| 731 |coerce| 736 |base| 751 =
              756 <= 762 < 768)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0))
                 (CONS '#(|SetCategory&| NIL |BasicType&|)
                       (CONS
                        '#((|SetCategory|) (|CoercibleTo| 148) (|BasicType|))
                        (|makeByteWordVec2| 180
                                            '(1 11 10 0 12 1 13 0 0 14 2 13 10
                                              0 15 16 2 13 17 10 0 18 2 13 15
                                              10 0 19 2 13 0 0 15 20 1 13 10 0
                                              21 0 11 0 22 2 10 17 0 0 23 2 13
                                              0 0 10 24 1 25 10 0 26 2 25 0 10
                                              10 27 2 28 25 0 15 29 2 30 13 0
                                              15 31 2 13 0 0 0 32 1 28 0 33 34
                                              1 30 0 35 36 2 13 10 0 15 37 2 39
                                              38 0 15 40 2 38 6 0 15 41 2 11 6
                                              0 6 42 2 39 17 38 0 43 2 33 25 0
                                              15 44 2 35 13 0 15 45 1 11 46 0
                                              47 1 38 0 0 48 2 38 0 0 0 49 2 6
                                              17 0 0 50 1 0 38 0 51 0 52 0 53 1
                                              11 52 0 54 2 52 0 0 0 55 1 52 38
                                              0 56 2 6 17 0 0 57 2 60 0 59 0 61
                                              1 13 10 0 62 2 10 17 0 0 63 2 35
                                              0 64 0 65 1 13 10 0 66 3 25 10 0
                                              15 10 67 3 0 25 38 11 10 68 2 38
                                              15 6 0 69 3 70 15 0 15 15 71 2 25
                                              10 0 15 72 2 33 17 25 0 73 2 75
                                              74 0 74 76 2 78 77 0 77 79 1 75
                                              74 0 80 2 74 0 0 0 81 1 78 77 0
                                              82 2 77 0 0 0 83 2 74 33 0 15 84
                                              2 33 0 0 0 85 2 33 0 86 0 87 3 89
                                              88 0 15 88 90 3 74 33 0 15 33 91
                                              2 33 15 25 0 92 2 33 0 0 15 93 2
                                              77 35 0 15 94 2 35 0 0 15 95 3 77
                                              35 0 15 35 96 1 75 0 74 97 1 78 0
                                              77 98 1 13 0 10 99 2 35 0 0 0 100
                                              2 89 88 0 15 101 1 25 0 0 102 1
                                              33 0 25 103 1 35 0 13 104 0 105 0
                                              106 1 11 10 0 107 2 105 0 11 0
                                              108 0 109 0 110 2 105 0 0 0 111 1
                                              105 17 0 112 1 105 8 0 113 2 38
                                              17 6 0 115 2 8 17 11 0 116 3 30
                                              13 0 15 13 117 1 28 33 0 118 2 33
                                              0 0 10 119 2 13 17 0 0 120 2 13 0
                                              0 0 121 2 122 0 0 0 123 2 124 0 0
                                              0 125 3 128 122 0 15 122 129 2
                                              128 122 0 15 130 1 11 0 39 133 2
                                              8 11 0 15 135 1 52 0 38 137 2 11
                                              0 0 0 139 1 11 148 0 149 1 148 0
                                              150 151 1 148 0 152 153 2 148 0 0
                                              0 154 2 52 0 6 0 156 1 52 10 0
                                              158 1 52 6 0 159 2 52 0 0 0 160 1
                                              162 0 161 163 1 11 0 0 165 1 52
                                              17 0 168 2 52 17 0 0 171 0 162 0
                                              173 2 162 0 52 0 174 1 176 0 39
                                              177 2 0 17 0 0 1 1 0 35 0 145 2 0
                                              13 11 0 166 2 0 13 11 0 167 1 0 8
                                              0 134 1 0 124 0 126 1 0 124 0 131
                                              2 0 11 0 15 140 1 0 11 0 141 1 0
                                              38 0 51 1 0 0 8 147 3 0 25 38 11
                                              10 68 1 0 10 0 142 1 0 162 0 164
                                              2 0 52 0 6 157 2 0 176 0 38 178 2
                                              0 162 0 52 175 1 0 52 0 138 2 0
                                              17 11 0 114 1 0 180 0 1 3 0 109 0
                                              15 15 179 1 0 109 0 127 1 0 8 0
                                              132 2 0 11 0 10 136 1 0 10 0 143
                                              1 0 148 0 155 1 0 8 0 9 1 0 0 8
                                              146 1 0 38 0 144 2 0 17 0 0 172 2
                                              0 17 0 0 170 2 0 17 0 0 169)))))
           '|lookupComplete|)) 
