SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  /||l ]c LLL_Factorization:threads=2elapsed=65.121cpu=120.116gc=4.792factor=1.847zXZִF! %]ŗXf1-/6vR[8SenH iYʱC=\7B38lCzgxeE`RZ)Dmj 160Q@ c@;FۈG̮ gtByRUE@C1H#0ӧxZqY&  ߮gQ >݄Mzy#\V7ńBO|2(!rf|) n2M}UqL'4I j2QHx$ e`K @ӦX1N0YCP@Z0_ig4;yC9SnNqĘ3o`MY..s!_ |߉vS0axUv3;ph(} E*bV"sM?GGsz2- !/^C]:~hT" YB{7#? ANTՁZ&o /ɣ#YP5-qDڝ;= -u"Xt;R}fePϗ$Mrk,v(AAXCύd˦`ͧ13ؔuxPl{ʌF k(ŷ_븃r6r~<1Z˲,$ ćcE:#hp~w&bM@X+lfT)nL㵎e#/`oJ RZBJ؛ ѭ\C-7FSoXJ eDG3k,s;c)\РK Yy4.gYZ7zXZִF! Ap-]ŗXi%;q^%I"b=&L>2iV}}\GPLGn+53y2*s.ԓeJ>Ȱ܀CW SI4x/U(ވ&O)'S8dBWYMm}_HzvOK ^ֈ <cGIn1ĔRG<.W(e,I&\ " -RYz]9mA4kWb!%i [ W{:tB[{yd `^Aq'`P{ T< }i2 U%Z~[@*^Z@\_:j[^TZ>Ñ#6jԵ7vN{,J;s3->|o^譭[İ:OX n@a.l#/tFw3nnrOR7EDo?VPn3Xp[+" R IFYk}F@r=5+T(6gDN.(IDc{M[?8HafjF o8]#8 KYwaw6cV?U+=1Mq0v3&^W"8[C(j24~O<puU>^'3 /(03JF3lh !AKs([h>0~U*fkIj3SR?-%@ l`xP@a eWYC    p|>C/M%LLL_FactorizationLLL_Factorization.Factor_Bound_2document.tex=/A%LLL_FactorizationLLL_Factorization.Sub_Sumsdocument.texT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_Problemdocument.texK/]%LLL_FactorizationLLL_Factorization.LLL_Factorization_Impldocument.texR/k%LLL_FactorizationLLL_Factorization.Factorization_Algorithm_16_22document.texI/Y%LLL_FactorizationLLL_Factorization.Missing_Dvd_Int_Polydocument.texE/S% LLL_FactorizationLLL_Factorization.LLL_Factorizationdocument.text)`i |FI2M\ϰǫbl<vM _TA8ܰWH~ <.=np@=] (燧.?'MoJ4cU^f&ԔS˴XX@7⢷Y~|sR5< h[Aמs9PxLŒw}3$sP{МGөیPof<+=p5uu!(?)w>4kd3ZwQ̩IdUNV qj|dQ,k$ PI`=sY/t$d6J:4S" 02yaj*rא_$^7 |i{ o zcV Mf{q/E戭QkҕirŸ-f3UR'=IE`ϸrM~z4.VJhķϳaYg1 y3skd a vHRA!nSPC]ߡ*'4kO(:dAp3h$2Ut[/ޞt!R4EF(^l|;db6uAĊ4N>\PR3"E3A% VuUȯ?X0WgUBvCQb"-3e V~Jf m.Wl=gfEVڰzd~6OJǽk&lo~B̕$AWpĥ1TFȊ'h><¥rf!n,Ys_)!j8BKcl*zb4&ad+-.%3_Lh-A 'WC.o'8oU~aFu!⸺09e=mT JD"};:w?,C w│idtkQR{mM1+X,hEewKwg9g@~>5 mnBO$Pb!GNL܂Ri\qLZ9ЅڑpD? I/&Sݼɗ2*<)3x3hj'\Ph^.Z0X 8;S0ׇ94w4K׋6R\XGkT{q\sA™$UF+n; c R_V*֓A;x44$ĥ$rBY^aCͣ?NE7Q_[g;+-<1Y-._μl s}'Mf@l*^`m@~Ҡ`v͵Ni b*y\|4=+mP|tVdbPnYޯUi{ȻhgqZ a Kծ'z%jydtL }blq#56~AA[.67OOo9Q)>ML舛eĘˋLN=I }k!hN+eLȑ\1)]bm?hB̆mWTP<0Q].!Ȏ_ NjF??"Z4gNV] sX #Sr-X:ck(()Zs5#(P)TqWf}ldcmRL%uA `X|Qy7GIHщ&KdzKV[ ߊjK,nFs\MOe}to,V.%enF?I 9-IiBu Fc(wr8 ꩯnY˽p1FɨosԒ aKcq]5(*$U[M3@:Ɛ9Io,l/K3 aWNqk e&Bn;Ƣџl6uޛfΐS(L~ۋlh~SMy{`p߆|+p&; j*Fd\R8L!8ơ 90 G\ޡr~"'g[;Է+?<)LfɬAm*Jd@|90A՜lYgNȗsl pp ;9/<ʏ8'7C}}>x0<^ԽO^a u2zlA|,%~[(UdL82lԽ(35TG1A,og:~*5l_|ôdiHARkR٠+ihOigaڝn?]{LϮس(8A=q͎I,0OεXKXO[%ݺҵ@xGivӚ"\˽B5&얾31J!UOy/3=z27\$qpD}~V<0ChSN63k] &xbAruPe2J7^1]gj 0pcUOL:`u:k)81Nv])8vu)a)t{3?38&Hjx@֭KK0UnqGTbF2C(o _aߺ":il8i FFC G.~!7`z|[bElau\o* o %ɭ>N辯nT8);D,oz}LA:1$~2wj R鿮AUbpaeƥt*3">C>ģ}%xc|NJ >IA7;1n( b݂Q9U$tBʆ7z@vC~Ն`TBZhE@$``ȕ7A&$]hB T. a=y NνJnjty.R=0DaȊ~RvfFʅtAPXfHGl)cxdtu`7*"`ɰ}9VX|Y_у;gn趆t Z|wj_N }ڏlޔ>E=RjS%)( >iИp  Ey(rSƣ05IEPou`fް]wG*^nO0-?hE3t$|#ؗ[(z?#-x(@&т'+\"c#Z4w>-.F F} [놼n؎ҲeiRR%6ۺlSs.O#yF <J0(cG߾pEGPBQ"cuYEFĖ軬fOd&%&bK",ܖ|o`9!Rр$L`;(9_$NoV~|~9kgN7~BΘKTt70E`sYle$*jvѡ6ТO[Eq 9ֹ2 [Y^2$,B[ȣak4{wXP*MK|o}©9 |!{]S""Gl蕰)IoujAZۈu;-6pOBɬY-DH adFjgcIc9xgGx^\F>B6 ̴[nℲh[^; ϕZ;5_]pX*Uecͽªsa,}[Cx^Vt \>/-4~5%QlmoNVq~_ǫ+{ "VfA]Ύ * ~R(6OF^kI{o&jH0>$_1-}yҲ&'>aXhp&jjk,7\.HB967*<[2T7L8preo4^3+]I`).)Ӧ}A1Xďj*1Ү{|jjOwAe6RK|ʂRWrjkYzBe=S{Fu[Z]75Sy(nU/(b-"+ hMKy[ Bԡlnd5-ʑGvOf}#002ԢQ뮰aџ 76R1 ,yM~-/`U򆟓Lҏ`rA@'H5ϛ{[}z[1R!х";ij9ӠP&;)'M}לl_o!ݺ-#tMI챶?|jt\7"Vl[=tV8 (z;:軈@NdY-@zBԣVtYjP o\ИR+%NBېh#+(-nDKV$ЭCzae"}o+-CZmhU{ԡ+#9{:Ts(D>Чؘ \ut}dkGI8 h%N7^ "w8<3N Ƌ8$8\:ުc;m)OYMD,̅ {S&w8 .T Gǹd1wɖUͿ $!Ni7B5e, ހ[k%_)JH9[xRRQLs)ޟf,.S1_j SN/HQGDGB.|ձŅkܽܶKhyD5iDb",T,^_JUmWq8֧OlV緺y鷂])G>8bGq(6ToLP}8/gjO*tKQ@uYuu!| =9q""HǍ1t)zI:؊͒]X̟0Mj 5Pm:2_ Ϣz[gR>|x+fNWv uQv0]qux|\q:as{k)H g@u?꣢3ƞRn:9H$(PI8U5(D" "̮QSd)jl M=?.~}mx/%G +w\^Wpo^ a;!Ofp3oAdVa?$ xC $JD+hIw9ZukZ'Qp;˒>Ķy†K]T*8Au߂ۡQ*?KʇhO|<$d3,:j̈aL^dPΡ:i{c#)Sz8`0 Sl @m 7ĵ"ʹ倫8z2nv5hv]{*+R#* T=TK^nl=ka-d/$ 4r;^B@yצ>w r/!,IN:@(*F'2V|iF~O!@ݮ%ֆ3OcmR(鷥OҼkn2R'oU,ZCiZpdݞz(w 3Ux&yEbb >YMlm-mFbA-3)Hzv*N:U`l"ד/fYaB Sxomtԓd,7:ĵ ;*Ѹ{fUxɜYnwi0Vħ 4!A}Iw#29>%.縉t N (mzbT~!B3BS(M4YUx/E&bs N#t!XFoœgCbk~@Z1VoZVCd j7:YwgwTOr If'ξuK:۬=#Q#򚣍ƢN>yqDʾY%gwX#v?OwKmE\ayApVNJ0Mژt<#D {)3yg@}{al9l]rGNƫE5w]J߈><5T9tyRCDUɰ+1Y9lTƇ ,}otsHgbI*GELNJK!]|e8q ƎY65U/POj"鏦#fΞs&Zkv|:P5/-NA~LDYhC؏рy`.DWq`B d4߶@R [ThFD%9g7NmDB. ̛:`i`\rgHѓkWԘ{d\D%1/,b9MLT %%Mv ^7yL mGuTmіRD'LLBφ\t{9=t:{I /puUe¾Hͤ}L\so}[0}vEc¦cl~L$PHž _\~0A_4JF*=:wb8-FՍP?4Q^'f{ ]ک xñKp+#v4$0>+z&3ŖrǺmRcT?8L`HyL.ug[@*[E8c+Z{#% #o'%޲tѐX2KT]t>]7`cRbEL:wo7[Rk?OpϏװSTw?m6}!҆TEi謝RIF 6Dj!"%WPٺl$ 0_9W1X…("%>";4l|[K2tXQHVL`tU€L[0vǮZf[@ 9PY)L&!ЯC>cKvqXi盀h(pֲHLϐ^);>_q]Oqں(W_BV*z #-M&k,VTb#hWOۣo0,6U ~ٸ#ߠŲ/-\$;@(}4l;) 9R(7 +:@Y?/^\LQ`΋+q MD5Yiv Aj@јL-IGc"`f|P*Bԕ-9pB, { vT܁(l= L?ay:RY_Z>iNt4BK=LHW] 9 T2_ԕsr"&]ee&R(Ÿ ʎ*ZSZ s(여s}a'k+gV -5]f`M3\.! N wE]UaQTD%ьoq8-M?asO*;:,viNH|Jnz6a;~gۘ"ޯAĹ/F!;h|`1Ge@mVmH ݭ)jw3Hx\.Ok)ahzoeCaqXvyZ5&F; `Ltf_xju/=/P˹$w,{>!JMg3;NZhWB(}KR[RZ}*n&kXi),O#EN} ]㗅\~h4wjDpԯ)B_ZdɎmcj hEd9ݴKQB,HwqbAѥ|kZBc*cGl*]2zBH"L[ ʽ)2G ϢTSmɊ->톮@!.+D Jݥ:.1L#Zm&JpV=_,`?V!wNԈqJUaa?B*>X'+r. צxM>zW~OWnlo+էطDO$Xq *oTwc|yx8@1VT,Pz-({'+ezjuv 4{(rX{:xPwWgm@qXiO]hZH%3mCd :cZ4O5MZhAD 5CVOz-Gtd2q }5 uS|I ׆spPfq*׉Ig?_2wkG 7@0;|M CL%4r^LO$C wf"[CTָ@ε}zg} RB9YlA Fځ6R[(_jakWo1es[j8L? >wa)>دzZEm W|ěܙUU7zٟ^WB.<2 ^yC0y.ϳ)V92/'9=kd)2)\u( Q3.$j{X>/X}6U aW7`{U?"q$'{ ˵C mEk :tw4XQZtb9ijd1pk]:}! p;D02m0~_ꦓz3zN2?Qv +b5V8>R&+U1#puI'~P~<*\)l{unB|gwM F{Vi/n\jy6Ekz~bf[jBT{~xT|ƭ:VjN~hKв(B@+BRq2s{ r^{feXt $}vb/@YLZ\afs|S%]ntrox|l#!hvŝro-|恆]8~VM<5VۘM41;F]R6Ʃi~s6[8xOZNg$5>L_}1D,K;  bC nq`Yec(dn~~1wJeCI"6~ 3(49P0m>Y Ԧȟӊ^No׵YEr13ϴHU 7t_aӡ˚O%m] <UgϳM: 4qukqt#+oD ҤYg8Ax*dybFkFhީ-<[O s@gh{(DXb/xT _DG7Tpp&N})!+bӷ]ΙI hHGwĀ,=&ȹ%-RZv;`k"FI]:;\?>۵Xb/IH۹Փ9kq{_~E;تӯ.܃?e'qZtT)$>W1"ovV>@"˱VOx^ 1 ؼ|[vduc9546|Hp@P74_6d}"9󯳺D|Y ݇\#d&0K_ F\j%@9wVeRADrꖅozɘ۱lqX~UR~f~fֆQt;Vzu(axIuP)0s~r|Muv̵Ӵ.s0hPŲ慄^u;@r>U@Qmtp?uP`%=r'ef[±A Lχ&u u`}]i Ia#\FŎMx=+{Z>SnxLa =m -QYr`H^x9)b@bsTJ$%&CD:!Z*JLG,ܺ <8Ah.M ~.]Zf)oN_ ].'a(ۇ*( vDX]ɷLjXnoTf&14V+ (dxP^YI|sn FVsi<+ 5mzoLqt̫ y~*X), *"j 5DE[w+ %bjRڊ|bp=kv8QR.:Iۼۢ. z `>vwidd蹄FOv)QY(0B묖qOgM)>'ʗY5UԗK½%.)3do2А}v SCdĻtI'1 W.X꿳mgPru1ѳ z'vD|䧱Gk2@98ƒxE6c]3֞s!8ꃲr& 7|d]l+Ud#eޖ? na "aX97J`h$ ?1M' $#)mLB?EM 5BUD9=md2H{ťGrd>lɺ,OoiobW `p>ycz_4){']sYDFp5b""B}ot)mĀF52JANK 9TR?R9Q,׃E/e]<&oe̍('(`9!Xy3e't< na_XtnжLD}!ɥ& eˆL{r\WnQUL{؀WnV' ‰o@ȏ׆B-JdG5қӞ 7)%E_\t)7ЅcFjC;lץxc )&W!4W7N OǁO%+JѰx^ݬZUo"aL޸z/+%xӱ![yDS{( ˥$(]P0RABGƀZ[rO8/qNڅfV 2G A@:IADѨc6!~~λJIưtX <~Pn@#4 X'Ɍs]Clsj%U#2,Xh|{CZf\R"4u FJ7#^q\c'{Y8'貪(2YLELZZU=X5fn f TojOdbx.B d.jk/sl1t8 Dp& HwXμTuMWT{251=7{NE)|:1Hgo˾ +&#mՐh>(-u{+oeRBK"ahj>Nͧ0N1}8g-WT7oN-իFnr1N(9=r33spp3L~42t"ޘ`#jvCN)FFبK,[,9N\:O\^WL+̱+bh捒 [#7;%Fs&Tb m|$5L&lV@vҨ+600{a%e#gVK ,?6DC[a) cbؕ,ΦPyBĪr@+D,="d'naaھkv~»7@ׁ,bPxbs kUb0YɃ1% YfVP ._70K|t:h*5h65͚B= w9) $^t.^$aHd*ӚsP:LC( ]崛%^Bth"r%r=Cیn…{y}าJl/>_5 J)RF^Z]U bR1FsF`_o.C ~hƵq:$^#;vyᛋ`?i@vz,)aKR<ߚ'~9H#Icǐ:rkC,܋y\j:!LTqJ⹺b$9mוn(DLAE*&Oiji)ٙxN gf12Xzʏ>obacwJԂtvz}S~kE$Ŏ%z~Xd|wPڰxpW&gW"&-"' Զn Ty!(JJDޡ70|Z"$o;ާbT!~nJc`I5A4\*\v_hS?f^FuVM%O*2R-y;{x]D=&ٗZ"]ʊXaיiLHnwӝ(eja!z[y^Yb>>MuO*PC~eKԎ08+n}>a9zY9-vS3CK>'l]IGHE&9NȌMQJ, Inbx4\<`%Mvֆ k#Cgy˿ah+czAI{`e?91^Íߍ ?8Qhkp;1x:qu y#o]v 6 "`5jjH榢 w[e Z/@4!7tѹe\)isYzc*-W~0 !\)FD4gn̂C]|t n CgX:M,,c9wUq9:e"DpykG7$/NnlYySb K6$eG o9iGq>" mq>5,MfU<W RW`@(hI!C;+|yN}j𯊊]/P9X}`9{ j|[BŽХ)_cpY/SBS, #_S *6^:C?zFӬ} h/(C1@mݴtzR4+CӊmQ_hsm&CߖGFoI{}JRNFFIx&ia P5:{ք□L-S'bQb&U -} dՋ rwy$C8i\J927b)GqG=n!v '6}2_ĊEUjSqG-Xsk8nSWH. aMei.[u:Q&\4̈́t5FdwД)Q"=m(m K^ev j 8D~}?KRduiK1P=)XK65(<ѓ?po^1{ YzLR)m5 #x6rN`.~V/o #c*hU@y>zdӔ{j)0?NۓFSyȅӜJdLzBAlmh B<f1-'(g[bc͡H}_@/gAychFTxM #63n6am|E5Dt>w6Ҿf ^YqowrGkj~ȁY`[2 "/ bGhI q5ɰ;y?S0 #D.!*ݬ#K+)؞cMgX?Fwca:3['GVR|:89RI7$ ӵ[aHPcO/ zDpkPda,O@~?Gܞ=GX)xʸEX`#G1W]>V&J&LMlC PTڎYMf8O0NI0h0Ϛ.zb qKKio6qn;+LL_,|W_ܫ4cdžM)9:I \7u5V2Q** '|LѐC ^ % _ [i1+k%G#,uwBj+\nU%?vU8C#gY%1d>vW+iCYvw:N. r(7Lt+Tg7󍩧 Q`t@Kyג_H!f~o%T&zۣuσglnݴ%:S*F_B|CǸ4Y4 .,e\jF91'Z,o G7J `K|Y$17СȐx⪾BcbQ@- яkn83<*6$1,ntX93Y jHPk/v1qHOa#ڴd jkSD؇M6zxFggB `>@؇6R*y@l]le-9{Q*p嵘h>[[(ZWyOlfg;<2;1B;GW _d5[* ]\h *tQߑ{V ]ɮ6i Mhmc;V>0Uf/{qOtcW F89Ã.,frR+L+2!SBΧ$,TyHK2j7M ,BZ %+&L>2iV}}\GPLGn+53y2*s.ԓeJ>Ȱ܀CW SI4x/U(ވ&O)'S8dBWYMm}_HzvOK ^ֈ <cGIn1ĔRG<.W(e,I&\ " -RYz]9mA4kWb!%i [ W{:tB[{yd `^Aq'`P{ T< }i2 U%Z~[@*^Z@\_:j[^TZ>Ñ#6jԵ7vN{,J;s3->|o^譭[İ:OX n@a.l#/tFw3nnrOR7EDo?VPn3Xp[+" R IFYk}F@r=5+T(6gDN.(IDc{M[?8HafjF o8]#8 KYwaw6cV?U+=1Mq0v3&^W"8[C(j24~O<puU>^'3 /(03JF3lh !AKs([h>0~U*fkIj3SR?-%@ l`xP@a eWYC;N "C.mj /k% dLLL_FactorizationLLL_Factorization.Factorization_Algorithm_16_22document.tex7zXZִF! ‚qk]A-MՋhvG"uIBm5f`/f14f@ps_s /}]:j1cn9:+YǩH+TtR)nUA;xLGHap~j-m>z۟">j#_3BqL8ǫ2DtH-=XrPBRjDk*i_K7εOK xnѡ՜K#y^.@ 3+bN̍`ք|үw k؈ M?Mx1~Υf/v#: ɜ^yv9J ?ЄgOՃa@~J(k|-~ݡbFO x;<x2JZ qꠂ#bf k/Y% |LLL_FactorizationLLL_Factorization.Missing_Dvd_Int_Polydocument.tex7zXZִF! Lw]A-MՋhvG"uIBm51Fq,H|Dm3~ > f3:}XV,߯ zw=|Q}8S|-^4`G3a#9{*g!PNJ}~8%d[H֓%%F'ʲec/=/}kt ZYV̖P ]ZxE:gmf2DDYo*=RyVҵΤA l,>dѾ{jp[BWwg?[X5 pM]vj9bIY۫ H$%{]=/mu2hzr b,]*wŶwk#clgoIO cVPY73)nwB7 B+dQt2,->f7xFc֡^kaͩQ~Om^Aw$~ZAz)+94_hg5j=ZNCT,G Q7z ^6KnW5b,c;uGH7I୩9\ /N#eڃ@5i=QѐdQ}}Ze(PSį) 2r): @كaxʵr3+\ѣ~>MFKQ&0B둪:? 3.n0t6{o~앑Q&_@&׭"{ r\㢇jiD& };b`fBvV8^:]?JZvIydF\ /S?IQN+" }YZ# b^uFnLʨvvx~gʉF ?倐cv¬SrXό=U ӢyѭDqJlJKAC~Tn.9ZIK^{Sc] {Gt&֜0_7j [uǑI|E#yAc~ :/ (MCbivN8f%Vr^"k6LPЭ<řD@{H^d?Yj|@si1.e ц;h=E%˽, -:Ju1o6iR>w :')k&ԿOBhu13L./ c`yE@<( +f&!WБU6=ue;o~ C v>qceЙi*۹Shᩌ --g\6 $ q֑._E(_&@|/ ]%y+]0k| N_4!O86CH%XiȎ Avx +4^2m߾pM ȂK D8) >_iGCAO~ hTRC;)s “mŒ?! Td7 2aFkVwF#dVei܎~d)bxC }$PE/8FW!Y&,LLLyaik$&+nobE uR藖l) E]><9PUt#Xwh.sy p0|,S=$%̙t=pX 3/]jZ_8@-}$"@`AnCT@W~v暴^9JPQEYȾ8M,C介}w=B"g}$ȣ`fr@I_ic:4p4@-7ͿNlak'8̘>^5 kJ2 Dd4y_!ں4\!W<ƴy _ TQ)}Bu)W1nzb.ۛSIG4-8yēS;ib=k*tuS}ʿcy+kb*(]IC.prw Ie-˕by,aWUx,{wl6Bf5CSȵv*˩B1٫#_#5 V ˯#IgUұ'tѬ9C z9Uk \^Qj gE%t!AK' f"Q-C{` ?et~z 6✾b'X5!.GH824y ?h=݃PJ"S3s>f *e&` VJUTy$Ec kHn2GA`8~ kq "n[^%p8ҩ}( =j`;N.<)hkf}lV޹NZ!(>=DJ}צsvst2# WTVں}zh#&с!?ب;׽/%A9ԑmtVDh!.:ěe6 d4S\2Թ utJuy;Q)}kޅ~~;2TTR^@rRu0:6~֩a< 52ZWJFԙME;fAs"T <@&sh8(yU#AاVKZbL䜲ɩڍ5PC _zAYI!jʼzu4@m) x_Dř'2E䙥z?. $7ȻOTE%kT&nG͆tܥSqNb K$Ap4wyT i%KA֭jOC [z'R՝ ~8wd@-b{޸t7oG#ЙKkc8H54XjS'Yt.{sTm 8=PB ^ "L8rN5ϐb#$fm,QF1`o>uCY/RD/2))]U@bO?1֜fpϊFڵ473?{b*0u]IR|;uf)9$M%)6m6)<'<3 D|q7UCz?/KڅϬ W,2pE=5+y}$8H3iy͑%h')<Ck|\g<J>mΰAsȒA=G}$*\KF$:J$PJ FAG^7^wdn Qm'BC=Ӵ6֍rE zɓFd2~7]ng0Y>vs]7n !SD<B{3A%V;G 72%♚' ך<Ɔ;R7>(s_LSF=#A%"(;nT5SB]IwgM4;DZ)[&#WF͒NXtsY98!uGf D=PUa,~(gd3Oi<)5qDX:j0ʌHR+",7OgwI]!NGWDipW ŏ)010ĉxK1LQU >L xTnn`RvG*qR8Z/ @04ٰ{4ڇhqiiBcq $ c5k 5_?AD6N$BYYCwGzձ9PotucPeQy&~DK: ơY!reBZ E‹Рhxho] ֔Io+^A qkw4 Ĥƅr`gS uW>Dg,ۈ,ΌѶ"Vkrug(}q(MsQCYЎzƂтchi[3ۇ Ixtur "_j6sKೋF<lIӃ0;95*K:Z-1jZ~fn(OQv'Ӣ#Aj!%ƒB^g1CSWn >&.ԬTuyOoxFpCS@`NkZkj/E[a^ERyPIn* $-15!r/p`˧+<Pvzq&͘vޕ S&^,ȕJ=DG9?'=CAf%H]M[]@?ΥvlۯGi","J3Yi_x v2$q._pHn\8gT:Y{F&J~H{xɉwuL͚FAhQ <\.r >qv lSЎ{Oqq2X5s}`F'@Kww B 2E2(- xYmҏ$pf#uص#bs+ey3[E@+F9C A})gI oRD D<'U ~2y4!iM0r¤la zl;cQª%/%^2LP%%Eޤ@% zڨ?]& dwM~9?D;F@{5_;xӫQoYqH-a7Ju~}G:9u[#JT^󻧨x\4}/=:È8b3 ԽՃΫdv_ZߠH ̣5'GmU,N_wWt Fv 쬇$%(eʫPx طkɆDZ"|\@*-A4Y>G >PH"ʾٖ:XS.aގnևf*"RŠb6h N JؖXU;I8ݖn*`LpӅ)k'Nu[S\9%Hx@e$ڣXE__AiZxX˒ZO9;R.ӌomV^%jfMѮziͩ]rE4qiPbS`rQctv,lLuQ#M5>RE9v߅~2yƒ/V J?Ϡ8pPXp(ITvU1k L૕c>X-X9N-gJZ3^nFߒw}TI 081 -[B8ΜJީA`qkz\J_,be}Rت!IBՁ=HLzDWCXN?[\˭s֊m\{s+rK swGj;PDG\< ;{Jޟ8ǃs&2T݈g}9BLDq (ЪC؁;\|sU䘃HA݇o,U-iBhO[W) EwfDxTj䐘v( zm +nv W'^߿0}"=)3S] z4u[b#!xbyg+׃jnT6Ҵ"tfWh>JQ(_bO=)|X = D*|,?3[*@e9usS*y`_'+.O_CG,q!_x[ 4kLUP'nVclk%)cKzsο5N4]{0͉n #0yTe4-8忔9鑥'pcyfǞ.kGrHK3#~e|`޼ B>Inp2 tdMmg!^E>Yby+6 ,I:a@0\bߔ!MI<ǎES!ǼLE` "~W&!NsazJgrMVYo[\۶h23!u=u(A^37npAJR5c_28j I\$lP_h;^:qXvX/ .+65\^)ZC:lE= ]  Ffj/S-_Bc>s,v_$t@=B MQ[w b70ǹDϻ;B т*|)6LB?dTdȀPhA'D,kaH*nS&jI;^L"vD^66c5%:E$ K- &Wo.C%YWa/f91'Qj$8BN+L΃j Z˷\d6딥_ɔݿ5R|UmyArFO6B&%5~8\{L'&D2i]"t05A@* \GΪ}Y_?~`/g"ǟi'a93䟩aT~.=0WJf܀dX9ppn aPJy'B.{GkdeAgb8ִ9\IQU)2^f.gz4JcOdZxÇ۫PYg) nV]٠$4ڱy+Y"fWrCM5atwY Lu)>;:cCiD DŽm? b)h1,Tz{&1~|}xx47'PD=Gn̪Tr1("\If$![- 9ċ#d ~S Ɏ*ES?LanmM/͕QН*N0G%X~0u+S8~i.(o^nrT_%(q!]UO 6P}`q3MՋ&%=vґ3@#f|:_-S5ۙMi "̇GQ4XDhmWwQtqJ)ZZ2 Oqt E, Gy-?CYxGg:Wj@AZo[ ]-`1=WgM^>l"VGb]Piz L|w!1$H [0fj][R^EgBVmvӼNjZ4mjT n#r͇'7jbS^G^tT@ RE+Kw/>T%[gLA'C;FybJ,R9x+Td4h`I-A,f-a-cr{DխnPwa3wc4 >` |v`?58Cwn$J2a~Iw%.$/;h0P"+gU%EB݀-m +hIdj81\P IoE+ ;!ߜl? 2%|  їض"^eh^@E->׃ :AB]ڃQ KVzP&-o0-4@!SLC|-FMm㐯]·ZpO Z[R7 ԝJ ")6`NQ38CH RYarLDŽ1]ȹ5gSlaHYDRc잳H"\ CP\!C* !Dž3beD ÏULxg%^˟$PF#BLbכg7Q/7uii%@@R*(PЪ,͇hJ9url ~;$Ab. #z;7\z4m]9?-" +o|gicʁmjew%.ğSNj0YXfÄn1+{R9) x)?Q6Lr?:_dApttNk*1#Tʂhb19dKId`c*!x7=+ !ID7H1I<X \}?KAYUyFɖw+!,lckIte : mT|$x8mO!%zbHF4+?eu$f^o]D,207!RLSeB*L@:rIN N#$0#FYso Lr?g&N|]@^- êaPPeީ?+,kQNmVSf #Og :+:+|9ꛪwkMUngl:c9TKlK:Nm | %\ց 28@&!ա!*QdqߵWUEuM"HN \uJqr{*d- ma*wz$603rH"#(KFWʋmc L$ /J ]טjXQ,`AA_Ε˪ε+dShg+g0F]'pr,,6/:nUyI)Ӂ1ZkV*x 1ȹ "@ Yb;W_Cn9q|FlHWj&QٜE"^$ ÀQVO2": qev;.MdJT1כP="G+7K< 3C=h܉> |(kz=덦0l Ft,Ȏ*`g,MqACs.cH)r|qe 6=^vJ?0SRPrx4h}_e>&Bnry(~SPuGfuȔڲ̐:]7 ޺l@^{9R m+s@J1XeϼLzsZ1 8jCt˜$]Txp #$L8@.f[R5[TcböFk0R&)Lc[RBs@/*~){ awo/ @!ٴ>]֫3Xz"QN7=a\&y[TqkR9yrb}4ۄIq",?Xdh@2ʂ2#`f9 ,RA{ͳ=Q c,&(~ofMԑ|st P8" g_ j]~iG9?-z#i72%X>0,e"h 4aaX׃3!kU-kmPfʁ~ _e.`< ?Y7ar8rw٭%)~[噮oJ!&-"ԋщa%W8RVZ8%>O B#r69WLܫG}A  +㟌 ſ,*K8i8uYȂ~#XYL~ _:m;!#dS U w988$n;#YrrV;y*<Ys\T˄طsU=9:t/^Fkϐ2=-~5;o[I0(pMY9F^X 鱜ӈ%|`٠@J +$~ |P(N@jDɵDlrUhp}nm ȅpMMHC>0U4AWTp9N51^}șYkԕJq[h$kM}q1nFlQ6tl鬤 "mLTuqf-n+L|p-G#Q: bv|D4l6\z{&@Žt !2bxim ،K*ٞqؗ ndBh.\~#=P8Z;`I0&̿P oW3ժJ~Dq}Ene[9C<>9bMtH6D,f _rWxЦÄܸ"e=~xf{Tiqs|z.{4om ꗿj=Ѷi͸y7;at̿}".4c`p}Vy7׍鶀uةPXӄ\c[y+d9@[D0{J> @Hk!1qIrX"e& Ttcʺɭ[JK`cG2(_VڿZ يi @7j@3WS6b)>缝k=?~Y%,Q 4VQtLy$`ݔYO7iw#GL|p`:Y"F/R.́}UbbW.naԢ /7^1oB~$5&f(Eif+m|r2Wrp_T{NND~ܡ [>n^J0\GR:Tg99ӻi\_,A?QJly^9e*|q@6}XKYl7?Sx#?\q*֕Z5t @?n3<5+>:Sr%vʥD2X<&4M ,(z҃f?NcHq7 7_t"]xF7 L[+lif+V`*qcв|vX_j8><@Tpizd}w'.Dbt[įY7(Ҁ(cd꧙Bӧ#9>œ=2QcTd5kl {>J!iWTeS-vn55ٲE}cWv炣tf͒w,Gt^K4mb (HՖʖyU?} õ薪QdGu {)%u&] ' J"؂'н2Ka#} X\GxJ6Cpa$d R>z9Oy"ŐnAqcԒӈX_ <E=dfő g1F< *H:wgfCq=W;rә2/ B$F4y=xrkǷk[2;o-_p]" \嶺vk_ѸujF8As]3nI#|A؅*iLݵP2)3~L#8_Ԫi'MyPi~nzP*08)\Θ(=.)}kGpО$?`&nsP$4*-:5pW2QA-,8}㩅~Cr&31?n:rp 9ẬNpV.ԖӮ*#Tn7sLJ)j>dN/]cE,3{٫ڀn@aU( g9A˻F3[4P3. Uh䶘D)kܯQ^IW$&Y,Ϗ;{kqp Bom4@ zϢM U)]6m^9[i)MZlT; K-vG;!(ܦhD8/hkQ_~9oߠO0^0,{QԴb}{Lғ۲65WQA9nV¥gt×s#`TGhoި" Lbʑgns`"~"u4z=fF7I ;P7P6\Q-PByPԳd8h&L%` ?OyhklX]~!0@grDE/ ІaWy[yK&!X(R.T@2m3t8W;"eYo:/+)-}]WdŰ֕Ә߄Cj /kŒ xaunC /V B p=lGص0?/Q 7qnab)Te^6+ƌu i,:Ћ.̦Yf59R v6B}E PWq[6Ea(~@Ntg \Ǻej p`3rDkJ.J'T)U{8Rs1\HKY\\otQZIҾ@0QɚFo*Kvur8. (1,kNc@^,3u,:4C!eZ|M,q<ʍۻf [@xix"ĒrVk\pģar(=6%0Apg0)]/.EƾKӚEe.BڄxL.f͢7Ap 3oewA7f/`D&CrŹ =VW`frmO4)fFG\~As~ʦ(ʼn!2u5 F"z"γyҕ#9n%J[);m[GkMDb#m -;X}w"݌̐\:5蓕C`˙o{Z1VCx9ŕK䙼f!uT6`^ߪTRH!1Ƨ!}*||[Q 噓.Ɇ Pځ9ADoJV`~xY2Q4_B2|nh)%Rg|qh:ͶrЗ\c.QL/Yi 8\4c۲oO]e ׊H`,aAeBN!Q\uÁ3͵Mfysb0Y.yeH!x@H +P5K;q?npj #haEna ÿ[t 2 ŧpB4l#Ô -c^VAI*BgȐA-ި7hMv 65գo_\ًRo o#.?cܻ+PoA'T?*٭X98%>U z=w}q䃏ϫ eK3U)j7GCtvwϽ]Sn[{ VDV"=s>cJС KO(}nP`+,1X.0iIS>G`,Kyo|VQxㆡn#n5/j?*F1Fͦ"э-6ZԖAAT#$-e"00r23qOV<,gQ\#`; Pܡ84+}'\Yr\"[Q.Ԛ0wYh=0K({hPc͝8׊myme0I0(b,J^ ͏s02-d^z?R*:/e *y+ ~8j?0+s5m,bG9¡y@v-IK}4x /2njFIwF;v;Ċ1>Rv5].yF(r2=VLMWïGld6S#-kX  Hif =)fh@q`#VkvMRa ڍd:UAғP6Br1y?W6.+Wn;c:9Q05%P}⻕`FۧL&-:cDgM^owӣԶnI%w|95w£٥µQMN SumN"! 6aFk*m[=gY1U{> IXC{KԬ\# % Ő'MqI#SP7k*jȗ|10Ě{%6rx|D^V[LJWrN19mQ>Iq={u^{]ǵ)}Vlբ̷Ds$͏i x8S%LHͰ;Ď쯡8cc EB"=b0Lx%,r$o&37"ܛ,"j`h]ueA) VY!:@x9{Sl01qM(;S _J0Gܳ9arK='o.5 k2']u]I/Σӥ=Xs j>|LJsi.lkx?r릌|9ZR4Ag)3|7oIcl5 igqn2~z<7M"j淼r(l |ܠ]OaR+.:5+wHcͣ,;FWm*|zs  ,δg6[R}{os"A ؒ( 1=x6͗ \A̺N|&}Ҫ?ʾ˅oR{osʎ*1M,Eq4Ty~''rH}݀NM-]bUr2Rn֛ W VR86[R6MوOq\yu_ ~OCOkޙl**/aaؠ2?Bz#Z<ɞW 3捛V"׿I+Ze[^>ͫB̔RnhG ;׶ HI B7?ÇO_]tt-ݹ,{`tyu#4!upQ{e'j}td*Lv6*]traD+,Y QW}w?A쀟'{UAC4>5̗XKGH0X21׃-vѪ ouAb֦o!7oɝ sٮo ݾ/.#Jw͈J0DCgJ}FPCwdCٟn>\J*Z9,[pkdoEWvTY/g3Ý]c!s {DNAj137xF_MO`0$'ʃN! K@6,=k5FἯT+#zv:;@T=yo6R iZB98S5pa9rbscF Uz'Xk4p}*|_L!g9=25м_jC5J.@Q$!ѻd]2%z V6BbA Mx0x$;veu,# _|u{lAϞٱ']M4;q4 5DObFߛõdJz*o?FO8`ZxMn ּ2Wa5EI[2y7J㣇+S R{m'驋JTѽn4^+h᤮`Ö=lYo(Qh7K2I~ t(@Os#QCװrf-ZʹY>qnly2F -h?G.;I9jXM#:#^FmuYeͰpۯp]U}WSZG5N]EZ0dW'T; cL3,7xZ51ߘ( X&ѐ/؜eZ9dr=";sμΌJ\y4_c&S& |LPŕv\J)(x A%?a]W>AO6sQ۲|8V_K'1`;hӓsTW|Y5A'G&7] :< ZHPt!|pd˒x|' n)úN3g$ a/8W* ֻ5ΡTpK$ČHCe_cOiaΘ 1|"R8WM5wy'{K;XtpF +W'+S Kӓv6R? +~=Թ<& u~mm υ8'ql1Im#LBʄܣ͂NѪ aX)㚮p'+3n!59c.϶7r!rxdDdlgvk(1.Ii!V*ZTBP qoi,)#,L 쒀C8aek!k4}l7. luŁߜrsoQ5k\ 9Jjh7@6EYd:]``i/by+8?_ R$!\{c>o_9/նf)fK6vhȥ  rW(9nj>IX;t5F[ܔ7Nz^Hڐ͚E>|)^䲮nwJԑa w &3u"Kb J4dt)\9^4a*wHɭ`^B )ꇬ*UvvEM0&xJ8o0M{kEpLC/_^H|Vy#q83t1Ԃ^QxAc\el&?iPɘ02TE%@k3K4}_^XDFSݕ0FW4:=gQ<[2IPԶ2# 12R,oqv>3gM |f`@䏥~iR.GT7͡%[RgtPIZdSKSb8@Qη2vh%d۪ &ߑp̘>]Z$Uohj\ +H@bIAʔkSZbjc*ɣ`/7rzN0jf3vwf<7މX.d=8mV p-LSYѱUOU@8f| _vf5A;U)n$s8$P㿸7i\x?UBQ`x'fQIava ^rr 3=US\xJe9~n iSf)`\`]lсg4[?&f smoxLu0N,D0Ak>CF^ܙ+g .f"NS֣B/QyP6^|{sox]oxN`gp)c'Ƚc6ezq̡[r zbBиyf j=xB5^Y!qg_}~>d$^{LN=@DrtbQ#pܳ::҄*WP]lfK2z'L-#c !i5'y/YK)I'Jyy87.Io4ΞV |<マQzr^μq4VR8޶ˌ8@u:]i/;ʌfkc>ʸcW7io/-Z6yUoc5"~z(*Ҍ5{L/6Wg?؞wAcxw]9_%Qy;bS%+N+şc_*`2om $r;Fƿ-ϗ;6y֜ VU2Vu!wzXї#W,pL]X%>x\s8/ekU/ҁ}+u'"+T*P{*J T P0 ] 򱐹.HQ*|s!Aضlyt;QӲS9mjYq4ϓe`VѰ+/z;~0umR;n?ݟΝjufs<lꨆXT~v"Sk&M9, XiK_vNTՠ ^N/R9#: ^^.1;Âq5vB#i!oS"Tx6t}-;奌bŭ0@\I7:ew}93OP6NJ^Fsu}L+It,;JɇZ/>T3i:M ~W/YãgKex4,;M.ou9]l]O@n#dSMjqK*yٺ~d7?%SnJ/DPu{؃|`̈́.%tXz.Cػ5ǥyNoB%na h 1BÔ̷p) E$y:Q5ۆ(VF6Ěw@ j*dDۺ={ݬюq { :)cR.H3B)KOF.&  ^7 Kgaf=2&@Z4;z9kPbnTq/>Y EĹbāp)=wIe5, Fur^q˜asclHt_\S.R/=ͧba.gf~Dᚈfx{%uIfʪzzL: [l-P)?hf ,Ջð_KrsJ`LSƿ/}c1!1m׋9R5<&Sm[^ib] C;N6al5$ԥ(Mk"^LcVkxOZ`67E.zjPEZ7u0a6_t,RG0en[WW*K[ R $}=r6!u>TCPnOppbЋ6q}bd}r\5 `>| 蓮9pd/(ˡC)+; 9mth̀s))ɍHk$RhA'Y?5>{K;o Y-<d8E_;C>f`|lm޿ZԺiM:(˙QW}YfRM(?ZV,6x'5E5Ww\ƻ,p")6tͦm9*$8w;i j/^o4QeQ/yV!RTK]v"N@ېa$\TLtNW[zYЖܴ щ{9zS1A gύyUՕe O%k Xvؐ&OUǒ^rcʡ7@X]D 'LFM\V2,r9ab8|;R>7RKB1XZ *l!q4ze";Ut~7y4;#L9F(< g'N:w%x֓s >Ѡ.{' 4IO_%=7`1Kq9Qm"75ZO5K)\RXq bfI,23GD.܈շٝ/yC"]|]~.0@LX1b'-LLwɮ=KդlPf7N0˖@&!qԫM}5N 5*<7=^Ped$l ;mز ][e~t`j,f$#g .rEyY79Ϧ`"^˗bJN^/|c{.QhE`O4r7FZ@8'nupk=qmF8 jQ&z[=e^Uh$Tۿ7)؝|K=jFftVtgUGQ<\BGwhJ)'v*uC|ktkZb>JsBrw"ۯ_bSf )aw иA3X7k@v*l2ӒE*u;+w$l"!8"0&Lx[E µP-7zس|> {YYtqI4 ĐH5 Φ`67|\+ ҁ'¿:N <c6 "ѰLQېEIU&J=>/*&fT1 LD< /M?ū7祲q|!0`wYim) K?dò|r$,?tTg=(uO,EKtciqbyoVΓ<ZO/zGǡ|۞λD"*1qHg4bm@èe+Xo W_rf8Or'21 (]5)6O<lAiCf|1gYZ $/]% D߬yf{B*,ӬKw*@C{i'9 -1fF$[[ۻhҲDboTa(/5̤ӱ p!xxoBF}4 -ښ9|𘆄 20}G5I' )yB]~ $(+ 4h= ,fAQ@Qu]i榞*W2C(0癶Ov"Ea7P&?)jBGX;G04Oܤ5uF&0*ލ&Ffa0 J$omk|0a ($W>+2JUS.įVr4=hT}yc׏YKj|"jt)O9Ud]Y:!y)cӦw0yTzMS΃ё[9}2E,40_r|4$U73{NmW Y0&ܮU`Z$77M{pg%>1Sc# l 0@>R$K6F-Yv (Cy'ty*,ϡf@zhqkafA!J{-?<&AeMvXo~X# t;`6PO4Va@+!Мx 15rdPMdeWDπtrbt FJdt%h#vq}o2/ J瓲4C>%X3Vo쉧{;G`Y.Yk \┑b4M8W ػݲgJ//وrf pEoO_ϕçwp@: j(a}$C!m֐pun/y'tӖIxց"-:ǐ5##eJ"X{Ә6=y(=?}|f@̢sl<RXAM!46!7? Q?yeo\>Rr-H=]J#@3]b՗ϩ i`5I13  X̴OtӵHBNkr݄QA6h +Edzl_kغvWўp#H쐅uvo"Uz HioZm;M.Jgܷ90 M^IKg4i+w$!9ORk Tre4EXb k-vױgYZ e/o% ,LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_Problemdocument.tex7zXZִF! F ]A-MՋhvG"uIBm51VY7g 7ykvD0-55v9BTza21+{lCPeR529Ңlz[n{~h␱W V*W',4nO/Tw$Yr8^J`2cJ~B@>8 _Bj*enX7o\/ #W?”*c]N iq_|yOqCȘ4Ͳ VT/7A,gqGGUX/F`07ss}NR/BENkv3v qɆL,{κw=DGN݁#Ȋz~RG )Ⱥx}lep`F5&RO]7C?s5T@c5]:K_?J7# LqVAbnkY9Jc{`"!Rd;a:]cu$Ybkk5Hت_)d1%Kݦ{k{S|MJ2kqKGZ!gYhKqXX=oߟ.aEl) !.Ć+H'8]~xMStU{E61,"o2றo35L,g+}|gW@DP{Pw! =ER*鉖q0d.*I8R$XVꥬZ&]_DŽhNngs$Y;ںG31@t_;tUb!)X+Л'6_jJsY.Kfg_hpl9i-(jHq2,tWoƀ<Ԁ 5!Uq'`@G BB=3iW>-ZΉqpsdcn wH5xg,lL6ezd6-Qqނ^iki0vJSJa_8j)y/7Vy#inMII%)p.^36&ZC4ecfF tHiQ/Q5I@w,A1KWnW0 2rGwO&~ -P왗93 Q ex4:P{`ҹtyTS)M.sNB#ֺX%}atz(decS-@87fz}q%cdZp*|sqǼBzo}!_/[AQ^CnWsE69igoz$ PQz ez~ 7(=Z(4PrQ'> 7@gK{@nڴW4Q0 iQDEI{Vh* ˪ihcC 3qc~|Ta.0 o\?}Xد&@LRg3 ?(Mp\8plFDr-=L۪YIyy"viTv&*Exw552[.C ŕ[aW<٢ӕAoThZ<5>&@>R%Nu~N)'t;%=--ʚ{$WN:cenUϖ<2;'K_3,'4nrHqXGFXQ,S$6q$s:d]=߫&d#G}tSV5/}Au6*l8$>&gkK_A $ЏE(ITuB pnj_xT|$(=`m5n0r:Ch ;ԡs$A q*E4x(h\ JU.1AkD"k8 Eצ.eiZH"nae*Ŋ6,Qz_|W> ~*ODR)]~ &EW/P; !/'u]ͼAT /E:`Y3<$7L+Uޓ﹦kEߠ~|gYZ  ,/M% \LLL_FactorizationLLL_Factorization.Factor_Bound_2document.tex7zXZִF! >&]A-MՋhvG"uIBm5fbyS,6SQԱS3I3]wהq ooiڴqs^hj*"Pl)`_Ҷ/Egϳ)JI)M-]8DO@ܟUj  ]X%HHt+Rghr;f_P QiHT }6{ֆਃ,waC (?~.`8}EwE%q-w=!nQ$љ;t̝񲗐Vu5#k U[g=U1`.L45y LN?'$V@~ejxs@Հ~Y)cs@իjNZxT"C4DW/xVCލQ/Ц=m8ݤy^0a@0&آcwB/G觺SYMW>U -Ϥ'Z;a4 f[ v;÷0Gr7M[u8 m:9*Y/(tV9 1sKdrqW-YLtLq 0:pHT)^gHE][,&N*c__ui:`^̄uWzlݼWCF|HGgKn3Gp+"AU% H>O65F1xX| Y x=,_<\'8_K-Ly;&D6e~uVobWil[psymm!ۂPr}wPPֻ!}X6rޢ4m)ؼB,;due@Vv3IR<҆/ JJA_\WI췑{- 24cu |g|KξAy36=K?Zb !B:M.]aoȴٰŴe2*|!D/aF(~B0n:|ƽx1̜3u#|0{nc0kr⪯e7J 7jvw.(0CWEU.h(4n .)P@}芣'KzT&dE?},|e zcP|$LiYh,ȠfXKɅn'窌iӶKR {?pb8EXӸAmAV;WG铸{#H)/ӁL='sE"Oǎ4d3 X[;$-%Ꙏ-|c^{[PACW= !(^7AO^/nYV̓0u(lj^Ɣt3-ltF 荵p،j3PBmIRίijYQ(+Sm҂S]>Ly<%qߖt]R9ju^~W)4ҸhYtRsϳ:}|L: u[SIa#9͔o H!TȲջK`\-#4:5˦voWY@1wS$vTp0y>>djQ(|N6MPΒy[}\0D/̖삽I;Y W{quPpSPwF i1`|D)lo(릲aG{$,ȧĤ`WR1Sb,arh [*|}5WqQk2:(i,}9gYZr/A% tLLL_FactorizationLLL_Factorization.Sub_Sumsdocument.tex7zXZִF! #*]A-MՋhvG"uIBm5Ȫ`K1 ƮCR*Ie> stC(w (bQC*ePǟ~뗚>K}<p^W<Ү[ /2>bLL:ڻP|O$fo^0;ٹ7"@pҺU]eO%1qs?9' M$0PV30-d8褲.Dٰ E!/^dLozGMQƁXߕ jx2"#Bm6-Vm!=zB,i{YOz8ԬPDF]H Albϙ1UqZC,n^!R$@|d&~Z$JX^cea5z s@0fr;$k#6%4θ, E' AeT仰{ lR;6a4<ŊJHZ~8]yv鐮Oc]#!VaY]w9»-B/+ \v`LT&:w53Ίz"ɐV\/qd+RPCU]YCa˛= p.ғwou)ΠuUݩ`șn־AC"A U)`+Itz;`k(AWѣF#,qϳ`[w`:Ξvg:%cv=Tؕ]$f(h_Lr/e4JG-;۝ͬf +. z@e7"΍򘼆UlҨ(=z؅Ƿ?1Hήڠ_l*t/Y2_, W?vGL,\>ڝ]l jS"B3cC4}(~8(BW\w$`f2M"-Ln5- g"3R)MQ,HdRcFؚRKNjRRk;?Oja f5&^fR4F ;Nm ﲁ]W׀>=%- l ciV?+ۜ ׉.GY_2zRM o]U*"$e[rD%\,k4$'s=91[lht,FEyJJv^{1nqKłs g\6o64r-t k݃@I_)~PJhmnyTeU3r0xR <A{/U2#c=Zq!ec;#9RR"^Ν)2-px=jO#J@l+V7l`,MM;ݢ.%HAK]j@IQ3znss@!'[Co ~GDFV(_AH3-W׎:zKZv` F>gYZ:5Yb$8;DG&JˁƏE;Ơm;/S!V쒿z"jkVݖ2duEKVZ+կ~¨w%46z'@ ߉+JZ? Z&a r5|_N1ٍ ,DVZ`^2 )<.9):b&MEG,?49 s܃ {DU;UdzZs7әS@t B_\STewrݔb> Vc8lh$+7/uTYPm8*>oe8/`7fwH%p`Md WM@ Zd&;qdkwbƝ5IuQ,Nąki~1I<>I%J+zֹ@(˗*Ñ[{͐Ods<\&f+02ԣEЃ0/"LoXf?IA7 AIs)u#Ā(E -t=:w~BW3i l<ChDŽTc7 #s@FOls5Rm0|u0jcTiTӆKHٌʇ fgɝ\k&T؋x|F``EDM4\1{mۉ:/mN79qkIf9aґO=LQgqrdVx#!P%$sm,- 9D}TGL4D[eErXI돜I煯@[\ж@z] N(Rbhb6|<jCiHpѧ'~.Ռq؝5 0_s%,oCK4MRc!G7rMNWc.ĬʆW> =tǠ09F="nrfडJ. Jf)5cZUaI1!)ϸOiChDԟa%yb.1|~oLdyf,MѪdqȏ(9 IPf "@y.(6A;Y(8 " sNQ)K)>>@R75fX襇bT rfK屍&LAg<FOi!W]mK}_ҟlE=LB)Lܘ;V2B= G%s9g+Oj Q]O.4(3fGC5~͕M%.9'x| x{fn3nM9( kJ͠# E wVڭ7j}χÝ.)7wbvl+d[*f7Sm{ŏ5%,nq4tG,U>ޘtr]ƂUikxJӏۘL)6D1K=۸ W4J@;-{I,d)aPޒ5D 9OqQO n]*6dѠ/_I. m{Dku*+u>0ed< LQuUoX e$t.I[.mi ƽ 1+YO&E_)^n,0F|vX!ZY]m[Ջ>!L{\#S'jB Vby T;k^:ВpqMehLmf!u;7|h;:. K0Dn3zE q;%?ۃO LqoK.̳m¦L:X]ԢB.ݖ(u$\xdZ9+jӊUЙ ]28qs o8ksm){=F}Ӓzx颧 .R&Or@p-i%_(OeT;-dŘ%3`J 5M 2x'ENxxxWg-iMz(<_v¬Qp:LVqTcv.ndS;Cj“$w.[ttMG4E݉GL&zZE7 (-]F֣߭fA t>/:/P_$~zLwy_>[m<0&-gl|02<-J5c c:*sjʅ;96Rgـ D[s@%E3|k)\4Uk'j*tzrqel5* d#R}6ػrLj[|| yd}%ugMt05zmN.K131:P!}{b{#RG}_*m}7T)JԏlZ[O|4PDYNBd1(-9DS޸ (:sl:oS+{ݐʯY+G;L[h{a*YLh: JqQOxOK\%({K엜ZۯhzbEѲۖ_+<-F~{86{oUQtWnypmNT?u(d]X橏6 i"UCif ]n}ʤ5IeNrUӦzZȬK8jZhlI\ 4%Ѝ>.wp1F/^N[J[42@RVxpc3Qj2k΂3fWU3NAG`fs9mZ/}981?k@ {YdfU8SafmYJ q%e[ԔtBs=wyDpKK!Q5pBd;-Bi%FXrP$PZߣ :^ 0Lm!lz+}0;&[$;2<K<(1x=e5O:z8t'ydbEF2t{mϔ 5/S͍rrA1 :JKgYZ6f09a68f29bed8e4224be5cdfba625386ca4ec630a2434114e0f5ff2a700b4a6f5d894a41f7c1240 e1b3863ba8bea5350a7befbf36426fca6dd9ab4b 3a7ed569590ccdb4c37ea2c1e4d8795fed222202 f8f075826526b646a7460019b3a9023a20f026f2 782134df4d046c2fe839dffe208a34a3d8f0b4b6 d7977e0542848ca7a611704e3bc68d8504281b2e 8f22f2c6766f986cc06d232823855a54cc08538b 626884dd61b6f773cb004d59520f0998df695414 198c870e0273ae149b19338509e1bb3099f04bdb 9fa64a9ff95e0ead3f2cb6e5d9fe0843212552c5 43a76fabd6b9f5a8f75aa39fef2af4727cb1c5a3 b3b1fae8fb6a28ec1916cbd6becdacf21a156eec