aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-03-06 19:04:54 +0000
committerdos-reis <gdr@axiomatics.org>2011-03-06 19:04:54 +0000
commit4a7b8e70463ca239030c406e89777e209f393c33 (patch)
tree8ee97a418aeba156a813b443be8c3ec8c6a06dd0 /src/algebra/strap
parent382517ec42b83bef4bb6effa31b2e8cc70dada5d (diff)
downloadopen-axiom-4a7b8e70463ca239030c406e89777e209f393c33.tar.gz
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %c2s.
* interp/lisp-backend.boot: Translate it. * algebra/integer.spad.pamphlet (Integer) [convert]: Tidy. [latex]: Likewise. * algebra/string.spad.pamphlet (Character)[latex]: Likewise.
Diffstat (limited to 'src/algebra/strap')
-rw-r--r--src/algebra/strap/CHAR.lsp57
-rw-r--r--src/algebra/strap/INT.lsp229
2 files changed, 142 insertions, 144 deletions
diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp
index 8df1f121..34d8594d 100644
--- a/src/algebra/strap/CHAR.lsp
+++ b/src/algebra/strap/CHAR.lsp
@@ -124,8 +124,7 @@
(PUT '|CHAR;latex;$S;30| '|SPADreplace|
'(XLAM (|c|)
- (|%strconc| "\\mbox{`"
- (|%strconc| (MAKE-FULL-CVEC 1 |c|) "'}"))))
+ (|%strconc| "\\mbox{`" (|%strconc| (|%c2s| |c|) "'}"))))
(DECLAIM (FTYPE (FUNCTION (|%String| |%Shell|) |%Char|)
|CHAR;char;S$;31|))
@@ -233,7 +232,7 @@
(DEFUN |CHAR;latex;$S;30| (|c| $)
(DECLARE (IGNORE $))
- (STRCONC "\\mbox{`" (STRCONC (MAKE-FULL-CVEC 1 |c|) "'}")))
+ (STRCONC "\\mbox{`" (STRCONC (STRING |c|) "'}")))
(DEFUN |CHAR;char;S$;31| (|s| $)
(DECLARE (IGNORE $))
@@ -260,7 +259,7 @@
(DEFUN |Character;| ()
(DECLARE (SPECIAL |$ConstructorCache|))
- (LET ((|dv$| '(|Character|)) ($ (|newShell| 62))
+ (LET ((|dv$| '(|Character|)) ($ (|newShell| 61))
(|pv$| (|buildPredVector| 0 0 NIL)))
(SETF (|shellEntry| $ 0) |dv$|)
(SETF (|shellEntry| $ 3) |pv$|)
@@ -315,19 +314,19 @@
|CHAR;upperCase?;$B;26| (43 . |lowerCase|)
|CHAR;lowerCase?;$B;27| (47 . |alphabetic|)
|CHAR;alphabetic?;$B;28| (51 . |alphanumeric|)
- |CHAR;alphanumeric?;$B;29| (|String|) (55 . |new|)
- (61 . |concat|) |CHAR;latex;$S;30| |CHAR;char;S$;31|
+ |CHAR;alphanumeric?;$B;29| (|String|) (55 . |concat|)
+ |CHAR;latex;$S;30| |CHAR;char;S$;31|
|CHAR;upperCase;2$;32| |CHAR;lowerCase;2$;33|
(|SingleInteger|))
- '#(~= 67 |verticalTab| 73 |upperCase?| 77 |upperCase| 82
- |underscore| 87 |space| 91 |size| 95 |random| 99 |quote|
- 103 |ord| 107 |newline| 112 |min| 116 |max| 126
- |lowerCase?| 136 |lowerCase| 141 |lookup| 146 |linefeed|
- 151 |latex| 155 |index| 160 |horizontalTab| 165
- |hexDigit?| 169 |hash| 174 |formfeed| 179 |escape| 183
- |digit?| 187 |coerce| 192 |char| 197 |carriageReturn| 207
- |before?| 211 |backspace| 217 |alphanumeric?| 221
- |alphabetic?| 226 >= 231 > 237 = 243 <= 249 < 255)
+ '#(~= 61 |verticalTab| 67 |upperCase?| 71 |upperCase| 76
+ |underscore| 81 |space| 85 |size| 89 |random| 93 |quote|
+ 97 |ord| 101 |newline| 106 |min| 110 |max| 120
+ |lowerCase?| 130 |lowerCase| 135 |lookup| 140 |linefeed|
+ 145 |latex| 149 |index| 154 |horizontalTab| 159
+ |hexDigit?| 163 |hash| 168 |formfeed| 173 |escape| 177
+ |digit?| 181 |coerce| 186 |char| 191 |carriageReturn| 201
+ |before?| 205 |backspace| 211 |alphanumeric?| 215
+ |alphabetic?| 220 >= 225 > 231 = 237 <= 243 < 249)
'NIL
(CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0))
(CONS '#(NIL NIL NIL |SetCategory&| |OrderedType&|
@@ -336,23 +335,23 @@
(|Finite|) (|SetCategory|)
(|OrderedType|) (|BasicType|) (|Type|)
(|CoercibleTo| 37))
- (|makeByteWordVec2| 61
+ (|makeByteWordVec2| 60
'(0 14 0 15 0 12 0 16 2 17 0 0 0 18 2
12 0 0 0 22 1 12 0 0 24 0 39 0 40 2
39 6 41 0 42 0 39 0 44 0 39 0 46 0 39
- 0 48 0 39 0 50 0 39 0 52 2 54 0 12 41
- 55 2 54 0 0 0 56 2 0 6 0 0 1 0 0 0 35
- 1 0 6 0 47 1 0 0 0 59 0 0 0 28 0 0 0
- 26 0 0 12 13 0 0 0 25 0 0 0 27 1 0 12
- 0 21 0 0 0 29 0 0 0 1 2 0 0 0 0 1 0 0
- 0 1 2 0 0 0 0 1 1 0 6 0 49 1 0 0 0 60
- 1 0 14 0 23 0 0 0 31 1 0 54 0 57 1 0
- 0 14 20 0 0 0 34 1 0 6 0 45 1 0 61 0
- 1 0 0 0 32 0 0 0 36 1 0 6 0 43 1 0 37
- 0 38 1 0 0 54 58 1 0 0 12 19 0 0 0 30
- 2 0 6 0 0 1 0 0 0 33 1 0 6 0 53 1 0 6
- 0 51 2 0 6 0 0 11 2 0 6 0 0 9 2 0 6 0
- 0 7 2 0 6 0 0 10 2 0 6 0 0 8)))))
+ 0 48 0 39 0 50 0 39 0 52 2 54 0 0 0
+ 55 2 0 6 0 0 1 0 0 0 35 1 0 6 0 47 1
+ 0 0 0 58 0 0 0 28 0 0 0 26 0 0 12 13
+ 0 0 0 25 0 0 0 27 1 0 12 0 21 0 0 0
+ 29 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0
+ 0 0 1 1 0 6 0 49 1 0 0 0 59 1 0 14 0
+ 23 0 0 0 31 1 0 54 0 56 1 0 0 14 20 0
+ 0 0 34 1 0 6 0 45 1 0 60 0 1 0 0 0 32
+ 0 0 0 36 1 0 6 0 43 1 0 37 0 38 1 0 0
+ 54 57 1 0 0 12 19 0 0 0 30 2 0 6 0 0
+ 1 0 0 0 33 1 0 6 0 53 1 0 6 0 51 2 0
+ 6 0 0 11 2 0 6 0 0 9 2 0 6 0 0 7 2 0
+ 6 0 0 10 2 0 6 0 0 8)))))
'|lookupComplete|))
(MAKEPROP '|Character| 'NILADIC T)
diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp
index ae8740a7..5e31c889 100644
--- a/src/algebra/strap/INT.lsp
+++ b/src/algebra/strap/INT.lsp
@@ -453,48 +453,48 @@
(ABS |x|))
(DEFUN |INT;solveLinearPolynomialEquation| (|lp| |p| $)
- (SPADCALL |lp| |p| (|shellEntry| $ 101)))
+ (SPADCALL |lp| |p| (|shellEntry| $ 100)))
(DEFUN |INT;squareFreePolynomial| (|p| $)
- (SPADCALL |p| (|shellEntry| $ 105)))
+ (SPADCALL |p| (|shellEntry| $ 104)))
(DEFUN |INT;factorPolynomial| (|p| $)
- (LET ((|pp| (SPADCALL |p| (|shellEntry| $ 106))))
+ (LET ((|pp| (SPADCALL |p| (|shellEntry| $ 105))))
(COND
- ((EQL (SPADCALL |pp| (|shellEntry| $ 107))
- (SPADCALL |p| (|shellEntry| $ 107)))
- (SPADCALL |p| (|shellEntry| $ 109)))
- (T (SPADCALL (SPADCALL |pp| (|shellEntry| $ 109))
+ ((EQL (SPADCALL |pp| (|shellEntry| $ 106))
+ (SPADCALL |p| (|shellEntry| $ 106)))
+ (SPADCALL |p| (|shellEntry| $ 108)))
+ (T (SPADCALL (SPADCALL |pp| (|shellEntry| $ 108))
(SPADCALL (CONS #'|INT;factorPolynomial!0| $)
(SPADCALL
- (LET ((#0=#:G1479
+ (LET ((#0=#:G1477
(SPADCALL
- (SPADCALL |p| (|shellEntry| $ 107))
- (SPADCALL |pp| (|shellEntry| $ 107))
- (|shellEntry| $ 111))))
+ (SPADCALL |p| (|shellEntry| $ 106))
+ (SPADCALL |pp| (|shellEntry| $ 106))
+ (|shellEntry| $ 110))))
(|check-union| (ZEROP (CAR #0#)) $ #0#)
(CDR #0#))
- (|shellEntry| $ 113))
- (|shellEntry| $ 117))
- (|shellEntry| $ 119))))))
+ (|shellEntry| $ 112))
+ (|shellEntry| $ 116))
+ (|shellEntry| $ 118))))))
(DEFUN |INT;factorPolynomial!0| (|#1| $)
- (SPADCALL |#1| (|shellEntry| $ 110)))
+ (SPADCALL |#1| (|shellEntry| $ 109)))
(DEFUN |INT;factorSquareFreePolynomial| (|p| $)
- (SPADCALL |p| (|shellEntry| $ 120)))
+ (SPADCALL |p| (|shellEntry| $ 119)))
(DEFUN |INT;gcdPolynomial;3Sup;60| (|p| |q| $)
(COND
- ((SPADCALL |p| (|shellEntry| $ 121))
- (SPADCALL |q| (|shellEntry| $ 122)))
- ((SPADCALL |q| (|shellEntry| $ 121))
- (SPADCALL |p| (|shellEntry| $ 122)))
- (T (SPADCALL (LIST |p| |q|) (|shellEntry| $ 125)))))
+ ((SPADCALL |p| (|shellEntry| $ 120))
+ (SPADCALL |q| (|shellEntry| $ 121)))
+ ((SPADCALL |q| (|shellEntry| $ 120))
+ (SPADCALL |p| (|shellEntry| $ 121)))
+ (T (SPADCALL (LIST |p| |q|) (|shellEntry| $ 124)))))
(DEFUN |Integer| ()
(DECLARE (SPECIAL |$ConstructorCache|))
- (LET ((#0=#:G1511 (HGET |$ConstructorCache| '|Integer|)))
+ (LET ((#0=#:G1509 (HGET |$ConstructorCache| '|Integer|)))
(COND
(#0# (|CDRwithIncrement| (CDAR #0#)))
(T (UNWIND-PROTECT
@@ -505,14 +505,14 @@
(DEFUN |Integer;| ()
(DECLARE (SPECIAL |$ConstructorCache|))
- (LET ((|dv$| '(|Integer|)) ($ (|newShell| 140))
+ (LET ((|dv$| '(|Integer|)) ($ (|newShell| 139))
(|pv$| (|buildPredVector| 0 0 NIL)))
(SETF (|shellEntry| $ 0) |dv$|)
(SETF (|shellEntry| $ 3) |pv$|)
(|haddProp| |$ConstructorCache| '|Integer| NIL (CONS 1 $))
(|stuffDomainSlots| $)
- (SETF (|shellEntry| $ 82)
- (SETF (|shellEntry| $ 81)
+ (SETF (|shellEntry| $ 81)
+ (SETF (|shellEntry| $ 80)
(CONS (|dispatchFunction| |INT;*;3$;43|) $)))
$))
@@ -541,11 +541,11 @@
(|Float|) (53 . |coerce|) |INT;convert;$F;23|
(|DoubleFloat|) (58 . |coerce|) |INT;convert;$Df;24|
(|InputForm|) (63 . |convert|) |INT;convert;$If;25|
- (68 . |string|) |INT;convert;$S;26| (|NonNegativeInteger|)
- (73 . |One|) (77 . <) (83 . |concat|) |INT;latex;$S;27|
+ |INT;convert;$S;26| (|NonNegativeInteger|) (68 . |One|)
+ (72 . <) (78 . |concat|) |INT;latex;$S;27|
|INT;positiveRemainder;3$;28| (|Matrix| 14) (|Matrix| $)
|INT;reducedSystem;2M;29| (|Vector| 14)
- (|Record| (|:| |mat| 69) (|:| |vec| 72)) (|Vector| $)
+ (|Record| (|:| |mat| 68) (|:| |vec| 71)) (|Vector| $)
|INT;reducedSystem;MVR;30| |INT;abs;2$;31|
|INT;random;$;32| |INT;random;2$;33| |INT;>;2$B;36|
|INT;<=;2$B;37| NIL NIL |INT;**;$Nni$;44| |INT;odd?;$B;45|
@@ -554,54 +554,54 @@
|INT;divide;2$R;48| |INT;quo;3$;49| |INT;shift;3$;51|
(|Union| $ '"failed") |INT;recip;$U;52| |INT;gcd;3$;53|
(|Record| (|:| |unit| $) (|:| |canonical| $)
- (|:| |associate| $))
+ (|:| |associate| $))
|INT;unitNormal;$R;54| |INT;unitCanonical;2$;55|
- (|SparseUnivariatePolynomial| 14) (|List| 97)
- (|Union| 98 '"failed")
+ (|SparseUnivariatePolynomial| 14) (|List| 96)
+ (|Union| 97 '"failed")
(|IntegerSolveLinearPolynomialEquation|)
- (89 . |solveLinearPolynomialEquation|)
- (|SparseUnivariatePolynomial| $$) (|Factored| 102)
- (|UnivariatePolynomialSquareFree| $$ 102)
- (95 . |squareFree|) (100 . |primitivePart|)
- (105 . |leadingCoefficient|) (|GaloisGroupFactorizer| 102)
- (110 . |factor|) (115 . |coerce|) (120 . |exquo|)
- (|Factored| $) (126 . |factor|) (|Mapping| 102 $$)
- (|Factored| $$) (|FactoredFunctions2| $$ 102)
- (131 . |map|) (|FactoredFunctionUtilities| 102)
- (137 . |mergeFactors|) (143 . |factorSquareFree|)
- (148 . |zero?|) (153 . |unitCanonical|) (|List| 102)
- (|HeuGcd| 102) (158 . |gcd|)
+ (84 . |solveLinearPolynomialEquation|)
+ (|SparseUnivariatePolynomial| $$) (|Factored| 101)
+ (|UnivariatePolynomialSquareFree| $$ 101)
+ (90 . |squareFree|) (95 . |primitivePart|)
+ (100 . |leadingCoefficient|) (|GaloisGroupFactorizer| 101)
+ (105 . |factor|) (110 . |coerce|) (115 . |exquo|)
+ (|Factored| $) (121 . |factor|) (|Mapping| 101 $$)
+ (|Factored| $$) (|FactoredFunctions2| $$ 101)
+ (126 . |map|) (|FactoredFunctionUtilities| 101)
+ (132 . |mergeFactors|) (138 . |factorSquareFree|)
+ (143 . |zero?|) (148 . |unitCanonical|) (|List| 101)
+ (|HeuGcd| 101) (153 . |gcd|)
(|SparseUnivariatePolynomial| $)
|INT;gcdPolynomial;3Sup;60| (|Fraction| 14)
- (|Union| 128 '"failed") (|Pattern| 14)
+ (|Union| 127 '"failed") (|Pattern| 14)
(|PatternMatchResult| 14 $) (|Union| 14 '"failed")
- (|List| $) (|Record| (|:| |coef| 133) (|:| |generator| $))
- (|Union| 133 '"failed")
+ (|List| $) (|Record| (|:| |coef| 132) (|:| |generator| $))
+ (|Union| 132 '"failed")
(|Record| (|:| |coef1| $) (|:| |coef2| $)
(|:| |generator| $))
(|Record| (|:| |coef1| $) (|:| |coef2| $))
- (|Union| 137 '"failed") (|PositiveInteger|))
- '#(~= 163 |zero?| 169 |unitNormal| 174 |unitCanonical| 179
- |unit?| 184 |symmetricRemainder| 189 |subtractIfCan| 195
- |submod| 201 |squareFreePart| 208 |squareFree| 213
- |sizeLess?| 218 |sign| 224 |shift| 229 |sample| 235
- |retractIfCan| 239 |retract| 244 |rem| 249 |reducedSystem|
- 255 |recip| 266 |rationalIfCan| 271 |rational?| 276
- |rational| 281 |random| 286 |quo| 295 |principalIdeal| 301
- |prime?| 306 |powmod| 311 |positiveRemainder| 318
- |positive?| 324 |permutation| 329 |patternMatch| 335
- |one?| 342 |odd?| 347 |nextItem| 352 |negative?| 357
- |multiEuclidean| 362 |mulmod| 368 |min| 375 |max| 381
- |mask| 387 |length| 392 |leftReducedSystem| 397 |lcm| 408
- |latex| 419 |invmod| 424 |init| 430 |inc| 434 |hash| 439
- |gcdPolynomial| 444 |gcd| 450 |factorial| 461 |factor| 466
- |extendedEuclidean| 471 |exquo| 484 |expressIdealMember|
- 490 |even?| 496 |euclideanSize| 501 |divide| 506
- |differentiate| 512 |dec| 523 |copy| 528 |convert| 533
- |coerce| 563 |characteristic| 583 |bit?| 587 |binomial|
- 593 |before?| 599 |base| 605 |associates?| 609 |addmod|
- 615 |abs| 622 |Zero| 627 |One| 631 |OMwrite| 635 D 659 >=
- 670 > 676 = 682 <= 688 < 694 - 700 + 711 ** 717 * 729)
+ (|Union| 136 '"failed") (|PositiveInteger|))
+ '#(~= 158 |zero?| 164 |unitNormal| 169 |unitCanonical| 174
+ |unit?| 179 |symmetricRemainder| 184 |subtractIfCan| 190
+ |submod| 196 |squareFreePart| 203 |squareFree| 208
+ |sizeLess?| 213 |sign| 219 |shift| 224 |sample| 230
+ |retractIfCan| 234 |retract| 239 |rem| 244 |reducedSystem|
+ 250 |recip| 261 |rationalIfCan| 266 |rational?| 271
+ |rational| 276 |random| 281 |quo| 290 |principalIdeal| 296
+ |prime?| 301 |powmod| 306 |positiveRemainder| 313
+ |positive?| 319 |permutation| 324 |patternMatch| 330
+ |one?| 337 |odd?| 342 |nextItem| 347 |negative?| 352
+ |multiEuclidean| 357 |mulmod| 363 |min| 370 |max| 376
+ |mask| 382 |length| 387 |leftReducedSystem| 392 |lcm| 403
+ |latex| 414 |invmod| 419 |init| 425 |inc| 429 |hash| 434
+ |gcdPolynomial| 439 |gcd| 445 |factorial| 456 |factor| 461
+ |extendedEuclidean| 466 |exquo| 479 |expressIdealMember|
+ 485 |even?| 491 |euclideanSize| 496 |divide| 501
+ |differentiate| 507 |dec| 518 |copy| 523 |convert| 528
+ |coerce| 558 |characteristic| 578 |bit?| 582 |binomial|
+ 588 |before?| 594 |base| 600 |associates?| 604 |addmod|
+ 610 |abs| 617 |Zero| 622 |One| 626 |OMwrite| 630 D 654 >=
+ 665 > 671 = 677 <= 683 < 689 - 695 + 706 ** 712 * 724)
'((|infinite| . 0) (|noetherian| . 0)
(|canonicalsClosed| . 0) (|canonical| . 0)
(|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0)
@@ -660,62 +660,61 @@
(|ConvertibleTo| 52)
(|ConvertibleTo| 55)
(|CombinatorialFunctionCategory|)
- (|ConvertibleTo| 130)
+ (|ConvertibleTo| 129)
(|ConvertibleTo| 58)
(|ConvertibleTo| 14)
(|CoercibleFrom| $$)
(|CoercibleFrom| 14) (|Type|)
(|CoercibleTo| 41))
- (|makeByteWordVec2| 139
+ (|makeByteWordVec2| 138
'(1 9 8 0 10 3 9 8 0 11 11 12 2 9 8 0
14 15 1 9 8 0 16 0 17 0 18 2 9 0 11
17 19 1 9 8 0 20 1 9 8 0 21 1 9 8 0
22 1 41 0 14 42 1 52 0 14 53 1 55 0
- 14 56 1 58 0 14 59 1 11 0 14 61 0 63
- 0 64 2 14 6 0 0 65 2 11 0 0 0 66 2
- 100 99 98 97 101 1 104 103 102 105 1
- 102 0 0 106 1 102 2 0 107 1 108 103
- 102 109 1 102 0 2 110 2 0 91 0 0 111
- 1 0 112 0 113 2 116 103 114 115 117 2
- 118 103 103 103 119 1 108 103 102 120
- 1 102 6 0 121 1 102 0 0 122 1 124 102
- 123 125 2 0 6 0 0 1 1 0 6 0 29 1 0 94
- 0 95 1 0 0 0 96 1 0 6 0 1 2 0 0 0 0 1
- 2 0 91 0 0 1 3 0 0 0 0 0 49 1 0 0 0 1
- 1 0 112 0 1 2 0 6 0 0 1 1 0 14 0 1 2
- 0 0 0 0 90 0 0 0 1 1 0 132 0 1 1 0 14
- 0 1 2 0 0 0 0 50 1 0 69 70 71 2 0 73
- 70 74 75 1 0 91 0 92 1 0 129 0 1 1 0
- 6 0 1 1 0 128 0 1 0 0 0 77 1 0 0 0 78
- 2 0 0 0 0 89 1 0 134 133 1 1 0 6 0 1
- 3 0 0 0 0 0 1 2 0 0 0 0 68 1 0 6 0 1
- 2 0 0 0 0 1 3 0 131 0 130 131 1 1 0 6
- 0 31 1 0 6 0 84 1 0 91 0 1 1 0 6 0 7
- 2 0 135 133 0 1 3 0 0 0 0 0 51 2 0 0
- 0 0 86 2 0 0 0 0 85 1 0 0 0 1 1 0 0 0
- 46 2 0 73 74 0 1 1 0 69 74 1 2 0 0 0
- 0 1 1 0 0 133 1 1 0 11 0 67 2 0 0 0 0
- 1 0 0 0 1 1 0 0 0 35 1 0 38 0 39 2 0
- 126 126 126 127 2 0 0 0 0 93 1 0 0
- 133 1 1 0 0 0 1 1 0 112 0 113 2 0 136
- 0 0 1 3 0 138 0 0 0 1 2 0 91 0 0 111
- 2 0 135 133 0 1 1 0 6 0 1 1 0 63 0 1
- 2 0 87 0 0 88 2 0 0 0 63 1 1 0 0 0 1
- 1 0 0 0 37 1 0 0 0 33 1 0 11 0 62 1 0
- 55 0 57 1 0 52 0 54 1 0 130 0 1 1 0
- 58 0 60 1 0 14 0 45 1 0 0 14 44 1 0 0
- 0 1 1 0 0 14 44 1 0 41 0 43 0 0 63 1
- 2 0 6 0 0 1 2 0 0 0 0 1 2 0 6 0 0 1 0
- 0 0 32 2 0 6 0 0 1 3 0 0 0 0 0 48 1 0
- 0 0 76 0 0 0 27 0 0 0 30 3 0 8 9 0 6
- 26 2 0 11 0 6 24 2 0 8 9 0 25 1 0 11
- 0 23 2 0 0 0 63 1 1 0 0 0 1 2 0 6 0 0
- 47 2 0 6 0 0 79 2 0 6 0 0 28 2 0 6 0
- 0 80 2 0 6 0 0 40 1 0 0 0 13 2 0 0 0
- 0 36 2 0 0 0 0 34 2 0 0 0 63 83 2 0 0
- 0 139 1 2 0 0 14 0 82 2 0 0 0 0 81 2
- 0 0 14 0 82 2 0 0 63 0 1 2 0 0 139 0
- 1)))))
+ 14 56 1 58 0 14 59 0 62 0 63 2 14 6 0
+ 0 64 2 11 0 0 0 65 2 99 98 97 96 100
+ 1 103 102 101 104 1 101 0 0 105 1 101
+ 2 0 106 1 107 102 101 108 1 101 0 2
+ 109 2 0 90 0 0 110 1 0 111 0 112 2
+ 115 102 113 114 116 2 117 102 102 102
+ 118 1 107 102 101 119 1 101 6 0 120 1
+ 101 0 0 121 1 123 101 122 124 2 0 6 0
+ 0 1 1 0 6 0 29 1 0 93 0 94 1 0 0 0 95
+ 1 0 6 0 1 2 0 0 0 0 1 2 0 90 0 0 1 3
+ 0 0 0 0 0 49 1 0 0 0 1 1 0 111 0 1 2
+ 0 6 0 0 1 1 0 14 0 1 2 0 0 0 0 89 0 0
+ 0 1 1 0 131 0 1 1 0 14 0 1 2 0 0 0 0
+ 50 1 0 68 69 70 2 0 72 69 73 74 1 0
+ 90 0 91 1 0 128 0 1 1 0 6 0 1 1 0 127
+ 0 1 0 0 0 76 1 0 0 0 77 2 0 0 0 0 88
+ 1 0 133 132 1 1 0 6 0 1 3 0 0 0 0 0 1
+ 2 0 0 0 0 67 1 0 6 0 1 2 0 0 0 0 1 3
+ 0 130 0 129 130 1 1 0 6 0 31 1 0 6 0
+ 83 1 0 90 0 1 1 0 6 0 7 2 0 134 132 0
+ 1 3 0 0 0 0 0 51 2 0 0 0 0 85 2 0 0 0
+ 0 84 1 0 0 0 1 1 0 0 0 46 2 0 72 73 0
+ 1 1 0 68 73 1 2 0 0 0 0 1 1 0 0 132 1
+ 1 0 11 0 66 2 0 0 0 0 1 0 0 0 1 1 0 0
+ 0 35 1 0 38 0 39 2 0 125 125 125 126
+ 2 0 0 0 0 92 1 0 0 132 1 1 0 0 0 1 1
+ 0 111 0 112 2 0 135 0 0 1 3 0 137 0 0
+ 0 1 2 0 90 0 0 110 2 0 134 132 0 1 1
+ 0 6 0 1 1 0 62 0 1 2 0 86 0 0 87 2 0
+ 0 0 62 1 1 0 0 0 1 1 0 0 0 37 1 0 0 0
+ 33 1 0 11 0 61 1 0 55 0 57 1 0 52 0
+ 54 1 0 129 0 1 1 0 58 0 60 1 0 14 0
+ 45 1 0 0 14 44 1 0 0 0 1 1 0 0 14 44
+ 1 0 41 0 43 0 0 62 1 2 0 6 0 0 1 2 0
+ 0 0 0 1 2 0 6 0 0 1 0 0 0 32 2 0 6 0
+ 0 1 3 0 0 0 0 0 48 1 0 0 0 75 0 0 0
+ 27 0 0 0 30 3 0 8 9 0 6 26 2 0 11 0 6
+ 24 2 0 8 9 0 25 1 0 11 0 23 2 0 0 0
+ 62 1 1 0 0 0 1 2 0 6 0 0 47 2 0 6 0 0
+ 78 2 0 6 0 0 28 2 0 6 0 0 79 2 0 6 0
+ 0 40 1 0 0 0 13 2 0 0 0 0 36 2 0 0 0
+ 0 34 2 0 0 0 62 82 2 0 0 0 138 1 2 0
+ 0 14 0 81 2 0 0 0 0 80 2 0 0 14 0 81
+ 2 0 0 62 0 1 2 0 0 138 0 1)))))
'|lookupComplete|))
(MAKEPROP '|Integer| 'NILADIC T)
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 08:56:47 +0000