diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-12-14 23:29:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-12-14 23:29:08 +0000 |
| commit | d338fac5f30034125dceaf6ab952018d8cba5a76 (patch) | |
| tree | f7f052dc9aa02fb9a083512380ba0ef5ddc27676 /src/algebra/strap/TSETCAT-.lsp | |
| parent | 58ad76c4d99b58ebda2f24ac0f88bbccedbc7135 (diff) | |
| download | open-axiom-d338fac5f30034125dceaf6ab952018d8cba5a76.tar.gz | |
r12459@gauss: gdr | 2008-12-12 18:18:31 -0600
Tidy compApplyModemap.
r12460@gauss: gdr | 2008-12-13 09:24:50 -0600
Tidy compMapCond.
r12461@gauss: gdr | 2008-12-13 10:24:14 -0600
Activate compViableModemap.
r12462@gauss: gdr | 2008-12-13 11:18:17 -0600
Remove pmatch and pmatchWithSl out of main compiler.
r12463@gauss: gdr | 2008-12-13 12:26:44 -0600
Tidy compApplyModemap.
r12464@gauss: gdr | 2008-12-13 16:39:28 -0600
Add compExclusiveOr.
r12465@gauss: gdr | 2008-12-13 16:54:58 -0600
.
r12466@gauss: gdr | 2008-12-14 15:01:33 -0600
Tidy compLogicalNot.
Diffstat (limited to 'src/algebra/strap/TSETCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/TSETCAT-.lsp | 540 |
1 files changed, 258 insertions, 282 deletions
diff --git a/src/algebra/strap/TSETCAT-.lsp b/src/algebra/strap/TSETCAT-.lsp index 10ae2d9c..fe3f5d55 100644 --- a/src/algebra/strap/TSETCAT-.lsp +++ b/src/algebra/strap/TSETCAT-.lsp @@ -163,14 +163,13 @@ (RETURN (SEQ (COND ((SPADCALL |us| (|getShellEntry| $ 12)) - (SPADCALL (SPADCALL |ts| (|getShellEntry| $ 12)) - (|getShellEntry| $ 20))) + (NOT (SPADCALL |ts| (|getShellEntry| $ 12)))) ((SPADCALL |ts| (|getShellEntry| $ 12)) 'NIL) ('T (SEQ (LETT |p| (PROG2 (LETT #0# (SPADCALL |ts| - (|getShellEntry| $ 21)) + (|getShellEntry| $ 20)) |TSETCAT-;infRittWu?;2SB;2|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) @@ -179,33 +178,33 @@ (LETT |q| (PROG2 (LETT #0# (SPADCALL |us| - (|getShellEntry| $ 21)) + (|getShellEntry| $ 20)) |TSETCAT-;infRittWu?;2SB;2|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 10) #0#)) |TSETCAT-;infRittWu?;2SB;2|) (EXIT (COND - ((SPADCALL |p| |q| (|getShellEntry| $ 22)) + ((SPADCALL |p| |q| (|getShellEntry| $ 21)) 'T) - ((SPADCALL |p| |q| (|getShellEntry| $ 23)) + ((SPADCALL |p| |q| (|getShellEntry| $ 22)) 'NIL) ('T (SEQ (LETT |v| (SPADCALL |p| - (|getShellEntry| $ 24)) + (|getShellEntry| $ 23)) |TSETCAT-;infRittWu?;2SB;2|) (EXIT (SPADCALL (SPADCALL |ts| |v| - (|getShellEntry| $ 25)) + (|getShellEntry| $ 24)) (SPADCALL |us| |v| - (|getShellEntry| $ 25)) - (|getShellEntry| $ 26)))))))))))))) + (|getShellEntry| $ 24)) + (|getShellEntry| $ 25)))))))))))))) (DEFUN |TSETCAT-;reduced?;PSMB;3| (|p| |ts| |redOp?| $) (PROG (|lp|) (RETURN - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29)) + (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28)) |TSETCAT-;reduced?;PSMB;3|) (SEQ G190 (COND @@ -222,29 +221,27 @@ (DEFUN |TSETCAT-;basicSet;LMU;4| (|ps| |redOp?| $) (PROG (|b| |bs| |p| |ts|) (RETURN - (SEQ (LETT |ps| (SPADCALL (ELT $ 32) |ps| (|getShellEntry| $ 34)) + (SEQ (LETT |ps| (SPADCALL (ELT $ 31) |ps| (|getShellEntry| $ 33)) |TSETCAT-;basicSet;LMU;4|) (EXIT (COND - ((SPADCALL (ELT $ 35) |ps| (|getShellEntry| $ 36)) + ((SPADCALL (ELT $ 34) |ps| (|getShellEntry| $ 35)) (CONS 1 "failed")) ('T (SEQ (LETT |ps| - (SPADCALL (ELT $ 22) |ps| - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 21) |ps| + (|getShellEntry| $ 36)) |TSETCAT-;basicSet;LMU;4|) - (LETT |bs| (SPADCALL (|getShellEntry| $ 38)) + (LETT |bs| (SPADCALL (|getShellEntry| $ 37)) |TSETCAT-;basicSet;LMU;4|) (LETT |ts| NIL |TSETCAT-;basicSet;LMU;4|) (SEQ G190 (COND - ((NULL (SPADCALL (NULL |ps|) - (|getShellEntry| $ 20))) - (GO G191))) + ((NULL (NOT (NULL |ps|))) (GO G191))) (SEQ (LETT |b| (|SPADfirst| |ps|) |TSETCAT-;basicSet;LMU;4|) (LETT |bs| (SPADCALL |bs| |b| - (|getShellEntry| $ 39)) + (|getShellEntry| $ 38)) |TSETCAT-;basicSet;LMU;4|) (LETT |ps| (CDR |ps|) |TSETCAT-;basicSet;LMU;4|) @@ -255,14 +252,13 @@ (COND ((NULL |ps|) 'NIL) ('T - (SPADCALL + (NOT (SPADCALL (LETT |p| (|SPADfirst| |ps|) |TSETCAT-;basicSet;LMU;4|) |bs| |redOp?| - (|getShellEntry| $ 40)) - (|getShellEntry| $ 20))))) + (|getShellEntry| $ 39)))))) (GO G191))) (SEQ (LETT |ts| (CONS |p| |ts|) @@ -277,19 +273,17 @@ (DEFUN |TSETCAT-;basicSet;LMMU;5| (|ps| |pred?| |redOp?| $) (PROG (|bps| |b| |bs| |p| |gps| |ts|) (RETURN - (SEQ (LETT |ps| (SPADCALL (ELT $ 32) |ps| (|getShellEntry| $ 34)) + (SEQ (LETT |ps| (SPADCALL (ELT $ 31) |ps| (|getShellEntry| $ 33)) |TSETCAT-;basicSet;LMMU;5|) (EXIT (COND - ((SPADCALL (ELT $ 35) |ps| (|getShellEntry| $ 36)) + ((SPADCALL (ELT $ 34) |ps| (|getShellEntry| $ 35)) (CONS 1 "failed")) ('T (SEQ (LETT |gps| NIL |TSETCAT-;basicSet;LMMU;5|) (LETT |bps| NIL |TSETCAT-;basicSet;LMMU;5|) (SEQ G190 (COND - ((NULL (SPADCALL (NULL |ps|) - (|getShellEntry| $ 20))) - (GO G191))) + ((NULL (NOT (NULL |ps|))) (GO G191))) (SEQ (LETT |p| (|SPADfirst| |ps|) |TSETCAT-;basicSet;LMMU;5|) (LETT |ps| (CDR |ps|) @@ -304,22 +298,20 @@ |TSETCAT-;basicSet;LMMU;5|))))) NIL (GO G190) G191 (EXIT NIL)) (LETT |gps| - (SPADCALL (ELT $ 22) |gps| - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 21) |gps| + (|getShellEntry| $ 36)) |TSETCAT-;basicSet;LMMU;5|) - (LETT |bs| (SPADCALL (|getShellEntry| $ 38)) + (LETT |bs| (SPADCALL (|getShellEntry| $ 37)) |TSETCAT-;basicSet;LMMU;5|) (LETT |ts| NIL |TSETCAT-;basicSet;LMMU;5|) (SEQ G190 (COND - ((NULL (SPADCALL (NULL |gps|) - (|getShellEntry| $ 20))) - (GO G191))) + ((NULL (NOT (NULL |gps|))) (GO G191))) (SEQ (LETT |b| (|SPADfirst| |gps|) |TSETCAT-;basicSet;LMMU;5|) (LETT |bs| (SPADCALL |bs| |b| - (|getShellEntry| $ 39)) + (|getShellEntry| $ 38)) |TSETCAT-;basicSet;LMMU;5|) (LETT |gps| (CDR |gps|) |TSETCAT-;basicSet;LMMU;5|) @@ -330,14 +322,13 @@ (COND ((NULL |gps|) 'NIL) ('T - (SPADCALL + (NOT (SPADCALL (LETT |p| (|SPADfirst| |gps|) |TSETCAT-;basicSet;LMMU;5|) |bs| |redOp?| - (|getShellEntry| $ 40)) - (|getShellEntry| $ 20))))) + (|getShellEntry| $ 39)))))) (GO G191))) (SEQ (LETT |ts| (CONS |p| |ts|) @@ -348,10 +339,10 @@ NIL (GO G190) G191 (EXIT NIL)))) NIL (GO G190) G191 (EXIT NIL)) (LETT |ts| - (SPADCALL (ELT $ 22) + (SPADCALL (ELT $ 21) (SPADCALL |ts| |bps| - (|getShellEntry| $ 44)) - (|getShellEntry| $ 37)) + (|getShellEntry| $ 43)) + (|getShellEntry| $ 36)) |TSETCAT-;basicSet;LMMU;5|) (EXIT (CONS 0 (CONS |bs| |ts|))))))))))) @@ -363,13 +354,11 @@ ((SPADCALL |ts| (|getShellEntry| $ 12)) |lip|) ('T (SEQ (LETT |lp| - (SPADCALL |ts| (|getShellEntry| $ 29)) + (SPADCALL |ts| (|getShellEntry| $ 28)) |TSETCAT-;initials;SL;6|) (SEQ G190 (COND - ((NULL (SPADCALL (NULL |lp|) - (|getShellEntry| $ 20))) - (GO G191))) + ((NULL (NOT (NULL |lp|))) (GO G191))) (SEQ (LETT |p| (|SPADfirst| |lp|) |TSETCAT-;initials;SL;6|) (COND @@ -377,20 +366,20 @@ (SPADCALL (LETT |ip| (SPADCALL |p| - (|getShellEntry| $ 46)) + (|getShellEntry| $ 45)) |TSETCAT-;initials;SL;6|) - (|getShellEntry| $ 35))) + (|getShellEntry| $ 34))) (LETT |lip| (CONS (SPADCALL |ip| - (|getShellEntry| $ 47)) + (|getShellEntry| $ 46)) |lip|) |TSETCAT-;initials;SL;6|))) (EXIT (LETT |lp| (CDR |lp|) |TSETCAT-;initials;SL;6|))) NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |lip| (|getShellEntry| $ 48))))))))))) + (EXIT (SPADCALL |lip| (|getShellEntry| $ 47))))))))))) (DEFUN |TSETCAT-;degree;SNni;7| (|ts| $) (PROG (|lp| |d|) @@ -398,55 +387,53 @@ (SEQ (COND ((SPADCALL |ts| (|getShellEntry| $ 12)) 0) ('T - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29)) + (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28)) |TSETCAT-;degree;SNni;7|) (LETT |d| (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 51)) + (|getShellEntry| $ 50)) |TSETCAT-;degree;SNni;7|) (SEQ G190 (COND - ((NULL (SPADCALL - (NULL - (LETT |lp| (CDR |lp|) - |TSETCAT-;degree;SNni;7|)) - (|getShellEntry| $ 20))) + ((NULL (NOT (NULL + (LETT |lp| (CDR |lp|) + |TSETCAT-;degree;SNni;7|)))) (GO G191))) (SEQ (EXIT (LETT |d| (* |d| (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 51))) + (|getShellEntry| $ 50))) |TSETCAT-;degree;SNni;7|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |d|)))))))) (DEFUN |TSETCAT-;quasiComponent;SR;8| (|ts| $) - (CONS (SPADCALL |ts| (|getShellEntry| $ 29)) - (SPADCALL |ts| (|getShellEntry| $ 53)))) + (CONS (SPADCALL |ts| (|getShellEntry| $ 28)) + (SPADCALL |ts| (|getShellEntry| $ 52)))) (DEFUN |TSETCAT-;normalized?;PSB;9| (|p| |ts| $) - (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 57))) + (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 56))) (DEFUN |TSETCAT-;stronglyReduced?;PSB;10| (|p| |ts| $) - (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 59))) + (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 58))) (DEFUN |TSETCAT-;headReduced?;PSB;11| (|p| |ts| $) - (SPADCALL (SPADCALL |p| (|getShellEntry| $ 61)) |ts| - (|getShellEntry| $ 62))) + (SPADCALL (SPADCALL |p| (|getShellEntry| $ 60)) |ts| + (|getShellEntry| $ 61))) (DEFUN |TSETCAT-;initiallyReduced?;PSB;12| (|p| |ts| $) (PROG (|lp| |red|) (RETURN - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29)) + (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28)) |TSETCAT-;initiallyReduced?;PSB;12|) (LETT |red| 'T |TSETCAT-;initiallyReduced?;PSB;12|) (SEQ G190 (COND ((NULL (COND ((OR (NULL |lp|) - (SPADCALL |p| (|getShellEntry| $ 35))) + (SPADCALL |p| (|getShellEntry| $ 34))) 'NIL) ('T |red|))) (GO G191))) @@ -457,10 +444,10 @@ ('T (SPADCALL (SPADCALL |p| - (|getShellEntry| $ 24)) + (|getShellEntry| $ 23)) (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 24)) - (|getShellEntry| $ 64))))) + (|getShellEntry| $ 23)) + (|getShellEntry| $ 63))))) (GO G191))) (SEQ (EXIT (LETT |lp| (CDR |lp|) |TSETCAT-;initiallyReduced?;PSB;12|))) @@ -470,20 +457,20 @@ (COND ((SPADCALL (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 24)) + (|getShellEntry| $ 23)) (SPADCALL |p| - (|getShellEntry| $ 24)) - (|getShellEntry| $ 65)) + (|getShellEntry| $ 23)) + (|getShellEntry| $ 64)) (COND ((SPADCALL |p| (|SPADfirst| |lp|) - (|getShellEntry| $ 66)) + (|getShellEntry| $ 65)) (SEQ (LETT |lp| (CDR |lp|) |TSETCAT-;initiallyReduced?;PSB;12|) (EXIT (LETT |p| (SPADCALL |p| - (|getShellEntry| $ 46)) + (|getShellEntry| $ 45)) |TSETCAT-;initiallyReduced?;PSB;12|)))) ('T (LETT |red| 'NIL @@ -491,7 +478,7 @@ ('T (LETT |p| (SPADCALL |p| - (|getShellEntry| $ 46)) + (|getShellEntry| $ 45)) |TSETCAT-;initiallyReduced?;PSB;12|))))))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |red|))))) @@ -501,7 +488,7 @@ (RETURN (SEQ (COND ((OR (SPADCALL |ts| (|getShellEntry| $ 12)) - (SPADCALL |p| (|getShellEntry| $ 35))) + (SPADCALL |p| (|getShellEntry| $ 34))) |p|) ('T (SEQ (LETT |ts0| |ts| |TSETCAT-;reduce;PSMMP;13|) @@ -512,10 +499,9 @@ (|getShellEntry| $ 12)) 'NIL) ('T - (SPADCALL + (NOT (SPADCALL |p| - (|getShellEntry| $ 35)) - (|getShellEntry| $ 20))))) + (|getShellEntry| $ 34)))))) (GO G191))) (SEQ (LETT |reductor| (PROG2 @@ -557,25 +543,23 @@ (PROG (|p| |rs|) (RETURN (SEQ (COND - ((SPADCALL |ts| (|getShellEntry| $ 70)) |lp|) + ((SPADCALL |ts| (|getShellEntry| $ 69)) |lp|) ('T (SEQ (LETT |lp| - (SPADCALL (ELT $ 32) |lp| - (|getShellEntry| $ 34)) + (SPADCALL (ELT $ 31) |lp| + (|getShellEntry| $ 33)) |TSETCAT-;rewriteSetWithReduction;LSMML;14|) (EXIT (COND ((NULL |lp|) |lp|) - ((SPADCALL (ELT $ 35) |lp| - (|getShellEntry| $ 36)) - (LIST (|spadConstant| $ 71))) + ((SPADCALL (ELT $ 34) |lp| + (|getShellEntry| $ 35)) + (LIST (|spadConstant| $ 70))) ('T (SEQ (LETT |rs| NIL |TSETCAT-;rewriteSetWithReduction;LSMML;14|) (SEQ G190 (COND - ((NULL - (SPADCALL (NULL |lp|) - (|getShellEntry| $ 20))) + ((NULL (NOT (NULL |lp|))) (GO G191))) (SEQ (LETT |p| (|SPADfirst| |lp|) @@ -586,24 +570,24 @@ (SPADCALL (SPADCALL |p| |ts| |redOp| |redOp?| - (|getShellEntry| $ 72)) - (|getShellEntry| $ 47)) + (|getShellEntry| $ 71)) + (|getShellEntry| $ 46)) |TSETCAT-;rewriteSetWithReduction;LSMML;14|) (EXIT (COND ((NULL (SPADCALL |p| - (|getShellEntry| $ 32))) + (|getShellEntry| $ 31))) (COND ((SPADCALL |p| - (|getShellEntry| $ 35)) + (|getShellEntry| $ 34)) (SEQ (LETT |lp| NIL |TSETCAT-;rewriteSetWithReduction;LSMML;14|) (EXIT (LETT |rs| (LIST - (|spadConstant| $ 71)) + (|spadConstant| $ 70)) |TSETCAT-;rewriteSetWithReduction;LSMML;14|)))) ('T (LETT |rs| @@ -611,60 +595,60 @@ |TSETCAT-;rewriteSetWithReduction;LSMML;14|))))))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (SPADCALL |rs| - (|getShellEntry| $ 48)))))))))))))) + (|getShellEntry| $ 47)))))))))))))) (DEFUN |TSETCAT-;stronglyReduce;PSP;15| (|p| |ts| $) - (SPADCALL |p| |ts| (ELT $ 74) (ELT $ 66) (|getShellEntry| $ 72))) + (SPADCALL |p| |ts| (ELT $ 73) (ELT $ 65) (|getShellEntry| $ 71))) (DEFUN |TSETCAT-;headReduce;PSP;16| (|p| |ts| $) - (SPADCALL |p| |ts| (ELT $ 76) (ELT $ 77) (|getShellEntry| $ 72))) + (SPADCALL |p| |ts| (ELT $ 75) (ELT $ 76) (|getShellEntry| $ 71))) (DEFUN |TSETCAT-;initiallyReduce;PSP;17| (|p| |ts| $) - (SPADCALL |p| |ts| (ELT $ 79) (ELT $ 80) (|getShellEntry| $ 72))) + (SPADCALL |p| |ts| (ELT $ 78) (ELT $ 79) (|getShellEntry| $ 71))) (DEFUN |TSETCAT-;removeZero;PSP;18| (|p| |ts| $) (PROG (|v| |tsv-| #0=#:G1570 #1=#:G1579 |q|) (RETURN (SEQ (EXIT (COND - ((OR (SPADCALL |p| (|getShellEntry| $ 35)) + ((OR (SPADCALL |p| (|getShellEntry| $ 34)) (SPADCALL |ts| (|getShellEntry| $ 12))) |p|) ('T (SEQ (LETT |v| - (SPADCALL |p| (|getShellEntry| $ 24)) + (SPADCALL |p| (|getShellEntry| $ 23)) |TSETCAT-;removeZero;PSP;18|) (LETT |tsv-| (SPADCALL |ts| |v| - (|getShellEntry| $ 82)) + (|getShellEntry| $ 81)) |TSETCAT-;removeZero;PSP;18|) (COND - ((SPADCALL |v| |ts| (|getShellEntry| $ 83)) + ((SPADCALL |v| |ts| (|getShellEntry| $ 82)) (SEQ (LETT |q| (SPADCALL |p| (PROG2 (LETT #0# (SPADCALL |ts| |v| - (|getShellEntry| $ 84)) + (|getShellEntry| $ 83)) |TSETCAT-;removeZero;PSP;18|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 10) #0#)) - (|getShellEntry| $ 74)) + (|getShellEntry| $ 73)) |TSETCAT-;removeZero;PSP;18|) (EXIT (COND ((SPADCALL |q| - (|getShellEntry| $ 32)) + (|getShellEntry| $ 31)) (PROGN (LETT #1# |q| |TSETCAT-;removeZero;PSP;18|) (GO #1#))) ((SPADCALL (SPADCALL |q| |tsv-| - (|getShellEntry| $ 85)) - (|getShellEntry| $ 32)) + (|getShellEntry| $ 84)) + (|getShellEntry| $ 31)) (PROGN (LETT #1# - (|spadConstant| $ 86) + (|spadConstant| $ 85) |TSETCAT-;removeZero;PSP;18|) (GO #1#)))))))) (EXIT (COND @@ -672,15 +656,15 @@ (|getShellEntry| $ 12)) |p|) ('T - (SEQ (LETT |q| (|spadConstant| $ 86) + (SEQ (LETT |q| (|spadConstant| $ 85) |TSETCAT-;removeZero;PSP;18|) (SEQ G190 (COND ((NULL (SPADCALL (SPADCALL |p| |v| - (|getShellEntry| $ 87)) - (|getShellEntry| $ 89))) + (|getShellEntry| $ 86)) + (|getShellEntry| $ 88))) (GO G191))) (SEQ (LETT |q| @@ -688,35 +672,35 @@ (SPADCALL (SPADCALL (SPADCALL |p| - (|getShellEntry| $ 46)) + (|getShellEntry| $ 45)) |tsv-| - (|getShellEntry| $ 85)) + (|getShellEntry| $ 84)) (SPADCALL |p| - (|getShellEntry| $ 90)) - (|getShellEntry| $ 91)) - |q| (|getShellEntry| $ 92)) + (|getShellEntry| $ 89)) + (|getShellEntry| $ 90)) + |q| (|getShellEntry| $ 91)) |TSETCAT-;removeZero;PSP;18|) (EXIT (LETT |p| (SPADCALL |p| - (|getShellEntry| $ 93)) + (|getShellEntry| $ 92)) |TSETCAT-;removeZero;PSP;18|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (SPADCALL |q| (SPADCALL |p| |tsv-| - (|getShellEntry| $ 85)) - (|getShellEntry| $ 92))))))))))) + (|getShellEntry| $ 84)) + (|getShellEntry| $ 91))))))))))) #1# (EXIT #1#))))) (DEFUN |TSETCAT-;reduceByQuasiMonic;PSP;19| (|p| |ts| $) (COND - ((OR (SPADCALL |p| (|getShellEntry| $ 35)) + ((OR (SPADCALL |p| (|getShellEntry| $ 34)) (SPADCALL |ts| (|getShellEntry| $ 12))) |p|) ('T - (QVELT (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 95)) - (|getShellEntry| $ 97)) + (QVELT (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 94)) + (|getShellEntry| $ 96)) 1)))) (DEFUN |TSETCAT-;autoReduced?;SMB;20| (|ts| |redOp?| $) @@ -725,7 +709,7 @@ (SEQ (COND ((SPADCALL |ts| (|getShellEntry| $ 12)) 'T) ('T - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29)) + (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28)) |TSETCAT-;autoReduced?;SMB;20|) (LETT |p| (|SPADfirst| |lp|) |TSETCAT-;autoReduced?;SMB;20|) @@ -745,16 +729,16 @@ (EXIT (NULL |lp|))))))))) (DEFUN |TSETCAT-;stronglyReduced?;SB;21| (|ts| $) - (SPADCALL |ts| (ELT $ 59) (|getShellEntry| $ 101))) + (SPADCALL |ts| (ELT $ 58) (|getShellEntry| $ 100))) (DEFUN |TSETCAT-;normalized?;SB;22| (|ts| $) - (SPADCALL |ts| (ELT $ 57) (|getShellEntry| $ 101))) + (SPADCALL |ts| (ELT $ 56) (|getShellEntry| $ 100))) (DEFUN |TSETCAT-;headReduced?;SB;23| (|ts| $) - (SPADCALL |ts| (ELT $ 104) (|getShellEntry| $ 101))) + (SPADCALL |ts| (ELT $ 103) (|getShellEntry| $ 100))) (DEFUN |TSETCAT-;initiallyReduced?;SB;24| (|ts| $) - (SPADCALL |ts| (ELT $ 106) (|getShellEntry| $ 101))) + (SPADCALL |ts| (ELT $ 105) (|getShellEntry| $ 100))) (DEFUN |TSETCAT-;mvar;SV;25| (|ts| $) (PROG (#0=#:G1598) @@ -769,7 +753,7 @@ (QCDR #0#) (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 10) #0#)) - (|getShellEntry| $ 24))))))) + (|getShellEntry| $ 23))))))) (DEFUN |TSETCAT-;first;SU;26| (|ts| $) (PROG (|lp|) @@ -778,9 +762,9 @@ ((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed")) ('T (SEQ (LETT |lp| - (SPADCALL (ELT $ 23) - (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 22) + (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 36)) |TSETCAT-;first;SU;26|) (EXIT (CONS 0 (|SPADfirst| |lp|)))))))))) @@ -791,9 +775,9 @@ ((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed")) ('T (SEQ (LETT |lp| - (SPADCALL (ELT $ 22) - (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 21) + (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 36)) |TSETCAT-;last;SU;27|) (EXIT (CONS 0 (|SPADfirst| |lp|)))))))))) @@ -804,17 +788,17 @@ ((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed")) ('T (SEQ (LETT |lp| - (SPADCALL (ELT $ 23) - (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 22) + (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 36)) |TSETCAT-;rest;SU;28|) (EXIT (CONS 0 (SPADCALL (CDR |lp|) - (|getShellEntry| $ 111))))))))))) + (|getShellEntry| $ 110))))))))))) (DEFUN |TSETCAT-;coerce;SL;29| (|ts| $) - (SPADCALL (ELT $ 23) (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 37))) + (SPADCALL (ELT $ 22) (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 36))) (DEFUN |TSETCAT-;algebraicVariables;SL;30| (|ts| $) (PROG (#0=#:G1666 |p| #1=#:G1667) @@ -822,7 +806,7 @@ (SEQ (PROGN (LETT #0# NIL |TSETCAT-;algebraicVariables;SL;30|) (SEQ (LETT |p| NIL |TSETCAT-;algebraicVariables;SL;30|) - (LETT #1# (SPADCALL |ts| (|getShellEntry| $ 29)) + (LETT #1# (SPADCALL |ts| (|getShellEntry| $ 28)) |TSETCAT-;algebraicVariables;SL;30|) G190 (COND @@ -835,7 +819,7 @@ (SEQ (EXIT (LETT #0# (CONS (SPADCALL |p| - (|getShellEntry| $ 24)) + (|getShellEntry| $ 23)) #0#) |TSETCAT-;algebraicVariables;SL;30|))) (LETT #1# (CDR #1#) @@ -843,28 +827,26 @@ (GO G190) G191 (EXIT (NREVERSE0 #0#)))))))) (DEFUN |TSETCAT-;algebraic?;VSB;31| (|v| |ts| $) - (SPADCALL |v| (SPADCALL |ts| (|getShellEntry| $ 116)) - (|getShellEntry| $ 117))) + (SPADCALL |v| (SPADCALL |ts| (|getShellEntry| $ 115)) + (|getShellEntry| $ 116))) (DEFUN |TSETCAT-;select;SVU;32| (|ts| |v| $) (PROG (|lp|) (RETURN (SEQ (LETT |lp| - (SPADCALL (ELT $ 23) - (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 22) + (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 36)) |TSETCAT-;select;SVU;32|) (SEQ G190 (COND ((NULL (COND ((NULL |lp|) 'NIL) ('T - (SPADCALL - (SPADCALL |v| - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 24)) - (|getShellEntry| $ 65)) - (|getShellEntry| $ 20))))) + (NOT (SPADCALL |v| + (SPADCALL (|SPADfirst| |lp|) + (|getShellEntry| $ 23)) + (|getShellEntry| $ 64)))))) (GO G191))) (SEQ (EXIT (LETT |lp| (CDR |lp|) |TSETCAT-;select;SVU;32|))) @@ -876,57 +858,52 @@ (DEFUN |TSETCAT-;collectQuasiMonic;2S;33| (|ts| $) (PROG (|newlp| |lp|) (RETURN - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 29)) + (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 28)) |TSETCAT-;collectQuasiMonic;2S;33|) (LETT |newlp| NIL |TSETCAT-;collectQuasiMonic;2S;33|) - (SEQ G190 - (COND - ((NULL (SPADCALL (NULL |lp|) (|getShellEntry| $ 20))) - (GO G191))) + (SEQ G190 (COND ((NULL (NOT (NULL |lp|))) (GO G191))) (SEQ (COND ((SPADCALL (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 46)) - (|getShellEntry| $ 35)) + (|getShellEntry| $ 45)) + (|getShellEntry| $ 34)) (LETT |newlp| (CONS (|SPADfirst| |lp|) |newlp|) |TSETCAT-;collectQuasiMonic;2S;33|))) (EXIT (LETT |lp| (CDR |lp|) |TSETCAT-;collectQuasiMonic;2S;33|))) NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |newlp| (|getShellEntry| $ 111))))))) + (EXIT (SPADCALL |newlp| (|getShellEntry| $ 110))))))) (DEFUN |TSETCAT-;collectUnder;SVS;34| (|ts| |v| $) (PROG (|lp|) (RETURN (SEQ (LETT |lp| - (SPADCALL (ELT $ 23) - (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 22) + (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 36)) |TSETCAT-;collectUnder;SVS;34|) (SEQ G190 (COND ((NULL (COND ((NULL |lp|) 'NIL) ('T - (SPADCALL - (SPADCALL - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 24)) - |v| (|getShellEntry| $ 64)) - (|getShellEntry| $ 20))))) + (NOT (SPADCALL + (SPADCALL (|SPADfirst| |lp|) + (|getShellEntry| $ 23)) + |v| (|getShellEntry| $ 63)))))) (GO G191))) (SEQ (EXIT (LETT |lp| (CDR |lp|) |TSETCAT-;collectUnder;SVS;34|))) NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |lp| (|getShellEntry| $ 111))))))) + (EXIT (SPADCALL |lp| (|getShellEntry| $ 110))))))) (DEFUN |TSETCAT-;collectUpper;SVS;35| (|ts| |v| $) (PROG (|lp2| |lp1|) (RETURN (SEQ (LETT |lp1| - (SPADCALL (ELT $ 23) - (SPADCALL |ts| (|getShellEntry| $ 29)) - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 22) + (SPADCALL |ts| (|getShellEntry| $ 28)) + (|getShellEntry| $ 36)) |TSETCAT-;collectUpper;SVS;35|) (LETT |lp2| NIL |TSETCAT-;collectUpper;SVS;35|) (SEQ G190 @@ -936,20 +913,20 @@ ('T (SPADCALL |v| (SPADCALL (|SPADfirst| |lp1|) - (|getShellEntry| $ 24)) - (|getShellEntry| $ 64))))) + (|getShellEntry| $ 23)) + (|getShellEntry| $ 63))))) (GO G191))) (SEQ (LETT |lp2| (CONS (|SPADfirst| |lp1|) |lp2|) |TSETCAT-;collectUpper;SVS;35|) (EXIT (LETT |lp1| (CDR |lp1|) |TSETCAT-;collectUpper;SVS;35|))) NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL (REVERSE |lp2|) (|getShellEntry| $ 111))))))) + (EXIT (SPADCALL (REVERSE |lp2|) (|getShellEntry| $ 110))))))) (DEFUN |TSETCAT-;construct;LS;36| (|lp| $) (PROG (|rif|) (RETURN - (SEQ (LETT |rif| (SPADCALL |lp| (|getShellEntry| $ 123)) + (SEQ (LETT |rif| (SPADCALL |lp| (|getShellEntry| $ 122)) |TSETCAT-;construct;LS;36|) (EXIT (COND ((QEQCAR |rif| 0) (QCDR |rif|)) @@ -960,26 +937,26 @@ (PROG (|rif|) (RETURN (SEQ (COND - ((NULL |lp|) (CONS 0 (SPADCALL (|getShellEntry| $ 38)))) + ((NULL |lp|) (CONS 0 (SPADCALL (|getShellEntry| $ 37)))) ('T (SEQ (LETT |lp| - (SPADCALL (ELT $ 23) |lp| - (|getShellEntry| $ 37)) + (SPADCALL (ELT $ 22) |lp| + (|getShellEntry| $ 36)) |TSETCAT-;retractIfCan;LU;37|) (LETT |rif| - (SPADCALL (CDR |lp|) (|getShellEntry| $ 123)) + (SPADCALL (CDR |lp|) (|getShellEntry| $ 122)) |TSETCAT-;retractIfCan;LU;37|) (EXIT (COND ((QEQCAR |rif| 0) (SPADCALL (QCDR |rif|) (|SPADfirst| |lp|) - (|getShellEntry| $ 125))) + (|getShellEntry| $ 124))) ('T (|error| "in retractIfCan : LP -> ... from TSETCAT : bad arg"))))))))))) (DEFUN |TSETCAT-;extend;SPS;38| (|ts| |p| $) (PROG (|eif|) (RETURN - (SEQ (LETT |eif| (SPADCALL |ts| |p| (|getShellEntry| $ 125)) + (SEQ (LETT |eif| (SPADCALL |ts| |p| (|getShellEntry| $ 124)) |TSETCAT-;extend;SPS;38|) (EXIT (COND ((QEQCAR |eif| 0) (QCDR |eif|)) @@ -989,13 +966,13 @@ (DEFUN |TSETCAT-;coHeight;SNni;39| (|ts| $) (PROG (|n| |m| #0=#:G1662) (RETURN - (SEQ (LETT |n| (SPADCALL (|getShellEntry| $ 128)) + (SEQ (LETT |n| (SPADCALL (|getShellEntry| $ 127)) |TSETCAT-;coHeight;SNni;39|) - (LETT |m| (LENGTH (SPADCALL |ts| (|getShellEntry| $ 29))) + (LETT |m| (LENGTH (SPADCALL |ts| (|getShellEntry| $ 28))) |TSETCAT-;coHeight;SNni;39|) (EXIT (PROG2 (LETT #0# (SPADCALL |n| |m| - (|getShellEntry| $ 129)) + (|getShellEntry| $ 128)) |TSETCAT-;coHeight;SNni;39|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) (|NonNegativeInteger|) @@ -1014,7 +991,7 @@ (LETT |dv$| (LIST '|TriangularSetCategory&| |dv$1| |dv$2| |dv$3| |dv$4| |dv$5|) . #0#) - (LETT $ (|newShell| 132) . #0#) + (LETT $ (|newShell| 131) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| @@ -1028,7 +1005,7 @@ (|setShellEntry| $ 10 |#5|) (COND ((|testBitVector| |pv$| 1) - (|setShellEntry| $ 130 + (|setShellEntry| $ 129 (CONS (|dispatchFunction| |TSETCAT-;coHeight;SNni;39|) $)))) $)))) @@ -1038,115 +1015,114 @@ (|local| |#3|) (|local| |#4|) (|local| |#5|) (|Boolean|) (0 . |empty?|) (|Union| 10 '"failed") (5 . |first|) (10 . =) (|Union| $ '"failed") (16 . |rest|) (21 . =) - |TSETCAT-;=;2SB;1| (27 . |not|) (32 . |last|) - (37 . |infRittWu?|) (43 . |supRittWu?|) (49 . |mvar|) - (54 . |collectUpper|) (60 . |infRittWu?|) - |TSETCAT-;infRittWu?;2SB;2| (|List| 10) (66 . |members|) - (|Mapping| 11 10 10) |TSETCAT-;reduced?;PSMB;3| - (71 . |zero?|) (|Mapping| 11 10) (76 . |remove|) - (82 . |ground?|) (87 . |any?|) (93 . |sort|) - (99 . |empty|) (103 . |extend|) (109 . |reduced?|) - (|Record| (|:| |bas| $) (|:| |top| 28)) - (|Union| 41 '"failed") |TSETCAT-;basicSet;LMU;4| - (116 . |concat|) |TSETCAT-;basicSet;LMMU;5| (122 . |init|) - (127 . |primPartElseUnitCanonical|) - (132 . |removeDuplicates|) |TSETCAT-;initials;SL;6| - (|NonNegativeInteger|) (137 . |mdeg|) - |TSETCAT-;degree;SNni;7| (142 . |initials|) - (|Record| (|:| |close| 28) (|:| |open| 28)) + |TSETCAT-;=;2SB;1| (27 . |last|) (32 . |infRittWu?|) + (38 . |supRittWu?|) (44 . |mvar|) (49 . |collectUpper|) + (55 . |infRittWu?|) |TSETCAT-;infRittWu?;2SB;2| + (|List| 10) (61 . |members|) (|Mapping| 11 10 10) + |TSETCAT-;reduced?;PSMB;3| (66 . |zero?|) + (|Mapping| 11 10) (71 . |remove|) (77 . |ground?|) + (82 . |any?|) (88 . |sort|) (94 . |empty|) (98 . |extend|) + (104 . |reduced?|) (|Record| (|:| |bas| $) (|:| |top| 27)) + (|Union| 40 '"failed") |TSETCAT-;basicSet;LMU;4| + (111 . |concat|) |TSETCAT-;basicSet;LMMU;5| (117 . |init|) + (122 . |primPartElseUnitCanonical|) + (127 . |removeDuplicates|) |TSETCAT-;initials;SL;6| + (|NonNegativeInteger|) (132 . |mdeg|) + |TSETCAT-;degree;SNni;7| (137 . |initials|) + (|Record| (|:| |close| 27) (|:| |open| 27)) |TSETCAT-;quasiComponent;SR;8| (|List| $) - (147 . |normalized?|) |TSETCAT-;normalized?;PSB;9| - (153 . |reduced?|) |TSETCAT-;stronglyReduced?;PSB;10| - (159 . |head|) (164 . |stronglyReduced?|) - |TSETCAT-;headReduced?;PSB;11| (170 . <) (176 . =) - (182 . |reduced?|) |TSETCAT-;initiallyReduced?;PSB;12| + (142 . |normalized?|) |TSETCAT-;normalized?;PSB;9| + (148 . |reduced?|) |TSETCAT-;stronglyReduced?;PSB;10| + (154 . |head|) (159 . |stronglyReduced?|) + |TSETCAT-;headReduced?;PSB;11| (165 . <) (171 . =) + (177 . |reduced?|) |TSETCAT-;initiallyReduced?;PSB;12| (|Mapping| 10 10 10) |TSETCAT-;reduce;PSMMP;13| - (188 . |trivialIdeal?|) (193 . |One|) (197 . |reduce|) + (183 . |trivialIdeal?|) (188 . |One|) (192 . |reduce|) |TSETCAT-;rewriteSetWithReduction;LSMML;14| - (205 . |lazyPrem|) |TSETCAT-;stronglyReduce;PSP;15| - (211 . |headReduce|) (217 . |headReduced?|) - |TSETCAT-;headReduce;PSP;16| (223 . |initiallyReduce|) - (229 . |initiallyReduced?|) - |TSETCAT-;initiallyReduce;PSP;17| (235 . |collectUnder|) - (241 . |algebraic?|) (247 . |select|) (253 . |removeZero|) - (259 . |Zero|) (263 . |degree|) (|Integer|) - (269 . |positive?|) (274 . |mainMonomial|) (279 . *) - (285 . +) (291 . |tail|) |TSETCAT-;removeZero;PSP;18| - (296 . |collectQuasiMonic|) + (200 . |lazyPrem|) |TSETCAT-;stronglyReduce;PSP;15| + (206 . |headReduce|) (212 . |headReduced?|) + |TSETCAT-;headReduce;PSP;16| (218 . |initiallyReduce|) + (224 . |initiallyReduced?|) + |TSETCAT-;initiallyReduce;PSP;17| (230 . |collectUnder|) + (236 . |algebraic?|) (242 . |select|) (248 . |removeZero|) + (254 . |Zero|) (258 . |degree|) (|Integer|) + (264 . |positive?|) (269 . |mainMonomial|) (274 . *) + (280 . +) (286 . |tail|) |TSETCAT-;removeZero;PSP;18| + (291 . |collectQuasiMonic|) (|Record| (|:| |rnum| 7) (|:| |polnum| 10) (|:| |den| 7)) - (301 . |remainder|) |TSETCAT-;reduceByQuasiMonic;PSP;19| - (|Mapping| 11 10 28) |TSETCAT-;autoReduced?;SMB;20| - (307 . |autoReduced?|) |TSETCAT-;stronglyReduced?;SB;21| - |TSETCAT-;normalized?;SB;22| (313 . |headReduced?|) - |TSETCAT-;headReduced?;SB;23| (319 . |initiallyReduced?|) + (296 . |remainder|) |TSETCAT-;reduceByQuasiMonic;PSP;19| + (|Mapping| 11 10 27) |TSETCAT-;autoReduced?;SMB;20| + (302 . |autoReduced?|) |TSETCAT-;stronglyReduced?;SB;21| + |TSETCAT-;normalized?;SB;22| (308 . |headReduced?|) + |TSETCAT-;headReduced?;SB;23| (314 . |initiallyReduced?|) |TSETCAT-;initiallyReduced?;SB;24| |TSETCAT-;mvar;SV;25| |TSETCAT-;first;SU;26| |TSETCAT-;last;SU;27| - (325 . |construct|) |TSETCAT-;rest;SU;28| + (320 . |construct|) |TSETCAT-;rest;SU;28| |TSETCAT-;coerce;SL;29| (|List| 9) |TSETCAT-;algebraicVariables;SL;30| - (330 . |algebraicVariables|) (335 . |member?|) + (325 . |algebraicVariables|) (330 . |member?|) |TSETCAT-;algebraic?;VSB;31| |TSETCAT-;select;SVU;32| |TSETCAT-;collectQuasiMonic;2S;33| |TSETCAT-;collectUnder;SVS;34| - |TSETCAT-;collectUpper;SVS;35| (341 . |retractIfCan|) - |TSETCAT-;construct;LS;36| (346 . |extendIfCan|) + |TSETCAT-;collectUpper;SVS;35| (336 . |retractIfCan|) + |TSETCAT-;construct;LS;36| (341 . |extendIfCan|) |TSETCAT-;retractIfCan;LU;37| |TSETCAT-;extend;SPS;38| - (352 . |size|) (356 . |subtractIfCan|) (362 . |coHeight|) + (347 . |size|) (351 . |subtractIfCan|) (357 . |coHeight|) (|OutputForm|)) - '#(|stronglyReduced?| 367 |stronglyReduce| 378 |select| 384 - |rewriteSetWithReduction| 390 |retractIfCan| 398 |rest| - 403 |removeZero| 408 |reduced?| 414 |reduceByQuasiMonic| - 421 |reduce| 427 |quasiComponent| 435 |normalized?| 440 - |mvar| 451 |last| 456 |initials| 461 |initiallyReduced?| - 466 |initiallyReduce| 477 |infRittWu?| 483 |headReduced?| - 489 |headReduce| 500 |first| 506 |extend| 511 |degree| 517 - |construct| 522 |collectUpper| 527 |collectUnder| 533 - |collectQuasiMonic| 539 |coerce| 544 |coHeight| 549 - |basicSet| 554 |autoReduced?| 567 |algebraicVariables| 573 - |algebraic?| 578 = 584) + '#(|stronglyReduced?| 362 |stronglyReduce| 373 |select| 379 + |rewriteSetWithReduction| 385 |retractIfCan| 393 |rest| + 398 |removeZero| 403 |reduced?| 409 |reduceByQuasiMonic| + 416 |reduce| 422 |quasiComponent| 430 |normalized?| 435 + |mvar| 446 |last| 451 |initials| 456 |initiallyReduced?| + 461 |initiallyReduce| 472 |infRittWu?| 478 |headReduced?| + 484 |headReduce| 495 |first| 501 |extend| 506 |degree| 512 + |construct| 517 |collectUpper| 522 |collectUnder| 528 + |collectQuasiMonic| 534 |coerce| 539 |coHeight| 544 + |basicSet| 549 |autoReduced?| 562 |algebraicVariables| 568 + |algebraic?| 573 = 579) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 130 + (|makeByteWordVec2| 129 '(1 6 11 0 12 1 6 13 0 14 2 10 11 0 0 - 15 1 6 16 0 17 2 6 11 0 0 18 1 11 0 0 - 20 1 6 13 0 21 2 10 11 0 0 22 2 10 11 - 0 0 23 1 10 9 0 24 2 6 0 0 9 25 2 6 - 11 0 0 26 1 6 28 0 29 1 10 11 0 32 2 - 28 0 33 0 34 1 10 11 0 35 2 28 11 33 - 0 36 2 28 0 30 0 37 0 6 0 38 2 6 0 0 - 10 39 3 6 11 10 0 30 40 2 28 0 0 0 44 - 1 10 0 0 46 1 10 0 0 47 1 28 0 0 48 1 - 10 50 0 51 1 6 28 0 53 2 10 11 0 56 - 57 2 10 11 0 56 59 1 10 0 0 61 2 6 11 - 10 0 62 2 9 11 0 0 64 2 9 11 0 0 65 2 - 10 11 0 0 66 1 6 11 0 70 0 10 0 71 4 - 6 10 10 0 68 30 72 2 10 0 0 0 74 2 10 - 0 0 0 76 2 10 11 0 0 77 2 10 0 0 0 79 - 2 10 11 0 0 80 2 6 0 0 9 82 2 6 11 9 - 0 83 2 6 13 0 9 84 2 6 10 10 0 85 0 - 10 0 86 2 10 50 0 9 87 1 88 11 0 89 1 - 10 0 0 90 2 10 0 0 0 91 2 10 0 0 0 92 - 1 10 0 0 93 1 6 0 0 95 2 6 96 10 0 97 - 2 6 11 0 99 101 2 10 11 0 56 104 2 10 - 11 0 56 106 1 6 0 28 111 1 6 114 0 - 116 2 114 11 9 0 117 1 6 16 28 123 2 - 6 16 0 10 125 0 9 50 128 2 50 16 0 0 - 129 1 0 50 0 130 1 0 11 0 102 2 0 11 - 10 0 60 2 0 10 10 0 75 2 0 13 0 9 119 - 4 0 28 28 0 68 30 73 1 0 16 28 126 1 - 0 16 0 112 2 0 10 10 0 94 3 0 11 10 0 - 30 31 2 0 10 10 0 98 4 0 10 10 0 68 - 30 69 1 0 54 0 55 1 0 11 0 103 2 0 11 - 10 0 58 1 0 9 0 108 1 0 13 0 110 1 0 - 28 0 49 1 0 11 0 107 2 0 11 10 0 67 2 - 0 10 10 0 81 2 0 11 0 0 27 1 0 11 0 - 105 2 0 11 10 0 63 2 0 10 10 0 78 1 0 - 13 0 109 2 0 0 0 10 127 1 0 50 0 52 1 - 0 0 28 124 2 0 0 0 9 122 2 0 0 0 9 - 121 1 0 0 0 120 1 0 28 0 113 1 0 50 0 - 130 3 0 42 28 33 30 45 2 0 42 28 30 - 43 2 0 11 0 99 100 1 0 114 0 115 2 0 - 11 9 0 118 2 0 11 0 0 19))))) + 15 1 6 16 0 17 2 6 11 0 0 18 1 6 13 0 + 20 2 10 11 0 0 21 2 10 11 0 0 22 1 10 + 9 0 23 2 6 0 0 9 24 2 6 11 0 0 25 1 6 + 27 0 28 1 10 11 0 31 2 27 0 32 0 33 1 + 10 11 0 34 2 27 11 32 0 35 2 27 0 29 + 0 36 0 6 0 37 2 6 0 0 10 38 3 6 11 10 + 0 29 39 2 27 0 0 0 43 1 10 0 0 45 1 + 10 0 0 46 1 27 0 0 47 1 10 49 0 50 1 + 6 27 0 52 2 10 11 0 55 56 2 10 11 0 + 55 58 1 10 0 0 60 2 6 11 10 0 61 2 9 + 11 0 0 63 2 9 11 0 0 64 2 10 11 0 0 + 65 1 6 11 0 69 0 10 0 70 4 6 10 10 0 + 67 29 71 2 10 0 0 0 73 2 10 0 0 0 75 + 2 10 11 0 0 76 2 10 0 0 0 78 2 10 11 + 0 0 79 2 6 0 0 9 81 2 6 11 9 0 82 2 6 + 13 0 9 83 2 6 10 10 0 84 0 10 0 85 2 + 10 49 0 9 86 1 87 11 0 88 1 10 0 0 89 + 2 10 0 0 0 90 2 10 0 0 0 91 1 10 0 0 + 92 1 6 0 0 94 2 6 95 10 0 96 2 6 11 0 + 98 100 2 10 11 0 55 103 2 10 11 0 55 + 105 1 6 0 27 110 1 6 113 0 115 2 113 + 11 9 0 116 1 6 16 27 122 2 6 16 0 10 + 124 0 9 49 127 2 49 16 0 0 128 1 0 49 + 0 129 1 0 11 0 101 2 0 11 10 0 59 2 0 + 10 10 0 74 2 0 13 0 9 118 4 0 27 27 0 + 67 29 72 1 0 16 27 125 1 0 16 0 111 2 + 0 10 10 0 93 3 0 11 10 0 29 30 2 0 10 + 10 0 97 4 0 10 10 0 67 29 68 1 0 53 0 + 54 1 0 11 0 102 2 0 11 10 0 57 1 0 9 + 0 107 1 0 13 0 109 1 0 27 0 48 1 0 11 + 0 106 2 0 11 10 0 66 2 0 10 10 0 80 2 + 0 11 0 0 26 1 0 11 0 104 2 0 11 10 0 + 62 2 0 10 10 0 77 1 0 13 0 108 2 0 0 + 0 10 126 1 0 49 0 51 1 0 0 27 123 2 0 + 0 0 9 121 2 0 0 0 9 120 1 0 0 0 119 1 + 0 27 0 112 1 0 49 0 129 3 0 41 27 32 + 29 44 2 0 41 27 29 42 2 0 11 0 98 99 + 1 0 113 0 114 2 0 11 9 0 117 2 0 11 0 + 0 19))))) '|lookupComplete|)) |