
(/VERSIONCHECK 2) 

(PUT '|OUTFORM;print;$V;1| '|SPADreplace| '|mathprint|) 

(DEFUN |OUTFORM;print;$V;1| (|x| $) (|mathprint| |x|)) 

(DEFUN |OUTFORM;message;S$;2| (|s| $)
  (COND ((SPADCALL |s| (QREFELT $ 11)) (SPADCALL (QREFELT $ 12))) ('T |s|))) 

(DEFUN |OUTFORM;messagePrint;SV;3| (|s| $)
  (SPADCALL (SPADCALL |s| (QREFELT $ 13)) (QREFELT $ 8))) 

(PUT '|OUTFORM;=;2$B;4| '|SPADreplace| 'EQUAL) 

(DEFUN |OUTFORM;=;2$B;4| (|a| |b| $) (EQUAL |a| |b|)) 

(DEFUN |OUTFORM;=;3$;5| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "=" $) |a| |b|) (QREFELT $ 17))) 

(PUT '|OUTFORM;coerce;2$;6| '|SPADreplace| '(XLAM (|a|) |a|)) 

(DEFUN |OUTFORM;coerce;2$;6| (|a| $) |a|) 

(PUT '|OUTFORM;outputForm;I$;7| '|SPADreplace| '(XLAM (|n|) |n|)) 

(DEFUN |OUTFORM;outputForm;I$;7| (|n| $) |n|) 

(PUT '|OUTFORM;outputForm;S$;8| '|SPADreplace| '(XLAM (|e|) |e|)) 

(DEFUN |OUTFORM;outputForm;S$;8| (|e| $) |e|) 

(PUT '|OUTFORM;outputForm;Df$;9| '|SPADreplace| '(XLAM (|f|) |f|)) 

(DEFUN |OUTFORM;outputForm;Df$;9| (|f| $) |f|) 

(PUT '|OUTFORM;sform| '|SPADreplace| '(XLAM (|s|) |s|)) 

(DEFUN |OUTFORM;sform| (|s| $) |s|) 

(PUT '|OUTFORM;eform| '|SPADreplace| '(XLAM (|e|) |e|)) 

(DEFUN |OUTFORM;eform| (|e| $) |e|) 

(PUT '|OUTFORM;iform| '|SPADreplace| '(XLAM (|n|) |n|)) 

(DEFUN |OUTFORM;iform| (|n| $) |n|) 

(DEFUN |OUTFORM;outputForm;S$;13| (|s| $)
  (|OUTFORM;sform|
   (SPADCALL (SPADCALL (QREFELT $ 28))
             (SPADCALL |s| (SPADCALL (QREFELT $ 28)) (QREFELT $ 29))
             (QREFELT $ 30))
   $)) 

(PUT '|OUTFORM;width;$I;14| '|SPADreplace| '|outformWidth|) 

(DEFUN |OUTFORM;width;$I;14| (|a| $) (|outformWidth| |a|)) 

(PUT '|OUTFORM;height;$I;15| '|SPADreplace| '|height|) 

(DEFUN |OUTFORM;height;$I;15| (|a| $) (|height| |a|)) 

(PUT '|OUTFORM;subHeight;$I;16| '|SPADreplace| '|subspan|) 

(DEFUN |OUTFORM;subHeight;$I;16| (|a| $) (|subspan| |a|)) 

(PUT '|OUTFORM;superHeight;$I;17| '|SPADreplace| '|superspan|) 

(DEFUN |OUTFORM;superHeight;$I;17| (|a| $) (|superspan| |a|)) 

(PUT '|OUTFORM;height;I;18| '|SPADreplace| '(XLAM NIL 20)) 

(DEFUN |OUTFORM;height;I;18| ($) 20) 

(PUT '|OUTFORM;width;I;19| '|SPADreplace| '(XLAM NIL 66)) 

(DEFUN |OUTFORM;width;I;19| ($) 66) 

(DEFUN |OUTFORM;center;$I$;20| (|a| |w| $)
  (SPADCALL
   (SPADCALL (QUOTIENT2 (- |w| (SPADCALL |a| (QREFELT $ 32))) 2)
             (QREFELT $ 38))
   |a| (QREFELT $ 39))) 

(DEFUN |OUTFORM;left;$I$;21| (|a| |w| $)
  (SPADCALL |a| (SPADCALL (- |w| (SPADCALL |a| (QREFELT $ 32))) (QREFELT $ 38))
            (QREFELT $ 39))) 

(DEFUN |OUTFORM;right;$I$;22| (|a| |w| $)
  (SPADCALL (SPADCALL (- |w| (SPADCALL |a| (QREFELT $ 32))) (QREFELT $ 38)) |a|
            (QREFELT $ 39))) 

(DEFUN |OUTFORM;center;2$;23| (|a| $)
  (SPADCALL |a| (SPADCALL (QREFELT $ 37)) (QREFELT $ 40))) 

(DEFUN |OUTFORM;left;2$;24| (|a| $)
  (SPADCALL |a| (SPADCALL (QREFELT $ 37)) (QREFELT $ 41))) 

(DEFUN |OUTFORM;right;2$;25| (|a| $)
  (SPADCALL |a| (SPADCALL (QREFELT $ 37)) (QREFELT $ 42))) 

(DEFUN |OUTFORM;vspace;I$;26| (|n| $)
  (COND ((EQL |n| 0) (SPADCALL (QREFELT $ 12)))
        ('T
         (SPADCALL (|OUTFORM;sform| " " $) (SPADCALL (- |n| 1) (QREFELT $ 46))
                   (QREFELT $ 47))))) 

(DEFUN |OUTFORM;hspace;I$;27| (|n| $)
  (COND ((EQL |n| 0) (SPADCALL (QREFELT $ 12)))
        ('T (|OUTFORM;sform| (|fillerSpaces| |n|) $)))) 

(DEFUN |OUTFORM;rspace;2I$;28| (|n| |m| $)
  (COND ((OR (EQL |n| 0) (EQL |m| 0)) (SPADCALL (QREFELT $ 12)))
        ('T
         (SPADCALL (SPADCALL |n| (QREFELT $ 38))
                   (SPADCALL |n| (- |m| 1) (QREFELT $ 48)) (QREFELT $ 47))))) 

(DEFUN |OUTFORM;matrix;L$;29| (|ll| $)
  (PROG (|lv| #1=#:G14280 |l| #2=#:G14279)
    (RETURN
     (SEQ
      (LETT |lv|
            (PROGN
             (LETT #2# NIL . #3=(|OUTFORM;matrix;L$;29|))
             (SEQ (LETT |l| NIL . #3#) (LETT #1# |ll| . #3#) G190
                  (COND
                   ((OR (ATOM #1#) (PROGN (LETT |l| (CAR #1#) . #3#) NIL))
                    (GO G191)))
                  (SEQ (EXIT (LETT #2# (CONS (LIST2VEC |l|) #2#) . #3#)))
                  (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                  (EXIT (NREVERSE0 #2#))))
            . #3#)
      (EXIT (CONS (|OUTFORM;eform| 'MATRIX $) (LIST2VEC |lv|))))))) 

(DEFUN |OUTFORM;pile;L$;30| (|l| $) (CONS (|OUTFORM;eform| 'SC $) |l|)) 

(DEFUN |OUTFORM;commaSeparate;L$;31| (|l| $)
  (CONS (|OUTFORM;eform| 'AGGLST $) |l|)) 

(DEFUN |OUTFORM;semicolonSeparate;L$;32| (|l| $)
  (CONS (|OUTFORM;eform| 'AGGSET $) |l|)) 

(DEFUN |OUTFORM;blankSeparate;L$;33| (|l| $)
  (PROG (|l1| #1=#:G14288 |u| |c|)
    (RETURN
     (SEQ
      (LETT |c| (|OUTFORM;eform| 'CONCATB $)
            . #2=(|OUTFORM;blankSeparate;L$;33|))
      (LETT |l1| NIL . #2#)
      (SEQ (LETT |u| NIL . #2#) (LETT #1# (SPADCALL |l| (QREFELT $ 55)) . #2#)
           G190
           (COND
            ((OR (ATOM #1#) (PROGN (LETT |u| (CAR #1#) . #2#) NIL)) (GO G191)))
           (SEQ
            (EXIT
             (COND
              ((EQCAR |u| |c|)
               (LETT |l1| (SPADCALL (CDR |u|) |l1| (QREFELT $ 56)) . #2#))
              ('T (LETT |l1| (CONS |u| |l1|) . #2#)))))
           (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT (CONS |c| |l1|)))))) 

(DEFUN |OUTFORM;brace;2$;34| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'BRACE $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;brace;L$;35| (|l| $)
  (SPADCALL (SPADCALL |l| (QREFELT $ 52)) (QREFELT $ 58))) 

(DEFUN |OUTFORM;bracket;2$;36| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'BRACKET $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;bracket;L$;37| (|l| $)
  (SPADCALL (SPADCALL |l| (QREFELT $ 52)) (QREFELT $ 60))) 

(DEFUN |OUTFORM;paren;2$;38| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'PAREN $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;paren;L$;39| (|l| $)
  (SPADCALL (SPADCALL |l| (QREFELT $ 52)) (QREFELT $ 62))) 

(DEFUN |OUTFORM;sub;3$;40| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'SUB $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;super;3$;41| (|a| |b| $)
  (SPADCALL
   (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $) |b|)
   (QREFELT $ 17))) 

(DEFUN |OUTFORM;presub;3$;42| (|a| |b| $)
  (SPADCALL
   (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $)
         (|OUTFORM;sform| " " $) (|OUTFORM;sform| " " $) |b|)
   (QREFELT $ 17))) 

(DEFUN |OUTFORM;presuper;3$;43| (|a| |b| $)
  (SPADCALL
   (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $)
         (|OUTFORM;sform| " " $) |b|)
   (QREFELT $ 17))) 

(DEFUN |OUTFORM;scripts;$L$;44| (|a| |l| $)
  (COND ((SPADCALL |l| (QREFELT $ 68)) |a|)
        ((SPADCALL (SPADCALL |l| (QREFELT $ 69)) (QREFELT $ 68))
         (SPADCALL |a| (SPADCALL |l| (QREFELT $ 70)) (QREFELT $ 64)))
        ('T (CONS (|OUTFORM;eform| 'SUPERSUB $) (CONS |a| |l|))))) 

(DEFUN |OUTFORM;supersub;$L$;45| (|a| |l| $)
  (SEQ
   (COND
    ((ODDP (SPADCALL |l| (QREFELT $ 73)))
     (LETT |l| (SPADCALL |l| (LIST (SPADCALL (QREFELT $ 12))) (QREFELT $ 56))
           |OUTFORM;supersub;$L$;45|)))
   (EXIT (CONS (|OUTFORM;eform| 'ALTSUPERSUB $) (CONS |a| |l|))))) 

(DEFUN |OUTFORM;hconcat;3$;46| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'CONCAT $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;hconcat;L$;47| (|l| $) (CONS (|OUTFORM;eform| 'CONCAT $) |l|)) 

(DEFUN |OUTFORM;vconcat;3$;48| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'VCONCAT $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;vconcat;L$;49| (|l| $) (CONS (|OUTFORM;eform| 'VCONCAT $) |l|)) 

(DEFUN |OUTFORM;~=;3$;50| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "~=" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;<;3$;51| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "<" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;>;3$;52| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| ">" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;<=;3$;53| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "<=" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;>=;3$;54| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| ">=" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;+;3$;55| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "+" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;-;3$;56| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "-" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;-;2$;57| (|a| $)
  (SPADCALL (LIST (|OUTFORM;sform| "-" $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;*;3$;58| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "*" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;/;3$;59| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "/" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;^;3$;60| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "^" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;div;3$;61| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "div" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;rem;3$;62| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "rem" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;quo;3$;63| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "quo" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;exquo;3$;64| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "exquo" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;and;3$;65| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "and" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;or;3$;66| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;sform| "or" $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;not;2$;67| (|a| $)
  (SPADCALL (LIST (|OUTFORM;sform| "not" $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;SEGMENT;3$;68| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'SEGMENT $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;SEGMENT;2$;69| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'SEGMENT $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;binomial;3$;70| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'BINOMIAL $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;empty;$;71| ($)
  (SPADCALL (LIST (|OUTFORM;eform| 'NOTHING $)) (QREFELT $ 17))) 

(DEFUN |OUTFORM;infix?;$B;72| (|a| $)
  (PROG (|e| #1=#:G14333)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |e|
              (COND ((IDENTP |a|) |a|) ((STRINGP |a|) (INTERN |a|))
                    (#2='T
                     (PROGN
                      (LETT #1# 'NIL . #3=(|OUTFORM;infix?;$B;72|))
                      (GO #1#))))
              . #3#)
        (EXIT (COND ((GET |e| 'INFIXOP) 'T) (#2# 'NIL)))))
      #1# (EXIT #1#))))) 

(PUT '|OUTFORM;elt;$L$;73| '|SPADreplace| 'CONS) 

(DEFUN |OUTFORM;elt;$L$;73| (|a| |l| $) (CONS |a| |l|)) 

(DEFUN |OUTFORM;prefix;$L$;74| (|a| |l| $)
  (COND ((NULL (SPADCALL |a| (QREFELT $ 98))) (CONS |a| |l|))
        ('T
         (SPADCALL |a| (SPADCALL (SPADCALL |l| (QREFELT $ 52)) (QREFELT $ 62))
                   (QREFELT $ 39))))) 

(DEFUN |OUTFORM;infix;$L$;75| (|a| |l| $)
  (COND ((SPADCALL |l| (QREFELT $ 68)) (SPADCALL (QREFELT $ 12)))
        ((SPADCALL (SPADCALL |l| (QREFELT $ 69)) (QREFELT $ 68))
         (SPADCALL |l| (QREFELT $ 70)))
        ((SPADCALL |a| (QREFELT $ 98)) (CONS |a| |l|))
        ('T
         (SPADCALL
          (LIST (SPADCALL |l| (QREFELT $ 70)) |a|
                (SPADCALL |a| (SPADCALL |l| (QREFELT $ 69)) (QREFELT $ 101)))
          (QREFELT $ 75))))) 

(DEFUN |OUTFORM;infix;4$;76| (|a| |b| |c| $)
  (COND
   ((SPADCALL |a| (QREFELT $ 98)) (SPADCALL (LIST |a| |b| |c|) (QREFELT $ 17)))
   ('T (SPADCALL (LIST |b| |a| |c|) (QREFELT $ 75))))) 

(DEFUN |OUTFORM;postfix;3$;77| (|a| |b| $) (SPADCALL |b| |a| (QREFELT $ 39))) 

(DEFUN |OUTFORM;string;2$;78| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'STRING $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;quote;2$;79| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'QUOTE $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;overbar;2$;80| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'OVERBAR $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;dot;2$;81| (|a| $)
  (SPADCALL |a| (|OUTFORM;sform| "." $) (QREFELT $ 65))) 

(DEFUN |OUTFORM;prime;2$;82| (|a| $)
  (SPADCALL |a| (|OUTFORM;sform| "," $) (QREFELT $ 65))) 

(DEFUN |OUTFORM;dot;$Nni$;83| (|a| |nn| $)
  (PROG (|s|)
    (RETURN
     (SEQ
      (LETT |s| (MAKE-FULL-CVEC |nn| (SPADCALL "." (QREFELT $ 109)))
            |OUTFORM;dot;$Nni$;83|)
      (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) (QREFELT $ 65))))))) 

(DEFUN |OUTFORM;prime;$Nni$;84| (|a| |nn| $)
  (PROG (|s|)
    (RETURN
     (SEQ
      (LETT |s| (MAKE-FULL-CVEC |nn| (SPADCALL "," (QREFELT $ 109)))
            |OUTFORM;prime;$Nni$;84|)
      (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) (QREFELT $ 65))))))) 

(DEFUN |OUTFORM;overlabel;3$;85| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'OVERLABEL $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;box;2$;86| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'BOX $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;zag;3$;87| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'ZAG $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;root;2$;88| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'ROOT $) |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;root;3$;89| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'ROOT $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;over;3$;90| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'OVER $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;slash;3$;91| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'SLASH $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;assign;3$;92| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'LET $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;label;3$;93| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'EQUATNUM $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;rarrow;3$;94| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'TAG $) |a| |b|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;differentiate;$Nni$;95| (|a| |nn| $)
  (PROG (|s| |r| #1=#:G14363)
    (RETURN
     (SEQ
      (COND ((ZEROP |nn|) |a|) ((< |nn| 4) (SPADCALL |a| |nn| (QREFELT $ 111)))
            ('T
             (SEQ
              (LETT |r|
                    (SPADCALL
                     (PROG1
                         (LETT #1# |nn|
                               . #2=(|OUTFORM;differentiate;$Nni$;95|))
                       (|check-subtype| (> #1# 0) '(|PositiveInteger|) #1#))
                     (QREFELT $ 124))
                    . #2#)
              (LETT |s| (SPADCALL |r| (QREFELT $ 125)) . #2#)
              (EXIT
               (SPADCALL |a| (SPADCALL (|OUTFORM;sform| |s| $) (QREFELT $ 62))
                         (QREFELT $ 65)))))))))) 

(DEFUN |OUTFORM;sum;2$;96| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'SIGMA $) (SPADCALL (QREFELT $ 12)) |a|)
            (QREFELT $ 17))) 

(DEFUN |OUTFORM;sum;3$;97| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'SIGMA $) |b| |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;sum;4$;98| (|a| |b| |c| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'SIGMA2 $) |b| |c| |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;prod;2$;99| (|a| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'PI $) (SPADCALL (QREFELT $ 12)) |a|)
            (QREFELT $ 17))) 

(DEFUN |OUTFORM;prod;3$;100| (|a| |b| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'PI $) |b| |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;prod;4$;101| (|a| |b| |c| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'PI2 $) |b| |c| |a|) (QREFELT $ 17))) 

(DEFUN |OUTFORM;int;2$;102| (|a| $)
  (SPADCALL
   (LIST (|OUTFORM;eform| 'INTSIGN $) (SPADCALL (QREFELT $ 12))
         (SPADCALL (QREFELT $ 12)) |a|)
   (QREFELT $ 17))) 

(DEFUN |OUTFORM;int;3$;103| (|a| |b| $)
  (SPADCALL
   (LIST (|OUTFORM;eform| 'INTSIGN $) |b| (SPADCALL (QREFELT $ 12)) |a|)
   (QREFELT $ 17))) 

(DEFUN |OUTFORM;int;4$;104| (|a| |b| |c| $)
  (SPADCALL (LIST (|OUTFORM;eform| 'INTSIGN $) |b| |c| |a|) (QREFELT $ 17))) 

(DEFUN |OutputForm| #1=()
  (PROG #1#
    (RETURN
     (PROG (#2=#:G14377)
       (RETURN
        (COND
         ((LETT #2# (HGET |$ConstructorCache| '|OutputForm|)
                . #3=(|OutputForm|))
          (|CDRwithIncrement| (CDAR #2#)))
         ('T
          (UNWIND-PROTECT
              (PROG1
                  (CDDAR
                   (HPUT |$ConstructorCache| '|OutputForm|
                         (LIST (CONS NIL (CONS 1 (|OutputForm;|))))))
                (LETT #2# T . #3#))
            (COND ((NOT #2#) (HREM |$ConstructorCache| '|OutputForm|))))))))))) 

(DEFUN |OutputForm;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
     (PROGN
      (LETT |dv$| '(|OutputForm|) . #1=(|OutputForm|))
      (LETT $ (GETREFV 137) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|OutputForm| NIL (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 (|SExpression|))
      $)))) 

(MAKEPROP '|OutputForm| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL '|Rep| (|Void|) |OUTFORM;print;$V;1|
              (|Boolean|) (|String|) (0 . |empty?|) |OUTFORM;empty;$;71|
              |OUTFORM;message;S$;2| |OUTFORM;messagePrint;SV;3|
              |OUTFORM;=;2$B;4| (|List| $) (5 . |convert|) |OUTFORM;=;3$;5|
              (|OutputForm|) |OUTFORM;coerce;2$;6| (|Integer|)
              |OUTFORM;outputForm;I$;7| (|Symbol|) |OUTFORM;outputForm;S$;8|
              (|DoubleFloat|) |OUTFORM;outputForm;Df$;9| (|Character|)
              (10 . |quote|) (14 . |concat|) (20 . |concat|)
              |OUTFORM;outputForm;S$;13| |OUTFORM;width;$I;14|
              |OUTFORM;height;$I;15| |OUTFORM;subHeight;$I;16|
              |OUTFORM;superHeight;$I;17| |OUTFORM;height;I;18|
              |OUTFORM;width;I;19| |OUTFORM;hspace;I$;27|
              |OUTFORM;hconcat;3$;46| |OUTFORM;center;$I$;20|
              |OUTFORM;left;$I$;21| |OUTFORM;right;$I$;22|
              |OUTFORM;center;2$;23| |OUTFORM;left;2$;24| |OUTFORM;right;2$;25|
              |OUTFORM;vspace;I$;26| |OUTFORM;vconcat;3$;48|
              |OUTFORM;rspace;2I$;28| (|List| 16) |OUTFORM;matrix;L$;29|
              |OUTFORM;pile;L$;30| |OUTFORM;commaSeparate;L$;31|
              |OUTFORM;semicolonSeparate;L$;32| (|List| $$) (26 . |reverse|)
              (31 . |append|) |OUTFORM;blankSeparate;L$;33|
              |OUTFORM;brace;2$;34| |OUTFORM;brace;L$;35|
              |OUTFORM;bracket;2$;36| |OUTFORM;bracket;L$;37|
              |OUTFORM;paren;2$;38| |OUTFORM;paren;L$;39| |OUTFORM;sub;3$;40|
              |OUTFORM;super;3$;41| |OUTFORM;presub;3$;42|
              |OUTFORM;presuper;3$;43| (37 . |null|) (42 . |rest|)
              (47 . |first|) |OUTFORM;scripts;$L$;44| (|NonNegativeInteger|)
              (52 . |#|) |OUTFORM;supersub;$L$;45| |OUTFORM;hconcat;L$;47|
              |OUTFORM;vconcat;L$;49| |OUTFORM;~=;3$;50| |OUTFORM;<;3$;51|
              |OUTFORM;>;3$;52| |OUTFORM;<=;3$;53| |OUTFORM;>=;3$;54|
              |OUTFORM;+;3$;55| |OUTFORM;-;3$;56| |OUTFORM;-;2$;57|
              |OUTFORM;*;3$;58| |OUTFORM;/;3$;59| |OUTFORM;^;3$;60|
              |OUTFORM;div;3$;61| |OUTFORM;rem;3$;62| |OUTFORM;quo;3$;63|
              |OUTFORM;exquo;3$;64| |OUTFORM;and;3$;65| |OUTFORM;or;3$;66|
              |OUTFORM;not;2$;67| |OUTFORM;SEGMENT;3$;68|
              |OUTFORM;SEGMENT;2$;69| |OUTFORM;binomial;3$;70|
              |OUTFORM;infix?;$B;72| |OUTFORM;elt;$L$;73|
              |OUTFORM;prefix;$L$;74| |OUTFORM;infix;$L$;75|
              |OUTFORM;infix;4$;76| |OUTFORM;postfix;3$;77|
              |OUTFORM;string;2$;78| |OUTFORM;quote;2$;79|
              |OUTFORM;overbar;2$;80| |OUTFORM;dot;2$;81| |OUTFORM;prime;2$;82|
              (57 . |char|) |OUTFORM;dot;$Nni$;83| |OUTFORM;prime;$Nni$;84|
              |OUTFORM;overlabel;3$;85| |OUTFORM;box;2$;86| |OUTFORM;zag;3$;87|
              |OUTFORM;root;2$;88| |OUTFORM;root;3$;89| |OUTFORM;over;3$;90|
              |OUTFORM;slash;3$;91| |OUTFORM;assign;3$;92|
              |OUTFORM;label;3$;93| |OUTFORM;rarrow;3$;94| (|PositiveInteger|)
              (|NumberFormats|) (62 . |FormatRoman|) (67 . |lowerCase|)
              |OUTFORM;differentiate;$Nni$;95| |OUTFORM;sum;2$;96|
              |OUTFORM;sum;3$;97| |OUTFORM;sum;4$;98| |OUTFORM;prod;2$;99|
              |OUTFORM;prod;3$;100| |OUTFORM;prod;4$;101| |OUTFORM;int;2$;102|
              |OUTFORM;int;3$;103| |OUTFORM;int;4$;104| (|SingleInteger|))
           '#(~= 72 |zag| 84 |width| 90 |vspace| 99 |vconcat| 104 |supersub|
              115 |superHeight| 121 |super| 126 |sum| 132 |subHeight| 150 |sub|
              155 |string| 161 |slash| 166 |semicolonSeparate| 172 |scripts|
              177 |rspace| 183 |root| 189 |right| 200 |rem| 211 |rarrow| 217
              |quote| 223 |quo| 228 |prod| 234 |print| 252 |prime| 257
              |presuper| 268 |presub| 274 |prefix| 280 |postfix| 286 |pile| 292
              |paren| 297 |overlabel| 307 |overbar| 313 |over| 318 |outputForm|
              324 |or| 344 |not| 350 |messagePrint| 355 |message| 360 |matrix|
              365 |left| 370 |latex| 381 |label| 386 |int| 392 |infix?| 410
              |infix| 415 |hspace| 428 |height| 433 |hconcat| 442 |hash| 453
              |exquo| 458 |empty| 464 |elt| 468 |dot| 474 |div| 485
              |differentiate| 491 |commaSeparate| 497 |coerce| 502 |center| 507
              |bracket| 518 |brace| 528 |box| 538 |blankSeparate| 543
              |binomial| 548 |assign| 554 |and| 560 ^ 566 SEGMENT 572 >= 583 >
              589 = 595 <= 607 < 613 / 619 - 625 + 636 * 642)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0))
                 (CONS '#(|SetCategory&| |BasicType&| NIL)
                       (CONS
                        '#((|SetCategory|) (|BasicType|) (|CoercibleTo| 19))
                        (|makeByteWordVec2| 136
                                            '(1 10 9 0 11 1 6 0 16 17 0 27 0 28
                                              2 10 0 0 27 29 2 10 0 27 0 30 1
                                              54 0 0 55 2 54 0 0 0 56 1 54 9 0
                                              68 1 54 0 0 69 1 54 2 0 70 1 54
                                              72 0 73 1 27 0 10 109 1 123 10
                                              122 124 1 10 0 0 125 2 0 0 0 0 77
                                              2 0 9 0 0 1 2 0 0 0 0 114 0 0 21
                                              37 1 0 21 0 32 1 0 0 21 46 1 0 0
                                              16 76 2 0 0 0 0 47 2 0 0 0 16 74
                                              1 0 21 0 35 2 0 0 0 0 65 2 0 0 0
                                              0 128 3 0 0 0 0 0 129 1 0 0 0 127
                                              1 0 21 0 34 2 0 0 0 0 64 1 0 0 0
                                              104 2 0 0 0 0 118 1 0 0 16 53 2 0
                                              0 0 16 71 2 0 0 21 21 48 1 0 0 0
                                              115 2 0 0 0 0 116 1 0 0 0 45 2 0
                                              0 0 21 42 2 0 0 0 0 89 2 0 0 0 0
                                              121 1 0 0 0 105 2 0 0 0 0 90 3 0
                                              0 0 0 0 132 1 0 0 0 130 2 0 0 0 0
                                              131 1 0 7 0 8 2 0 0 0 72 111 1 0
                                              0 0 108 2 0 0 0 0 67 2 0 0 0 0 66
                                              2 0 0 0 16 100 2 0 0 0 0 103 1 0
                                              0 16 51 1 0 0 16 63 1 0 0 0 62 2
                                              0 0 0 0 112 1 0 0 0 106 2 0 0 0 0
                                              117 1 0 0 10 31 1 0 0 25 26 1 0 0
                                              23 24 1 0 0 21 22 2 0 0 0 0 93 1
                                              0 0 0 94 1 0 7 10 14 1 0 0 10 13
                                              1 0 0 49 50 1 0 0 0 44 2 0 0 0 21
                                              41 1 0 10 0 1 2 0 0 0 0 120 3 0 0
                                              0 0 0 135 2 0 0 0 0 134 1 0 0 0
                                              133 1 0 9 0 98 2 0 0 0 16 101 3 0
                                              0 0 0 0 102 1 0 0 21 38 0 0 21 36
                                              1 0 21 0 33 1 0 0 16 75 2 0 0 0 0
                                              39 1 0 136 0 1 2 0 0 0 0 91 0 0 0
                                              12 2 0 0 0 16 99 2 0 0 0 72 110 1
                                              0 0 0 107 2 0 0 0 0 88 2 0 0 0 72
                                              126 1 0 0 16 52 1 0 19 0 20 1 0 0
                                              0 43 2 0 0 0 21 40 1 0 0 0 60 1 0
                                              0 16 61 1 0 0 16 59 1 0 0 0 58 1
                                              0 0 0 113 1 0 0 16 57 2 0 0 0 0
                                              97 2 0 0 0 0 119 2 0 0 0 0 92 2 0
                                              0 0 0 87 1 0 0 0 96 2 0 0 0 0 95
                                              2 0 0 0 0 81 2 0 0 0 0 79 2 0 0 0
                                              0 18 2 0 9 0 0 15 2 0 0 0 0 80 2
                                              0 0 0 0 78 2 0 0 0 0 86 1 0 0 0
                                              84 2 0 0 0 0 83 2 0 0 0 0 82 2 0
                                              0 0 0 85)))))
           '|lookupComplete|)) 

(MAKEPROP '|OutputForm| 'NILADIC T) 
