Changeset fff643c in git
- Timestamp:
- May 21, 2014, 4:10:50 PM (9 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 2bd45fc26c7e962b468e9ee5a36f1169c6b8483b
- Parents:
- 40e7ab81ffeeb3f399c542b0834aab87f920347c96cf095cc75d0888aa77650ed1cc40791112912f
- Files:
-
- 23 edited
-
Tst/Buch/Example_4_6_26.res.gz.uu (modified) (1 diff)
-
Tst/Buch/Example_4_6_26.stat (modified) (1 diff)
-
Tst/Long/primdec_l.res.gz.uu (modified) (1 diff)
-
Tst/Long/primdec_l.stat (modified) (1 diff)
-
Tst/Short/bug_15.res.gz.uu (modified) (1 diff)
-
Tst/Short/bug_15.stat (modified) (1 diff)
-
Tst/Short/charseries.res.gz.uu (modified) (1 diff)
-
Tst/Short/charseries.stat (modified) (1 diff)
-
Tst/Short/charseries.tst (modified) (1 diff)
-
Tst/Short/charseries_p.res.gz.uu (modified) (1 diff)
-
Tst/Short/charseries_p.stat (modified) (1 diff)
-
Tst/Short/charseries_p.tst (modified) (1 diff)
-
Tst/Short/primdec_s.res.gz.uu (modified) (1 diff)
-
Tst/Short/primdec_s.stat (modified) (1 diff)
-
factory/cfCharSets.cc (modified) (5 diffs)
-
factory/cfCharSets.h (modified) (1 diff)
-
factory/cfCharSetsUtil.cc (modified) (7 diffs)
-
factory/cf_generator.cc (modified) (2 diffs)
-
factory/cf_generator.h (modified) (1 diff)
-
factory/facAlgExt.cc (modified) (4 diffs)
-
factory/facAlgFunc.cc (modified) (6 diffs)
-
factory/facAlgFuncUtil.cc (modified) (3 diffs)
-
factory/facAlgFuncUtil.h (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
Tst/Buch/Example_4_6_26.res.gz.uu
r40e7ab rfff643c 1 1 begin 644 Example_4_6_26.res.gz 2 M'XL(" /KI;%,``T5X86UP;&5?-%\V7S(V+G)E<P"%4\U/@S`4O^^O>%D\M`)E3 M ;1EJ"!R,'I8X#YLW,PENC6NRK]`NX\^WE%)FHK$'^M+W^WCOE2[?GF:O`$`+4 M >)D]PE@K37;R<YR-EB[#"C"'I3Q(C7`V:G<H"GANJOUI)\JD3$N6DH.X$*4K5 M [6F\`!\G!.(X_V\!B$[3X%/"4H`_H5YY2@:7E$`M#U\F6N23L$$)(12'F]/06 M RET!<B.J'<`LCQI$\6V#&`Y<E+01QZ&'WQ/P:X!'S&X?S*(M+Z(#Z>%74B_O7 M C"RYU_/Y7H-.KC0"A^<6['NAYL+VE:YE`_-\O:WJ4HE:"H5F5QAS=6XBRQS98 M D6!LOI00;@<3Q_H(2@C06P&U4.>=AHO46Q-'7H1?&<E]=4*+<(ZSH<`X5B>Q9 M UF"D6IGU]JC$`8[U1K3>7B8I8)Z-YN\TI*L<L7X,MG6.`Q39`]YMS&X!QY;`10 M 5GDW<X>*:'?.C5"/M\.D7H=%G4-D)=@/3Y<*J+=.N@P/Z*3'N"AP?%-"5\#@11 ISSK_H1/W*_A"?";QI?3#F`Z/@YK?MGU?[>,Y*\/,;D;?/=8PWY4#````2 M'XL("(%[?%,``T5X86UP;&5?-%\V7S(V+G)E<P"%D\]/PR`4Q^_[*UX6#["V 3 M=$!7-4U[,'I8XCPX;V8V=2..9+]26-8_7THIG8E&#N6%]WV?+SS*\NUQ_@(` 4 MM(#G^0.,M=)D)S_'V6CI,JP`LUC*@]0(9Z-VAJ*`IZ;:GW:B3,JT9"DYB`M1 5 MNM*^C!?@XX1`'.?_#0#1,8T^)2P%^%/JR3,RN*0$:GGX,M%K/@T;E!!"<;@Y 6 M#4>Y+4!N1+4#F.=1@RB>-(CAP$5)&W$<>OD=`3\&><3L],&LVM9%="BZ_[6H 7 MQSLC6]SS?+YGT.D5(W!Z;L7^+-1<V+[2M6Q@D:^W55TJ44NAT/Q*8Z[.=629 8 M(]L2C,V7$L)M8^)8'T$)`7HKH!;JO--PD7IKXLA#^)61W%<G]!HN<#9L,([5 9 M2:PU&%2+66^/2AS@6&]$Z^TQ20&+;+1XIR%=Y8CU;;!'YSA`D5W@W<3L%'!L 10 M"]@J[WKN5!'MUKD!.8SM)36"'CL9`.R'8^12U!LG788'=-IK7-37FPUT]H,[ 11 FL^Z_0MMM^$3B07TC9L/#H.:7;=]6^W#.RA1F-Z-OL&5]]Y$#```` 12 12 ` 13 13 end -
Tst/Buch/Example_4_6_26.stat
r40e7ab rfff643c 1 1 >> tst_memory_0 :: 1 399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:1750962 1 >> tst_memory_1 :: 1 399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:22403443 1 >> tst_memory_2 :: 1 399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:22813164 1 >> tst_timer_1 :: 1 399646713:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:181 1 >> tst_memory_0 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:175096 2 1 >> tst_memory_1 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2240344 3 1 >> tst_memory_2 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2281316 4 1 >> tst_timer_1 :: 1400667008:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:12 -
Tst/Long/primdec_l.res.gz.uu
r40e7ab rfff643c 1 1 begin 644 primdec_l.res.gz 2 M'XL(" +O9(E,``W!R:6UD96-?;"YR97,`[%U9CR,Y<GZO7R'L4P]264@&;P^Z3 M` 7L-&`L8AN'9%[LQ&.@JJ<K=@W'K2NG7^PMFDLE4Z>KJVIK>'6&!KB23C`Q^4 M #,;%V-%/?_W7O_S'8#`0'P;__I=_&?QIM5S=?WH<_^G'NY_:-_1A@,Y?'G]]5 M 7+W[X<<[_COX\&'PVY?'S]/9Y)=/][_.MO?+U6B59L@/@_2L[IGNG]K1!Z1U6 M -M#<#[X\_CH??'DOJ:KD\-UH.!Y.AM/A;/@PG`\7PZ<?AN_^/)S^]D,WWWX87 M /$YGHT^#Q_>IS]T/1@6-BTDY+>;#U.WO!P\T7Y2CU"6J^\'L85Y.NAZ!07-Z8 M *L==%S$Y4"L>BGDINGYY/Y"C:2''TX(FTV+Z4$SGY:BD<3DIYXE#H;H5"GT_9 M^ /2X7`$Y\?[SXZ__O%S^VU__Y]UCMQYATGK$^R^CZ>-D]*GWOELOO9_]W_KQ10 M OXZ,<1_B5^A]W*3#[_@T1K:<_'DQ^O+N<2BZ052E0>I]2^>G_SX8`ZGY/%I]11 M >:P'G]]/0.*7Y>S+XVR9?XR(947\>/=1_/Q/=]B)7_#P/L#\4(BF@WY^7Z*C12 M >%@4-'\J9K%?HC_L&H7QV*UB6LZ;=PKON&/2-#6:PE25X/'%N'F>%.'/M&FU13 M $\W/[SL!N<.W,ZYX;L-:.<^8H\C8V[$E,[;FB9&'\@V143D+98?&PYNQ$$4(14 M "N41$O0HF)5Q.0V2@Q;U1J,#/$VQ5P^T:(B/)SC,#T_M!Q\@89"R"782/#\515 M 8:/!SU,S&&,)8WFCGY@8%A'T`S_K5F3#0.X=MW/X)9B>L/@&("`H,J`!8A3`16 M 693X8JGPQ=(T2)6S><$RI5BF,`3?+(@IV4P&"P8P:!U^X_!&+N)"P@J8T9PI17 M *ML/MNN9/?!$C\V3BW;0>`9N9LP2AF+\?$'M.N:+I\#K4RGGM$@46AQGS!/&18 M @K>G8AS9:/_.0&U18L0B[%`%-)A0H1["\(`*E0P+%9,9N#,SYG'60$;-D$7819 M %RH8)BH8)P(`S!-8`DY4SC`1.V@8QK`_@N52/5'D%7R7P"AK1VAX1^1#6%?#20 M C`S,\,MJEH2%<6'1X0\SAMI['YB4@3T*/#4CZ2$^S,N62H"T&,\C.(PQZ!$621 M '/:DI(Z?Q&)$-T@#1DLL4,_CL')1RJ=T"&!*'@F'@'J'@`X/`;WF(:#L$-"Y22 M 0T"O=@CHY"&@EQX">N-#0&]V".B/=@@T.Q/4.1/Q[S&_XHQKT1DP?C<M6KL:23 M ;5<G?JW?EU[J.&><NDQK!XM18(B^)X8B-\]@>N[H'/5UWA"GWY>CZ&\=`I5324 M B*[/VX'RAE^/WMXS`*C'P;SQ\"(34+>4"S=;BSF?X1.?[K-KSK%KG[/KSH/525 M 8[3\6QZKJ(T,:R-Y$-I,H,<@KR4EASD:Z\C-J.<HL]*+RBZYR]$R-R[R+%JW26 M ,IFUY"ZS@>Q]$,!-H5RAGDO6S$'WSMBFL*E=P`0'4U(J-)_N(JYL%LI@%=HO27 M PD)B$)M"EROK13,CV-/$W3PHM*C%T]K8",ZR15!4_&SZXWA*[@:UW+!%F\Y:28 M 6Y'FS`,_-(5M9X,R?0HJ@6:%6O1CN..1RC3V`O`N*!EW0<<U$=?T$HD\8IIF29 M V]_?_"`@:;L4@\\N&(-0SN+G-+M3["85W5:S;0V>S2P1M.QG+.!1``H,Y>U.30 M >]KX;7&_)L`00C$'X/PT85J36;93\$)*WIM)OA$S^<"2M.#Q3SP!'V\9%UC:31 M !)[&4SF9J7*F\+$9G+.9Q/ZH"<UX_$R!-?X2WJ!SQL[.3*;S8_G\J-/6?)H?32 M Z7'/C#Y#\C28Q_`\">DY5)\!>QG;D_!>1OA;03ZB(F]X?@.>IWRIOE6A5B7D33 M H/9-"V.Z.&9P,E-K#DRM94V:8>08_1RQ0T/<!"#9#(8&^`/^"3Y>SOJ(T-<:34 M U&F^G$F^BI[!?)EC->VC=8[\,;9?A_(IAZAGWM.6=Q:^V_AIMH%'['S\[E6F35 M /O)U8.VC<!PU^*VQ=VPW9YV]CP+T528_RMDEJY^$[ZL-?Y+20]O?FT\]`M/@36 M "21"4"^+EMJA4/S][-HI-^WO;=O.NVS1`W`?!I]_O/O\40Q!@IH\5FARF#P:37 M SXH1L!U/9\44(CR:E6@1W[*$,>S8CUNOGMN<=1Z%+!BWL$FC,>>"1F/(R9B%38 M 933E]AC_%E/H=KSAURQ%8^:2^T=XM2A'@0)[_",:/Q6C(&6@`_9!XPD<<3@!39 M 4$?$+_!V&F*%SQ^)%S(*#\$4\(-D3<,/JM%`_,@B%!Y,H[$^?Y1QIHPS99PI40 M P\SPH!M5S(\\$P]J*)J7BN<Q9C0&R&-H^Q$_S]CN3L+[!K!FOF*:#>!%0Z8%41 M #%V2\9HT`!6JZ9L$;`@=_!0FL)YD>!2FX=^Q9'C&$WXD_#N&:09TX7WHX]?A42 M +?Z9,(I)#/R'P6JV7/WGE\?/HR^[=[]]H2%?(8DX0%8?!O_[^.G3X$NZ5Y*B43 M NUJ3='AY.!XNAZOA>K@9;H?U<#?</[L\E/+YY:%4]X/QIEBNTSV?U.C9%JNL44 M Q]P/ENC9=#T68W;%LNYZ''KVQ2KK\9B%GEWJ4=7]8+TK-MT8)="S+[99#]:U45 M 0<\N<:VRNU6E+ETH*GW^0E&9RQ>*REZ^4%3NB@M%Y2]?*.KJ\H6B%L<N%/<I46 M W-JE4*M.$=8V!56;%$VM^W'C<EV,-XG(/A'9)2)U(K)-1%;]N/$8%]M$8),(47 M K!*!93]J7(&+[95<;'(B.B<"$;Z6R#H1&=_AWVL!724"RYR`S0&MB_'N"!?'48 M \%CG@+JC7-1'"*R/``HN?$9@4Q?K\UR<6`JL888HUG+MWG9KP;:(7$9W1Q:S49 M .;*8/A^YD&ZQFF-\;"ZN)I?2%935>6"/K8:IY*+:2=@F45A?Y".7TRW4WS$^50 M +E&)BH#R:^&&6',IW"RPN0]N(&NN<QMA:*YSFRUM;F\;46WN7YO#T]RX-J>Q51 M N41M]$-[P;G>[>,-Y+A]Q&>7V^817QVWC[RO#5N"%]$^\BK:1WQQW/`G\,%Q52 M P[;P/"!P1!4/:![Y:YO`#[&'`#8C$C*_&VR1H`P)RI"@#`G*D*`,"<J0H`P)53 M RI"@#@GJD*`.">J0H`X)ZI"@#@GJD*`.">J0H`X)ZI"@9TBH"Q=$^SP`V.6N54 M ?YV[_=O<U]_DOOSZ6'CQ"E1/I1=>0GJ5DTZ&[368/D+Y5(1_)?E-3GZ9DT^V55 M \(6,7Z)\*L*_DORZATLTN?$3XV]@_!+E:.Q?R/CJ)"[?PO0YJM&Q.,OP-B>]56 M .8U'3P*CCW&6Z9=3C@[-(>.[%Y#O2V!T*`X9?R7*T8FZ7D2V.?G-:5R^3D2N57 M IAJ=MJ\0D>C91?+?(M<OIYP<Q;,RLNF!$KVX%W+^2I23<WK(>7T:F=.')_J458 M 9SE_)<K)*3XK+74/F>N._65)>1G5Y("?QSHZQ)'^.J?_E5+R2I23TW]6OGNH59 M 7*FI+LOVRZBF(..0XVU.>_-:.+\"5?:#C\MS+U^]HYQZW3OH]2ZG7_>NDK:[60 M ;BB\["UU37C:6YE:_E!0V,/?;#O2[.9OMMVVL*^_H>P][Q-UB+#7O^GHL^??61 M 5U$<`/35+<<!Z_P3C@.'K.VYG8'.00AEPBZXG;TG;G?[0KPQ'4O$6Y/A0WQV62 M MUF;36J&`'%@E+%''!QMLO>>V]MLIRKNR!B4(<V3M3E,6^<S)'=DDL0L9GLF63 M F<5LA9)9I`PB:4-'1I&9I'76P5QV(*CJ4,VJ/(W4]'!8ERU426YG+J#B@"!K64 M LYBO,R84V_E51L!R.YO@N)V=<@XU5]E!!Y/+3-8TYYBRC=7,8+Y(S1Q2=NZ865 MP V[1.H6^J2?W*)L>FX4A38_+(JJFAT/4;.&&X]1L78:#U6P=)D2LV7L.DI?966 M >\7MS'[PW>31"]KNQI)RE2)S97.H*WM19[<LFRM;EZMAS_8O1M?Z6,%3E\)I67 M 4T(GTEI9TK-QKGN9K43D*[))QU.O7Y$IS/-9=2*P3@16B<`R$>@J?AI=V4N]68 M 7IN&SK!H@NA+J=>+661[84?.+Z71P;W4:Y>MW%R+1U#MO?3KB[+(O=3K[LA:69 M SB=-VPCHE5.O+[I@Z*5=ZRM7T@':Z.1^VO4\'T>I!#W>3[V>I[(YAFI0@U$170 M F`N56]]_\N?;TFT]G=JK'$E6\S62/T<HGTJWO22TZI./#L!K!&U'*']CNNUW71 M R,B>"".^W\#G1!3Q_6>K3J39OM^$YHGTVNG,3,\C6^:D>T<E14?7YWR^BO+772 M I]FN))^"N.O3;%]%^62:[?O-:)Y*K[U$-;WMC<ZI]%K/$JQS^M<*8<PNG+4Q73 M +Z=\,LWV'2<&3YC%[SA9=<WUTW=YFW-=FNU9KO0@-7*8P]*'*:S<8H8.>YA774 M <(?9%7^89^#,6S_/$*[8^Y7L=9:XXM3;.F^KYD8^M0\26YQY6^9MV]S5I[9K75 M +NQ3VS>W]@FHJKFO3VW17-JG-JN@+,_&2BA+8'+>;9.WN=8D;S-[>9O9R]NN76 M GXZBME`@;5M;+9#:K&0Z=CCIMJ[[.;=QWE;]I`[GW+)$*:?<>DF^D+0\2+AM77 M ^_FV9=;FA-LX;XM^4I.3;>.\+9LJA]3NYU4YU_8LU9:W&;R\[7HY4!4R6%GB78 M K.IE!T.B;96]9N96_3Q;GK`ZDF<;+[/A)N2,L_-C0V(OZW`AI9MU^)!6[CI,79 M 2/KF'2$9N,HZ0MHWRXISFFU-F81PGFU)&<B<:`.-;PG>+@0I@U89=%BY7+WZ80 M O+C)YI71ZU@3O8F%S]M8\5S'8N==K%G>QS+D<2Q#7L<RY$TL0][&(N0Z%B$W81 M 2JXM0Q[',N1E+$->Q3+D=2Q#WL0BY&TL0E[%(N1UK#;>Q$+C;:PP;O1@6SW,82 M W],\<QD>VIDZSM1QIH[KT\.D6S]_-)%3$SDU0]F0,$/5D#!QC89G,@D;9]DX83 M R\;UV;@^&V?987(M/G]T<:;CF:OPT'[/14Y=G.GB^GR<Y>/Z?/A>4/_<:/?084 M QS7Z.%-4$50\430'H14%H$H24"41J-)\$:$5(G(L1`17B,BSZ,0GR8](`B0H85 M XB0H`B62#(D@1(WY"ZTX/XF12'(DDB`)&?='R/3M1I:"945+I?DJS5=IODKK86 M 5FE^DBB11$KH=&:"4#4F-K3B_"1:0C?SX_ES%TK2M7]6DFZJ#[$,O;JF!-V(87 M YR7HA@Y+T(T\+$$WZK`$W>C#$G1C#DO0C3TL03?NL`3=^,,2=%L=EJ#;K/#>88 M TJ42="O/EZ!;=;D$W>K+)>C67%&";NWE$G3K+I>@6W\K0;^5H-]*T/_P)>BN89 M NI6@MTB(6PEZBP3=2M!O)>C74;Z5H-]*T"]0OI6@WTK0;R7H&3*G#\^M!/U690 M @OYUFNI6@MYQ?"M!3SVW$O1;"7IHWTK0F_;W4X+NY*T$_5:"?BM!/[>S?X@291 M =*=N)>@=^5L)^JT$_;L(?&XEZ+<2]/.4;R7HMQ+T6PGZR?V\E:!?H?MN)>BW92 M $O1;"?JM!#VU;R7H@V.6]9M*T)V^E:#?2M!O)>B_5PFZ,Q=*T)U]5H+N7%><93 M [7SZKZ(/VO\L^O$Z=%\]KT/WXGX@[,X4RN]TZ7>J4**F?2%H)PLI=U0(L2NL94 M 3(7BGNX'BG::7ZJ",'A7",M3C,04(6H,MYCG,:_[(64O[P=DT*U4':@7ON,K95 M ^_5D?_'7D_V%7T_V5_QZLK_BUY/]%;^>+*K+OYXLJLN_GBRJH[^>O"^\M?8N96 M &8-2*$GJ+MF#TE3.]R\W]M@P,J2P'5J9?*ITE0#RPODJHZ"EMMPKM#VXY!!597 M :0V9O2^D47KO2BE]M;<%.;4WI15.[W5!VLN]*E7EW5Z65ANSYYTGO2\=Z2I]98 M 7PAO]-Z71-J!E%`.$VPA=.4%J`EE)9-SREJ0(^$)Y)2K/,A!C)35<@\&I$VL99 M` PJIP)P0)`1(&B)PAS&*F*"HK-KKTCC'!)T3>B\A>T0@6(.R`#TC#:4-Z/WV100 M ,.342F<AJ<J3V@$!+]N"7\@[8ZS).P@]E:+R2O(A`'?XNR_)6`=ON;2D#<Z"101 M D,H8$+*.[*Y0SE1MM7`MP9&S517(>-(X1+M2`:=P_A2I0$9@VYB,,LQ/Z;QR102 M .P"M55MH7`/QTH#_VF!41=ZC!TS@&.L=Z%06\S7&.(57&F.T`&-Z7VAO1:WP103 M ":=EK3!"*<$=A2)'Z,!((ZF6&*&]5N"7U^U(U=APXRW>0-:4Y3<`G"3K`CSI104 M @`.5LL+:9&&\87S0;P2_*&P%9VE?D,="L7T&"^;U.0^8@)I4-12(-3M(-YFV105 M A'HO)$N!U7N!.4J;O1"`UA@!.65PC(,L&&<41,$[2Q`%(;UT+`N$!4(6@%'E106 M (`S6>P@#7D/V>4EH@8U*N;9$NP[?PG;5^!8$EFHA2NDM_E8E(+*UA\!6P,HQ107 M "Z*VC#(P93GVVM6Z\`094(4F!?P*X1PO56J0@I;TG=#U?NOWN-#1:PD=O8[0108 M T1]"Z.@-A8[>6.@N_;9N9W6B]K;26&"`Q4!``@B58S0JQM>R$I82;1<DU#`*109 M O-U`P6M=,0C"5L``L$,I,PB.@EX/"AZ3I-)YG%-Z+USX'M"D\#T1=J$JC9'X110 M 'I9L/)L1[",^5S@'4`U_5>!K9*#L%2#&ADBFKDU0^H"[PE$QZNAOYOT!5GWR111 M (O*9S_`/"\&QC?_CK/[D_W_BM7R]?UCDCLG-#;0+H$6#<_3GDX]Z.RE<8<>@112 M `D596$VP8XP<&VPM!>+'4CI$D'Q@V0\!0VR^J=(>KHQS%=P!I?,X*4`.%X8'113 M $_['L05[4H7&OC1D*P=./(;PYK`?00AML95@K23+)'4EW%W,O@4GB3R<BCVO114 M 0U;!/T,\P7&+(%B2X&987=5P0JK*L3>&&$M:=H_`7O!KI$`_>UU6<X`F-0(T115 M I;2_BWD]]EPDI(M=%^P)B``)853C#=H0TU@BMO,*/@&6+XS'EQS\G!W#I((3116 M !C%%S*,KN0O+8'S@'MS%A&%P).%C!:$Q8)G@U##>)180HG4I!3B0\#_XPQ8N117 M %3PIQXZCD_B:$VU<QK5]$JZ0"C(AK18,@PDHP(?DT%\#HX`!3@;O"]S``G+F118 M &2;XF3R@:JDY'#(5/,;`&;PC"(*V(<7@*L8>WIKR3(V(&%$X7[IF9Y"P5/3I119 M X"-6HA\C'PN&Z3`8CL)S8![Z,?)5\7D\!I=^!?FY!Y(1/*!YE0-S>OHI3^`Y120 M ,B?!.8'/$<:^G>@INW5*A[RZ&LDU"2MC#L=*`SEG,;=PVCD*4G"_09/G(Z2P121 M BHDZ`:$MX8-7NT(CH('6A_SF>7P^VL!'^D`;'(F@IB1Q"J30;2!&Q(<?/'K/122 M P1/B/\?!D\5FUDU(PD=;$2OZSH=I-`@8A5((89D7_!F,M)7ASVCI/,Z6P9%N123 M ])3F)2CH#0R'IN!O@"H^0:RZ<+(YUJ3.CKRB]N@42.&,:\)2"`=B.:R.U4@5124 M =*ED!0<5B^"GT<&:FDU!H,F:F!4)]*SDY5:9/Q>4":O_$#=CJX5DCK5#NV1E125 M !.+2-ME)Z73041K6#<1AY&$+$"2"MN%Y'!6ZHT[![R*1KV?;WLZ\O9F%^]N)126 M Z2O9N=<V=='<]'YRE[,(FK,+\.J$UB&+H(UPM2VLEZ8VG$VP5.M2X635\.L(127 M J@MK-/QQ%AFOH,>\H7@]6'L^1155@:3#^7&L!!W`=&`9>LGN"L)NXQ,$C[8V128 M K#Z@9PSTD:AJB(0E8VH-5#AO@<F^XBP/Q$=H3O.H2N$O?&P3DE20(\Y2%6A+129 M P&Q]I;%!4'K\V4KZ>%U9^WV)LZ=JCS/HJ]KM\7U2M2NU@7JSK**MXOP)E@-V130 M L.6"`@#>ZY"B@N0`",G9)NR3-3A'S!:VN>:S+PQ)WGU-G(S#"P'^V8TVDH\P131 M !$76?!;#)EM9Q3M2WE$R50W952+>EV)_):?C2B_)8,U&N7B#RFI.>M`N`!M_132 M J"(HD_;:M#7D[=UIM/3M#6KK"D1)N/"KN_#8#^^7L*9T)0.IBO=+@_BSNZ/A133 M >#@93H>SX>+PE@DX/;MEPI;>#T;_W]W5[,BNX^9]GJ(764S@ZX%-R3^%`>89134 M \@9!V3)0@TR`X-Z31=Y^^)&2+-E6E:N[ND_?L^CVGTQ]I&A*E"A6A9\@=M7R135 M 6[S;_?7-+54[NZJ=YJJ]\OEU6A_W?WV;\7Q"@:N3I_)O7LO@-WFET%7_3_I_136 M UO]N+3@R`I2L;]T*];)R2<V#A2=NT;L+3_QA/EQX8B/S<.&I)7MBX8FZQPM/137 M U#]>>*+A:.%IL=5B;M5"-ZJ6FZEN-@YR77V+`]S%H$@U2RFJ;B;Z1S/+F:(;138 M ,^/WS_%[TLNM"K?9)-=\?[I%SV%:ZOD61_ZL$/H;U,D[B%J@>O&%$+<4E2H?139 M X=_![S&[#6:#7S:/F)D#)YA=5G\GM^?;YG8/?O>WF:791;0CQ%"[V\I)?<R'140 M .<='+>@2\'RY[/E23O##ZA_F)%PI)TO"B4*OCOFQ9_DQ`)\PM)>_,!-KAF(%141 M &?;RPG0`G+7*)5JULB'*M']E@[X[J54"E1(ZVB8UVH30*+1O%>.`K>8GV<?"142 M %9LELC752^0EP=4_HR554H/7%8K`&%>]P[5YZ32LX3RL>0MK!JP9L.8]+#85143 M 1E4SA^7J!!.C,(>PQM.M..]:D6'5$=6V%146VZUM*Y[#=3DOKFDKK@GBF@!L144 M VHN+-=M,R^:E#:SYN`FS+7'WA37MA,6@ZHAI*RP%54]WA55"E79/HJ-KO>2U145 M <[6&T;9RK4N]VHN48-I?.%LY9M.!3;>1O=C)51MPZ;3/<SM=X(&*&L^\\]..146 M S&5V=G+[VS!7<VIGIZS'6`H]1K;U3S0RD\V2]-@N$8RHY;%L4ILMK7:*X%R0147 M =&9#F=J244//D33=G"*L6_8_VED/3@_+81T']K"'UM9VH[;LG-J>^QKV;L<P148 M$ ,"]%E]0-[:7;$3`7@&[']Q$.([;K@@]%!X8+3`T7&#(;*:\YOS;B?$L\[51149 M ^]R@,C>!L>WG&/CB83/SXAD;V77&1PC?9-PS-GK&A@)C0^,+F-<SEIKDVZH,150 M JQY4RZH'ATU^>40AT?1#I:'FOF+6J5:Z1"O=(;6#`?2Q"D++%B,.XQ!:BIUS151 M T4!NL:.&\HK&FEA[3=1CWFJT&^1%W'V".V\)HK,J%G"SIH5/I^;/:`!NW!S*152 M P,?U$SH`CE'0\[C-8?LO*X3[^D/VP?NI_ARW>'>>PL'[P0,;T\BS];&&FV&(153 M ZFKN5[BKKV:,B7WXV,1C<#C&,_%CXJZ>)0X7V!'WL-P+TRP>`0^7C8\4F[E=154 M ^0WN?2?NZ)@F_T.O9V9TQWP3_V?\-P[=.O?5A*?\O^;A(J&S9T.M`5E<+;H[155 M 4\]FX7?A6/.MI>J8-MOS&?^MXV<3QD\=5X'1"D:>(S_B;V)B31IG&&+'9W:Q156 M /OIJ0@\K+CWHU4(.U.I(#%08$"@R$1:*X5$V>W76I]6<C0,!`B`"OLH*-*%"157 M 0L(*'B-XP#+&$T!%0-5%5*0T1PP06'\M8/&W`6HLDF$2,1'HLE9W#/`F"-E6158 M @CXT'37<ZLLL!R.5\!M@GB7+HC5<R#I<L:&V-Y\`=$:SC+"@]B8VM)&:O7&5159 M H?MPN5PFK5AN"A1Y!2@P92A(<-8*F$K**1Z^:>9P1AZ48,(U4$GIQ@D^G'EL160 M &'A,``>$WLA'B+DT&!^@5!Y^0-"H9`1'):44"$Y'12*G(AJI/U3=BFYP(T4I161 M D#0I><Z@!Q,4P0LDG'$1H^],;-WT(9^X<+%T6N[6A>2JS!PKLC'6V46M%2L1162 M X8YH-\F]0>JN^29Q<3GI@`'%B)DTE8#A*XC:>(D`"\/PG.-$C"-C6;J8T-6)163 M RN(_`!`JKX7U2E2.D2C?%ZU8.&\;J=.BTMHH]U:JZX5MB\H(%?6^)EB$P%]@164 M M)>Z!I6S$1GC?C>L?/=>YCPZP/>MYOWB,?2#26#XXH#2"92+0.D\WX,!G(N'165 M `YO"P_!>N.^T"0#+""122-KJ+4T>@\<RBB!&!0%;(_)`Q=1(Q2,JI@;M+C(8166 M ?:4R#@?@6?XS&8,OV,*B\C\G,N/3JK>LQ*PIO4&S=9@>9\W"#7ZP]+4\OW4X167 M MC,?];G>X%%A%Q+P,C-!04D$PR*R"D%.YW@*<R+JTPL@&84)J@FHH)VSGA`^168 M &ZOZ!8B=L8U`E/'"TND3QJB:#'#:(7N]#^C$RD&,@M$H/C,H...1T45D1"2@169 M +$R+M!EDJGBLH"'^V+JZLP!"`,&CF[[J4:D)%;*A<]W"%H.\SDJ[205<SR0*170 M .PC+9(5I$I9K,RC#-(P]:N&33AJ%&\<ZO3'V7!V.[00^:;CTX%Q*Z(W.>ARR171 M NW#IN$/$O^G6LU/6AR3(`DJ'+`.`Z:F`\Z<`Z,<V`*FGT'I[4]WA0\L6@8E'172 M K8'1OYANZ;E#OO4L&Q;OK0]*TP/F9?$@,`8`4S/^30#/7;@"QPB#F.^)>>4*173 M ^FH96'&93?;`.PP`^#\;5"V,0<@<;!TH1CO913L9GD)V:B?]B0LG7,,D*J14174 M PMD<SQS%ITM\&L]</(NXX/X;F"4K799\,4;8@CA(>&=Y0,D[],_RK76"#,\9175 M &7?3@WZ@C*R2+Y#\)]@(1*"3^P`G<R9RJ0+R5/B6C9AZ;7A,"D#[!!8))E`1176 M X8DA<!ZE=0%O,ZG>H0-3A`V+3,"Y8!Y<M`\*<\!W&^YY3$P@HI'95U&:T$PW177 M [AY8>8),^]!)#QC5W4*;$6L2EXO7X:QARJI;^.097MMB?,'U=FP[(:M.1HC,178 M )`PL/EG^*"$YZ#TTJ\>(L:L-/DNQ)S)LA`1@;O&BC!W!2(.>'\;HXN0.L8_J179 M ^<($++?<S'_<`$.UC/PE>"1MXZ'TG4)IC<<"PXC&:A1+WRD6E!-LIE,L?*)8180 M 6OY<M6K3*QAJ1@43H&`'+Q?NL91+(T#)R0S9-!<[N'`'$'L[>HR&K()L.\LW181 M I3F'KK$*%`4%:MO:H1>T+(:V(P4L=%1\IB$CH.N^'5NGLC6=ER%;JM$+T727182 M 3I$/AKJ(7NP4#+RQ`YCFLWZT`,V]QT5QX<PWINFU'>5LUO8:S.";L&'[I1#X183 M YB@0M*!"$,+DGT8$\'I&UDITTZQEA-X-!DU;K^<'LZACA\;K:Q5'+_HF6HF1184 M .,H;V".QB$X?P,*34EQ$G\41P35[HJK%1N9H!_\U`$8G*+3?$R`8;HVD4#I!185 M (@,P!2/"\#<$3AC.^KMC/X=3&<"A=A)46E"!2;M(G4,OR()W=TFW>"3>'96\186 M .WK:NZ-7>G?T6=X=?=B[HT_P[NA+O3OZQMX=_3SOCK[&NZ.?Z]W1EWEW]+V\187 M ._H9WAU]J7='W]J[HZ_V[NB;>'=4\N[H.WAW5/;NZ!GOCKZI=T??T+NC;^7=188 M T:=Y=_13O3OZ/MX=_:F]._KIWAW]3.^.OKEW9YH'>ZE]J,2ZI+S$RW55.8N/189 M "<N@^_7"M_UV@U>2+^T)NG5I%4OVPQ!IA6&5\Q3P#'8&VIT@6-H/E*WA1Z'$190 M ^)(HEWWT0JRPGL\+__-J*R4P/@['"G4G(911FKLHRE!W#*0,M<^)+AV&4[Z%191 M $*404?D6HI1"4.6;#U3:QU6^[<.6CB3Z"[%72NF<?TXNTQ2)?ZP6RG4D#:E9192 M CO7E0):W<C75F8^VE.'Y6.OK7.4WAJ>^G8;]2O*E7,];JYE&$ZY"<NEW_"P7193 M KZVAE`-Z9_YS,:61@+&.&/3W+D8^6$,I)_3]#W_7K67ZNPV.#;66XF/?0EC1194 M /D3V;1=E="22[XJUF+?Z(XBW4;X)XL-`WQQQ'NO[Z>+]7+#%+-OW(6^W!@3L195 M I=T!@9FC#0*!H348/[*02.)C(O[)>(L9P9]2C.T&@P"RM,<@`MUO,XB(8Q3_196 M Z_7XB^$6<Y<_!7J[6R(!?;AA(@>=[YGX"B%_-=YBOO5'P]Q\RTZ`7]JU$]@X197 M V+@3.?A$<_%SX18SQ)<"F0/LL^'R*SN%B/F$'U)WA(=Z=<_/+UNNCOU`T:+C198 M 1X];YE=CLI@WOQ10OV7UP;:.#:?[G1T[3NN>RY@O:LY?C,>X?>4]%G!K3/:[199 M 6Q,^-AM<`P/[/:X!O_C9V?;B`!]1%^O#^,3O>@6R=&9AN_U5.?SH1,<OQ7_<200 M Z_/(?3W<A!=$L.[#"VP?;\6+NKO;C1=8KV<'8K+[+F5\OR,O,#[-54(NXYW2201 M R:+'[?YK<QSW9#T[KLR4_3"K0!3!LATL['(+K%R']`*1WY!A8,/F]F5E4UY/202 M =?V#G_6?D\VX2^Y)K_<HS4)@W2WUKB=*IG)3OM4SVEBNH[(^VP)*USNS)7[I203 M EO7Z92W[9V8V[EM\=@1]<C?@*H8S&P(3&1F7386OFP*#;*;D\J,CY>_+3-R?204 M ^>R(^-PNTP)'A8VFG]<\?U)>XB[4!ZNF*;QYL[YS?L6QO&HZ9R2/"<8=K\^L205 M \.:$F0Z]<PGJ#MS*E0"?6T/+`6\6A]C%J=X)V=V!7"`9X@+:HY2W3VQSS],9206 M /;&[/<\?],2VYCQ1S_G]U'.>(^?\-FB7)[%)\\M0DE^&W[_6JXR6@\WB?N:Y207 M &X<!X;/C`'N,`W_P.'#1+#'-Z:JV.7VV==5:%S(O=WU2699NIEY%<B=+R37)208 M G;$N%V8)8@Z3+M"A*ZZ\'-VW=Y,_='>F>,00^CA@B?(>VM;H%`295F:40(U-209 M <9Y"YL6PCY)QI+"W<QD)[+Y/89L.:2U\!RZHLQ0S25822K*2W&FV=>DZ3RXS210 M )QH`2Y&DRI)9Z7JZI4S:;FBQB:$;FEUR*EG+DM2B3@]<)Q^@+7*EAX1Q%@L3211 M HD@6_I[<N.D-O4KSSS@E3VDMD]+56DR6GP8_QH'PS7IHF@%-A,M%;U_8K^#;212 M :!"Y7/12!)1:*;<1T+P1T#X1G`T3&.%)(IX:&./3O4C@"<E:7YYU1]["H\!Q213 M 0E<S\:`$>U)*OE[D!A>4PRR'CCF\C'80#FW!"(3.(LFA0S'QG3CYLMO`02]D214 M 5\*<<.?V*8:$)<GJ.:J/C]/+06*A*LE$E/*%K48W6=YP(I0\8<^409_WVCMG215 MV BLWLKQAJGIN32LGJIWK:/(T`F9&Y471X'96A56];51OVT03L4AS:2$!'+@T216 M 'V`J<+7H05A+NYQ-WCI*/F?C>YJ$M5J_MWH.'T/"HK:8Z!QB^G>9#AW%#X.E217 M @]/A*,.>MGOEA!Y3T1MZ6.309RS+`Y:3UE[[?2HB2721N!"FA^QC6TWPG/9\218 M K)8FZV>G;3_KE\FYEVNUGZ5)^EG2KH^DKO$]=6TSB6TKJ[4R=+36IK5="A]9219 MG KLGL=>H^997HB8[2P:4`D^SM^T'(_,N<\UF23;/"W2:\#81W=$ZY"9U3X']220 M -,W7IL=:XW?R;#HQ^PXEV7>DW8RK]@.)1SE^M'N6_11XQ9+T6SA*XBP<\0J.221 M A:&&[)Z!3X[M2I=LK)&E\7D?\&)6I6/@INODC;NX=:P1<,N&J#X;;63)@](>222 M L#C42$8DV6@C^!STX/<%7#[Y/.?3D>D,45;;OL*WO=_T,MJE*.34K5L;=]^^223 M SS5QTLH]OR&;1,5V;I;YS[7I@5P^'?9YY7Q2/POS&A]DZ-Y,F3"$'TK#.!);224 M 5;&=&%M;=.NK;GQMCYAY9"1>WS`/^7C&W#W'3#$V_&ZHYB8J<^T(`N0LEO.Y225 M ,-`G:)>BHM-0G:QKC"VRB_3;Q_*LO6]+=)'=JWPD[C`'VUZP6QF7)0/V2@!I226 M )UT(:'B^PFRLL668O=D.>WCY"&=$CN`8QU=Q?`_`.MXY&72]#>G>]!#3IH?(227 M -J\\&:5\GG8IT'HCJSD/+%N'LXEV'`>B:APO;9\_:)L/UO=@$%U8LWT>0^8Q228 M [%G.'G^<XSNU/7!1"@N:^S@&RBU9ZA0&'&N_@*_#=PW9]X%,&>(7FZ/56^[Q229 M N,ONU9QHYWT8DF'52P8-F8>!3YLOV?.':-F'M.((\JGW`NO"Y_].;@^]X)77230 M .X[PRO%=7WCE^;P[O(K@K$=<&")/N2&Y[F243GDD*I#.>NP:WL]ZF%W#2W#O231 M \2:DM<6M;W'SJ,49`#,I<X"%%G\Q<\59G:2E-Q,[*7NGYG825D]-[Y362K>L232 M )U-P@76W95W;`&;&SGE_X9`/1N?:^J-X&\S'];[`L"N@DW%]P[3[)I>L3L@1233 M @3K_ER8]T>&=Y>=P8G'EJA0^]&!Z,6%J,\.8\+2?9"PX&.Z(M9V6;J>$(X^[234 M 6>'('ILNR4S$AF.6[R18QH1-R45RTW%.O>,N[,#9QDJQD9%,+4I9%H).><DO235 M Y:TXZ;VRE\U[KWS=F?I.6'S?[/?>?=Q)X,@&35L;)`X@P0'<+HHD,M#5+.\I236 M 3;>T[U*#VS9"II)C'O2D2Q^C9+:HU>O<?9C;79][G_)]S)57?%;F3B[ZK,R>237 M 7_=)^#^W])-(Y)VK/R4O,)\8>CR1E+N9]V>H7D6[&*)>BI8^7NL,U1XL=R:J238 M <2>`6Z<9EN(O$`15.+/V>:3,/X.;.^'HIU=Q"_[G9_%3V"R1ML[1SRCD/#U8239 M 4/_"YKG+SIV]'^=C`\X%@V]V1S_\/K,MU@^&2^^G70QPWFQ96J-*HN1WTT?[240 M 399K>$FVB7+?]"^MZWXH2RGZ]WD06=Q.CB';!?9Q=N_4=#](J!@*F]<^9[6S241 M #U=E(6=S5J_&JKTFDL^5HT&WLWDYQ#D-V[-9C-\[(-Y+T3*70R+G#&`>2GC4242 M C*^3XB;`L!P)N5T5R(,'`3(SF<]"/!]06(Y]W"Q;'"<'$7$>/Q(%W>89>0_\243 M >UE$XIJD27^$]AI^.W8*O]7JY,0J-9P"2/B]U&OXC=0Y_"*JDQ,O+ISZXB84244 M -Z&X_`PJVAVGT"8Y\<4MBD]RHO,@<NKIVU#<AN)=*-X%ZMUO1C]'G/KB72C>245 M HWC-@W\Y1P5L>:[PC>4&OWEIK;WB]Y&'MN<'>H3W+06LO+W(>2=OTU5<LAL(246 M #`GU84M]>$1]2*@/2KV^PM]5XF-"?-P2'Q\1'Q/BHQ"O(8]+0O0B1.M93HVG247 M [RI'<H-?-U<)H\75RKOS\-HF(<47D1:?;XCQG90:7T9F([4VI=8FU-H=M3:G248 M UJ[<M:JJMKJ:J;H2NT37R523U4<(73>FNTI*SQY%Y(AB<I^+\L6L=R?N2"8S249 M ZYO8_\6#*'Y5!E4-OZL9*?$RGK3\,J:.QZMQ\8G#'<N4'%-R2HF12W%;6Q#A250 M `DI#WHTTEDAC"306IK$H#>Q-`6O"L2ES;-[-L7D9Q^8%'!OE&%B%95MFV;Z;251 M 9?LRENT+6!9S=Q6HS!U5*_-=F?GNW<QW+V.^>P'SG;9W)?SV97[[=_/;OXS?252 M _@7\]HD!DQZ%3>-PG:J)]`XVFYNF$4O?&'Y@+DW+]GZ:]3GSTK:6GR"-@&V8253 M TXJH&=A>3DY+`&-/PQ6_UVZ:ZU1?6L(/?$^+/D?]WE&]WL*,G3?,XP[1^`#1254 M ^!#1^`#1F"`:KB'E;T!TV2&Z/$!T>8CH\@"1](`J((]&U),:Q5*9@(6D)S0R255 M FZR71OHUIQ=KITQ-TJD&WJC=T6MS>FU*KTWIM6NO&LG1CASEY"@E1RDY6K62256 M S(Z,]"VU)V)\%ZU?DGY(4;0D78#_RJCNXW,O6E+SSH]`_2IYH3QZNZO6IM7:257 M N]7:!]7:I-I,9MVNUBZMM;M;:_>@UM6VA4&Y_?O;C^6/'__Y^S_^Y_K[___E258 M ?W^GW_"+\&TLT/W][;__\<]_OOT>?R;>]/S.'S_^ZX\?UQ__]\=?VO_XV[__259 +V[\`%WKL_U,4`0``2 M'XL(")&D?%,``W!R:6UD96-?;"YR97,`[%U9CR2Y<7Z?7U'0TRZRLI$,WE[, 3 M`+8,&`(,P[#T8@N+15U=W>V9A3QU9=6O]Q?,))-9G75T3ZLUTA8$32>99&3P 4 MBR#C8$CUQS_]ZQ_^8S0:B4^C?__#OXQ^MUZM[SX_3G_WTX<_MF_HTPB=OSS^ 5 M^KC^X<>?/O#?T:=/H[]\??PR7\Q^^7SWZV)WMUI/UFF&_#1*S^J.Z?ZN'7U$ 6 M6F<#S=WHZ^.OR]'7CY*J2HY_F(RGX]EX/EZ,[\?+\</XZ<?Q#[\?S__R8S?? 7 M?AH]SA>3SZ/'CZG/W8TF!4V+63DOEN/4[>]&][1\*">I2U1WH\7]LIQU/0*# 8 MEO143KLN8G*@5MP7RU)T_?)N)"?S0D[G!<WFQ?R^F"_+24G3<E8N$X="=2L4 9 M^F[T^7&U!G+BXY?'7_]YM?JW/_W/#X_=>H1)ZQ$?OT[FC[/)Y][[;KWT<?%_ 10 MF\?_&ACC/L6OT,<HI./O^#1&MIS\_F'R]8?'L>@&494&J8\MG3_^]]$8:,V7 11 MR?KK8SWZ\G$&$K^L%E\?%ZO\8T2L*^*G#W\6/__3!TCB%SQ\###?%Z+IH)\_ 12 MEN@H[A\*6CX5B]@OT1^D1F$\I%7,RV7S3N$==\R:ID93F*H2/+Z8-L^S(OR9 13 M-ZUVHOGY8Z<@'_#MC"N>V[!6+C/F*#+V?FS)C*UE8N2^?$=D5,Y"V:%Q_VXL 14 M1!7"@?((#7H4S,JTG`?-08MZH]$!GN:0U3T]-,2G,VSF^Z?V@_?0,&C9#)($ 15 MST]%$#3X>6H&8RQA+`OZB8EA$>%\X&?=JFP8R+W3=@Z_!-,S5M\`!!1%!C1` 16 MC`(X#R6^6"I\L30-4N5B6;!.*=8I#,$W"V)*-M/!@@$,IPZ_<7@C'^)"P@J8 17 MT9PI*ML/MNM9W/-$#^')AW;0=`%N%LP2AF+\\H':=2P?G@*O3Z5<TD.BT.*X 18 M8)XP%KP]%=/(1OMW`6H/)48\!`E50(,)%>H^#`^H4,FP4#%;@#NS8!X7#634 19 M#'D(<J&"8:*"<2(`P#R!)>!$Y0(3(4'#,`;Y"-9+]4215_!=`J.L':%AB<C[ 20 ML*Z&&1F8X9?5(BD+X\*JPQ]F#+7W/C`I`WL4>&I&TGU\6)8ME0!I,5U&<!AC 21 MT",L.,BDI(Z?Q&)$-V@#1DLL4"_CL/*AE$]I$\"4/!(V`?4V`1UO`GK+34#9 22 M)J!SFX#>;!/0R4U`K]T$],Z;@-YM$]!O;1-H=B:H<R;BWR&_XHQKT1DP?C<O 23 M6KL:;5>G?JW?EU[J.&>:NDQK!XM)8(B^)X8B-\]@>N[H#/HZ[XC3WY:CZ&\= 24 M`Y53B*[/^X'RCE^/WMXS`*C'P;+Q\"(3.&XI5VZV%DO>PR<^W6?7G&/7/F?7 25 MG0>KQVCYU]Q6\30R?!K)H]!FGASE:1?A2#;2,YQP^`HE'[FQO6QLRT5TL#7; 26 M4;:/,=H(*#TTQGJ1"%HV,`\P)3A<,114V^$N&NS0@N&;X7PN\%^(BI]F3&O6 27 M#F8[A7,<=@7V=T9/;2]6L9"@RCMO%FS3#(9GT3(NL+093,Q3.5NH<J'PL06L 28 M\D("&S6C!8]?*+#&7\(;="[8RBUD/]H:#FOF"9TN>)AVP<%19#08ELQC[VDB 29 M>6P3Q$))+M1Y5YWH\LB&K52T3HEZ=*6:F&81W9$R^2'IZ^S1]#X(4<YA#5D$ 30 M;$J#L5RP$\"^T0-\IF#[2X7F4Y(QV_$RF/'VBQ``!K'OXG+K^I#T@.U_.W89 31 M+%`TNVEM01NR15"TU.RKQ?&4_,-<7>:+UKBG.<O`#\U9O:$'\Z=PAM.B4`]I 32 M_UC>/^JT->])9D`XS^1S2D0ODM()09V552LGQTM>=*)ZE;2N%=CK9792;+WY 33 MU",P#T),A'#N/+34C@_BOQ^IG=IA?V]B.[_;3CF!Y[R+>=]0SG)Q]$SBB_V6 34 M%U`^Y93U[3CE\UH[VS?F;&D?ADQ\YMR8(^?&LGS*6:X-LV4NYF/7IPGYLADL 35 M*)AG6.<9/EYV2AKL)[W4A9E?C=H)3V[>0^SY9LR]DP3;,P<E?C3W41*`QVY* 36 M1'+(4XFH)F<E`GO:7TDX'[LL">^37DL'_.L<EP%AW?#\!CRC!^`^C;[\].'+ 37 MG\487Z,FCQ6:'"9/IHMB@O-^.E\4<YC5R:)$B_B6)8QAQW[:>O7<YJSS)&3! 38 MN`50)U/.!4VFL%U3-F"3.;>G^+>8@QV\X==LV:9\<G+_!*\>RDF@P![_A*9/ 39 MQ218/M`!\Z#Q!(XXG,!!/R%^@;?S$"M\^3.-@VKP`R?FL`*:XAB>0EP3?EZP 40 MX&;A?<-^PSPQ\\WR`_L4V4>79.YG#;N%:OIF@5-"!S^%";SYF5F%:?AW*IG9 41 MZ8P?"?].(5LL)+P/??PZO,4_,UX3J$CF?A(>PK'*#Y*/&WY0S<(DL]9P+?FC 42 MS*Z*\U2<I^(\%>:%X2K,#`^F,1)1#?RGT7JQ6O_GU\<ODZ_['_[RE<9\A90& 43 MR.K3Z'\?/W\>?4WW2E)T5VN2CB\/I^/5>#W>C+?CW;@>[\>'9Y>'4CZ_/)3J 44 M;C3=%JM-NN>3&CV[8IWUF+O1"CW;KL=BS+Y8U5V/0\^A6&<]'K/0LT\]JKH; 45 M;?;%MANC!'H.Q2[KP;JVZ-DGKE5VMZK4I0M%I<]?*"IS^4)1V<L7BLI=<:&H 46 M_.4+15U=OE#48NA"\9""MWT*V^H4LNU2G+9-<=BF'XVN-L5TFX@<$I%](E(G 47 M(KM$9-V/1X>XV"4"VT1@G0BL^K'H&ESLKN1BFQ/1.1&H\+5$-HG(]`/^O1;0 48 M=2*PR@G8'-"ZF.X'N!C"8Y,#Z@:YJ`<(;`8`!1<^(["MB\UY+DXL!78Q0Q1K 49 MN5:VW5H@%I'KZ'Y@,=N!Q?3YR)5TA]4,\;&]N)I<2]<XK,X#.[0:II*K:J=A 50 MVT1A<Y&/7$]W./Z&^+A$)1X$E%\+-\2:2^%F@<U]<`-9<YW;*$-SG=N(M+F] 51 M;52UN7]M-D]SX]KLQN82M3D?V@O.S?X0;R"G[2,^N]HUC_CJM'UDN39L"5Y$ 52 M^\BK:!_QQ6G#G\`'IPW;PO.`P!%5/*!YY*]M`S_$5A9L1B1D?C?8(D$9$I0A 53 M01D2E"%!&1*4(4$9$I0A01T2U"%!'1+4(4$=$M0A01T2U"%!'1+4(4$=$M0A 54 M0<^04!<NB`ZYU[[//?8Z=]1WN6^^S9WRS5`L\`943T7IKR&]SDDGP_863`]0 55 M/A6E7TE^FY-?Y>23+7PEXY<HGPJ4KR2_Z>$236[\Q/0;&+]$.1K[5S*^/HG+ 56 MMS!]CFIT+,XRO,M);T_CT=/`Z&.<9?KUE*-#<\SX_A7D^QH8'8ICQM^(<G2B 57 MKE>174Y^>QJ7EZG(U52CT_8"%8F>723_+7K]>LK)43RK(]L>*-&+>R7G;T0Y 58 M.:?'G->GD3F]>:)/>9;S-Z*<G.*SVE+WD+ENVU_6E-=130[X>:RC0QSI;W+Z 59 M+]22-Z*<G/ZS^MU#Y<J3ZK)NOXYJ"C*..=[EM+=OA?,;4&4_>%B?>W=H>\JI 60 MU[V-7N]S^G7O8F.W[X;"R]Y1UX2GO9.IY8\5A3W\[:XCS6[^=M>)A7W]+67O 61 M64[4(<)>_[:CSYY__XCB`*!_W'(<L,D_X3APR-J>VQGH'(10INR"V]E[XG8G 62 M%V+!="P1BR;#AWCO[K(VF]0,`>+`*&./.#C:9N\]MW>9I"KNR!B4(<V3M3E, 63 MV^0S)'=DFL0L9C*3S&*V0LDL4@:1M*$CH\A,TB;K8"X[$%1U?,RJ/(W4]'!8 64 MERU426YG+J#B@"!KLYIO,B84V_EU1L!R.YO@N)WM<@XUU]E&!Y.K3-<TYY@R 65 MP6IF,%^D9@XIVW?,8;=HG4+?U)-[E$V/S<*0IL=E$573PR%JMG##<6JV+L/! 66 M:K8.$R+6[#T'R:OLO>)V9C_XBF_PNK"[^*/\2)'Y87-\5O:BSFY9-C]L77X, 67 M>[9_,;K60P5/UZ9>LZ1G$SC2U41.9)/RI%:="&P2@74BL$H$NC*@YJCKI5]? 68 ME:'KI;02@1<DQ<P@!]MKEQ$.U%[JM0-S=R61Y@P^D7H=DLAV8"EM6.TO$+F8 69 M$.^E7O<#:SDODC8"$M?KZ&8`D>;TZZ=?7Y6-%L-:>GXU&1_A7.ZG7J_=<;W+ 70 MCE[J=4A#AOC(Y!(.QG@0F`N56]]_9/^&Z;;WR0]>%4!<AT>O8B09_K<(U@8H 71 M7Y5F^ZYBM6]+KYW!(SI4;Y$7'*!\*LWV_6>K3J39OM]LU8O3:]]+SOO%:;:> 72 M*[G*R?<T,`5QUY_7+Z+\BC3;E?130'I]FNU%E$^FV;[C=,0)X_@=IWRNL8Z; 73 MG/:U,HSYD+/6\?643Z;7KMSP?X/+G%/IM=<X.>][4WE=FNU9KO0H-7*<P]+' 74 M*:S<8H8.>YQ7<,?9%7^<9^#,6S_/$*[8^\67=9:XXM3;)F^KYD8^M8\26YQY 75 M6^5MV]S5I[9K+NQ3VS>W]@FHJKFO3VW17-JG-HLJR[.QL+($)N?=MGF;:TWR 76 M-K.7MYF]O.WZZ2AJ"P62V-IJ@=3F+=NQPTFW3=W/N4WSMNHG=3CGEB5*.>76 77 M2_*%I.51PFW7S[>MLC8GW*9Y6_23FIQLF^9MV50YI'8_K\JYMF>IMKS-X.5M 78 MU\N!JI#!RA)G52\[&!)MZ^PU,[?NY]GRA-5`GFVZRH:;D#/.]H\-B;VLPX64 79 M;M;A0UJYZS`AZ9MWA&3@.NL(:=\L*\YIM@UE&L)YMA5E('.B#32^Q?VZ$!:. 80 MVL.@P\KEQZO/BYML7AF]B371VUCXO(L5SW4L=M['FN5#>,!GJEB/O(KUR-M8 81 M>-P<-FW=<1T+CO>QD/@0'EH2H2AX&HN"5[$H>!.+@K>Q*'A=QYK@?7AHYZLX 82 M7\7YH3AX'8N#-[$T>!M+@W?AH9VNXW0=I^LX7<?IFJ?7X2%95FZT)$PD82() 83 M$TF82,)$#@R3J,.#;59BXW0;I]LXW4;\;,3/1OQL_+J+TUV<[N)T%_%S<;H; 84 M)\>1&RT)'TGX2,)'$GZL&L#\.!DB;K1<^$A"5%$3\$3-7#S)5J>J2`9/49FJ 85 MI$U5HB(2E:"/F^8I4A&)2J>202<;>QA:D5+0S'7S1-'8A594[Z2<(FFG2.HI 86 MDGZ*I*!"II4E%14R\22CE@B9J"0M%2KQH]+*5%J92E2"JC;F/+0BI:2P(FFL 87 MT(E2H[/!YH=67)E.*].)4M);D117F$3)))Y,XLFDE07M;1R6T`J4XIGB+I39 88 M:_^LS-Y4GV)I?75-6;T1S\OJ#1V7U1MY7%9OU'%9O=''9?7&')?5&WM<5F_< 89 M<5F]\<=E];8Z+JNWV?^8P-*ELGHKSY?56W6YK-[JRV7UUEQ15F_MY;)ZZRZ7 90 MU5M_*ZN_E=7?RNI_\V7UKKJ5U;=(B%M9?8L$W<KJWSM9=2NK/TZ2W<KJCQB^ 91 ME=7?RNIO9?4)E%M9_;=1OI75W\KJSW%\*ZN_E=6G]JVL_E96W[1O9?7?6%;O 92 MY*VL_E96?RNK_\V7U3MU*ZOOR-_*ZL]1OI75)SQN9?6WLOI;6?VK*-_*ZF]E 93 M]><XOI75W\KJ;V7UM[+Z)+9;6?VMK/[ON*S>Z5M9_:VL_E96?RNK?[NR>F<N 94 ME-4[^ZRLWKFNX-SY]/]>/VK_[^N':^M]];RVWHN[D;![4RB_UZ7?JT*)F@Z% 95 MH+TLI-Q3(<2^L#(5OWNZ&RG::WZI"L+@?2$L3S$24X2H,=QBGL>\[@>OO;P; 96 MD4&W4G6@7OB.K^Q7KOW%7[GV%W[EVE_Q*]?^BE^Y]E?\RK6H+O_*M:@N_\JU 97 MJ`9_Y?I0>&OMAV3@2J$DJ0_)QI6F<O[HP@8"(T,*XM#*Y%.EJP20%\Y7&04M 98 MM>5>H>U1S;RH2FO(''PAC=('5TKIJX,MR*F#*:UP^J`+TEX>5*DJ[PZRM-J8 99 M`TN>]*%TI*OT?2&\T0=?$FD'4D(Y3+"%T)47H":4E4S.*6M!CH0GD%.N\B`' 100 M-5)6RP,8D#:Q#BBD`G-"D!`@:8C`'<8H8H*BLNJ@2^,<$W1.Z(.$[A&!8`W* 101 M`O2,-)0$T/N-:.BIE<Y"4Y4GM0<"7K9%S-!WQEB3=U!Z*D7EE>1-`.[P]U"2 102 ML0X10&E)&^P%(94Q(&0=V7VAG*G:"NA:@B-GJRJ0\:2QB?:E`DYA_RE2@8R` 103 MV)B,,LQ/Z;QR>P"M55L\70/QTH#_VF!41=ZC!TQ@&^L]Z%06\S7&.(57&F.T 104 M`&/Z4&AO1:WP":=EK3!"*<$=A2)'Z,!((ZF6&*&]5N"7U^U(U1"X\19OH&O* 105 M\AL`3I+/`CSI@`.5LL+:9&&\87S0;P2_*&P%!_!0D,="(3Z#!?/ZG`=,0$VJ 106 M&@>(-7MH-YFV+/P@)&N!U0>!.4J;@Q"`UA@!/65PC(,N&&<45,$[2U`%(;UT 107 MK`N$!4(7@%'EH`S6>R@#7D/W>4EH@8U*N;;LO`[?@KAJ?`L*2[40I?06?ZL2 108 M$-G:0V$K8.68!5%;1AF8LAY[[6I=>((.J$*3`GZ%<(Z7*C5(X93TG=+U?I-Y 109 M6.GHK92.WD;IZ#>A=/2.2D?OK'27?@.YLSKQ]+;26&"`Q4!!`@B58S0JQM?R 110 M(2PEVBYHJ&$46-Q`P6M=,0C"5L``L.-09A`<A7,]'/"8))7.8[?2>^'"]X`F 111 MA>^)((6J-$;B>UBR\6Q&($=\KG`.H!K^JL#7R."P5X`8`I%,79MPZ`/N"EO% 112 MJ,&?X_H-K/KDY>HSG^$?%H(AP?]V5G_R?Q/R5K[>/RQR0WIS`^T":-'@#/[, 113 M]2MBFZ$@AHZ#F$C@:%OW8IM!3RMQPDY)A=7(PFJ"#66IL;.@I4#L6DJ'Z)6I 114 ML@\$,-AUH$I[N%'.57!%E,[7$<0-]XD'$_[#<0U[<86&3C1D*P=./(:P8K`/ 115 M0PBKH49@K23+)'4EW(>8S0P.&GDX-`=>AZR";XA8AF,F04`UN#A65S40JRK' 116 MGB"@D99=,[`7?"HIT,\>G]6,J]3`52GM/\0\*7M-$IK-;A/T`42`A#"J\41M 117 MB*<L$?L8"OX(EB^,QY<<?*P]PZ2"`X@M@GA+5W(?EL'XP#7Y$!.PP8F%?Q<4 118 MUH!E@D/%>)=80,@42"G`@83OPQ^V<.?@Q3EV6IW$UYQH9<ZUDA)NF`KZ**T6 119 M#(,)*,!_Y;2#!D8!`^Q*E@M<T`(Z[ADF^+@\H&JI.6B0"MYJX`R>&11!VY#> 120 M<!5C#P55GJD1$2,*QT_7[(@2EHH^'?S32J1M<.G7JD]IY9LK9JZ;?+1P<%$: 121 M(,?`6;B@[-,K.).@R?/A(%O%1)T`#"4\RFI?:+CG.,.`2)YI9V7!)I4^T`9' 122 M(BB^)`[H"]V&%42L3N#1>PX%$,TX#@4LA%`W#C8KBR(^MCJ+W.@D&(6:A2## 123 M"_X,1MK*\&>T=![2,E"21O,U+T%!$S$<NL??`%5\@G@S0%<X<J+N5'Q#?>Q4 124 MLG#&-4$6#BE$)E@=*V85=J?D+8--"U>^V=6:&J$@;.*]S:J)G2MYN57FG03U 125 MY`,E1($0M9#,L79HEZS>("YMDVN33@>MUSBK01PF"Z<+0A[0-CR/8QPW:.+^ 126 M)AKY=J?E^QV8[W9F_O74](U.SK<^/$_%+,]]@9/NP`F/8$C?OYGH20_[6729 127 M.3Q'/L\`8R^9'LU-[Z>1VW?M=66<W%Y:MM3;6TD6%9FJAE(J$6\H(3C)6:/2 128 M2S)P*8UR\<Z2SR_I82T*&`/BTYQP2K3WDYR]T)S5@#<IM`[9"VV$JVUAO32U 129 MX2R&I5J7"F=@#7^28&2@C8;5A#>W5\#>&XH7G;7G\ZZB*I!T..D<FRL'M7=0 130 M+E@0NR\(^Q*?('C2M>&#'A;!P'*(JL;FM61,K;$(SI=@LJ\XNX2-+C2GEU2E 131 M\!>^O0G),>QXSHX5:$ML".LKC:T$\\2?K:2/%Z^U/Y0X)57M<5KZJG8'?)]4 132 M[4IM8(@L&U.K.&^#Y8`=;$Y!`0#O=4B-88\#",E9+NB3-3CQF"ULR)I/:6%( 133 M\C[5Q$E`O!#@G]UW(_FPQ9:6]?]W=RT[DNLX=C]?D8M9],#E"YN27VB@OV'V 134 MLQB$+0/1F&Y@<&_-8OZ^>4A)EFPK'IF157EKD>F73!Y2%"5:E`)>4YKC8)IH 135 M"7=^'9E'[/OY):8=IV2X'8;YI;?P\\B7;_.WY9O[MGZ[[F>9&.]AEHE5^]O; 136 MI<*/4[MJ_1;O=K^]N;5J%U>U\U*U%SZ_S-OC_K>W!<]G%+@X>2K_EJT,?CM9 137 M"EWT_ZS_%_WOMH(C(T#)^MIM4*=-2FKN3#RQ9F]./+$KNSOQQ&[Y[L132_:! 138 MB2?J[D\\47]_XHF&LXFGU5;XO?65KE2M5U-=;0R/7'V-P<UJ4*1:I!155Q-C 139 ME(7U3#&46/@YX9?&UVL5;G,G5O/]^1I'[_-:+]<X^F:#T%\G3]Y!)@;5JR^$ 140 M7*QH5'FD>`._Q^QVF%D:MV%F"9Q@=AG_3FXOU]WM'O(>;[-(BXMH1ZBA=M=- 141 MDOI<#O.8'+6@2\#SY7J42R7A1O%Q2<*52K(FDBCTZEP>^Z@\!N`3@8[Z%V$B 142 M9QA6T&$O+\PGP-FJ7&)5FQAB3,=7=NB[!ZU*H%)"1^ND1IT0*H6.M6(<L-7\ 143 M)&LLS-BL4:RY7J,L":[^&2NI$@[>5B@"8USU`=?NI8=A#8_#6O:P%L!:`&LY 144 MPF)78=0T<UBN3C`Q"G,*:WRX%I=#+3*L.J+:UZ+"8K^UK\7'<$V/JVO>JVN& 145 MNF8`FX_J8LLV\[I[:0=K.:_";)G?;67-!V4QJ#IBVBM+0=7S36654*7=D]CH 146 MQI>\=6[>,/I6YKK6F[](":;]A;.58S$=Q'0[W8N?W*P!ET[[/'>P!1ZHJ//, 147 M.S_MR%SF9V=WO`UWM:1^=LYZC+708V1+&<4B,]VL28_M$L6(69[K)O794FL/ 148 M$5P*FLY\*%-;,VKH.9*J6U*$=<MQ0+OHP>EA/>5QX@][6&UM=V;+X;SMN:^A 149 MJ1G#0`#W6K2@;FRG;$3`HW,.`[B*<!SW71%Z*#PP6F!HN,"0^4QYS?FW$^=9 150 MEFMG]KE#96F"8/OF&.3B83/+X@4;!Y)&B!AA/`HV>L&&@F!#XPN8UPN6NN3K 151 M9@R;'53K9@>G53[=HY!8^JG14'/;,.O4*EUBE>Z4VLD`^MP$866KD<!M"#7% 152 M0;)8(-?8645Y0V-+K+TEZC&O-3H,\B+N/L&=UP31HR86<+.EA:93<S,:@!LW 153 MAS+P<6M")\`Q"GH>MSFM_W6#<-M^R-YY/[6?\QKO'J=P\GZ(P,8T\VQ[K.EF 154 M&**ZFOL5[NJK!6-BGSXV\Q@<@?%"_)BXJV>-(P1VQ#TL]\*T2$3`PV7C,\46 155 MKE=^@WO?F3LZILG_T.N9!=TQW\3_!?^-0[?.?37A*?^O>;A(Z.S946M"%K-% 156 M=V?JQ:S\+@)KOK56'=-F?[[@OW7\;,;XJ6,6&*U@Y#GR(VX3,UO2N,`1.SZS 157 MJ_795S-Z6`GI0:\6<J!61V*@PH!`D8FP4@R/LCFJLWZKT,4X$"``(N"KK$`3 158 M*B0DK.`Q@@<B8SP!5`14741%2G/$`('MUP(6MPU08Y4,LZB)0)>MNF.`5T'( 159 MOA+T8>G@<*VG10Y&F/`;$)XURZHU7,@Z7+&CME>_J>F":AGA0>U5?&@CG+US 160 ME:'[,$W3K(SEID"15X`"'UD%"<Y:`5-).<7#-\T2SLB#$DRX!BHIW3C!AS./ 161 M#0./&>"`T#OY"#'7!N,#E,K##P@:U8S@J*24`L'IJ$CD5%0C_`/K5FR#*REJ 162 M@:1*R4L&.YAA"%XAX8R+&'UG9N^F#_G$A8NUTW+7+FP8R\*Q(1MCG5W56[$1 163 M$>Z(=9/<&X1WS3>)B\M)!PPH1BRDJ00,7T'5QFL$6!B&EQPGXAP9R]K%36J= 164 MF"S^`P"!>2VB5V)RC$3EGI2Q2-XVPM.":6U4>BOL>A';@AF!4>\YP2,$^8*@ 165 MO?`:5,]&=(S[W;#)W7N=\^@`[5O=^^0Q](-)8/CB@-()E$F@=%[NP0#.Y.'` 166 MI_`PO!?I.ZT"P#("B122UGI+L\?@L8RBB%%!P->(/L"8&F$\@C$UJ'?1P>B9 167 MRC@<@!?YSV0,6K"%1^5_3G3&IU5OV8C94GJ#:NOPF9HM"S?XP=K7\OS:X=@N 168 M?-3G>H-'A5W85)B%"09*HAA6D54(<KK$4[@3,9]>`,DH3%#-0`7K7/2$T&RL 169 MVA<@=L8V`E'&"VNG3QBC6C+`:8?L[3Z@$R\'-0I&H_C,H.",1T:3Z(A(0%FX 170 M%JDSZ%3Q6$%#W-BZNK,`0@#!HYN^ZL'4!(;LZ%RWLL<@;[-2;\*`^<QBL(.( 171 M3%:$)A&Y-H,*3,/8@PN?=%(I7#G6Z8VQ9W8XMC/DI&'J(;F4T!N=]3ADQ>3: 172 M<8>(?_.UYZ"L#QL["R@=L@P`IJ<"SI\"H!_;`*2>PNKM56V'#RU[!"8>K09. 173 M?S+=VG.'?.U9-ZS>:Q^,I@?,:?4@,`:`4`O^S0#/7;@"QPB#6.Z9964&?;4. 174 M;+@L)D?@'08`_)\=JA;&(&0)O@X4HY_LHI\,3Z$[]9/^Q(43YC"+"2F5<+;$ 175 M,T?QZ1J?QC,7SR(NA/\&;LE*ER4MQHA84`>)[*P/&'F'_EG:6B?(\)R1<3<] 176 M:`-E9)6T0/)-L!&(0"?W`4Z^F<BE*LA3X5LV8NJUXO%1`-8GL$@P@8HH3QR! 177 M\RBM"WB;6>T.'9@B;%AE`LX%]^"B?U"8`]IMN.<Q,8&(1KZ^BM&$:KIR]\#& 178 M$W3:ATYZP*CN&NJ,V)*X7+P.9PU35MM"DV=X;8OQ!?/MV'="5YV,$%E(.%@T 179 M66Z4T!SL'I;58\38U0;-4OR)#!NA`;A;O"AC1PC2H.>',YJ<W"&.4;U<^`#+ 180 M-;?P'U?`4*TCMP2/I&T\E+Y3**WQ6.`845F-8ND[Q8)R@LUTBH5/%$O+S559 181 MFU[!4#,JF``%JY*Y<(_);QH!2DX6Z*:9[.#"'4#L[>@Q&K(*LNTLWY3J'+K& 182 M*E`4%*AM:X=>T+(:VHX4L-!1]9F&C("N^W9LG>K6=%Z'[*E&KT3339TB'PQU 183 M$;WX*3AX8P<(S6?]:`&:>X])<>',5Z;IM1[E;-'Z&LS@J[!A_Z40^.8H$+2@ 184 M0A#"Y)]&!(AZ1K9*=--L983>#0Y-:Z_G!XN88X?*ZVM51R_V)E:)D3C*&_@C 185 M\8A.'\##DU)<Q9XE$,$U1Z)JQ4:^T0Z^-0!&)RBTWQ,@&&Z-I%`Z02(#,`4C 186 MRO`W!$X8SOJ[8[^$4QG`@3L)*BVHP*1>A.?0"[(0W4WI$H\DNJ-2=$=/1W?T 187 MRNB./BNZHP]'=_0)T1W]T.B.OG!T1S\ONJ,?$]W1SXWNZ(=%=_2UHCOZ&=$= 188 M_=#HCKYT=$<_.KJC+Q+=42FZHZ\0W5$YNJ-GHCOZHM$=?<'HCKY4=$>?%MW1 189 M3XWNZ.M$=_2GCN[HIT=W]#.C._KBT9UI[JRE]JD2VY3R&B^W6>4L/R9,@Q[G 190 M"]^.>>&O)%_*M+]V*8LU^[&+E&&8Y7P(>`8[`^T>(%C*LL_F\*-28GY)U,LQ 191 M>R$RK)?'E?]YW$J;,Y^G8P7>20IEU.8ABS+PCHF4@?N2V-)I.N5;2%$*&95O 192 M(4LI)%6^^42E8U[EVS%MZ4RCOY!XI>VJ\^;D,DN1_,=JI=Q&TI2:]=Q>3G1Y 193 M+;.I'FFTI5VKSZV^SDU^YWCJZ\.P7TF^M'_UWFNFV82;DES:CI^5XK4<2OM: 194 M']Q_KJ8T$S#RB$E_[Q+D@QQ*^US?;OB';BVSWWUR;.!:RH]]"VE%QQ39MT.6 195 MT9E*OBK6XE[<'T&\S_)-$)\F^N:(\US?3U?OYX(M[AA^&_)^:4#`7EH=$(0Y 196 M6R`0!-J2\:,(B28^IN*?C+>XR_E3AK%?8!!`EM881*#'9081<<SB?[T=_V"X 197 MQ7W9GP*]7RV1@#Y=,)&#SM=,_`@E_VB\Q3WD[PUS\R4[`7YIU4X0XV3A3I3@ 198 M$]W%SX5;W/6^E,@<8#^:+K^)4\B83^0A#4=XJ%?W_'S:2W4>!XH5G3^Z7S._ 199 MFI#%WP(H)=3O1;VSK&,GZ7%EQT'2NN<RY@=5YR\F8UR^\AX/N'<FQ]6MB1R[ 200 M!:Y!@.,:UX!?XNQL>7&`CZR+[6%\XE>]`EGZ96&__%4E_.B'CE]*_KC6YU[X 201 M>KH(+ZA@6X<7Q#Y?BA=M][`:+XA>+P[$9/5=*OAQ15X0?%ZJA%PF.Z4?B^[7 202 M^Z\M<5R3]>RX,C/VTUT%H@K6_6#AL+?`)G787B#*&W88V(FY?UG%E-=36_]@ 203 ML_YSBAE7R3T9]9YMLQ!$=VM]Z(F23[FIW!H9[3S765F_VP)*UP>W)7'I7O3Z 204 M937[9Q8VKEM\=@3]X&K`30V/+`A,=&1<]BE\6Q08=#,GEQ\=*7]=8>+ZS&=' 205 MQ(^M,BU(5%AH^GG5\R>5):Y"O3-KFL);=O,[C\\XEF=-EXSD.<&XXO69&=Z< 206 M,-.A=TY!W8!;N1+@Q^;0<L"[R2$.<:IW0G8W(!=(AKR`]FS+VR>6N>?;&3V^ 207 MNGG)]P]Z?%&RRS?J>6(]?;Y'SA,+J7>;V-3;JS=V\[@D>TQLTVK9OC/I3C64 208 M[%1C\/:F[>.6/5UT!JUM&LD]M4BMNM96,BGU$NS&][`[KG+/N=6!6[MGE^YT 209 MD&Z70<EV&3?TM,VIYIN[G.[B0*>QO8IS=M_>W":CN_&503QK2"1&EOC0M@:> 210 MW738<,)WK>S:\\U?7HSZ;`^,%/7^2U>">J`4=6O)M`'V(+"I8-_YSA))I;$? 211 M279DV1)V\BU>XG8YE&R78_SKF8'/!P/W4UW=.+3(+N?.DP?_;3M8[G7E4KC9 212 M]W"KY[U]9\PJ92:'E%>7\7K`LI,&L#/NU)_$'20HV4%"8!M7':W@W@8;:A*2 213 M$RPMELBN\NL:\@9?8F&&'`O&+0G@3LUCZ'/S'CZ,N[B_QCEN`8I7;@(?*`4N 214 M2P6FW,#'!PP\W69HYYBV_(%\-Y?4Y-+-LXX>?#D8^&&V)M_FY6'2]7+8DV0W 215 MV9;O^++;!(\228WW_DGEU=A069C(ULHNT<DJBTW4]V"!P&';1-0G6:00(_S# 216 MZ7"V79]00:A9*Q6]H8=5#GVRT]2B:UP65RGWVB]ZD>\_4`0N1.C4J<U)G5]R 217 M!1BOQ-1B5:NI2M?*=D/KMCT':[YN<F&3IXE\^B+)`5K$E1RP"1.N,N$J,[6C 218 MTP.7Y@-TAJM5#R*:*9AS&-\EVUYEHD5MU[,J:DF<N#ON"M:+OK$A[JB?Y7`Z 219 MG>P%5B6;AT5IY)L-G"ULW'E3M`4OJM#S6CENK&G#!^'P9(,OIFKBTU4--I.D 220 M6B1W(M_%3-["(RF?TU4A4()%5/*P-RTHAT4.L--IM(-(V&5.,I?P8'=S9G<P 221 M!]!GXSCL]R@R:B/4`\L)2$X%/<JK-D>1++0B-]3LU/HH5893\I1RF4/#%V:) 222 MK<Z^=3OLA]\,<-J^L>,XL7[X-D92<KGJY37^NI.A.[\RL.2?H#/M'128Z'"4 223 M91U84KC786(J.I#R/01#3;X4B^:PNSK(5'+,/SNJID996R(+&UTV+SR>Y5WN 224 MP[?W"E<VD*=MY#UF\K2E?-182KG>[JB_Y:B_O?\HNY#4B\BR8.YWT+3AYW?S 225 M49A;JDF]VB$)"YL!^_2W_40%=U.R3%(I]^C9SFWC,V4K>LA-O,Q);G+=\).) 226 MB,^YRE)RSYD"7*Z`V*]%N=DDI5^K[9*+[;`H6GNO_FS2"3U<[PL,AP):J7W# 227 MM/MF.;9T_"Z'DU_"6X(;N3.9]J@\IUWU)E5I#NU.AYT(M>NS$YD.W7;A@]R\ 228 MEVP_P9H.KH)DN_%5D`B&E4PAU&;OIFK),3O/A=?:QPC,8HSEX_>=$V)Y+:O5 229 MRJ"QDNJJQ2>>M\-7"U<</VXB[H>0J7@/C2(341\92!8^6QXGRK<H(9'<[27W 230 M@1[$]['>:077YFQZD"N8H]1>8R6-5V_5L_'U;._5LPV105VJY_=)>QH9;;+> 231 M"(Z2^KX5'VTR/QXB;2IX,$HJ9#&E&8E9`!H4<MDG-&=A:%2#1J*MZ7IT?CBB 232 M&Y`COAOB6.H$7PE@"X4+>3[/LSM)T4P$)IID4P(^LLNJ!]M.D!>7KY+W%H#T 233 MJ\*[EF3LUD;8O$%D7T1.A'D9[=(RC'3N9/O\%%45OT`%!D],@\IW*/P*[J"Q 234 M!+ZNZR!?(PO=RR1OR(]]A3I1U&?+\<SWM.>$*:[A^*!(M^9`5:2>WY!-<MQ^ 235 M_/WPA\S7U\1]V(]_D7U.EN)BCUT8L>P:89VWP'PU:/:Y^D1;+Z-=7$2Q\X=+ 236 MGB&_?=(/3'9?]0,GOQZ)=H_O>-^/<;LSC5`(>IZ'4%A"%"7.GW]<Y%O\'IRG 237 M>7)=X-Z.YIT=90O%GUP1^#CM8NI^*>OX?(YO4VUQF?7MM';U(VMQP_NW$P=> 238 MG/,[4=A/$>=&EO[CTY>%0>QG"51(5$_KY^R7%G*A;L\D_\#JN2G-C;3[A^?$ 239 M2T/NO%NXWXW43_1/KZ)=3`G?+?W9\BFBX@_QB3OI,4X6%QWK_96<[J9PE#*C 240 MGX=QLCHSXLA77WY<Y%N\[B;)%!.'=Z.<?!W\72O*%M/?Z9W>3[N8%KMD^LL3 241 MXLY4F)+7O+47I<F5,T/W@^X\!0X@,W_U+,3'T^+*Z9$[*UPR=!4M59;$M[Q0 242 MBQE`I+V5LB+WGPYRB$M:[Q^NZ%N;WBSE/,A=;'6^48@8Y?DC4>U^SY'W&,&M 243 M'47BS*1)?Y#V$GZ+=@Z_0NODQ"HUG`)(^%':.?P0+?3A?WC6R0ET+R>^N`G% 244 MY==BE_#KK*AJG/KB)A2W`8P-Q6V@;;]YD\:I+]Z%XETHWGTSVC9QZJEWH7B/ 245 MXC6/@N4<\-G!7#!%(#>PR`>?/2[Z+80?R`%S$/+<RLNKG'=R#J)#0G38$QWN 246 M$!T2H@.(7JB^8$X"3N^?_S4FM,<][?$.[3&A/2KMBBXR%2+$IX3X!.*UUN8D 247 M%01&KG):D`F9BV34XFJ3O6T2&GRQ$>&+'16^DY+ARRBN\XC:-B77IN3:`[DV 248 M)]<F$D9Z8JS,8[C,U>SO8.6F:9H+?D.\,?S`3**Z>='GS*?E3M.@`!][+D'4 249 M#,QW=EJ"^0X]#1?\"+%I+G,]M81?RYU7?<Y`9%SH1Z6SJLH<L)@[6,Q=+.8. 250 M%FE7%QTX#Y>P<V;0CCT@LG<0V;N([!U$-D$T>D1#1*3M&;4<$$G#KF<U@LX; 251 M@80<3%G%"JREO=?ZC`?S\7E@+6Z@]K71'SCU*:?^)J?^#B?O'JAFZK#O*-]P 252 MX#JD7(>;7(<[7(>$:W61[54\V_'`5IR)D3E:O332U)Q>;'ZC'=/6/AWH3#F= 253 M*:4SI72FK;4'6-3LR5&3D:,F(4=-0HZ:I+5'>MJ3V>IB6'Z:J;K,IIJM/L*R 254 M%6.ZBVSGVZ.('%%,[G-1OECT[LQ#GMDL^B8P<-S'KWKE&]7\A)?QI.67,:LW 255 M7HR+3QSN6*;$U6><4D+30'%;6Q#A`DI#WHTTUDAC#32XBLVJ-+;J("K+2^^6 256 MEUXF+[U`7DK:+)FRO.;=\IJ7R6M>(*\Z;('*TE$EJ$5X6Q;>OEMX^S+A[0N$ 257 MMUK94>2N+'+W;I&[EXG<O4!DWR>Q:-<X,+=_>_N^_O']/W__^S\OO___7_[W 258 M=_J&7XAO8X'N;V__\_=__./M]_BS\:;G=_[X_M]_?+]\_[\__M+^QU___=_^ 259 )!:!UF2P+%@$` 260 260 ` 261 261 end -
Tst/Long/primdec_l.stat
r40e7ab rfff643c 1 1 >> tst_memory_0 :: 1 394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:15575362 1 >> tst_memory_1 :: 1 394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:48005123 1 >> tst_memory_2 :: 1 394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:49356804 1 >> tst_timer_1 :: 1 394792891:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:32421 1 >> tst_memory_0 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:1560168 2 1 >> tst_memory_1 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:4800512 3 1 >> tst_memory_2 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:4935680 4 1 >> tst_timer_1 :: 1400677521:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3369 -
Tst/Short/bug_15.res.gz.uu
r40e7ab rfff643c 1 1 begin 644 bug_15.res.gz 2 M'XL(" +S9;%,``V)U9U\Q-2YR97,`K9;;:L)`$(;O\Q1#Z47$;'03SY*]*(4B3 M 2"^J%-I%Q$.P"U%$(TW>OM$8#\F.K&Z],%GWXW>2F?EW!L/7WCL`4`;]W@L\4 M A=O0#L3TJ6L,CCL.@^3'L5B)T"QUC?T5&(/I;C&F=7OE_]K;<!*><)?!Z;YF5 M IZ+KC5C._5E.N,Y@(U8+^/!<RXRLN&0%Z_-N@X&8^Y,`A!?72.22R(K:R5?<6 M )O&9:C((Q#:$P#O^Q]OPVQ2E,]!*@*[!Z:AC)*OLFGS&R;T7GQ;.R(L.A'--7 M 1)=$;&3;!:$RO9)*EWDQ"<5=1)`H"18I7D,$';40)1BOHY+Y``@F*@%Y`Y,E8 M JK(RD#=5<NT@CU^`>$LMXP[!HI2"O*V6=UQ6"G):54U_K%H`>Y!3K(/R.%'59 M ):DNUE"2DHE5:ROI4XKU51&_\2:D**=HBQ7JL8S$+`,Y1?NL6.=HS'(TL\,V10 M@ TH%/OW-(O#%[,>'I0@[V2ZMVJF;]C,W'7Q=FBG='Q(Z9IHC4#/5K"D\]5HM11 M @&5=LV.QI&OZRQWF>F<MH0:K6?Z8T6HZ`6:T_V$$J-GJG6`WS%;KP+UAM@_/12 M !JC1/CS`H/;Z\(R%&NMUXZB.!)D=.N=1E[KV84K>C\*[K4E+W6?C#V:A/\E;13 #"P``2 M'XL(")][?%,``V)U9U\Q-2YR97,`M99=:\(P%(;O^RL.L@N+336MWZ6Y&(,A 3 MR"ZF#+8@XD=Q@2JBE;7_?M5:M39'HMV\L(UY>$V;][PY@^%+[PT`*(-^[QE* 4 MP38P?3$M.=K@.&,QB'\<BY4(RKJC[:_`&$QWBS%MF"OOQ]P&D^"$VPQ.]W4S 5 M$5UOQ'+NS:Z$&PPV8K6`=]<VRJ$1Z8:_/L\V&8BY-_%!N%&=A#8)C;`3?T4= 6 M$IVI%@-?;`/PW>-_O`Z_RD(_`^T8<#1.1UTM'J77^#..[]WH-+!&;G@@K"P1 7 M7A*1ED[GA"HT(Y4,K\4D%+<10:(DF*=X'1&TU)8HP7@#E;Q>`,%$)2!O8K)$ 8 M558&\I;*7EO(X^<@WE;;<8M@JY2"O*.V[[BL%.2TIKK]D:H!]B"G6`5=XT15 9 MER2Z6$%)+!.I>BNN4XK551Z_\2:D**=HB>7\6$'6+`,Y1>LL[W-TS7(TC<,. 10 M@VH5/KS-PO?$[-N#I0BZZ2RMF4F:]M,T'7Q>ABG='Q(WPK2@%7`G%'*N8L#> 11 M6VB8!PK&PO]9X(ZXO<NU6-P6+&`L=O^@?K'H+7CNW(C>0L>D<O3><:*CL?MP 12 MVX$&[L.=$1JS&5*JEB7P8,U6H&I+D,:A=6YUJ6T>NN1]*[S;EJGN/&F_*8-E 13 %_5L+```` 14 14 ` 15 15 end -
Tst/Short/bug_15.stat
r40e7ab rfff643c 1 1 >> tst_memory_0 :: 1 399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3177482 1 >> tst_memory_1 :: 1 399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:23879683 1 >> tst_memory_2 :: 1 399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:25172084 1 >> tst_timer_1 :: 1 399642556:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:431 1 >> tst_memory_0 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:317948 2 1 >> tst_memory_1 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2383872 3 1 >> tst_memory_2 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2517212 4 1 >> tst_timer_1 :: 1400667038:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:43 -
Tst/Short/charseries.res.gz.uu
r40e7ab rfff643c 1 1 begin 644 charseries.res.gz 2 M'XL("!;8;%,``V-H87)S97)I97,N<F5S`-5836_C-A"]YU<0BQYL2_)J9O@A 3 M(;`/12_9+7K9WHHXR':SK5$C7=@J*O_[\DLD)=F)[?BP#0*;(F>&XGNC-R-_ 4 M^O6GNU\88[!D/]_]R-XUNV:^67]^=WOSR:_@DH4QS9DV>%@_KYO)]/;&?+/E 5 MDOW^Y^-V][1=/^WFST__SG?-8Q-<>.(NYFR[?OZ#;1=E/FDA;S%O*6]YWHI\ 6 M/\TWW^*N<LF^_;W9LZ^PF$SV60NSEK(6]6`ZF^P+G+6XTE>D/^R,N=`V9FHZ 7 MC6'4DJV_/#UNV-U";[C"HM6>H(WT9V'^]1W8:;+39L)?&5,;/R_,@MVL9^-6 8 MM6VR7=5M]V%QEW^%N%`[D!X<2FSR03L]_`8YW"_`W-%*9=Q^RP+--BN1V2]> 9 M`)AOROC,WH0P]P#6%^\7QK`P9N;DTCE80WL`-RJ$];386(0<`FACT/W"^_L= 10 MHC]E/6^R?AYF\D'(WPK780BXDNX(4`H)E3N&K$KICT(*W"QE0ANX>`7PNK;( 11 M5JH4,TTMEU('Q3=@@U?`!J^##1ILJ"(/308`6#EH"A!<EG;,,R'1P40%A[I4 12 M+A[($A)L,@0J#3CT!G#H"N#0=<`A`XY.%NK`J;CTV%18@X>&\YJ[M"E0*.ZA 13 M0<YE`HU.I`IX][Q!&54'8,[^6F\V;!L>1T@T#;2FO7^?R!*WFF1TP<O2ERA+ 14 MP(VQ$R;TPM3I$3>#;*A`((Q'IT$L"DEAX.!9U!)]5;3<7/'<F6'?S-J@W<&9 15 MA3VDV8.%OYR!8ZSPLNE"0!;%S0;GG8@ENVOG0%:4/&?;W4*B?9V;OJ5X9!6/ 16 M;'40XU)EED9*V*W6\T`+EL9RP!M"8H`#WD;E).$-*?)&AC=+6-1T7T0BS+S+ 17 MUH1*Y"F5A:$FB1"1#<AD'AE'2"P\MH9X(!VY10HG!0('U`72M$U'5K@Y$7+@ 18 M&']0>/^$<<J&[*$<L$=Q2;W$'E8).?4!]JB,!@0GMP*$72O`%VQB*_W$GF4Z 19 M,X1YWNQ3V!HY2A@CBN7?P0(ZO2V29F!Q0#UPF1#=>"SC3",0P2%QO(Z[^+$R 20 M6\JZ(NOSHBN6'G=[*8R2VG39=V4OA,)^*.R'PGXH-*'TZKXK$"$,]<-0/PSU 21 MPY`-`[H2ZW2Q@J8A#P#(J)RD1L)*5;)<GTPQ+SN*Q4&*=9EQ).OR<H!F#I'F 22 M8RR[L2/:749W[-,MX@I=2C=D0\;]S!MX3V/BH9AG)D`:CP[%>S$3>-+8<S'* 23 M!)XD"E>G9T+598*TF1`;?R_049MMUT^]F20EZM=3(LV'X"C*SO&C$3\9%V"0 24 M"Q\O?/1'61".N/?<GZL`XQQP$4-RG:\&A](@AEQ10"7II`2-LD`D22).?_L3 25 M,LV"<1(<R@E37F?IRYA0EZ9`=2P%AF]QWW$*>#A"$O@CR*0QEN/&6"9T2DKY 26 M:O(7&9/\"&--G[$F8:P9,B;%@+'F1,:D/,*85,<9:^Q;_:6,-;/A0X:]H!>1 27 M5C2N8S<M7J0LJ:FR'E&F$D85G$&9PI<I.\R1H@LY4OP(1VK84_T/.5))M5/C 28 MMD@E%*K8%M$K,EB5URF&U?'^*$LZI'Z#%)FK\`ASU;`]>DT/_42$.?Y\%($N 29 MX&Q5]!.#N'@@[IGET4\,`M.!P.3Z.?/6-8LLH$T4-_"\A$%XL[>?;MZ\UD6Q 30 <KI+J60GWTZOY;?6?W02FMS_<_`=5@1@MO!4````` 2 M'XL(""1\?%,``V-H87)S97)I97,N<F5S`-5836_C-A"]YU<0BQYL2_)J9O@A 3 M(;`/12_)%GO9WHHX2+M.:ZPW"1P5E?/KRR^1E&2GB9-#&P2V),X,.>^-WI#^ 4 M\LM/%Y\98[!D/U_\R#XTC\U\N_GMP_G9%S^"2Q:N:<ZTP?7F;M-,IN=GYILM 5 ME^SW/V]VC^O=9OTXOUO_/7]L;IK@PA-W,6>[S=T?;+<H\TD+>8MY2WG+\U;D 6 M^VF^?8BSRB5[N-_NV2TL)I-]UL*LI:Q%?3&=3?8%SEI<Z3O2'_:)N=$VYM%T 7 M&L.H)=M\7=]LV<5"3[C"HM6>H(WT9V'^]0KL8[*/S0-_9TQM_+PP`W:RGHT; 8 MU;;)=%4WW>7B(K^%.%`[D*X=2FQRJ9VN?X4<KA9@5K12&;??LD`SS4ID]HL7 9 M`.:;,CZSBQ!F#6!]\6I16$MC9Q8LK8>S-!GX*^NS0IN2@<B`9Y*P0>AJX=RI 10 MX'UW*GK.9-U6+@;Y&%2XI7"]%`*NI$L!2B&A<FG(JI0^%5+@GNJHVL#'`U[7 11 M%ME*E6*FJ>52ZJ#X!FSP/;#!=\$ƊD8<F`P"L'#0%""[+RD46$AU,>BZH 12 M2^4R`EE"@DV&0*4!A]X`#KT'./0NX)`!1Q<+=>!47'IL*JS!0\-YS5W9%"@4 13 M]]`@YS*!1L>O@'?O&Y11=0#F[-MFNV6[\#I"HFF@->WCQT26N-4DHPM>EKY& 14 M60)NC)TPH1>F3H^XN<B&"@3">'0:Q**06#AX%K5$WQ4M-W<\=V;8-[,V:&=P 15 M9F$.:>9@X2]GX,2P\++I0D`6Q<T&YYV();-K9S>Y%U,G><ZV6T*B?9V;7E), 16 M6<64K0YB'*K,T$@)N]%Z'FC!TE@.>$-(#'#`VZB=)+PA1=[(\&8)BYKNFTB$ 17 MF?N.@PF5R%,J"T--$B$B&Y#)/#*.D-AX;`_Q0#IRBQ1."@0.J`NDF??'DQ46 18 M)T(-'.,/"N^?,$[9D#V4`_8H#JGGV,,J(:<^P!Z5T8#@Q5L!PFXKP!=L8CO] 19 MQ.8RG1G"/&_V+6R-'"6,$<7V[V`!7=X627-A<4!]X2HANO'8QIE&(()#XG@? 20 M=_&[SNPI"SW6U477+#WN]E88-;;ELN_:7@B%_5#8#X7]4&A"Z=%]UR!"&.J' 21 MH7X8ZH<A&P9T)];E8@5-0QX`D%$Y28V$E:IDN'XQQ;SL*!8'*=9MQI&LV\L! 22 MFCE$FH^Q[*X=T>XVNF.?;A%'Z%2Z(1LR[I^\@?<T)AZ*^<H"2./1H7C/5@)/ 23 M-O9<C"J!)X7"U<LKH>HJ0=I*B!M_+]!1F^VNGWI/DI*H_[TDTGH(CJ+L'#\9 24 M\9-Q``:U\.G$5W]4!2'%O>?^M0HPK@$7,137Z]7@4!G$D"L*J"0[*4&C*A!) 25 MD8B7G_Z$3*M@7`2':L*TUUEZ&!/JU!*HCI7`\!3W'RX!#T<H`I^"3#;&<KPQ 26 ME@F=DE*^FOQ9QB0_PEC39ZQ)&&N&C$DQ8*QY(6-2'F%,JN.,-?94?RICS6SX 27 MDF$OZ$FD-1&HR%C24F4]8DPEA"IX!6,*GV?L,$6*3J1(\2,4J>&6ZO]'D4IZ 28 MG1IOBE3"H+(;8[9N;[X_;'6VM[O[[^QRSC[M[M??UKO.K"I[6IGO\Z?>>::* 29 M.QZV8`79\R_EYJIU2E>TYN>"V=,J4E#A`.F+B#3I0T50KWVG9&2V*#K,4^CZ 30 M%<5<*CY*M1+)L$QS>-(YM/T<U"DY5,=S`'SBV>$D=`;9O@U!ZKC*.CF4U.!^ 31 6WC2_7_[U.('I^0]G_P!\K`2B(!4````` 31 32 ` 32 33 end -
Tst/Short/charseries.stat
r40e7ab rfff643c 1 1 >> tst_memory_0 :: 1 399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11705042 1 >> tst_memory_1 :: 1 399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:153927683 1 >> tst_memory_2 :: 1 399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:153927684 1 >> tst_timer_1 :: 1 399642133:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:86321 1 >> tst_memory_0 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:956804 2 1 >> tst_memory_1 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11124736 3 1 >> tst_memory_2 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:11124736 4 1 >> tst_timer_1 :: 1400667171:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3556 -
Tst/Short/charseries.tst
r40e7ab rfff643c 77 77 kill r; 78 78 79 ring r=3,(x1,x2,x3,x4,x5,y),lp; 80 poly f6= ((y+x1*x3+x2+1)*(y+x3*x4+x1*x3)*(y^3+x3*x4+x1*x3)); 81 ideal I=x1^2+1, x2^2+x1+1, x3^2+x2+1, x4^2+x3+x2+2; 82 ideal K=I,f6; 83 char_series (K); 79 // examples from J. Kroeker 80 ring r=0,(x,y,z),dp; 81 ideal I = -3*y^2-3, -3*x^2+1, -x*y+2*z^2; 82 char_series (I); 83 84 kill r; 85 86 ring r=0,(z,y,x),dp; 87 ideal I = -3*y^2-3, -3*x^2+1, -x*y+2*z^2; 88 char_series (I); 89 84 90 85 91 tst_status(1);$ -
Tst/Short/charseries_p.res.gz.uu
r40e7ab rfff643c 1 1 begin 644 charseries_p.res.gz 2 M'XL("`C9;%,``V-H87)S97)I97-?<"YR97,`[5I+;^,V$+[G5PB+'NR58(@< 3 M4@\$]J'H)4'1R_96I(&DS;9&@S1(9-3NKR_UH#CDB#+MW4,/>XHL<4CZ>W!F 4 MY'SZ]:>[7Z(H8KOHY[L?HP_M>[MYWM<?;F\^C4_X+E(W'_<O^W:UOKWI_D:[ 5 M7=3\6;V]/[WMG]X?7S<O3_]LWMNJG8)@%TW78A.][5_^B-ZV/%FU29U4R6F= 6 M?'XU2\A=M/_\5#U'^VW%X[9.:A'7ZL*,R';1Z]_/I^C+=G7J1JP_KDYQ#6I4 7 M=]7=B5N^-N-S/>/==I]\,?>+8>./P\ZCU9V*>?R-)>QA.Z[9?^0/6S5CQ?L/ 8 M\+"MXI.ZY/8PCH?Q;E@;#P/!'@AX('0#^YVKH7I;I8&+I9OHK_WS<_0V[9HQ 9 M])C;:%8*3QM-!N?09.(R-)F<1Y-E?C2K0DU1B;B5&M!^+S:@+!$/VU0C.V%: 10 M:3SKF/67:M0$ZP1H-8'97XQC!%E<X,4%IDGHY24)DCA(]CO.XK9["J?^3A^I 11 M<<@1/P6E#['+4TI?XQ#(F4M@P^,FICQR/L,C[XA4HWM.F[B=993#/*-<7,UH 12 MJS;9W6@TKQ5OU(V30DW=C-N!;QG*=_^5AT\JIHE/_0>?`L:'.`[&.*V)=I*" 13 MEL$0):PHT46=M"3:20E:!;4F?Q@N^^']9:8#,AV0Z8"L#^@OQMES/3C7@W,] 14 M.#>SYWIX0?`O,/Z%BW_1XQ\/H2/D)9FCQ'.4[AQE-X=V2JEG82F50FII(25B 15 M2(>9!B[4)XFLPR7R1D:LPY&S>!%@G3+0.I!:UJG6OQ>AW@$V[QW@W\X[W9:^ 16 MQB\AIR6RR9)))HN$N&,T!=Z/Q/[UF61\B.,RX]]+W-)?7N<7>E[]S\T#J,H" 17 M0<P#R%N0G3</Y*'F*9!YX#+SE//F$>DW-`]\-\]W\YPSCT!%M>#$/`)Y2\QT 18 M,*YY!.EA/.81<ZU,D'>$IZD15S8U:H-U/+FF5LN?%.@C6//FT9X![:/E2FVI 19 M!9I6!U.L@%Y5V-$"1PLK6F"Q"!TO[7B)XZ45+[%$I*T05+=+VI5))"#)784T 20 MI,N5I"_S*$3.M6=!"I&>1DTN-&J.0I`H`.ME4D@35X$*0<(06B]G%()$`5@O 21 M80I!H@"LEU"%(%$`UHM7(1*5IY(V?A()*".-7T,Z]RRT\<NN;OPR3^.77=3X 22 MV2D7<$*^KO&SI5)[CA.:CU&W)TP;>*[QTZV>T!EZ.3$W)C'7-R$]'TK#PN3G 23 MY=:OT?FXOCG?^-GI%W!R#F[\[(P+.!]?E'Z=A`M60O:GWPP5IQEM_#+DK,QI 24 M_)J9EUY9:..7I]=:)_?T??E"W]<4<8/3;_>AL5.P6E8;IYU-OF8.[L[!K3F& 25 M;*R^B/)>=].<U5Q/:-L(N0>TJ8B-1J]8&Q'N1H2U$6%4:)^W9@;ISB"M&236 26 MH'WFYJ@PRVG3DR-=Y9DK'/KN.0]M>O+B:N%X>IYBH>=QA(-T`JZ,0H6#=`*N 27 MC+Y*..CM6Q4B'*03<&44)ARD$W!EY!5.@>JU@A;\!=)5X13\A[%?/B:GY%]+ 28 M/@4I^Z-!.$T2==LZF)&F[C]VI^A1G:*B,8\]Q7VQ4-Q7+%-S=&=R>=!*L=^R 29 MZ^-:H+>R\5$+*[P_UE(X^E.Q:8VU!HZ:?V>?](6\O<]1!4>C`HT%JJ=*6I"7 30 MB."24P8[^U,&2U*6^Q@LQ2*#I:?X+I=^)9ECT"&-EE>A##8S!=4"@U,S5H<Q 31 MZ)`&F%0/@R5*ZR4MF$M#,$M3E\$A[Q,&64K*9@^#+.5+#+)TOCAFZ4)QW![4 32 MR11,70^)A[9&TU8%T39U296?-KVY,+XF75F<L50B4DBEQM(</2Y<SH97)3.< 33 MD7K-QQE+%SEC\U498PM565W$:K%V<ISU5F3<ADT9=\+H3[\FK*=./>O!U+LQ 34 MR84Q4K0PAB!F&<6P4S[%D)'2Q8MAL8SA?('"^$*!XF*(87-?'"Q@B&$##"G% 35 MD)OCG7&2OQE'$'.2OX?2CV+(0_,WXXOYF_'Y_,WX0OZVSHY``'7,Q>BAHQ5( 36 M[F2`P(69W*G.70LW<+)F#YL!"ZQ4N6KCP_IC!Q@:,0%_OXTP8."FRWN4+E%) 37 MW*VGP3H./Y=Q-(:C,6,Y<YR60$<6D"S$`$$E2!;J=61A(=@B%H*?PT*`!POA 38 M)IY[Z[V=5?3-83%]?XYPL;$0Z.@1ZNB9KG-TK3#J_@6H^P^?P_N*K6^C'V[^ 39 )`X/,>R<Y)``` 2 M'XL("(=\?%,``V-H87)S97)I97-?<"YR97,`[5I-C]LV$+WG5PA!#_9*68B< 3 MH3X0V(>BETV*7I);L;N0E4UK=)$&NUI4[J\O29GDD)1DV0V*'G):FN(,Z??> 4 M<&;D_?#QIYM?DB1AV^3GFQ^3U]US=_VXW[U^^^K#\0G?)G+R?O]EWZW6;U^I 5 MO\EVF[2_-T_/#T_[A^?[K]=?'OZZ?NZ:SAK!-K%CO$Z>]E]^2YXV/%MUV2YK 6 MLL,Z^_35;2&VR?[30_.8[#<-3[M=ML-T)P=N1;%-OO[Y>$@^;U8'M6)]M3JD 7 M.Y"KU$C-I!U?N_6E\7BSV6>?W7PU'/Q^.'FRNI$V][^RC-UNCGOJC_QV(STV 8 M7'^`VTV3'N20^\LX7<;5LBX=%H*_$.A"4`OUR>52<ZS:P<7RZ^2/_>-C\F1/ 9 MS1AYS'TT&XFGCR:#4V@R/`]-)L;19,4TFDTE7328=L(`JL_B`\HRO-WD!EF+ 10 M:6/PW.F!7&-!M7`V%LJ4Z>%Q%4:;(]T<*4UHMA>1D:!&0I^X2#OU%`YZ1EL: 11 M'$K"3Q731]CE>4Q?&Q#(64A@R],VC7GD?(1'KHB4JS6G;=J-,LIAG%&.%S/: 12 MR4.JB=;PVO!63APD:G(R[0:^Q3*^6ST0\\0;VMNC`M1R/41C@,8`C0$Z`S3^ 13 MA5DNS'+AA*69UO@/GX0R'[8IC%UA[`IG5WAVQ=%.#DMC51JKTEF5GE5I3EA% 14 M^%<4_RK$O]+XIX/I$?(Z\E%3'W7HHU8^3*34Q@O+8RGDGA;R2`SYX&GX^O*3 15 M(*'#!8F-(@H=3B*+5PM"IUX8.I![H=.L[ZJEL0-L/':`?[O844?Z3^)E)EJ. 16 M04(%>3)D;,"X:+DX5HXA<%ZTM.GE\1+?5__SX`%290%&P0,DMJ`X'3Q0+@V> 17 MB@0/G!<\]7CP8/X-@P>^!\_WX#D5/$B*:N11\"")+1SI8,+@P:B'F0@>'&ME 18 M%L4.3C0U>&%3(P^X2VW4[.3V!PGZ$:SQX!FDH\.GL>%C-,2I]DZV0'9W<,4* 19 MF%W1MT9JC9XU4K&@L1>^O:#VPK,75"+"5PBIVT7<E0DB(,%#A;11ERNBOFQ" 20 M(6*L/5ND$#'1J(F91BU0"!$%4+U8A;1ILU`A1!AH]')"(4040/6R3"%$%$#U 21 MLE0A1!1`]3*I$$'*4Q$W?H((J(@:OS;JW(NEC5]Q<>-73#1^Q5F-GY]R@2;D 22 MRQJ_UJADMR`7FQ2,)BV?:OQ:EXUW"Q(QZ?;0M8&G&S^2A-%EYU.-'TG!Z'+S 23 M?./GIU^@R7EQX^=G7*#Y^*ST&R1<\!+R=/HM2'%:Q(U?02*K"!J_=N2E5[&T 24 M\2OS2T.GG.C[RIF^KZW2EJ9?]:'U4[#<U@1.-YI\G0\>^N">CR$;RR\B8T]- 25 MNKN:&X=^1%GI@4GHX#0(5/'H'P3#@Z!W$'0J].];YT&$'H3G05`-^G=N20JS 26 M,FYZ2J*KL@B%$[][+I<V/65UL7`F>IYJIN<)A$-T`J&,E@J'Z`1"&?TKX9`W 27 ML,T2X1"=0"BC9<(A.H%01I/"J4B]5L4%?T5T504%_\NQ7^ZS0_:W)Y\J*ON3 28 M03AMEJACO;B5KN[OU2W:RUL46_=XHKBO9HK[AA72A[J3ZQ>C%/\MN[FND;R5 29 M37LCK'/[XWXZ)Q,-M$8#O>$_.&?\0MX_YU$%O5.!P8+44W5<D->$X)K'#*KP 30 MCQFLH[)\BL$:9QFL)XKO>NY7DC$&`]+B\FHI@W%5-<.@;<7(]3_/8$`:4%(G 31 M&*Q)6J_C@KEV!+,\#QD<\G[$(,NCLGF"09;S.099/EX<LWRF..Y>Y,VTF#H- 32 MR01MK:&M64";[9'&LK:ES1QN&5]65QYG+!>$E*A28WE)'E<A9\.KDA'.HGIM 33 MBC.6SW+&QJLRQF:JLEV5RLTZ&W'>6Y'C,7S*>&`6__3KS#1U\ID&TYS&)1?& 34 MHJ*%,0(Q*V(,E?)C#%E4NDQB6,UC.%Z@,#Y3H(084MC"%P<S&%+8@$(:8\C= 35 M]<YXE+\9)Q#S*'\/I5^,(5^:OQF?S=^,C^=OQF?RMW=W+`30V)R-'KE:(<J= 36 M#`BX,)([Y;WKX09!UM2P.;#`2Y6K+GU97RG`R`H+_+M-0@&#,%V^(^F2E,1J 37 M/P-6/_Q<QLD:3M8,`2HQ-%N0*PNB+,2`0(51%M(Z\K!`-HL%\E-8($Q@@6'B 38 M>>>]M_.*OC$L[/?G!!<?"R17#\:W.Q*HT-WND*UZEO4\ZR'K,>N%ZJH>"22U 39 M^<[%)EG)WJAG5STH03+=*O6@(-"3ZO,=>#.V=6(B=U'5LSMIGB4]EW][IH=P 40 MIY.6&J(:ZBVX,[?,O-_<9)\+]R#,#N\=L,,^!EJYD=Z0$7SUMLP$9S_L*_=_ 41 MPTQVMU_W<'P!2OWRT"\/_?(1OYSXU5C9-V36,82.(70,(XYUR?!&>>97C@4U 42 M-I-'7NQ`S\OQ\&B8EY-H_Z&)"7(9"WD9V[$@8ZDV]8]EZO_&7IY7;/TV^>'5 43 )/V2*&7J/)@`` 40 44 ` 41 45 end -
Tst/Short/charseries_p.stat
r40e7ab rfff643c 1 1 >> tst_memory_0 :: 1 399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:6644122 1 >> tst_memory_1 :: 1 399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:24657923 1 >> tst_memory_2 :: 1 399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:24657924 1 >> tst_timer_1 :: 1 399642375:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:23441 1 >> tst_memory_0 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:618652 2 1 >> tst_memory_1 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2384368 3 1 >> tst_memory_2 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2425340 4 1 >> tst_timer_1 :: 1400667270:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:480 -
Tst/Short/charseries_p.tst
r40e7ab rfff643c 144 144 char_series (J); 145 145 146 kill r; 147 148 ring r=3,(x1,x2,x3,x4,x5,y),lp; 149 poly f6= ((y+x1*x3+x2+1)*(y+x3*x4+x1*x3)*(y^3+x3*x4+x1*x3)); 150 ideal I=x1^2+1, x2^2+x1+1, x3^2+x2+1, x4^2+x3+x2+2; 151 ideal K=I,f6; 152 char_series (K); 153 146 154 147 155 -
Tst/Short/primdec_s.res.gz.uu
r40e7ab rfff643c 1 1 begin 644 primdec_s.res.gz 2 M'XL(" "[;;%,``W!R:6UD96-?<RYR97,`[5S=;^.X$7_W7R$<^I!45DX<?HCJ3 M P@&N5^!PP*$H;N^E7:0+.W:R7LGI-LGA)/_U)2F+(BE2\D<V611^V$2:&7*&4 M 0W+F-Z2R[W_[V\]_CZ((74>__/S7Z+OGI^>K<KWX[MWD_8X#UY$@?EP_K)\O5 M +M]-Y._H^CKZ\KC>+%>W'Y^N'E9_7#T]SY]U"WP=Z6=RU?2[$W?ZIH8DNXH>6 M UP_WT>,,0YKBZ<5\NIC>3I?3U?3N<GKQXW3YY;)KF5U'Z^5J7D;KF:;QJV@.7 M M\L[F&I2?A4M;!)*I=3"(B$AA2T*""&;@@5E`1:)-/I6'84VZ@P*:[09E$PI8 M ,PA<Z3((>:.JHT#::.IT`VHT&11H-!D4K#09!*(T&03::#(HRMY;,(8)F5)E9 MD 92G%[<F27H:FQ0LC;8I2*FS2(W59N=8FDU,@C)[85*4W=BD2+M%([U`<-8M10 M +2S,+==/SV+-HMEF_?##T]-/O_WK8MTM)YSKY81FC_/E^G9>FGR2:C[,5O_]11 M ??VK1T9LH9T6F+7;P]%#0,O@G24_?IH_7JRGR!#"6HC,=OV\_Z<C0ZZCS?SY12 M <5U%F]FMZ.+CT^IQO7JRE%&Y2]&[R0=T\Y>)V`P?Q</LKGF"F]ER(GYVC(5F13 M S'4/3`Q;=+!&2N!./DB^>L""LI0/1%"6NHG<F&(:UM`V@;8)M$W`:<*EG=#914 M V?[6)H-^4V9+$7!$;(F6[?:TL'J:@Z^KA24R$4;O8=1*OX@Q+KW]WH7E)\(A15 M7 B6W9IL%-AO-C;%(=T)G-Q6OV&>"W9W5VT2T\IJPM,9Y"V8K&8%,(T2T,8T016 M \4"_,O%*]%NF[.^$N7KOI'/YW@T7I7*`ABZ$U(@-@IK.1=<#PHK0F8NDDPS[17 M D/*2T8#)]\XI2-I(?%Y<6@ZQ_&'-B%[?N5S?^(1]2%/9`PGOD&/6=6"+6*.[18 M &U_)R^`.><W%&]@_J_Y@VD9';-+0#AG8(,8"(\X:I\Z*9?9ZS*P-P^T-D;N+19 M .W46+WJIQ4M%5MN\FVP^H*EJ+1^D+\4#2,I</:@9:5M(P+AZ>OZ'R%SSQ_I"20 M A/:IS$I("XC\5JS+,GK4J8J2+EM3JH%@.@P"*>N#0)KU0"#E/1!(\QX(9*D+21 M `AER02"#'@ADV`6!C+@@D%$7!#+F@$"6.2"0<1<$LMP%@5GJ@L`,N2`P`P<$22 M 9M@!@1EQ06!&>R`P8ST0F&4]$)AQ%P1FN0L">=H#@1SU0"`'!P1R[()`3EP023 M R*D#`CGKEA7/QD`@Y\,@D.?C(#!/QT%@CO8`@3F,@\`<CX/`G)P*`G-Z,`C,24 M V<$@,,_.(/`,`O]_06#.3P6!>7X&@6<0^!8@$*7I@2`0I6@8!*(47!"(TN[<25 M $*4BN>MG:CSW3@FK:3W=NM`0I?WS090*=%+5L(4$R5]Q53>/VZF6R*4$EBSH26 M J/+$L*J):M41!6:IH.D!C"[DR:$@8$4VQ`5\J<A6DLD68JBP>)8_(:Y`D85=27 M G311G9@V4-F^%I9A4YGP!@@RQ$S0Y4_12!B/8\M4@7PJ*II*S>*'TB[ME@-M28 M W&%JDEYB=8PK*G^06JK4?D5Y-T?R5'(042%`@X@*`8PB*@1X%%$A(..("@$=29 M 150(V"BB0I#Y$-56!^S:CN0&(T&3=I]5,=(A4XG56DRQB,&JM&9N(C&Q<'=030 M K)*+>;N#8V+FDZK>03*Q'L12T.US$Y;I;G$Z`KTJ7PRI@LEC:T:7VM?6D0CE31 M CCI&IF#E#=:N4#`-U'9?8A<T+7L=6G)R,@(AO[;R;=6UPT%;'4M9P(&)-:3:32 M RB:5-R^Z3:P6$Y%'_(JL$=1;LU5M)6>YQ*#:QIT(E::(``'BG]^1_76@+9)>33 M Y?NL'F-8^$"%3E.I,C_&WW5<VYX(KIS!29#Z18;>9QX<_5MG(NPI\._-D!G;34 M B80%^QAAV9`<.L&)3O08^8#O:X1+#".`^<"X=GP`"<2WK[G4`T'P\-C\ZL'O35 M +6-2($X>F8A"$>ZUPDT@W-D38:^=K7=HPQO]U<+:@!D#8>VEDVD;7;!9$]5M36 M 3;15#T(P;8LC.16[\DAN5/F(&SG<L;%BJX==6Z*8Z@%:BF*U^LE(A85IK\+"37 M W7DHPEE75<D+\N[(W5]1&5?DNJ(BZ5A%19"OHB+@J:@(]E=4A'@K*D(/J:@(38 M <RLJDODJ*L+WJ:A(?DA%1=.ABDI>L.AG&*NHY-W)4$4E+U+&*BI*QRLJ>;4R39 M 6E'1;+RBHGR\HJ+Y6U54+#VMHF+(6U$Q.%=40;ES176NJ,X5U0D5%<-O55$Q40 M <JZHSA75N:(Z5U1A*XZOJ!@]O*)*ZOCE2BK&1DHJEO5**L8[^"Z_T&G*J&@641 M [:ZG]-=+T_OII^GG:3$M=6FE&V;=Y\6SCBA*IXLR*2[_G>M20G[-T]#XG\7O42 M Q67'P2TGDYQ;@T-:#I.<I<&A+8=*SLK@L)9#).?.X&0M!TO.O<'A+0<DYY/!43 M R7<<2?_<X7Z>=KZ3WP`-ESX<ADL?CL=+'T[&2Q].]RA].!LO?7@V7OIP[BM]44 M BJ34`KE9H1@,^:515WJ8##12?$A9SQZ5Y%"B+B"!HHQ+*_Q\#O?C2(72=8$345 M 7$`9XZ*$I,2>SML@\6EO74ZC4-HN2$(*7,9,Z`?Q6.*X).,&M-'U_EA[G#Y"46 M 8*"@"2U(&:-4&`F)^`7"0EJ4)"GIP69&NR1P]T)6.UV&@$?!$E90,0@Y%+&"47 M Y%BP?`,Q#%:4-"[9J6-1K^QFMOHZ0W,TA.!,D259P<H8D!@O)%@.6,`F*@9,48 M $D$$,=:L*%E29B\\8/6:W<R6KS)^1V$(CQ4\X44FW,&%4R"A<A7@.$N%5XA\49 M P\(=@@?"(;PHL[CD7]<KZI7?S&[?PDF._A"&+/(D+[B(A4QX#A).A.O$9@'I50 M .Y+(WT1XC<N@Q1(LPU86YT7)DS)_5>>IU_QFMO@&?.F8TR9`\-7'9H;$(V7L51 M $1GRLSUN*V&>D"&=;C_9[O3DSY?+D,.J[^V9#*;3KY8A#S+OSEYHH]GUM3+D52 M *8,PMP?;/]F^489\P9&:@2`[./=^&QGRZ[G#C(O\V%3\36;(5_/9PDXM)V;F53 M ;S%#$O.D)2GBCD-'CD#DGW8X1R!Y]Z?6*.=7T???1P^K/Z)5-=]\*5?1W>-_54 M -M%/JT=1`"^__^'^8?6DA=OSDE]GS8>\E]/R2]LMI,:A2$V2"B?5M,K%CSI/55 M ZDZJ^V,:_[D!I,/G!I".GQM`.GYN`.D>YP:0CI\;0#I^;@"I]]S`.,.W[P`,56 M !O0._F/4<=VC?XL)B3J<I"8_<1JS$'/7.#/YX*KF0:XZZ&LC@Z]U;5X'M0*657 M !>I@%0T)U!/Y-R1A@9T2RWN0])60(8&F#SH@$M=ZFJW3'[4'XIJTE]2L3M3758 M !%`G=7M7+39(VQA9)T1=8_`TAE[CL5,DY_+!$^B<.[/@)9!SRA^X`NI+!2^Y59 M D[TZ[$L%[[EA/Q,]8N'+GM@UP'\CZ!<,X<EN)8UVZQ,,WM98@K#/)1T,7$CW60 M +G^2D)5>P>`M3+)OMU[!X*5+?U[K?1=`L]=#.\@53_;M=Q=#0AO*LV2\%Y-^61 M 01W?]NAWP!->41T:]UBX<<!FGZ".I_MLB*#-?M$V('I/%=S$:F4/-[M9><--62 M G';.<)O:Z:*?UZRTZTE)V4#[9F;XD(;:3;V]A.6F7F_20R'OM#L00AYJ!7#863 M 2];Z"B((._%V7#W-8V=#XWG/O98/;].3MG]XEYX4K4(;],3@&MJ?)Z:"`_+@64 M @=L^F`M/C%2AG'ABT`[EQ)>(V<&\>!K8&,B+)V&C@;QX-(P+YL2CL68P$QX-65 MA X,YT-XX^Z*W-B!:9P6*L_LPH_9]X;[[]$)3<??=.^FHZ@.,NNF+*G+2/(*>66 M U<T'UC%8PT@:1K:SI-J]Z:6Z^<`M%E>?B,AMM_F06YQ\UTB.);4XXG77J'G=67 M #3NIVE<]2@0VR_C$'V&;A4T;$;&9Q%9(VZ]44.,./1$C1S.`NJ_[0?[-K_Q?68 7&^7_R_C[TP6Z?/>GR?\`UY"`)NM1````2 M'XL("-M\?%,``W!R:6UD96-?<RYR97,`[5SK;^.X$?_NOT(X]$-223EQ^!#5 3 MA0-<K\#A@$-1W-Z7=I$N[-C)>J5LMTD.)_FO+RE9?(F4[#B/1>$/L:F9(6?X 4 MFOD-*>?];W_[^>]1%*'+Z)>?_QI]]_CP>%%MEM^]F[W?<>`R$L2/FR^;Q[/S 5 M=S/Y'5U>1E_O-W>K]?7'AXLOZS\N'AX7CZH&OHQ4F5QT[>[$G;:I(<DNHOO- 6 ME]OH?HXARW!RMDB6R76R2M;)S7ER]F.R^GJN:^:7T6:U7E319JYH_"):P/7J 7 M!A)%*BZBI4U"F91:6B0DI+!%`2%D4["@+,$BD4[?6E-HI\Z@L$Z;0<E;90:! 8 MM[H,0M&ITA3(.DU:-Z!.DT&!3I-!P:TF@T!:30:!=IH,2FOO-1C=A+Q599': 9 MD5Y>FR0YTMBD8&FT34&M.HO466TVCJ79Q"2T9B]-2FLW-BG2;E%)+1"<ZZ6% 10 MA;G5YN%1K%DTO]M\^>'AX:??_G6VT<L)%VHYH?G]8K6Y7E0FGV2*#_/U?W_? 11 M_.J1$5MHIP7F_?9P]!!0,GAGR8^?%O=GFP090E@)D?FNG??_=&3(972W>+S? 12 MU-'=_%HT\?%A?;]9/UC*J-REZ-WL`[KZRTQLAH^B,+_I2G`U7\W$IV8L%6.A 13 M6F"BVZ*!#6H%;F1!\ML"%I25+!!!6:DJ<F.*:=A`7P7Z*M!7`:<*EW:"MK/_ 14 M5B:#>FK-EB+@B-@2/=MM:6FUM`!?4TM+9":,WL.HM7H0?5QYV[T)R\_$@'B5 15 M7)MUEMBLM##Z(H<3M-U4/&*?"79S5FLS4<MKPLKJYS68M:0',HT0WL8T0O@# 16 M]<C$(U%/>6N_%N;MLY8NY+/N+LID!PU="+4]-@CM="YU"PBW!&TNDH-DV(?: 17 M43(J,/FL!P5)&XEO%%?6@%CC8<V(6M^%7-_XB'U(,]D"">^0IZSKP!:Q>G<S 18 MO9)7P1WRFHLWL'_6P\[TE9ZP24,[9&2#&`N,.&N<.BN6V>LQMS8,MS=$X2[N 19 MS%F\Z+D6+Q51[>[=[.X#2MK:LB#'4A1`4A9MH9V1OH8$C.N'QW^(R+6X;\Z$ 20 M:T]D5$)*0,2W<E-5T;T*593H:$VI`H+9.`BD;`@":3X`@90/0"`M!B"092X( 21 M9,@%@0P&()!A%P0RXH)`1ET0R)@#`EGN@$#&71#("A<$YID+`G/D@L`<'!"8 22 M8P<$YL0%@3D=@,"<#4!@G@]`8,Y=$)@7+@CDV0`$<C0`@1P<$,BQ"P(Y<4$@ 23 MIPX(Y$PO*YY/@4#.QT$@+Z9!8)%-@\`"[0$""Y@&@06>!H$%.18$%O1@$%BP 24 M@T%@D9]`X`D$_O^"P((?"P*+X@0"3R#P+4`@RK(#02#*T#@(1!FX(!!E^MP0 25 M92*XJS(URH-3PCIIDJT+#5$V/!]$F4`G=0-;2)'\BNNF*VX3)5%("2Q9H*GR 26 MQ+!N2%M+$P5FJ:%K`8PFY,FA(."6;(@+^%*3K223+<108U&6GQ#7T)*%75J: 27 MM(V8-E!9OQ&685.9&`T09(B9H,M/44D8CV/+5(%\:BJJ2LWBH]4N[98=[8;# 28 MU"1'B34QKJG\((U4J<85%7J.Y*GD**)"@$81%0*81%0(\"2B0D"F$14".HFH 29 M$+!)1(4@]R&JK7+8C>W)#4:*9OT^JV.D7&8KUBBQED4,5JTT<Q.)B86[@V*U 30 M7,S;'1P3,Y_6S0Z2B?4@EH*J7YBP3#6+LPGH5?M\2!T,'EO3NS2^NHY$*'8T 31 M,3(%:Z^S=H6"8:"QVQ*[H*LY:-"2DY,1</F-%6]K70\';74L98$!3*TN-58T 32 MJ;UQT:UBU9B)..)79/6@V9JU&BLXRR4&]3;6(E2:(AP$B#__0`[7@;)(CBK? 33 M9_48W<('*G2J2I7%4\:[B1M[)((K9W02I'X1H?>9!T?_UID(>PK\>S-DQG8F 34 M8<$^1E@VI(=.<*H"/48^X!MTE_7>;C'L6'O-,`&87W*I!7SCTYU0P$>&?'/` 35 M"1[NFU_=^;VE3PKYR==R$`&?^,1`&'!W]D38:W?K;7I\H[^:6QLQ8\2M/7<P 36 M[;T+-G.BIL^)MFU!"&9]<E3WR5%'V;%PRQ)3)HO0-8![)M%,DNP<C"RV#KS7 37 M3R8R+$P'&1;6YZ$(YSJKDA?D^LC=GU$95^0JHR+95$9%D"^C(N#)J`CV9U2$ 38 M>#,J0@_)J`AS,RJ2^S(JPO?)J$AQ2$9%L[&,2EZPJ#),953R[F0LHY(7*5,9 39 M%:73&96\6IG,J&@^G5%1/IU1T>*M,BJ6'9=1,>3-J!B<,JJ@W"FC.F54IXSJ 40 MB(R*X;?*J!@Y952GC.J449TRJK`53\^H&'W;C(JQB8R*Y8.,BG&-WN4+.ET6 41 M%<VCW>V4>GDIN4T^)9^3,JE49J4JYOKMXKDFBLSIK$K+\W\7*I.0+_-T-/YG 42 M\;T\UQS<<W+)N38XI.<PR5D9'-ISJ.2L#0[K.41R;@Q.WG.PY-P:'-YS0'(^ 43 M&9QBQY'TSQKV\TR/G7P%:#SSX3">^7`\G?EP,IWY<+I'YL/9=.;#\^G,AW-? 44 MYE.FE1(HS`3%8,@7C73F83+01.XA93U;5))#,;:$%,HJKBSO\SG<CB,5BK0E 45 M3G$)58S+"M(*>QKO?<2GO74YE4)1NR0I*7$5,Z$?1+'"<46F#>B=Z^U3[7': 46 M"&&!DJ:T)%6,,F$DI.(+A(6TK$A:T8/-C'8QX.:9K'::#.&.DJ6LI*(3LBMB 47 M!<F^8/D$HANLK&A<L6/[TCZRJ_GZ9;KF:`BAF3)/\Y)5,2#17TBQ[+!`351T 48 MF*2""**O>5FQM,J?N</M8WXU7[U*_QV%(7!5\I27N1@.+@8%4BI7`8[S3(P* 49 MD4]8#(?@@1@07E9Y7/&7'97VD5_-K]]BD!S](0A9%FE1<N$+F1@Y2#D10R<V 50 M"\BQ(ZG\)F+4N'1:+,72;>5Q458\K8I7';SVL;B:+[^!L73,Z0,@^-)C,T+B 51 MB2SV"1'RL]UO*V`>$2&=9C_9P^F)G\\7(<=5W]HS&0RG+Q8A#S+OQEYHD]'U 52 MM2+D,9TPMP?;/]B^481\QIZ:CB`_./9^&Q'RY8;#](O\J:'XFXR0KS9F2SNT 53 M'!F9O\4(2<R#EK2,-8=.'('(7W8X1R"%_J4U*OA%]/WWT9?U']&Z7MQ]K=;1 54 MS?U_[J*?UO<B`5Y]_\/ME_6#$N[/2WZ==^_QGB?5U[Y9R(Q#D8:D-4[KI"[$ 55 M1U.DC9;2OZ7QGQM`-GYN`-GTN0%DT^<&D.UQ;@#9]+D!9-/G!I!YSPV,HWW[ 56 M"L!@P.":-$::Z]X(6$Q(V[-):O)3IS(+,7>5<Y,/KFH>Y*:-<=ODJ]V8MT&] 57 M@&5!>ZZ*Q@2:F?P)25A@I\0:/4B'2LB80-<&'1&)&S7-UNE/NP?BAO1WU*Q) 58 MVY<)H$F;_JI:;)"^,K).B'1E\%2&0>6I4R3G[L'CZ)PKL^#]C7/('KB]&4H% 59 M[[C3O1H<2@6ON6$_$SUBX;N>V#7`?R'H%PSA2;V2)IOU"8;`FWO%ML?]&AQR 60 M]Y*&K/0*!B]ATGV;]0H&[UR&\]KLNP"ZO1[:0:YXNF^[.Q\2VE">)>.]E_0+ 61 M*O^V1[LC(^$55:YQCX4;!VSV"2I_NL^&"-KL%^T=HO=4P0VL@:![2,1U(ZH= 62 M*=RJS.8.8I$=;X>QBH_4CWTQ=Q@QLQ$5[=R@,1NLI1S$'';,]>`*)^9ZH$%X 63 M'*UIGCH;.G;7AC?M44YFSUAXJ$\,;=<C/?C+[=8#(N-!#B84&8_TM:$(^0RN 64 M-A0ECX0((U'R*$2S=Y0\`'P%(^23$6(P-CX9Q`8CHB7I;<V6",=`>P?NB]YZ 65 MAVB=%;2<W7L9S>!UC,;W%L;NG0M%-5Z_H)I*6VK7.FO):5<$M6+N/N2:D7>, 66 MM&/PG6WU[DGM@KL/A<4J)$OF0;(3F<42C[O-+LK(9J&^6O?8];KS9>VCZB?" 67 M-@OKSB)BLXAI):(VDQH*^XF8.)H!I%_N!_F37_E/&^6_9?S]X0R=O_O3['^- 68 '(SFUZE$````` 69 69 ` 70 70 end -
Tst/Short/primdec_s.stat
r40e7ab rfff643c 1 1 >> tst_memory_0 :: 1 399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:6317082 1 >> tst_memory_1 :: 1 399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:26214403 1 >> tst_memory_2 :: 1 399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:31334404 1 >> tst_timer_1 :: 1 399642925:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:4361 1 >> tst_memory_0 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:631864 2 1 >> tst_memory_1 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:2621440 3 1 >> tst_memory_2 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:3133440 4 1 >> tst_timer_1 :: 1400667354:4.0.0, 32 bit:4.0.0:i686-Linux:mamawutz:430 -
factory/cfCharSets.cc
r40e7ab rfff643c 401 401 } 402 402 403 CFList 404 modCharSet (const CFList& PS, bool removeContents) 405 { 406 StoreFactors tmp; 407 return modCharSet (PS, tmp, removeContents); 408 } 409 403 410 ListCFList 404 411 charSeries (const CFList& L) … … 518 525 } 519 526 else 520 qs= CFFList (CFFactor ( i.getItem(), 1));527 qs= CFFList (CFFactor (normalize (i.getItem()), 1)); 521 528 522 529 if ((qs.length() >= 2 ) || (qs.getFirst().exp() > 1)) … … 556 563 } 557 564 for (CFFListIterator k= qs; k.hasItem(); k++) 558 ts.append ( k.getItem().factor());565 ts.append (normalize (k.getItem().factor())); 559 566 return ts; 560 567 } … … 577 584 sqrf *= iter2.getItem().factor(); 578 585 sqrf= normalize (sqrf); 579 L= Union ( L, CFList (sqrf));586 L= Union (CFList (sqrf), L); 580 587 } 581 588 … … 613 620 614 621 StoreFactors StoredFactors; 615 cs= charSetViaModCharSet (qs, StoredFactors); 622 if (qs.length() - 3 < highestlevel) 623 cs= modCharSet (qs, StoredFactors, false); 624 else 625 cs= charSetN (qs); 616 626 cs= removeContent (cs, StoredFactors); 617 627 618 628 factorset= StoredFactors.FS1; 619 629 620 if ( cs.getFirst().level() > 0)630 if (!cs.isEmpty() && cs.getFirst().level() > 0) 621 631 { 622 632 ts= irredAS (cs, indexRed, reducible); -
factory/cfCharSets.h
r40e7ab rfff643c 39 39 modCharSet (const CFList& PS, StoreFactors& StoredFactors, 40 40 bool removeContents= true); 41 42 CFList 43 modCharSet (const CFList& PS, bool removeContents); 41 44 42 45 /// modified characteristic set, i.e. a characteristic set with certain -
factory/cfCharSetsUtil.cc
r40e7ab rfff643c 384 384 } 385 385 386 int minLevel (const CFList& L) 387 { 388 if (L.isEmpty()) 389 return 0; 390 int min= size (L.getFirst()); 391 return min; 392 } 393 386 394 /// sort in descending order of length of elements 387 395 void … … 398 406 m= j; 399 407 m++; 400 if (j.getItem().length() < m.getItem().length()) 408 if ((j.getItem().length() < m.getItem().length()) || 409 (j.getItem().length() == m.getItem().length() && 410 minLevel (j.getItem()) > minLevel (m.getItem()))) 401 411 { 402 412 buf= m.getItem(); … … 709 719 if (isRat) 710 720 On (SW_RATIONAL); 721 if (lc(G) < 0) 722 G= -G; 711 723 return G; 712 724 } … … 887 899 else 888 900 cF= 0; 901 F= normalize (F); 889 902 890 903 return; … … 934 947 testlist.append (CanonicalForm (Variable (i))); 935 948 949 // remove already removed factors 936 950 for (j= StoredFactors.FS1; j.hasItem(); j++) 937 951 { 938 952 while (fdivides (j.getItem(), r, quot)) 939 953 { 940 if (!quot.inCoeffDomain()) 941 r= quot; 942 else 943 break; 944 } 945 } 946 947 // remove already removed factors 954 r= quot; 955 } 956 } 957 948 958 for (j= StoredFactors.FS2; j.hasItem(); j++) 949 959 { 950 960 divides= false; 951 while (fdivides (j.getItem(), r, quot))952 { 953 if (!quot.inCoeffDomain())961 if (j.getItem() != r) 962 { 963 while (fdivides (j.getItem(), r, quot)) 954 964 { 955 965 divides= true; 956 966 r= quot; 957 967 } 958 else 959 break; 960 } 961 if (divides) 962 removedFactors= Union (removedFactors, CFList (j.getItem())); 968 if (divides) 969 removedFactors= Union (removedFactors, CFList (j.getItem())); 970 } 963 971 } 964 972 r= normalize (r); … … 967 975 for (j= testlist; j.hasItem() && !r.isOne(); j++) 968 976 { 969 while (fdivides (j.getItem(), r, quot)) 970 { 971 if (!quot.inCoeffDomain()) 977 divides= false; 978 if (j.getItem() != r) 979 { 980 while (fdivides (j.getItem(), r, quot)) 981 { 982 divides= true; 972 983 r= quot; 973 else 974 break; 975 removedFactors= Union (removedFactors, CFList (j.getItem())); 976 } 977 } 984 } 985 if (divides) 986 removedFactors= Union (removedFactors, CFList (j.getItem())); 987 } 988 } 989 r= normalize (r); 978 990 } 979 991 … … 994 1006 if (cc.level() > 0 ) 995 1007 { 996 output.append ( elem / cc);997 StoredFactors.FS1 = Union (CFList ( cc), StoredFactors.FS1);1008 output.append (normalize (elem / cc)); 1009 StoredFactors.FS1 = Union (CFList (normalize (cc)), StoredFactors.FS1); 998 1010 } 999 1011 else 1000 output.append( elem);1012 output.append(normalize (elem)); 1001 1013 } 1002 1014 return output; -
factory/cf_generator.cc
r40e7ab rfff643c 12 12 #include "gfops.h" 13 13 #include "ffops.h" 14 15 bool IntGenerator::hasItems() const 16 { 17 return 1; 18 } 19 20 CanonicalForm IntGenerator::item() const 21 { 22 return mapinto (CanonicalForm (current)); 23 } 24 25 void IntGenerator::next() 26 { 27 current++; 28 } 29 30 CFGenerator * IntGenerator::clone () const 31 { 32 return new IntGenerator(); 33 } 14 34 15 35 bool FFGenerator::hasItems() const … … 201 221 CFGenerator * CFGenFactory::generate() 202 222 { 203 ASSERT( getCharacteristic() > 0, "not a finite field" ); 204 if ( getGFDegree() > 1 ) 223 if (getCharacteristic() == 0) 224 return new IntGenerator(); 225 else if ( getGFDegree() > 1 ) 205 226 return new GFGenerator(); 206 227 else -
factory/cf_generator.h
r40e7ab rfff643c 20 20 virtual void next() {}; 21 21 virtual CFGenerator * clone() const { return new CFGenerator();} 22 }; 23 24 class IntGenerator : public CFGenerator 25 { 26 private: 27 int current; 28 public: 29 IntGenerator() : current(0) {} 30 ~IntGenerator() {} 31 bool hasItems() const; 32 void reset() { current = 0; } 33 CanonicalForm item() const; 34 void next(); 35 void operator++ () { next(); } 36 void operator++ ( int ) { next(); } 37 CFGenerator * clone() const; 22 38 }; 23 39 -
factory/facAlgExt.cc
r40e7ab rfff643c 50 50 } 51 51 52 // i is an integer such that Norm (F (x-i*alpha)) is squarefree 53 CanonicalForm sqrfNorm (const CanonicalForm& F, const Variable& alpha, int& i) 52 CanonicalForm Norm (const CanonicalForm& F, const Variable& alpha) 54 53 { 55 54 Variable x= Variable (F.level() + 1); … … 69 68 norm= resultant (g, mipo, x); 70 69 TIMING_END_AND_PRINT (fac_alg_resultant, "time to compute resultant0: "); 70 return norm; 71 } 72 73 // i is an integer such that Norm (F (x-i*alpha)) is squarefree 74 CanonicalForm sqrfNorm (const CanonicalForm& F, const Variable& alpha, int& i) 75 { 76 Variable x= Variable (F.level() + 1); 77 Variable y= F.mvar(); 78 CanonicalForm g= F (x, alpha); 79 CanonicalForm mipo= getMipo (alpha); 80 mipo= mipo (x, alpha); 81 mipo *= bCommonDen (mipo); 82 83 int degg= degree (g); 84 int degmipo= degree (mipo); 85 CanonicalForm norm; 86 TIMING_START (fac_alg_resultant); 87 if (degg >= 8 || degmipo >= 8) 88 norm= resultantZ (g, mipo, x); 89 else 90 norm= resultant (g, mipo, x); 91 TIMING_END_AND_PRINT (fac_alg_resultant, "time to compute resultant0: "); 71 92 72 93 i= 0; … … 115 136 116 137 CFList 138 AlgExtSqrfFactorize (const CanonicalForm& F, const Variable& alpha) 139 { 140 ASSERT (F.isUnivariate(), "univariate input expected"); 141 ASSERT (getCharacteristic() == 0, "characteristic 0 expected"); 142 143 bool save_rat=!isOn (SW_RATIONAL); 144 On (SW_RATIONAL); 145 CanonicalForm f= F*bCommonDen (F); 146 Variable y= f.mvar(); 147 int shift= 0, k= 0, count= 0; 148 CanonicalForm norm, buf, factor, oldF; 149 CFFList normFactors; 150 bool save_sort= !isOn (SW_USE_NTL_SORT); 151 CFList factors, tmp, tmp2; 152 CFFListIterator i; 153 CFListIterator iter; 154 bool shiftBuf= false; 155 156 tmp.append (f); 157 do 158 { 159 tmp2= CFList(); 160 for (iter= tmp; iter.hasItem(); iter++) 161 { 162 oldF= iter.getItem()*bCommonDen (iter.getItem()); 163 if (shift == 0) 164 f= oldF; 165 else 166 f= oldF (y - shift*alpha, y); 167 TIMING_START (fac_alg_norm); 168 norm= Norm (f, alpha); 169 TIMING_END_AND_PRINT (fac_alg_norm, "time to compute sqrf norm: "); 170 ASSERT (degree (norm, alpha) <= 0, "wrong norm computed"); 171 172 TIMING_START (fac_alg_factor_norm); 173 On (SW_USE_NTL_SORT); 174 normFactors= factorize (norm); 175 if (save_sort) 176 Off (SW_USE_NTL_SORT); 177 TIMING_END_AND_PRINT (fac_alg_factor_norm, "time to factor norm: "); 178 179 if (normFactors.getFirst().factor().inCoeffDomain()) 180 normFactors.removeFirst(); 181 if (normFactors.length() < 2 && normFactors.getLast().exp() == 1) 182 { 183 factors.append (oldF); 184 continue; 185 } 186 187 i= normFactors; 188 shiftBuf= false; 189 if (!(normFactors.length() == 2 && 190 degree (i.getItem().factor()) <= degree (f))) 191 { 192 TIMING_START (fac_alg_time_shift); 193 if (shift != 0) 194 buf= f; 195 else 196 buf= oldF; 197 shiftBuf= true; 198 TIMING_END_AND_PRINT (fac_alg_time_shift, "time to shift: "); 199 } 200 else 201 buf= oldF; 202 203 count= 0; 204 for (; i.hasItem(); i++) 205 { 206 TIMING_START (fac_alg_gcd); 207 if (shiftBuf) 208 factor= gcd (buf, i.getItem().factor()); 209 else 210 { 211 if (shift == 0) 212 factor= gcd (buf, i.getItem().factor()); 213 else 214 factor= gcd (buf, i.getItem().factor() (y + shift*alpha, y)); 215 } 216 buf /= factor; 217 if (shiftBuf) 218 { 219 if (shift != 0) 220 factor= factor (y + shift*alpha, y); 221 } 222 TIMING_END_AND_PRINT (fac_alg_gcd, "time to recover factors: "); 223 if (i.getItem().exp() == 1 || degree (factor) == 1) 224 factors.append (factor); 225 else 226 tmp2.append (factor); 227 count++; 228 if (normFactors.length() - 1 == count) 229 { 230 if (shiftBuf) 231 { 232 if (normFactors.getLast().exp() == 1) 233 factors.append (buf (y + shift*alpha, y)); 234 else 235 tmp2.append (buf (y + shift*alpha, y)); 236 } 237 else 238 { 239 if (normFactors.getLast().exp() == 1) 240 factors.append (buf); 241 else 242 tmp2.append (buf); 243 } 244 buf= 1; 245 break; 246 } 247 } 248 } 249 k++; 250 if (shift == 0) 251 { 252 shift++; 253 k= 1; 254 } 255 if (k == 2) 256 shift= -shift; 257 if (k == 3) 258 { 259 shift= -shift; 260 shift++; 261 k= 1; 262 } 263 tmp= tmp2; 264 } 265 while (!tmp.isEmpty()); 266 267 if (save_rat) Off(SW_RATIONAL); 268 return factors; 269 } 270 271 272 /*CFList 117 273 AlgExtSqrfFactorize (const CanonicalForm& F, const Variable& alpha) 118 274 { … … 195 351 if (save_rat) Off(SW_RATIONAL); 196 352 return factors; 197 } 353 }*/ 198 354 199 355 CFFList -
factory/facAlgFunc.cc
r40e7ab rfff643c 197 197 } 198 198 199 // Trager's square free norm algorithm: 200 // f a separable polynomial over K (alpha), 201 // alpha is defined by the minimal polynomial Palpha 202 // K need to contain more than S elements (S is defined in Messollen's thesis; 203 // see also getDegOfExt) 199 /// compute the norm R of f over PPalpha, g= f (x-s*alpha) 200 /// if proof==true, R is squarefree and if in addition getCharacteristic() > 0 201 /// the squarefree factors of R are returned. 202 /// Based on Trager's sqrf_norm algorithm. 204 203 static CFFList 205 sqrf_norm_sub(const CanonicalForm & f, const CanonicalForm & PPalpha,206 CFGenerator & myrandom, CanonicalForm & s,CanonicalForm & g,207 CanonicalForm & R)204 norm (const CanonicalForm & f, const CanonicalForm & PPalpha, 205 CFGenerator & myrandom, CanonicalForm & s, CanonicalForm & g, 206 CanonicalForm & R, bool proof) 208 207 { 209 Variable y= PPalpha.mvar(), vf= f.mvar();208 Variable y= PPalpha.mvar(), vf= f.mvar(); 210 209 CanonicalForm temp, Palpha= PPalpha, t; 211 210 int sqfreetest= 0; … … 213 212 CFFListIterator i; 214 213 215 myrandom.reset(); 216 s= myrandom.item(); 217 g= f; 218 R= CanonicalForm(0); 214 if (proof) 215 { 216 myrandom.reset(); 217 s= myrandom.item(); 218 g= f; 219 R= CanonicalForm(0); 220 } 221 else 222 { 223 if (getCharacteristic() == 0) 224 t= CanonicalForm (mapinto (myrandom.item())); 225 else 226 t= CanonicalForm (myrandom.item()); 227 s= t; 228 g= f (vf - t*Palpha.mvar(), vf); 229 } 219 230 220 231 // Norm, resultante taken with respect to y 221 232 while (!sqfreetest) 222 233 { 223 R= resultante (Palpha, g, y);234 R= resultante (Palpha, g, y); 224 235 R= R* bCommonDen(R); 225 236 R /= content (R); 226 // sqfree check ; R is a polynomial in K[x] 227 if (getCharacteristic() == 0) 228 { 229 temp= gcd (R, R.deriv(vf)); 230 if (degree(temp,vf) != 0 || temp == temp.genZero() ) 231 sqfreetest= 0; 237 if (proof) 238 { 239 // sqfree check ; R is a polynomial in K[x] 240 if (getCharacteristic() == 0) 241 { 242 temp= gcd (R, R.deriv (vf)); 243 if (degree(temp,vf) != 0 || temp == temp.genZero()) 244 sqfreetest= 0; 245 else 246 sqfreetest= 1; 247 } 232 248 else 249 { 250 Variable X; 251 testlist= sqrFree (R); 252 253 if (testlist.getFirst().factor().inCoeffDomain()) 254 testlist.removeFirst(); 233 255 sqfreetest= 1; 256 for (i= testlist; i.hasItem(); i++) 257 { 258 if (i.getItem().exp() > 1 && degree (i.getItem().factor(),R.mvar()) > 0) 259 { 260 sqfreetest= 0; 261 break; 262 } 263 } 264 } 265 if (!sqfreetest) 266 { 267 myrandom.next(); 268 if (getCharacteristic() == 0) 269 t= CanonicalForm (mapinto (myrandom.item())); 270 else 271 t= CanonicalForm (myrandom.item()); 272 s= t; 273 g= f (vf - t*Palpha.mvar(), vf); 274 } 234 275 } 235 276 else 236 { 237 Variable X; 238 testlist= sqrFree (R); 239 240 if (testlist.getFirst().factor().inCoeffDomain()) 241 testlist.removeFirst(); 242 sqfreetest= 1; 243 for (i= testlist; i.hasItem(); i++) 244 { 245 if (i.getItem().exp() > 1 && degree (i.getItem().factor(),R.mvar()) > 0) 246 { 247 sqfreetest= 0; 248 break; 249 } 250 } 251 } 252 if (!sqfreetest) 253 { 254 myrandom.next(); 255 if (getCharacteristic() == 0) 256 t= CanonicalForm (mapinto (myrandom.item())); 257 else 258 t= CanonicalForm (myrandom.item()); 259 s= t; 260 g= f (f.mvar() - t*Palpha.mvar(), f.mvar()); 261 } 277 break; 262 278 } 263 279 return testlist; 264 280 } 265 281 282 /// see @a norm, R is guaranteed to be squarefree 283 /// Based on Trager's sqrf_norm algorithm. 266 284 static CFFList 267 sqrf _norm(const CanonicalForm & f, const CanonicalForm & PPalpha,268 269 285 sqrfNorm (const CanonicalForm & f, const CanonicalForm & PPalpha, 286 const Variable & Extension, CanonicalForm & s, CanonicalForm & g, 287 CanonicalForm & R) 270 288 { 271 289 CFFList result; … … 273 291 { 274 292 IntGenerator myrandom; 275 result= sqrf_norm_sub (f, PPalpha, myrandom, s, g, R);293 result= norm (f, PPalpha, myrandom, s, g, R, true); 276 294 } 277 295 else if (degree (Extension) > 0) 278 296 { 279 297 AlgExtGenerator myrandom (Extension); 280 result= sqrf_norm_sub (f, PPalpha, myrandom, s, g, R);298 result= norm (f, PPalpha, myrandom, s, g, R, true); 281 299 } 282 300 else 283 301 { 284 302 FFGenerator myrandom; 285 result= sqrf_norm_sub (f, PPalpha, myrandom, s, g, R);303 result= norm (f, PPalpha, myrandom, s, g, R, true); 286 304 } 287 305 return result; … … 323 341 oldR= R; 324 342 //TODO normalize i.getItem over K(R)? 325 (void) sqrf _norm (i.getItem(), R, Extension, s, g, R);343 (void) sqrfNorm (i.getItem(), R, Extension, s, g, R); 326 344 327 345 backSubst.insert (s); … … 473 491 } 474 492 475 sqrfFactors= sqrf_norm (f, Rstar, vminpoly, s, g, R); 476 477 if (getCharacteristic() > 0) 478 { 479 if (sqrfFactors.getFirst().factor().inCoeffDomain()) 480 sqrfFactors.removeFirst(); 481 482 Variable X; 483 for (iter= sqrfFactors; iter.hasItem(); iter++) 484 { 485 if (hasFirstAlgVar (iter.getItem().factor(), X)) 486 { 487 // factorize over alg.extension with X 488 tmp= factorize (iter.getItem().factor(), X); 489 } 493 CFGenerator * Gen; 494 if (getCharacteristic() == 0) 495 Gen= CFGenFactory::generate(); 496 else if (degree (vminpoly) > 0) 497 Gen= AlgExtGenerator (vminpoly).clone(); 498 else 499 Gen= CFGenFactory::generate(); 500 501 CFFList LL= CFFList (CFFactor (f, 1)); 502 503 Variable X; 504 do 505 { 506 tmp= CFFList(); 507 for (iter= LL; iter.hasItem(); iter++) 508 { 509 f= iter.getItem().factor(); 510 sqrfFactors= norm (f, Rstar, *Gen, s, g, R, false); 511 512 if (hasFirstAlgVar (R, X)) 513 Factorlist= factorize (R, X); 490 514 else 491 { 492 // factorize over k 493 tmp= factorize (iter.getItem().factor(), true); 494 } 495 if (tmp.getFirst().factor().inCoeffDomain()) 496 tmp.removeFirst(); 497 for (iter2= tmp; iter2.hasItem(); iter2++) 498 Factorlist= append (Factorlist, iter2.getItem()); 499 } 500 } 501 else 502 Factorlist= factorize (R, true); 503 504 if (!Factorlist.getFirst().factor().inCoeffDomain()) 505 Factorlist.insert (CFFactor (1, 1)); 506 if (Factorlist.length() == 2 && Factorlist.getLast().exp() == 1) 507 { 508 f= backSubst (f, backSubsts, Astar); 509 f *= bCommonDen (f); 510 f= Prem (f, as); 511 f /= vcontent (f, as.getFirst().mvar()); 512 513 L.append(CFFactor(f,1)); 514 } 515 else 516 { 517 g= f; 518 for (iter= Factorlist; iter.hasItem(); iter++) 519 { 520 CanonicalForm fnew= iter.getItem().factor(); 521 if (fnew.level() < Rstar.level()) //factor is a constant from the function field 522 continue; 515 Factorlist= factorize (R); 516 517 if (!Factorlist.getFirst().factor().inCoeffDomain()) 518 Factorlist.insert (CFFactor (1, 1)); 519 if (Factorlist.length() == 2 && Factorlist.getLast().exp() == 1) 520 { 521 f= backSubst (f, backSubsts, Astar); 522 f *= bCommonDen (f); 523 f= Prem (f, as); 524 f /= vcontent (f, as.getFirst().mvar()); 525 526 L.append (CFFactor (f, 1)); 527 break; 528 } 523 529 else 524 530 { 525 fnew= fnew (g.mvar() + s*Rstar.mvar(), g.mvar()); 526 fnew= reduce (fnew, Rstar); 527 } 528 529 h= alg_gcd (g, fnew, Rstarlist); 530 numinv= QuasiInverse (Rstar, alg_LC (h, algExtLevel), Rstar.mvar()); 531 h *= numinv; 532 h= Prem (h, Rstarlist); 533 h /= vcontent (h, Rstar.mvar()); 534 535 if (h.level() >= Rstar.level()) 536 { 537 g= divide (g, h, Rstarlist); 538 h= backSubst (h, backSubsts, Astar); 539 h= Prem (h, as); 540 h *= bCommonDen (h); 541 h /= vcontent (h, as.getFirst().mvar()); 542 L.append (CFFactor (h, 1)); 543 } 544 } 545 // we are not interested in a 546 // constant (over K_r, which can be a polynomial!) 547 if (degree (g, f.mvar()) > 0) 548 L.append (CFFactor (g, 1)); 549 } 550 CFFList LL; 551 if (getCharacteristic() > 0) //do I really need this part? 552 { 553 CFFListIterator i=L; 554 CanonicalForm c_fac=1; 555 CanonicalForm c; 556 for(;i.hasItem(); i++ ) 557 { 558 CanonicalForm ff=i.getItem().factor(); 559 c=alg_lc(ff); 560 int e=i.getItem().exp(); 561 ff/=c; 562 if (!ff.isOne()) LL.append(CFFactor(ff,e)); 563 while (e>0) { c_fac*=c;e--; } 564 } 565 if (!c_fac.isOne()) LL.insert(CFFactor(c_fac,1)); 566 } 567 else 568 { 569 LL=L; 570 } 531 g= f; 532 for (iter2= Factorlist; iter2.hasItem(); iter2++) 533 { 534 CanonicalForm fnew= iter2.getItem().factor(); 535 if (fnew.level() < Rstar.level()) //factor is a constant from the function field 536 continue; 537 else 538 { 539 fnew= fnew (g.mvar() + s*Rstar.mvar(), g.mvar()); 540 fnew= reduce (fnew, Rstar); 541 } 542 543 h= alg_gcd (g, fnew, Rstarlist); 544 numinv= QuasiInverse (Rstar, alg_LC (h, algExtLevel), Rstar.mvar()); 545 h *= numinv; 546 h= Prem (h, Rstarlist); 547 h /= vcontent (h, Rstar.mvar()); 548 549 if (h.level() >= Rstar.level()) 550 { 551 g= divide (g, h, Rstarlist); 552 if (degree (h) == 1 || iter2.getItem().exp() == 1) 553 { 554 h= backSubst (h, backSubsts, Astar); 555 h= Prem (h, as); 556 h *= bCommonDen (h); 557 h /= vcontent (h, as.getFirst().mvar()); 558 L.append (CFFactor (h, 1)); 559 } 560 else 561 tmp.append (CFFactor (h, iter2.getItem().exp())); 562 } 563 } 564 } 565 } 566 LL= tmp; 567 (*Gen).next(); 568 } 569 while (!LL.isEmpty()); 571 570 572 571 if (!isRat && getCharacteristic() == 0) 573 572 Off (SW_RATIONAL); 574 573 575 return LL; 574 delete Gen; 575 576 return L; 576 577 } 577 578 … … 816 817 factor= M (factor); 817 818 transform.append (factor); 818 transform= charSetViaModCharSet (transform, false);819 transform= modCharSet (transform, false); 819 820 for (i= transform; i.hasItem(); i++) 820 821 { -
factory/facAlgFuncUtil.cc
r40e7ab rfff643c 20 20 #include "cf_assert.h" 21 21 22 #include "canonicalform.h" 22 23 #include "facAlgFuncUtil.h" 23 24 #include "cfCharSetsUtil.h" … … 93 94 } 94 95 95 // // missing class: IntGenerator:96 bool IntGenerator::hasItems() const97 {98 return 1;99 }100 101 CanonicalForm IntGenerator::item() const102 //int IntGenerator::item() const103 {104 //return current; //CanonicalForm( current );105 return mapinto (CanonicalForm (current));106 }107 108 void IntGenerator::next()109 {110 current++;111 }112 113 96 CanonicalForm alg_lc (const CanonicalForm & f) 114 97 { … … 140 123 CFListIterator j= b; 141 124 CanonicalForm result= f, tmp, powj; 142 for (CFListIterator i= a; i.hasItem() && j.hasItem(); i++, j++) 143 { 144 if (!isFunctionField) 145 result= result (j.getItem(), i.getItem().mvar()); 146 else 147 { 148 tmp= j.getItem(); 149 j++; 150 powj= power (j.getItem(), degree (result, i.getItem().mvar())); 151 result= evaluate (result, tmp, j.getItem(), powj, i.getItem().mvar()); 152 153 if (fdivides (powj, result, tmp)) 154 result= tmp; 155 156 result /= vcontent (result, Variable (i.getItem().level() + 1)); 125 CFListIterator i= a; 126 int length= a.length(); 127 int count= 0; 128 for (; i.hasItem() && j.hasItem(); i++, j++, count++) 129 { 130 if (length - count == 2) 131 { 132 if (!isFunctionField) 133 { 134 result= result (b.getLast(), a.getLast().mvar()); 135 result= result (j.getItem(), i.getItem().mvar()); 136 break; 137 } 138 else 139 { 140 tmp= b.getLast(); 141 j++; 142 j++; 143 powj= power (tmp, degree (result, a.getLast().mvar())); 144 result= evaluate (result, j.getItem(), tmp, powj, a.getLast().mvar()); 145 146 if (fdivides (powj, result, tmp)) 147 result= tmp; 148 149 result /= vcontent (result, Variable (a.getLast().level() + 1)); 150 j--; 151 j--; 152 tmp= j.getItem(); 153 j++; 154 powj= power (j.getItem(), degree (result, i.getItem().mvar())); 155 result= evaluate (result, tmp, j.getItem(), powj, i.getItem().mvar()); 156 157 if (fdivides (powj, result, tmp)) 158 result= tmp; 159 160 result /= vcontent (result, Variable (i.getItem().level() + 1)); 161 break; 162 } 163 } 164 else 165 { 166 if (!isFunctionField) 167 result= result (j.getItem(), i.getItem().mvar()); 168 else 169 { 170 tmp= j.getItem(); 171 j++; 172 powj= power (j.getItem(), degree (result, i.getItem().mvar())); 173 result= evaluate (result, tmp, j.getItem(), powj, i.getItem().mvar()); 174 175 if (fdivides (powj, result, tmp)) 176 result= tmp; 177 178 result /= vcontent (result, Variable (i.getItem().level() + 1)); 179 } 157 180 } 158 181 } -
factory/facAlgFuncUtil.h
r40e7ab rfff643c 18 18 #ifndef FAC_ALG_FUNC_UTIL_H 19 19 #define FAC_ALG_FUNC_UTIL_H 20 21 #include "cf_generator.h"22 23 24 // missing class: IntGenerator:25 class IntGenerator : public CFGenerator26 {27 private:28 int current;29 public:30 IntGenerator() : current(0) {}31 ~IntGenerator() {}32 bool hasItems() const;33 void reset() { current = 0; }34 CanonicalForm item() const;35 void next();36 void operator++ () { next(); }37 void operator++ ( int ) { next(); }38 };39 20 40 21 CFFList
Note: See TracChangeset
for help on using the changeset viewer.
