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   ^/lt ]c LLL_Factorization:threads=2elapsed=59.933cpu=112.180gc=6.320factor=1.877zXZִF! "m]ŗXf1-/6vR[8SenH iYʰN}65^i3Eq[U] ,Uq?M) YM0Rgfm9yol%td& L5G)}Bdjwƽ!-w[ Sϫ^LmfJo3`jbNLgzwxF:R 'H?N$Yn.f`TBNa['ᐪ04-G fYymRW8#W+r輄S{.s7i6fRרIY&v B`XڌBߏR?~&ko٧H>!>.SO"KL?@il*(]۩T%*ț ƛ=IL vS$.h*aa,ns ) 6G6"%6aZ7؟#޾r C+z2i00m׭2]\iyZ4iO gwlX}LMÜ6w99 F .V84KPTg#whsoMyLMHϚHD\F.vJ6)bAx L^6Цl.mm{1;j*݌ES > LءF:a.C5oweu KCllcda{J{8F'U˦W^}Q9d)L0.wK D-XG#9՝^PE"/1y ?2:  7-dgR} ʿ/[U^S4 foD'EogYZ7zXZִF! ]ŗXiɟH~1 ?evv^B8۲S:ΨiNTYH:P LZ6j0^S쾆@ܮn*uXϕ!`fҼt2[7#hdf^8d{d7= ڬ @`c |A / LLL_Factorization/S% LLL_FactorizationLLL_Factorization.LLL_Factorizationdocument.tex7zXZִF! ϋW~]A-MՋhvG"uIBm5ö# {CܔH ;Ba@ϑvk ` <e*Fc崿Qb@I~mt9E@}=)Ki|(,jNVZ56CEm.s!6HrDZH=J:c~ߜ^ޝ'D.˳9h+}|X$WFRڟӹX@Z^ mhLi e{$gT(.Vڲ|Hv@QVA"0)U@b`4ZެSĦ8c]gBOŤdβ|m+Oၡ)[h'QWlBmC|@=ziV7=;GK-Γ26`6}}_?* 3L\;woH~""h<@*霸:E~o|X?>&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     p OT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_Problemdocument.tex=/A%LLL_FactorizationLLL_Factorization.Sub_Sumsdocument.texC/M%LLL_FactorizationLLL_Factorization.Factor_Bound_2document.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.tex |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`0S l @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Ā,=&ȹ%-RZO~O5=Bѩ` @8]l-/GnA=e`F_ }݃Ŷ[2\iFe0Igv0 U&m߲0$hӡ993AhЍy+'웧{-Xեwb!ͧ*|B26H2/dꙅt J~4=ȇh?Ʌy/,0) ș~ul:'u4v  nfi.އeqTr~ޔp[?&+ƒ&3:!:oh6k+nlV[o1 9GG%Q [c{"]ف.9^i:{+aOu.;E5_A<譞[LEqy4YZ.,8!DĻ" vIbaϻԃ K435Om1ɚzm@t}G J&HHB _`n}C78ԉ[Fʣݚ.}.yE a8$ +Ymt9Ҏ^<< M@CH43ћ%QK ҡ6a⁷/r"61>|*$;y_F}K=xq808> 7 B_Gia=鬅t|x-׸`ϘD֍Cd" эиӮз7~d'>s䰹7H~Cųph0Q ޜݲ``BS>ʩܬ0A'EsbAEa#FKhJq*4h̕@>23ŌGAi֣8zRld?`p*V"󊒵(j5 )b9z/nxb|4)"JcTm2V#d= m% }qiDOF,QEsV+X>Ҷ-V!w`RB`KS"^kJm?:o >dMF3b-ڇLhR絖їVn˱^ UYjYˮ%Uz< 賩di+v1fQT8 B_F\#LbF9𦕲$*סɣ'y4S-WB}JVerə yv]Nh4 #Sf>6=A&({L'̆-a죔&< Ni'h/).ݽS&svftX,7.?0>PBCM $Ac.1n9ԥb1UU|r?3P pEq~}l= zĥl\gDҊ$i>%. =F/ee$Kj!d~Edc!sBEboW5K;~4Cp-vW;GB׫WJ5vv7Ag^'^1nhTWH҆-XupGAoE.8#8 Kd;q߾90K8ŝ!ªQ3yėDgdo61@ K% ^eTGZr ?=띚1;؋QB sK"lj4dM_|;ơ9w5t"V`|XUq`T9#v;] QyƇ*@bcl{(1B"Ptݣ/|+/#KSH֗${}1t%@Lw!;4tTGD;v£|d#NfZĕ#V;aZZeFG;$*`-6;Ko-cfPa"}!FFYmozaa&@x_b$jjܦVxhAtx7 8HB&_*lk g紭7D2] qa&U/ 5 [ԛ4f!#6ʊ?ߑHg~rV'"ܟTnlNjl,4z@ЭELTnc,iۛ;8e@ilR}4d:9LN/I1d *8줭[T28,k"jl XzIjVVucF|,_Lv];iw<5AG]<9a&>~Ŗ#N)9Bϕz*qx^07灳5o a뙿i5|k.zLgс &p?rCRR&MfaDخ γs^J&Υ.? b)ߘ[ѦZM?#Å Za]VIsgzRzx)B )-.?@łz!/6l/ktcHSXWw+$ee gif(47ꒅʟ3{y>RjKTRqAQvEL>"I#vN\NzЬA&XOiDIx'x.׬i7:%al}0~q]<,J ?rLc?S'eǵֳ/ְ`OR46)'& `Ԝ⁸i/ D8ҶRzplmMKYEB!*.h]R'ѩvǂ<)4 PSw72}7CX̯iq1w]{A^k'\Z7;21ً<A_GJ2ZctA~`1;srQ 5`v8~i6QN^ 3 ~ֆ) t.B P5Grn.pJ9s`wf4w \Ŏ=ؘe/gq \}anqk;/蜄g9dOg<ߔ!Yg V^eȳvu"Q\r@vt)('9'wOM{yMgM%)[XgkNN5ws˼Wd^"ŜΦ536gHz| ~JEp7̖JZp+*&ϠR>kqv I+| `r']iB: .K6e2vb 2d!BHZ_7zgGX +nҫU~KE]2E0P^v&[, Hνe"I;kϸ }bK3JCD#o4׾Ǜ67n[[I Q HVawj*x_Wԛ;;@ހ 8-87 ké;2@Du}HJ||$Lm5DCx{w3x d@wq&Sاa2n#ή0'  ψ\_ݸ#BY|s?+u_UC Fy.loI/O"˜$ey~t; R# |#k3;%_$.2/-ÊJd,_Qe0^_ `#Y<<`eOKSB+AK0Z)<֊QbQQ]&"Sr>5+gYZp$89+sԽcsBԫ`1˃o)K Z60R,ol!wfȵ$ܰwrl <ϟ#Dxv]k#b}cͰy7PC0L]0A=(!r0L~_/o8ұ/ ٿnPazygyT?*ƈ2n+-ܡ4pzatgao3qxN8ϮԹ]YO1^> 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.mjt)`i  /k% lLLL_FactorizationLLL_Factorization.Factorization_Algorithm_16_22document.tex7zXZִF! µqo]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[z/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 '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?v+X>>ʧ+Y pJ*nw pXNysPeR9U#٪]x++WA]ԑg|qx vx+JSOiX5,%'„4tmވsl> ~l4*$ޟI-kR/8zH݌ΰ;&U 7h_JP9OY~߷U$.FH MJeƢr'|yǡ^Ug$Wx0Ŋy}Fdϋț6u YRtK@ IYMʉ044F|<@ 癓eon'?-5O*(*h\< cyqbi =:I2Xg*Ն\r-v5⏽ ,b.ēË-g(oI{wKj_(AˮX!Fv!׬d[č׍Pß2Z~,w`an~+ ~Ƒ.V CN U\6~xz*0xܔV. >b$-S+P.9w: ̜=<[[F>+J|Kj.Ж_%Pȇf$4eSo4`BD(7 vhf _+1l9+0s۾ \ 9u8yN}s*Q2vdEOnb׃D[\R<@Uٍjp+zjϝIf(úY_|PR,pޭB|󰫐*ukMESY I0 8' )iV^E xxE\QÙKc9SB~,5x2^߶;064'طt6) (VLj{ά_dEKRgg yT|'DL V!q 6%tPfO6,Z xK{i$G㣵B 3&j&&vdPN5.?L*u$D}Q9h&d%w{?x3oˠH3OKv'%H?BȬi! l5oY8%H< ,צ\T.!A Uѡ 6G .0|2ݣyŝa1qS-8'f9uYÐ/EyP?"1h[ƠnQt`*t+\82qV |?X,RT9]`X܃>U^&{X+ս#' Ӑh @fR7ANaY#HcummZ5CD-k&F_!rg0ԞpPjoPf@wLڦdzL~ 3„笒۠>enQDi@M rRbcӥ|6Wr{nu/JR#C` 4s؅űPwGuu} .26Ï)m _ 8b;)EJ#hmKd[8ٰ\F\ C +a *"G5trȆސ ѹ&ϼa ȧ1poC= ףL!!>f,wgDh}RyUShKO1sSV.5VYr"b[@q̭\Lf5r" SvNSYXcںIhyZC.E[5B]@ K)mD4*K Jg cf&xł֒z$3׫~HE.e٘wzdte:zA[!2g d>/F?[šiq~XbLɥ dfUckoioqYv"ra٤O+Ĥ-!b;L9FW(|e!mn h4#EL+X@Ay%6YEឥk/K7Vcx*%Qgesf `UGDM^pAAEŔ}8ٟt`OhUuаwF9*8/"X4@UHNAx1W!>3$lS ⣿-$WC-k'IF{4Ci"Iqvе4J'z=C*l0usZ ]XP-Lo>Z}319mfc1l&ITj4΅C/oi#=s=k%eGCG;bA.07_@JXnL nR5nl3tVs$4HT LN.# ,E{51P1F@W(Q:]~?#\YDGղ&Y cܥ {!cTf:l{9;0ݠ+p u6+u0QkFlHʼn-s/ٙOHÑj7CWr{EG yS_FNMݗմeSbS۱Is[‚濽ft ]5* z{"y}0RlErp* Itޝ{X%n beϫ&9ztBHrij5ħdd]R .O &z:{E]M 2-Qr*~ur`ɦ^re`F""L,@ Ѭ̓>bU ԁY:1dīeu#zDqɚucq4~MT%8F )'5+=o`VQrjf5wB `bIfBGִ䈓Htx>U= <=v;&t&-OR Kkp`uI;쮸)*ݚutQpg)LhŖAGiA49dtТ>d%Ê\67 ̮tm_  X[EϞI/Rfk*ѰU};V@jGQ#C'}W [PPɓFy7ڈIH+˩yWPwtRߋ,ezXY6ëj2" $qk]@Տ)M)ݲ#AvO%a:` =-e!%C&I³("_E"͖ݤNJE8Eݶ~I5")5-C?o#\ق&A5F<;}uyݎB4h62Ģ@h(7@͉3?0]rY/.[ă ɺ׽M FK'2$JwD7nϤⷀ>|e>`rkLn;JIcbDLzg+6VOҜ)!Od%sS7Τ% |X#e9(G˗p'1mR(*rT2;rغthJUl `%/fxJ0$nS$fcHUfQ^, e~mdwu?jd'Ev ܀#uKdn޲C-LL0ma¤AYY:+Mbt}!=&RC{$R.$=v7psXY; y9RT:RZҶyHP%=EKOwuqPmu_}?W%\7`rpbJgkh},,P~*m͜k>&\U )V ^L)I>3(̈́7 [%"ZCbCW m!+vj&lzf"g Gn} -Zux. =1I,գaVK,?*-̉{ZE2/j?3++ҩ¿vZ#B`#%ƏO?כAw2x4P;F9'UqH֯7ڔbxޞycnWkb.7Y+\pzmi"51S ҹ4@li+L1l{b\ OtjWX.i|;n[$c>?6Y 8Dyߟfg]) ZYn:8\`ęZ)ܲE"[y\[h[(~Ҡ\xA6 ~l' 8ڊd~Kw-XC:2Y[/c1qQII SuTFx}`@av0~u1s*xʒ|Ve/08I@P~Xkby`$Y}8|pMT_xM^$-fI] 19y5>v8 7yf?dud޸I">T"̒Ͼ.] ׅL?V p66%]Dz#,)n (48,67R5S|d`Qh}0'@En wwF(S^z!]8foE.9oEB\_1Ny'xt$\R HR7Ӂ᯼[Ig۳ '_ W!97x1aLw扜Ucw' jZW1Џ3L^9.Y'q"8mHF_@2v *5hD6CzC8{ZiYE{4vNj89 u;ڼ 9G+#Mf.H`(Bȟ1́:F5Ն}W9F)*4p05*U7sXV!ڵb"0"i֭b4%oIRF7\nFX 9:Sx ^ԍ^GYT*Y-Cf8^:km360-A(S&MԎfVz`,AV|<{\>4#ɵU4x8E@` >{KKM*ii^3#cɣL}Ғ<;Rz2O{ 4_w =$ 0|a /GI.}/3Уȯ |+ݑLvIBAj|b+Q pdWdX0K$^qqg$5w}R= A:*6.،!k%OTK] Xmqx`'~]|ti ԡGՊ]&3JH]1b)[N3wҴJb Bn}h(aE {XmP4VYv=!H,ij{O15iaeN~rD;Z@ ύ'v ^Ne|O4F K7`|y: ; LA?! Ќ ?jm0Q1Mӥ^|‡SY$ yQnL:RΟcGܐz;P#''dmiv[ Q xcPDGHXxmᒤM`a)_֗=8ť ֨9h0R DU*]P1i# Gސ~q]-*">·pJ$_;\JLkE熞hb #PCtk.ȉ]RPؖX&da$pP;KA%z"F?Ic%ޢW(yùpH{gGjǞD*s HzI)瓅 E`)^9!1DqwR JxExk_Kjv~/z~U|f娎*N>yaWԠI]:GcxP;sAeЍp,ѳaOiw䚨i}9KRrr/m#M}@[B2G-߸-$W=L?gVK}< ڙ&%\wW3@/-NHO Χ $MQKjJl=q=S`1"a$Hs(D>BBB.@" TUd{mFzAɎ_Zݯ$,Qeb &v(?ZV&\O4U5bS.^hUNTf1@4F8[V{dlTbi"L^[=jq}&bN~f4y7 ei0nI?K#!u^Ӳ\6 z??YdJ' ؼ lhBx7LI9̗S#g+T~,^w+_KDv*c)qAC5­Uϯ2Lx^1#:aҬ7jחbדصk`ѭv/y-70yo|v&itrMt7/Sݸ49<1޶Ir'Gb&06_?Z):Nm6/4(BwmoYoNK@yKbZEAn* `l:딓5Wy`PW0J{:vc ?;,j#PgA(;\L?_!@ðQ֒F29 G: O}:ޏO ~xBIobdUY7lĕ|,|< So^ؖ*@! g!l]'H7 euQ8ej,?:`oA54;3։%p[ H7uN=2561"B* ӎvfGx'J@ & bPZn[Ϳ̌Dp ;&!{ڡwg ՚?zƽXԯdub `]ak(KR#$츠玌oen2у%* o_&+$;UAl 0.96Ulq( \ˮ߲xMFSj- ܧ]։Y,~aC;Ԅ)C֧}&΁TSf`Z^9Δ g y(r|BmSƣ_ fݸɝo,ۏS REU&B%2H¡f9]:Ob{7mfm0D<Ѓt9$u4wT0P)9D$My-)AK;B(+\4 .cFNϵپ a]8[6GXZ R;`"GQΛ &='^wƉ9<䷋WqhNzm\"|SQHf`Fw`&dmizD>'\ݶAߑ(aoZ˯@J!ޓ|G$EeYv$cPWZ#'CI񍡐ī` dT &bǢ v^#pQ`өGs1 ̐dn(Oҟ90`tE4@3l_nzpWK̹ϓTyXڬUiE -g !.vSv8P[77].(jp@IiֱiϪ{|\3$$Qr}7fv\ e^9ы^L(ZL{6=Ss\/Y쓯9B=(@\synB%/*`rX} #}dAU8;¡uNպmoFqW.YGm(C޶_qu)Pl.5 Hil+oe`YîSCuU>mCY G[S,<{gߗV;w}8jTnʧMTPoX߈wnvcl IE=<$VcO%;KŎ2vV2aN`II~k<ڍI[;@# f 2 Dg𧐜tTFrAۃs2D4Zm|fOvr *νx2HvvsԷw*dvܧfHPl#c?L4%w W{s.3T7_V퉣AB)kOaIOPskΝBfR<;Sn{yY]LZ0 s16]D-#Zo$H@7le`Փs1θFpu/w5Ϛ$kC)}X}t0LrRs^9.xEr9US #AG'_d6&:LoIu"ȪN*/PurJ|~[d28}MI6ڭ75́ۅ/c6uKC.X䋀>?;ƚzO1ޮ>'4n\Moީĸ`poݕh[mԧ Lg ٪ :`d ƧөCZ$\yK)ՖH:Kج*ћTNL&m.Ȁaߒ6Ҽ!DCf@@bR.$u樤J#;O+ CF {Z03dQOޔ ;}z_td.mʝI0ɢVF@XFtrjIE7tOzS6|'`oZY/ٔYUА7h`Q-x*;"q.(y2 HUH3רR5viwpNnX!VDNcnL >&39_MXO;WPJVcF0&tJ\vsl,[r3c㇞VR4v<+kPŢ` ݢsX+02|_2ɂ>w5 tI@κ J:dopm;P@nx ݻrh-.uuF0ϳ܍95a_F^1q: TAGqLΑ)+֑-%T`C6e>OPikHk,X_J6ujG~`Q5E?B5 z+\YM9.d;S%4F2K!eq"‡/W(ǡv(R1u Q?/crfu gWN[[f~]{)fb7ݐawbZiy< ]1Q!0PuE4\V90{ljjf@|1yļ͢B'ܫpTicv\"u"Kz$JUt?zxU>p$ІPǑ]2^0WJ؋bס/kkp밸pqhY>* +e ۤ. ~g(hٵG+B_c,BX& Q7X RL&N:wl9d,9ɤ< !_Et=$K \ XKx=u]lX\%1e!aL)APk(\gkgҧcӉ1/.ѵf.9B@VDS/p:"]F ?tOr ؤ_UIԍ {R iMaZo]]h p5:`'Z<1cp 6Y'q]4iiet$)ڿesH$[/jo\5=<՞$$d?\˝ii? *(*äOݏɈL1^3Ġ3~rkX7P`ʱ P0q4QNFîf1 chue;gV_6l]<{\ڱ"Fr> G)~5[:1pϊD_id? N.e2@m#Rl#X \Nq1ٛ{+Rp=}85TiA{n[Abίg@.F$xzR]_1| 4X?k'ez.S%5FK!1I5Hѥ9w $o-*~A@p0^άW [A'Ab+"ި}՜֊_YbS9huA0$[?tJKV۹TS^f> X9?z'ϷrGKqoڲ~ /2O\p|w66Šz  _kFZ / OLގQe)cyGD,mһ04Ll~+9W2>y(7 XBteiD N_j WkYy%&Oj,T$ WߎfgLT"Cç6I6wsQ)4$8#aQ5gCf^ec<瓝;{*. $ϦeycSo`^Tql|Bx5uNS @7$2'%WIKaZ{R A+ y"s`I4EHV޸46 u>:@zh*t-7O ϟA1wLX҄QӸ+0iҡgV$[I؉ao-%^lt;yk5>89Axǀ+Ei9xPߦ]b'  jIC(O 4Kc?^l` 6XOBƭN&"ڮg0-PxaWgüF]$AP|¯AAq%|+48Fe0j-A`gB4" }nΛ# Z7H۱q|(r1ё;\Usu!4)c/ KOgWY٧ iG;09] b%#=fdHUf&ߖ'ok}Y6hb1v4ӵ7Es99\B GQ,I:#x/4V=/Yka=o XIP%&ϦvÑ![c[K0Ju퓔aoֻ L]H_~}|;Nj~%?&eiRvl}꼑10OǴH ģ/GwG4-v! &Eٴ&(S-`\ Ɔ>}mp,}Šs3E%Ok8j^o٠Z rɏ@v{2Kw{le~dk!` Ńɦ= Y0{>hޮ}BמefCb ^S^.2} '$t:F"j"FW<|">EizXA]m瑸ZwsW(#i>|f%ICIexN*K-IÓܷJA qQ0ãꎃM . RTx:tjW?5ȟ)#ioGܹC!)S/?GwT3( PA6&:3@ \2bNؒМFu.G/k3hL=z='9UY>I<w8xd[(hs(F!|7kXMFX> a%2?AA &h7(({ͺJ#!.Ƒw[iV^\ɫaI6bp \9Ҽa\;@xnBz\BOEn (p.EC.3Poݫ5!Ku>]n0ʂv\hj:stϜ&= by<x4-o+źVݦ_ qW__n4b0Pav-?r+>pFu&,Dg&zoe)cmY_gm$dΙ{tEike  6ZMuZɛ;SbvƲ׎nq$Isg//x.]6co.Q^cLN.nɑ-v/$v!1Rڨ \ ^8 %I^Jqȫ#??z*XLd<;ZϠJUD߬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$77a2mzĥa%d=#3\ɽc.j)Be~Uo)w߇o;@qf5BtQIbNEa.;>b,ۦg?n_y!zGfBZ\gwiW63o]eøacX܃J%5 Eچy$+qs:imG>H' "v;D88;6C }rsޘFBv;!񈱨&_V‚,>;]TLY!CSB_ 4U`EXw@I\ޭ {kg8[zd!Zͅ*JBzx=R-bckU^2Dn50*Jǭ:$yG+ .%,쫚D%Mc5!>uStC6 ن<);UrE)|kgYZ Qr/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,/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,}9gYZ i/o% 4LLL_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=3i/ӎdZ!]u8e8V6h/ώ=`?~2M^7{"^#ciHׁ*?2ګь^Jcx1xz'ɫT_k<$ ;ۣSS\ð7}U43kjdnR<h0/s14rr҆'ŮĬr\Sr78ψ+ >&t7XnN% BJ WS\-[X8z&\dF*pb#~[DÕlQ(Wf~|s"HRQZ-q6l֮:ג 0u%ImCJ VUvl9z#7N?E/Hk䝫erGeW/W&I>Ohi E )u;qg *A|O7ʙ/p1qF`Mo7ԦAj(I'$W=fy$yLV9ެ!cHro<_QC%%D2W*]~"Z!ey+bMWV=kc)a7yWBE_(Ls*uYd 7}2Y4]tJY:h.8cüLXT_{ BpL~e+)DWQU92)y |lA텠[|SKٖA: k=![6%u+Msgnz(4-Ѝ VL7e~1˅wjfz%E;~02f백gYZRWzoܡrgA$!] f3^O|y/}lxg' `X%A_qe7`382]gYZ7zXZִF! ! C]ŗXi%; %ٺ\6+FŋD)dTt 5=0Cn9VE0o27\By EaR̼֨^5+HޚGҴ_6 HYtȤ\q+ ꭑ~~uy_,Ѹ-F< >0՗SΛa\2v٣Yf n{4ήm( 1BrEa M)dӾ ,@7> l63 |+Z%@GfZK6sgv?㉆6E{ӞZZЖf5KfV5]hYB+aMS/y}{Ó֎a }ԙ,L_E=-RBq}?kA"3QbW 2E'a|+ju+ S>!?5--?g1NʵgdL~l7uҴz،ΫʖY[ fm.L M ߿?~c^gQ fA3d3}RpImN T{"+kX*gbLbbȢ~)@FA!(f|IfQZs|tȮ~:BB?!V7X6>e~!a@ I DMڮ/X^W&Bړ,S_>`%uYWA1-y=:x \;Oxl؄)R'ͣѩ^h_Tq/=UTϺjԬo 81O4F0ܦmxmԶD\刔R*\^|Yj)Z OTJt)\@RfڋIW0Ṛ,MJWێAk4+ ] /9 P2ȠE-g$Tc֚Ǯ0$(0!fyzr7 [InMan}(IAPxʟqroy_Y+ROh*tA|CPD,E39N}kkD9`O!mox> |KH sqf5M"$E=k t> @l p#F gmE|Q;  w+Xԩ9iW䅻Y86G_GPVgXg [/t s#W o_{~OjFLMws :*\guύ3Z>^FNpgkW;*!oi@TQ)F2TGAaZB(RJl`O Fܧހ8^vp& _eJ{mFc `|l$_C$;e+t`Խ!X濖]gLהvn9}(*q(̙_LL;TE"4 Y 9_8x`#nD2OX҇}7 "l^^f,"C Cnҭ l_'/aBy. 14c<\$e| νNw'}![uwUKV1ʙ/i6e:qg1[@/ӫ34[4`Zy}pe2emu4d>gE;H?6Τp"u*E a[-Cjf~hco"*6d,g?fxDS-\8T{aF HEN1KyVq7w™rGSjp,HV}aC>-m(p$Ҿ2.# O{4!-UH"a)U}iI'Tv7*lVF!KuoD3 (apJ`qy)/⿡khQ7y$a0ybc\Ahug5R>$ {-X[ʆA`.- 3*JO6.h =e@P"hC ,竿Y_ng$ҺG)h/HL;~.05$ǜ0B4>kNPq zB-K|]G@ GN@pC9 ܣb;*OZAeylΜ2qyn^)* PCcC~ޙw':sH2+FU{PY`R\\mh tS.dL-V¼>{W`(Vd!.5lThs? n l#:3Eiҥ"\;s=WƫB̑9Z?C*cO94ei&ٜQvY[eԷ{—kg0;J 1,˛?ok:!)rVSS%-6^1HrF;Cipte\*׼K%ߵ1Av)_ +i j"5Ayf?gxg ^9Bt+6ԅ$5 >/H&}nGte1mU@r FF7_Ѿ { =l RD\xY6f$I O/0CM觍K@H:iF Nc;dRˮFDr~Vl {YH' cpl7ۋ 54rt5ƇѱgYZdfe2ea681d69c2d30a00ad54b9bbfe38899ee4e50a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c a7626789f44c0a63d83655b5bea14ed71df45b53 5777b9e1143d57fdbcb28e1f47284ad10fd9b3f3 19b6e9085d523fdb8868484c95271c9eecf768df 442c626bb93e155aa3f917b6fb3f7fbb01daaf65 89cbd93524f297a386cdb2e056ec0ed298cee96b 8b11cdfe8303a0ce02b390a97c06f2c24663a847 74455044b4d744a0dabfc7f630a8632064ae2802 5fa3d2f71f5c91c266f3ad65dd7de557c0884da3