diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
| commit | c42526006076b88ff2755f33eb1defd2e455e67e (patch) | |
| tree | 975c82ab94b65bc41169dd0c339700d4a2efc825 /src/algebra/strap/SINT.lsp | |
| parent | 4311f047fffe6dbc6f58ba4f37f074cc9d155630 (diff) | |
| download | open-axiom-c42526006076b88ff2755f33eb1defd2e455e67e.tar.gz | |
Optimization should not change slot numbers.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
| -rw-r--r-- | src/algebra/strap/SINT.lsp | 242 |
1 files changed, 122 insertions, 120 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index f656b3f8..a3d38ee1 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -256,12 +256,12 @@ (DEFUN |SINT;writeOMSingleInt| (|dev| |x| $) (SEQ (COND ((QSLESSP |x| 0) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 9)) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 13)) (SPADCALL |dev| "arith1" "unaryminus" - (|getShellEntry| $ 11)) - (SPADCALL |dev| (QSMINUS |x|) (|getShellEntry| $ 12)) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 13))))) - ('T (SPADCALL |dev| |x| (|getShellEntry| $ 12)))))) + (|getShellEntry| $ 15)) + (SPADCALL |dev| (QSMINUS |x|) (|getShellEntry| $ 18)) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 19))))) + ('T (SPADCALL |dev| |x| (|getShellEntry| $ 18)))))) (DEFUN |SINT;OMwrite;$S;2| (|x| $) (PROG (|sp| |dev| |s|) @@ -269,13 +269,13 @@ (SEQ (LETT |s| "" |SINT;OMwrite;$S;2|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |SINT;OMwrite;$S;2|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 15)) - (|getShellEntry| $ 16)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 21)) + (|getShellEntry| $ 22)) |SINT;OMwrite;$S;2|) - (SPADCALL |dev| (|getShellEntry| $ 17)) + (SPADCALL |dev| (|getShellEntry| $ 23)) (|SINT;writeOMSingleInt| |dev| |x| $) - (SPADCALL |dev| (|getShellEntry| $ 18)) - (SPADCALL |dev| (|getShellEntry| $ 19)) + (SPADCALL |dev| (|getShellEntry| $ 24)) + (SPADCALL |dev| (|getShellEntry| $ 25)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |SINT;OMwrite;$S;2|) (EXIT |s|))))) @@ -285,36 +285,36 @@ (SEQ (LETT |s| "" |SINT;OMwrite;$BS;3|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |SINT;OMwrite;$BS;3|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 15)) - (|getShellEntry| $ 16)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 21)) + (|getShellEntry| $ 22)) |SINT;OMwrite;$BS;3|) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 17)))) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23)))) (|SINT;writeOMSingleInt| |dev| |x| $) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 18)))) - (SPADCALL |dev| (|getShellEntry| $ 19)) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 24)))) + (SPADCALL |dev| (|getShellEntry| $ 25)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |SINT;OMwrite;$BS;3|) (EXIT |s|))))) (DEFUN |SINT;OMwrite;Omd$V;4| (|dev| |x| $) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 17)) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 23)) (|SINT;writeOMSingleInt| |dev| |x| $) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 18))))) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 24))))) (DEFUN |SINT;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| $) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 17)))) + (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 23)))) (|SINT;writeOMSingleInt| |dev| |x| $) (EXIT (COND - (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 18))))))) + (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 24))))))) (DEFUN |SINT;reducedSystem;MM;6| (|m| $) (DECLARE (IGNORE $)) |m|) (DEFUN |SINT;coerce;$Of;7| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 29))) + (SPADCALL |x| (|getShellEntry| $ 34))) (DEFUN |SINT;convert;$I;8| (|x| $) (DECLARE (IGNORE $)) |x|) (DEFUN |SINT;*;I2$;9| (|i| |y| $) - (QSTIMES (SPADCALL |i| (|getShellEntry| $ 32)) |y|)) + (QSTIMES (SPADCALL |i| (|getShellEntry| $ 36)) |y|)) (DEFUN |SINT;Zero;$;10| ($) (DECLARE (IGNORE $)) 0) @@ -377,7 +377,7 @@ (QSTIMES |x| |y|)) (DEFUN |SINT;**;$Nni$;31| (|x| |n| $) - (SPADCALL (EXPT |x| |n|) (|getShellEntry| $ 32))) + (SPADCALL (EXPT |x| |n|) (|getShellEntry| $ 36))) (DEFUN |SINT;quo;3$;32| (|x| |y| $) (DECLARE (IGNORE $)) @@ -505,7 +505,7 @@ (RETURN (PROGN (LETT |dv$| '(|SingleInteger|) . #0=(|SingleInteger|)) - (LETT $ (|newShell| 107) . #0#) + (LETT $ (|newShell| 111) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -516,20 +516,21 @@ $)))) (MAKEPROP '|SingleInteger| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL (|Integer|) '|seed| (|Void|) - (|OpenMathDevice|) (0 . |OMputApp|) (|String|) - (5 . |OMputSymbol|) (12 . |OMputInteger|) - (18 . |OMputEndApp|) (|OpenMathEncoding|) - (23 . |OMencodingXML|) (27 . |OMopenString|) - (33 . |OMputObject|) (38 . |OMputEndObject|) - (43 . |OMclose|) |SINT;OMwrite;$S;2| (|Boolean|) - |SINT;OMwrite;$BS;3| |SINT;OMwrite;Omd$V;4| - |SINT;OMwrite;Omd$BV;5| (|Matrix| 5) (|Matrix| $) - |SINT;reducedSystem;MM;6| (|OutputForm|) (48 . |coerce|) - |SINT;coerce;$Of;7| |SINT;convert;$I;8| (53 . |coerce|) - |SINT;*;I2$;9| + (LIST '#(NIL NIL NIL NIL NIL (|Integer|) '|seed| (CONS IDENTITY (FUNCALL (|dispatchFunction| |SINT;Zero;$;10|) $)) + (0 . |Zero|) (|Boolean|) |SINT;<;2$B;24| (|Void|) + (|OpenMathDevice|) (4 . |OMputApp|) (|String|) + (9 . |OMputSymbol|) |SINT;-;2$;27| |SINT;convert;$I;8| + (16 . |OMputInteger|) (22 . |OMputEndApp|) + (|OpenMathEncoding|) (27 . |OMencodingXML|) + (31 . |OMopenString|) (37 . |OMputObject|) + (42 . |OMputEndObject|) (47 . |OMclose|) + |SINT;OMwrite;$S;2| |SINT;OMwrite;$BS;3| + |SINT;OMwrite;Omd$V;4| |SINT;OMwrite;Omd$BV;5| + (|Matrix| 5) (|Matrix| $) |SINT;reducedSystem;MM;6| + (|OutputForm|) (52 . |coerce|) |SINT;coerce;$Of;7| + (57 . |coerce|) |SINT;*;3$;30| |SINT;*;I2$;9| (CONS IDENTITY (FUNCALL (|dispatchFunction| |SINT;One;$;11|) $)) |SINT;base;$;12| @@ -540,57 +541,56 @@ |SINT;=;2$B;15| |SINT;~;2$;16| |SINT;not;2$;17| |SINT;/\\;3$;18| |SINT;\\/;3$;19| |SINT;Not;2$;20| |SINT;And;3$;21| |SINT;Or;3$;22| |SINT;xor;3$;23| - |SINT;<;2$B;24| |SINT;inc;2$;25| |SINT;dec;2$;26| - |SINT;-;2$;27| |SINT;+;3$;28| |SINT;-;3$;29| - |SINT;*;3$;30| (|NonNegativeInteger|) |SINT;**;$Nni$;31| + |SINT;inc;2$;25| |SINT;dec;2$;26| |SINT;+;3$;28| + |SINT;-;3$;29| (|NonNegativeInteger|) |SINT;**;$Nni$;31| |SINT;quo;3$;32| |SINT;rem;3$;33| (|Record| (|:| |quotient| $) (|:| |remainder| $)) |SINT;divide;2$R;34| |SINT;gcd;3$;35| |SINT;abs;2$;36| - |SINT;odd?;$B;37| |SINT;zero?;$B;38| |SINT;one?;$B;39| - |SINT;max;3$;40| |SINT;min;3$;41| (|SingleInteger|) - |SINT;hash;2$;42| |SINT;length;2$;43| |SINT;shift;3$;44| - |SINT;mulmod;4$;45| |SINT;addmod;4$;46| + |SINT;odd?;$B;37| |SINT;zero?;$B;38| (62 . |One|) + |SINT;one?;$B;39| |SINT;max;3$;40| |SINT;min;3$;41| + (|SingleInteger|) |SINT;hash;2$;42| |SINT;length;2$;43| + |SINT;shift;3$;44| |SINT;mulmod;4$;45| |SINT;addmod;4$;46| |SINT;submod;4$;47| |SINT;negative?;$B;48| - |SINT;size;Nni;49| (|PositiveInteger|) |SINT;index;Pi$;50| - |SINT;lookup;$Pi;51| (|Vector| 5) - (|Record| (|:| |mat| 25) (|:| |vec| 80)) (|Vector| $) + |SINT;size;Nni;49| (|PositiveInteger|) (66 . +) (72 . -) + |SINT;index;Pi$;50| |SINT;lookup;$Pi;51| (|Vector| 5) + (|Record| (|:| |mat| 30) (|:| |vec| 84)) (|Vector| $) |SINT;reducedSystem;MVR;52| |SINT;positiveRemainder;3$;53| |SINT;coerce;I$;54| |SINT;random;$;55| |SINT;random;2$;56| (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $)) |SINT;unitNormal;$R;57| (|Fraction| 5) - (|Union| 90 '"failed") (|Union| $ '"failed") (|Float|) + (|Union| 94 '"failed") (|Union| $ '"failed") (|Float|) (|DoubleFloat|) (|Pattern| 5) (|PatternMatchResult| 5 $) (|InputForm|) (|Union| 5 '"failed") (|List| $) - (|Record| (|:| |coef| 99) (|:| |generator| $)) - (|Union| 99 '"failed") + (|Record| (|:| |coef| 103) (|:| |generator| $)) + (|Union| 103 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 103 '"failed") (|Factored| $) + (|Union| 107 '"failed") (|Factored| $) (|SparseUnivariatePolynomial| $)) - '#(~= 58 ~ 64 |zero?| 69 |xor| 74 |unitNormal| 80 - |unitCanonical| 85 |unit?| 90 |symmetricRemainder| 95 - |subtractIfCan| 101 |submod| 107 |squareFreePart| 114 - |squareFree| 119 |sizeLess?| 124 |size| 130 |sign| 134 - |shift| 139 |sample| 145 |retractIfCan| 149 |retract| 154 - |rem| 159 |reducedSystem| 165 |recip| 176 |rationalIfCan| - 181 |rational?| 186 |rational| 191 |random| 196 |quo| 205 - |principalIdeal| 211 |prime?| 216 |powmod| 221 - |positiveRemainder| 228 |positive?| 234 |permutation| 239 - |patternMatch| 245 |one?| 252 |odd?| 257 |not| 262 - |nextItem| 267 |negative?| 272 |multiEuclidean| 277 - |mulmod| 283 |min| 290 |max| 300 |mask| 310 |lookup| 315 - |length| 320 |lcm| 325 |latex| 336 |invmod| 341 |init| 347 - |index| 351 |inc| 356 |hash| 361 |gcdPolynomial| 366 |gcd| - 372 |factorial| 383 |factor| 388 |extendedEuclidean| 393 - |exquo| 406 |expressIdealMember| 412 |even?| 418 - |euclideanSize| 423 |divide| 428 |differentiate| 434 |dec| - 445 |copy| 450 |convert| 455 |coerce| 480 |characteristic| - 500 |bit?| 504 |binomial| 510 |base| 516 |associates?| 520 - |addmod| 526 |abs| 533 |\\/| 538 |Zero| 544 |Or| 548 |One| - 554 |OMwrite| 558 |Not| 582 D 587 |And| 598 >= 604 > 610 = - 616 <= 622 < 628 |/\\| 634 - 640 + 651 ** 657 * 669) + '#(~= 78 ~ 84 |zero?| 89 |xor| 94 |unitNormal| 100 + |unitCanonical| 105 |unit?| 110 |symmetricRemainder| 115 + |subtractIfCan| 121 |submod| 127 |squareFreePart| 134 + |squareFree| 139 |sizeLess?| 144 |size| 150 |sign| 154 + |shift| 159 |sample| 165 |retractIfCan| 169 |retract| 174 + |rem| 179 |reducedSystem| 185 |recip| 196 |rationalIfCan| + 201 |rational?| 206 |rational| 211 |random| 216 |quo| 225 + |principalIdeal| 231 |prime?| 236 |powmod| 241 + |positiveRemainder| 248 |positive?| 254 |permutation| 259 + |patternMatch| 265 |one?| 272 |odd?| 277 |not| 282 + |nextItem| 287 |negative?| 292 |multiEuclidean| 297 + |mulmod| 303 |min| 310 |max| 320 |mask| 330 |lookup| 335 + |length| 340 |lcm| 345 |latex| 356 |invmod| 361 |init| 367 + |index| 371 |inc| 376 |hash| 381 |gcdPolynomial| 386 |gcd| + 392 |factorial| 403 |factor| 408 |extendedEuclidean| 413 + |exquo| 426 |expressIdealMember| 432 |even?| 438 + |euclideanSize| 443 |divide| 448 |differentiate| 454 |dec| + 465 |copy| 470 |convert| 475 |coerce| 500 |characteristic| + 520 |bit?| 524 |binomial| 530 |base| 536 |associates?| 540 + |addmod| 546 |abs| 553 |\\/| 558 |Zero| 564 |Or| 568 |One| + 574 |OMwrite| 578 |Not| 602 D 607 |And| 618 >= 624 > 630 = + 636 <= 642 < 648 |/\\| 654 - 660 + 671 ** 677 * 689) '((|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0) @@ -636,56 +636,58 @@ (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|Logic|) (|RealConstant|) (|RetractableTo| 5) (|SetCategory|) - (|OpenMath|) (|ConvertibleTo| 93) - (|ConvertibleTo| 94) + (|OpenMath|) (|ConvertibleTo| 97) + (|ConvertibleTo| 98) (|CombinatorialFunctionCategory|) - (|ConvertibleTo| 95) - (|ConvertibleTo| 97) (|ConvertibleTo| 5) - (|CoercibleFrom| $$) (|CoercibleFrom| 5) - (|BasicType|) (|CoercibleTo| 28)) - (|makeByteWordVec2| 106 - '(1 8 7 0 9 3 8 7 0 10 10 11 2 8 7 0 5 - 12 1 8 7 0 13 0 14 0 15 2 8 0 10 14 - 16 1 8 7 0 17 1 8 7 0 18 1 8 7 0 19 1 - 5 28 0 29 1 0 0 5 32 2 0 21 0 0 1 1 0 - 0 0 40 1 0 21 0 64 2 0 0 0 0 47 1 0 - 88 0 89 1 0 0 0 1 1 0 21 0 1 2 0 0 0 - 0 1 2 0 92 0 0 1 3 0 0 0 0 0 74 1 0 0 - 0 1 1 0 105 0 1 2 0 21 0 0 1 0 0 55 - 76 1 0 5 0 1 2 0 0 0 0 71 0 0 0 1 1 0 - 98 0 1 1 0 5 0 1 2 0 0 0 0 58 1 0 25 - 26 27 2 0 81 26 82 83 1 0 92 0 1 1 0 - 91 0 1 1 0 21 0 1 1 0 90 0 1 1 0 0 0 - 87 0 0 0 86 2 0 0 0 0 57 1 0 100 99 1 - 1 0 21 0 1 3 0 0 0 0 0 1 2 0 0 0 0 84 - 1 0 21 0 1 2 0 0 0 0 1 3 0 96 0 95 96 - 1 1 0 21 0 65 1 0 21 0 63 1 0 0 0 41 - 1 0 92 0 1 1 0 21 0 75 2 0 101 99 0 1 - 3 0 0 0 0 0 72 0 0 0 38 2 0 0 0 0 67 - 0 0 0 37 2 0 0 0 0 66 1 0 0 0 1 1 0 - 77 0 79 1 0 0 0 70 1 0 0 99 1 2 0 0 0 - 0 1 1 0 10 0 1 2 0 0 0 0 1 0 0 0 1 1 - 0 0 77 78 1 0 0 0 49 1 0 68 0 69 2 0 - 106 106 106 1 1 0 0 99 1 2 0 0 0 0 61 - 1 0 0 0 1 1 0 105 0 1 2 0 102 0 0 1 3 - 0 104 0 0 0 1 2 0 92 0 0 1 2 0 101 99 - 0 1 1 0 21 0 1 1 0 55 0 1 2 0 59 0 0 - 60 1 0 0 0 1 2 0 0 0 55 1 1 0 0 0 50 - 1 0 0 0 1 1 0 93 0 1 1 0 94 0 1 1 0 - 95 0 1 1 0 97 0 1 1 0 5 0 31 1 0 0 5 - 85 1 0 0 0 1 1 0 0 5 85 1 0 28 0 30 0 - 0 55 1 2 0 21 0 0 1 2 0 0 0 0 1 0 0 0 - 36 2 0 21 0 0 1 3 0 0 0 0 0 73 1 0 0 - 0 62 2 0 0 0 0 43 0 0 0 34 2 0 0 0 0 - 46 0 0 0 35 2 0 7 8 0 23 3 0 7 8 0 21 - 24 2 0 10 0 21 22 1 0 10 0 20 1 0 0 0 - 44 1 0 0 0 1 2 0 0 0 55 1 2 0 0 0 0 - 45 2 0 21 0 0 1 2 0 21 0 0 1 2 0 21 0 - 0 39 2 0 21 0 0 1 2 0 21 0 0 48 2 0 0 - 0 0 42 1 0 0 0 51 2 0 0 0 0 53 2 0 0 - 0 0 52 2 0 0 0 55 56 2 0 0 0 77 1 2 0 - 0 0 0 54 2 0 0 5 0 33 2 0 0 55 0 1 2 - 0 0 77 0 1))))) + (|ConvertibleTo| 99) + (|ConvertibleTo| 101) + (|ConvertibleTo| 5) (|CoercibleFrom| $$) + (|CoercibleFrom| 5) (|BasicType|) + (|CoercibleTo| 33)) + (|makeByteWordVec2| 110 + '(0 5 0 8 1 12 11 0 13 3 12 11 0 14 14 + 15 2 12 11 0 5 18 1 12 11 0 19 0 20 0 + 21 2 12 0 14 20 22 1 12 11 0 23 1 12 + 11 0 24 1 12 11 0 25 1 5 33 0 34 1 0 + 0 5 36 0 5 0 66 2 79 0 0 0 80 2 5 0 0 + 0 81 2 0 9 0 0 1 1 0 0 0 44 1 0 9 0 + 65 2 0 0 0 0 51 1 0 92 0 93 1 0 0 0 1 + 1 0 9 0 1 2 0 0 0 0 1 2 0 96 0 0 1 3 + 0 0 0 0 0 76 1 0 0 0 1 1 0 109 0 1 2 + 0 9 0 0 1 0 0 56 78 1 0 5 0 1 2 0 0 0 + 0 73 0 0 0 1 1 0 102 0 1 1 0 5 0 1 2 + 0 0 0 0 59 1 0 30 31 32 2 0 85 31 86 + 87 1 0 96 0 1 1 0 95 0 1 1 0 9 0 1 1 + 0 94 0 1 1 0 0 0 91 0 0 0 90 2 0 0 0 + 0 58 1 0 104 103 1 1 0 9 0 1 3 0 0 0 + 0 0 1 2 0 0 0 0 88 1 0 9 0 1 2 0 0 0 + 0 1 3 0 100 0 99 100 1 1 0 9 0 67 1 0 + 9 0 64 1 0 0 0 45 1 0 96 0 1 1 0 9 0 + 77 2 0 105 103 0 1 3 0 0 0 0 0 74 0 0 + 0 42 2 0 0 0 0 69 0 0 0 41 2 0 0 0 0 + 68 1 0 0 0 1 1 0 79 0 83 1 0 0 0 72 1 + 0 0 103 1 2 0 0 0 0 1 1 0 14 0 1 2 0 + 0 0 0 1 0 0 0 1 1 0 0 79 82 1 0 0 0 + 52 1 0 70 0 71 2 0 110 110 110 1 1 0 + 0 103 1 2 0 0 0 0 62 1 0 0 0 1 1 0 + 109 0 1 2 0 106 0 0 1 3 0 108 0 0 0 1 + 2 0 96 0 0 1 2 0 105 103 0 1 1 0 9 0 + 1 1 0 56 0 1 2 0 60 0 0 61 1 0 0 0 1 + 2 0 0 0 56 1 1 0 0 0 53 1 0 0 0 1 1 0 + 97 0 1 1 0 98 0 1 1 0 99 0 1 1 0 101 + 0 1 1 0 5 0 17 1 0 0 5 89 1 0 0 0 1 1 + 0 0 5 89 1 0 33 0 35 0 0 56 1 2 0 9 0 + 0 1 2 0 0 0 0 1 0 0 0 40 2 0 9 0 0 1 + 3 0 0 0 0 0 75 1 0 0 0 63 2 0 0 0 0 + 47 0 0 0 7 2 0 0 0 0 50 0 0 0 39 2 0 + 11 12 0 28 3 0 11 12 0 9 29 2 0 14 0 + 9 27 1 0 14 0 26 1 0 0 0 48 1 0 0 0 1 + 2 0 0 0 56 1 2 0 0 0 0 49 2 0 9 0 0 1 + 2 0 9 0 0 1 2 0 9 0 0 43 2 0 9 0 0 1 + 2 0 9 0 0 10 2 0 0 0 0 46 1 0 0 0 16 + 2 0 0 0 0 55 2 0 0 0 0 54 2 0 0 0 56 + 57 2 0 0 0 79 1 2 0 0 0 0 37 2 0 0 5 + 0 38 2 0 0 56 0 1 2 0 0 79 0 1))))) '|lookupComplete|)) (MAKEPROP '|SingleInteger| 'NILADIC T) |