(complete$CycleIndicators): Argument type is now NonNegativeInteger.

(powerSum$CycleIndicators): Likewise. (elementary$CycleIndicators): Likewise. (alternating$CycleIndicators): Likewise. (cyclic$CycleIndicators): Likewise. (dihedral$CycleIndicators): Likewise. (graphs$CycleIndicators): Likewise.
author: dos-reis <gdr@axiomatics.org> 2010-04-18 13:26:47 +0000
committer: dos-reis <gdr@axiomatics.org> 2010-04-18 13:26:47 +0000
commit: dcb9693504ebe5e74a34d44f5e75b6caaf5ad34c (patch)
tree: 5b086857403c24556a88be33dca0584c1c487f0a
parent: ccbbae1ee9d0106282e2d3b3d5193c5294cba0c6 (diff)
download: open-axiom-dcb9693504ebe5e74a34d44f5e75b6caaf5ad34c.tar.gz
7 files changed, 40 insertions, 39 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 4832415f..2d0c4935 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,13 @@
 2010-04-18  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/cycles.spad.pamphlet (CycleIndicators): Clean up.
+	(complete$CycleIndicators): Argument type is now NonNegativeInteger.
+	(powerSum$CycleIndicators): Likewise.
+	(elementary$CycleIndicators): Likewise.
+	(alternating$CycleIndicators): Likewise.
+	(cyclic$CycleIndicators): Likewise.
+	(dihedral$CycleIndicators): Likewise.
+	(graphs$CycleIndicators): Likewise.
 
 2010-04-18  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
diff --git a/src/algebra/cycles.spad.pamphlet b/src/algebra/cycles.spad.pamphlet
index 4fca9d13..b8bf2e16 100644
--- a/src/algebra/cycles.spad.pamphlet
+++ b/src/algebra/cycles.spad.pamphlet
@@ -32,35 +32,36 @@ CycleIndicators: Exports == Implementation where
   PTN  ==> Partition
   RN   ==> Fraction Integer
   FR   ==> Factored Integer
+  macro NNI == NonNegativeInteger
   Exports ==> with
  
-    complete: I -> SPOL RN
+    complete: NNI -> SPOL RN
       ++\spad{complete n} is the \spad{n} th complete homogeneous
       ++ symmetric function expressed in terms of power sums.
       ++ Alternatively it is the cycle index of the symmetric
       ++ group of degree n.
  
-    powerSum: I -> SPOL RN
+    powerSum: NNI -> SPOL RN
       ++\spad{powerSum n} is the \spad{n} th power sum symmetric
       ++ function.
  
-    elementary: I -> SPOL RN
+    elementary: NNI -> SPOL RN
       ++\spad{elementary n} is the \spad{n} th elementary symmetric
       ++ function expressed in terms of power sums.
  
-    alternating: I -> SPOL RN
+    alternating: NNI -> SPOL RN
       ++\spad{alternating n} is the cycle index of the
       ++ alternating group of degree n.
  
-    cyclic: I -> SPOL RN    --cyclic group
+    cyclic: NNI -> SPOL RN    --cyclic group
       ++\spad{cyclic n} is the cycle index of the
       ++ cyclic group of degree n.
  
-    dihedral: I -> SPOL RN    --dihedral group
+    dihedral: NNI -> SPOL RN    --dihedral group
       ++\spad{dihedral n} is the cycle index of the
       ++ dihedral group of degree n.
  
-    graphs: I -> SPOL RN
+    graphs: NNI -> SPOL RN
       ++\spad{graphs n} is the cycle index of the group induced on
       ++ the edges of a graph by applying the symmetric function to the
       ++ n nodes.
@@ -102,12 +103,8 @@ CycleIndicators: Exports == Implementation where
     list st == entries complete st
  
     complete i ==
-           if i=0
-           then 1
-           else if i<0
-                then 0
-                else
-                   _+/[trm(partition pt) for pt in list(partitions i)]
+      i=0 => 1
+      +/[trm(partition pt) for pt in list(partitions i)]
  
  
     even?: L I -> B
@@ -117,12 +114,8 @@ CycleIndicators: Exports == Implementation where
       2 * _+/[trm(partition li) for li in list(partitions i) | even? li]
 
     elementary i ==
-           if i=0
-           then 1
-           else if i<0
-                then 0
-                else
-                  +/[(spol := trm(partition pt); even? pt => spol; -spol)
+       i=0 => 1
+       +/[(spol := trm(partition pt); even? pt => spol; -spol)
                           for pt in list(partitions i)]
  
     divisors: I -> L I
@@ -203,7 +196,8 @@ CycleIndicators: Exports == Implementation where
     wreath(spol1,spol2) == evspol(mtpol(#1,spol2),spol1)
  
     SFunction li==
-      a:Matrix SPOL RN:=matrix [[complete(k -j+i) for k in li for j in 1..#li]
+      a:Matrix SPOL RN :=
+        matrix [[complete((k -j+i)::NNI) for k in li for j in 1..#li]
                     for i in 1..#li]
       determinant a
  
@@ -216,7 +210,7 @@ CycleIndicators: Exports == Implementation where
       #li1 < #li2 =>
         error "skewSFunction: partition1 does not include partition2"
       li2:=roundup (li1,li2)
-      a:Matrix SPOL RN:=matrix [[complete(k-li2.i-j+i)
+      a:Matrix SPOL RN:=matrix [[complete((k-li2.i-j+i)::NNI)
                for k in li1 for j in 1..#li1]  for i in 1..#li1]
       determinant a
 
diff --git a/src/share/algebra/browse.daase b/src/share/algebra/browse.daase
index cedbae88..4fa3e44f 100644
--- a/src/share/algebra/browse.daase
+++ b/src/share/algebra/browse.daase
@@ -1,5 +1,5 @@
 
-(2268057 . 3480551177)       
+(2268134 . 3480583732)       
 (-18 A S) 
 ((|constructor| (NIL "One-dimensional-array aggregates serves as models for one-dimensional arrays. Categorically,{} these aggregates are finite linear aggregates with the \\spadatt{shallowlyMutable} property,{} that is,{} any component of the array may be changed without affecting the identity of the overall array. Array data structures are typically represented by a fixed area in storage and therefore cannot efficiently grow or shrink on demand as can list structures (see however \\spadtype{FlexibleArray} for a data structure which is a cross between a list and an array). Iteration over,{} and access to,{} elements of arrays is extremely fast (and often can be optimized to open-code). Insertion and deletion however is generally slow since an entirely new data structure must be created for the result."))) 
 NIL 
@@ -697,7 +697,7 @@ NIL
 NIL 
 NIL 
 (-192) 
-((|constructor| (NIL "Enumeration by cycle indices.")) (|skewSFunction| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|List| (|Integer|)) (|List| (|Integer|))) "\\spad{skewSFunction(li1,li2)} is the \\spad{S}-function \\indented{1}{of the partition difference \\spad{li1 - li2}} \\indented{1}{expressed in terms of power sum symmetric functions.}")) (|SFunction| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|List| (|Integer|))) "\\spad{SFunction(li)} is the \\spad{S}-function of the partition \\spad{li} \\indented{1}{expressed in terms of power sum symmetric functions.}")) (|wreath| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{wreath(s1,s2)} is the cycle index of the wreath product \\indented{1}{of the two groups whose cycle indices are \\spad{s1} and} \\indented{1}{\\spad{s2}.}")) (|eval| (((|Fraction| (|Integer|)) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{eval s} is the sum of the coefficients of a cycle index.")) (|cup| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{cup(s1,s2)},{} introduced by Redfield,{} \\indented{1}{is the scalar product of two cycle indices,{} in which the} \\indented{1}{power sums are retained to produce a cycle index.}")) (|cap| (((|Fraction| (|Integer|)) (|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{cap(s1,s2)},{} introduced by Redfield,{} \\indented{1}{is the scalar product of two cycle indices.}")) (|graphs| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|Integer|)) "\\spad{graphs n} is the cycle index of the group induced on \\indented{1}{the edges of a graph by applying the symmetric function to the} \\indented{1}{\\spad{n} nodes.}")) (|dihedral| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|Integer|)) "\\spad{dihedral n} is the cycle index of the \\indented{1}{dihedral group of degree \\spad{n}.}")) (|cyclic| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|Integer|)) "\\spad{cyclic n} is the cycle index of the \\indented{1}{cyclic group of degree \\spad{n}.}")) (|alternating| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|Integer|)) "\\spad{alternating n} is the cycle index of the \\indented{1}{alternating group of degree \\spad{n}.}")) (|elementary| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|Integer|)) "\\spad{elementary n} is the \\spad{n} th elementary symmetric \\indented{1}{function expressed in terms of power sums.}")) (|powerSum| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|Integer|)) "\\spad{powerSum n} is the \\spad{n} th power sum symmetric \\indented{1}{function.}")) (|complete| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|Integer|)) "\\spad{complete n} is the \\spad{n} th complete homogeneous \\indented{1}{symmetric function expressed in terms of power sums.} \\indented{1}{Alternatively it is the cycle index of the symmetric} \\indented{1}{group of degree \\spad{n}.}"))) 
+((|constructor| (NIL "Enumeration by cycle indices.")) (|skewSFunction| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|List| (|Integer|)) (|List| (|Integer|))) "\\spad{skewSFunction(li1,li2)} is the \\spad{S}-function \\indented{1}{of the partition difference \\spad{li1 - li2}} \\indented{1}{expressed in terms of power sum symmetric functions.}")) (|SFunction| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|List| (|Integer|))) "\\spad{SFunction(li)} is the \\spad{S}-function of the partition \\spad{li} \\indented{1}{expressed in terms of power sum symmetric functions.}")) (|wreath| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{wreath(s1,s2)} is the cycle index of the wreath product \\indented{1}{of the two groups whose cycle indices are \\spad{s1} and} \\indented{1}{\\spad{s2}.}")) (|eval| (((|Fraction| (|Integer|)) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{eval s} is the sum of the coefficients of a cycle index.")) (|cup| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{cup(s1,s2)},{} introduced by Redfield,{} \\indented{1}{is the scalar product of two cycle indices,{} in which the} \\indented{1}{power sums are retained to produce a cycle index.}")) (|cap| (((|Fraction| (|Integer|)) (|SymmetricPolynomial| (|Fraction| (|Integer|))) (|SymmetricPolynomial| (|Fraction| (|Integer|)))) "\\spad{cap(s1,s2)},{} introduced by Redfield,{} \\indented{1}{is the scalar product of two cycle indices.}")) (|graphs| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|NonNegativeInteger|)) "\\spad{graphs n} is the cycle index of the group induced on \\indented{1}{the edges of a graph by applying the symmetric function to the} \\indented{1}{\\spad{n} nodes.}")) (|dihedral| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|NonNegativeInteger|)) "\\spad{dihedral n} is the cycle index of the \\indented{1}{dihedral group of degree \\spad{n}.}")) (|cyclic| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|NonNegativeInteger|)) "\\spad{cyclic n} is the cycle index of the \\indented{1}{cyclic group of degree \\spad{n}.}")) (|alternating| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|NonNegativeInteger|)) "\\spad{alternating n} is the cycle index of the \\indented{1}{alternating group of degree \\spad{n}.}")) (|elementary| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|NonNegativeInteger|)) "\\spad{elementary n} is the \\spad{n} th elementary symmetric \\indented{1}{function expressed in terms of power sums.}")) (|powerSum| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|NonNegativeInteger|)) "\\spad{powerSum n} is the \\spad{n} th power sum symmetric \\indented{1}{function.}")) (|complete| (((|SymmetricPolynomial| (|Fraction| (|Integer|))) (|NonNegativeInteger|)) "\\spad{complete n} is the \\spad{n} th complete homogeneous \\indented{1}{symmetric function expressed in terms of power sums.} \\indented{1}{Alternatively it is the cycle index of the symmetric} \\indented{1}{group of degree \\spad{n}.}"))) 
 NIL 
 NIL 
 (-193) 
@@ -5168,4 +5168,4 @@ NIL
 NIL 
 NIL 
 NIL 
-((-3 NIL 2268037 2268042 2268047 2268052) (-2 NIL 2268017 2268022 2268027 2268032) (-1 NIL 2267997 2268002 2268007 2268012) (0 NIL 2267977 2267982 2267987 2267992) (-1305 "ZMOD.spad" 2267786 2267799 2267915 2267972) (-1304 "ZLINDEP.spad" 2266852 2266863 2267776 2267781) (-1303 "ZDSOLVE.spad" 2256797 2256819 2266842 2266847) (-1302 "YSTREAM.spad" 2256292 2256303 2256787 2256792) (-1301 "XRPOLY.spad" 2255512 2255532 2256148 2256217) (-1300 "XPR.spad" 2253307 2253320 2255230 2255329) (-1299 "XPOLY.spad" 2252862 2252873 2253163 2253232) (-1298 "XPOLYC.spad" 2252181 2252197 2252788 2252857) (-1297 "XPBWPOLY.spad" 2250618 2250638 2251961 2252030) (-1296 "XF.spad" 2249081 2249096 2250520 2250613) (-1295 "XF.spad" 2247524 2247541 2248965 2248970) (-1294 "XFALG.spad" 2244572 2244588 2247450 2247519) (-1293 "XEXPPKG.spad" 2243823 2243849 2244562 2244567) (-1292 "XDPOLY.spad" 2243437 2243453 2243679 2243748) (-1291 "XALG.spad" 2243097 2243108 2243393 2243432) (-1290 "WUTSET.spad" 2238936 2238953 2242743 2242770) (-1289 "WP.spad" 2238135 2238179 2238794 2238861) (-1288 "WHILEAST.spad" 2237933 2237942 2238125 2238130) (-1287 "WHEREAST.spad" 2237604 2237613 2237923 2237928) (-1286 "WFFINTBS.spad" 2235267 2235289 2237594 2237599) (-1285 "WEIER.spad" 2233489 2233500 2235257 2235262) (-1284 "VSPACE.spad" 2233162 2233173 2233457 2233484) (-1283 "VSPACE.spad" 2232855 2232868 2233152 2233157) (-1282 "VOID.spad" 2232532 2232541 2232845 2232850) (-1281 "VIEW.spad" 2230212 2230221 2232522 2232527) (-1280 "VIEWDEF.spad" 2225413 2225422 2230202 2230207) (-1279 "VIEW3D.spad" 2209374 2209383 2225403 2225408) (-1278 "VIEW2D.spad" 2197265 2197274 2209364 2209369) (-1277 "VECTOR.spad" 2195939 2195950 2196190 2196217) (-1276 "VECTOR2.spad" 2194578 2194591 2195929 2195934) (-1275 "VECTCAT.spad" 2192482 2192493 2194546 2194573) (-1274 "VECTCAT.spad" 2190193 2190206 2192259 2192264) (-1273 "VARIABLE.spad" 2189973 2189988 2190183 2190188) (-1272 "UTYPE.spad" 2189617 2189626 2189963 2189968) (-1271 "UTSODETL.spad" 2188912 2188936 2189573 2189578) (-1270 "UTSODE.spad" 2187128 2187148 2188902 2188907) (-1269 "UTS.spad" 2181932 2181960 2185595 2185692) (-1268 "UTSCAT.spad" 2179411 2179427 2181830 2181927) (-1267 "UTSCAT.spad" 2176534 2176552 2178955 2178960) (-1266 "UTS2.spad" 2176129 2176164 2176524 2176529) (-1265 "URAGG.spad" 2170802 2170813 2176119 2176124) (-1264 "URAGG.spad" 2165439 2165452 2170758 2170763) (-1263 "UPXSSING.spad" 2163084 2163110 2164520 2164653) (-1262 "UPXS.spad" 2160238 2160266 2161216 2161365) (-1261 "UPXSCONS.spad" 2157997 2158017 2158370 2158519) (-1260 "UPXSCCA.spad" 2156568 2156588 2157843 2157992) (-1259 "UPXSCCA.spad" 2155281 2155303 2156558 2156563) (-1258 "UPXSCAT.spad" 2153870 2153886 2155127 2155276) (-1257 "UPXS2.spad" 2153413 2153466 2153860 2153865) (-1256 "UPSQFREE.spad" 2151827 2151841 2153403 2153408) (-1255 "UPSCAT.spad" 2149438 2149462 2151725 2151822) (-1254 "UPSCAT.spad" 2146755 2146781 2149044 2149049) (-1253 "UPOLYC.spad" 2141795 2141806 2146597 2146750) (-1252 "UPOLYC.spad" 2136727 2136740 2141531 2141536) (-1251 "UPOLYC2.spad" 2136198 2136217 2136717 2136722) (-1250 "UP.spad" 2133397 2133412 2133784 2133937) (-1249 "UPMP.spad" 2132297 2132310 2133387 2133392) (-1248 "UPDIVP.spad" 2131862 2131876 2132287 2132292) (-1247 "UPDECOMP.spad" 2130107 2130121 2131852 2131857) (-1246 "UPCDEN.spad" 2129316 2129332 2130097 2130102) (-1245 "UP2.spad" 2128680 2128701 2129306 2129311) (-1244 "UNISEG.spad" 2128033 2128044 2128599 2128604) (-1243 "UNISEG2.spad" 2127530 2127543 2127989 2127994) (-1242 "UNIFACT.spad" 2126633 2126645 2127520 2127525) (-1241 "ULS.spad" 2117191 2117219 2118278 2118707) (-1240 "ULSCONS.spad" 2109587 2109607 2109957 2110106) (-1239 "ULSCCAT.spad" 2107324 2107344 2109433 2109582) (-1238 "ULSCCAT.spad" 2105169 2105191 2107280 2107285) (-1237 "ULSCAT.spad" 2103401 2103417 2105015 2105164) (-1236 "ULS2.spad" 2102915 2102968 2103391 2103396) (-1235 "UINT8.spad" 2102792 2102801 2102905 2102910) (-1234 "UINT64.spad" 2102668 2102677 2102782 2102787) (-1233 "UINT32.spad" 2102544 2102553 2102658 2102663) (-1232 "UINT16.spad" 2102420 2102429 2102534 2102539) (-1231 "UFD.spad" 2101485 2101494 2102346 2102415) (-1230 "UFD.spad" 2100612 2100623 2101475 2101480) (-1229 "UDVO.spad" 2099493 2099502 2100602 2100607) (-1228 "UDPO.spad" 2096986 2096997 2099449 2099454) (-1227 "TYPE.spad" 2096918 2096927 2096976 2096981) (-1226 "TYPEAST.spad" 2096837 2096846 2096908 2096913) (-1225 "TWOFACT.spad" 2095489 2095504 2096827 2096832) (-1224 "TUPLE.spad" 2094975 2094986 2095388 2095393) (-1223 "TUBETOOL.spad" 2091842 2091851 2094965 2094970) (-1222 "TUBE.spad" 2090489 2090506 2091832 2091837) (-1221 "TS.spad" 2089088 2089104 2090054 2090151) (-1220 "TSETCAT.spad" 2076215 2076232 2089056 2089083) (-1219 "TSETCAT.spad" 2063328 2063347 2076171 2076176) (-1218 "TRMANIP.spad" 2057694 2057711 2063034 2063039) (-1217 "TRIMAT.spad" 2056657 2056682 2057684 2057689) (-1216 "TRIGMNIP.spad" 2055184 2055201 2056647 2056652) (-1215 "TRIGCAT.spad" 2054696 2054705 2055174 2055179) (-1214 "TRIGCAT.spad" 2054206 2054217 2054686 2054691) (-1213 "TREE.spad" 2052781 2052792 2053813 2053840) (-1212 "TRANFUN.spad" 2052620 2052629 2052771 2052776) (-1211 "TRANFUN.spad" 2052457 2052468 2052610 2052615) (-1210 "TOPSP.spad" 2052131 2052140 2052447 2052452) (-1209 "TOOLSIGN.spad" 2051794 2051805 2052121 2052126) (-1208 "TEXTFILE.spad" 2050355 2050364 2051784 2051789) (-1207 "TEX.spad" 2047501 2047510 2050345 2050350) (-1206 "TEX1.spad" 2047057 2047068 2047491 2047496) (-1205 "TEMUTL.spad" 2046612 2046621 2047047 2047052) (-1204 "TBCMPPK.spad" 2044705 2044728 2046602 2046607) (-1203 "TBAGG.spad" 2043755 2043778 2044685 2044700) (-1202 "TBAGG.spad" 2042813 2042838 2043745 2043750) (-1201 "TANEXP.spad" 2042221 2042232 2042803 2042808) (-1200 "TALGOP.spad" 2041945 2041956 2042211 2042216) (-1199 "TABLE.spad" 2040356 2040379 2040626 2040653) (-1198 "TABLEAU.spad" 2039837 2039848 2040346 2040351) (-1197 "TABLBUMP.spad" 2036640 2036651 2039827 2039832) (-1196 "SYSTEM.spad" 2035868 2035877 2036630 2036635) (-1195 "SYSSOLP.spad" 2033351 2033362 2035858 2035863) (-1194 "SYSPTR.spad" 2033250 2033259 2033341 2033346) (-1193 "SYSNNI.spad" 2032432 2032443 2033240 2033245) (-1192 "SYSINT.spad" 2031836 2031847 2032422 2032427) (-1191 "SYNTAX.spad" 2028042 2028051 2031826 2031831) (-1190 "SYMTAB.spad" 2026110 2026119 2028032 2028037) (-1189 "SYMS.spad" 2022133 2022142 2026100 2026105) (-1188 "SYMPOLY.spad" 2021140 2021151 2021222 2021349) (-1187 "SYMFUNC.spad" 2020641 2020652 2021130 2021135) (-1186 "SYMBOL.spad" 2018144 2018153 2020631 2020636) (-1185 "SWITCH.spad" 2014915 2014924 2018134 2018139) (-1184 "SUTS.spad" 2011820 2011848 2013382 2013479) (-1183 "SUPXS.spad" 2008961 2008989 2009952 2010101) (-1182 "SUP.spad" 2005774 2005785 2006547 2006700) (-1181 "SUPFRACF.spad" 2004879 2004897 2005764 2005769) (-1180 "SUP2.spad" 2004271 2004284 2004869 2004874) (-1179 "SUMRF.spad" 2003245 2003256 2004261 2004266) (-1178 "SUMFS.spad" 2002882 2002899 2003235 2003240) (-1177 "SULS.spad" 1993427 1993455 1994527 1994956) (-1176 "SUCHTAST.spad" 1993196 1993205 1993417 1993422) (-1175 "SUCH.spad" 1992878 1992893 1993186 1993191) (-1174 "SUBSPACE.spad" 1984993 1985008 1992868 1992873) (-1173 "SUBRESP.spad" 1984163 1984177 1984949 1984954) (-1172 "STTF.spad" 1980262 1980278 1984153 1984158) (-1171 "STTFNC.spad" 1976730 1976746 1980252 1980257) (-1170 "STTAYLOR.spad" 1969365 1969376 1976611 1976616) (-1169 "STRTBL.spad" 1967870 1967887 1968019 1968046) (-1168 "STRING.spad" 1967279 1967288 1967293 1967320) (-1167 "STRICAT.spad" 1967067 1967076 1967247 1967274) (-1166 "STREAM.spad" 1963985 1963996 1966592 1966607) (-1165 "STREAM3.spad" 1963558 1963573 1963975 1963980) (-1164 "STREAM2.spad" 1962686 1962699 1963548 1963553) (-1163 "STREAM1.spad" 1962392 1962403 1962676 1962681) (-1162 "STINPROD.spad" 1961328 1961344 1962382 1962387) (-1161 "STEP.spad" 1960529 1960538 1961318 1961323) (-1160 "STEPAST.spad" 1959763 1959772 1960519 1960524) (-1159 "STBL.spad" 1958289 1958317 1958456 1958471) (-1158 "STAGG.spad" 1957364 1957375 1958279 1958284) (-1157 "STAGG.spad" 1956437 1956450 1957354 1957359) (-1156 "STACK.spad" 1955794 1955805 1956044 1956071) (-1155 "SREGSET.spad" 1953498 1953515 1955440 1955467) (-1154 "SRDCMPK.spad" 1952059 1952079 1953488 1953493) (-1153 "SRAGG.spad" 1947202 1947211 1952027 1952054) (-1152 "SRAGG.spad" 1942365 1942376 1947192 1947197) (-1151 "SQMATRIX.spad" 1939981 1939999 1940897 1940984) (-1150 "SPLTREE.spad" 1934533 1934546 1939417 1939444) (-1149 "SPLNODE.spad" 1931121 1931134 1934523 1934528) (-1148 "SPFCAT.spad" 1929930 1929939 1931111 1931116) (-1147 "SPECOUT.spad" 1928482 1928491 1929920 1929925) (-1146 "SPADXPT.spad" 1920077 1920086 1928472 1928477) (-1145 "spad-parser.spad" 1919542 1919551 1920067 1920072) (-1144 "SPADAST.spad" 1919243 1919252 1919532 1919537) (-1143 "SPACEC.spad" 1903442 1903453 1919233 1919238) (-1142 "SPACE3.spad" 1903218 1903229 1903432 1903437) (-1141 "SORTPAK.spad" 1902767 1902780 1903174 1903179) (-1140 "SOLVETRA.spad" 1900530 1900541 1902757 1902762) (-1139 "SOLVESER.spad" 1899058 1899069 1900520 1900525) (-1138 "SOLVERAD.spad" 1895084 1895095 1899048 1899053) (-1137 "SOLVEFOR.spad" 1893546 1893564 1895074 1895079) (-1136 "SNTSCAT.spad" 1893146 1893163 1893514 1893541) (-1135 "SMTS.spad" 1891418 1891444 1892711 1892808) (-1134 "SMP.spad" 1888893 1888913 1889283 1889410) (-1133 "SMITH.spad" 1887738 1887763 1888883 1888888) (-1132 "SMATCAT.spad" 1885848 1885878 1887682 1887733) (-1131 "SMATCAT.spad" 1883890 1883922 1885726 1885731) (-1130 "SKAGG.spad" 1882853 1882864 1883858 1883885) (-1129 "SINT.spad" 1881793 1881802 1882719 1882848) (-1128 "SIMPAN.spad" 1881521 1881530 1881783 1881788) (-1127 "SIG.spad" 1880851 1880860 1881511 1881516) (-1126 "SIGNRF.spad" 1879969 1879980 1880841 1880846) (-1125 "SIGNEF.spad" 1879248 1879265 1879959 1879964) (-1124 "SIGAST.spad" 1878633 1878642 1879238 1879243) (-1123 "SHP.spad" 1876561 1876576 1878589 1878594) (-1122 "SHDP.spad" 1866272 1866299 1866781 1866912) (-1121 "SGROUP.spad" 1865880 1865889 1866262 1866267) (-1120 "SGROUP.spad" 1865486 1865497 1865870 1865875) (-1119 "SGCF.spad" 1858649 1858658 1865476 1865481) (-1118 "SFRTCAT.spad" 1857579 1857596 1858617 1858644) (-1117 "SFRGCD.spad" 1856642 1856662 1857569 1857574) (-1116 "SFQCMPK.spad" 1851279 1851299 1856632 1856637) (-1115 "SFORT.spad" 1850718 1850732 1851269 1851274) (-1114 "SEXOF.spad" 1850561 1850601 1850708 1850713) (-1113 "SEX.spad" 1850453 1850462 1850551 1850556) (-1112 "SEXCAT.spad" 1848054 1848094 1850443 1850448) (-1111 "SET.spad" 1846378 1846389 1847475 1847514) (-1110 "SETMN.spad" 1844828 1844845 1846368 1846373) (-1109 "SETCAT.spad" 1844150 1844159 1844818 1844823) (-1108 "SETCAT.spad" 1843470 1843481 1844140 1844145) (-1107 "SETAGG.spad" 1840019 1840030 1843450 1843465) (-1106 "SETAGG.spad" 1836576 1836589 1840009 1840014) (-1105 "SEQAST.spad" 1836279 1836288 1836566 1836571) (-1104 "SEGXCAT.spad" 1835435 1835448 1836269 1836274) (-1103 "SEG.spad" 1835248 1835259 1835354 1835359) (-1102 "SEGCAT.spad" 1834173 1834184 1835238 1835243) (-1101 "SEGBIND.spad" 1833931 1833942 1834120 1834125) (-1100 "SEGBIND2.spad" 1833629 1833642 1833921 1833926) (-1099 "SEGAST.spad" 1833343 1833352 1833619 1833624) (-1098 "SEG2.spad" 1832778 1832791 1833299 1833304) (-1097 "SDVAR.spad" 1832054 1832065 1832768 1832773) (-1096 "SDPOL.spad" 1829480 1829491 1829771 1829898) (-1095 "SCPKG.spad" 1827569 1827580 1829470 1829475) (-1094 "SCOPE.spad" 1826722 1826731 1827559 1827564) (-1093 "SCACHE.spad" 1825418 1825429 1826712 1826717) (-1092 "SASTCAT.spad" 1825327 1825336 1825408 1825413) (-1091 "SAOS.spad" 1825199 1825208 1825317 1825322) (-1090 "SAERFFC.spad" 1824912 1824932 1825189 1825194) (-1089 "SAE.spad" 1823087 1823103 1823698 1823833) (-1088 "SAEFACT.spad" 1822788 1822808 1823077 1823082) (-1087 "RURPK.spad" 1820447 1820463 1822778 1822783) (-1086 "RULESET.spad" 1819900 1819924 1820437 1820442) (-1085 "RULE.spad" 1818140 1818164 1819890 1819895) (-1084 "RULECOLD.spad" 1817992 1818005 1818130 1818135) (-1083 "RTVALUE.spad" 1817727 1817736 1817982 1817987) (-1082 "RSTRCAST.spad" 1817444 1817453 1817717 1817722) (-1081 "RSETGCD.spad" 1813822 1813842 1817434 1817439) (-1080 "RSETCAT.spad" 1803758 1803775 1813790 1813817) (-1079 "RSETCAT.spad" 1793714 1793733 1803748 1803753) (-1078 "RSDCMPK.spad" 1792166 1792186 1793704 1793709) (-1077 "RRCC.spad" 1790550 1790580 1792156 1792161) (-1076 "RRCC.spad" 1788932 1788964 1790540 1790545) (-1075 "RPTAST.spad" 1788634 1788643 1788922 1788927) (-1074 "RPOLCAT.spad" 1767994 1768009 1788502 1788629) (-1073 "RPOLCAT.spad" 1747067 1747084 1767577 1767582) (-1072 "ROUTINE.spad" 1742950 1742959 1745714 1745741) (-1071 "ROMAN.spad" 1742278 1742287 1742816 1742945) (-1070 "ROIRC.spad" 1741358 1741390 1742268 1742273) (-1069 "RNS.spad" 1740261 1740270 1741260 1741353) (-1068 "RNS.spad" 1739250 1739261 1740251 1740256) (-1067 "RNG.spad" 1738985 1738994 1739240 1739245) (-1066 "RNGBIND.spad" 1738145 1738159 1738940 1738945) (-1065 "RMODULE.spad" 1737910 1737921 1738135 1738140) (-1064 "RMCAT2.spad" 1737330 1737387 1737900 1737905) (-1063 "RMATRIX.spad" 1736154 1736173 1736497 1736536) (-1062 "RMATCAT.spad" 1731733 1731764 1736110 1736149) (-1061 "RMATCAT.spad" 1727202 1727235 1731581 1731586) (-1060 "RLINSET.spad" 1726596 1726607 1727192 1727197) (-1059 "RINTERP.spad" 1726484 1726504 1726586 1726591) (-1058 "RING.spad" 1725954 1725963 1726464 1726479) (-1057 "RING.spad" 1725432 1725443 1725944 1725949) (-1056 "RIDIST.spad" 1724824 1724833 1725422 1725427) (-1055 "RGCHAIN.spad" 1723407 1723423 1724309 1724336) (-1054 "RGBCSPC.spad" 1723188 1723200 1723397 1723402) (-1053 "RGBCMDL.spad" 1722718 1722730 1723178 1723183) (-1052 "RF.spad" 1720360 1720371 1722708 1722713) (-1051 "RFFACTOR.spad" 1719822 1719833 1720350 1720355) (-1050 "RFFACT.spad" 1719557 1719569 1719812 1719817) (-1049 "RFDIST.spad" 1718553 1718562 1719547 1719552) (-1048 "RETSOL.spad" 1717972 1717985 1718543 1718548) (-1047 "RETRACT.spad" 1717400 1717411 1717962 1717967) (-1046 "RETRACT.spad" 1716826 1716839 1717390 1717395) (-1045 "RETAST.spad" 1716638 1716647 1716816 1716821) (-1044 "RESULT.spad" 1714698 1714707 1715285 1715312) (-1043 "RESRING.spad" 1714045 1714092 1714636 1714693) (-1042 "RESLATC.spad" 1713369 1713380 1714035 1714040) (-1041 "REPSQ.spad" 1713100 1713111 1713359 1713364) (-1040 "REP.spad" 1710654 1710663 1713090 1713095) (-1039 "REPDB.spad" 1710361 1710372 1710644 1710649) (-1038 "REP2.spad" 1700019 1700030 1710203 1710208) (-1037 "REP1.spad" 1694215 1694226 1699969 1699974) (-1036 "REGSET.spad" 1692012 1692029 1693861 1693888) (-1035 "REF.spad" 1691347 1691358 1691967 1691972) (-1034 "REDORDER.spad" 1690553 1690570 1691337 1691342) (-1033 "RECLOS.spad" 1689336 1689356 1690040 1690133) (-1032 "REALSOLV.spad" 1688476 1688485 1689326 1689331) (-1031 "REAL.spad" 1688348 1688357 1688466 1688471) (-1030 "REAL0Q.spad" 1685646 1685661 1688338 1688343) (-1029 "REAL0.spad" 1682490 1682505 1685636 1685641) (-1028 "RDUCEAST.spad" 1682211 1682220 1682480 1682485) (-1027 "RDIV.spad" 1681866 1681891 1682201 1682206) (-1026 "RDIST.spad" 1681433 1681444 1681856 1681861) (-1025 "RDETRS.spad" 1680297 1680315 1681423 1681428) (-1024 "RDETR.spad" 1678436 1678454 1680287 1680292) (-1023 "RDEEFS.spad" 1677535 1677552 1678426 1678431) (-1022 "RDEEF.spad" 1676545 1676562 1677525 1677530) (-1021 "RCFIELD.spad" 1673731 1673740 1676447 1676540) (-1020 "RCFIELD.spad" 1671003 1671014 1673721 1673726) (-1019 "RCAGG.spad" 1668931 1668942 1670993 1670998) (-1018 "RCAGG.spad" 1666786 1666799 1668850 1668855) (-1017 "RATRET.spad" 1666146 1666157 1666776 1666781) (-1016 "RATFACT.spad" 1665838 1665850 1666136 1666141) (-1015 "RANDSRC.spad" 1665157 1665166 1665828 1665833) (-1014 "RADUTIL.spad" 1664913 1664922 1665147 1665152) (-1013 "RADIX.spad" 1661834 1661848 1663380 1663473) (-1012 "RADFF.spad" 1660247 1660284 1660366 1660522) (-1011 "RADCAT.spad" 1659842 1659851 1660237 1660242) (-1010 "RADCAT.spad" 1659435 1659446 1659832 1659837) (-1009 "QUEUE.spad" 1658783 1658794 1659042 1659069) (-1008 "QUAT.spad" 1657364 1657375 1657707 1657772) (-1007 "QUATCT2.spad" 1656984 1657003 1657354 1657359) (-1006 "QUATCAT.spad" 1655154 1655165 1656914 1656979) (-1005 "QUATCAT.spad" 1653075 1653088 1654837 1654842) (-1004 "QUAGG.spad" 1651902 1651913 1653043 1653070) (-1003 "QQUTAST.spad" 1651670 1651679 1651892 1651897) (-1002 "QFORM.spad" 1651134 1651149 1651660 1651665) (-1001 "QFCAT.spad" 1649836 1649847 1651036 1651129) (-1000 "QFCAT.spad" 1648129 1648142 1649331 1649336) (-999 "QFCAT2.spad" 1647822 1647838 1648119 1648124) (-998 "QEQUAT.spad" 1647381 1647389 1647812 1647817) (-997 "QCMPACK.spad" 1642128 1642147 1647371 1647376) (-996 "QALGSET.spad" 1638207 1638239 1642042 1642047) (-995 "QALGSET2.spad" 1636203 1636221 1638197 1638202) (-994 "PWFFINTB.spad" 1633619 1633640 1636193 1636198) (-993 "PUSHVAR.spad" 1632958 1632977 1633609 1633614) (-992 "PTRANFN.spad" 1629086 1629096 1632948 1632953) (-991 "PTPACK.spad" 1626174 1626184 1629076 1629081) (-990 "PTFUNC2.spad" 1625997 1626011 1626164 1626169) (-989 "PTCAT.spad" 1625252 1625262 1625965 1625992) (-988 "PSQFR.spad" 1624559 1624583 1625242 1625247) (-987 "PSEUDLIN.spad" 1623445 1623455 1624549 1624554) (-986 "PSETPK.spad" 1608878 1608894 1623323 1623328) (-985 "PSETCAT.spad" 1602798 1602821 1608858 1608873) (-984 "PSETCAT.spad" 1596692 1596717 1602754 1602759) (-983 "PSCURVE.spad" 1595675 1595683 1596682 1596687) (-982 "PSCAT.spad" 1594458 1594487 1595573 1595670) (-981 "PSCAT.spad" 1593331 1593362 1594448 1594453) (-980 "PRTITION.spad" 1592440 1592448 1593321 1593326) (-979 "PRTDAST.spad" 1592159 1592167 1592430 1592435) (-978 "PRS.spad" 1581721 1581738 1592115 1592120) (-977 "PRQAGG.spad" 1581156 1581166 1581689 1581716) (-976 "PROPLOG.spad" 1580728 1580736 1581146 1581151) (-975 "PROPFUN2.spad" 1580351 1580364 1580718 1580723) (-974 "PROPFUN1.spad" 1579749 1579760 1580341 1580346) (-973 "PROPFRML.spad" 1578317 1578328 1579739 1579744) (-972 "PROPERTY.spad" 1577805 1577813 1578307 1578312) (-971 "PRODUCT.spad" 1575487 1575499 1575771 1575826) (-970 "PR.spad" 1573879 1573891 1574578 1574705) (-969 "PRINT.spad" 1573631 1573639 1573869 1573874) (-968 "PRIMES.spad" 1571884 1571894 1573621 1573626) (-967 "PRIMELT.spad" 1569965 1569979 1571874 1571879) (-966 "PRIMCAT.spad" 1569592 1569600 1569955 1569960) (-965 "PRIMARR.spad" 1568597 1568607 1568775 1568802) (-964 "PRIMARR2.spad" 1567364 1567376 1568587 1568592) (-963 "PREASSOC.spad" 1566746 1566758 1567354 1567359) (-962 "PPCURVE.spad" 1565883 1565891 1566736 1566741) (-961 "PORTNUM.spad" 1565658 1565666 1565873 1565878) (-960 "POLYROOT.spad" 1564507 1564529 1565614 1565619) (-959 "POLY.spad" 1561842 1561852 1562357 1562484) (-958 "POLYLIFT.spad" 1561107 1561130 1561832 1561837) (-957 "POLYCATQ.spad" 1559225 1559247 1561097 1561102) (-956 "POLYCAT.spad" 1552695 1552716 1559093 1559220) (-955 "POLYCAT.spad" 1545503 1545526 1551903 1551908) (-954 "POLY2UP.spad" 1544955 1544969 1545493 1545498) (-953 "POLY2.spad" 1544552 1544564 1544945 1544950) (-952 "POLUTIL.spad" 1543493 1543522 1544508 1544513) (-951 "POLTOPOL.spad" 1542241 1542256 1543483 1543488) (-950 "POINT.spad" 1541079 1541089 1541166 1541193) (-949 "PNTHEORY.spad" 1537781 1537789 1541069 1541074) (-948 "PMTOOLS.spad" 1536556 1536570 1537771 1537776) (-947 "PMSYM.spad" 1536105 1536115 1536546 1536551) (-946 "PMQFCAT.spad" 1535696 1535710 1536095 1536100) (-945 "PMPRED.spad" 1535175 1535189 1535686 1535691) (-944 "PMPREDFS.spad" 1534629 1534651 1535165 1535170) (-943 "PMPLCAT.spad" 1533709 1533727 1534561 1534566) (-942 "PMLSAGG.spad" 1533294 1533308 1533699 1533704) (-941 "PMKERNEL.spad" 1532873 1532885 1533284 1533289) (-940 "PMINS.spad" 1532453 1532463 1532863 1532868) (-939 "PMFS.spad" 1532030 1532048 1532443 1532448) (-938 "PMDOWN.spad" 1531320 1531334 1532020 1532025) (-937 "PMASS.spad" 1530330 1530338 1531310 1531315) (-936 "PMASSFS.spad" 1529297 1529313 1530320 1530325) (-935 "PLOTTOOL.spad" 1529077 1529085 1529287 1529292) (-934 "PLOT.spad" 1524000 1524008 1529067 1529072) (-933 "PLOT3D.spad" 1520464 1520472 1523990 1523995) (-932 "PLOT1.spad" 1519621 1519631 1520454 1520459) (-931 "PLEQN.spad" 1506911 1506938 1519611 1519616) (-930 "PINTERP.spad" 1506533 1506552 1506901 1506906) (-929 "PINTERPA.spad" 1506317 1506333 1506523 1506528) (-928 "PI.spad" 1505926 1505934 1506291 1506312) (-927 "PID.spad" 1504896 1504904 1505852 1505921) (-926 "PICOERCE.spad" 1504553 1504563 1504886 1504891) (-925 "PGROEB.spad" 1503154 1503168 1504543 1504548) (-924 "PGE.spad" 1494771 1494779 1503144 1503149) (-923 "PGCD.spad" 1493661 1493678 1494761 1494766) (-922 "PFRPAC.spad" 1492810 1492820 1493651 1493656) (-921 "PFR.spad" 1489473 1489483 1492712 1492805) (-920 "PFOTOOLS.spad" 1488731 1488747 1489463 1489468) (-919 "PFOQ.spad" 1488101 1488119 1488721 1488726) (-918 "PFO.spad" 1487520 1487547 1488091 1488096) (-917 "PF.spad" 1487094 1487106 1487325 1487418) (-916 "PFECAT.spad" 1484776 1484784 1487020 1487089) (-915 "PFECAT.spad" 1482486 1482496 1484732 1484737) (-914 "PFBRU.spad" 1480374 1480386 1482476 1482481) (-913 "PFBR.spad" 1477934 1477957 1480364 1480369) (-912 "PERM.spad" 1473619 1473629 1477764 1477779) (-911 "PERMGRP.spad" 1468381 1468391 1473609 1473614) (-910 "PERMCAT.spad" 1466939 1466949 1468361 1468376) (-909 "PERMAN.spad" 1465471 1465485 1466929 1466934) (-908 "PENDTREE.spad" 1464812 1464822 1465100 1465105) (-907 "PDRING.spad" 1463363 1463373 1464792 1464807) (-906 "PDRING.spad" 1461922 1461934 1463353 1463358) (-905 "PDEPROB.spad" 1460937 1460945 1461912 1461917) (-904 "PDEPACK.spad" 1454977 1454985 1460927 1460932) (-903 "PDECOMP.spad" 1454447 1454464 1454967 1454972) (-902 "PDECAT.spad" 1452803 1452811 1454437 1454442) (-901 "PCOMP.spad" 1452656 1452669 1452793 1452798) (-900 "PBWLB.spad" 1451244 1451261 1452646 1452651) (-899 "PATTERN.spad" 1445783 1445793 1451234 1451239) (-898 "PATTERN2.spad" 1445521 1445533 1445773 1445778) (-897 "PATTERN1.spad" 1443857 1443873 1445511 1445516) (-896 "PATRES.spad" 1441432 1441444 1443847 1443852) (-895 "PATRES2.spad" 1441104 1441118 1441422 1441427) (-894 "PATMATCH.spad" 1439301 1439332 1440812 1440817) (-893 "PATMAB.spad" 1438730 1438740 1439291 1439296) (-892 "PATLRES.spad" 1437816 1437830 1438720 1438725) (-891 "PATAB.spad" 1437580 1437590 1437806 1437811) (-890 "PARTPERM.spad" 1434980 1434988 1437570 1437575) (-889 "PARSURF.spad" 1434414 1434442 1434970 1434975) (-888 "PARSU2.spad" 1434211 1434227 1434404 1434409) (-887 "script-parser.spad" 1433731 1433739 1434201 1434206) (-886 "PARSCURV.spad" 1433165 1433193 1433721 1433726) (-885 "PARSC2.spad" 1432956 1432972 1433155 1433160) (-884 "PARPCURV.spad" 1432418 1432446 1432946 1432951) (-883 "PARPC2.spad" 1432209 1432225 1432408 1432413) (-882 "PARAMAST.spad" 1431337 1431345 1432199 1432204) (-881 "PAN2EXPR.spad" 1430749 1430757 1431327 1431332) (-880 "PALETTE.spad" 1429719 1429727 1430739 1430744) (-879 "PAIR.spad" 1428706 1428719 1429307 1429312) (-878 "PADICRC.spad" 1426040 1426058 1427211 1427304) (-877 "PADICRAT.spad" 1424055 1424067 1424276 1424369) (-876 "PADIC.spad" 1423750 1423762 1423981 1424050) (-875 "PADICCT.spad" 1422299 1422311 1423676 1423745) (-874 "PADEPAC.spad" 1420988 1421007 1422289 1422294) (-873 "PADE.spad" 1419740 1419756 1420978 1420983) (-872 "OWP.spad" 1418980 1419010 1419598 1419665) (-871 "OVERSET.spad" 1418553 1418561 1418970 1418975) (-870 "OVAR.spad" 1418334 1418357 1418543 1418548) (-869 "OUT.spad" 1417420 1417428 1418324 1418329) (-868 "OUTFORM.spad" 1406812 1406820 1417410 1417415) (-867 "OUTBFILE.spad" 1406230 1406238 1406802 1406807) (-866 "OUTBCON.spad" 1405236 1405244 1406220 1406225) (-865 "OUTBCON.spad" 1404240 1404250 1405226 1405231) (-864 "OSI.spad" 1403715 1403723 1404230 1404235) (-863 "OSGROUP.spad" 1403633 1403641 1403705 1403710) (-862 "ORTHPOL.spad" 1402118 1402128 1403550 1403555) (-861 "OREUP.spad" 1401571 1401599 1401798 1401837) (-860 "ORESUP.spad" 1400872 1400896 1401251 1401290) (-859 "OREPCTO.spad" 1398729 1398741 1400792 1400797) (-858 "OREPCAT.spad" 1392876 1392886 1398685 1398724) (-857 "OREPCAT.spad" 1386913 1386925 1392724 1392729) (-856 "ORDSET.spad" 1386085 1386093 1386903 1386908) (-855 "ORDSET.spad" 1385255 1385265 1386075 1386080) (-854 "ORDRING.spad" 1384645 1384653 1385235 1385250) (-853 "ORDRING.spad" 1384043 1384053 1384635 1384640) (-852 "ORDMON.spad" 1383898 1383906 1384033 1384038) (-851 "ORDFUNS.spad" 1383030 1383046 1383888 1383893) (-850 "ORDFIN.spad" 1382850 1382858 1383020 1383025) (-849 "ORDCOMP.spad" 1381315 1381325 1382397 1382426) (-848 "ORDCOMP2.spad" 1380608 1380620 1381305 1381310) (-847 "OPTPROB.spad" 1379246 1379254 1380598 1380603) (-846 "OPTPACK.spad" 1371655 1371663 1379236 1379241) (-845 "OPTCAT.spad" 1369334 1369342 1371645 1371650) (-844 "OPSIG.spad" 1368988 1368996 1369324 1369329) (-843 "OPQUERY.spad" 1368537 1368545 1368978 1368983) (-842 "OP.spad" 1368279 1368289 1368359 1368426) (-841 "OPERCAT.spad" 1367745 1367755 1368269 1368274) (-840 "OPERCAT.spad" 1367209 1367221 1367735 1367740) (-839 "ONECOMP.spad" 1365954 1365964 1366756 1366785) (-838 "ONECOMP2.spad" 1365378 1365390 1365944 1365949) (-837 "OMSERVER.spad" 1364384 1364392 1365368 1365373) (-836 "OMSAGG.spad" 1364172 1364182 1364340 1364379) (-835 "OMPKG.spad" 1362788 1362796 1364162 1364167) (-834 "OM.spad" 1361761 1361769 1362778 1362783) (-833 "OMLO.spad" 1361186 1361198 1361647 1361686) (-832 "OMEXPR.spad" 1361020 1361030 1361176 1361181) (-831 "OMERR.spad" 1360565 1360573 1361010 1361015) (-830 "OMERRK.spad" 1359599 1359607 1360555 1360560) (-829 "OMENC.spad" 1358943 1358951 1359589 1359594) (-828 "OMDEV.spad" 1353252 1353260 1358933 1358938) (-827 "OMCONN.spad" 1352661 1352669 1353242 1353247) (-826 "OINTDOM.spad" 1352424 1352432 1352587 1352656) (-825 "OFMONOID.spad" 1350547 1350557 1352380 1352385) (-824 "ODVAR.spad" 1349808 1349818 1350537 1350542) (-823 "ODR.spad" 1349452 1349478 1349620 1349769) (-822 "ODPOL.spad" 1346834 1346844 1347174 1347301) (-821 "ODP.spad" 1336681 1336701 1337054 1337185) (-820 "ODETOOLS.spad" 1335330 1335349 1336671 1336676) (-819 "ODESYS.spad" 1333024 1333041 1335320 1335325) (-818 "ODERTRIC.spad" 1329033 1329050 1332981 1332986) (-817 "ODERED.spad" 1328432 1328456 1329023 1329028) (-816 "ODERAT.spad" 1326047 1326064 1328422 1328427) (-815 "ODEPRRIC.spad" 1323084 1323106 1326037 1326042) (-814 "ODEPROB.spad" 1322341 1322349 1323074 1323079) (-813 "ODEPRIM.spad" 1319675 1319697 1322331 1322336) (-812 "ODEPAL.spad" 1319061 1319085 1319665 1319670) (-811 "ODEPACK.spad" 1305727 1305735 1319051 1319056) (-810 "ODEINT.spad" 1305162 1305178 1305717 1305722) (-809 "ODEIFTBL.spad" 1302557 1302565 1305152 1305157) (-808 "ODEEF.spad" 1298048 1298064 1302547 1302552) (-807 "ODECONST.spad" 1297585 1297603 1298038 1298043) (-806 "ODECAT.spad" 1296183 1296191 1297575 1297580) (-805 "OCT.spad" 1294319 1294329 1295033 1295072) (-804 "OCTCT2.spad" 1293965 1293986 1294309 1294314) (-803 "OC.spad" 1291761 1291771 1293921 1293960) (-802 "OC.spad" 1289282 1289294 1291444 1291449) (-801 "OCAMON.spad" 1289130 1289138 1289272 1289277) (-800 "OASGP.spad" 1288945 1288953 1289120 1289125) (-799 "OAMONS.spad" 1288467 1288475 1288935 1288940) (-798 "OAMON.spad" 1288328 1288336 1288457 1288462) (-797 "OAGROUP.spad" 1288190 1288198 1288318 1288323) (-796 "NUMTUBE.spad" 1287781 1287797 1288180 1288185) (-795 "NUMQUAD.spad" 1275757 1275765 1287771 1287776) (-794 "NUMODE.spad" 1267111 1267119 1275747 1275752) (-793 "NUMINT.spad" 1264677 1264685 1267101 1267106) (-792 "NUMFMT.spad" 1263517 1263525 1264667 1264672) (-791 "NUMERIC.spad" 1255631 1255641 1263322 1263327) (-790 "NTSCAT.spad" 1254139 1254155 1255599 1255626) (-789 "NTPOLFN.spad" 1253690 1253700 1254056 1254061) (-788 "NSUP.spad" 1246736 1246746 1251276 1251429) (-787 "NSUP2.spad" 1246128 1246140 1246726 1246731) (-786 "NSMP.spad" 1242358 1242377 1242666 1242793) (-785 "NREP.spad" 1240736 1240750 1242348 1242353) (-784 "NPCOEF.spad" 1239982 1240002 1240726 1240731) (-783 "NORMRETR.spad" 1239580 1239619 1239972 1239977) (-782 "NORMPK.spad" 1237482 1237501 1239570 1239575) (-781 "NORMMA.spad" 1237170 1237196 1237472 1237477) (-780 "NONE.spad" 1236911 1236919 1237160 1237165) (-779 "NONE1.spad" 1236587 1236597 1236901 1236906) (-778 "NODE1.spad" 1236074 1236090 1236577 1236582) (-777 "NNI.spad" 1234969 1234977 1236048 1236069) (-776 "NLINSOL.spad" 1233595 1233605 1234959 1234964) (-775 "NIPROB.spad" 1232136 1232144 1233585 1233590) (-774 "NFINTBAS.spad" 1229696 1229713 1232126 1232131) (-773 "NETCLT.spad" 1229670 1229681 1229686 1229691) (-772 "NCODIV.spad" 1227886 1227902 1229660 1229665) (-771 "NCNTFRAC.spad" 1227528 1227542 1227876 1227881) (-770 "NCEP.spad" 1225694 1225708 1227518 1227523) (-769 "NASRING.spad" 1225290 1225298 1225684 1225689) (-768 "NASRING.spad" 1224884 1224894 1225280 1225285) (-767 "NARNG.spad" 1224236 1224244 1224874 1224879) (-766 "NARNG.spad" 1223586 1223596 1224226 1224231) (-765 "NAGSP.spad" 1222663 1222671 1223576 1223581) (-764 "NAGS.spad" 1212324 1212332 1222653 1222658) (-763 "NAGF07.spad" 1210755 1210763 1212314 1212319) (-762 "NAGF04.spad" 1205157 1205165 1210745 1210750) (-761 "NAGF02.spad" 1199226 1199234 1205147 1205152) (-760 "NAGF01.spad" 1194987 1194995 1199216 1199221) (-759 "NAGE04.spad" 1188687 1188695 1194977 1194982) (-758 "NAGE02.spad" 1179347 1179355 1188677 1188682) (-757 "NAGE01.spad" 1175349 1175357 1179337 1179342) (-756 "NAGD03.spad" 1173353 1173361 1175339 1175344) (-755 "NAGD02.spad" 1166100 1166108 1173343 1173348) (-754 "NAGD01.spad" 1160393 1160401 1166090 1166095) (-753 "NAGC06.spad" 1156268 1156276 1160383 1160388) (-752 "NAGC05.spad" 1154769 1154777 1156258 1156263) (-751 "NAGC02.spad" 1154036 1154044 1154759 1154764) (-750 "NAALG.spad" 1153577 1153587 1154004 1154031) (-749 "NAALG.spad" 1153138 1153150 1153567 1153572) (-748 "MULTSQFR.spad" 1150096 1150113 1153128 1153133) (-747 "MULTFACT.spad" 1149479 1149496 1150086 1150091) (-746 "MTSCAT.spad" 1147573 1147594 1149377 1149474) (-745 "MTHING.spad" 1147232 1147242 1147563 1147568) (-744 "MSYSCMD.spad" 1146666 1146674 1147222 1147227) (-743 "MSET.spad" 1144624 1144634 1146372 1146411) (-742 "MSETAGG.spad" 1144469 1144479 1144592 1144619) (-741 "MRING.spad" 1141446 1141458 1144177 1144244) (-740 "MRF2.spad" 1141016 1141030 1141436 1141441) (-739 "MRATFAC.spad" 1140562 1140579 1141006 1141011) (-738 "MPRFF.spad" 1138602 1138621 1140552 1140557) (-737 "MPOLY.spad" 1136073 1136088 1136432 1136559) (-736 "MPCPF.spad" 1135337 1135356 1136063 1136068) (-735 "MPC3.spad" 1135154 1135194 1135327 1135332) (-734 "MPC2.spad" 1134800 1134833 1135144 1135149) (-733 "MONOTOOL.spad" 1133151 1133168 1134790 1134795) (-732 "MONOID.spad" 1132470 1132478 1133141 1133146) (-731 "MONOID.spad" 1131787 1131797 1132460 1132465) (-730 "MONOGEN.spad" 1130535 1130548 1131647 1131782) (-729 "MONOGEN.spad" 1129305 1129320 1130419 1130424) (-728 "MONADWU.spad" 1127335 1127343 1129295 1129300) (-727 "MONADWU.spad" 1125363 1125373 1127325 1127330) (-726 "MONAD.spad" 1124523 1124531 1125353 1125358) (-725 "MONAD.spad" 1123681 1123691 1124513 1124518) (-724 "MOEBIUS.spad" 1122417 1122431 1123661 1123676) (-723 "MODULE.spad" 1122287 1122297 1122385 1122412) (-722 "MODULE.spad" 1122177 1122189 1122277 1122282) (-721 "MODRING.spad" 1121512 1121551 1122157 1122172) (-720 "MODOP.spad" 1120177 1120189 1121334 1121401) (-719 "MODMONOM.spad" 1119908 1119926 1120167 1120172) (-718 "MODMON.spad" 1116703 1116719 1117422 1117575) (-717 "MODFIELD.spad" 1116065 1116104 1116605 1116698) (-716 "MMLFORM.spad" 1114925 1114933 1116055 1116060) (-715 "MMAP.spad" 1114667 1114701 1114915 1114920) (-714 "MLO.spad" 1113126 1113136 1114623 1114662) (-713 "MLIFT.spad" 1111738 1111755 1113116 1113121) (-712 "MKUCFUNC.spad" 1111273 1111291 1111728 1111733) (-711 "MKRECORD.spad" 1110877 1110890 1111263 1111268) (-710 "MKFUNC.spad" 1110284 1110294 1110867 1110872) (-709 "MKFLCFN.spad" 1109252 1109262 1110274 1110279) (-708 "MKBCFUNC.spad" 1108747 1108765 1109242 1109247) (-707 "MINT.spad" 1108186 1108194 1108649 1108742) (-706 "MHROWRED.spad" 1106697 1106707 1108176 1108181) (-705 "MFLOAT.spad" 1105217 1105225 1106587 1106692) (-704 "MFINFACT.spad" 1104617 1104639 1105207 1105212) (-703 "MESH.spad" 1102399 1102407 1104607 1104612) (-702 "MDDFACT.spad" 1100610 1100620 1102389 1102394) (-701 "MDAGG.spad" 1099901 1099911 1100590 1100605) (-700 "MCMPLX.spad" 1095912 1095920 1096526 1096727) (-699 "MCDEN.spad" 1095122 1095134 1095902 1095907) (-698 "MCALCFN.spad" 1092244 1092270 1095112 1095117) (-697 "MAYBE.spad" 1091528 1091539 1092234 1092239) (-696 "MATSTOR.spad" 1088836 1088846 1091518 1091523) (-695 "MATRIX.spad" 1087540 1087550 1088024 1088051) (-694 "MATLIN.spad" 1084884 1084908 1087424 1087429) (-693 "MATCAT.spad" 1076613 1076635 1084852 1084879) (-692 "MATCAT.spad" 1068214 1068238 1076455 1076460) (-691 "MATCAT2.spad" 1067496 1067544 1068204 1068209) (-690 "MAPPKG3.spad" 1066411 1066425 1067486 1067491) (-689 "MAPPKG2.spad" 1065749 1065761 1066401 1066406) (-688 "MAPPKG1.spad" 1064577 1064587 1065739 1065744) (-687 "MAPPAST.spad" 1063892 1063900 1064567 1064572) (-686 "MAPHACK3.spad" 1063704 1063718 1063882 1063887) (-685 "MAPHACK2.spad" 1063473 1063485 1063694 1063699) (-684 "MAPHACK1.spad" 1063117 1063127 1063463 1063468) (-683 "MAGMA.spad" 1060907 1060924 1063107 1063112) (-682 "MACROAST.spad" 1060486 1060494 1060897 1060902) (-681 "M3D.spad" 1058206 1058216 1059864 1059869) (-680 "LZSTAGG.spad" 1055444 1055454 1058196 1058201) (-679 "LZSTAGG.spad" 1052680 1052692 1055434 1055439) (-678 "LWORD.spad" 1049385 1049402 1052670 1052675) (-677 "LSTAST.spad" 1049169 1049177 1049375 1049380) (-676 "LSQM.spad" 1047399 1047413 1047793 1047844) (-675 "LSPP.spad" 1046934 1046951 1047389 1047394) (-674 "LSMP.spad" 1045784 1045812 1046924 1046929) (-673 "LSMP1.spad" 1043602 1043616 1045774 1045779) (-672 "LSAGG.spad" 1043271 1043281 1043570 1043597) (-671 "LSAGG.spad" 1042960 1042972 1043261 1043266) (-670 "LPOLY.spad" 1041914 1041933 1042816 1042885) (-669 "LPEFRAC.spad" 1041185 1041195 1041904 1041909) (-668 "LO.spad" 1040586 1040600 1041119 1041146) (-667 "LOGIC.spad" 1040188 1040196 1040576 1040581) (-666 "LOGIC.spad" 1039788 1039798 1040178 1040183) (-665 "LODOOPS.spad" 1038718 1038730 1039778 1039783) (-664 "LODO.spad" 1038102 1038118 1038398 1038437) (-663 "LODOF.spad" 1037148 1037165 1038059 1038064) (-662 "LODOCAT.spad" 1035814 1035824 1037104 1037143) (-661 "LODOCAT.spad" 1034478 1034490 1035770 1035775) (-660 "LODO2.spad" 1033751 1033763 1034158 1034197) (-659 "LODO1.spad" 1033151 1033161 1033431 1033470) (-658 "LODEEF.spad" 1031953 1031971 1033141 1033146) (-657 "LNAGG.spad" 1027785 1027795 1031943 1031948) (-656 "LNAGG.spad" 1023581 1023593 1027741 1027746) (-655 "LMOPS.spad" 1020349 1020366 1023571 1023576) (-654 "LMODULE.spad" 1020117 1020127 1020339 1020344) (-653 "LMDICT.spad" 1019404 1019414 1019668 1019695) (-652 "LLINSET.spad" 1018801 1018811 1019394 1019399) (-651 "LITERAL.spad" 1018707 1018718 1018791 1018796) (-650 "LIST.spad" 1016442 1016452 1017854 1017881) (-649 "LIST3.spad" 1015753 1015767 1016432 1016437) (-648 "LIST2.spad" 1014455 1014467 1015743 1015748) (-647 "LIST2MAP.spad" 1011358 1011370 1014445 1014450) (-646 "LINSET.spad" 1010980 1010990 1011348 1011353) (-645 "LINEXP.spad" 1010414 1010424 1010960 1010975) (-644 "LINDEP.spad" 1009223 1009235 1010326 1010331) (-643 "LIMITRF.spad" 1007151 1007161 1009213 1009218) (-642 "LIMITPS.spad" 1006054 1006067 1007141 1007146) (-641 "LIE.spad" 1004070 1004082 1005344 1005489) (-640 "LIECAT.spad" 1003546 1003556 1003996 1004065) (-639 "LIECAT.spad" 1003050 1003062 1003502 1003507) (-638 "LIB.spad" 1001100 1001108 1001709 1001724) (-637 "LGROBP.spad" 998453 998472 1001090 1001095) (-636 "LF.spad" 997408 997424 998443 998448) (-635 "LFCAT.spad" 996467 996475 997398 997403) (-634 "LEXTRIPK.spad" 991970 991985 996457 996462) (-633 "LEXP.spad" 989973 990000 991950 991965) (-632 "LETAST.spad" 989672 989680 989963 989968) (-631 "LEADCDET.spad" 988070 988087 989662 989667) (-630 "LAZM3PK.spad" 986774 986796 988060 988065) (-629 "LAUPOL.spad" 985467 985480 986367 986436) (-628 "LAPLACE.spad" 985050 985066 985457 985462) (-627 "LA.spad" 984490 984504 984972 985011) (-626 "LALG.spad" 984266 984276 984470 984485) (-625 "LALG.spad" 984050 984062 984256 984261) (-624 "KVTFROM.spad" 983785 983795 984040 984045) (-623 "KTVLOGIC.spad" 983297 983305 983775 983780) (-622 "KRCFROM.spad" 983035 983045 983287 983292) (-621 "KOVACIC.spad" 981758 981775 983025 983030) (-620 "KONVERT.spad" 981480 981490 981748 981753) (-619 "KOERCE.spad" 981217 981227 981470 981475) (-618 "KERNEL.spad" 979872 979882 981001 981006) (-617 "KERNEL2.spad" 979575 979587 979862 979867) (-616 "KDAGG.spad" 978684 978706 979555 979570) (-615 "KDAGG.spad" 977801 977825 978674 978679) (-614 "KAFILE.spad" 976764 976780 976999 977026) (-613 "JORDAN.spad" 974593 974605 976054 976199) (-612 "JOINAST.spad" 974287 974295 974583 974588) (-611 "JAVACODE.spad" 974153 974161 974277 974282) (-610 "IXAGG.spad" 972286 972310 974143 974148) (-609 "IXAGG.spad" 970274 970300 972133 972138) (-608 "IVECTOR.spad" 969044 969059 969199 969226) (-607 "ITUPLE.spad" 968205 968215 969034 969039) (-606 "ITRIGMNP.spad" 967044 967063 968195 968200) (-605 "ITFUN3.spad" 966550 966564 967034 967039) (-604 "ITFUN2.spad" 966294 966306 966540 966545) (-603 "ITFORM.spad" 965649 965657 966284 966289) (-602 "ITAYLOR.spad" 963643 963658 965513 965610) (-601 "ISUPS.spad" 956080 956095 962617 962714) (-600 "ISUMP.spad" 955581 955597 956070 956075) (-599 "ISTRING.spad" 954669 954682 954750 954777) (-598 "ISAST.spad" 954388 954396 954659 954664) (-597 "IRURPK.spad" 953105 953124 954378 954383) (-596 "IRSN.spad" 951109 951117 953095 953100) (-595 "IRRF2F.spad" 949594 949604 951065 951070) (-594 "IRREDFFX.spad" 949195 949206 949584 949589) (-593 "IROOT.spad" 947534 947544 949185 949190) (-592 "IR.spad" 945335 945349 947389 947416) (-591 "IRFORM.spad" 944659 944667 945325 945330) (-590 "IR2.spad" 943687 943703 944649 944654) (-589 "IR2F.spad" 942893 942909 943677 943682) (-588 "IPRNTPK.spad" 942653 942661 942883 942888) (-587 "IPF.spad" 942218 942230 942458 942551) (-586 "IPADIC.spad" 941979 942005 942144 942213) (-585 "IP4ADDR.spad" 941536 941544 941969 941974) (-584 "IOMODE.spad" 941058 941066 941526 941531) (-583 "IOBFILE.spad" 940419 940427 941048 941053) (-582 "IOBCON.spad" 940284 940292 940409 940414) (-581 "INVLAPLA.spad" 939933 939949 940274 940279) (-580 "INTTR.spad" 933315 933332 939923 939928) (-579 "INTTOOLS.spad" 931070 931086 932889 932894) (-578 "INTSLPE.spad" 930390 930398 931060 931065) (-577 "INTRVL.spad" 929956 929966 930304 930385) (-576 "INTRF.spad" 928380 928394 929946 929951) (-575 "INTRET.spad" 927812 927822 928370 928375) (-574 "INTRAT.spad" 926539 926556 927802 927807) (-573 "INTPM.spad" 924924 924940 926182 926187) (-572 "INTPAF.spad" 922788 922806 924856 924861) (-571 "INTPACK.spad" 913162 913170 922778 922783) (-570 "INT.spad" 912610 912618 913016 913157) (-569 "INTHERTR.spad" 911884 911901 912600 912605) (-568 "INTHERAL.spad" 911554 911578 911874 911879) (-567 "INTHEORY.spad" 907993 908001 911544 911549) (-566 "INTG0.spad" 901726 901744 907925 907930) (-565 "INTFTBL.spad" 895755 895763 901716 901721) (-564 "INTFACT.spad" 894814 894824 895745 895750) (-563 "INTEF.spad" 893199 893215 894804 894809) (-562 "INTDOM.spad" 891822 891830 893125 893194) (-561 "INTDOM.spad" 890507 890517 891812 891817) (-560 "INTCAT.spad" 888766 888776 890421 890502) (-559 "INTBIT.spad" 888273 888281 888756 888761) (-558 "INTALG.spad" 887461 887488 888263 888268) (-557 "INTAF.spad" 886961 886977 887451 887456) (-556 "INTABL.spad" 885479 885510 885642 885669) (-555 "INT8.spad" 885359 885367 885469 885474) (-554 "INT64.spad" 885238 885246 885349 885354) (-553 "INT32.spad" 885117 885125 885228 885233) (-552 "INT16.spad" 884996 885004 885107 885112) (-551 "INS.spad" 882499 882507 884898 884991) (-550 "INS.spad" 880088 880098 882489 882494) (-549 "INPSIGN.spad" 879536 879549 880078 880083) (-548 "INPRODPF.spad" 878632 878651 879526 879531) (-547 "INPRODFF.spad" 877720 877744 878622 878627) (-546 "INNMFACT.spad" 876695 876712 877710 877715) (-545 "INMODGCD.spad" 876183 876213 876685 876690) (-544 "INFSP.spad" 874480 874502 876173 876178) (-543 "INFPROD0.spad" 873560 873579 874470 874475) (-542 "INFORM.spad" 870759 870767 873550 873555) (-541 "INFORM1.spad" 870384 870394 870749 870754) (-540 "INFINITY.spad" 869936 869944 870374 870379) (-539 "INETCLTS.spad" 869913 869921 869926 869931) (-538 "INEP.spad" 868451 868473 869903 869908) (-537 "INDE.spad" 868180 868197 868441 868446) (-536 "INCRMAPS.spad" 867601 867611 868170 868175) (-535 "INBFILE.spad" 866673 866681 867591 867596) (-534 "INBFF.spad" 862467 862478 866663 866668) (-533 "INBCON.spad" 860757 860765 862457 862462) (-532 "INBCON.spad" 859045 859055 860747 860752) (-531 "INAST.spad" 858706 858714 859035 859040) (-530 "IMPTAST.spad" 858414 858422 858696 858701) (-529 "IMATRIX.spad" 857359 857385 857871 857898) (-528 "IMATQF.spad" 856453 856497 857315 857320) (-527 "IMATLIN.spad" 855058 855082 856409 856414) (-526 "ILIST.spad" 853716 853731 854241 854268) (-525 "IIARRAY2.spad" 853104 853142 853323 853350) (-524 "IFF.spad" 852514 852530 852785 852878) (-523 "IFAST.spad" 852128 852136 852504 852509) (-522 "IFARRAY.spad" 849621 849636 851311 851338) (-521 "IFAMON.spad" 849483 849500 849577 849582) (-520 "IEVALAB.spad" 848888 848900 849473 849478) (-519 "IEVALAB.spad" 848291 848305 848878 848883) (-518 "IDPO.spad" 848089 848101 848281 848286) (-517 "IDPOAMS.spad" 847845 847857 848079 848084) (-516 "IDPOAM.spad" 847565 847577 847835 847840) (-515 "IDPC.spad" 846503 846515 847555 847560) (-514 "IDPAM.spad" 846248 846260 846493 846498) (-513 "IDPAG.spad" 845995 846007 846238 846243) (-512 "IDENT.spad" 845645 845653 845985 845990) (-511 "IDECOMP.spad" 842884 842902 845635 845640) (-510 "IDEAL.spad" 837833 837872 842819 842824) (-509 "ICDEN.spad" 837022 837038 837823 837828) (-508 "ICARD.spad" 836213 836221 837012 837017) (-507 "IBPTOOLS.spad" 834820 834837 836203 836208) (-506 "IBITS.spad" 834023 834036 834456 834483) (-505 "IBATOOL.spad" 831000 831019 834013 834018) (-504 "IBACHIN.spad" 829507 829522 830990 830995) (-503 "IARRAY2.spad" 828495 828521 829114 829141) (-502 "IARRAY1.spad" 827540 827555 827678 827705) (-501 "IAN.spad" 825763 825771 827356 827449) (-500 "IALGFACT.spad" 825366 825399 825753 825758) (-499 "HYPCAT.spad" 824790 824798 825356 825361) (-498 "HYPCAT.spad" 824212 824222 824780 824785) (-497 "HOSTNAME.spad" 824020 824028 824202 824207) (-496 "HOMOTOP.spad" 823763 823773 824010 824015) (-495 "HOAGG.spad" 821045 821055 823753 823758) (-494 "HOAGG.spad" 818102 818114 820812 820817) (-493 "HEXADEC.spad" 816204 816212 816569 816662) (-492 "HEUGCD.spad" 815239 815250 816194 816199) (-491 "HELLFDIV.spad" 814829 814853 815229 815234) (-490 "HEAP.spad" 814221 814231 814436 814463) (-489 "HEADAST.spad" 813754 813762 814211 814216) (-488 "HDP.spad" 803597 803613 803974 804105) (-487 "HDMP.spad" 800811 800826 801427 801554) (-486 "HB.spad" 799062 799070 800801 800806) (-485 "HASHTBL.spad" 797532 797563 797743 797770) (-484 "HASAST.spad" 797248 797256 797522 797527) (-483 "HACKPI.spad" 796739 796747 797150 797243) (-482 "GTSET.spad" 795678 795694 796385 796412) (-481 "GSTBL.spad" 794197 794232 794371 794386) (-480 "GSERIES.spad" 791368 791395 792329 792478) (-479 "GROUP.spad" 790641 790649 791348 791363) (-478 "GROUP.spad" 789922 789932 790631 790636) (-477 "GROEBSOL.spad" 788416 788437 789912 789917) (-476 "GRMOD.spad" 786987 786999 788406 788411) (-475 "GRMOD.spad" 785556 785570 786977 786982) (-474 "GRIMAGE.spad" 778445 778453 785546 785551) (-473 "GRDEF.spad" 776824 776832 778435 778440) (-472 "GRAY.spad" 775287 775295 776814 776819) (-471 "GRALG.spad" 774364 774376 775277 775282) (-470 "GRALG.spad" 773439 773453 774354 774359) (-469 "GPOLSET.spad" 772893 772916 773121 773148) (-468 "GOSPER.spad" 772162 772180 772883 772888) (-467 "GMODPOL.spad" 771310 771337 772130 772157) (-466 "GHENSEL.spad" 770393 770407 771300 771305) (-465 "GENUPS.spad" 766686 766699 770383 770388) (-464 "GENUFACT.spad" 766263 766273 766676 766681) (-463 "GENPGCD.spad" 765849 765866 766253 766258) (-462 "GENMFACT.spad" 765301 765320 765839 765844) (-461 "GENEEZ.spad" 763252 763265 765291 765296) (-460 "GDMP.spad" 760308 760325 761082 761209) (-459 "GCNAALG.spad" 754231 754258 760102 760169) (-458 "GCDDOM.spad" 753407 753415 754157 754226) (-457 "GCDDOM.spad" 752645 752655 753397 753402) (-456 "GB.spad" 750171 750209 752601 752606) (-455 "GBINTERN.spad" 746191 746229 750161 750166) (-454 "GBF.spad" 741958 741996 746181 746186) (-453 "GBEUCLID.spad" 739840 739878 741948 741953) (-452 "GAUSSFAC.spad" 739153 739161 739830 739835) (-451 "GALUTIL.spad" 737479 737489 739109 739114) (-450 "GALPOLYU.spad" 735933 735946 737469 737474) (-449 "GALFACTU.spad" 734106 734125 735923 735928) (-448 "GALFACT.spad" 724295 724306 734096 734101) (-447 "FVFUN.spad" 721318 721326 724285 724290) (-446 "FVC.spad" 720370 720378 721308 721313) (-445 "FUNDESC.spad" 720048 720056 720360 720365) (-444 "FUNCTION.spad" 719897 719909 720038 720043) (-443 "FT.spad" 718194 718202 719887 719892) (-442 "FTEM.spad" 717359 717367 718184 718189) (-441 "FSUPFACT.spad" 716259 716278 717295 717300) (-440 "FST.spad" 714345 714353 716249 716254) (-439 "FSRED.spad" 713825 713841 714335 714340) (-438 "FSPRMELT.spad" 712707 712723 713782 713787) (-437 "FSPECF.spad" 710798 710814 712697 712702) (-436 "FS.spad" 705066 705076 710573 710793) (-435 "FS.spad" 699112 699124 704621 704626) (-434 "FSINT.spad" 698772 698788 699102 699107) (-433 "FSERIES.spad" 697963 697975 698592 698691) (-432 "FSCINT.spad" 697280 697296 697953 697958) (-431 "FSAGG.spad" 696397 696407 697236 697275) (-430 "FSAGG.spad" 695476 695488 696317 696322) (-429 "FSAGG2.spad" 694219 694235 695466 695471) (-428 "FS2UPS.spad" 688710 688744 694209 694214) (-427 "FS2.spad" 688357 688373 688700 688705) (-426 "FS2EXPXP.spad" 687482 687505 688347 688352) (-425 "FRUTIL.spad" 686436 686446 687472 687477) (-424 "FR.spad" 680152 680162 685460 685529) (-423 "FRNAALG.spad" 675271 675281 680094 680147) (-422 "FRNAALG.spad" 670402 670414 675227 675232) (-421 "FRNAAF2.spad" 669858 669876 670392 670397) (-420 "FRMOD.spad" 669268 669298 669789 669794) (-419 "FRIDEAL.spad" 668493 668514 669248 669263) (-418 "FRIDEAL2.spad" 668097 668129 668483 668488) (-417 "FRETRCT.spad" 667608 667618 668087 668092) (-416 "FRETRCT.spad" 666985 666997 667466 667471) (-415 "FRAMALG.spad" 665333 665346 666941 666980) (-414 "FRAMALG.spad" 663713 663728 665323 665328) (-413 "FRAC.spad" 660812 660822 661215 661388) (-412 "FRAC2.spad" 660417 660429 660802 660807) (-411 "FR2.spad" 659753 659765 660407 660412) (-410 "FPS.spad" 656568 656576 659643 659748) (-409 "FPS.spad" 653411 653421 656488 656493) (-408 "FPC.spad" 652457 652465 653313 653406) (-407 "FPC.spad" 651589 651599 652447 652452) (-406 "FPATMAB.spad" 651351 651361 651579 651584) (-405 "FPARFRAC.spad" 649838 649855 651341 651346) (-404 "FORTRAN.spad" 648344 648387 649828 649833) (-403 "FORT.spad" 647293 647301 648334 648339) (-402 "FORTFN.spad" 644463 644471 647283 647288) (-401 "FORTCAT.spad" 644147 644155 644453 644458) (-400 "FORMULA.spad" 641621 641629 644137 644142) (-399 "FORMULA1.spad" 641100 641110 641611 641616) (-398 "FORDER.spad" 640791 640815 641090 641095) (-397 "FOP.spad" 639992 640000 640781 640786) (-396 "FNLA.spad" 639416 639438 639960 639987) (-395 "FNCAT.spad" 638011 638019 639406 639411) (-394 "FNAME.spad" 637903 637911 638001 638006) (-393 "FMTC.spad" 637701 637709 637829 637898) (-392 "FMONOID.spad" 637366 637376 637657 637662) (-391 "FMONCAT.spad" 634519 634529 637356 637361) (-390 "FM.spad" 634214 634226 634453 634480) (-389 "FMFUN.spad" 631244 631252 634204 634209) (-388 "FMC.spad" 630296 630304 631234 631239) (-387 "FMCAT.spad" 627964 627982 630264 630291) (-386 "FM1.spad" 627321 627333 627898 627925) (-385 "FLOATRP.spad" 625056 625070 627311 627316) (-384 "FLOAT.spad" 618370 618378 624922 625051) (-383 "FLOATCP.spad" 615801 615815 618360 618365) (-382 "FLINEXP.spad" 615513 615523 615781 615796) (-381 "FLINEXP.spad" 615179 615191 615449 615454) (-380 "FLASORT.spad" 614505 614517 615169 615174) (-379 "FLALG.spad" 612151 612170 614431 614500) (-378 "FLAGG.spad" 609193 609203 612131 612146) (-377 "FLAGG.spad" 606136 606148 609076 609081) (-376 "FLAGG2.spad" 604861 604877 606126 606131) (-375 "FINRALG.spad" 602922 602935 604817 604856) (-374 "FINRALG.spad" 600909 600924 602806 602811) (-373 "FINITE.spad" 600061 600069 600899 600904) (-372 "FINAALG.spad" 589182 589192 600003 600056) (-371 "FINAALG.spad" 578315 578327 589138 589143) (-370 "FILE.spad" 577898 577908 578305 578310) (-369 "FILECAT.spad" 576424 576441 577888 577893) (-368 "FIELD.spad" 575830 575838 576326 576419) (-367 "FIELD.spad" 575322 575332 575820 575825) (-366 "FGROUP.spad" 573969 573979 575302 575317) (-365 "FGLMICPK.spad" 572756 572771 573959 573964) (-364 "FFX.spad" 572131 572146 572472 572565) (-363 "FFSLPE.spad" 571634 571655 572121 572126) (-362 "FFPOLY.spad" 562896 562907 571624 571629) (-361 "FFPOLY2.spad" 561956 561973 562886 562891) (-360 "FFP.spad" 561353 561373 561672 561765) (-359 "FF.spad" 560801 560817 561034 561127) (-358 "FFNBX.spad" 559313 559333 560517 560610) (-357 "FFNBP.spad" 557826 557843 559029 559122) (-356 "FFNB.spad" 556291 556312 557507 557600) (-355 "FFINTBAS.spad" 553805 553824 556281 556286) (-354 "FFIELDC.spad" 551382 551390 553707 553800) (-353 "FFIELDC.spad" 549045 549055 551372 551377) (-352 "FFHOM.spad" 547793 547810 549035 549040) (-351 "FFF.spad" 545228 545239 547783 547788) (-350 "FFCGX.spad" 544075 544095 544944 545037) (-349 "FFCGP.spad" 542964 542984 543791 543884) (-348 "FFCG.spad" 541756 541777 542645 542738) (-347 "FFCAT.spad" 534929 534951 541595 541751) (-346 "FFCAT.spad" 528181 528205 534849 534854) (-345 "FFCAT2.spad" 527928 527968 528171 528176) (-344 "FEXPR.spad" 519645 519691 527684 527723) (-343 "FEVALAB.spad" 519353 519363 519635 519640) (-342 "FEVALAB.spad" 518846 518858 519130 519135) (-341 "FDIV.spad" 518288 518312 518836 518841) (-340 "FDIVCAT.spad" 516352 516376 518278 518283) (-339 "FDIVCAT.spad" 514414 514440 516342 516347) (-338 "FDIV2.spad" 514070 514110 514404 514409) (-337 "FCTRDATA.spad" 513078 513086 514060 514065) (-336 "FCPAK1.spad" 511645 511653 513068 513073) (-335 "FCOMP.spad" 511024 511034 511635 511640) (-334 "FC.spad" 501031 501039 511014 511019) (-333 "FAXF.spad" 494002 494016 500933 501026) (-332 "FAXF.spad" 487025 487041 493958 493963) (-331 "FARRAY.spad" 485175 485185 486208 486235) (-330 "FAMR.spad" 483311 483323 485073 485170) (-329 "FAMR.spad" 481431 481445 483195 483200) (-328 "FAMONOID.spad" 481099 481109 481385 481390) (-327 "FAMONC.spad" 479395 479407 481089 481094) (-326 "FAGROUP.spad" 479019 479029 479291 479318) (-325 "FACUTIL.spad" 477223 477240 479009 479014) (-324 "FACTFUNC.spad" 476417 476427 477213 477218) (-323 "EXPUPXS.spad" 473250 473273 474549 474698) (-322 "EXPRTUBE.spad" 470538 470546 473240 473245) (-321 "EXPRODE.spad" 467698 467714 470528 470533) (-320 "EXPR.spad" 462973 462983 463687 464094) (-319 "EXPR2UPS.spad" 459095 459108 462963 462968) (-318 "EXPR2.spad" 458800 458812 459085 459090) (-317 "EXPEXPAN.spad" 455740 455765 456372 456465) (-316 "EXIT.spad" 455411 455419 455730 455735) (-315 "EXITAST.spad" 455147 455155 455401 455406) (-314 "EVALCYC.spad" 454607 454621 455137 455142) (-313 "EVALAB.spad" 454179 454189 454597 454602) (-312 "EVALAB.spad" 453749 453761 454169 454174) (-311 "EUCDOM.spad" 451323 451331 453675 453744) (-310 "EUCDOM.spad" 448959 448969 451313 451318) (-309 "ESTOOLS.spad" 440805 440813 448949 448954) (-308 "ESTOOLS2.spad" 440408 440422 440795 440800) (-307 "ESTOOLS1.spad" 440093 440104 440398 440403) (-306 "ES.spad" 432908 432916 440083 440088) (-305 "ES.spad" 425629 425639 432806 432811) (-304 "ESCONT.spad" 422422 422430 425619 425624) (-303 "ESCONT1.spad" 422171 422183 422412 422417) (-302 "ES2.spad" 421676 421692 422161 422166) (-301 "ES1.spad" 421246 421262 421666 421671) (-300 "ERROR.spad" 418573 418581 421236 421241) (-299 "EQTBL.spad" 417045 417067 417254 417281) (-298 "EQ.spad" 411850 411860 414637 414749) (-297 "EQ2.spad" 411568 411580 411840 411845) (-296 "EP.spad" 407894 407904 411558 411563) (-295 "ENV.spad" 406572 406580 407884 407889) (-294 "ENTIRER.spad" 406240 406248 406516 406567) (-293 "EMR.spad" 405447 405488 406166 406235) (-292 "ELTAGG.spad" 403701 403720 405437 405442) (-291 "ELTAGG.spad" 401919 401940 403657 403662) (-290 "ELTAB.spad" 401368 401386 401909 401914) (-289 "ELFUTS.spad" 400755 400774 401358 401363) (-288 "ELEMFUN.spad" 400444 400452 400745 400750) (-287 "ELEMFUN.spad" 400131 400141 400434 400439) (-286 "ELAGG.spad" 398102 398112 400111 400126) (-285 "ELAGG.spad" 396010 396022 398021 398026) (-284 "ELABOR.spad" 395356 395364 396000 396005) (-283 "ELABEXPR.spad" 394288 394296 395346 395351) (-282 "EFUPXS.spad" 391064 391094 394244 394249) (-281 "EFULS.spad" 387900 387923 391020 391025) (-280 "EFSTRUC.spad" 385915 385931 387890 387895) (-279 "EF.spad" 380691 380707 385905 385910) (-278 "EAB.spad" 378967 378975 380681 380686) (-277 "E04UCFA.spad" 378503 378511 378957 378962) (-276 "E04NAFA.spad" 378080 378088 378493 378498) (-275 "E04MBFA.spad" 377660 377668 378070 378075) (-274 "E04JAFA.spad" 377196 377204 377650 377655) (-273 "E04GCFA.spad" 376732 376740 377186 377191) (-272 "E04FDFA.spad" 376268 376276 376722 376727) (-271 "E04DGFA.spad" 375804 375812 376258 376263) (-270 "E04AGNT.spad" 371654 371662 375794 375799) (-269 "DVARCAT.spad" 368343 368353 371644 371649) (-268 "DVARCAT.spad" 365030 365042 368333 368338) (-267 "DSMP.spad" 362497 362511 362802 362929) (-266 "DROPT.spad" 356456 356464 362487 362492) (-265 "DROPT1.spad" 356121 356131 356446 356451) (-264 "DROPT0.spad" 350978 350986 356111 356116) (-263 "DRAWPT.spad" 349151 349159 350968 350973) (-262 "DRAW.spad" 342027 342040 349141 349146) (-261 "DRAWHACK.spad" 341335 341345 342017 342022) (-260 "DRAWCX.spad" 338805 338813 341325 341330) (-259 "DRAWCURV.spad" 338352 338367 338795 338800) (-258 "DRAWCFUN.spad" 327884 327892 338342 338347) (-257 "DQAGG.spad" 326062 326072 327852 327879) (-256 "DPOLCAT.spad" 321411 321427 325930 326057) (-255 "DPOLCAT.spad" 316846 316864 321367 321372) (-254 "DPMO.spad" 309072 309088 309210 309511) (-253 "DPMM.spad" 301311 301329 301436 301737) (-252 "DOMTMPLT.spad" 300971 300979 301301 301306) (-251 "DOMCTOR.spad" 300726 300734 300961 300966) (-250 "DOMAIN.spad" 299813 299821 300716 300721) (-249 "DMP.spad" 297073 297088 297643 297770) (-248 "DLP.spad" 296425 296435 297063 297068) (-247 "DLIST.spad" 295004 295014 295608 295635) (-246 "DLAGG.spad" 293421 293431 294994 294999) (-245 "DIVRING.spad" 292963 292971 293365 293416) (-244 "DIVRING.spad" 292549 292559 292953 292958) (-243 "DISPLAY.spad" 290739 290747 292539 292544) (-242 "DIRPROD.spad" 280319 280335 280959 281090) (-241 "DIRPROD2.spad" 279137 279155 280309 280314) (-240 "DIRPCAT.spad" 278081 278097 279001 279132) (-239 "DIRPCAT.spad" 276754 276772 277676 277681) (-238 "DIOSP.spad" 275579 275587 276744 276749) (-237 "DIOPS.spad" 274575 274585 275559 275574) (-236 "DIOPS.spad" 273545 273557 274531 274536) (-235 "DIFRING.spad" 272841 272849 273525 273540) (-234 "DIFRING.spad" 272145 272155 272831 272836) (-233 "DIFEXT.spad" 271316 271326 272125 272140) (-232 "DIFEXT.spad" 270404 270416 271215 271220) (-231 "DIAGG.spad" 270034 270044 270384 270399) (-230 "DIAGG.spad" 269672 269684 270024 270029) (-229 "DHMATRIX.spad" 267984 267994 269129 269156) (-228 "DFSFUN.spad" 261624 261632 267974 267979) (-227 "DFLOAT.spad" 258355 258363 261514 261619) (-226 "DFINTTLS.spad" 256586 256602 258345 258350) (-225 "DERHAM.spad" 254500 254532 256566 256581) (-224 "DEQUEUE.spad" 253824 253834 254107 254134) (-223 "DEGRED.spad" 253441 253455 253814 253819) (-222 "DEFINTRF.spad" 250978 250988 253431 253436) (-221 "DEFINTEF.spad" 249488 249504 250968 250973) (-220 "DEFAST.spad" 248856 248864 249478 249483) (-219 "DECIMAL.spad" 246962 246970 247323 247416) (-218 "DDFACT.spad" 244775 244792 246952 246957) (-217 "DBLRESP.spad" 244375 244399 244765 244770) (-216 "DBASE.spad" 243039 243049 244365 244370) (-215 "DATAARY.spad" 242501 242514 243029 243034) (-214 "D03FAFA.spad" 242329 242337 242491 242496) (-213 "D03EEFA.spad" 242149 242157 242319 242324) (-212 "D03AGNT.spad" 241235 241243 242139 242144) (-211 "D02EJFA.spad" 240697 240705 241225 241230) (-210 "D02CJFA.spad" 240175 240183 240687 240692) (-209 "D02BHFA.spad" 239665 239673 240165 240170) (-208 "D02BBFA.spad" 239155 239163 239655 239660) (-207 "D02AGNT.spad" 233969 233977 239145 239150) (-206 "D01WGTS.spad" 232288 232296 233959 233964) (-205 "D01TRNS.spad" 232265 232273 232278 232283) (-204 "D01GBFA.spad" 231787 231795 232255 232260) (-203 "D01FCFA.spad" 231309 231317 231777 231782) (-202 "D01ASFA.spad" 230777 230785 231299 231304) (-201 "D01AQFA.spad" 230223 230231 230767 230772) (-200 "D01APFA.spad" 229647 229655 230213 230218) (-199 "D01ANFA.spad" 229141 229149 229637 229642) (-198 "D01AMFA.spad" 228651 228659 229131 229136) (-197 "D01ALFA.spad" 228191 228199 228641 228646) (-196 "D01AKFA.spad" 227717 227725 228181 228186) (-195 "D01AJFA.spad" 227240 227248 227707 227712) (-194 "D01AGNT.spad" 223307 223315 227230 227235) (-193 "CYCLOTOM.spad" 222813 222821 223297 223302) (-192 "CYCLES.spad" 219669 219677 222803 222808) (-191 "CVMP.spad" 219086 219096 219659 219664) (-190 "CTRIGMNP.spad" 217586 217602 219076 219081) (-189 "CTOR.spad" 217277 217285 217576 217581) (-188 "CTORKIND.spad" 216880 216888 217267 217272) (-187 "CTORCAT.spad" 216129 216137 216870 216875) (-186 "CTORCAT.spad" 215376 215386 216119 216124) (-185 "CTORCALL.spad" 214965 214975 215366 215371) (-184 "CSTTOOLS.spad" 214210 214223 214955 214960) (-183 "CRFP.spad" 207934 207947 214200 214205) (-182 "CRCEAST.spad" 207654 207662 207924 207929) (-181 "CRAPACK.spad" 206705 206715 207644 207649) (-180 "CPMATCH.spad" 206209 206224 206630 206635) (-179 "CPIMA.spad" 205914 205933 206199 206204) (-178 "COORDSYS.spad" 200923 200933 205904 205909) (-177 "CONTOUR.spad" 200334 200342 200913 200918) (-176 "CONTFRAC.spad" 196084 196094 200236 200329) (-175 "CONDUIT.spad" 195842 195850 196074 196079) (-174 "COMRING.spad" 195516 195524 195780 195837) (-173 "COMPPROP.spad" 195034 195042 195506 195511) (-172 "COMPLPAT.spad" 194801 194816 195024 195029) (-171 "COMPLEX.spad" 188938 188948 189182 189443) (-170 "COMPLEX2.spad" 188653 188665 188928 188933) (-169 "COMPILER.spad" 188202 188210 188643 188648) (-168 "COMPFACT.spad" 187804 187818 188192 188197) (-167 "COMPCAT.spad" 185876 185886 187538 187799) (-166 "COMPCAT.spad" 183676 183688 185340 185345) (-165 "COMMUPC.spad" 183424 183442 183666 183671) (-164 "COMMONOP.spad" 182957 182965 183414 183419) (-163 "COMM.spad" 182768 182776 182947 182952) (-162 "COMMAAST.spad" 182531 182539 182758 182763) (-161 "COMBOPC.spad" 181446 181454 182521 182526) (-160 "COMBINAT.spad" 180213 180223 181436 181441) (-159 "COMBF.spad" 177595 177611 180203 180208) (-158 "COLOR.spad" 176432 176440 177585 177590) (-157 "COLONAST.spad" 176098 176106 176422 176427) (-156 "CMPLXRT.spad" 175809 175826 176088 176093) (-155 "CLLCTAST.spad" 175471 175479 175799 175804) (-154 "CLIP.spad" 171579 171587 175461 175466) (-153 "CLIF.spad" 170234 170250 171535 171574) (-152 "CLAGG.spad" 166739 166749 170224 170229) (-151 "CLAGG.spad" 163115 163127 166602 166607) (-150 "CINTSLPE.spad" 162446 162459 163105 163110) (-149 "CHVAR.spad" 160584 160606 162436 162441) (-148 "CHARZ.spad" 160499 160507 160564 160579) (-147 "CHARPOL.spad" 160009 160019 160489 160494) (-146 "CHARNZ.spad" 159762 159770 159989 160004) (-145 "CHAR.spad" 157636 157644 159752 159757) (-144 "CFCAT.spad" 156964 156972 157626 157631) (-143 "CDEN.spad" 156160 156174 156954 156959) (-142 "CCLASS.spad" 154309 154317 155571 155610) (-141 "CATEGORY.spad" 153351 153359 154299 154304) (-140 "CATCTOR.spad" 153242 153250 153341 153346) (-139 "CATAST.spad" 152860 152868 153232 153237) (-138 "CASEAST.spad" 152574 152582 152850 152855) (-137 "CARTEN.spad" 147861 147885 152564 152569) (-136 "CARTEN2.spad" 147251 147278 147851 147856) (-135 "CARD.spad" 144546 144554 147225 147246) (-134 "CAPSLAST.spad" 144320 144328 144536 144541) (-133 "CACHSET.spad" 143944 143952 144310 144315) (-132 "CABMON.spad" 143499 143507 143934 143939) (-131 "BYTEORD.spad" 143174 143182 143489 143494) (-130 "BYTE.spad" 142601 142609 143164 143169) (-129 "BYTEBUF.spad" 140460 140468 141770 141797) (-128 "BTREE.spad" 139533 139543 140067 140094) (-127 "BTOURN.spad" 138538 138548 139140 139167) (-126 "BTCAT.spad" 137930 137940 138506 138533) (-125 "BTCAT.spad" 137342 137354 137920 137925) (-124 "BTAGG.spad" 136808 136816 137310 137337) (-123 "BTAGG.spad" 136294 136304 136798 136803) (-122 "BSTREE.spad" 135035 135045 135901 135928) (-121 "BRILL.spad" 133232 133243 135025 135030) (-120 "BRAGG.spad" 132172 132182 133222 133227) (-119 "BRAGG.spad" 131076 131088 132128 132133) (-118 "BPADICRT.spad" 129057 129069 129312 129405) (-117 "BPADIC.spad" 128721 128733 128983 129052) (-116 "BOUNDZRO.spad" 128377 128394 128711 128716) (-115 "BOP.spad" 123559 123567 128367 128372) (-114 "BOP1.spad" 121025 121035 123549 123554) (-113 "BOOLE.spad" 120675 120683 121015 121020) (-112 "BOOLEAN.spad" 120113 120121 120665 120670) (-111 "BMODULE.spad" 119825 119837 120081 120108) (-110 "BITS.spad" 119246 119254 119461 119488) (-109 "BINDING.spad" 118659 118667 119236 119241) (-108 "BINARY.spad" 116770 116778 117126 117219) (-107 "BGAGG.spad" 115975 115985 116750 116765) (-106 "BGAGG.spad" 115188 115200 115965 115970) (-105 "BFUNCT.spad" 114752 114760 115168 115183) (-104 "BEZOUT.spad" 113892 113919 114702 114707) (-103 "BBTREE.spad" 110737 110747 113499 113526) (-102 "BASTYPE.spad" 110409 110417 110727 110732) (-101 "BASTYPE.spad" 110079 110089 110399 110404) (-100 "BALFACT.spad" 109538 109551 110069 110074) (-99 "AUTOMOR.spad" 108989 108998 109518 109533) (-98 "ATTREG.spad" 105712 105719 108741 108984) (-97 "ATTRBUT.spad" 101735 101742 105692 105707) (-96 "ATTRAST.spad" 101452 101459 101725 101730) (-95 "ATRIG.spad" 100922 100929 101442 101447) (-94 "ATRIG.spad" 100390 100399 100912 100917) (-93 "ASTCAT.spad" 100294 100301 100380 100385) (-92 "ASTCAT.spad" 100196 100205 100284 100289) (-91 "ASTACK.spad" 99535 99544 99803 99830) (-90 "ASSOCEQ.spad" 98361 98372 99491 99496) (-89 "ASP9.spad" 97442 97455 98351 98356) (-88 "ASP8.spad" 96485 96498 97432 97437) (-87 "ASP80.spad" 95807 95820 96475 96480) (-86 "ASP7.spad" 94967 94980 95797 95802) (-85 "ASP78.spad" 94418 94431 94957 94962) (-84 "ASP77.spad" 93787 93800 94408 94413) (-83 "ASP74.spad" 92879 92892 93777 93782) (-82 "ASP73.spad" 92150 92163 92869 92874) (-81 "ASP6.spad" 91017 91030 92140 92145) (-80 "ASP55.spad" 89526 89539 91007 91012) (-79 "ASP50.spad" 87343 87356 89516 89521) (-78 "ASP4.spad" 86638 86651 87333 87338) (-77 "ASP49.spad" 85637 85650 86628 86633) (-76 "ASP42.spad" 84044 84083 85627 85632) (-75 "ASP41.spad" 82623 82662 84034 84039) (-74 "ASP35.spad" 81611 81624 82613 82618) (-73 "ASP34.spad" 80912 80925 81601 81606) (-72 "ASP33.spad" 80472 80485 80902 80907) (-71 "ASP31.spad" 79612 79625 80462 80467) (-70 "ASP30.spad" 78504 78517 79602 79607) (-69 "ASP29.spad" 77970 77983 78494 78499) (-68 "ASP28.spad" 69243 69256 77960 77965) (-67 "ASP27.spad" 68140 68153 69233 69238) (-66 "ASP24.spad" 67227 67240 68130 68135) (-65 "ASP20.spad" 66691 66704 67217 67222) (-64 "ASP1.spad" 66072 66085 66681 66686) (-63 "ASP19.spad" 60758 60771 66062 66067) (-62 "ASP12.spad" 60172 60185 60748 60753) (-61 "ASP10.spad" 59443 59456 60162 60167) (-60 "ARRAY2.spad" 58803 58812 59050 59077) (-59 "ARRAY1.spad" 57640 57649 57986 58013) (-58 "ARRAY12.spad" 56353 56364 57630 57635) (-57 "ARR2CAT.spad" 52127 52148 56321 56348) (-56 "ARR2CAT.spad" 47921 47944 52117 52122) (-55 "ARITY.spad" 47293 47300 47911 47916) (-54 "APPRULE.spad" 46553 46575 47283 47288) (-53 "APPLYORE.spad" 46172 46185 46543 46548) (-52 "ANY.spad" 45031 45038 46162 46167) (-51 "ANY1.spad" 44102 44111 45021 45026) (-50 "ANTISYM.spad" 42547 42563 44082 44097) (-49 "ANON.spad" 42240 42247 42537 42542) (-48 "AN.spad" 40549 40556 42056 42149) (-47 "AMR.spad" 38734 38745 40447 40544) (-46 "AMR.spad" 36756 36769 38471 38476) (-45 "ALIST.spad" 34168 34189 34518 34545) (-44 "ALGSC.spad" 33303 33329 34040 34093) (-43 "ALGPKG.spad" 29086 29097 33259 33264) (-42 "ALGMFACT.spad" 28279 28293 29076 29081) (-41 "ALGMANIP.spad" 25753 25768 28112 28117) (-40 "ALGFF.spad" 24068 24095 24285 24441) (-39 "ALGFACT.spad" 23195 23205 24058 24063) (-38 "ALGEBRA.spad" 23028 23037 23151 23190) (-37 "ALGEBRA.spad" 22893 22904 23018 23023) (-36 "ALAGG.spad" 22405 22426 22861 22888) (-35 "AHYP.spad" 21786 21793 22395 22400) (-34 "AGG.spad" 20103 20110 21776 21781) (-33 "AGG.spad" 18384 18393 20059 20064) (-32 "AF.spad" 16815 16830 18319 18324) (-31 "ADDAST.spad" 16493 16500 16805 16810) (-30 "ACPLOT.spad" 15084 15091 16483 16488) (-29 "ACFS.spad" 12893 12902 14986 15079) (-28 "ACFS.spad" 10788 10799 12883 12888) (-27 "ACF.spad" 7470 7477 10690 10783) (-26 "ACF.spad" 4238 4247 7460 7465) (-25 "ABELSG.spad" 3779 3786 4228 4233) (-24 "ABELSG.spad" 3318 3327 3769 3774) (-23 "ABELMON.spad" 2861 2868 3308 3313) (-22 "ABELMON.spad" 2402 2411 2851 2856) (-21 "ABELGRP.spad" 2067 2074 2392 2397) (-20 "ABELGRP.spad" 1730 1739 2057 2062) (-19 "A1AGG.spad" 870 879 1698 1725) (-18 "A1AGG.spad" 30 41 860 865)) 
-\ No newline at end of file
+((-3 NIL 2268114 2268119 2268124 2268129) (-2 NIL 2268094 2268099 2268104 2268109) (-1 NIL 2268074 2268079 2268084 2268089) (0 NIL 2268054 2268059 2268064 2268069) (-1305 "ZMOD.spad" 2267863 2267876 2267992 2268049) (-1304 "ZLINDEP.spad" 2266929 2266940 2267853 2267858) (-1303 "ZDSOLVE.spad" 2256874 2256896 2266919 2266924) (-1302 "YSTREAM.spad" 2256369 2256380 2256864 2256869) (-1301 "XRPOLY.spad" 2255589 2255609 2256225 2256294) (-1300 "XPR.spad" 2253384 2253397 2255307 2255406) (-1299 "XPOLY.spad" 2252939 2252950 2253240 2253309) (-1298 "XPOLYC.spad" 2252258 2252274 2252865 2252934) (-1297 "XPBWPOLY.spad" 2250695 2250715 2252038 2252107) (-1296 "XF.spad" 2249158 2249173 2250597 2250690) (-1295 "XF.spad" 2247601 2247618 2249042 2249047) (-1294 "XFALG.spad" 2244649 2244665 2247527 2247596) (-1293 "XEXPPKG.spad" 2243900 2243926 2244639 2244644) (-1292 "XDPOLY.spad" 2243514 2243530 2243756 2243825) (-1291 "XALG.spad" 2243174 2243185 2243470 2243509) (-1290 "WUTSET.spad" 2239013 2239030 2242820 2242847) (-1289 "WP.spad" 2238212 2238256 2238871 2238938) (-1288 "WHILEAST.spad" 2238010 2238019 2238202 2238207) (-1287 "WHEREAST.spad" 2237681 2237690 2238000 2238005) (-1286 "WFFINTBS.spad" 2235344 2235366 2237671 2237676) (-1285 "WEIER.spad" 2233566 2233577 2235334 2235339) (-1284 "VSPACE.spad" 2233239 2233250 2233534 2233561) (-1283 "VSPACE.spad" 2232932 2232945 2233229 2233234) (-1282 "VOID.spad" 2232609 2232618 2232922 2232927) (-1281 "VIEW.spad" 2230289 2230298 2232599 2232604) (-1280 "VIEWDEF.spad" 2225490 2225499 2230279 2230284) (-1279 "VIEW3D.spad" 2209451 2209460 2225480 2225485) (-1278 "VIEW2D.spad" 2197342 2197351 2209441 2209446) (-1277 "VECTOR.spad" 2196016 2196027 2196267 2196294) (-1276 "VECTOR2.spad" 2194655 2194668 2196006 2196011) (-1275 "VECTCAT.spad" 2192559 2192570 2194623 2194650) (-1274 "VECTCAT.spad" 2190270 2190283 2192336 2192341) (-1273 "VARIABLE.spad" 2190050 2190065 2190260 2190265) (-1272 "UTYPE.spad" 2189694 2189703 2190040 2190045) (-1271 "UTSODETL.spad" 2188989 2189013 2189650 2189655) (-1270 "UTSODE.spad" 2187205 2187225 2188979 2188984) (-1269 "UTS.spad" 2182009 2182037 2185672 2185769) (-1268 "UTSCAT.spad" 2179488 2179504 2181907 2182004) (-1267 "UTSCAT.spad" 2176611 2176629 2179032 2179037) (-1266 "UTS2.spad" 2176206 2176241 2176601 2176606) (-1265 "URAGG.spad" 2170879 2170890 2176196 2176201) (-1264 "URAGG.spad" 2165516 2165529 2170835 2170840) (-1263 "UPXSSING.spad" 2163161 2163187 2164597 2164730) (-1262 "UPXS.spad" 2160315 2160343 2161293 2161442) (-1261 "UPXSCONS.spad" 2158074 2158094 2158447 2158596) (-1260 "UPXSCCA.spad" 2156645 2156665 2157920 2158069) (-1259 "UPXSCCA.spad" 2155358 2155380 2156635 2156640) (-1258 "UPXSCAT.spad" 2153947 2153963 2155204 2155353) (-1257 "UPXS2.spad" 2153490 2153543 2153937 2153942) (-1256 "UPSQFREE.spad" 2151904 2151918 2153480 2153485) (-1255 "UPSCAT.spad" 2149515 2149539 2151802 2151899) (-1254 "UPSCAT.spad" 2146832 2146858 2149121 2149126) (-1253 "UPOLYC.spad" 2141872 2141883 2146674 2146827) (-1252 "UPOLYC.spad" 2136804 2136817 2141608 2141613) (-1251 "UPOLYC2.spad" 2136275 2136294 2136794 2136799) (-1250 "UP.spad" 2133474 2133489 2133861 2134014) (-1249 "UPMP.spad" 2132374 2132387 2133464 2133469) (-1248 "UPDIVP.spad" 2131939 2131953 2132364 2132369) (-1247 "UPDECOMP.spad" 2130184 2130198 2131929 2131934) (-1246 "UPCDEN.spad" 2129393 2129409 2130174 2130179) (-1245 "UP2.spad" 2128757 2128778 2129383 2129388) (-1244 "UNISEG.spad" 2128110 2128121 2128676 2128681) (-1243 "UNISEG2.spad" 2127607 2127620 2128066 2128071) (-1242 "UNIFACT.spad" 2126710 2126722 2127597 2127602) (-1241 "ULS.spad" 2117268 2117296 2118355 2118784) (-1240 "ULSCONS.spad" 2109664 2109684 2110034 2110183) (-1239 "ULSCCAT.spad" 2107401 2107421 2109510 2109659) (-1238 "ULSCCAT.spad" 2105246 2105268 2107357 2107362) (-1237 "ULSCAT.spad" 2103478 2103494 2105092 2105241) (-1236 "ULS2.spad" 2102992 2103045 2103468 2103473) (-1235 "UINT8.spad" 2102869 2102878 2102982 2102987) (-1234 "UINT64.spad" 2102745 2102754 2102859 2102864) (-1233 "UINT32.spad" 2102621 2102630 2102735 2102740) (-1232 "UINT16.spad" 2102497 2102506 2102611 2102616) (-1231 "UFD.spad" 2101562 2101571 2102423 2102492) (-1230 "UFD.spad" 2100689 2100700 2101552 2101557) (-1229 "UDVO.spad" 2099570 2099579 2100679 2100684) (-1228 "UDPO.spad" 2097063 2097074 2099526 2099531) (-1227 "TYPE.spad" 2096995 2097004 2097053 2097058) (-1226 "TYPEAST.spad" 2096914 2096923 2096985 2096990) (-1225 "TWOFACT.spad" 2095566 2095581 2096904 2096909) (-1224 "TUPLE.spad" 2095052 2095063 2095465 2095470) (-1223 "TUBETOOL.spad" 2091919 2091928 2095042 2095047) (-1222 "TUBE.spad" 2090566 2090583 2091909 2091914) (-1221 "TS.spad" 2089165 2089181 2090131 2090228) (-1220 "TSETCAT.spad" 2076292 2076309 2089133 2089160) (-1219 "TSETCAT.spad" 2063405 2063424 2076248 2076253) (-1218 "TRMANIP.spad" 2057771 2057788 2063111 2063116) (-1217 "TRIMAT.spad" 2056734 2056759 2057761 2057766) (-1216 "TRIGMNIP.spad" 2055261 2055278 2056724 2056729) (-1215 "TRIGCAT.spad" 2054773 2054782 2055251 2055256) (-1214 "TRIGCAT.spad" 2054283 2054294 2054763 2054768) (-1213 "TREE.spad" 2052858 2052869 2053890 2053917) (-1212 "TRANFUN.spad" 2052697 2052706 2052848 2052853) (-1211 "TRANFUN.spad" 2052534 2052545 2052687 2052692) (-1210 "TOPSP.spad" 2052208 2052217 2052524 2052529) (-1209 "TOOLSIGN.spad" 2051871 2051882 2052198 2052203) (-1208 "TEXTFILE.spad" 2050432 2050441 2051861 2051866) (-1207 "TEX.spad" 2047578 2047587 2050422 2050427) (-1206 "TEX1.spad" 2047134 2047145 2047568 2047573) (-1205 "TEMUTL.spad" 2046689 2046698 2047124 2047129) (-1204 "TBCMPPK.spad" 2044782 2044805 2046679 2046684) (-1203 "TBAGG.spad" 2043832 2043855 2044762 2044777) (-1202 "TBAGG.spad" 2042890 2042915 2043822 2043827) (-1201 "TANEXP.spad" 2042298 2042309 2042880 2042885) (-1200 "TALGOP.spad" 2042022 2042033 2042288 2042293) (-1199 "TABLE.spad" 2040433 2040456 2040703 2040730) (-1198 "TABLEAU.spad" 2039914 2039925 2040423 2040428) (-1197 "TABLBUMP.spad" 2036717 2036728 2039904 2039909) (-1196 "SYSTEM.spad" 2035945 2035954 2036707 2036712) (-1195 "SYSSOLP.spad" 2033428 2033439 2035935 2035940) (-1194 "SYSPTR.spad" 2033327 2033336 2033418 2033423) (-1193 "SYSNNI.spad" 2032509 2032520 2033317 2033322) (-1192 "SYSINT.spad" 2031913 2031924 2032499 2032504) (-1191 "SYNTAX.spad" 2028119 2028128 2031903 2031908) (-1190 "SYMTAB.spad" 2026187 2026196 2028109 2028114) (-1189 "SYMS.spad" 2022210 2022219 2026177 2026182) (-1188 "SYMPOLY.spad" 2021217 2021228 2021299 2021426) (-1187 "SYMFUNC.spad" 2020718 2020729 2021207 2021212) (-1186 "SYMBOL.spad" 2018221 2018230 2020708 2020713) (-1185 "SWITCH.spad" 2014992 2015001 2018211 2018216) (-1184 "SUTS.spad" 2011897 2011925 2013459 2013556) (-1183 "SUPXS.spad" 2009038 2009066 2010029 2010178) (-1182 "SUP.spad" 2005851 2005862 2006624 2006777) (-1181 "SUPFRACF.spad" 2004956 2004974 2005841 2005846) (-1180 "SUP2.spad" 2004348 2004361 2004946 2004951) (-1179 "SUMRF.spad" 2003322 2003333 2004338 2004343) (-1178 "SUMFS.spad" 2002959 2002976 2003312 2003317) (-1177 "SULS.spad" 1993504 1993532 1994604 1995033) (-1176 "SUCHTAST.spad" 1993273 1993282 1993494 1993499) (-1175 "SUCH.spad" 1992955 1992970 1993263 1993268) (-1174 "SUBSPACE.spad" 1985070 1985085 1992945 1992950) (-1173 "SUBRESP.spad" 1984240 1984254 1985026 1985031) (-1172 "STTF.spad" 1980339 1980355 1984230 1984235) (-1171 "STTFNC.spad" 1976807 1976823 1980329 1980334) (-1170 "STTAYLOR.spad" 1969442 1969453 1976688 1976693) (-1169 "STRTBL.spad" 1967947 1967964 1968096 1968123) (-1168 "STRING.spad" 1967356 1967365 1967370 1967397) (-1167 "STRICAT.spad" 1967144 1967153 1967324 1967351) (-1166 "STREAM.spad" 1964062 1964073 1966669 1966684) (-1165 "STREAM3.spad" 1963635 1963650 1964052 1964057) (-1164 "STREAM2.spad" 1962763 1962776 1963625 1963630) (-1163 "STREAM1.spad" 1962469 1962480 1962753 1962758) (-1162 "STINPROD.spad" 1961405 1961421 1962459 1962464) (-1161 "STEP.spad" 1960606 1960615 1961395 1961400) (-1160 "STEPAST.spad" 1959840 1959849 1960596 1960601) (-1159 "STBL.spad" 1958366 1958394 1958533 1958548) (-1158 "STAGG.spad" 1957441 1957452 1958356 1958361) (-1157 "STAGG.spad" 1956514 1956527 1957431 1957436) (-1156 "STACK.spad" 1955871 1955882 1956121 1956148) (-1155 "SREGSET.spad" 1953575 1953592 1955517 1955544) (-1154 "SRDCMPK.spad" 1952136 1952156 1953565 1953570) (-1153 "SRAGG.spad" 1947279 1947288 1952104 1952131) (-1152 "SRAGG.spad" 1942442 1942453 1947269 1947274) (-1151 "SQMATRIX.spad" 1940058 1940076 1940974 1941061) (-1150 "SPLTREE.spad" 1934610 1934623 1939494 1939521) (-1149 "SPLNODE.spad" 1931198 1931211 1934600 1934605) (-1148 "SPFCAT.spad" 1930007 1930016 1931188 1931193) (-1147 "SPECOUT.spad" 1928559 1928568 1929997 1930002) (-1146 "SPADXPT.spad" 1920154 1920163 1928549 1928554) (-1145 "spad-parser.spad" 1919619 1919628 1920144 1920149) (-1144 "SPADAST.spad" 1919320 1919329 1919609 1919614) (-1143 "SPACEC.spad" 1903519 1903530 1919310 1919315) (-1142 "SPACE3.spad" 1903295 1903306 1903509 1903514) (-1141 "SORTPAK.spad" 1902844 1902857 1903251 1903256) (-1140 "SOLVETRA.spad" 1900607 1900618 1902834 1902839) (-1139 "SOLVESER.spad" 1899135 1899146 1900597 1900602) (-1138 "SOLVERAD.spad" 1895161 1895172 1899125 1899130) (-1137 "SOLVEFOR.spad" 1893623 1893641 1895151 1895156) (-1136 "SNTSCAT.spad" 1893223 1893240 1893591 1893618) (-1135 "SMTS.spad" 1891495 1891521 1892788 1892885) (-1134 "SMP.spad" 1888970 1888990 1889360 1889487) (-1133 "SMITH.spad" 1887815 1887840 1888960 1888965) (-1132 "SMATCAT.spad" 1885925 1885955 1887759 1887810) (-1131 "SMATCAT.spad" 1883967 1883999 1885803 1885808) (-1130 "SKAGG.spad" 1882930 1882941 1883935 1883962) (-1129 "SINT.spad" 1881870 1881879 1882796 1882925) (-1128 "SIMPAN.spad" 1881598 1881607 1881860 1881865) (-1127 "SIG.spad" 1880928 1880937 1881588 1881593) (-1126 "SIGNRF.spad" 1880046 1880057 1880918 1880923) (-1125 "SIGNEF.spad" 1879325 1879342 1880036 1880041) (-1124 "SIGAST.spad" 1878710 1878719 1879315 1879320) (-1123 "SHP.spad" 1876638 1876653 1878666 1878671) (-1122 "SHDP.spad" 1866349 1866376 1866858 1866989) (-1121 "SGROUP.spad" 1865957 1865966 1866339 1866344) (-1120 "SGROUP.spad" 1865563 1865574 1865947 1865952) (-1119 "SGCF.spad" 1858726 1858735 1865553 1865558) (-1118 "SFRTCAT.spad" 1857656 1857673 1858694 1858721) (-1117 "SFRGCD.spad" 1856719 1856739 1857646 1857651) (-1116 "SFQCMPK.spad" 1851356 1851376 1856709 1856714) (-1115 "SFORT.spad" 1850795 1850809 1851346 1851351) (-1114 "SEXOF.spad" 1850638 1850678 1850785 1850790) (-1113 "SEX.spad" 1850530 1850539 1850628 1850633) (-1112 "SEXCAT.spad" 1848131 1848171 1850520 1850525) (-1111 "SET.spad" 1846455 1846466 1847552 1847591) (-1110 "SETMN.spad" 1844905 1844922 1846445 1846450) (-1109 "SETCAT.spad" 1844227 1844236 1844895 1844900) (-1108 "SETCAT.spad" 1843547 1843558 1844217 1844222) (-1107 "SETAGG.spad" 1840096 1840107 1843527 1843542) (-1106 "SETAGG.spad" 1836653 1836666 1840086 1840091) (-1105 "SEQAST.spad" 1836356 1836365 1836643 1836648) (-1104 "SEGXCAT.spad" 1835512 1835525 1836346 1836351) (-1103 "SEG.spad" 1835325 1835336 1835431 1835436) (-1102 "SEGCAT.spad" 1834250 1834261 1835315 1835320) (-1101 "SEGBIND.spad" 1834008 1834019 1834197 1834202) (-1100 "SEGBIND2.spad" 1833706 1833719 1833998 1834003) (-1099 "SEGAST.spad" 1833420 1833429 1833696 1833701) (-1098 "SEG2.spad" 1832855 1832868 1833376 1833381) (-1097 "SDVAR.spad" 1832131 1832142 1832845 1832850) (-1096 "SDPOL.spad" 1829557 1829568 1829848 1829975) (-1095 "SCPKG.spad" 1827646 1827657 1829547 1829552) (-1094 "SCOPE.spad" 1826799 1826808 1827636 1827641) (-1093 "SCACHE.spad" 1825495 1825506 1826789 1826794) (-1092 "SASTCAT.spad" 1825404 1825413 1825485 1825490) (-1091 "SAOS.spad" 1825276 1825285 1825394 1825399) (-1090 "SAERFFC.spad" 1824989 1825009 1825266 1825271) (-1089 "SAE.spad" 1823164 1823180 1823775 1823910) (-1088 "SAEFACT.spad" 1822865 1822885 1823154 1823159) (-1087 "RURPK.spad" 1820524 1820540 1822855 1822860) (-1086 "RULESET.spad" 1819977 1820001 1820514 1820519) (-1085 "RULE.spad" 1818217 1818241 1819967 1819972) (-1084 "RULECOLD.spad" 1818069 1818082 1818207 1818212) (-1083 "RTVALUE.spad" 1817804 1817813 1818059 1818064) (-1082 "RSTRCAST.spad" 1817521 1817530 1817794 1817799) (-1081 "RSETGCD.spad" 1813899 1813919 1817511 1817516) (-1080 "RSETCAT.spad" 1803835 1803852 1813867 1813894) (-1079 "RSETCAT.spad" 1793791 1793810 1803825 1803830) (-1078 "RSDCMPK.spad" 1792243 1792263 1793781 1793786) (-1077 "RRCC.spad" 1790627 1790657 1792233 1792238) (-1076 "RRCC.spad" 1789009 1789041 1790617 1790622) (-1075 "RPTAST.spad" 1788711 1788720 1788999 1789004) (-1074 "RPOLCAT.spad" 1768071 1768086 1788579 1788706) (-1073 "RPOLCAT.spad" 1747144 1747161 1767654 1767659) (-1072 "ROUTINE.spad" 1743027 1743036 1745791 1745818) (-1071 "ROMAN.spad" 1742355 1742364 1742893 1743022) (-1070 "ROIRC.spad" 1741435 1741467 1742345 1742350) (-1069 "RNS.spad" 1740338 1740347 1741337 1741430) (-1068 "RNS.spad" 1739327 1739338 1740328 1740333) (-1067 "RNG.spad" 1739062 1739071 1739317 1739322) (-1066 "RNGBIND.spad" 1738222 1738236 1739017 1739022) (-1065 "RMODULE.spad" 1737987 1737998 1738212 1738217) (-1064 "RMCAT2.spad" 1737407 1737464 1737977 1737982) (-1063 "RMATRIX.spad" 1736231 1736250 1736574 1736613) (-1062 "RMATCAT.spad" 1731810 1731841 1736187 1736226) (-1061 "RMATCAT.spad" 1727279 1727312 1731658 1731663) (-1060 "RLINSET.spad" 1726673 1726684 1727269 1727274) (-1059 "RINTERP.spad" 1726561 1726581 1726663 1726668) (-1058 "RING.spad" 1726031 1726040 1726541 1726556) (-1057 "RING.spad" 1725509 1725520 1726021 1726026) (-1056 "RIDIST.spad" 1724901 1724910 1725499 1725504) (-1055 "RGCHAIN.spad" 1723484 1723500 1724386 1724413) (-1054 "RGBCSPC.spad" 1723265 1723277 1723474 1723479) (-1053 "RGBCMDL.spad" 1722795 1722807 1723255 1723260) (-1052 "RF.spad" 1720437 1720448 1722785 1722790) (-1051 "RFFACTOR.spad" 1719899 1719910 1720427 1720432) (-1050 "RFFACT.spad" 1719634 1719646 1719889 1719894) (-1049 "RFDIST.spad" 1718630 1718639 1719624 1719629) (-1048 "RETSOL.spad" 1718049 1718062 1718620 1718625) (-1047 "RETRACT.spad" 1717477 1717488 1718039 1718044) (-1046 "RETRACT.spad" 1716903 1716916 1717467 1717472) (-1045 "RETAST.spad" 1716715 1716724 1716893 1716898) (-1044 "RESULT.spad" 1714775 1714784 1715362 1715389) (-1043 "RESRING.spad" 1714122 1714169 1714713 1714770) (-1042 "RESLATC.spad" 1713446 1713457 1714112 1714117) (-1041 "REPSQ.spad" 1713177 1713188 1713436 1713441) (-1040 "REP.spad" 1710731 1710740 1713167 1713172) (-1039 "REPDB.spad" 1710438 1710449 1710721 1710726) (-1038 "REP2.spad" 1700096 1700107 1710280 1710285) (-1037 "REP1.spad" 1694292 1694303 1700046 1700051) (-1036 "REGSET.spad" 1692089 1692106 1693938 1693965) (-1035 "REF.spad" 1691424 1691435 1692044 1692049) (-1034 "REDORDER.spad" 1690630 1690647 1691414 1691419) (-1033 "RECLOS.spad" 1689413 1689433 1690117 1690210) (-1032 "REALSOLV.spad" 1688553 1688562 1689403 1689408) (-1031 "REAL.spad" 1688425 1688434 1688543 1688548) (-1030 "REAL0Q.spad" 1685723 1685738 1688415 1688420) (-1029 "REAL0.spad" 1682567 1682582 1685713 1685718) (-1028 "RDUCEAST.spad" 1682288 1682297 1682557 1682562) (-1027 "RDIV.spad" 1681943 1681968 1682278 1682283) (-1026 "RDIST.spad" 1681510 1681521 1681933 1681938) (-1025 "RDETRS.spad" 1680374 1680392 1681500 1681505) (-1024 "RDETR.spad" 1678513 1678531 1680364 1680369) (-1023 "RDEEFS.spad" 1677612 1677629 1678503 1678508) (-1022 "RDEEF.spad" 1676622 1676639 1677602 1677607) (-1021 "RCFIELD.spad" 1673808 1673817 1676524 1676617) (-1020 "RCFIELD.spad" 1671080 1671091 1673798 1673803) (-1019 "RCAGG.spad" 1669008 1669019 1671070 1671075) (-1018 "RCAGG.spad" 1666863 1666876 1668927 1668932) (-1017 "RATRET.spad" 1666223 1666234 1666853 1666858) (-1016 "RATFACT.spad" 1665915 1665927 1666213 1666218) (-1015 "RANDSRC.spad" 1665234 1665243 1665905 1665910) (-1014 "RADUTIL.spad" 1664990 1664999 1665224 1665229) (-1013 "RADIX.spad" 1661911 1661925 1663457 1663550) (-1012 "RADFF.spad" 1660324 1660361 1660443 1660599) (-1011 "RADCAT.spad" 1659919 1659928 1660314 1660319) (-1010 "RADCAT.spad" 1659512 1659523 1659909 1659914) (-1009 "QUEUE.spad" 1658860 1658871 1659119 1659146) (-1008 "QUAT.spad" 1657441 1657452 1657784 1657849) (-1007 "QUATCT2.spad" 1657061 1657080 1657431 1657436) (-1006 "QUATCAT.spad" 1655231 1655242 1656991 1657056) (-1005 "QUATCAT.spad" 1653152 1653165 1654914 1654919) (-1004 "QUAGG.spad" 1651979 1651990 1653120 1653147) (-1003 "QQUTAST.spad" 1651747 1651756 1651969 1651974) (-1002 "QFORM.spad" 1651211 1651226 1651737 1651742) (-1001 "QFCAT.spad" 1649913 1649924 1651113 1651206) (-1000 "QFCAT.spad" 1648206 1648219 1649408 1649413) (-999 "QFCAT2.spad" 1647899 1647915 1648196 1648201) (-998 "QEQUAT.spad" 1647458 1647466 1647889 1647894) (-997 "QCMPACK.spad" 1642205 1642224 1647448 1647453) (-996 "QALGSET.spad" 1638284 1638316 1642119 1642124) (-995 "QALGSET2.spad" 1636280 1636298 1638274 1638279) (-994 "PWFFINTB.spad" 1633696 1633717 1636270 1636275) (-993 "PUSHVAR.spad" 1633035 1633054 1633686 1633691) (-992 "PTRANFN.spad" 1629163 1629173 1633025 1633030) (-991 "PTPACK.spad" 1626251 1626261 1629153 1629158) (-990 "PTFUNC2.spad" 1626074 1626088 1626241 1626246) (-989 "PTCAT.spad" 1625329 1625339 1626042 1626069) (-988 "PSQFR.spad" 1624636 1624660 1625319 1625324) (-987 "PSEUDLIN.spad" 1623522 1623532 1624626 1624631) (-986 "PSETPK.spad" 1608955 1608971 1623400 1623405) (-985 "PSETCAT.spad" 1602875 1602898 1608935 1608950) (-984 "PSETCAT.spad" 1596769 1596794 1602831 1602836) (-983 "PSCURVE.spad" 1595752 1595760 1596759 1596764) (-982 "PSCAT.spad" 1594535 1594564 1595650 1595747) (-981 "PSCAT.spad" 1593408 1593439 1594525 1594530) (-980 "PRTITION.spad" 1592517 1592525 1593398 1593403) (-979 "PRTDAST.spad" 1592236 1592244 1592507 1592512) (-978 "PRS.spad" 1581798 1581815 1592192 1592197) (-977 "PRQAGG.spad" 1581233 1581243 1581766 1581793) (-976 "PROPLOG.spad" 1580805 1580813 1581223 1581228) (-975 "PROPFUN2.spad" 1580428 1580441 1580795 1580800) (-974 "PROPFUN1.spad" 1579826 1579837 1580418 1580423) (-973 "PROPFRML.spad" 1578394 1578405 1579816 1579821) (-972 "PROPERTY.spad" 1577882 1577890 1578384 1578389) (-971 "PRODUCT.spad" 1575564 1575576 1575848 1575903) (-970 "PR.spad" 1573956 1573968 1574655 1574782) (-969 "PRINT.spad" 1573708 1573716 1573946 1573951) (-968 "PRIMES.spad" 1571961 1571971 1573698 1573703) (-967 "PRIMELT.spad" 1570042 1570056 1571951 1571956) (-966 "PRIMCAT.spad" 1569669 1569677 1570032 1570037) (-965 "PRIMARR.spad" 1568674 1568684 1568852 1568879) (-964 "PRIMARR2.spad" 1567441 1567453 1568664 1568669) (-963 "PREASSOC.spad" 1566823 1566835 1567431 1567436) (-962 "PPCURVE.spad" 1565960 1565968 1566813 1566818) (-961 "PORTNUM.spad" 1565735 1565743 1565950 1565955) (-960 "POLYROOT.spad" 1564584 1564606 1565691 1565696) (-959 "POLY.spad" 1561919 1561929 1562434 1562561) (-958 "POLYLIFT.spad" 1561184 1561207 1561909 1561914) (-957 "POLYCATQ.spad" 1559302 1559324 1561174 1561179) (-956 "POLYCAT.spad" 1552772 1552793 1559170 1559297) (-955 "POLYCAT.spad" 1545580 1545603 1551980 1551985) (-954 "POLY2UP.spad" 1545032 1545046 1545570 1545575) (-953 "POLY2.spad" 1544629 1544641 1545022 1545027) (-952 "POLUTIL.spad" 1543570 1543599 1544585 1544590) (-951 "POLTOPOL.spad" 1542318 1542333 1543560 1543565) (-950 "POINT.spad" 1541156 1541166 1541243 1541270) (-949 "PNTHEORY.spad" 1537858 1537866 1541146 1541151) (-948 "PMTOOLS.spad" 1536633 1536647 1537848 1537853) (-947 "PMSYM.spad" 1536182 1536192 1536623 1536628) (-946 "PMQFCAT.spad" 1535773 1535787 1536172 1536177) (-945 "PMPRED.spad" 1535252 1535266 1535763 1535768) (-944 "PMPREDFS.spad" 1534706 1534728 1535242 1535247) (-943 "PMPLCAT.spad" 1533786 1533804 1534638 1534643) (-942 "PMLSAGG.spad" 1533371 1533385 1533776 1533781) (-941 "PMKERNEL.spad" 1532950 1532962 1533361 1533366) (-940 "PMINS.spad" 1532530 1532540 1532940 1532945) (-939 "PMFS.spad" 1532107 1532125 1532520 1532525) (-938 "PMDOWN.spad" 1531397 1531411 1532097 1532102) (-937 "PMASS.spad" 1530407 1530415 1531387 1531392) (-936 "PMASSFS.spad" 1529374 1529390 1530397 1530402) (-935 "PLOTTOOL.spad" 1529154 1529162 1529364 1529369) (-934 "PLOT.spad" 1524077 1524085 1529144 1529149) (-933 "PLOT3D.spad" 1520541 1520549 1524067 1524072) (-932 "PLOT1.spad" 1519698 1519708 1520531 1520536) (-931 "PLEQN.spad" 1506988 1507015 1519688 1519693) (-930 "PINTERP.spad" 1506610 1506629 1506978 1506983) (-929 "PINTERPA.spad" 1506394 1506410 1506600 1506605) (-928 "PI.spad" 1506003 1506011 1506368 1506389) (-927 "PID.spad" 1504973 1504981 1505929 1505998) (-926 "PICOERCE.spad" 1504630 1504640 1504963 1504968) (-925 "PGROEB.spad" 1503231 1503245 1504620 1504625) (-924 "PGE.spad" 1494848 1494856 1503221 1503226) (-923 "PGCD.spad" 1493738 1493755 1494838 1494843) (-922 "PFRPAC.spad" 1492887 1492897 1493728 1493733) (-921 "PFR.spad" 1489550 1489560 1492789 1492882) (-920 "PFOTOOLS.spad" 1488808 1488824 1489540 1489545) (-919 "PFOQ.spad" 1488178 1488196 1488798 1488803) (-918 "PFO.spad" 1487597 1487624 1488168 1488173) (-917 "PF.spad" 1487171 1487183 1487402 1487495) (-916 "PFECAT.spad" 1484853 1484861 1487097 1487166) (-915 "PFECAT.spad" 1482563 1482573 1484809 1484814) (-914 "PFBRU.spad" 1480451 1480463 1482553 1482558) (-913 "PFBR.spad" 1478011 1478034 1480441 1480446) (-912 "PERM.spad" 1473696 1473706 1477841 1477856) (-911 "PERMGRP.spad" 1468458 1468468 1473686 1473691) (-910 "PERMCAT.spad" 1467016 1467026 1468438 1468453) (-909 "PERMAN.spad" 1465548 1465562 1467006 1467011) (-908 "PENDTREE.spad" 1464889 1464899 1465177 1465182) (-907 "PDRING.spad" 1463440 1463450 1464869 1464884) (-906 "PDRING.spad" 1461999 1462011 1463430 1463435) (-905 "PDEPROB.spad" 1461014 1461022 1461989 1461994) (-904 "PDEPACK.spad" 1455054 1455062 1461004 1461009) (-903 "PDECOMP.spad" 1454524 1454541 1455044 1455049) (-902 "PDECAT.spad" 1452880 1452888 1454514 1454519) (-901 "PCOMP.spad" 1452733 1452746 1452870 1452875) (-900 "PBWLB.spad" 1451321 1451338 1452723 1452728) (-899 "PATTERN.spad" 1445860 1445870 1451311 1451316) (-898 "PATTERN2.spad" 1445598 1445610 1445850 1445855) (-897 "PATTERN1.spad" 1443934 1443950 1445588 1445593) (-896 "PATRES.spad" 1441509 1441521 1443924 1443929) (-895 "PATRES2.spad" 1441181 1441195 1441499 1441504) (-894 "PATMATCH.spad" 1439378 1439409 1440889 1440894) (-893 "PATMAB.spad" 1438807 1438817 1439368 1439373) (-892 "PATLRES.spad" 1437893 1437907 1438797 1438802) (-891 "PATAB.spad" 1437657 1437667 1437883 1437888) (-890 "PARTPERM.spad" 1435057 1435065 1437647 1437652) (-889 "PARSURF.spad" 1434491 1434519 1435047 1435052) (-888 "PARSU2.spad" 1434288 1434304 1434481 1434486) (-887 "script-parser.spad" 1433808 1433816 1434278 1434283) (-886 "PARSCURV.spad" 1433242 1433270 1433798 1433803) (-885 "PARSC2.spad" 1433033 1433049 1433232 1433237) (-884 "PARPCURV.spad" 1432495 1432523 1433023 1433028) (-883 "PARPC2.spad" 1432286 1432302 1432485 1432490) (-882 "PARAMAST.spad" 1431414 1431422 1432276 1432281) (-881 "PAN2EXPR.spad" 1430826 1430834 1431404 1431409) (-880 "PALETTE.spad" 1429796 1429804 1430816 1430821) (-879 "PAIR.spad" 1428783 1428796 1429384 1429389) (-878 "PADICRC.spad" 1426117 1426135 1427288 1427381) (-877 "PADICRAT.spad" 1424132 1424144 1424353 1424446) (-876 "PADIC.spad" 1423827 1423839 1424058 1424127) (-875 "PADICCT.spad" 1422376 1422388 1423753 1423822) (-874 "PADEPAC.spad" 1421065 1421084 1422366 1422371) (-873 "PADE.spad" 1419817 1419833 1421055 1421060) (-872 "OWP.spad" 1419057 1419087 1419675 1419742) (-871 "OVERSET.spad" 1418630 1418638 1419047 1419052) (-870 "OVAR.spad" 1418411 1418434 1418620 1418625) (-869 "OUT.spad" 1417497 1417505 1418401 1418406) (-868 "OUTFORM.spad" 1406889 1406897 1417487 1417492) (-867 "OUTBFILE.spad" 1406307 1406315 1406879 1406884) (-866 "OUTBCON.spad" 1405313 1405321 1406297 1406302) (-865 "OUTBCON.spad" 1404317 1404327 1405303 1405308) (-864 "OSI.spad" 1403792 1403800 1404307 1404312) (-863 "OSGROUP.spad" 1403710 1403718 1403782 1403787) (-862 "ORTHPOL.spad" 1402195 1402205 1403627 1403632) (-861 "OREUP.spad" 1401648 1401676 1401875 1401914) (-860 "ORESUP.spad" 1400949 1400973 1401328 1401367) (-859 "OREPCTO.spad" 1398806 1398818 1400869 1400874) (-858 "OREPCAT.spad" 1392953 1392963 1398762 1398801) (-857 "OREPCAT.spad" 1386990 1387002 1392801 1392806) (-856 "ORDSET.spad" 1386162 1386170 1386980 1386985) (-855 "ORDSET.spad" 1385332 1385342 1386152 1386157) (-854 "ORDRING.spad" 1384722 1384730 1385312 1385327) (-853 "ORDRING.spad" 1384120 1384130 1384712 1384717) (-852 "ORDMON.spad" 1383975 1383983 1384110 1384115) (-851 "ORDFUNS.spad" 1383107 1383123 1383965 1383970) (-850 "ORDFIN.spad" 1382927 1382935 1383097 1383102) (-849 "ORDCOMP.spad" 1381392 1381402 1382474 1382503) (-848 "ORDCOMP2.spad" 1380685 1380697 1381382 1381387) (-847 "OPTPROB.spad" 1379323 1379331 1380675 1380680) (-846 "OPTPACK.spad" 1371732 1371740 1379313 1379318) (-845 "OPTCAT.spad" 1369411 1369419 1371722 1371727) (-844 "OPSIG.spad" 1369065 1369073 1369401 1369406) (-843 "OPQUERY.spad" 1368614 1368622 1369055 1369060) (-842 "OP.spad" 1368356 1368366 1368436 1368503) (-841 "OPERCAT.spad" 1367822 1367832 1368346 1368351) (-840 "OPERCAT.spad" 1367286 1367298 1367812 1367817) (-839 "ONECOMP.spad" 1366031 1366041 1366833 1366862) (-838 "ONECOMP2.spad" 1365455 1365467 1366021 1366026) (-837 "OMSERVER.spad" 1364461 1364469 1365445 1365450) (-836 "OMSAGG.spad" 1364249 1364259 1364417 1364456) (-835 "OMPKG.spad" 1362865 1362873 1364239 1364244) (-834 "OM.spad" 1361838 1361846 1362855 1362860) (-833 "OMLO.spad" 1361263 1361275 1361724 1361763) (-832 "OMEXPR.spad" 1361097 1361107 1361253 1361258) (-831 "OMERR.spad" 1360642 1360650 1361087 1361092) (-830 "OMERRK.spad" 1359676 1359684 1360632 1360637) (-829 "OMENC.spad" 1359020 1359028 1359666 1359671) (-828 "OMDEV.spad" 1353329 1353337 1359010 1359015) (-827 "OMCONN.spad" 1352738 1352746 1353319 1353324) (-826 "OINTDOM.spad" 1352501 1352509 1352664 1352733) (-825 "OFMONOID.spad" 1350624 1350634 1352457 1352462) (-824 "ODVAR.spad" 1349885 1349895 1350614 1350619) (-823 "ODR.spad" 1349529 1349555 1349697 1349846) (-822 "ODPOL.spad" 1346911 1346921 1347251 1347378) (-821 "ODP.spad" 1336758 1336778 1337131 1337262) (-820 "ODETOOLS.spad" 1335407 1335426 1336748 1336753) (-819 "ODESYS.spad" 1333101 1333118 1335397 1335402) (-818 "ODERTRIC.spad" 1329110 1329127 1333058 1333063) (-817 "ODERED.spad" 1328509 1328533 1329100 1329105) (-816 "ODERAT.spad" 1326124 1326141 1328499 1328504) (-815 "ODEPRRIC.spad" 1323161 1323183 1326114 1326119) (-814 "ODEPROB.spad" 1322418 1322426 1323151 1323156) (-813 "ODEPRIM.spad" 1319752 1319774 1322408 1322413) (-812 "ODEPAL.spad" 1319138 1319162 1319742 1319747) (-811 "ODEPACK.spad" 1305804 1305812 1319128 1319133) (-810 "ODEINT.spad" 1305239 1305255 1305794 1305799) (-809 "ODEIFTBL.spad" 1302634 1302642 1305229 1305234) (-808 "ODEEF.spad" 1298125 1298141 1302624 1302629) (-807 "ODECONST.spad" 1297662 1297680 1298115 1298120) (-806 "ODECAT.spad" 1296260 1296268 1297652 1297657) (-805 "OCT.spad" 1294396 1294406 1295110 1295149) (-804 "OCTCT2.spad" 1294042 1294063 1294386 1294391) (-803 "OC.spad" 1291838 1291848 1293998 1294037) (-802 "OC.spad" 1289359 1289371 1291521 1291526) (-801 "OCAMON.spad" 1289207 1289215 1289349 1289354) (-800 "OASGP.spad" 1289022 1289030 1289197 1289202) (-799 "OAMONS.spad" 1288544 1288552 1289012 1289017) (-798 "OAMON.spad" 1288405 1288413 1288534 1288539) (-797 "OAGROUP.spad" 1288267 1288275 1288395 1288400) (-796 "NUMTUBE.spad" 1287858 1287874 1288257 1288262) (-795 "NUMQUAD.spad" 1275834 1275842 1287848 1287853) (-794 "NUMODE.spad" 1267188 1267196 1275824 1275829) (-793 "NUMINT.spad" 1264754 1264762 1267178 1267183) (-792 "NUMFMT.spad" 1263594 1263602 1264744 1264749) (-791 "NUMERIC.spad" 1255708 1255718 1263399 1263404) (-790 "NTSCAT.spad" 1254216 1254232 1255676 1255703) (-789 "NTPOLFN.spad" 1253767 1253777 1254133 1254138) (-788 "NSUP.spad" 1246813 1246823 1251353 1251506) (-787 "NSUP2.spad" 1246205 1246217 1246803 1246808) (-786 "NSMP.spad" 1242435 1242454 1242743 1242870) (-785 "NREP.spad" 1240813 1240827 1242425 1242430) (-784 "NPCOEF.spad" 1240059 1240079 1240803 1240808) (-783 "NORMRETR.spad" 1239657 1239696 1240049 1240054) (-782 "NORMPK.spad" 1237559 1237578 1239647 1239652) (-781 "NORMMA.spad" 1237247 1237273 1237549 1237554) (-780 "NONE.spad" 1236988 1236996 1237237 1237242) (-779 "NONE1.spad" 1236664 1236674 1236978 1236983) (-778 "NODE1.spad" 1236151 1236167 1236654 1236659) (-777 "NNI.spad" 1235046 1235054 1236125 1236146) (-776 "NLINSOL.spad" 1233672 1233682 1235036 1235041) (-775 "NIPROB.spad" 1232213 1232221 1233662 1233667) (-774 "NFINTBAS.spad" 1229773 1229790 1232203 1232208) (-773 "NETCLT.spad" 1229747 1229758 1229763 1229768) (-772 "NCODIV.spad" 1227963 1227979 1229737 1229742) (-771 "NCNTFRAC.spad" 1227605 1227619 1227953 1227958) (-770 "NCEP.spad" 1225771 1225785 1227595 1227600) (-769 "NASRING.spad" 1225367 1225375 1225761 1225766) (-768 "NASRING.spad" 1224961 1224971 1225357 1225362) (-767 "NARNG.spad" 1224313 1224321 1224951 1224956) (-766 "NARNG.spad" 1223663 1223673 1224303 1224308) (-765 "NAGSP.spad" 1222740 1222748 1223653 1223658) (-764 "NAGS.spad" 1212401 1212409 1222730 1222735) (-763 "NAGF07.spad" 1210832 1210840 1212391 1212396) (-762 "NAGF04.spad" 1205234 1205242 1210822 1210827) (-761 "NAGF02.spad" 1199303 1199311 1205224 1205229) (-760 "NAGF01.spad" 1195064 1195072 1199293 1199298) (-759 "NAGE04.spad" 1188764 1188772 1195054 1195059) (-758 "NAGE02.spad" 1179424 1179432 1188754 1188759) (-757 "NAGE01.spad" 1175426 1175434 1179414 1179419) (-756 "NAGD03.spad" 1173430 1173438 1175416 1175421) (-755 "NAGD02.spad" 1166177 1166185 1173420 1173425) (-754 "NAGD01.spad" 1160470 1160478 1166167 1166172) (-753 "NAGC06.spad" 1156345 1156353 1160460 1160465) (-752 "NAGC05.spad" 1154846 1154854 1156335 1156340) (-751 "NAGC02.spad" 1154113 1154121 1154836 1154841) (-750 "NAALG.spad" 1153654 1153664 1154081 1154108) (-749 "NAALG.spad" 1153215 1153227 1153644 1153649) (-748 "MULTSQFR.spad" 1150173 1150190 1153205 1153210) (-747 "MULTFACT.spad" 1149556 1149573 1150163 1150168) (-746 "MTSCAT.spad" 1147650 1147671 1149454 1149551) (-745 "MTHING.spad" 1147309 1147319 1147640 1147645) (-744 "MSYSCMD.spad" 1146743 1146751 1147299 1147304) (-743 "MSET.spad" 1144701 1144711 1146449 1146488) (-742 "MSETAGG.spad" 1144546 1144556 1144669 1144696) (-741 "MRING.spad" 1141523 1141535 1144254 1144321) (-740 "MRF2.spad" 1141093 1141107 1141513 1141518) (-739 "MRATFAC.spad" 1140639 1140656 1141083 1141088) (-738 "MPRFF.spad" 1138679 1138698 1140629 1140634) (-737 "MPOLY.spad" 1136150 1136165 1136509 1136636) (-736 "MPCPF.spad" 1135414 1135433 1136140 1136145) (-735 "MPC3.spad" 1135231 1135271 1135404 1135409) (-734 "MPC2.spad" 1134877 1134910 1135221 1135226) (-733 "MONOTOOL.spad" 1133228 1133245 1134867 1134872) (-732 "MONOID.spad" 1132547 1132555 1133218 1133223) (-731 "MONOID.spad" 1131864 1131874 1132537 1132542) (-730 "MONOGEN.spad" 1130612 1130625 1131724 1131859) (-729 "MONOGEN.spad" 1129382 1129397 1130496 1130501) (-728 "MONADWU.spad" 1127412 1127420 1129372 1129377) (-727 "MONADWU.spad" 1125440 1125450 1127402 1127407) (-726 "MONAD.spad" 1124600 1124608 1125430 1125435) (-725 "MONAD.spad" 1123758 1123768 1124590 1124595) (-724 "MOEBIUS.spad" 1122494 1122508 1123738 1123753) (-723 "MODULE.spad" 1122364 1122374 1122462 1122489) (-722 "MODULE.spad" 1122254 1122266 1122354 1122359) (-721 "MODRING.spad" 1121589 1121628 1122234 1122249) (-720 "MODOP.spad" 1120254 1120266 1121411 1121478) (-719 "MODMONOM.spad" 1119985 1120003 1120244 1120249) (-718 "MODMON.spad" 1116780 1116796 1117499 1117652) (-717 "MODFIELD.spad" 1116142 1116181 1116682 1116775) (-716 "MMLFORM.spad" 1115002 1115010 1116132 1116137) (-715 "MMAP.spad" 1114744 1114778 1114992 1114997) (-714 "MLO.spad" 1113203 1113213 1114700 1114739) (-713 "MLIFT.spad" 1111815 1111832 1113193 1113198) (-712 "MKUCFUNC.spad" 1111350 1111368 1111805 1111810) (-711 "MKRECORD.spad" 1110954 1110967 1111340 1111345) (-710 "MKFUNC.spad" 1110361 1110371 1110944 1110949) (-709 "MKFLCFN.spad" 1109329 1109339 1110351 1110356) (-708 "MKBCFUNC.spad" 1108824 1108842 1109319 1109324) (-707 "MINT.spad" 1108263 1108271 1108726 1108819) (-706 "MHROWRED.spad" 1106774 1106784 1108253 1108258) (-705 "MFLOAT.spad" 1105294 1105302 1106664 1106769) (-704 "MFINFACT.spad" 1104694 1104716 1105284 1105289) (-703 "MESH.spad" 1102476 1102484 1104684 1104689) (-702 "MDDFACT.spad" 1100687 1100697 1102466 1102471) (-701 "MDAGG.spad" 1099978 1099988 1100667 1100682) (-700 "MCMPLX.spad" 1095989 1095997 1096603 1096804) (-699 "MCDEN.spad" 1095199 1095211 1095979 1095984) (-698 "MCALCFN.spad" 1092321 1092347 1095189 1095194) (-697 "MAYBE.spad" 1091605 1091616 1092311 1092316) (-696 "MATSTOR.spad" 1088913 1088923 1091595 1091600) (-695 "MATRIX.spad" 1087617 1087627 1088101 1088128) (-694 "MATLIN.spad" 1084961 1084985 1087501 1087506) (-693 "MATCAT.spad" 1076690 1076712 1084929 1084956) (-692 "MATCAT.spad" 1068291 1068315 1076532 1076537) (-691 "MATCAT2.spad" 1067573 1067621 1068281 1068286) (-690 "MAPPKG3.spad" 1066488 1066502 1067563 1067568) (-689 "MAPPKG2.spad" 1065826 1065838 1066478 1066483) (-688 "MAPPKG1.spad" 1064654 1064664 1065816 1065821) (-687 "MAPPAST.spad" 1063969 1063977 1064644 1064649) (-686 "MAPHACK3.spad" 1063781 1063795 1063959 1063964) (-685 "MAPHACK2.spad" 1063550 1063562 1063771 1063776) (-684 "MAPHACK1.spad" 1063194 1063204 1063540 1063545) (-683 "MAGMA.spad" 1060984 1061001 1063184 1063189) (-682 "MACROAST.spad" 1060563 1060571 1060974 1060979) (-681 "M3D.spad" 1058283 1058293 1059941 1059946) (-680 "LZSTAGG.spad" 1055521 1055531 1058273 1058278) (-679 "LZSTAGG.spad" 1052757 1052769 1055511 1055516) (-678 "LWORD.spad" 1049462 1049479 1052747 1052752) (-677 "LSTAST.spad" 1049246 1049254 1049452 1049457) (-676 "LSQM.spad" 1047476 1047490 1047870 1047921) (-675 "LSPP.spad" 1047011 1047028 1047466 1047471) (-674 "LSMP.spad" 1045861 1045889 1047001 1047006) (-673 "LSMP1.spad" 1043679 1043693 1045851 1045856) (-672 "LSAGG.spad" 1043348 1043358 1043647 1043674) (-671 "LSAGG.spad" 1043037 1043049 1043338 1043343) (-670 "LPOLY.spad" 1041991 1042010 1042893 1042962) (-669 "LPEFRAC.spad" 1041262 1041272 1041981 1041986) (-668 "LO.spad" 1040663 1040677 1041196 1041223) (-667 "LOGIC.spad" 1040265 1040273 1040653 1040658) (-666 "LOGIC.spad" 1039865 1039875 1040255 1040260) (-665 "LODOOPS.spad" 1038795 1038807 1039855 1039860) (-664 "LODO.spad" 1038179 1038195 1038475 1038514) (-663 "LODOF.spad" 1037225 1037242 1038136 1038141) (-662 "LODOCAT.spad" 1035891 1035901 1037181 1037220) (-661 "LODOCAT.spad" 1034555 1034567 1035847 1035852) (-660 "LODO2.spad" 1033828 1033840 1034235 1034274) (-659 "LODO1.spad" 1033228 1033238 1033508 1033547) (-658 "LODEEF.spad" 1032030 1032048 1033218 1033223) (-657 "LNAGG.spad" 1027862 1027872 1032020 1032025) (-656 "LNAGG.spad" 1023658 1023670 1027818 1027823) (-655 "LMOPS.spad" 1020426 1020443 1023648 1023653) (-654 "LMODULE.spad" 1020194 1020204 1020416 1020421) (-653 "LMDICT.spad" 1019481 1019491 1019745 1019772) (-652 "LLINSET.spad" 1018878 1018888 1019471 1019476) (-651 "LITERAL.spad" 1018784 1018795 1018868 1018873) (-650 "LIST.spad" 1016519 1016529 1017931 1017958) (-649 "LIST3.spad" 1015830 1015844 1016509 1016514) (-648 "LIST2.spad" 1014532 1014544 1015820 1015825) (-647 "LIST2MAP.spad" 1011435 1011447 1014522 1014527) (-646 "LINSET.spad" 1011057 1011067 1011425 1011430) (-645 "LINEXP.spad" 1010491 1010501 1011037 1011052) (-644 "LINDEP.spad" 1009300 1009312 1010403 1010408) (-643 "LIMITRF.spad" 1007228 1007238 1009290 1009295) (-642 "LIMITPS.spad" 1006131 1006144 1007218 1007223) (-641 "LIE.spad" 1004147 1004159 1005421 1005566) (-640 "LIECAT.spad" 1003623 1003633 1004073 1004142) (-639 "LIECAT.spad" 1003127 1003139 1003579 1003584) (-638 "LIB.spad" 1001177 1001185 1001786 1001801) (-637 "LGROBP.spad" 998530 998549 1001167 1001172) (-636 "LF.spad" 997485 997501 998520 998525) (-635 "LFCAT.spad" 996544 996552 997475 997480) (-634 "LEXTRIPK.spad" 992047 992062 996534 996539) (-633 "LEXP.spad" 990050 990077 992027 992042) (-632 "LETAST.spad" 989749 989757 990040 990045) (-631 "LEADCDET.spad" 988147 988164 989739 989744) (-630 "LAZM3PK.spad" 986851 986873 988137 988142) (-629 "LAUPOL.spad" 985544 985557 986444 986513) (-628 "LAPLACE.spad" 985127 985143 985534 985539) (-627 "LA.spad" 984567 984581 985049 985088) (-626 "LALG.spad" 984343 984353 984547 984562) (-625 "LALG.spad" 984127 984139 984333 984338) (-624 "KVTFROM.spad" 983862 983872 984117 984122) (-623 "KTVLOGIC.spad" 983374 983382 983852 983857) (-622 "KRCFROM.spad" 983112 983122 983364 983369) (-621 "KOVACIC.spad" 981835 981852 983102 983107) (-620 "KONVERT.spad" 981557 981567 981825 981830) (-619 "KOERCE.spad" 981294 981304 981547 981552) (-618 "KERNEL.spad" 979949 979959 981078 981083) (-617 "KERNEL2.spad" 979652 979664 979939 979944) (-616 "KDAGG.spad" 978761 978783 979632 979647) (-615 "KDAGG.spad" 977878 977902 978751 978756) (-614 "KAFILE.spad" 976841 976857 977076 977103) (-613 "JORDAN.spad" 974670 974682 976131 976276) (-612 "JOINAST.spad" 974364 974372 974660 974665) (-611 "JAVACODE.spad" 974230 974238 974354 974359) (-610 "IXAGG.spad" 972363 972387 974220 974225) (-609 "IXAGG.spad" 970351 970377 972210 972215) (-608 "IVECTOR.spad" 969121 969136 969276 969303) (-607 "ITUPLE.spad" 968282 968292 969111 969116) (-606 "ITRIGMNP.spad" 967121 967140 968272 968277) (-605 "ITFUN3.spad" 966627 966641 967111 967116) (-604 "ITFUN2.spad" 966371 966383 966617 966622) (-603 "ITFORM.spad" 965726 965734 966361 966366) (-602 "ITAYLOR.spad" 963720 963735 965590 965687) (-601 "ISUPS.spad" 956157 956172 962694 962791) (-600 "ISUMP.spad" 955658 955674 956147 956152) (-599 "ISTRING.spad" 954746 954759 954827 954854) (-598 "ISAST.spad" 954465 954473 954736 954741) (-597 "IRURPK.spad" 953182 953201 954455 954460) (-596 "IRSN.spad" 951186 951194 953172 953177) (-595 "IRRF2F.spad" 949671 949681 951142 951147) (-594 "IRREDFFX.spad" 949272 949283 949661 949666) (-593 "IROOT.spad" 947611 947621 949262 949267) (-592 "IR.spad" 945412 945426 947466 947493) (-591 "IRFORM.spad" 944736 944744 945402 945407) (-590 "IR2.spad" 943764 943780 944726 944731) (-589 "IR2F.spad" 942970 942986 943754 943759) (-588 "IPRNTPK.spad" 942730 942738 942960 942965) (-587 "IPF.spad" 942295 942307 942535 942628) (-586 "IPADIC.spad" 942056 942082 942221 942290) (-585 "IP4ADDR.spad" 941613 941621 942046 942051) (-584 "IOMODE.spad" 941135 941143 941603 941608) (-583 "IOBFILE.spad" 940496 940504 941125 941130) (-582 "IOBCON.spad" 940361 940369 940486 940491) (-581 "INVLAPLA.spad" 940010 940026 940351 940356) (-580 "INTTR.spad" 933392 933409 940000 940005) (-579 "INTTOOLS.spad" 931147 931163 932966 932971) (-578 "INTSLPE.spad" 930467 930475 931137 931142) (-577 "INTRVL.spad" 930033 930043 930381 930462) (-576 "INTRF.spad" 928457 928471 930023 930028) (-575 "INTRET.spad" 927889 927899 928447 928452) (-574 "INTRAT.spad" 926616 926633 927879 927884) (-573 "INTPM.spad" 925001 925017 926259 926264) (-572 "INTPAF.spad" 922865 922883 924933 924938) (-571 "INTPACK.spad" 913239 913247 922855 922860) (-570 "INT.spad" 912687 912695 913093 913234) (-569 "INTHERTR.spad" 911961 911978 912677 912682) (-568 "INTHERAL.spad" 911631 911655 911951 911956) (-567 "INTHEORY.spad" 908070 908078 911621 911626) (-566 "INTG0.spad" 901803 901821 908002 908007) (-565 "INTFTBL.spad" 895832 895840 901793 901798) (-564 "INTFACT.spad" 894891 894901 895822 895827) (-563 "INTEF.spad" 893276 893292 894881 894886) (-562 "INTDOM.spad" 891899 891907 893202 893271) (-561 "INTDOM.spad" 890584 890594 891889 891894) (-560 "INTCAT.spad" 888843 888853 890498 890579) (-559 "INTBIT.spad" 888350 888358 888833 888838) (-558 "INTALG.spad" 887538 887565 888340 888345) (-557 "INTAF.spad" 887038 887054 887528 887533) (-556 "INTABL.spad" 885556 885587 885719 885746) (-555 "INT8.spad" 885436 885444 885546 885551) (-554 "INT64.spad" 885315 885323 885426 885431) (-553 "INT32.spad" 885194 885202 885305 885310) (-552 "INT16.spad" 885073 885081 885184 885189) (-551 "INS.spad" 882576 882584 884975 885068) (-550 "INS.spad" 880165 880175 882566 882571) (-549 "INPSIGN.spad" 879613 879626 880155 880160) (-548 "INPRODPF.spad" 878709 878728 879603 879608) (-547 "INPRODFF.spad" 877797 877821 878699 878704) (-546 "INNMFACT.spad" 876772 876789 877787 877792) (-545 "INMODGCD.spad" 876260 876290 876762 876767) (-544 "INFSP.spad" 874557 874579 876250 876255) (-543 "INFPROD0.spad" 873637 873656 874547 874552) (-542 "INFORM.spad" 870836 870844 873627 873632) (-541 "INFORM1.spad" 870461 870471 870826 870831) (-540 "INFINITY.spad" 870013 870021 870451 870456) (-539 "INETCLTS.spad" 869990 869998 870003 870008) (-538 "INEP.spad" 868528 868550 869980 869985) (-537 "INDE.spad" 868257 868274 868518 868523) (-536 "INCRMAPS.spad" 867678 867688 868247 868252) (-535 "INBFILE.spad" 866750 866758 867668 867673) (-534 "INBFF.spad" 862544 862555 866740 866745) (-533 "INBCON.spad" 860834 860842 862534 862539) (-532 "INBCON.spad" 859122 859132 860824 860829) (-531 "INAST.spad" 858783 858791 859112 859117) (-530 "IMPTAST.spad" 858491 858499 858773 858778) (-529 "IMATRIX.spad" 857436 857462 857948 857975) (-528 "IMATQF.spad" 856530 856574 857392 857397) (-527 "IMATLIN.spad" 855135 855159 856486 856491) (-526 "ILIST.spad" 853793 853808 854318 854345) (-525 "IIARRAY2.spad" 853181 853219 853400 853427) (-524 "IFF.spad" 852591 852607 852862 852955) (-523 "IFAST.spad" 852205 852213 852581 852586) (-522 "IFARRAY.spad" 849698 849713 851388 851415) (-521 "IFAMON.spad" 849560 849577 849654 849659) (-520 "IEVALAB.spad" 848965 848977 849550 849555) (-519 "IEVALAB.spad" 848368 848382 848955 848960) (-518 "IDPO.spad" 848166 848178 848358 848363) (-517 "IDPOAMS.spad" 847922 847934 848156 848161) (-516 "IDPOAM.spad" 847642 847654 847912 847917) (-515 "IDPC.spad" 846580 846592 847632 847637) (-514 "IDPAM.spad" 846325 846337 846570 846575) (-513 "IDPAG.spad" 846072 846084 846315 846320) (-512 "IDENT.spad" 845722 845730 846062 846067) (-511 "IDECOMP.spad" 842961 842979 845712 845717) (-510 "IDEAL.spad" 837910 837949 842896 842901) (-509 "ICDEN.spad" 837099 837115 837900 837905) (-508 "ICARD.spad" 836290 836298 837089 837094) (-507 "IBPTOOLS.spad" 834897 834914 836280 836285) (-506 "IBITS.spad" 834100 834113 834533 834560) (-505 "IBATOOL.spad" 831077 831096 834090 834095) (-504 "IBACHIN.spad" 829584 829599 831067 831072) (-503 "IARRAY2.spad" 828572 828598 829191 829218) (-502 "IARRAY1.spad" 827617 827632 827755 827782) (-501 "IAN.spad" 825840 825848 827433 827526) (-500 "IALGFACT.spad" 825443 825476 825830 825835) (-499 "HYPCAT.spad" 824867 824875 825433 825438) (-498 "HYPCAT.spad" 824289 824299 824857 824862) (-497 "HOSTNAME.spad" 824097 824105 824279 824284) (-496 "HOMOTOP.spad" 823840 823850 824087 824092) (-495 "HOAGG.spad" 821122 821132 823830 823835) (-494 "HOAGG.spad" 818179 818191 820889 820894) (-493 "HEXADEC.spad" 816281 816289 816646 816739) (-492 "HEUGCD.spad" 815316 815327 816271 816276) (-491 "HELLFDIV.spad" 814906 814930 815306 815311) (-490 "HEAP.spad" 814298 814308 814513 814540) (-489 "HEADAST.spad" 813831 813839 814288 814293) (-488 "HDP.spad" 803674 803690 804051 804182) (-487 "HDMP.spad" 800888 800903 801504 801631) (-486 "HB.spad" 799139 799147 800878 800883) (-485 "HASHTBL.spad" 797609 797640 797820 797847) (-484 "HASAST.spad" 797325 797333 797599 797604) (-483 "HACKPI.spad" 796816 796824 797227 797320) (-482 "GTSET.spad" 795755 795771 796462 796489) (-481 "GSTBL.spad" 794274 794309 794448 794463) (-480 "GSERIES.spad" 791445 791472 792406 792555) (-479 "GROUP.spad" 790718 790726 791425 791440) (-478 "GROUP.spad" 789999 790009 790708 790713) (-477 "GROEBSOL.spad" 788493 788514 789989 789994) (-476 "GRMOD.spad" 787064 787076 788483 788488) (-475 "GRMOD.spad" 785633 785647 787054 787059) (-474 "GRIMAGE.spad" 778522 778530 785623 785628) (-473 "GRDEF.spad" 776901 776909 778512 778517) (-472 "GRAY.spad" 775364 775372 776891 776896) (-471 "GRALG.spad" 774441 774453 775354 775359) (-470 "GRALG.spad" 773516 773530 774431 774436) (-469 "GPOLSET.spad" 772970 772993 773198 773225) (-468 "GOSPER.spad" 772239 772257 772960 772965) (-467 "GMODPOL.spad" 771387 771414 772207 772234) (-466 "GHENSEL.spad" 770470 770484 771377 771382) (-465 "GENUPS.spad" 766763 766776 770460 770465) (-464 "GENUFACT.spad" 766340 766350 766753 766758) (-463 "GENPGCD.spad" 765926 765943 766330 766335) (-462 "GENMFACT.spad" 765378 765397 765916 765921) (-461 "GENEEZ.spad" 763329 763342 765368 765373) (-460 "GDMP.spad" 760385 760402 761159 761286) (-459 "GCNAALG.spad" 754308 754335 760179 760246) (-458 "GCDDOM.spad" 753484 753492 754234 754303) (-457 "GCDDOM.spad" 752722 752732 753474 753479) (-456 "GB.spad" 750248 750286 752678 752683) (-455 "GBINTERN.spad" 746268 746306 750238 750243) (-454 "GBF.spad" 742035 742073 746258 746263) (-453 "GBEUCLID.spad" 739917 739955 742025 742030) (-452 "GAUSSFAC.spad" 739230 739238 739907 739912) (-451 "GALUTIL.spad" 737556 737566 739186 739191) (-450 "GALPOLYU.spad" 736010 736023 737546 737551) (-449 "GALFACTU.spad" 734183 734202 736000 736005) (-448 "GALFACT.spad" 724372 724383 734173 734178) (-447 "FVFUN.spad" 721395 721403 724362 724367) (-446 "FVC.spad" 720447 720455 721385 721390) (-445 "FUNDESC.spad" 720125 720133 720437 720442) (-444 "FUNCTION.spad" 719974 719986 720115 720120) (-443 "FT.spad" 718271 718279 719964 719969) (-442 "FTEM.spad" 717436 717444 718261 718266) (-441 "FSUPFACT.spad" 716336 716355 717372 717377) (-440 "FST.spad" 714422 714430 716326 716331) (-439 "FSRED.spad" 713902 713918 714412 714417) (-438 "FSPRMELT.spad" 712784 712800 713859 713864) (-437 "FSPECF.spad" 710875 710891 712774 712779) (-436 "FS.spad" 705143 705153 710650 710870) (-435 "FS.spad" 699189 699201 704698 704703) (-434 "FSINT.spad" 698849 698865 699179 699184) (-433 "FSERIES.spad" 698040 698052 698669 698768) (-432 "FSCINT.spad" 697357 697373 698030 698035) (-431 "FSAGG.spad" 696474 696484 697313 697352) (-430 "FSAGG.spad" 695553 695565 696394 696399) (-429 "FSAGG2.spad" 694296 694312 695543 695548) (-428 "FS2UPS.spad" 688787 688821 694286 694291) (-427 "FS2.spad" 688434 688450 688777 688782) (-426 "FS2EXPXP.spad" 687559 687582 688424 688429) (-425 "FRUTIL.spad" 686513 686523 687549 687554) (-424 "FR.spad" 680229 680239 685537 685606) (-423 "FRNAALG.spad" 675348 675358 680171 680224) (-422 "FRNAALG.spad" 670479 670491 675304 675309) (-421 "FRNAAF2.spad" 669935 669953 670469 670474) (-420 "FRMOD.spad" 669345 669375 669866 669871) (-419 "FRIDEAL.spad" 668570 668591 669325 669340) (-418 "FRIDEAL2.spad" 668174 668206 668560 668565) (-417 "FRETRCT.spad" 667685 667695 668164 668169) (-416 "FRETRCT.spad" 667062 667074 667543 667548) (-415 "FRAMALG.spad" 665410 665423 667018 667057) (-414 "FRAMALG.spad" 663790 663805 665400 665405) (-413 "FRAC.spad" 660889 660899 661292 661465) (-412 "FRAC2.spad" 660494 660506 660879 660884) (-411 "FR2.spad" 659830 659842 660484 660489) (-410 "FPS.spad" 656645 656653 659720 659825) (-409 "FPS.spad" 653488 653498 656565 656570) (-408 "FPC.spad" 652534 652542 653390 653483) (-407 "FPC.spad" 651666 651676 652524 652529) (-406 "FPATMAB.spad" 651428 651438 651656 651661) (-405 "FPARFRAC.spad" 649915 649932 651418 651423) (-404 "FORTRAN.spad" 648421 648464 649905 649910) (-403 "FORT.spad" 647370 647378 648411 648416) (-402 "FORTFN.spad" 644540 644548 647360 647365) (-401 "FORTCAT.spad" 644224 644232 644530 644535) (-400 "FORMULA.spad" 641698 641706 644214 644219) (-399 "FORMULA1.spad" 641177 641187 641688 641693) (-398 "FORDER.spad" 640868 640892 641167 641172) (-397 "FOP.spad" 640069 640077 640858 640863) (-396 "FNLA.spad" 639493 639515 640037 640064) (-395 "FNCAT.spad" 638088 638096 639483 639488) (-394 "FNAME.spad" 637980 637988 638078 638083) (-393 "FMTC.spad" 637778 637786 637906 637975) (-392 "FMONOID.spad" 637443 637453 637734 637739) (-391 "FMONCAT.spad" 634596 634606 637433 637438) (-390 "FM.spad" 634291 634303 634530 634557) (-389 "FMFUN.spad" 631321 631329 634281 634286) (-388 "FMC.spad" 630373 630381 631311 631316) (-387 "FMCAT.spad" 628041 628059 630341 630368) (-386 "FM1.spad" 627398 627410 627975 628002) (-385 "FLOATRP.spad" 625133 625147 627388 627393) (-384 "FLOAT.spad" 618447 618455 624999 625128) (-383 "FLOATCP.spad" 615878 615892 618437 618442) (-382 "FLINEXP.spad" 615590 615600 615858 615873) (-381 "FLINEXP.spad" 615256 615268 615526 615531) (-380 "FLASORT.spad" 614582 614594 615246 615251) (-379 "FLALG.spad" 612228 612247 614508 614577) (-378 "FLAGG.spad" 609270 609280 612208 612223) (-377 "FLAGG.spad" 606213 606225 609153 609158) (-376 "FLAGG2.spad" 604938 604954 606203 606208) (-375 "FINRALG.spad" 602999 603012 604894 604933) (-374 "FINRALG.spad" 600986 601001 602883 602888) (-373 "FINITE.spad" 600138 600146 600976 600981) (-372 "FINAALG.spad" 589259 589269 600080 600133) (-371 "FINAALG.spad" 578392 578404 589215 589220) (-370 "FILE.spad" 577975 577985 578382 578387) (-369 "FILECAT.spad" 576501 576518 577965 577970) (-368 "FIELD.spad" 575907 575915 576403 576496) (-367 "FIELD.spad" 575399 575409 575897 575902) (-366 "FGROUP.spad" 574046 574056 575379 575394) (-365 "FGLMICPK.spad" 572833 572848 574036 574041) (-364 "FFX.spad" 572208 572223 572549 572642) (-363 "FFSLPE.spad" 571711 571732 572198 572203) (-362 "FFPOLY.spad" 562973 562984 571701 571706) (-361 "FFPOLY2.spad" 562033 562050 562963 562968) (-360 "FFP.spad" 561430 561450 561749 561842) (-359 "FF.spad" 560878 560894 561111 561204) (-358 "FFNBX.spad" 559390 559410 560594 560687) (-357 "FFNBP.spad" 557903 557920 559106 559199) (-356 "FFNB.spad" 556368 556389 557584 557677) (-355 "FFINTBAS.spad" 553882 553901 556358 556363) (-354 "FFIELDC.spad" 551459 551467 553784 553877) (-353 "FFIELDC.spad" 549122 549132 551449 551454) (-352 "FFHOM.spad" 547870 547887 549112 549117) (-351 "FFF.spad" 545305 545316 547860 547865) (-350 "FFCGX.spad" 544152 544172 545021 545114) (-349 "FFCGP.spad" 543041 543061 543868 543961) (-348 "FFCG.spad" 541833 541854 542722 542815) (-347 "FFCAT.spad" 535006 535028 541672 541828) (-346 "FFCAT.spad" 528258 528282 534926 534931) (-345 "FFCAT2.spad" 528005 528045 528248 528253) (-344 "FEXPR.spad" 519722 519768 527761 527800) (-343 "FEVALAB.spad" 519430 519440 519712 519717) (-342 "FEVALAB.spad" 518923 518935 519207 519212) (-341 "FDIV.spad" 518365 518389 518913 518918) (-340 "FDIVCAT.spad" 516429 516453 518355 518360) (-339 "FDIVCAT.spad" 514491 514517 516419 516424) (-338 "FDIV2.spad" 514147 514187 514481 514486) (-337 "FCTRDATA.spad" 513155 513163 514137 514142) (-336 "FCPAK1.spad" 511722 511730 513145 513150) (-335 "FCOMP.spad" 511101 511111 511712 511717) (-334 "FC.spad" 501108 501116 511091 511096) (-333 "FAXF.spad" 494079 494093 501010 501103) (-332 "FAXF.spad" 487102 487118 494035 494040) (-331 "FARRAY.spad" 485252 485262 486285 486312) (-330 "FAMR.spad" 483388 483400 485150 485247) (-329 "FAMR.spad" 481508 481522 483272 483277) (-328 "FAMONOID.spad" 481176 481186 481462 481467) (-327 "FAMONC.spad" 479472 479484 481166 481171) (-326 "FAGROUP.spad" 479096 479106 479368 479395) (-325 "FACUTIL.spad" 477300 477317 479086 479091) (-324 "FACTFUNC.spad" 476494 476504 477290 477295) (-323 "EXPUPXS.spad" 473327 473350 474626 474775) (-322 "EXPRTUBE.spad" 470615 470623 473317 473322) (-321 "EXPRODE.spad" 467775 467791 470605 470610) (-320 "EXPR.spad" 463050 463060 463764 464171) (-319 "EXPR2UPS.spad" 459172 459185 463040 463045) (-318 "EXPR2.spad" 458877 458889 459162 459167) (-317 "EXPEXPAN.spad" 455817 455842 456449 456542) (-316 "EXIT.spad" 455488 455496 455807 455812) (-315 "EXITAST.spad" 455224 455232 455478 455483) (-314 "EVALCYC.spad" 454684 454698 455214 455219) (-313 "EVALAB.spad" 454256 454266 454674 454679) (-312 "EVALAB.spad" 453826 453838 454246 454251) (-311 "EUCDOM.spad" 451400 451408 453752 453821) (-310 "EUCDOM.spad" 449036 449046 451390 451395) (-309 "ESTOOLS.spad" 440882 440890 449026 449031) (-308 "ESTOOLS2.spad" 440485 440499 440872 440877) (-307 "ESTOOLS1.spad" 440170 440181 440475 440480) (-306 "ES.spad" 432985 432993 440160 440165) (-305 "ES.spad" 425706 425716 432883 432888) (-304 "ESCONT.spad" 422499 422507 425696 425701) (-303 "ESCONT1.spad" 422248 422260 422489 422494) (-302 "ES2.spad" 421753 421769 422238 422243) (-301 "ES1.spad" 421323 421339 421743 421748) (-300 "ERROR.spad" 418650 418658 421313 421318) (-299 "EQTBL.spad" 417122 417144 417331 417358) (-298 "EQ.spad" 411927 411937 414714 414826) (-297 "EQ2.spad" 411645 411657 411917 411922) (-296 "EP.spad" 407971 407981 411635 411640) (-295 "ENV.spad" 406649 406657 407961 407966) (-294 "ENTIRER.spad" 406317 406325 406593 406644) (-293 "EMR.spad" 405524 405565 406243 406312) (-292 "ELTAGG.spad" 403778 403797 405514 405519) (-291 "ELTAGG.spad" 401996 402017 403734 403739) (-290 "ELTAB.spad" 401445 401463 401986 401991) (-289 "ELFUTS.spad" 400832 400851 401435 401440) (-288 "ELEMFUN.spad" 400521 400529 400822 400827) (-287 "ELEMFUN.spad" 400208 400218 400511 400516) (-286 "ELAGG.spad" 398179 398189 400188 400203) (-285 "ELAGG.spad" 396087 396099 398098 398103) (-284 "ELABOR.spad" 395433 395441 396077 396082) (-283 "ELABEXPR.spad" 394365 394373 395423 395428) (-282 "EFUPXS.spad" 391141 391171 394321 394326) (-281 "EFULS.spad" 387977 388000 391097 391102) (-280 "EFSTRUC.spad" 385992 386008 387967 387972) (-279 "EF.spad" 380768 380784 385982 385987) (-278 "EAB.spad" 379044 379052 380758 380763) (-277 "E04UCFA.spad" 378580 378588 379034 379039) (-276 "E04NAFA.spad" 378157 378165 378570 378575) (-275 "E04MBFA.spad" 377737 377745 378147 378152) (-274 "E04JAFA.spad" 377273 377281 377727 377732) (-273 "E04GCFA.spad" 376809 376817 377263 377268) (-272 "E04FDFA.spad" 376345 376353 376799 376804) (-271 "E04DGFA.spad" 375881 375889 376335 376340) (-270 "E04AGNT.spad" 371731 371739 375871 375876) (-269 "DVARCAT.spad" 368420 368430 371721 371726) (-268 "DVARCAT.spad" 365107 365119 368410 368415) (-267 "DSMP.spad" 362574 362588 362879 363006) (-266 "DROPT.spad" 356533 356541 362564 362569) (-265 "DROPT1.spad" 356198 356208 356523 356528) (-264 "DROPT0.spad" 351055 351063 356188 356193) (-263 "DRAWPT.spad" 349228 349236 351045 351050) (-262 "DRAW.spad" 342104 342117 349218 349223) (-261 "DRAWHACK.spad" 341412 341422 342094 342099) (-260 "DRAWCX.spad" 338882 338890 341402 341407) (-259 "DRAWCURV.spad" 338429 338444 338872 338877) (-258 "DRAWCFUN.spad" 327961 327969 338419 338424) (-257 "DQAGG.spad" 326139 326149 327929 327956) (-256 "DPOLCAT.spad" 321488 321504 326007 326134) (-255 "DPOLCAT.spad" 316923 316941 321444 321449) (-254 "DPMO.spad" 309149 309165 309287 309588) (-253 "DPMM.spad" 301388 301406 301513 301814) (-252 "DOMTMPLT.spad" 301048 301056 301378 301383) (-251 "DOMCTOR.spad" 300803 300811 301038 301043) (-250 "DOMAIN.spad" 299890 299898 300793 300798) (-249 "DMP.spad" 297150 297165 297720 297847) (-248 "DLP.spad" 296502 296512 297140 297145) (-247 "DLIST.spad" 295081 295091 295685 295712) (-246 "DLAGG.spad" 293498 293508 295071 295076) (-245 "DIVRING.spad" 293040 293048 293442 293493) (-244 "DIVRING.spad" 292626 292636 293030 293035) (-243 "DISPLAY.spad" 290816 290824 292616 292621) (-242 "DIRPROD.spad" 280396 280412 281036 281167) (-241 "DIRPROD2.spad" 279214 279232 280386 280391) (-240 "DIRPCAT.spad" 278158 278174 279078 279209) (-239 "DIRPCAT.spad" 276831 276849 277753 277758) (-238 "DIOSP.spad" 275656 275664 276821 276826) (-237 "DIOPS.spad" 274652 274662 275636 275651) (-236 "DIOPS.spad" 273622 273634 274608 274613) (-235 "DIFRING.spad" 272918 272926 273602 273617) (-234 "DIFRING.spad" 272222 272232 272908 272913) (-233 "DIFEXT.spad" 271393 271403 272202 272217) (-232 "DIFEXT.spad" 270481 270493 271292 271297) (-231 "DIAGG.spad" 270111 270121 270461 270476) (-230 "DIAGG.spad" 269749 269761 270101 270106) (-229 "DHMATRIX.spad" 268061 268071 269206 269233) (-228 "DFSFUN.spad" 261701 261709 268051 268056) (-227 "DFLOAT.spad" 258432 258440 261591 261696) (-226 "DFINTTLS.spad" 256663 256679 258422 258427) (-225 "DERHAM.spad" 254577 254609 256643 256658) (-224 "DEQUEUE.spad" 253901 253911 254184 254211) (-223 "DEGRED.spad" 253518 253532 253891 253896) (-222 "DEFINTRF.spad" 251055 251065 253508 253513) (-221 "DEFINTEF.spad" 249565 249581 251045 251050) (-220 "DEFAST.spad" 248933 248941 249555 249560) (-219 "DECIMAL.spad" 247039 247047 247400 247493) (-218 "DDFACT.spad" 244852 244869 247029 247034) (-217 "DBLRESP.spad" 244452 244476 244842 244847) (-216 "DBASE.spad" 243116 243126 244442 244447) (-215 "DATAARY.spad" 242578 242591 243106 243111) (-214 "D03FAFA.spad" 242406 242414 242568 242573) (-213 "D03EEFA.spad" 242226 242234 242396 242401) (-212 "D03AGNT.spad" 241312 241320 242216 242221) (-211 "D02EJFA.spad" 240774 240782 241302 241307) (-210 "D02CJFA.spad" 240252 240260 240764 240769) (-209 "D02BHFA.spad" 239742 239750 240242 240247) (-208 "D02BBFA.spad" 239232 239240 239732 239737) (-207 "D02AGNT.spad" 234046 234054 239222 239227) (-206 "D01WGTS.spad" 232365 232373 234036 234041) (-205 "D01TRNS.spad" 232342 232350 232355 232360) (-204 "D01GBFA.spad" 231864 231872 232332 232337) (-203 "D01FCFA.spad" 231386 231394 231854 231859) (-202 "D01ASFA.spad" 230854 230862 231376 231381) (-201 "D01AQFA.spad" 230300 230308 230844 230849) (-200 "D01APFA.spad" 229724 229732 230290 230295) (-199 "D01ANFA.spad" 229218 229226 229714 229719) (-198 "D01AMFA.spad" 228728 228736 229208 229213) (-197 "D01ALFA.spad" 228268 228276 228718 228723) (-196 "D01AKFA.spad" 227794 227802 228258 228263) (-195 "D01AJFA.spad" 227317 227325 227784 227789) (-194 "D01AGNT.spad" 223384 223392 227307 227312) (-193 "CYCLOTOM.spad" 222890 222898 223374 223379) (-192 "CYCLES.spad" 219669 219677 222880 222885) (-191 "CVMP.spad" 219086 219096 219659 219664) (-190 "CTRIGMNP.spad" 217586 217602 219076 219081) (-189 "CTOR.spad" 217277 217285 217576 217581) (-188 "CTORKIND.spad" 216880 216888 217267 217272) (-187 "CTORCAT.spad" 216129 216137 216870 216875) (-186 "CTORCAT.spad" 215376 215386 216119 216124) (-185 "CTORCALL.spad" 214965 214975 215366 215371) (-184 "CSTTOOLS.spad" 214210 214223 214955 214960) (-183 "CRFP.spad" 207934 207947 214200 214205) (-182 "CRCEAST.spad" 207654 207662 207924 207929) (-181 "CRAPACK.spad" 206705 206715 207644 207649) (-180 "CPMATCH.spad" 206209 206224 206630 206635) (-179 "CPIMA.spad" 205914 205933 206199 206204) (-178 "COORDSYS.spad" 200923 200933 205904 205909) (-177 "CONTOUR.spad" 200334 200342 200913 200918) (-176 "CONTFRAC.spad" 196084 196094 200236 200329) (-175 "CONDUIT.spad" 195842 195850 196074 196079) (-174 "COMRING.spad" 195516 195524 195780 195837) (-173 "COMPPROP.spad" 195034 195042 195506 195511) (-172 "COMPLPAT.spad" 194801 194816 195024 195029) (-171 "COMPLEX.spad" 188938 188948 189182 189443) (-170 "COMPLEX2.spad" 188653 188665 188928 188933) (-169 "COMPILER.spad" 188202 188210 188643 188648) (-168 "COMPFACT.spad" 187804 187818 188192 188197) (-167 "COMPCAT.spad" 185876 185886 187538 187799) (-166 "COMPCAT.spad" 183676 183688 185340 185345) (-165 "COMMUPC.spad" 183424 183442 183666 183671) (-164 "COMMONOP.spad" 182957 182965 183414 183419) (-163 "COMM.spad" 182768 182776 182947 182952) (-162 "COMMAAST.spad" 182531 182539 182758 182763) (-161 "COMBOPC.spad" 181446 181454 182521 182526) (-160 "COMBINAT.spad" 180213 180223 181436 181441) (-159 "COMBF.spad" 177595 177611 180203 180208) (-158 "COLOR.spad" 176432 176440 177585 177590) (-157 "COLONAST.spad" 176098 176106 176422 176427) (-156 "CMPLXRT.spad" 175809 175826 176088 176093) (-155 "CLLCTAST.spad" 175471 175479 175799 175804) (-154 "CLIP.spad" 171579 171587 175461 175466) (-153 "CLIF.spad" 170234 170250 171535 171574) (-152 "CLAGG.spad" 166739 166749 170224 170229) (-151 "CLAGG.spad" 163115 163127 166602 166607) (-150 "CINTSLPE.spad" 162446 162459 163105 163110) (-149 "CHVAR.spad" 160584 160606 162436 162441) (-148 "CHARZ.spad" 160499 160507 160564 160579) (-147 "CHARPOL.spad" 160009 160019 160489 160494) (-146 "CHARNZ.spad" 159762 159770 159989 160004) (-145 "CHAR.spad" 157636 157644 159752 159757) (-144 "CFCAT.spad" 156964 156972 157626 157631) (-143 "CDEN.spad" 156160 156174 156954 156959) (-142 "CCLASS.spad" 154309 154317 155571 155610) (-141 "CATEGORY.spad" 153351 153359 154299 154304) (-140 "CATCTOR.spad" 153242 153250 153341 153346) (-139 "CATAST.spad" 152860 152868 153232 153237) (-138 "CASEAST.spad" 152574 152582 152850 152855) (-137 "CARTEN.spad" 147861 147885 152564 152569) (-136 "CARTEN2.spad" 147251 147278 147851 147856) (-135 "CARD.spad" 144546 144554 147225 147246) (-134 "CAPSLAST.spad" 144320 144328 144536 144541) (-133 "CACHSET.spad" 143944 143952 144310 144315) (-132 "CABMON.spad" 143499 143507 143934 143939) (-131 "BYTEORD.spad" 143174 143182 143489 143494) (-130 "BYTE.spad" 142601 142609 143164 143169) (-129 "BYTEBUF.spad" 140460 140468 141770 141797) (-128 "BTREE.spad" 139533 139543 140067 140094) (-127 "BTOURN.spad" 138538 138548 139140 139167) (-126 "BTCAT.spad" 137930 137940 138506 138533) (-125 "BTCAT.spad" 137342 137354 137920 137925) (-124 "BTAGG.spad" 136808 136816 137310 137337) (-123 "BTAGG.spad" 136294 136304 136798 136803) (-122 "BSTREE.spad" 135035 135045 135901 135928) (-121 "BRILL.spad" 133232 133243 135025 135030) (-120 "BRAGG.spad" 132172 132182 133222 133227) (-119 "BRAGG.spad" 131076 131088 132128 132133) (-118 "BPADICRT.spad" 129057 129069 129312 129405) (-117 "BPADIC.spad" 128721 128733 128983 129052) (-116 "BOUNDZRO.spad" 128377 128394 128711 128716) (-115 "BOP.spad" 123559 123567 128367 128372) (-114 "BOP1.spad" 121025 121035 123549 123554) (-113 "BOOLE.spad" 120675 120683 121015 121020) (-112 "BOOLEAN.spad" 120113 120121 120665 120670) (-111 "BMODULE.spad" 119825 119837 120081 120108) (-110 "BITS.spad" 119246 119254 119461 119488) (-109 "BINDING.spad" 118659 118667 119236 119241) (-108 "BINARY.spad" 116770 116778 117126 117219) (-107 "BGAGG.spad" 115975 115985 116750 116765) (-106 "BGAGG.spad" 115188 115200 115965 115970) (-105 "BFUNCT.spad" 114752 114760 115168 115183) (-104 "BEZOUT.spad" 113892 113919 114702 114707) (-103 "BBTREE.spad" 110737 110747 113499 113526) (-102 "BASTYPE.spad" 110409 110417 110727 110732) (-101 "BASTYPE.spad" 110079 110089 110399 110404) (-100 "BALFACT.spad" 109538 109551 110069 110074) (-99 "AUTOMOR.spad" 108989 108998 109518 109533) (-98 "ATTREG.spad" 105712 105719 108741 108984) (-97 "ATTRBUT.spad" 101735 101742 105692 105707) (-96 "ATTRAST.spad" 101452 101459 101725 101730) (-95 "ATRIG.spad" 100922 100929 101442 101447) (-94 "ATRIG.spad" 100390 100399 100912 100917) (-93 "ASTCAT.spad" 100294 100301 100380 100385) (-92 "ASTCAT.spad" 100196 100205 100284 100289) (-91 "ASTACK.spad" 99535 99544 99803 99830) (-90 "ASSOCEQ.spad" 98361 98372 99491 99496) (-89 "ASP9.spad" 97442 97455 98351 98356) (-88 "ASP8.spad" 96485 96498 97432 97437) (-87 "ASP80.spad" 95807 95820 96475 96480) (-86 "ASP7.spad" 94967 94980 95797 95802) (-85 "ASP78.spad" 94418 94431 94957 94962) (-84 "ASP77.spad" 93787 93800 94408 94413) (-83 "ASP74.spad" 92879 92892 93777 93782) (-82 "ASP73.spad" 92150 92163 92869 92874) (-81 "ASP6.spad" 91017 91030 92140 92145) (-80 "ASP55.spad" 89526 89539 91007 91012) (-79 "ASP50.spad" 87343 87356 89516 89521) (-78 "ASP4.spad" 86638 86651 87333 87338) (-77 "ASP49.spad" 85637 85650 86628 86633) (-76 "ASP42.spad" 84044 84083 85627 85632) (-75 "ASP41.spad" 82623 82662 84034 84039) (-74 "ASP35.spad" 81611 81624 82613 82618) (-73 "ASP34.spad" 80912 80925 81601 81606) (-72 "ASP33.spad" 80472 80485 80902 80907) (-71 "ASP31.spad" 79612 79625 80462 80467) (-70 "ASP30.spad" 78504 78517 79602 79607) (-69 "ASP29.spad" 77970 77983 78494 78499) (-68 "ASP28.spad" 69243 69256 77960 77965) (-67 "ASP27.spad" 68140 68153 69233 69238) (-66 "ASP24.spad" 67227 67240 68130 68135) (-65 "ASP20.spad" 66691 66704 67217 67222) (-64 "ASP1.spad" 66072 66085 66681 66686) (-63 "ASP19.spad" 60758 60771 66062 66067) (-62 "ASP12.spad" 60172 60185 60748 60753) (-61 "ASP10.spad" 59443 59456 60162 60167) (-60 "ARRAY2.spad" 58803 58812 59050 59077) (-59 "ARRAY1.spad" 57640 57649 57986 58013) (-58 "ARRAY12.spad" 56353 56364 57630 57635) (-57 "ARR2CAT.spad" 52127 52148 56321 56348) (-56 "ARR2CAT.spad" 47921 47944 52117 52122) (-55 "ARITY.spad" 47293 47300 47911 47916) (-54 "APPRULE.spad" 46553 46575 47283 47288) (-53 "APPLYORE.spad" 46172 46185 46543 46548) (-52 "ANY.spad" 45031 45038 46162 46167) (-51 "ANY1.spad" 44102 44111 45021 45026) (-50 "ANTISYM.spad" 42547 42563 44082 44097) (-49 "ANON.spad" 42240 42247 42537 42542) (-48 "AN.spad" 40549 40556 42056 42149) (-47 "AMR.spad" 38734 38745 40447 40544) (-46 "AMR.spad" 36756 36769 38471 38476) (-45 "ALIST.spad" 34168 34189 34518 34545) (-44 "ALGSC.spad" 33303 33329 34040 34093) (-43 "ALGPKG.spad" 29086 29097 33259 33264) (-42 "ALGMFACT.spad" 28279 28293 29076 29081) (-41 "ALGMANIP.spad" 25753 25768 28112 28117) (-40 "ALGFF.spad" 24068 24095 24285 24441) (-39 "ALGFACT.spad" 23195 23205 24058 24063) (-38 "ALGEBRA.spad" 23028 23037 23151 23190) (-37 "ALGEBRA.spad" 22893 22904 23018 23023) (-36 "ALAGG.spad" 22405 22426 22861 22888) (-35 "AHYP.spad" 21786 21793 22395 22400) (-34 "AGG.spad" 20103 20110 21776 21781) (-33 "AGG.spad" 18384 18393 20059 20064) (-32 "AF.spad" 16815 16830 18319 18324) (-31 "ADDAST.spad" 16493 16500 16805 16810) (-30 "ACPLOT.spad" 15084 15091 16483 16488) (-29 "ACFS.spad" 12893 12902 14986 15079) (-28 "ACFS.spad" 10788 10799 12883 12888) (-27 "ACF.spad" 7470 7477 10690 10783) (-26 "ACF.spad" 4238 4247 7460 7465) (-25 "ABELSG.spad" 3779 3786 4228 4233) (-24 "ABELSG.spad" 3318 3327 3769 3774) (-23 "ABELMON.spad" 2861 2868 3308 3313) (-22 "ABELMON.spad" 2402 2411 2851 2856) (-21 "ABELGRP.spad" 2067 2074 2392 2397) (-20 "ABELGRP.spad" 1730 1739 2057 2062) (-19 "A1AGG.spad" 870 879 1698 1725) (-18 "A1AGG.spad" 30 41 860 865)) 
+\ No newline at end of file
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase
index 0d70ff12..63d69f49 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,5 +1,5 @@
 
-(188596 . 3480551183)        
+(188596 . 3480583739)        
 (((|#2| |#2|) -12 (|has| |#2| (-313 |#2|)) (|has| |#2| (-1109))) ((#0=(-2 (|:| -2013 |#1|) (|:| -2224 |#2|)) #0#) |has| (-2 (|:| -2013 |#1|) (|:| -2224 |#2|)) (-313 (-2 (|:| -2013 |#1|) (|:| -2224 |#2|))))) 
 ((((-570)) . T) (($) -2740 (|has| |#1| (-311)) (|has| |#1| (-368)) (|has| |#1| (-354)) (|has| |#1| (-562))) (((-413 (-570))) -2740 (|has| |#1| (-368)) (|has| |#1| (-354)) (|has| |#1| (-1047 (-413 (-570))))) ((|#1|) . T)) 
 (((|#2| |#2|) . T)) 
diff --git a/src/share/algebra/compress.daase b/src/share/algebra/compress.daase
index 7bf8a3b8..3bb63ba0 100644
--- a/src/share/algebra/compress.daase
+++ b/src/share/algebra/compress.daase
@@ -1,5 +1,5 @@
 
-(30 . 3480551175)            
+(30 . 3480583730)            
 (4452 |Enumeration| |Mapping| |Record| |Union| |ofCategory| |isDomain|
  ATTRIBUTE |package| |domain| |category| CATEGORY |nobranch| AND |Join|
  |ofType| SIGNATURE "failed" "algebra" |OneDimensionalArrayAggregate&|
diff --git a/src/share/algebra/interp.daase b/src/share/algebra/interp.daase
index 4c91cb0c..7b07401d 100644
--- a/src/share/algebra/interp.daase
+++ b/src/share/algebra/interp.daase
@@ -1,5 +1,5 @@
 
-(3228641 . 3480551199)       
+(3228641 . 3480583755)       
 ((-4429 (((-112) (-1 (-112) |#2| |#2|) $) 87) (((-112) $) NIL)) (-3885 (($ (-1 (-112) |#2| |#2|) $) 18) (($ $) NIL)) (-3894 ((|#2| $ (-570) |#2|) NIL) ((|#2| $ (-1244 (-570)) |#2|) 44)) (-2347 (($ $) 81)) (-3529 ((|#2| (-1 |#2| |#2| |#2|) $ |#2| |#2|) 52) ((|#2| (-1 |#2| |#2| |#2|) $ |#2|) 50) ((|#2| (-1 |#2| |#2| |#2|) $) 49)) (-3998 (((-570) (-1 (-112) |#2|) $) 27) (((-570) |#2| $) NIL) (((-570) |#2| $ (-570)) 97)) (-2835 (((-650 |#2|) $) 13)) (-2727 (($ (-1 (-112) |#2| |#2|) $ $) 64) (($ $ $) NIL)) (-3776 (($ (-1 |#2| |#2|) $) 37)) (-1352 (($ (-1 |#2| |#2|) $) NIL) (($ (-1 |#2| |#2| |#2|) $ $) 60)) (-4286 (($ |#2| $ (-570)) NIL) (($ $ $ (-570)) 67)) (-3281 (((-3 |#2| "failed") (-1 (-112) |#2|) $) 29)) (-2697 (((-112) (-1 (-112) |#2|) $) 23)) (-1877 ((|#2| $ (-570) |#2|) NIL) ((|#2| $ (-570)) NIL) (($ $ (-1244 (-570))) 66)) (-4320 (($ $ (-570)) 76) (($ $ (-1244 (-570))) 75)) (-3490 (((-777) (-1 (-112) |#2|) $) 34) (((-777) |#2| $) NIL)) (-1523 (($ $ $ (-570)) 69)) (-3916 (($ $) 68)) (-3749 (($ (-650 |#2|)) 73)) (-2439 (($ $ |#2|) NIL) (($ |#2| $) NIL) (($ $ $) 88) (($ (-650 $)) 86)) (-3735 (((-868) $) 93)) (-2964 (((-112) (-1 (-112) |#2|) $) 22)) (-2872 (((-112) $ $) 96)) (-2894 (((-112) $ $) 100))) 
 (((-18 |#1| |#2|) (-10 -8 (-15 -2872 ((-112) |#1| |#1|)) (-15 -3735 ((-868) |#1|)) (-15 -2894 ((-112) |#1| |#1|)) (-15 -3885 (|#1| |#1|)) (-15 -3885 (|#1| (-1 (-112) |#2| |#2|) |#1|)) (-15 -2347 (|#1| |#1|)) (-15 -1523 (|#1| |#1| |#1| (-570))) (-15 -4429 ((-112) |#1|)) (-15 -2727 (|#1| |#1| |#1|)) (-15 -3998 ((-570) |#2| |#1| (-570))) (-15 -3998 ((-570) |#2| |#1|)) (-15 -3998 ((-570) (-1 (-112) |#2|) |#1|)) (-15 -4429 ((-112) (-1 (-112) |#2| |#2|) |#1|)) (-15 -2727 (|#1| (-1 (-112) |#2| |#2|) |#1| |#1|)) (-15 -3894 (|#2| |#1| (-1244 (-570)) |#2|)) (-15 -4286 (|#1| |#1| |#1| (-570))) (-15 -4286 (|#1| |#2| |#1| (-570))) (-15 -4320 (|#1| |#1| (-1244 (-570)))) (-15 -4320 (|#1| |#1| (-570))) (-15 -1877 (|#1| |#1| (-1244 (-570)))) (-15 -1352 (|#1| (-1 |#2| |#2| |#2|) |#1| |#1|)) (-15 -2439 (|#1| (-650 |#1|))) (-15 -2439 (|#1| |#1| |#1|)) (-15 -2439 (|#1| |#2| |#1|)) (-15 -2439 (|#1| |#1| |#2|)) (-15 -3749 (|#1| (-650 |#2|))) (-15 -3281 ((-3 |#2| "failed") (-1 (-112) |#2|) |#1|)) (-15 -3529 (|#2| (-1 |#2| |#2| |#2|) |#1|)) (-15 -3529 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2|)) (-15 -3529 (|#2| (-1 |#2| |#2| |#2|) |#1| |#2| |#2|)) (-15 -1877 (|#2| |#1| (-570))) (-15 -1877 (|#2| |#1| (-570) |#2|)) (-15 -3894 (|#2| |#1| (-570) |#2|)) (-15 -3490 ((-777) |#2| |#1|)) (-15 -2835 ((-650 |#2|) |#1|)) (-15 -3490 ((-777) (-1 (-112) |#2|) |#1|)) (-15 -2697 ((-112) (-1 (-112) |#2|) |#1|)) (-15 -2964 ((-112) (-1 (-112) |#2|) |#1|)) (-15 -3776 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -1352 (|#1| (-1 |#2| |#2|) |#1|)) (-15 -3916 (|#1| |#1|))) (-19 |#2|) (-1227)) (T -18)) 
 NIL 
@@ -724,10 +724,10 @@ NIL
 (((-191 |#1|) (-10 -7 (-15 -3830 ((-1277 (-695 (-959 |#1|))) (-1277 (-695 |#1|)))) (-15 -3735 ((-1277 (-695 (-413 (-959 |#1|)))) (-1277 (-695 |#1|))))) (-174)) (T -191)) 
 ((-3735 (*1 *2 *3) (-12 (-5 *3 (-1277 (-695 *4))) (-4 *4 (-174)) (-5 *2 (-1277 (-695 (-413 (-959 *4))))) (-5 *1 (-191 *4)))) (-3830 (*1 *2 *3) (-12 (-5 *3 (-1277 (-695 *4))) (-4 *4 (-174)) (-5 *2 (-1277 (-695 (-959 *4)))) (-5 *1 (-191 *4))))) 
 (-10 -7 (-15 -3830 ((-1277 (-695 (-959 |#1|))) (-1277 (-695 |#1|)))) (-15 -3735 ((-1277 (-695 (-413 (-959 |#1|)))) (-1277 (-695 |#1|))))) 
-((-2448 (((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570)))) 91)) (-3740 (((-1188 (-413 (-570))) (-650 (-570)) (-650 (-570))) 102)) (-3357 (((-1188 (-413 (-570))) (-570)) 55)) (-3014 (((-1188 (-413 (-570))) (-570)) 77)) (-1731 (((-413 (-570)) (-1188 (-413 (-570)))) 87)) (-3077 (((-1188 (-413 (-570))) (-570)) 37)) (-1596 (((-1188 (-413 (-570))) (-570)) 67)) (-2846 (((-1188 (-413 (-570))) (-570)) 61)) (-3626 (((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570)))) 85)) (-2540 (((-1188 (-413 (-570))) (-570)) 29)) (-3520 (((-413 (-570)) (-1188 (-413 (-570))) (-1188 (-413 (-570)))) 89)) (-4027 (((-1188 (-413 (-570))) (-570)) 35)) (-1887 (((-1188 (-413 (-570))) (-650 (-570))) 98))) 
-(((-192) (-10 -7 (-15 -2540 ((-1188 (-413 (-570))) (-570))) (-15 -3357 ((-1188 (-413 (-570))) (-570))) (-15 -3077 ((-1188 (-413 (-570))) (-570))) (-15 -4027 ((-1188 (-413 (-570))) (-570))) (-15 -2846 ((-1188 (-413 (-570))) (-570))) (-15 -1596 ((-1188 (-413 (-570))) (-570))) (-15 -3014 ((-1188 (-413 (-570))) (-570))) (-15 -3520 ((-413 (-570)) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -3626 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1731 ((-413 (-570)) (-1188 (-413 (-570))))) (-15 -2448 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1887 ((-1188 (-413 (-570))) (-650 (-570)))) (-15 -3740 ((-1188 (-413 (-570))) (-650 (-570)) (-650 (-570)))))) (T -192)) 
-((-3740 (*1 *2 *3 *3) (-12 (-5 *3 (-650 (-570))) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-1887 (*1 *2 *3) (-12 (-5 *3 (-650 (-570))) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-2448 (*1 *2 *2 *2) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-1731 (*1 *2 *3) (-12 (-5 *3 (-1188 (-413 (-570)))) (-5 *2 (-413 (-570))) (-5 *1 (-192)))) (-3626 (*1 *2 *2 *2) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-3520 (*1 *2 *3 *3) (-12 (-5 *3 (-1188 (-413 (-570)))) (-5 *2 (-413 (-570))) (-5 *1 (-192)))) (-3014 (*1 *2 *3) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) (-1596 (*1 *2 *3) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) (-2846 (*1 *2 *3) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) (-4027 (*1 *2 *3) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) (-3077 (*1 *2 *3) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) (-3357 (*1 *2 *3) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570)))) (-2540 (*1 *2 *3) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) 
-(-10 -7 (-15 -2540 ((-1188 (-413 (-570))) (-570))) (-15 -3357 ((-1188 (-413 (-570))) (-570))) (-15 -3077 ((-1188 (-413 (-570))) (-570))) (-15 -4027 ((-1188 (-413 (-570))) (-570))) (-15 -2846 ((-1188 (-413 (-570))) (-570))) (-15 -1596 ((-1188 (-413 (-570))) (-570))) (-15 -3014 ((-1188 (-413 (-570))) (-570))) (-15 -3520 ((-413 (-570)) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -3626 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1731 ((-413 (-570)) (-1188 (-413 (-570))))) (-15 -2448 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1887 ((-1188 (-413 (-570))) (-650 (-570)))) (-15 -3740 ((-1188 (-413 (-570))) (-650 (-570)) (-650 (-570))))) 
+((-2448 (((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570)))) 91)) (-3740 (((-1188 (-413 (-570))) (-650 (-570)) (-650 (-570))) 103)) (-3357 (((-1188 (-413 (-570))) (-777)) 53)) (-3014 (((-1188 (-413 (-570))) (-777)) 77)) (-1731 (((-413 (-570)) (-1188 (-413 (-570)))) 87)) (-3077 (((-1188 (-413 (-570))) (-777)) 36)) (-1596 (((-1188 (-413 (-570))) (-777)) 65)) (-2846 (((-1188 (-413 (-570))) (-777)) 59)) (-3626 (((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570)))) 85)) (-2540 (((-1188 (-413 (-570))) (-777)) 29)) (-3520 (((-413 (-570)) (-1188 (-413 (-570))) (-1188 (-413 (-570)))) 89)) (-4027 (((-1188 (-413 (-570))) (-777)) 34)) (-1887 (((-1188 (-413 (-570))) (-650 (-570))) 98))) 
+(((-192) (-10 -7 (-15 -2540 ((-1188 (-413 (-570))) (-777))) (-15 -3357 ((-1188 (-413 (-570))) (-777))) (-15 -3077 ((-1188 (-413 (-570))) (-777))) (-15 -4027 ((-1188 (-413 (-570))) (-777))) (-15 -2846 ((-1188 (-413 (-570))) (-777))) (-15 -1596 ((-1188 (-413 (-570))) (-777))) (-15 -3014 ((-1188 (-413 (-570))) (-777))) (-15 -3520 ((-413 (-570)) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -3626 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1731 ((-413 (-570)) (-1188 (-413 (-570))))) (-15 -2448 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1887 ((-1188 (-413 (-570))) (-650 (-570)))) (-15 -3740 ((-1188 (-413 (-570))) (-650 (-570)) (-650 (-570)))))) (T -192)) 
+((-3740 (*1 *2 *3 *3) (-12 (-5 *3 (-650 (-570))) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-1887 (*1 *2 *3) (-12 (-5 *3 (-650 (-570))) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-2448 (*1 *2 *2 *2) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-1731 (*1 *2 *3) (-12 (-5 *3 (-1188 (-413 (-570)))) (-5 *2 (-413 (-570))) (-5 *1 (-192)))) (-3626 (*1 *2 *2 *2) (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-3520 (*1 *2 *3 *3) (-12 (-5 *3 (-1188 (-413 (-570)))) (-5 *2 (-413 (-570))) (-5 *1 (-192)))) (-3014 (*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-1596 (*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-2846 (*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-4027 (*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-3077 (*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-3357 (*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)))) (-2540 (*1 *2 *3) (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) 
+(-10 -7 (-15 -2540 ((-1188 (-413 (-570))) (-777))) (-15 -3357 ((-1188 (-413 (-570))) (-777))) (-15 -3077 ((-1188 (-413 (-570))) (-777))) (-15 -4027 ((-1188 (-413 (-570))) (-777))) (-15 -2846 ((-1188 (-413 (-570))) (-777))) (-15 -1596 ((-1188 (-413 (-570))) (-777))) (-15 -3014 ((-1188 (-413 (-570))) (-777))) (-15 -3520 ((-413 (-570)) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -3626 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1731 ((-413 (-570)) (-1188 (-413 (-570))))) (-15 -2448 ((-1188 (-413 (-570))) (-1188 (-413 (-570))) (-1188 (-413 (-570))))) (-15 -1887 ((-1188 (-413 (-570))) (-650 (-570)))) (-15 -3740 ((-1188 (-413 (-570))) (-650 (-570)) (-650 (-570))))) 
 ((-2994 (((-424 (-1182 (-570))) (-570)) 38)) (-2550 (((-650 (-1182 (-570))) (-570)) 33)) (-2784 (((-1182 (-570)) (-570)) 28))) 
 (((-193) (-10 -7 (-15 -2550 ((-650 (-1182 (-570))) (-570))) (-15 -2784 ((-1182 (-570)) (-570))) (-15 -2994 ((-424 (-1182 (-570))) (-570))))) (T -193)) 
 ((-2994 (*1 *2 *3) (-12 (-5 *2 (-424 (-1182 (-570)))) (-5 *1 (-193)) (-5 *3 (-570)))) (-2784 (*1 *2 *3) (-12 (-5 *2 (-1182 (-570))) (-5 *1 (-193)) (-5 *3 (-570)))) (-2550 (*1 *2 *3) (-12 (-5 *2 (-650 (-1182 (-570)))) (-5 *1 (-193)) (-5 *3 (-570))))) 
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase
index 16f49c90..7923c5c4 100644
--- a/src/share/algebra/operation.daase
+++ b/src/share/algebra/operation.daase
@@ -1,5 +1,5 @@
 
-(733547 . 3480551178)        
+(733547 . 3480583734)        
 (((*1 *2 *1)
   (-12 (-4 *1 (-378 *3)) (-4 *3 (-1227)) (-4 *3 (-856)) (-5 *2 (-112))))
  ((*1 *2 *3 *1)
@@ -2154,7 +2154,7 @@
  ((*1 *2 *1 *3) (-12 (-5 *3 (-777)) (-5 *1 (-886 *2)) (-4 *2 (-1227))))
  ((*1 *2 *1 *3) (-12 (-5 *3 (-777)) (-5 *1 (-889 *2)) (-4 *2 (-1227))))) 
 (((*1 *2 *3)
-  (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) 
+  (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) 
 (((*1 *2 *1)
   (-12 (-5 *2 (-413 (-959 *3))) (-5 *1 (-459 *3 *4 *5 *6))
    (-4 *3 (-562)) (-4 *3 (-174)) (-14 *4 (-928))
@@ -6244,7 +6244,7 @@
   (-12 (-4 *3 (-1058)) (-5 *2 (-965 (-718 *3 *4))) (-5 *1 (-718 *3 *4))
    (-4 *4 (-1253 *3))))) 
 (((*1 *2 *3)
-  (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) 
+  (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) 
 (((*1 *1 *2 *3 *1)
   (-12 (-5 *2 (-899 *4)) (-4 *4 (-1109)) (-5 *1 (-896 *4 *3))
    (-4 *3 (-1109))))) 
@@ -7712,7 +7712,7 @@
   (-12 (-4 *4 (-562)) (-5 *2 (-650 *3)) (-5 *1 (-43 *4 *3))
    (-4 *3 (-423 *4))))) 
 (((*1 *2 *3)
-  (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) 
+  (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) 
 (((*1 *1 *2 *1)
   (-12 (-5 *2 (-1 (-112) *3)) (|has| *1 (-6 -4449)) (-4 *1 (-237 *3))
    (-4 *3 (-1109))))
@@ -7994,7 +7994,7 @@
 (((*1 *2) (-12 (-4 *3 (-174)) (-5 *2 (-1277 *1)) (-4 *1 (-372 *3))))) 
 (((*1 *2 *1) (-12 (-5 *2 (-1282)) (-5 *1 (-828))))) 
 (((*1 *2 *3)
-  (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))
+  (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))
  ((*1 *2 *1)
   (-12 (-5 *2 (-1277 (-3 (-474) "undefined"))) (-5 *1 (-1278))))) 
 (((*1 *2 *3) (-12 (-5 *2 (-112)) (-5 *1 (-593 *3)) (-4 *3 (-551))))) 
@@ -8917,7 +8917,7 @@
 (((*1 *1) (-5 *1 (-603)))) 
 (((*1 *2 *1) (-12 (-5 *2 (-1144)) (-5 *1 (-523))))) 
 (((*1 *2 *3)
-  (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) 
+  (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) 
 (((*1 *2 *1)
   (-12 (-4 *1 (-1260 *3 *4)) (-4 *3 (-1058)) (-4 *4 (-1237 *3))
    (-5 *2 (-413 (-570)))))) 
@@ -10594,7 +10594,7 @@
    (-5 *2 (-1 (-1166 *4) (-1166 *4) (-1166 *4))) (-5 *1 (-1270 *4 *5))))) 
 (((*1 *1 *1) (-12 (-5 *1 (-176 *2)) (-4 *2 (-311))))
  ((*1 *2 *3)
-  (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))
+  (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))
  ((*1 *1 *1) (-12 (-4 *1 (-680 *2)) (-4 *2 (-1227))))
  ((*1 *1 *1) (-4 *1 (-875 *2)))
  ((*1 *1 *1)
@@ -15507,7 +15507,7 @@
      (|:| |hom| (-650 (-1277 (-777))))))
    (-5 *1 (-238))))) 
 (((*1 *2 *3)
-  (-12 (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192)) (-5 *3 (-570))))) 
+  (-12 (-5 *3 (-777)) (-5 *2 (-1188 (-413 (-570)))) (-5 *1 (-192))))) 
 (((*1 *2 *3)
   (|partial| -12 (-4 *4 (-562)) (-4 *5 (-799)) (-4 *6 (-856))
       (-4 *7 (-1074 *4 *5 *6))
author	dos-reis <gdr@axiomatics.org>	2010-04-18 13:26:47 +0000
committer	dos-reis <gdr@axiomatics.org>	2010-04-18 13:26:47 +0000
commit	dcb9693504ebe5e74a34d44f5e75b6caaf5ad34c (patch)
tree	5b086857403c24556a88be33dca0584c1c487f0a
parent	ccbbae1ee9d0106282e2d3b3d5193c5294cba0c6 (diff)
download	open-axiom-dcb9693504ebe5e74a34d44f5e75b6caaf5ad34c.tar.gz