SQLite format 3@ .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 II,?vLtl ]]HOL-Computational_Algebra:threads=6elapsed=47.028cpu=177.068gc=6.6607zXZִF! T`]ŗXiɟ fftb:u t&_洼WN]B6P2 (h`~Nsk.,aw9V"ij-iոpN[߆^ Ͷ(! $Qy3 :qYM(iMGssmK"$rkDZNj{cA4x<]m栃a_G/Ё/{9W[qߚW4|s*JjՄm,vRн$:x֑WA۷3ØԼ!Nj e2:EW9~lQ9% fjǂB7F_&|L*:^ᡷ \W[ fxI{*lQw7ųd.!JN]?;dee}aеn,+jgo] }ZmeҌ 6FDդ$?ךy@ ק)62I7[e0rv2f؂Nw[^6Ĩ>6 ~I fC\WS&̸5Uap*ωaZOXmOzݛ?BUxXqFrRQjfuO%͎DF/({Uz]CP0'yjX &]>K:^=D&H?n7r?`Ky2"헦E Ä"K9w; _re ;[kHiu}Fa/Rh=Օ r;Q#ĪJfqmϑ"dEl?ǮHyBvo$0x}i8*3hA!\AgZrRlFM@yR n /R'7dz͐j=D׳~D89566/2A_N^aW__ (d Wvg_)/oO{B(j.%He\hz^w^S;[MAqu\'(!Y`,2-fPƷ\וE{r/n@hosw^O.C/3J+!i'n ^k167,7^ʩ4@g;"\D=mĹCQg5[n,r ەjS)7TmheEjD&2wO~(UWc\,#_\ Mj3A:\)Gmȿ]k2τ_Z9nAey;Wv4|6GDϬR[[쓪(nʼn\]3ņ*Ȕ%Qv.lA&̾S$Dt#r٤>@4my?~/q PVxk5\TA\qT8=DVs\b'yc>j pnTz`{ ̈́ufy8)XgWas?DA] h+Lï0WmXY\?/_?NXjIO[9I7O HU}".JwaI`)LsAEiO~kc1&.ZΒq5;<7^_%ghW .{)DhHm{/ۮ޻>Idu1v+M =(I/[|[Tg-j;z~/4"YOj?{>+V G8F'pej8j usܱgYZ7zXZִF! ]ŗXiɟ1 cj?SS-5`SL[WF3+-6X1ObXF;b^}] 6QC[5$6]'dғ\92O'Ŏ ISyVSθ%%(l${KjvQG|epq(# ;hoRo'ә4Y-25Su8Wf'~.Ok^٭d Tk \ >{~"_9[TK3~_>J܀xhi#Fo}HpʁmN'_=6H0{؆eNM=e o\FPAԜUۓ TgYZ7zXZִF! kan]ŗXi%PVц:aXZdGȗw 2^dQ?"m(΍)T[[գYf|.;j(/ላqj/˼hᘐZlG tC?FgUB^S[n:IO܂k 1w HX?EAq4& q,x\e .9[p} kHERŗFd@n"B}0H|:N ,Һ %9DSZ2p2E8\PMז axU2Tc&#n#ȫhtr0c3$s";Y*xז>T]Sk3VZiTfShJVsNѤi,[6'Tt!L+L'1 R,nG]Z<-!}O`D 9 m2g( "PO`Ymhʃ3)(-s\(iT_5kbX_QSbԩdGqjMcUbeg$@< vG YpH` :Yw ccY}90q6nI;30Oh,T^ l90)4s6+OM#2$5K=k0kV4u4d<75]z`j>cB)?wdʺwR' ?b#JTu5۩'{k <:N<1gߔDBHCK:vKT _ [zz.ܢ!d!X:Sshaww0Gz ~}d&m},8b*})yׄz>J4I_<OE> 8~8VhߡVŜDVyolhRFO]?٢Mr=3$+<|.FwIQq_r:ƌ,#.&]b0,$j-MkY]kla[lʻ=䱹ޫMjwfTuqvij}:@%M lE-A7ĤdIj?u1p Og|.~tHwiOmU!KeKe_aqB6՗.[ONFXo^ =F$(N1a@HC?u ? HOL-Computational_Algebra `~ytoje`{ ?w] HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_Algebradocument/Fundamental_Theorem_Algebra.tex7zXZִF! 䬭L]A-MՋhvG"uIBm5q\<}É4@9V#]:~q^U-}[^H*wh,0-˯E /zX}]6hH@#]r6P2X?CO  SOd-O~LWYEM4U`iX<ޙ|5 H-Zf)!0Yi)5Z@~e(fc杕T\Kcl75}[ଷF9ŔNG!$tN1}rj#Mu>o*B2mָU 3Xi QxcfokE=>?羌FyP' Dxɜnė< LJ 6] +5@Uqy^a#mRB# AzGw33*3{3D44I|[CY(Ŭ\۰\43v٤ d٢aҍ3ofHv|آʯ|dM0CB;SPu(93@“[ȓчxKT8ZCTiaoqo=lcΘ?،2zCS_-<1up0>ĨԮ/4wc$ WFE@#2:29aҿ"q"֯M>N8?2.0lX3B($Mv& J\,cfC AmrRmBؤ?w%"v:(ދ)a-<&=*u!/Bף2ud8CsN*M$) #X}BӹOÜ`Ap#qk^IN;BfS+'*JOS3Hs%f\PT'a!˜Gs]l) EZsQNǀw=u 1OqK0,$P1حG8x>X7|Vb,J+l{?ٝ AXܟqd;'\4\"@54)$IJ[HR52Tnt7(`c7rOljG"2L>f}:9Ě7;?!EVkb[aSnf Dfj~ve >(!' g{ Kr6?zdgJ6i2#[]$=k0M2݄-Β`vѼ;s7qV)Øh`ت@Auuk7S\*^{Gf9{B{c"|6z:gY=r}#`chg$+ˁ$w7@] LPkc)2p)ʃjO2$ =N@PP~ǐ6(p³`(" CxR\ï[כDf?(-ehfN~c=ۖILJ{㭰{$CsY0#6_ m`Z+w81$m7sdC|"|B^ZPL\Y.1_v=Tv?CyS-:Jc>_0C߸RxԂW􈪇]'WSԲݝ'Q?+Q1 caYiR]q6A7-Iy9GrA&,`L?lnTqu+( +z'rd<~ʘ]#B$G3/ZArڑ>_=!0@;{R/3[\IԐ j!>K#$BOvIǦ^7.%.&OIPC"(Z(?_Dǯ>تC4PMEPfwU=k S2[sGX<`ʫU|XRW6Ryd<#ۑ,6iCa&@>UA|($VI6~ڀf/}UJF MF9xU1 @~Ӻ!8&5 #f3rb40TuzBJֱ휽;Pc kWڕnJ~,0N*I Ou/O1Z!6'BOEnQ;Zyhoq(hZ#c2=.:-9(7%6"5 4320.-+)('# ! < A 6! f 5 b^ ]{ se)$ ) 4|-6M?U!HOL-Computational_AlgebraHOL-Computational_Algebra.Nth_PowersPIDE/files-Y?k#HOL-Computational_AlgebraHOL-Computational_Algebra.Computational_AlgebraPIDE/markup,X?k!HOL-Computational_AlgebraHOL-Computational_Algebra.Computational_AlgebraPIDE/files+S?['HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/messages*Q?[#HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/markup)P?[!HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/files(S?['HOL-Computational_AlgebraHOL-Computational_Algebra.Group_ClosurePIDE/messages'Z?U;HOL-Computational_AlgebraHOL-Computational_Algebra.Nth_Powersdocument/Nth_Powers.tex&Q?[#HOL-Computational_AlgebraHOL-Computational_Algebra.Group_ClosurePIDE/markup%P?[!HOL-Computational_AlgebraHOL-Computational_Algebra.Group_ClosurePIDE/files$p?kQHOL-Computational_AlgebraHOL-Computational_Algebra.Computational_Algebradocument/Computational_Algebra.tex#`?[AHOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_Ringdocument/Field_as_Ring.tex"T?]'HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/messages!R?]#HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/markup Q?]!HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/files`?[AHOL-Computational_AlgebraHOL-Computational_Algebra.Group_Closuredocument/Group_Closure.texP?U'HOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/messagesN?U#HOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/markupM?U!HOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/filesY?g'HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/messagesb?]CHOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSdocument/Polynomial_FPS.texW?g#HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/markupV?g!HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/filesZ?U;HOL-Computational_AlgebraHOL-Computational_Algebra.Squarefreedocument/Squarefree.texL?M'HOL-Computational_AlgebraHOL-Computational_Algebra.PrimesPIDE/messagesJ?M#HOL-Computational_AlgebraHOL-Computational_Algebra.PrimesPIDE/markupI?M!HOL-Computational_AlgebraHOL-Computational_Algebra.PrimesPIDE/filesl?gMHOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_Fractiondocument/Normalized_Fraction.texT?]'HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_FieldPIDE/messagesR?]#HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_FieldPIDE/markupQ?]!HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_FieldPIDE/filesY?g'HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/messagesR?M3HOL-Computational_AlgebraHOL-Computational_Algebra.Primesdocument/Primes.tex W?g#HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/markup V?g!HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/files T?]'HOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/messages b?]CHOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_Fielddocument/Fraction_Field.tex R?]#HOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/markupQ?]!HOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/filesl?gMHOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_Algorithmdocument/Euclidean_Algorithm.texa?w'HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_AlgebraPIDE/messages_?w#HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_AlgebraPIDE/markup^?w!HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_AlgebraPIDE/filesb?]CHOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_Ringdocument/Factorial_Ring.;{?w] HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_Algebradocument/Fundamental_Theorem_Algebra.tex   5M6,fai}DfY:f^3vv"M  Ma $*_h/ey n8oڶ8˜:8&Ikd96H=1ROE ds( Ħ?jBaigs*HßeC{$*$s g89*q"v! #T(/r)+QWJ,./yp5+o9qFԱb.PIe3DO؇@^ _k\&$FOF dcTVB>&̇rDdVhRBQ@'B!?b׳?6p׳×Nş5ϐ/K6[<^ E0fnQe ejYM^{}r*9d;,͋G`F F}VRk=ESPC\ޭhX NssbrZ6] "9yE?D!ac"~v" d7p*o>o߰+V?.ֈP+Djr}r6o(r2鰧=#W!^.l)~̅5x"F^]兮KO7S ʖx2%B@"醏 vWD5ٿ~M0xVB7xoĶ"iO( '(ѓ/ )MIW6I(0 44sA)ؿE "ajuRw~▧y`{jH;I w!e8eoj@tUkW vzU3ֱ^7Ѩ`ӘrB4c'?i>f` .}?\7G+;UҦ<~I){iLڲ dyݛr]y=ˌs(~{􁞾0#U֝L lbl1\k"nHA^"[n{x7u4HSN*? m*yA"TϫUo葬=tNŴ[cq\&k ?I:);F4 o?Y Q>X?b`X>ײ6pNJ6iy _՗r5mux[s sHK˙ :`_`~ ؖFZu CdL`+hۘr{;ƚtT?߇/F 28DB=rh_[85R*p\~l- WIP|~˽Lt^rej9p5Ow TVZkؘ<1 fD&XIy(澑Qdv+W )A蠍 ]T0/0 z(_ػWV)Hg6L/wzc5ܲR,_Plp;l0}Vf,#F2쫺!{Bd[cqzk#z{%=t\$j9 J3,0V ^DybٽC7,aWגR uIc =?rkƐi0XrSH-s@ycE}5UtW̅]DEhEYt51.?̛Vԯk ';Sn[ρ0:JQl$ߚm^1yjnlK !-]5IsxNQZ*%y|Eͽ~HTloMSƉcC\YZDaDiq2%%tIC(iXdrc B00f4պhNrHEP@\Ÿ|`I S4OrfBfL2@:z\o@6fFI^i-*|Vc\/KJX :յAWp 2+T@f̍N2)Pj5]`b0f=PO@ƅ̑N\!MzI,N \םONG* ׽^ZYI7n3RZn}M"Px`bP jOzæzE2ZbZw8If2*8!9gOv&a}<B!-#+R:u"w兄0{DF{6llF0g@iY?!#嵘{˼\tYPsӛlkkKnzscg{篳981 5Ujs 07|Eo1A1>l(hqYLX2P\tF >H7wUXf yϨԥ_D<Iۙ@%oJ8"tî`d!=Z{B;y*q]|VA* + ]Tk0fūX[ R0mmvBxDJi0%=ԥIlZyHec2U9' Q},e#DYX~8W9Sy9шXI$>\*^yN %t 3ےR(At!XEGH>9;TrOT-P("k۹Sd Zirc9 Ov%v]p]|TP;3DT 7#_pޥЦV2 ;Fi1ܼ/1)N{ܵ5G62:NF% L$s)^n4k: nQ 4,Syö@:CXai.Ӻ4{xa%Dg\i ;zNsM'ZEx.f&wF|CβA(}q J[hc !+ P%US9"0z}0T>`i3r 0+cc3q@g̉ F}\# }xfOE=ncˆ甘g2E9h$~I0X0 lfZX-`'otjc!к. 9W4( ƕoܯ#A(C9)S-/@q/Ehl,`K@͕M!'ۯҫK@"mQ?(Lrba)vٛY1n|BS5WSyx$D?Dg+@j&!&^a#t'B= ('D6$Y֜4ŧTmʔ4$mo4}$t3/[~@% &![眆}NjEZ[ |dE?.%zɸ]$^o7"ڲLL ^25֕<85;}HDr}F e3ꖃ\NdgZi\wF JA`AgQsYkoeRi'hMy*ȚL«nXXw:&}gn/ͥ k"kH^cĭx4T·A/Ak ց*zGGA(+§JP(ںq, %zeG.!lۂ BV6ˋ!o 8&C<SZ(%>M$ftq~˭;7Vpwf->>mɡ(tȧJظ'0|͑ږFʛՅzKܶpGzV[@k8A/+N1W  >V}3e Qy٧?68`|Sds#ŝ~3.G1C}%hd_غQmcЕ4W|_TNAa 2o"w{fO㔔ڹ$m[F ݳ^;P2`v`ݥ߳W!#"⓼/-I?F^ǎ \dFaHJ߅휮XLFJ   @*,9ͺmk%StAWG sm`e~4Ĭ b*[CFQƉMng4_m9uqP'uhXFZ/W 5-UQQt;va_Vv.S~mfȆPt1'eY2Oaj,"rAu)5JcVbMD^Swi^U4Xs:0t IR  Ɨx(ugwڴD`e\ҁO]u=X@G:# s%:]8HY2e*2S>X a5`a8<5jtn(Cq4CA n%z›Ƴ(s/Q`g &x֑'*GvTzN[GMv>qUeBӃ7 'bu:?;(R4Dev]/ X0 2 `ô}xz%n}Y''ߊ4c*A[B);Kp}SV>v\݁vҖ. _Aԡfٝ9cc~ N%nKvռnY]C;y;?PLQ8%ҬQhx9ka<'IL߉&(јJڤ !iYjYNHU:/ Dzg q~l "4stwBeS,c:[3,PCs>ԕ߼2K5xŷ_D d |g8 n_re0x_`Frj:Թ>j1qR8Pl^ٕAT$1+ 5qX`t $QFFcuOiq,#f<&5bZ#^A;9'/x2$!iQ~C )d(9l=7Ir7cp w"@LL575xۀ]+[A>Nbl\ TdP [F`JxC3(k[sz3OCټd*POsfM}?^E>{Dґ^@fj}20t Io;t$t[ڣE],!,d͟`$1I RhS?$-VzP'.ZDtjm$L1$S4QLoR<"gL@ReLc~ g ZN['j,@фvAweQ+@eKZl]4Sgv*@{zt:,{bJ1 8K4Q}\S&x 0;HV;_p M__U^R پ~Ɨt "Sԗ\Vw* N,=zvY9#=g Gaª=>Z?e5Ep̂@) ӕm":~6ö6Rsoᬕؓ͵`8g񣤸 iD}v:*Hg, 8c`)&KTߴFayVNye|Hױ;T;zᢿSyi.]fEewiua*t#s2EwjFpoڊOۛ?W~kpjoad]pRtXYLei,*\3MzwQNkn(R+K*cAx;&h$lRv"Cʯez{bNBNa^&ڙi_ȊI9C8νyJ-6~F_Ԅ^7'l,3W] A>i`_8πE#q! َ+H3\*KݒH LZ PX+D( 6F?>V jk@ڬ>o9QK>'vF_du$88eIVHgw2emh?ƷkRk`LwU"7I CЕX]Y{•V{V X&o I<[:DiE/,hnE 7W'/fOe8Cʢr`pH%u޹R _ j~MYPٻ 7nqɶF^]$^ f.\jo83䆬`jr:yC'ϡlOo7g卸 ImeQcC*|96K!OA,ٮ_mqhi(`D1@K.M6=z4N5REBDtd["jbc#NDC8c#1X- \WԨAW@_zg2DQg'=xĐn(0۞Ӯf}`Zz$9~O4*N|+9R{m bm8j;$`+!~BG~1nZMDxl̶(ng5 5 &k;u?=p9{rU<5X,O4QŃzHz)pV?k¶[V݂>Q&7PN yg p_M,"r\!`H~yoio~ d˩om>$[[?m+xZt;C0<tM2$GmV+/µ_eFu'2Af)V]ƺEd#fg!,ܽ C{$kQs8Ήr{d%m" FCői9zU>Q4tڶq!8?Kqex[-R 1;}l[ZykY|̣w@پNCIPȴK1LfW#4CRk +>|Bp#e73KƸՇxǴS&,x,v=7m ۦ+l۫| Fm\*Urʶg\. Oǻ:oyoҶy.#xJCv/P&eLp1-yoP٨.fᰌbKZ4Eo1n0d0*)ӤYPVnTv nġ'yntB;%"`z㠸Hs//n|G%L dXHV:EBP(ބݥ2rg  {ie`o/ǿ+KQᑤ$x6I h5A֊-bCC% p~X|;/:BI}S; Ԥ[x:㦲/D{",c.dkmn0g@4e ip[V/39 Jz"ncI`e0p,+6~ԫwFo1ۯ;rcVXs_lXpM BWh(@ Yu{:IԔL=N=[Lxc]}gFz#q1b=*˲eW|B*Mu$QSKtm< FnGi?bXȜrS5`cF8! K}@%]<˔*V`bƥV%]1&~q$ѲOzq {f]Aa˃g2Z0о&~60iJ7+SN<`.W&ۋ!tCY(yR}*D$5H/l{T֍mb|W = pmRΝiG7tb0kL=| O@F,*cya[0@x>Lv$ރ1+m%Put_.G(3 !\]e6qT ΀tc.;!<;m@qU-t)^ %f`;8 J'޶sDi99c]<4WCnuxn%]mwXv4s}MьNg^U~B:%D JZ#-10\#.Eϧj{D}:Z8=j\W6+g_Ig=*y9u- ʩ!?bUKDک:w,!J#< }HHWȚ3 "u*AC[UR73ڣ-~GvLM-N|{xbSYu!_@=].QxO|MDV }JĊ+Xk4$ +];܍ݢ^M={v821gogyf"Nš@8Z32i~q?erRFkQT(ptArT0T~~a!o.@'}MB =/J.Y7lesǼML~ڌRvM`{^̚5Ageb:v?eOb; wgz O^ݡ͕͊ttˏm60)ʳZv  |vMfya= OjY?iyqM?_{/_J?WƮӉ[sH~)3lv]ZKZ+ p2H]!v;|@o Y$qwtC>{/N{p_ZU VYTj`Ui 4" Eg9-&$L[e WnéT*vv#d A "eef'PUF3M_w9y}~:zjhwL ck|&'\2ihetW])O?viI>EPlӶ;m$ʙ.p3l>iyhe_ʗ,@Hq 6D>bv.j}0MU+xӓA&J1^dC3X; PU@RVDH?OSvAx]U \'~H+ϚAƵ}ʢ̦(~J&2Kc}K_9ԍd.zɊ'xAx;4*@c ?O%A{7[`5q%4G@FKU#HN$Af\myJ겼|+Y~Sw񒨞6!5բK i@[}- I3^ {yc ml*Ε 2v B 6e^$V.[Nh]EVr1+?/1.UTVc+eTCi#t'[e*Ӣ$髲K`GOr*"\w;ʋ#LrSY 3tݏ[/,{PsLS'Ly\}[DI\̶A4(s!$?-&טvL=JSlOfuy9K< ]+KڢHXb/+IAu  aJ /R #>>ye_ϛT,Uk~v,l 1 i5J!2jjta/Ǹ~bxXי:aرgYZ dë  A]yNSًLJ {`ɁkZeS"PsXm=9R0OOEml݈A/R ;LKRL_c\F| S">X]"_&}rBǐz;c&lѸ2.5SǺ]5o8s['G/x,:3Tͅ%75uFy S9 8dV:a%ҳ9"|ÀސIX#&cꔍ LuwkP@1ສ ra򌇔3Oծ9+TelAxa;W4IHTɕ~~ag$3>-N#>%0j`b ~Л9vd ԲӡpR$1=8,WEGPYtf*KKd n?JI> B~ՂV-{V Xb = ⽺W+⚟.餟VUUu3^Gk'a{M!RM!;C/UNhi}X]:zw^ٴ8G#eHagMeko +Y^ ~ }\(X.#c'5g\0겒N6q]t4v_䘟1>- ͸g`Oʉzsl ?-;*XgrYC:sŔ9MvA$Wg'BNJX̪AUIr,͙o"!ωp>D̎&'ck#{Sxk'@ctٽP E*3W= q:A#("Wm|"X^t^?%a}`}M.~bGJ+󨆅 mPs}P>4_'$հhN\[oV􍱿DqeeX+CIS. 8  ;ܜ@f*3;„h^W&D,E仰BUk;yaCVYD/niy4Ўe>Fs) ?XL^~}Sz);#AYધ3rwmQyR>>#,"aj.Ə D c]aV \rBJVd,w[8^<䔵ňԽg*?Zx1;Юџl諁v@#Gz|L!e0'`cu,})`2*SOSBNP9"E᪫ 68wLQ.rHYq%7`PRJ&]wIic^wLB/4̠)%MKe$=$$mԽ.@/}Y|N_wzG 8 DP;1N:T0D*i)7 O Kũ*E~DjKI'u}KlAO˓F?A=brK:XZF9 s,0.Z._<[zkTB>=a\2uΛfꁓެ-3:scaMX/g)!B`k&dֲp `jeH"5osC+{?S,6OTb׮K?/!5TWN0yx~"vV:FI*a$ɑI9Sȟ!B{3vsg4stT-]xWteTSIh Kf\sD~VԤrM G0kxVECPM7<]q"=xT4x-W,j;Vf{#. 2:>Od̵zQvn1vHv0pfd>x6XwbMOVB@ kD-5MQ}HYଋHUO\ Hr/ *o2ϹSDW!ܣ߻[2+m+tZ%u4{7^lB&*Dmv"nZ>gtMc'7܈x??p2UqmmvbC~ԫ&Ԛr_4B&c Q B9oN3, G fu&9~k .b|ߣġ9d͸b4oMLaޙ)jp,P$ ,з@ԗ);2 5\'8-Tݔj=7]A/YY{SWc e_+ƪl̚>vօW aFP*%pV v# LBp0`~2Ӭ~lWLv3KҶ!L5SaN|͋F`M7ĢaEF;+woă"cj~Jz CC֮؈QDX_hNˎm]Rw)8ӯGf=^9,D>%+LRxwv yOTV H򁝱N9vڤpƲ6+3B畞laюx=/OhKb*Dc;'ܩLE5Nd2w{E}$KiL,m#=dӋ& ;9R j-b`Z׊rSb;ξKpmfsU;(:!xơ:B%4Lf?>Խ!QqC_C h6i=2> 6-΢h*ٝtW2AL 8SzS'(G-QWh?xEEkTW_WONfyT26ݥ PNBL?4h4މ7 kkD$j0Lrth,:҉-q|[(E~<$(XFD/2xR{\@~e:㜏ᮖ7ht|D*,"e?"Vg2XŅ9;$hZ9M%D aTM(T%Axo hȨ8X'WVQřy wUob U;I6:E  Dv1ҸX'2Nyln~YS,bi&/ ܪn6+KMz1aD<\JD \$`آS^7ZX=*c\0Y= =5\;|Ljc1ן{.h߿Px ʀ55sDeU6QJGavDZ]s,s>R`)g*/s)&?^W: ~C0p '] !*W ?ˋ!#X& " Ѧ.D-@/lSC'`%@Zdkx/2Jh kNHqn\aשWdL9O8w2Kzip,bWncd4&+d{{NO MN>RsWXU$2<ՠ6]I@3'53#qgI\ 8))q$+VR.e(l[*Bk̿\;Nܐx^!eʷ,pm)=#(CW`pl=l|;y(usl59JwI|a̜,§Wg,L?"y|iWD49 +:g+?gڿ߯0`]P$cVZz6ZXd}{OT._כk %2Ň`xĢ̆;WYn/rXqU*lź :9C 7DTqON7E$@u|bB'yl)=<`ix\Z "c P Lu)Sjb I&Y TFEC&j80be@j={(Tj%KzWh 4'%bn:>Ӿvpq>b"x(-Q=?wCKbX!BЍ0c=W=(C~Z¸ ŵh!\ugtg$P.x`о/&l'_g;(/ ]",ZzuRɈYv7X$2uNpF#.G? gW*ZŌBR~g[YVv~"T1%@A 8;2ut\t6 @'ZF),  iLг'.U9{|вmF:r}[c/g(zFO}rA(:*ir \<)5FX3jo))M-1$ň*e*8W!'}~AX~N~nL!QTiNt3~ n(Jg%O)EhI *1gKdt|/DNnL inpþlTȅ9hG$X?FEġ3E_"?b_* PyMCy!p4ɆzB3OSExI5ړSDBB/`Y4XM_'T=.*짆SXZ|kMo,|{ӫ" >2uqD828e&y v_S?uFC6 'hxC|v4BH%[y|`p c4ʹ: cU8Qf~kZ@lxtjUo(EfXh.XS+' y OE1z2{ %߆AD Am$en$їistu.Ijx"鉍`>Jު: oެjp <8e*4澣Uۮ?=]eI"L\_&N-s=Hρhm̢Qjg>בmp&Q$>#U~oZ'&˗QFT'eN;*Mw>\>?]U;Z9TZ;\JFOj!63@eY#D_إ_G(ur,`c"K+h_J}% XggjͥeXeycKv#m,P?>` R_,3D7)wPnLW ͏TVw7 *ůޫvWGWkz{Rx62aQ5?z n׏ݻ ]z6l1&Ccɬa;:שC8Aǵ ח,Ar>cݚ$-W)m_q(vN~9fe+\ 7uHIZLJ|. 0?գ$Ю:nLN[&I ު ypqC@Zր {W XSSx5g'V$|?)̓mn$L/ zMPq iXF,5(PCh̆ H|݅X?iBvK5G4xf%+=_07U9y0 CYoU zC9)j$e"ۧk8\*&WK;:}K{AJtl1:u%'^t8Rdp[+ * 8QeK!}wxM`[1PIV9%4r9ͫ@,iQv0ygy%ByG=0#lL$DPt=QjڞI h0%_Ց_0P—T8 p b ެ>+4 W'*7"<&ZR'A|{2l ?H :|#%gxb+?S^[z1Bz^2WgLyx#tB띏/UKT\fwHj_%!Iy,qL&sfTԋo!Xú:EQ=)HOibzJ3#6hjdw&7Dd&_R`>)zVl>8+X(0jp!ntNN%bwOBaG׵XfSH0(ؼQ9m\)/;z0? x2 . ,f0  &k4YVIN\$:_"6jMC͂>EtPP >GP s 0`ȵ( h+4tS8im|Lsz{ALk{7_pEy\or]Qg9ޗyɠP*zq H*yRZ)|AzӇ+3CVxfy/CA4gsXܤ1w[??CyJvAp }aqܦOW\OdC|l׽<`7a+z &kV@@bQ*z0~eܜr^D(aILނ,KCMrL! DWF)ƪRPGb_JS?ENj?O0>`V8?CQ./{nP+Em̈́ W=?Y(^3|*) %_CL @Z\pÉZDԩw>ը!~o8={#1nCHLT\Kf]"VٞfxN]ADU|cn<'mo Fg6_Q4v<ܼ{_#];_<;^OکzQ3.]!m <98#>u< r hly~J Έbj7Tz(CӐ~V;2T:)ӄȹm%'={c˵c[S$ZBnKIO3U]:QOTRCֱ:/1@(1`= mgHC]T2YdX^Xa'dr`ͅ;eÛ,ޖ}dqLӖKY0# #chK+|Pyĭu gNC8îL44E{ wNCcϾ.?L| `9v1R *؃oݙN<9mcx*Qhcpŷ<mެ_"FU+npaǩJ^oph(uؔVN.%xbt^"e.r2O Ѧis/bL?Kqb]89 q8 #km|&~?6672w(]OIJ7=:VKlV&Z2/Y8`}hZΎf`'|DJTe.AkKU/1bf KR"*) !56A|G.$ l5xc=ߙ㭶"iN׾[/ZHy(}ݪcqLя @Y"8ȱ*Tzj)e⠛i3Y ԨiՒ;S@0MtĒp_Hv/u|sǡ:Bf=jZW G=}#]T'- /*YgڢVᦡ-gLAt+=J$&>N&ȝ^ŴE$Jy>< ~Ju-e6%SIk@4͇&J"x}v8 X֛=?sUE|5%-nB{rw [MB1Z &BbAS|@jJ7&ﶰ_td9 @pUZ wX!1UJ2_U>yyM.ĽO?(iO#c{05 iIT l ԃV~tSp=p:)Dǽ!e,L[gftN_:٩߄aa.x;&O#|&9 l&u;4 IRmJ1T/"h+zǸ{([hap=) HB+~> 'Ȉj0H(3-U ,77~y K?L Z+Ép[>ũA.X|+O*N{ ^:T&$1dWWvT\X7P鷉gKCP6IHP>e?,IEsiB{Yԃv[] $l/Nfaf0{w3 }/*IT]K&B)88}l;#$*㗸5Q 5sAT׵V-Eo;H3[[N),1l)&OlApvtg+[f$1^0u !tMpbW%k5-,77`ih}Xo-f5JRv>Z/ӹE)%owU 䨉zqY$ hHN;es!:@jыQ D Z#v=CmhvpS[`ũ`L3)щm5$F}(:k~냑l)GePJjo9>k;Xp=u=aB(LDoU3bQ_ FB,qxԃ ?2Ӕ(Vdf9_p+k&IU#:f`*;""؎Sl Fein =bJG^J*Z pT5!2>sqY9D$ݗօ<*D+b9v Zu>n@T>h*%?`8hۿ$7G*#n*(s+TkՒ\z;bt =mLp#$ɤ֙~%w؝HymR\bL|cw%b {dl'~6r>An>SD$QWDCi}7~!M0mCyXha3#ڲwb9r&Axł'o7hRanGqc>Α`GC N\xFbw/m;lidH[h XKw]%NFьdt%V2 ^aJdA,RVtzr' V('%0H&2%//5ʚSxTDVl?չ+Ɣ:бvd{E)Ui=VuJ.A|D|GyZnȚ.H7`PmQRW͗=PmF?J{KMZc*Yz:.!~/\~n1/>!r{ ֩5JoCgmJґ \guZ=.Nrf$/Z;L;@zFX14ӛ#ݳ4wOΟVi2 f8y¥:j2_ECb3؋cG8s(:_§0ҨX*7$`WX= PIr8݃r aHz"1XJǰM,3ܦM 8o;̿1'5b b|m@zC`Ki/JPc"R8K&]"l|ѫy뙚j,ke&.>TNڕCz?􅾋$FCbLUGʝ4٥DS2r) ?w>IsƲM͉xLyOp7zqY73=҉hE"xJRjDcҭ@5a}%A(9ztꕢ18BQeKޡ]Y$@1I_QeNȚ-5X>SS0Bj-`a"ތmcLת{vAkeBӱcwUطj_heAxvq@.oc$WқRrPo9FǎC$ @!ZlN[ڴY;.ìɩd魗fjB!qZ,pʗt&h@`ծ`e!4=Ӻ/Oy>=A* ik6;ntF a}lJ@p݅+-nf{Sh c5YMiPO̲9RH椻GLNYŃ[7XRVNvIqu}T&щn*w.lMLuΪsCz2ru&)Z} ix5^LŽ kYDSa. CJ>PaX/:EA9?XʏBK.k07O,TeF`֛†1՞"!-A_;7mtRVNVPQ _ݗ,ټ,!t=B4 VKt NHg"(z4YM]ʱMCE1%5^ I<I|ؤf֔&#b6;_KА\pH?Yrg2>96m_Ў"[6Ċdkc]aC=~f>O0P"؛YY7מt{bp}#@= fAh OjXm@j?يpn}w X >U .o;+M(XK_tEG9䡤xvkzk$|c*L;c 54GAoA/'$_s=Nf$%_v m\"wF+ 1,| 6Ekqͬ "1g}3L}[+IXPUT []X_=;W/s<\#FSM":=(y*E@,n+42 _d<p7Z;7:' +O@)2P8\RCjvЙs>D}e&%PټːBX/A|l>9ߘD.A4 Ԉk$ǖuJ⎯wX@^:C%ސ"snA- F y5P,|֓ˈ**+@9 [v8loq h$iW踑KH#-M ͡@ɲ桟)mҍe㇭0Rژ{f+$9L6gjcC@r_[Q`HWe?Tĺ}3? `$[}zЙg>`|DI5BB 8VwUňh6 [nl‚SypT_)g,Dy>Nz9C#+0xo+X'ilMqpV^e KMejdOňdCx~ E.-FZ&"3h6 JoP>Kj[h':[iJl62o Vn5u)AM7șb,ÕdiF ^~Z# !iweJ(#|yR0DPz*zO]K q:(t"+ &!t{n+9cm;1??KԸXRl,zԪs1WPL1V'3[}QɘӶ1F1yB;] ۻM'PK7LNcQ$>QyuXB7% PsLJ ٧Z޾z]RZaIu.ēsN͌ح:<P}xMX >ޠR!qGRzXV1{! 8`lSKW! ?*a$TXwd;LUb[B. r% L2E&y} MOB1zr)T:;5Jܾ(!R۠qQ-*gʲs-ﲲ1$vV(q@h/ p6qx\M"bP6 $_|,c#J<;#b^Q6=,4zoA$ƨ0DK2%pxGwUKNGnaq :T,:pAdYJ:Gkcso0FEZy/ &`IXo-hְl+Hz %,AyTίkY d3N7axl=g:8CKoKCF< n8 Eiih x#[{ۻ(*41xHᩞ+%H\c<ڶQ Ǻsj؍Q6 'SxLl2KO/Ka¸Ƃ#t&N2R˵ՖqE+! _g6XFk&HDJ]$H _ z"_^8Cbx(.As+8 #*^{gzCϝ)f/"˴НfZ^B?MݛTw"aF6pǪzLǕIvv ~`>rtwCȁa+ urS:Z6W|k[Nχiȧ54;%"#9{|jH6s,HllQf$ OŕlYsw&)Izdd$]E[xv8( q $X?;#۷R G8:y{7ZcO`HOK^ tC 8(ahD9?˲qL`A{q:"Fl82T>ZTGmCRDwXIZ##=0PiUTm%Iza'&]P%yu9T&n ڞJ S;jOe96t0T|>YOb pfP*2PɁﻣ‘6kmR?^ۣGƀ.ס룜ljڪq-yagVUz{ZT5QKJA@a1 q֣pkM|f/` uBmoOk1@vn%q]x7XK^5/P?r7"u4G(e"9@*GR9[ }ҭu;&MEa<9k||b }SqzJ ńu"}~ A9:ý*ĶY M('d:AkmtYV69saѤefy*Z Y\%̉K#:{i T%s Yd e"!PT%&W&}+̬/Ίf .]o] `tv Wc|9mS21n/ L/P:籚9^=TF25| +XOFƣ(l߼kF s]s-dSȾqبZ;^-Ѹʻnk \$LJ`C=xˎq< yPz \<#4X\4*N4 Z{Ƿ~/|Fh{۶?m\:?x']U7~b_1݊-&f}IWVhk.P: љfΐ v? ?F/z@3񑦥VTd6 8.!L$Q9*QH&IAfn߇4Iۗ%,t6@LIϧ݊lrd";3&/NT aC iU;$X.G<?H#3xk_l6^;I"9Σ)te֗ʽ8E,f)I%qsn6'(3>nѯ:뽨p%8416W:h۽޲B">gwg(#|Ywm]Pz .dϤG+i׍̔@5VWrcqYCh(G$:|X5g{B2B*ne~,2e0VMKh㜯r%`4Sʤj,7=4R[i/̨@ǯOGB8;w&uu-"KIc_Я'ʢ8VQ!͞wqIohW@!txܠUE)60F|m֕ƭO/9Hr\ϥ|)Αo l ;q5t+1r.˟v-F ! |Av*^\ ;_.;8_kڑP`C,DU _#jS#cjL_kԞG|P{}߫[QD|EOAIə7O=C7sg>e GKSsh&qk>b>ĭ%Wͫ+z]zLi`-˷i`UBŚ& 5R QKkў҇2KR7yf$GqLS@6ZO@a>5ft҈_hg%N_P@ޗfD@1r $1yC9ց|=.~dD162΅eMwc]"%nԤ㮟A.-p6[jlr&uIK}ິ@};D^Ua/ qۺ$wOINwź}1ŬsUk!ˊm٦\Uw8Z{P hWMI?*,T{HIlv[-p)JCyr`z% $4%b줈I]0C7-Y2皝&IQ%w |5qUH,gv12J6VF84 `B2VnIv#v=lC{|vmu,E6-2e6%х$NIe'Kq!k"nC鄘C %P PRC"t̖㧂0bVr6۲kEdG>1yŠsdg2/~WtUJ9^1[LjA1Hon'o4G\3\_o.nN;ޮhמ#i=3z>Z njJhDYvߣ+݃B*n`P@%9:xjxdcPD )TP7>Ñ'@~2M8Mz866ܦz%D_nk `6 X,!2igoywۅISLOb_k"f )_+HQq4+8̄BDh`%*q kxǖn\Fcϑ`"O^Kwl6!B 칊Dᄑ"MD¤80ӥEوkV09ˁm]$yj2?EU.\PQR:A3EeE/bmW"bI`/gR LRbwa?)N*}Ma0 \U'# S./Cz澌tZ=?:a \ ֛4z N ^^bTRX<}2@r.:d/i!x)ܰ B+pӿv;bJ s:3tWVF&LJ$Evǐ9mOSc~̦ e\;S1Gǿ!oB/'cE't4A5~m -#ߺmI76VNR>ov / FSsEc+Bj mV˥>6zm͌p藪(9&!>ƌ\ o1IyFziE?*w%(:r+ZwF;]CzUʞ(zI7c+_3fX^J 희"d\u]1v3>>ۜaG{tЁ(9W8 E19T/Mb:kuavuj}߮6jae(yMPХc5,|LabkkK׸mL!LdkqJsnU_J [m*h? T-UkpEV앁Npm`IhQҴ]4*ěQ"CaR\:@]#[Mtv|fޓs;Ѱ\S'l.uB%SG}6}5KN j7~a4rدfvQj-+l(~0>~VW4W(+08 :FB(S(O^:7%NCcny;m}K&o$C7]~\A_RU?Rve-Yכz,Y"lY1?mÃ,)Wy`uA8os6;>1fqinIg^euKf=s,& i - ?K?_ɱ`\< I1NvunX1)K'yxJ̔(H5lƒ϶z \8FB7^MQ ~R?[ r\X:wioXS媆|"V1@Y)؎>>fI'RB+1gۭu\VoBE[v$"TB`ð\{Zg2)sڙO;w:;0* m䅌<@x"]"PlqFx8 YU޹>g͈x;׍ GN$g~v-!XͨKhB$:8v7XC:M]ߣ! B}V}'2E,ӍI,C'|>5ј׺0)KXڥi˅iH8B! ! )n@Unn~\l0XM:_UE RfYT:Ьva_jE  Gdڙf~C{)A>ݒ[* l gqU@W4 BzS[۹x3z4o${>-SzY$d1TA=uATOH_H<)Ab6Җr8Bգ+Ycy{aG2%GuN,H u:YBGyV츰 J_='hKte-k;u?k%T/sl<.Dw2톨ň|s뽕99_S,DGƐ8N)bC?Stv]`ٷMF|q@vWGŻRև)$} )NX_ ޤ jθZ0KL,ȏ7*M NZ[;)-ș rPjw5ArflBPAfJg5~:nOG~F|AT_CR‘JHubI:v3##_[01Vl`Dr̖:.増h.`aZ%hVȸ,)kPΡ9\ꄋZpwu@B)z?1@Z8V*{}k^X4F2Rd-3ybNRpR"Xso~/&1a]2s2Aæ}۠hokqH$i9Z3hWh֚^Ki\J[C]mJˬͩJy$4֩LL3~%HVC5™:ٻ4"D@ ݊ ɚdmqԯKQ H^'Sz5J(^ؼP7Fh`JVr0ZL;@M8ڨ13Xi;91Ժ*^I"L6=-i+jFVfM3aɥB=k^.)˸3f7t~5M#ӍqjS"ez0u28dcdg1۽afg8P mh IՀ͕\tͣK񸐮1 `_SF!- Fk"(Aqh~ AQȟ>:1n)VJ+v,I,k]>#4q< `,^k9s;GdL=B 7R -7U^Hn_k@GF6̌"<^,y'Fe$2zı@%{T׬V,,=a|ť#0yMD@UǞ_ΙymOOE|dxTyV6 |c]Ų A.eEY낐w9'z *6HN&kp%}'d4 o~yi]Q ~ۚ|̰`^^D[z:n3Z,P-zDO+FӏWAR#L\pVmw&f. q#:2cS 4AW|/M& 釚19f@Z$J[tk)30M oeVQ^%<#·[gqv*HDޥ{yf֬Vb ථ04Xg !}$p%B%l eEL{ 1(sel* G7}<}iM LYčd+҇+ձ/ց|6 5'E/-8:°K&6Vk7%v/% ;~~N$-5,OU#ftJ"aM%!}.^}=BM/wachFXq]7iqcq+3܇0Kv[k!}zO:/v~B\Ih0?aZI)8dٍ2LqE"=FRun&*W7. \; *K Q4I.x ۂ7a z(.,edq|4"4!.Ep}bFE8AHbΈVKٯH#5ۘ bkj1Bgڠ71d#q!#IA O0%, +0 -W![.t$f(]߇D<}_ʏ ye>RquN>ȷ'zB!7}jD35!IJJ#`Es;nFbsdwP"Q"7d ;Q֣y*6׻D;/g1SV%DɈؾH2aǙʵ)0k{ WMf9< ;+sƼt b CTBkA-ܙ] =}d-Y@9Olq}Z GeJ&tFk"d~&Lg5(PaR(!ye_X3Nlq3H5ItA}-ss|lI4DrsSz08w^@jI-@+of#ݖ6ԧYסB3_w45"JE9G$BrU$?&CcIVŇ&2 ZWVBtDw5r|vZr}$⨬ ZAئ4T >|aԈ\7p#MS~2IcWu9-9=G 0};<]f."$a!YirLG{{'U0^pܳhY^-| jSjY3X%ѡ!pqP\E5Q4';Emdf)uԔ",2w}]5Pӫj3>+jaY[BK¶<}?3E[.GybL\>zl 7ѰP*Wg׿Mk,9̦ JgX$4@4 S%ereOM cu#xD .$؄`7 TkaKZoe^ iLRIO+ |e4L=}'NGTVg#m E{SJ-u^q@5^1 T,^gJx#H )v:e,BFI8|Lp=+N)ߠ4b4S3{llcl ɪyUdEZ}ȁtծƶKz&jalfE6GCCi sW5{.Ďeqz#|xaN:ICF}]ylNhU\ bASmۭJa~wSS~HNXGX54.$W;z֣y7QwCȚzO- .ck3iE/_mJ$'ĶgAl_cWT>#]+{5+_Xxg zJ I6E %~+#P0t΅qI27k5w7PBKv&U[ 1-dG "r:ì^_#bF(Ev[ObQ'Z~oJ ;2G2k5;9/(7@;7Uz`'){.t.i@ Y 杊$~u~|$:T%恇j{-ʁRCNl4祂I(Pf-j]A*{!jd:t%ȬM|MN -}9%>g^#EoKfRf$A8TGİDEXä Hے\bH48t?{ U1x㻻opDtw}>QnW]o1 [vJxps#r8ȏO0mL/ T2SYoH&L6JP#8\[wĉ"79v!_$ Us%W&xl-S"q-̝ZqSþǵK!6k%Xrx+W:w-ڴ9|+q-(:,(sDZ!IJ>mi8>w8V!Ψkč!6A1얥&,sz(W*4 π#5 =b gY+{mQѧG}@1FƀUp SO " mW*4:skX3`{N2L[Mܕ[^!ñgYZ mm{ ?w] HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_Algebradocument/Fundamental_Theorem_Algebra.tex7zXZִF! 䬭L]A-MՋhvG"uIBm5q\<}É4@9V#]:~q^U-}[^H*wh,0-˯E /zX}]6hH@#]r6P2X?CO  SOd-O~LWYEM4U`iX<ޙ|5 H-Zf)!0Yi)5Z@~e(fc杕T\Kcl75}[ଷF9ŔNG!$tN1}rj#Mu>o*B2mָU 3Xi QxcfokE=>?羌FyP' Dxɜnė< LJ 6] +5@Uqy^a#mRB# AzGw33*3{3D44I|[CY(Ŭ\۰\43v٤ d٢aҍ3ofHv|آʯ|dM0CB;SPu(93@“[ȓчxKT8ZCTiaoqo=lcΘ?،2zCS_-<1up0>ĨԮ/4wc$ WFE@#2:29aҿ"q"֯M>N8?2.0lX3B($Mv& J\,cfC AmrRmBؤ?w%"v:(ދ)a-<&=*u!/Bף2ud8CsN*M$) #X}BӹOÜ`Ap#qk^IN;BfS+'*JOS3Hs%f\PT'a!˜Gs]l) EZsQNǀw=u 1OqK0,$P1حG8x>X7|Vb,J+l{?ٝ AXܟqd;'\4\"@54)$IJ[HR52Tnt7(`c7rOljG"2L>f}:9Ě7;?!EVkb[aSnf Dfj~ve >(!' g{ Kr6?zdgJ6i2#[]$=k0M2݄-Β`vѼ;s7qV)Øh`ت@Auuk7S\*^{Gf9{B{c"|6z:gY=r}#`chg$+ˁ$w7@] LPkc)2p)ʃjO2$ =N@PP~ǐ6(p³`(" CxR\ï[כDf?(-ehfN~c=ۖILJ{㭰{$CsY0#6_ m`Z+w81$m7sdC|"|B^ZPL\Y.1_v=Tv?CyS-:Jc>_0C߸RxԂW􈪇]'WSԲݝ'Q?+Q1 caYiR]q6A7-Iy9GrA&,`L?lnTqu+( +z'rd<~ʘ]#B$G3/ZArڑ>_=!0@;{R/3[\IԐ j!>K#$BOvIǦ^7.%.&OIPC"(Z(?_Dǯ>تC4PMEPfwU=k S2[sGX<`ʫU|XRW6Ryd<#ۑ,6iCa&@>UA|($VI6~ڀf/}UJF MF9xU1 @~Ӻ!8&5 #f3rb40TuzBJֱ휽;Pc kWڕnJ~,0N*I Ou/O1Z!6'BOEnQ;Zyhoq(hZ#cT9ce̼l񶎝u4$ijј|ũ7ز1lmʲ˖'K_&KtJI.KѢD{_1_c' (jgzű|4VBf~Ma6"Q9x㇭'KLL*G _q53 1"I,f,_9W]E4bnjɾs.0<ղA ` ''WmjZ9k\6Th_ ~b0Jӻ5T*2ME`4%&/YVUzKQpdWTѲ_ac 1z:LMH9:JG363D)j ȼb=%55D*0NhX(~Xիo q ^3!DZ3f4_Ai|&=*n1;&qgRrnsXȕEc7!͵mn,,e.5V{KbK+#ӺF#gmEd0P ~Hy6-s&_ANk +K69WF J\ՎH7JӯjӔG6<苇e~q-!&yhR{,W@TPh([+?Q}KJmH&>љYp?ԱZA/t@ |.\΁o!P<";𨮚(7?_?^A0WSIpp]3;V99+C.)g {ʯHoeA}=0pz93 Oqn 6bV!]hEITavw%jVK5 nN$I",rچ5d^U"(-/nj( }v pYd2)A(C5fP4kN0[8 ̝rW=i2o'N[q\`$\}7 uR2m¹ֿ/k@~#b-; XMd*j {A@>"A$OrNŠQo![$rёԣ'j x,}^t!NmT2#6\c "4gՊ.mfxqGA[rЕ d(OI<>P=9j#^uvH0qjEJFbiWIhldE.םlri]Aй=OV'f#N1Iފ ~|4Kn&dbƵj{anhiG cD~YyT\1 [t`{*!r:kp/+![:ꈀpV𢴯#ٚ$}pn0 ~*oc纝t6r#,kޓ mMt꼃:rzT9y~i2Ĺ/OиOr *nۣw.REgT|cMu^ :h!Ue&,z&`Ҿ|g̀)Rnr+&=ܕuwPFX}})G8ٲbePih';[^@[8 9c~x>j}S[`SW<_nzQ̥ ׯi|αM_G Qv٪S ҫq/cw&VqM-B.VCKw]Gl9.AA;xvw S %ƒ):⠓{B2KR<˦+LYD2-뽠>|w^*xD.l,e8$yIB{r9h>z ݏFYD)2R>F cL-ҕuEmz,V{4M; 9,])ēըEĀ]W/J\ex7F- bpi|S?"aengMEצu&V]~WT' ; +Տ{=>Dp!Jn $Hr#2ZP_`En܊"dψP~8yJ9Jr И8EFvWIz/)Nsp)whzxU\@͆gK:F}Ekm׺`$6-hSYJ jp $UpZ}i@a tes1WT\R))H7z xWh#`e6_e0."EH~1$!hBlHvX"2M0!wIM/R!o!4V#p%#},m Cϣ/#=-H_ZYC(*=ҋ#KmCoqzFX;&HS#4z3RG>꙳^:}EVPC"NIή5?]=¢cD~6xK{v_@A6h&"SvPt }fz;^=-P } 8޷޼uOlc>3k^<[a}vr)`$G],;Sv ݻ!]kXTμ= 8=ծV"U*;?K]5@z#`ljfI@K :5-V:ށI(\t^7[?o@t˪1pǨLKYF|Kt/1MϯYjh1|oT[UUAv n*Ἤ!~dhkEh^ssV3I_ t/+w75"B"MZ VDy.T)Lr\QD.RZ59j?X]DAT@,Psy? h!#4#Rqnpf_RQ=4v7O 9ɝ1¯xm?)*D@*UY/Ox/!^>녽ؐ,gz*ʞdC"a)Nv-f mɠ#X:=6zf&WV1[_cT+:R֎7 ܻl,8 L|p$ qWc,n J˩#Ӥ2ie@][),':5\V}φ艚m̅VbF1Ϝ|H/!rf߯$%`=.AAd\~yP:=09ȕЮ6%A;ESZH@oDNm0`z zҒFYthFmW~Ȗ:g2U>螕kaYj$PR?4O{]@B_)IvKmЋ$}L_})qYm&V!J3̓_W3H3c)ǤgОj'V _L@7@7c~,(aK2*i{ʩa Z9'O\l#l(DVsxý ٽn>u(]& ZU?H7X*蜰R~w]34He+HeYJYcB}Z?ȸJ2k\8nmPmŽ Sr/y? jjnt8+B4fDvjuK;~CpVDw8cxT`Lr봱鄥Ov4p(gX^+El(ZIdJ>퐯+a ?B̩ W?9>vKjs* -V\[φp%m{&Ω<{vYfS;#7OX49T6~i]y٘0޸MK4,0hPB-2WMO["ل"MZ;qPj~Ku 1oR2-Ow]^ՙl^*GhcՊ:eܵу<&P.P; ␔Yf@t#5'3ǐz#NxHq,< :$jS0˺g<Nd4Lk}zѽ.^H/ P}&vw'WcTP2^p2.d9v:8KپP,-iWT%l-3vX(AY6oo>^u'zV$}OBZ)T-=^a*&TD풓cW)  | /@: bS>7d+җS/*2li:Ld`'It)%B aWKY8AuaNN˝d$`4VFI7FӰ#T;Gm9?F}E971|L;0i ,6O( TXPPx"Ih"QHQ_1P ]tL|Ґ >;#0cӔF.En޾,+wlşs7efSDfǃd/Į'2W:}&A8wsaar7e80N Cᬡ3̊M lE-$!&0n6kHwգ֍_wˌD)#VWh>c>^H1Kv' AFsf#ಷ" >9GMίQKUתMtV&hA<$ `]I=dcV[A)`hk'-eCdwqt?,O!kRR#ڐ-=~ɫ_w*` dxu _N]X!qI'0ހÓ#AvmJs^gk𙈝ނEt 74_\Rv!M*&,1Pa{GjU( qTuJ]Œlؼё c T* pȨAȤk%%4##BYV,QBGs]87O;&|L*f & x{i͞[ ҨI 4 8bAvyDpcT',^9ҙ8 f2iam':?=,Bv&@2_ʩ.]*#78oDWAbTE[1728nwÒn7(.ȱӇW~ ̇Bqı|N s—͟t)F2v02 ٴ6NB ;w9?Nsstj9Lo6QERS>,"R1>r)Uvq9^Z[hU+Lw3GqV˴zT:X OgϒѤ"{5 @{*2r[|l&2/`tl[4pcAQBᩎ7D2 3 ӓe随Y3W(6&Fi37h30́t?3:;@MCR.vV"Z‹a"Ku$ \R0KgYZ yy#?w' HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_AlgebraPIDE/messages7zXZִF! *]~ hk.<VAHgM@*$b7kd% SFR05Mf3(4:8F@) lF8=r5ޏgPlKw[u !ƽujƙҋHUG Gl~Yz"q>>I )Eya#? JX-z91w[1f XlZ*Vm$ BɄN623kfsƘ7xs"%{~+٣^T8Ešp'K-p}?dIP'vߗ#n]g s}^e&Ն/L\gD?[^:PW(Z۷5֗X/ gt(|]}ɀ'q(-ױĸ*:+0CI3>GhG]; \[/3(.w;,2wcG1DXN <=*L`PA~ y,0v\>Y+d2gX εk>wQ j5,c s~iIV@olYM7׿+DF -u2 `QNjx\[Xk*!8D J~яdO2C?J:+M?Сz)y9Q#Aܿ!uϙyN-;ɕ"7x3oLc-,aH̘g]~A0!$:AY,˲=2'bhe\z1XD$Q{URڇp!0e5ۄ_#Kn9)MRn4<2hVLhW=E1tu7_$?6_|=$ՖnLIkV, \C9bܸdi/8:Ŕ >?c+bE-K#~$tgTiF*]k#H.1) gh>WgU8Z|԰J sbMe )C|;Ol,D&Es,fV"83Q_Y鵢\X;@kcjl96yQbGKfDm)m1b>0嘩" =FB9Js}E0臍IV\C Ƈ1Xi"ՌWE*eQ],%'f! 2j-FؚwOU(Kq-e# V?w9 lQͭo^Y9֐5-yB67`MY,I* ,|9 A3 #] *H`tΫvN:<ǂ {?;$XVRD"QS+KT\N@;d(cs %i6uܳ~*e<戍8_DmN yw_0Ind'?Mg+Bs#X]JXo併<|Cz1+4w~E&wiJ#oQ )3hyjoksU|nteʏϝn)AC)i~j9Lf~sf QcUAx;T=/8IC$e&C"д(3s_sa1{6t|pȲϠ3-kk6%Rg%w/:))/^L`Ф]CR>:Pa{_n@*Gwowpof =.W pP>P&9y$xUVׇ}2\>.kOjFugA^NN$]txGB5hz&3D 3b ,Nx7u<@Pcg ғj^Ք6BwtkvkѬ+܃ !ԌuvF9ElXP-K}XV,dzq;j; %ndJHWmH\ڼ3t6+0Oj| :"JEfR&[uu7C]\[ Fۃ1Q%?Eȡr*#O*d`h 8Qbqz($ U/ {?Ou-aR-F'ߍz6ǝ)jn"?gψ6%!Н1l$]ua寰qst۹6<)Z a2#ǝ3=?K-H]IocI^Vx nS;v~ط)qqND\>HBV0Z/kabqI+ۀzB`%[}U#liE% J/!9+s1umK+cxFi!wb>VN?*i@a䄲`H^w+ w>g@;EkEjt4 zmnatRSIa{B•Uh{疧 IWV+ xU$Cޣ屰5SK JD+Vj9rȮ.L tB`if{\mťr3[wץ@5?as) @0[@$$ot/@^Xw,YЛCL+"P77#SWQ2K $z,HZP]Rד(5]y+KPW.+)q<7`lД֧Y NpN:RBNP,Ƒۀ4]!5hRt;*nL <$q$%$CG_iVe7e гT*ng{rle0ZJk lfoZCs> ͨ=7>>)$vK %.d%`';{eZ76'067Bwk.gg ħ?SƋDt-(2i2!?RdI* N,D}5_ZFȒUA=īz7Yr0*NdPvZ&PVFss F 6{!ႍlY5Iy#ċkeon?eYtj[%:_*_w L&@Z~\wzR]\ /g"8hҸ&МC89ްsS;e[_Xo:]0DS>sfk<{Vhl4([G;U[=V +"Uit)۴g[}# sJ(QR;_`I+^F&󋢉o7^hfܞTWƈtrqˣA?zWmgYk&ܬ-) ]nne4*dt;+vq?݈W}'7y>;'{K?oG{(;Tj9"欩|ǂr xW6sb]sqo_^>oKVn`pE?Φ'MIoMaa8:A뇲 @[VVFgwa?s?9wbL >k?*xX^-V?rJEhϷ=}%Ij+LV|47TyԱ \[oz&AΔȖ, '>#\F䬔zBd$̐Rl93ux>3Ҟ9`|T$fAf98 }N#~wEE߿HlfB16ywͶwjb=y-ކv߫K2/6ueUSX9gW:4XFU}]sKA@ zE|"S}c5˰]%0;9)OG_5fS1 {C@ˌE~Wu44-^wOL<&M]E6(1JQ\j5JX7 ْ3 'v;,k }$5W)S3Z<3F337E#6ily% b EȘF̨5p7++y33yo]peߕ\3bX/I>I w>݌6 <=X`.dBu& *aMb*ܯD.2# <x_H,R"զB3M*Ug`:Gttyp$zhAgxKF ѹpt߀K Rҥr'02KIQO'Ֆ 㓣5~ؖ.+&=G̪(S[]_װ(cv¬ szxiۑ2? ?N@s}@=#%;szl.'Г;1d%]-'-PKC8{x? !pBpĉ5+\;T7h176eNXIDZ/%2u058k!s75-'#JRy7ݿd}KsNRcHq̳UgS??#0||%m>Y^x>ZfT#Mp)u3^&! w!^=a6~F' ,<D<XwJp:xg{X%!clrµK3c>eIDiK3u22niۛ$H1Wkd&S8kw9W3k= ](v&o;xb-zf81́Qz_<4ݼLïth;]o|Ovf:{-O$l :U8gєј#ݧ詈 UABcTUF=bc<§=)}jUf?qpxQَ"P@셃wch߼lZUK/`Lm5GCurCJ{WƴVt{c8|៷`$|x5"}mUp}lbB:8bx0{櫟g- !+4ǿBڌJͮ[A (`jwE $+ <5/`z"Ԍܛ61@ [[&_(( r,"x1ÀY].!&1y`;{lQ6[ڙ|)e5)t} -ؿ# E ?΃#WSJ&6p@VX>@} j&䳅}@=Lq~b$c]A2ef6"ewVO 3na&J3pc)ULݞ`Ƿ;/"Hjhl2;ꠊ*j|#F1Ñ1U/,\ U00…?Nj,K$6WDVę. Yqtf'~)Qf` "T%`Vx,,-Dr~nb~+ kВF.P>©>V_JB9(`~E/Gwn/gJ}1nY[$ۏrҹA5@@I{./1͘LPDp $*eQX˸GHM@#tU7]= v:(܎9|(2?+.,2 -W2.=ɠ`bԈ :JZp4dHhdrb:yN.(Az0< 0-s2x'P;5{/MAȬ|jjh <~-f<ػ ӈzk&V.ͷ$,PK* G՚vS( SmPHbq 9=9TIxA=hۺ$Ww*;)T=T} f] 6a|,Ξ0@$7) 9b~4Դn ;* N/ᮨxõgv?[tL_dѢ^d4SACv-< t)RF-e H6*MݻL36jc#!` "?bRL&V: cmҐcp#Fs%ڥ143XѺQpiշ%g&;שVc' 4j[ cSj$IS=]q XsWB_€DԵa3$[$F} R0B<%l}D;Dg46:.q!}L[aכaXntJqyWкwiTxZi|2TȖ5]GAG U>L^jXEל4DZ~J_k?ЖUUbv{ȫ26#HÄWlv bO\ǍhQkZ741jqG(-_ bA@hH887BçsO%lf7?U{E]Y}R3" 1#Pe۝FTęY ?pGU]ݏ+ 4mv=3jw 7O$K:^#?JacOS(q3Z9~uQ>GVa|ɗc%z$/q6N;|b`[c,!VRtWnZ=LoѾ;3n[<]kȬv0]gE%`ރG9ZECN}B^zJ; D?5O,rO߮S]HduToE* )V#9F/8?L]m8O(@norqt&GbY?%TRy˱a_LZ1bf pTkzښ/k~`5˪iZu狃<@+-Esduy)p`n:*Bèpr)D ]+*_I6-Y\&'&aUd G}>zN)el(v^Cn5Km*V4FseztBf5)ldB挮  0Dgض 1,ytx!Oa S=prKޑaCE>g3K{ёT wlgYZ vv?]!rHOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/files~~/src/HOL/Computational_Algebra/Factorial_Ring.thys ?gM HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_Algorithmdocument/Euclidean_Algorithm.tex7zXZִF! }*B]A-MՋhvG"uIBm5A!Vf- VEEzWgH閤$ ߤaWƆXM͵7fcke9(e a \^!LtpNԃI-7.1$^<^GRyU?nW/=6ήrv+\wC5w;@^[c!*d܃ j[Զf|U59ҎXl\Pؐ گp-THq׈cbaa.},8L;|-=Nǔc$EqCyCJ&Ne_j7kD O[D2.@_Cajl_~~U5MĄέ9l,]l;=:|:k'9EP ȸZO·Q'4BvŖV㎁spYk#F̬Nw# +񅮆PP;s+W3qxMKCϔkyۜƪtUZޒ)pd@4 nG$EPK-ޢ=HA{܃wqJnag{$BLHջD=)D@g,lqj[0!sm"qB,kNIvF MC&8~#>[_m'7oy|Ž,ݛ ޙܳymݕ}9t&aHAV3Mł}P'`@#i)BZ-u6 7u gCLw՝ tN;Qr--ܱn` '&F-kt#Qϳ&oSE֗Zhd| a:T}fWp)\$%ǩRT}%&p;x7"P )b޵NKG `:bdoivfp_H`J;S /OM:~2 R/do: ^6%N-EuUb|hV7ۀىnV73]U1"Go8,M|s1l!B $e}$+j{߿*)fn)-m#f]5;؊' "/m f*V!8Q!tuJ'ǿ'Axt b"lu>ҖWv_q[q:"K*(Z†/`}I,Z fMWD } d {"R#s0*Ċ9_2WDq$dKTQ\Rk٢IOh9uj Xh/T.bKg#.CV_/PCgȎU8z~'"V#adVaO8ßr(SOCQ*)O*5mw,37x*y/9oi16nI隥u |ƽ*DkwZlh'˚4l) f3.W: eMlc rm0#CYPU 4%l5?n|&١[+!Y6<aYŠVR!Y$}ݤFn|8tU\(+!4z;2<p: Ojz#Cv:-zzuVZfkݪn1 ;蛙<_E'U[S z 䥂ko n(1EtM}Muܔt6%PƽsW B7$9LvcuRض8|2?>Z7>Ax 0 d5%7O d#EGgSO$;_VG=Lv]8G (>;}6IcCĆB6X .P`^bX볔HϚ0$h ^TfaXl/e^{ٺ) v/ Vx ոXzi}ظ\fվ ^[Eyq{Nlҝ^i2:j^AA 6x#"&@Ӑjv̺t|TBAcR9v Xd77Ӥ3g 1P?3RHNn(:=FfcXx9;[DzvL:7鏈|$I9%@h3ћu:;l 1 »(9)+z!3%tZ?;;0i ~XYͶj.u:4CoZG\Kv>#] 6A;%ccX0'& aL!@J H!AZꤥAt ([ylϯ05,?bTs:ˈt-|ZY䐴Qɣ4}a(6K ɔAa\QMx>%5b:D?BZ\oL2+y VAFAb 'ws~@C~(D!I=KizzKBW& f[)1ޝ'Wd3)Mm 7lQ._m]S @5`#i({>=pFU1y gW_$wq嘤]x{RjVq=UECfOEk7̎T G*ΪYaw.fo5P:|b0 \Q-an*>b1惿g2m0jYl/qH1/AhIc3,` ߈~ #6qzc1wX2PL*[ iA 8AwN03Nt;lb[ =੉>m]C`9;3."@oX#b_rX2kE>\t3?&-դz}<0% .&7,)R_I*y9sbk®E3"!wG(uO BȵgM7^"/EK?C-Hdbsy!9|?ėJF(w8X2('}Isi$я.OPmDy~0aX}Wn%G/Y3N gbȷ0) 2e0A#Dd)54j {(@"X[ąESOzα_r5V.#i&ao;Pp/kB C: 5/aVƗܫp&:7ޙ>1S F+3]d^YU4ӥ{Y K_mlfKu Ύ?! ÒGAN<_\=*J:89Qo3j PPYrH/qfS;(Yܿ[ڮ&<@]l<)hW3pTu0[JЦi][XH^>JdUkh\{GᴪU#I%yVuڨ 6_Lh%3 .ѓ!Q Ql$hf޿K/3,:]Lhh7e2z*H7D2Y)ѕt FG r"woߵ֝M}I*5ex8=xΙ2Pܼ0hk#NgP{A~X#vH5eI:^ Bzh}5&:Vv~n5%$o2IluRuKwJOJ,c.\YbL.$ SM/fYU(D6Ҝ;dD8c(FqVGPwDEw/k\_D7bdNN!_UBѝZM(U,OY8 B]$iYu~1h9/ׅ%KfW&Zy\5G0Ż4e+7ɛ%UIiRd{̢˫`&?Ɩu3bܟ ay#)UBL$bT1۷+Cm|KUDòy\WwKTW?:2^g׶QwK]l t"*_ϊW d뾓)s'=O]~Z0 Dۨs˕:}4AY^д0:]p^S¾\u!*+sޤҹ~P$:jy m>=C8]X]ZTlT5 x tc'L|t~5d&«ED1cW,ӖZWr~A&UPzCZ8P ?Smm"VI|Zϰ?,(][VB3ZU/0P͙YD)}[ $e]Eot`ļے5-zoM!drv)iM x(!՜;Wy.>NP7ꏏU'#ܗY<2/7Sw]]?i4e?5o5 p /$RcyiХk~,3#Co:]Ȗ6TamFd{3oTMٜ%]C^NbgqyQVyA0*dS( R%/-4qj[p e:[lWe> CVɢ-v0`!*aED4\xEM8?T& =H9¥\سp))lTJŬ7M{B z}6;(\[bJ9}ʾ0"54bHR oC7R1#2nfOfU#o|la8!J#aL>¬"2ޏ0X, ?/N]j( x^.oF:qF,(&8ʆ;#F;E S+ėN`O墊UQ^*{Nr0Q\|1IXX#pR&DdNp*ߺȂLa r#)|35ئylH+tp?e`eO`׺Zs QI?N & ,_LDM us[e6wҡ5TSTxm`nOnn+:D_g#OnQp$F7-Ġ[7DQMtw)Q¤hWyҶw3p1 $>[ y %yfZ?^=ӞY  (A#TkI_woX}7"l0{b9zw8CYz[QtAyIXKHts)G\9Ӊ 9;-0yh|3*&VmՎoW,{y!{f8D}+4ϵGRE/#7T{رI#~덊K"7y\Ҿ菚uTc^%tkAqBOy]=] _e45}JLTpAbZS7$C-Xj@@=2yyqb[ @+,O]H6Oȹlk%,lP}=] y x#PY^Yͤ#mb0?5^Nu;\Nj8 _n'(>nթs־:=k~1.Hf ʕSU@X Zᆟ"ĻrJ]~LykxjZ\<^:WL&KCBll7tFoB֩q w7üz#HݳwfLe'nfRC0^Wœ|,U~%簟-yi8-E0rǮ buP2i*IrʧҬ_I]2*!?LGȁ|rp6Uk:l[h/giA o{p䧰 @Cͽ4NK0x)..k݃ÍY[ kxBNeY"sׄ) 4Z1bto`4$>t+H&/&ߵk)/c;2SRZB,ZX~%/*"5Jx'_ {{,g7 +W&?<:mejcm|'׳"JB#bjWrHnS0֍!Vm,d)hߦh;&h2˽o?!MHϳ"SȄ`a|{1dʀH_^ /z.% swBuvŻ Bzj `S6D (Ts!܎:*K!!`+.*F.zD 0ړx0^uVR΢F!˲Mē;$(/ꑬ^5ktzQH-m;6/-#ݖiDmmAѝP;2q@/ oXEewj#n$kS5*3%r%&o^aoR']*E4lh_8D(cイ-{"`A/wzdJHd;,‰::;!q]x뻧aZƋ*ci==VJ+kfx0h^Tdyd,jKG^) }ɠJIq`KPVc5k+iB~6%WY-*Abu>ze@`Nf0LY ;6]q3¼q0Z-u!*.G(Zd`#wK5GWfQ#(ƨF^i  y}D:WTnqΖ' c 3H4C'S'v`ȌD?75'X'صc[ $^ 25;w>sPSb7~U45p/%ґ; _FLiy(jOU},b1ݡ^m?08$ RyP:Y~I<v"~? Q\2bߩ:7=Dt~@}KR>E1q o {7vm71˰ӯ!X1G=W`]G$=l=eO7d7 &at sej : d)ҹVnu rүAS2]VrҰʏ[nv3C,uEx[epOԉ{EDv+iIٳ :Z|\)ꌔ7kma @Q?寫}@z2y3W_:PPZ-_$ՐAxލ X";(E)sE ?x3*=S;g>Jހ['2<3ij"k}'I FlNa ןP@i"M0)xSϼ LR* #| uMm0njjW!z. 8e#G8&$ƹ72A=~LwGqPw@?{ozF2γƞm4h?zt.KB+uHƙF 0*05bYeqH,VՌg7a@oW9$ʑeI_ '{U8%O OWEԟS!g__/ػjPڟv aF݁5f5Շ{IO5zbugQ[8h_qb(ky7yewJ90)Q{"@ .qwxʱC̫P=x0)X6 FBƻo'k}d8uNX֑IF?#_DҐXɁ[p %&~$hU 1>r5/5?گw/+z>Տi܍jIS-) 1ê< ﮂ:'SdߐQ#1%!0AM' q:!FŌCu@2)c'h?R(pt:.yWs>; ٳ ]X |Q0z!{b$kk*MZU$rRNwal)qdxߪ*{3Ut'kswv#C`cU+ &0YL?Xq!k!TDꉤݰJI<3_/ -wL Lj>mZZNg)NN&KctqG>aoͷS:zjKPAR3rX^~Y"}ryIݽ^o/H>Ni d rzu(^z̈XŶ&ʻ̘oM*y=c.wO4Gԗc֫ )aZpoci4wQ#7Ce$PL&ZkUvi!>@0\aOڇvF1\#K{KY9]q LP(S& x*{W̶̢}E?%5@?:|F ߎѹUX'pEdk[[:õU%"iPKzY6QʄZXɨYvz!vՂ&ӽ\A`M~)(n`A“zr#:H R$qa3pˈj6:g|0̚G Raz?7j{VH7q&pq4]~v ؓP x76ntNh1(Ҥl9m#E*{Edlu^V8$G셂48ZQ1&lemERm`NJ+\6eUl|^#P6\UET}|v`_kv]9=OexDf%GPPV Equ(Cz j(&6{06{boa[5fQsV _Ȍs߸>Dar8jJdxSiIR((8{.9{*1gK}މF)/DR@_0q9**yp8"nȧ`jg|%JR됦NpGIiz<Ͱ8WvתSIPRL tp3bYu +N:C#%,!.j)xn-U(df#5eXqMgH)€`2(-INө }URBe1!R޻IlK6 u=-An/n'5Xگʰ-nމ&A="Xz2\#vhomKuH &K5A)^e?2JJغmCW"ZBLMC&p9!&vKvG -וN[5c֏)x- HZ 䨅P ޗ}5y;#Ա'~uM;vl}xuuy:x qޜc }+Zkyx, 7n t&(N]13&.q!{0rDC`VMP&m0ʉxVax+YhKL;Cu#LdS︺BG׿}3o+ZH39 O,x}K(v -[R8!L 1FV>lPIՄ/uEw*?RŃu ,jMIM^ zݰ@(UeJ!E&9ϛ,EhŽFlm+A!t$ASJ΋<.jDt<Ș$s(#/x0tߒx@Be+y^ק$ 0T.9͋+," ;Qx8ԓ_D NKVih]qfEG`"h6Pg*`J̎fjY8XFE$9ejל.&ɗ}gH|g0|֝ui>sT% 7U}m]@j{\-Jɾ*`Պ9W5oq/q d#SAiHD񪈥_e AU|5"ԙXw#(質aɞ?1QK25k1ʌWt-t[=̷/ {ҫpRdRS LŽagvz 3,`*lPCE#xcH*4 y|;Kc0ÁLey`2Ɨ_c\/7c#ADLl} =Y#Ǡ L:[UF:gx: @YeNʊn%PP&g'J˟V%fݚF@Lgi[-'"8I;֔ͨTm3<y x]F) A3hBKrbv8 E8B5G&3Y B{| pA_[Z\tU}MZgqDI=<tρ֧zO™&;ݦ6:**1;.Sun {[vB{8n܃Q fbl;X:Toj:Px&mDSSpmyk/N& Yk=ܼI,wn0翾#Q#Pt`.q<45B+A_r`]WN-S@(ٻ8s";(ckK'񟓂 A YK<,v8ٳ Pַ6%w(څ*5y@k:us vJY%͗n^aBbNB񛢬ǪFБY.C>3x/eqA#"9=5`>|k|ul{ͺ'=Ofgd{'1}Vek&'M_?2VD*%c./PЙpD-}%t}I;\?jH:#̩BOI͊ jlO׈NYQqlS*Oj]i_?i">8k!5!{cn/B̘}m^puSjg:7nzFȖ[kʕ[KH^Zf|E%ApEo&3\_i.T1^B]n}7FTN ɠH.$.@yKeuq+,Ur57nRi;iK Dv8Qsw=L22N0oS*b,Ѵu"(;d/}OwY"X؅\k?Ĉ~Ċ+bkf ;ci^ '˼KɿӠC\UKx; lTCNogXkX]Z G_3q`@ZJ83¡uDLnj=\vO+?v"\BkTQ"*0YfP2z2f p1r3Z }TEE3|!(nf]Ry -.gYZ tty ?]# THOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/markup7zXZִF! X.<] !M젗OFK?a$Tx"^E;jr)WhTsJs18͔yZqA4[xK MxD),8_vVU-5M+T( -ێ]r"x~^p n,e>zP%(Ќ#Izk"5Ovg~w[HR0拋xC3L=܆w ]0J.OЙ3(#~W9kg#,f]^\²)]`!(x봾vu[~p^7GAeBz:%~ VEwaN: c4\Q,雺|X|g,tHcu>&:ш@aOn J" tJ.H6CSZ} V{EJOEHZk~a/E !̃R%>]$+%?&EO(:rZ^$uV06/>mv7!^-"!]=d!]IR.z^U:ص=:` j0H8-`?V*Y}>Jb짽=86(K_:z,N tm%zv9r1j4'حvuYkfL3ӕncgLu|+*>QNhҰx'Z1)Σȟ{О}GʶFw¼8c{ fjh9ZJkp9.DV=cl 1kJOڴ*dd (M&K$(Q'(xqo-ElbaE#'}IF܅x:@n/^j'h5I K<8$EObI/rqz ݩ@OvҥhWD-tښ{EzMM5PZKmeDD\6Bg KUi}ֶbm6-Bٝud„l{1,0N7US8V5H7"Z5f1crK" B+BmmM=N+Zq8V*(^T,O4t gG`;1we]A|Ϭ W$w7sKܯsʭPI1 ~WT 8b$T/3K݉Ř-B0ZXq/7HO~t^'s<ޮ;rlBTK8ǤK?+2{^e6歗!D<ѝrrپoY?I*Tmufg9"@M5zeZm8йx?B4{.Fjt)<жevKc DK:pB"*,_/,S_qZif컝8ۺ]L&zfSm$',} 1<`0N /zWʩtJo'rIpy.dQ##w ]lS!ɀE׊AOWMZ΃"Y?ϋ,.6^`yKo.}m<,7V}-AP=XT0*1PkPt9 7{3,FUAgI8Ɯ8} '׋t+mh_:р^tkb6WKP|& 8"qBnO]X[`Q/C0߳@suxr MtmB6#|gruߞ_hwfF!丄eXi(xԺb;r<#p$6vGI(n*K/s%\Nz@,Q)( YGib%`MgE2 9puj8TA0ϖFTr J.(tҞ)4Xg3tX:883ae{,a壮-օ&3XEWXW}58S M+ VC$E(N2  O洓FsFIެJiZlaXõo@?:(61w}h h@YM E6o\~}ER|:.X(.V%hZANܶ[ɠDZFQiPGubDkeqvdz}{g6_U86i,EEV=AcFBĥp$:37'q0)x>zi@v6Y Nu̓ :_RJ=}R0X5@z偿7~z&R9 ` V`3; i I蟷[{{*ԩ6tiR>>MJ BF)VYIarB,,(M*V1n sulۄ}"sC#+5Whܓ(iS^ud^Jf< ):A\|_<0]cZpH'yns^Aq=*YԨmPi= 6t7,Kԕ\KEA@I>aP//@V!^9Q P)8%?`|Vduб)LN<}˷&|^%~a\W0d5Wѱe]_Q0j IEG^ ` Kq+uvTZ`wx;TRk 2} ~DX0Z" S ], ­bJܵɉ%'^^q'B<)ۅ˨LNo`n X5~i"5vHf6]$laWOU,z”*D4-̶n%}glS&|Ə-9M;^66~|i3O m7ݣWPhge#Kk\8p.yOB΀ĵU[ q A&"uȘUVRb'dc#8V{՞El>lڿ^SvHeΈ̠ 9DVQXԛzެ4ͷʪ՚q,٨ɰU0\'.9Cg޸mʉjx`YnVTRM;zi1> RyR S`1@ +i 5Q(HSu?s5s~ԛIN6ZJnE]aa2Rs{nXo XI#PC@zF+֋7bwC6:[ɇM nm+qR-]GX nrR$glNQQК_8(Py]NРh6pǓ\@u؇<9A!0- #o8UEGyV׹Bi7*B;LwRCpyℛޣdA6[GiN+!qij[bܴt0iLnL G:8`&&_J Oi4R]쉔$hh[ _=29C$]|;~|C)6B$PXb8n6 hM7ɫj{v.62Hl =Ym Z {笘#'S|]-@F;=кk+me/-k{wX͋95`1`xtv H'-gaTSoD_Y4lhmݖ}ۃd9b[ҽl(D+Te|ϙ_.Ƌ(m V1[9p?_.:JDI -ge uX|#Ғu'ѻ/"GX,AB voP<n ^;#?1lu"gk'980+&]~AA7`nsڂOPbe_`^; $H 9_ xM_Y5ғ"(EHp٣oE:Tϝ앧Ι3ͅ9f܎)2-F/xh?+7wn/.:s cuQ1f0Wو@pDyc8tg:>M ۃ mc(O>x|%k$};c3=Q2 icuW6i,`z#=26XByg׾&*>wyGe!:ǖ GeM,C.)qYJ稪2/R鲝ʐ!~L!M;8B~ x `ݲ- B`?8f`Xi7MB7s-[^'R弦zY}j_Y9ݎg^݀J1GM.\-OtHq 6m{)6Se(Jo;(p<>Pdb N{~_32gȚM, U%][⡵|~wƃ4~1W""P8"a X:%)ЮNjq (t!_k5UUqά;*LlD%D=YKvS[:⢾gYZ x ?]C 4HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_Fielddocument/Fraction_Field.tex7zXZִF! $R]A-MՋhvG"uIBm5o'-Dr9UYD@\B*# M ij,0*A(`ʤkY\RHpwbDyť<j_-Yr\6W\kǮRED윏6sctYn&{н?Dt5[ٓ6Y rىPui%ۯw@LXX*kNA_I'^": pD)AcǏHI"6|d \iu.5;y/L <,ٸǮDMM^t+Jz ×Pֳ7^PmVi3w.tZmW)]HHrrNb"iZ}eO)9Ac8uy(t:}MK xV "p?q>4N zhMZLc08mR}Fџ571&2 mg+AϹY/?KU1%0XydROZޑPa7ݛg.(vƅDv:KuR_ػ`cX*#ThUn}ߙ W{!$!>g=Rַ."l as"a5]UۺTQQ3& %aIc쨵6I{P%DL[r1l&J\qjg&/ 2h .;X> [Cj,M/]Y?b:%l(NOY{Qa Zzn} 1,j)#rDln}k7tBezf ܎[3wzO˂A/p9$֐lۯU{$v]"ZR)?t :^ԍ㒇Nы4= Pul1iYحz8oD>@m$K<s\.mKjtH<+/oSA18>LPKjHh-ʽzebhK8L kv쩤Ȫz5I, :_W>v(FLEKh} ? ٔޚ#"Jwl(*!n(QuJM#` q>PLMZG r͗D&@m:~RN@1 ]M[m2~ʪq2 JrkaDZ=re!߮D TDw ' lhj;LP)w FAK!}FZx #)&<:]ir UF"" OcO?c=]\u`enVVHJa]d6퐏v;ZsR݅pTFL~Յ=뱲oRN9#+rg⤍95Z Ak luXQ{(\ٜpJBVI& $[H{icEЅ'j(Lˤ7Nתj*<{dږBƹ=>y]zŦ!h/kn1KY1R߬**ˋ hVyKL ՐwYЗ$Q%3e0/2[ܳ# N@ ),S>@׍~Lm3ZWM?r,nJTٱŴ`xɦ0%e[^Id$zMyߞ?B`yD3he+++Pd@̐(TjI_Ȗ80OBW"3d&ѱǮ6ȦS/d]Z; 3j@u"awT5@%]7{a-˜Uլ[.-q7ʆ zNg?;oh=џ`Kl9kCK JBR1eֈE o3 QЭeOɘG֙= Zw [P<.)4Ns)yК{q<_S'/> `MhJu.IqPq.jL'ɏO_H?i@%: zָU.@Z0#\+U8%?S!k1Z0֙zR4u- Uv4'w'ڒWEY4sb~\o2$ryn͗U)7p˿Xb "XaY &0+QcFb~J jd^ }F/;׺UY^ItG>$0+!kK8x5|/>fLRnhbP8LnyvFו*dрd\LĦUh(﷑Q\ӇpV,@:- dPw86)z g\AmctOu44;Fl#G@J(hΑ,6.n٩V$ ~5)lapjj'SEi(g3&yo2'O癣8,kEJ"Eξ#ՠz 飅ݯ / ?g!|HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/files~~/src/HOL/Computational_Algebra/Euclidean_Algorithm.thyN ?]' |HOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/messages7zXZִF! % 6]~ hk.<VAHgM@*$b}U ~?&ԞUP Wa] mn` ĚI@Ubͩ5< )3ہn_;7Yk- A{E0-cqܢ?p_<٤rG=^Vt(,M{i7R m݆fT |sDSTKL4x(!vwduFQ){mm994Ic'[0ٹ=G/>- gJ6#ʿǂdk”b^c}O$>t)0afBnֳ517N "ΚBt\Ĝ*HAީ&W/ܢEvzmL*LmҐ_#W_kTAN[bz:3vtv㎝i@UxEo&|!JoFaTy9.NC#SVbN6 f`pVe[._CՇ K6Tţ8$T*tǢsV2F3t``DȢʨ*A;4kRå^-w[+2Jߙh4߰ax<ᨨ7w_Sa'zk-x *{5{*7bYxǕR_'ƭQA"2zu HmFT;0辪S?]UDsi韬Z_3؄IiͰRxmy1_/V;mr@ХSKj[xn_2FrmPhOĺZs‹2JYc.e?""$ 8TY$9s"eOK-49N@r1cBN(k Y;-1 Lňrm$^%r*08#Є/M _q`5*aP~,T'O[,o=(d({|^PHLZҼSႩ 1Qܻ)žGT/ 7Vj??k,+zSv>pyh l;-yv6HZ+_ nC=J^]K-ucHP}{/yְrM x u8"0[:> tt/rPz_Wf\X&$Y\tS"7؃LK[, [''dhLK޽dk,)"HI3[ 7)rfBdV݅EkN]??T4cQb|Iq/dp/~Gl:Gi(`9nP8kJu3.Xp[Px7HDŽ$ nͰP4S6_)e ~q;}=8(d$#gM_|"(t@{-_/G=yv2 ?'&:"4`2S~,Wa?PRZD4at6o4y(`Ƣl3w¢;Ԑ HjrOĠkWhñTQ/k?nev$IhQ+1bo^ BHMBXT+fbK03 }m|1?VAfb1`PV)rj2q v7XvbMjl!DGZq*^vrLmbɿ0Xl[}jPȡ^g ^5= k7)ѻ`#-JٱwFp&R6CK$6s;REA)mdi[cA8gYZ.6EjlzUOhGuBv^ظ7~o,[Z]=˵p ).%~0F^Z<.O {hT31lba⣛,ALeԁԽ-{솙ot,v !j:=țoB( |%U%v >'RH'3yzikz;(7 uBֶLIk&08_Y:TN0Mu.ŗJFDEdXBϸ4]l̬!ދJ.ϒ"G 41 TDŅ >~`DrtES ߊ$CEЈ=>=u'V-5lK>+!k7=SJ:o9p9b͸fBpLxТwyF8jĩgwkA4AUhE5encz RW]-xijsD}Lu3T17U@e/ܜ B%4 z*ٮL$Ζ3]ds'V#V #쌖) #ײW2;\ԞY-Q r{ ,ijIBXX\j[M4*Jݶ=o^;! Nxo&o|4pslm/&i0Dhy3jNq|P_qU͠~__SBOA8I7LhTTM,twVEO 0<݅e+GZ/Y%:ovPO)TRJ->sTGFnZ[:hq%8 E ,/ `|5Tp3kUЄ1 WW3|ITڝ&bc+H(41FACtf)٨G)tJ2L]Ǹ0ŧ{3WD|+f}O$23-;$4)n۞eNB-mFg6Os@ ;i!Ab쩦,U8J'k 7D~_9j$a-xOglV?JHz0s lg^ݱOFrBxs1U7^fĩ-<Nۂiۓ{9elBd.ՖG/%603Xe/QDj=Aao^.U *XtY,[˾Bo0(%@w`Rbxj*b5b.ۥ 9M>i^7|󝱖|6V`3Hv?b(~D%,0p UI.^_%MOT-=Ǯa;Kz=}it$___&I^~>ރn 9E.t7K8:%5nV]iUZsa @)kfOV?T[6`(jJљ:}=\JyQ{0an 7+9 (q+7@~qOe)pS04ڋsT"c3)w(K8kP"l\?mxHo\|l ko\twDe5ύ`NP;XBEPW3^Z]w_`=ws0VTwهA![{cY4dtt]L5 cI&Yao:KpU]$R|>,ڽ_hbv3 Fqe"u2|:b1,jsƎ9'IEn*{{"t!K(!b q\$ĜZS.6^=QeĨ/2VԔoj" Prؑ}Cdz3]Jᱱ;d;L9DI},ͅB:(mn"8;'٠&^0)qt(敳pARy,rp! vtd6kԢ\T>YΕDpbי@8~]"IFzEd^TFE;uAbcHِT2t6Jđ)gݫ}T.Y.Ӹ exOt \j{<<(-'kLc8aQ܈sLPcKym4;>G8(rRv<@bܡgh-a-lgYZ A ?M3 dHOL-Computational_AlgebraHOL-Computational_Algebra.Primesdocument/Primes.tex7zXZִF! 3)]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5kLX~|V}[D]z'v8▽φzxiamp!c>L 3/a!s'}}~M -;'/sL\9eijgn N} ?y.)!0xёh)O>/+WK:-*Fx,0^fCkw+ipHtD7y;&Ė,F~mJoV}0B{C(fj\V[E[}pBWMaq;0͍Ϥ;?VR91)ꏟӟZJ$-9rJWZh l-%i@ |>4Y TZMWCptC dF&u@KlG,9B<]$7fIIPa_p!pvnVnVKGz5\:b4Uq`fny0rau[輏ָ?yf}P)m̖h]V.^{kÃg2_uh &6qvᴋ(g[j DVn;wUX#Bï ?Y{#kՓCKwmίTdb x' q2(XEM˛{D'\ C^`glΕHROJdl q : d\rbOz| X/IT{m\σE'g[)4 Vxuy5oo׉ $-z$E ?g# dHOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/markup7zXZִF! e] !M젗OFK?a$Tx"^E;jr) *һM ~5mfq(nk@E@,ힴGkaB{'2oRFa+(5vr]tl\>=2\M=5;۹vȱ-MkZ;s Y=`2Ri& ϻwf%S<%? 96RJu@Wⷆ/q <Ў7ڊ0KO=S#kZzؕc!NrNeFey*nXSuA K~r e4(mEPӑ`NBCz,ȱ-RhTI6Ċ"=<ؙ*ur8BVAVaж?:t0t 8Խ!qlB^bYW9%y7I=CS߂)rGe~D_t֕Co\6uՁ xXwlX9k_lʠt_98 Eg9{l>D yaM%|hbऄKm>>jP=Hi:iaa";HEslǶּM@ixƬPW}1T/EhE:)N5U.#V{R4 p@hV?>9Gi%+N#i SG#$wǂL{){% 1Gt叇3RV7}Pn?ˑh4zΎ*>ŐfEj]#>S8Bs2.XUeKT;R#? V3 S (ug;ezp^KA=ɧn'_ 2Hi]_ wJ6'CrPtI_Lw\أ)Dz'a8j)OhEzJ[h*^r7,^m OaՔC3* QdΫ9]}t=?&TxMtD nUs A2?}V9 =}-CmP)}eefovc(-bE+@.B~r[1{ڪ;L7V5 |is5"⍞w])/Uog&5עfeɮ/yX$'ԡD/&{vB4\it-WѾ|;}4mBɒpҐ3FM R?ʰM@Tv8UB=0O!%BJoXvOaUHJ@|7I#4cؐj&V^hOU-XZ~OQ V;3p ;R & 2r̝7f"XT%@ZbΑWhb!學ϭE\{r4en|ʜ- _3f(Jc@Q2f؏%gD[:79, /:O‘ϰʫ0؜v=SPԨfW8u_}'$EQ. 6LOg J 2Ap|_fG0TN8<[4ae8⿮EK9cW\o`ۥ4rC,[P:;+l=JQA$s揤=XRi@>Rܲ_K%G!#/L0s5tĭ+"% &ZT΂Q7H[+vjC/7|FҨ&~[EgkCx 0̳ HO;swBD M6Xa7p-78qn;[$z{|mr wB#3>*ywʀb=g4! !Q0c-8W@b&5+ψՂWD's콂 tnJweb!U[BDvW@KNAeIZ!ZI}^;:Y,RMoEi崮;f6&!H?q/E$Zs\~?eL?\KBVM=kAy)y_ bthER =a{tsЉdݻ4E `t<' s?0y1~gSỮ 1VT~5YsV4NKW(i8 E,u])mܿXF/iL'>#R{ Y\;B=زn k N%&kx+cBbC EQg+0] P'_+\Ĵi<1ЂwR*Xd֎rDAZ}r3/QbI1!8V6Gqq!9&, 4ed-l7HailEb%v#c#y SEP7P;}'ߋ0̅F Xw 50ʎB-uSXk\]C<& iBlեǙf:'f 'JBN|!5Dg)kr+]mP\3e%;5:WY<¾A ؑti $i 4J]q(58Ս`#6Ml`vJjmz ԟUTKa 7p2 "uXvlCkF?oٞj.њLY\ǶR[-v@!H{o*7_ǵ,A()6A_xgC*D85Vύf jiUM+ٷ̘͞$O}K,=(Rd 2~"З^n4d܂!ӌ0'ڸWӠWv e=wLd,fs&{$T3ݪ?/WZbkG.(kB /L_d'T3W׵.4OJu1qo) 51Ezk')$=ҡfT00ƭq/*q/Z<ӪS`G3wjp3kA,2:h̐46m">/|0 ۞Ie xnAabgј(4+z}V]y o% vzZd=f=[ =U5jJ|-5~<;UUF}#J9'OܫwaV>$*h1MF̸w6V.𳱥| ^^I!hD٪Uzoy( 鿛I& g)y.bbBÖWQ9iQ. =^E|®W-g wXSu-x[׻ȂH?4K/[WG&QVyh9hge )Ui5--6LOr?0>30J_(#V=vLβFʑ7Xm]jy ꉃ&-u&7׀؇ _9 T /:1D]F/w # SOtu49%w! #ϯ(T>V rAULu.ZӫڗWm5mws3檤 -''!%G#a)M@%%y$[\hb yZn>9#hZn>sc,$[`/Y& 瞚d˸VkXo8kFS s0WzGx>cė+Vr *l& OQCE6tC"%$@HmQ&t@I@S?0:f!/_PvrFO_qlR"!HH^5dαeiWhZ%[pDF̶*pI],=Qv?c̹Q? /Me>)SN0p!o^42Ccw,N$ k*,o/?1Ѣ_gz h.&JnX=kb|Ӟ"˘@yb04}\/ɮ=KukܔNbrfqКkQ0pzu1OAqvIA Z&OoX>&*m$f XJ.t$se-(\&7UHoy1q|9X?(~<+]&kOub<0xY|~icؙVNdu[ެQ3{ { ;O?,JugN~Aq =P.hBxAv AN}]:PKWfJ.VLs=eE>ӾB~M?xXQođo²AC%mXohQT*dUrdX?:( 5˔'Elya/j; !D*Y2s}2v/6r!-6%S0>18T19`_z1z*aZeb,`:?r=.i$ʍ{ݮ~֩c=Rq%K ^~$&FD>W2Tc"ץ@ ڇ=JqM}TQbj?sw&>kIʝqelp\vwQ,1(զD,TL h`ٱ4Ta# 3*8\'U3VώwJO UYǸ~+pG\;hGy~ yxWs>)k -~XǯVVlv[]Jq0#5MvwbU[mIԖ֥V~;沔+yI`yrg;mz/h8{ iRhӤ6j,x&R;ukTkސyU}&4(:DhTA$ `EϺ]3ie`qL3 n HEalƩ|S—Itc/)^֑̂*Lǂb2D-ŤB?f;@*9{gJ;4ٝ@Z.͚9Y131Ρ]sp7R !uuq _4xwnxf~n[o:ԹBݏ\F-C7*d#489G.EDhIDb?bZ^t}s7y:n(?!JDxy5pb3ʼnaf-&^揲w|lWlgjRˢdl?l-X8"!{V@u(32|fæa":h]5J$րvr[IX 00OBS}v}vV9iS-*3gd9Vt=Fn_STYmuTBz#a 4d@wMKLXFs߈oŨeݍdIti-}e,\]3CnjPSpIa4Qմ%Cl=}E2Yz(Ew7?"xc6j:ZȐ=wuiTu8f,pmT:,"%r<0姆hiz5wr SthGܰȋ ÉIau>հ[7m u|d+ G.c3ߓ{oZae,~ՅHȌƣzxtƮ^ZqUˆEY?/|W9 n|qGİˌL+^&֍HKBUoF77dtG9>vuְ՝eƿԌh BawlJ~_E-$Sڡ5J [YCG%8clT=B{ާ&8rBN9p)DH1;bҽCGIɟfe4 _vR>ac~Pj^o{l݈NB AR=i0&cz~xʨMÁ#*XhEw܌[0'\#c@zPyۿbq'Q%OQ {r5{!B[l8('(Ha'E$ Pa3fʇI۟†s_8n6K63+\n),i6Kz}Ε7ORWy?dFɯтB[ :׷6%0 d8WUp(vhyCD|ѐ;f`^GX,* ˊɗwy .9f{8P%=uALwIbͶX$YwoVBQȝ;<'zl{)!: $I2k+5$jXD¶rtRu\C iAWhIYj< ;GWs uz&2my, !ʿPARє :bŗsq Ɏy뼏ܡyL*tH[2;:-&;^S} }AHu{wA:hn+#w +33EqVfrF~2CIg蚠<`GYw-qIo!A^ 18"qѵжXwX-S~繿c:d:Ài1MEumA_hB5+ގymrqk(93(Ps۸blm0# $'.t9Xq/Nx Fkn)խ{V4ᮺҧ)9/D86#^cCX2 cmǣ3a6%BVA]H.M^d[nwSk}._ 6QA73[P 86X`'n,񻡂nsav]*9؎=g _{zMރugP^ߤO* c< kaW*v-R\S`lux"ܚ=5A3l?mVLVHRՔo5G;geKXav0N؈j ѵZL-q(Qm|_ȸZ`ת(0J= }\4rm~}嫒mTi|T."ЅqR4ޅߖB(\w p pT@_/Ylqc7Y{c(MNd#/!q(%ʨVT`j.gq:aCԞcϟ 9M'V4}\2mGzi9y̸g ~˿Ü-VjУ|<'UІ`Xx;ȘX0ќ { Ȝi۔OS/~,bvgYnN^zrPi/ML#$ҴbdF, 16܋[VR^E/ jKDW:𽯰|)M(,T][MyNIyv|:lkt"YlBY*zqYSn}K;AXwj2E- $.d=U8 %b3'_No3vW'nS]Z} $w(c,éxfx,jF(ČL|A}j"#&l/Ty6e]o^R]K1Ǯkl-#A)49y$Ij4QKpWpˤu(C% =vs" 2ּK 8yP,'Cu"0rwqK,`v{Fzdo$O n+0-sB%oޒSyЃ|I >EAMRfE맒oQ&lJ0z"dmʖn+8RAכ8$pN[h )H.W&v & CUX `X*!;f#߆5), `0%/LAԥWM Q8[FBr٘c\JbBJKEXJPs<ذK>$K_u f?X~Yɵ@^Oq9v^t-bh֞Sߜщ FT"lmC39(BS)܈Yh: / 튇|ZIR&U6%|j:$>Qj^Vz(.^t4AǙ/0=Lso7oh8?\Pf.<׋}hΜŖP #<EJ["Rlro v[Oksuɂ[8*Kb?o@4,ʒjk\7h,Y"+4Pr߸fvAnR?^hVobm.pT5* s2B__De#껣Z yٓbM]WTϒ %%>b%y/Z΋<(|<7`?:#y:8NtNID3rsTNR :3s`U@s e.kjB㈍qjbMvhڎ8}ǝYFOI2]fCVH\-Z]73s6(Xō\c[[doV_[6f4\Ϟg$ѴL3:o+a-vSUb KARަoXU>kQw7I ="WC:Hk~((c?)KBЛ820æ%^#_Xƃ%~'΋ fnOjpg':\di7!jg aV^:b{s1}Hq/KACxNpb lygD ފύ"M+# 1]J)qbVHSNۼ+_=lQt".q%ֈ04e4IkӲ|ߗ3qĶlVbA6z1I+ޚNYsX+o?P7##_k͆FKa A2du$~P]ȟä?z BMuBD[⛏%o~ЉD{=O헞ή.92 Vϒ>Tn5g2ODx\M.|D 姌_$l2n{?tl;Ydot ^fH%>4 %p $TT)f۝ ) ڊ!4XU*.O*d:dV.B?xVS'}_:+0]h|^]f$:9 bs|H3&5(Qd(>&Rn::LFSGe1ڌG؞QsoD(=$~DqDcCX3><_Kt {<,V#=XƟ2X#Q QO`_`!c .؟W (\Ӎv6Yv̟P@0wJIc;a%h.IJ)չ~YT`E 8$FP`eP kwkAh-\^/uOtB8OIJ%e{ߒkh\=~|]Sŧ:4`[x{asb89s pQfP9Y}Z{hzZ?ݖ.}lAx5EZB29"E*WΊ̤6g6:|=nC*dHr9<!<9\;WOΙ4~qf-'+8UV, +rXUyk6 "7E'VD>)?t.]w i4@'jXVµ~4S:ËMmnk5)6=KbןSr]FJC!l+Qù⛈ؙR&6S A1=Xr#1=9҉kѼ'Ѽ/M .9At6sAHHro'H/8@`5-I \|,lVI`3H|mq+{}I\{iFge=QsPoZNR"w1e\v릿?h -|}fgXH!jO4sWT&7d \4m(gYZ ,?]# 4Q:XʎCu7q WdmڹFvbt=@o#a+ۑ<"lD;wnD9]7m~u[Je SJs޺-Z6J5.co%]JA~lRpwByeH[7V0'eQ^ ?z">g&/ HL4[SǮ[֜^;yCs:,E93YqKX,UV4M,!͢v7&7ڀ/toQb1C"xd XXpnKފmayd5/꥟?yhEBuJ;}2bI\W!ҙz{+}JBNfB99#_ߐc7=AH?9j,uy̦/B?BU=o5GSmQ/oYukOLZHZ3etes?׷V Nf&rn=ɑt^#DZB[ 3vv Dd4br΋܉cH?L ϣ6Y`ZͅBC@Jr[c[˽)tS~6 @ӊD ȫDtS2֪>9(UFsO릓΀= 0~pljl8*gOTb<=:30,3,/؃ɫQ0? ؂T(|۶u#uj+̱ky8f{ Lt*F.k-=(-P]We0s~ )wNDR|9Mqap,b@Bn|z7}~RW"M#Sh/Mx<֜ΫGme?l?brb'u\rPR,L\ֲt{^I\7݇k<\?0 Ȱin~X+2^lQ=wrCXF=sEy jlUŌ5V -7xsGfsg0Н8Cfd$t֗gJ G6KB *0v7Y|k6C6 $_e GGUku}c6*eew\];c ;FM$t1w=NЯA{mѩc;jA e[^Lg=˘N%CLUҟ!78)tD]L՟jX9 *\=u }G(^}FeӛfAQ/ϪG|ܸd(Bnj]Ԃ0PfB!n;GCl &1̟` BBR龚ͯ)Xۓ46UTHD7weT@%S x_5JVp.5k\@ؘޝ% (ÚECAzYݧJx=*yy2K_͏z/MpMx.u^@x iynܛ{3@K}/=00Ã,/o"Iq֛Gpf]SLC[gvw۶8Mf/ubgJ)ԔdȔ1cu:as#!ESՇjp_EZYQbʭ-{Blh2f{Jw3x,ֈeF(i>awgYZ   b?]' $HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_FieldPIDE/messages7zXZִF! YJ]D?7 {?:fH\xLվ,xo^o}<Byx[{xXomR#bC;'C#_’viUqoZ狈O`MMuCRBH\SLYYm pSzհه.s۝-Mylu4g5&796x}Fb{nɬzY~JrZ) {ItT!mnp=).Jap$7xXMfL1hzגY'62 i܂"%oQ“by"yq`KEq=)9B kmC5HTxm !a.L4~F˴=S+Z.G콽QdqvN7 8;ODe0nIk#n^Uyf̈?;h؆KĎ#@QP @1`ul3Ag%m6fFEYR4F6h! )XO BfPC ̑4C=B4ܽcBS̩ӌN0R.y JPsLfק@D`L8tFt4TLL .Ap6ui.<@rpdBbCVRCFxG_s̠&2[WJJ Xl37T )PĤ=ȅ g#* aGme#o <~Wz(_$Cʯ0'U jTl}6iR/D鞸Nt!C1a~T{7 K44'J9KSنx2Û+OCqQʨgOli%kP"aMqX\>Ֆ+;IcF0Yu߀;*@q:O'E= ">Eyb}s5zGGzFBkXދCi tjgYZ{?'d#; !. w0IxT>"x:/ r76%/QbJ;~?:)X@C.,%}ޥ ~Yo&p]}H@wsf1̸pMFo_X\;`ׂe0➤BG3&#OTfdwe"胆7<:Ҍ?Ssؑ l)b\ޮcуDͿ(@^G+:G%lUK鉷Ԫ7t%QA^fM)H_OWGzEB,ΣK-YA8?ԾɔRd2P7CI/'7 qGlQlĝB[ߩgeh_3!çVeY^1ʱb?N(RvGY6aʹ6+x|q?\81}gy6wq}W1F)]]U-EO)}ƒ;Hd{Ө)KD'j^uH3ix$0K2-d~ ^/H]8Yp܎3#$BoΛrvrx%H/Ilэ>A#2e5lnx>"~$$0\q͙dP &1]D`ŵZYyyV\ֽ_cuR6 R[濨0pNEQ]o1RnVj$oȡedzDK{Kg2AŴ2\W3cQ_TBB)siW\]g\[uֱ_b7h˨9>HxI1\/Qs?E)7voKw5ʚjz߱wKPz'"8_8-Y>︆t,Azkm ܨ(̎&-ܺg TBTɹ >G/ft~>1 29 |_&7#mvJfNWL(cSnB^G%fЁ9n7jJt2dž(9ŅgU7{qJ7/SrdxnW>ӗ\Ì]ЭtCCduSŮTnC:9WpIņ5(႗cxq2':Dz;SXE]*]T#Q.U,Cnw=:`uKwv$6w/mz)Ǘ;ob.Ǵo\V`]Q@[GO1x/dNYMϾGwr۪gP"JIq5Qlh$iD#\IGڨI8g\DEP.{,Ln@vt^NjBʄ+hMj ac;$FPtd:TN`M_ $`O rOSI"+M Vlɇ]@M2p' jPS`d>ؠ_ %-Ϗ>Z jZ"/ЂaMZUxP`V/W'kM1=8\Y*7[{#Nh3jӲ·3@9sjKF /n&z/`3`C\!x.=q8<2ר% !t>לH'EzֲwcF˼/Qi.m5rUﳡ۸5m;w߀-j‹6 aj[yX+7:3$cf$W nm13,TB< pZ ;L~ ?)anXq|5v JYqJIiq d.Cm q?k]%:|ʃ3x_K{V$EsA I_}E<>Y;xo K*-xw \#GP$Lӵl?4qȷs %QBWyxt8\^b$ajJXYڣx6_-S.PsȀV]Hwl,IxFޗKkٜZx^V )MT_4i1l[*~ŵ3 C 'N~쾧^?3^1_n[,?{#WZ7u[ zt8Au{HjiBDW82eyp+r1NLzR+fQhR*4pp|tU^A$d_`*Ot' h=Z6d $:ڻosy㰎&aa.^Gȃ1U퓫|'kgD 6nIW>+ZI%⣑8U?2oXq6~E] p-%{lٲĽ$ϸJJdJR|:şڗ6ֳB4ux@3y\Ed>h!`\Gk6j4#Q8^Z}GTTzJO e}y\,0#ě)ꄟe\[?msxĽ(k7DP!4}wF=K`,r2@lZB_ Uk=nNc@.KaĚoD`22]bC ?nǂ-ަTJh[cjZ`@zonlҕs پJpw?Qs>pda}nc$j:ꕘ?Wڮɾ\_y4&:*J!!YNhJ(˶`ڴ&\`݉Qe$~vrY $L|&iotR8#T'-owOҋG F8oPͼ 4X!sbVI\t5MO>ea)0J `D(@Z$ڋ}\edS H"=i6+,Zr߶V#PM܂.)՘Χb3{8(#gEu>OjK 3js I۸b+8͋V li`O>OBeLE=;r+dR& wuTsH/~:$KYlOq<ԅV߲ ?$~u\Cr8OO0_&pR_3wnM //=݈*xqR7Ƹٟ_r ܃QwjM5QYiAN9oSԧu8*׎bZĝXB3jƼ^N^Fox 8DA@Z*JH-:e䐠ķ\EFd֫lppu/#d ~Sls .H|i % aZJMpc<S>\3UAれؾl[6&2q㟾uj ,ٞqE&YeK4A?&t#ݨO..u֙,;XUmo`݃n#A!D*M&"$ p3{=`ۀsIAAݳ@50xmՈg70 m  / Tfg84(N %ԌV3‚AMAqCw2N6|q)NєQtoE{6&):a:@$1ŋ(0H܂&T`oA}{>qCoKrYgJм k!*Nfi2;]Yl|hwDYkdb4%5ȨrJIɱxMK_2Y溺ؔFP$Epgl>1H4ń4Ë/ؿqB:?oȿ1C'eC0y+#Ε;:]JnC;SF`cJX;DPs4y!* 2Yz1u5μ_sP62 09 %doǕszEEA x5lq jlzz B*h|$HS33Ê)p,T8ۚTy7%G(}хF7L[^>Z(az#A.L -1,al)lTvڟzKn:D0pJ0uWe\*k)Muv[4ۑP<ەn׬ eAYPTo7yj1V{&q}ek>?'VJw_t[$oylrD{@olK,vGG wa9i H!Q6 )`b2\BSGW67g` uL0S;oGlPSbՠ 4{ZSѯ1#)lxӦ6i;n _P־V_-cA𿺧6 )EP'Y`/Q_ %eJNOj@}OMZjԻ23SrRx~Ē&X.B'@c>ȍpjvRIv+O$Nb( B2si'b%,= \I5<٪ f#+YSx*{3DۦaDj4Pcm8\^Nͻ ]G(RÄ+KFoQYOG"|g _!RĕM3 Rrx? 1.Ȍ{K +dqm SE!YX{u"څ^3 ^PBWv"X` h #55rtْٱ~'W2_Jp|zG1H&S gڔǠ^%d tgν7*)BI%vvae'?@ H3]2Kv~LxΪL4CJR _/`'Y?{K—e>POޤy G] ʍpvԺ "ɷz^h{ܸV0ihwR¨\t^fgga0)8`dz<+!tGH4u^tV jƇ RE3Fl^NUWÿ>TLm@4ҠITiǞغؑӿZ0Ӱ!n7}nL_rė\b|ǾS2zݲGdމ;2W|'B2DjVG~[I:йo]P.,)HyK]*{PwRsiT|3Nђ8N lbj0g^kx陫G>Y[x`ŏ%Ƌ7Ӗ{}ϹPxx*,!llÒ.R2ˁQ;8`/=]/)h-M b[V)nvE%oSE_\`3ҴӬ$6z5RՑY&tQ%MPTeUɰDf:L'/cȞHD16KUPzeLsO[`m= )F]O-;Unzě2W9k.6w;&rv{br>^ДW@N2kaCYw—!,Zޘqrh Ѿ(o~y<0[ER9LO2/yuj7r_w u %UEO"5}_9`yo Csca: Rtt.+ګQ#_W_ڀP?6<~{9>.~H0_{4̰ Vy>%Wd6ە ,؎jt hNn c<[p?ALӐt~PbDD=;Z$pdQ*2NwSզ~*^B[QjB7ߪT{ڒ G3zr T՛yp5*ZFd3 V+_T(a);q4Tm"e_2K^!/y;t!6p9>r oſ?A$OFt747po B~4 0B q\s"Talz>U4Ō9B6¯z nE~Ά&N1oom7zgSe!QG<gk*ǁړ#ÿ![\}s mQ^I2/MBgIh[]@p% | KLewm%bPsPlFn돕y|*$7٭bΠ"qkp,'`b&3S> <a{3hnߘƏ2h{Ng?FٜYy2K3Cg#%|˥),ZCk_qOJߕ[on DE5*MI=(P<ڞ ̀5R؎5m:wKBk઒$zd ωhV'$I]k|Rڿư;(i/>8Ukqev~YM !^F&lE\8ɑe0pॢf. =(S6BLCDP5~2?ěq-D_ƹ)"Xj9FmGoё^=nգ6ۏ9.#DVq 4j?¢RU@ݢ?5JkfJ{GK%1vA޻2q9X}$s/ǘ ]*W=6VEAh%U}FcoO$f2wp۪|N#?w$}ET͎ 0Y[-~Ezzr8*j~{)1BW32%Z,YrlOnCbI,[qȦ Z vOGؓMk`+w+OT"} z~-uzp|T L#`+0=-Ð-ItzoYy6#$PFIN$YWEyX?%Y*܌Lɤr)-A)(x3d n9DZx6_̦.pǝZ %-T)@Z{4 ׬tz_A-+ZyVPd$V7|)%o!"0v܂ix=sK p"@P 3{}>,o˝Q2 F‚[vx$u Rx^f\6 qd&3]6R"U~.*=g ꥵc)c\ q;q]rںb&FV& j3c =.7Zv"|BQ=9 U;)f~[Үa%&$`yңSPnIQ 3L5!@-u B:-pR}c1NkPJ,f51|F" ,m; gYZ 0?M# THOL-Computational_AlgebraHOL-Computational_Algebra.PrimesPIDE/markup7zXZִF! z] !M젗OFK?a$Tx"^E;jr*q#~4=J72aKj"6]=2(nE/[E"]$erqH%[<Ћ=:n#ЃpM ~*~EV9w^ .Dcǖpp2ƚ[6^qh7*_1]3'Zq<OGB!xO^ݺs(~0_ݬHǫ3'~$G,wkYܰϢ^oPM%&<4t3y\GܗDϿ 0N6? ]5u 41D.A8Yzn9!AJռdR]+w nAO{eϘTJ.{u0A KQQhI틽;kxc_ M_qD OtsVP]z@(V02JW; 2g:}?vj_ڄ Zw]m1є! wʞ "4ɞ=βE7֠8Q^ɍIH} 4 wSE:5}h1֋+Xcsֲ; Wc邋{[eY4NޑT.؟ԥ?Ƶ9Xe0=RPZ]*Ƣ'FR$Z "X f\Zk=4f~W5ԕCe>ԋGJ ~`I`à>¢} (-6"v#6#HڀSPT76Q== G /mY]\r/yݘ:EY[{e0w%Z\Lpwڸn*?0&N/M?$洛uro^W׀ R03N!~rj uc8RyL玨\`:&T9i2I|2[%ǽѺT\ܹ_@3Vv;Gh\V 5_rzս?NJxafލakQ OM)L<ouӁ56/*`L 86R{Z,O*MQ!4 }f,k*g1҄5'~yGfqJl6eJHtkFΓe˅`JjHkՅ@oA'nNä=jG@C2ZS^fȮfB*:LRB t qu!_q+zݴNԑDm=/FgW&X[wsm-lyL.MO4ZO0 qXy0ڭw' p5|zWq_}߹a*eX3PJ1;}oD7g|u8"t+4sV0gh='̲ln#<עL;i5[k/ ݂1R0ypP]˴g(|ż:W_ YAq^?Y@E:oK1 8*r\{ 8·wG^f]Zb ߁fUyjFQ=?{u6e#R]afr3d|4;v}lns~_Zu~֗ & =@v&%%Yki9cB%z~{+Of9BLs=C܉<Sݎ؃ܶ2?6[/arg=hn‹}PMQ3Gq0wO'6COLnV;zF_84؆g /3?C}p&8w Fs@X8.٥=`Vd2kL&_a?Wuy8$X h0^F5VjE<.aa˄]O wRn#A6|2rac6isAd$>-kX+X̻ą)J"OTs Y8e0@RI46%#UYr9Uvz!Rxg [ qNsj H7G`#\x);ؠ["=_WG;/=53>G6]TdLG撾۴n5 IPWkL}Yhre[sz:pom IL7qH_ c>Y?E`Իq8s+ *CVw7p"b J_'VCM[yk:XShD~@7n(V,)iaf{p;u1 vVv'f`ce}Ԟ䬒!qCA]nn%\ZJfNAws ΀S/ )¯fȻة77g%]6Qnlj&Wb`g(j hvnk?麵ouՏFhlśbmo/i(bT2}=qȶC qgRHN/(tO޳vϳٹWAFMyOHӚ/_( .?2LOΑ?='}8oK L߸VJf"i.,c0HXĈ0&w?Z!?(K\"I1>G!EA>, L?g!|HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/files~~/src/HOL/Computational_Algebra/Normalized_Fraction.thy0?U; 4HOL-Computational_AlgebraHOL-Computational_Algebra.Squarefreedocument/Squarefree.tex7zXZִF! z]A-MՋhvG"uIBm5Ȩb75A:23ĞYebI>TQˆɀnq=;5X<2ZBYA0";ma]XczG[X0 K4mA|%p7D+Ldjs6?$} s]Qkib?؃2] Q! grlC6flSȁnzr0f4`߮r l[1.ez._;Zav3jW8[۷& wz;Pjo \G8T7HwWb<̳>,7i<1@$ai鍫x:)L?|Siəէ5}BH<,b;*[Jz:h)=zfG˴Cv$' H#}i"UR~;͚vmW4(ASe\Wj F9'_>mHwbi>>WC%2 ޳hsEק"6 CSﳮûC!.Dc$|9> =s=orgOˠxL/Yތ4M@H_O4v^ "1Xw?p'x ͿD%W5O uYMϟ`Z㇔7KxYa1GbZALZ$֥dW^?# n i'Cdj܃/?V*䎒+z11zh?j +\Dzl]nfJ.y-hDe9BY1we3 -Z0faj`%;fGn&׍5#g~E$<>πkR"0C?hjFűʀ.=NHޣ`  kCidJK6}=|#&MzY7)C, o(TjQc:'QmޖSmڮ01RjhV Vi4CZ똼խ9]i<O$wbrI |8&G wyّa֨dt-tamt߳.E"=:R~8%VI&xIΔveFT9H^̝o[n $uWnkH૞3%PaUء}سfcX|c|Y._2I%njAXKYZx剄GA0Efv|Z8&4ei 0ȟfhYڟ% N/v?M' \HOL-Computational_AlgebraHOL-Computational_Algebra.PrimesPIDE/messages7zXZִF! g]~ hk.<VAHgM@*$bU J?Vl0m9;iI*LUiUұS@|BtfobCػ2tk8RA%)O_gqRVAt:0c_(),fϼH'$F:|]'?h8hM_7%W*Wklzor;3{}Sp|,*ee`cR'tu}x1Q1QNJ5?8- #}Zn &VʱgB\NȽQ~0)(#Z*wE̢{zB@ٍ.A>4XpTxԹ9ggYZ}+Y&>_<\/yImТqK`H^%&魍e&ׇ4%RPKSFz(rayfytLCecd gaxg/-X9L҂q]2\MlDTL[B7HFaPzn}6> P>X%rBW)UlvdHgkKz m)}/+9\<~VM@*b:V`>,e :NP)H#sCT0nƹ;c"?lަN&o?n߾3N]Kɛ{|697mAM{apJ>zƇpCqIK>8UDCJKLB64ӄzqB~LZΝEow9&,|zzU cc4@n~6&h6 L"$!6vWh k%l wNm}rϝS$dV/Cj6"It+J+B9L:8wK稔H4hr&8#XE3b!ȏk2;_Q- ̏:MCݩDrJB,/EF]U8 oPŒ͝f2wj{;]9{xAyhYͩ_{$140Ik{xI_k6? AW.V/jʲvt6tI67p9Gp$1Js=vfGhQ_[.Vˊ4 ҆5"yAu\_Q N44jE{_'k~Yh"͍+?e65R)/H鴫 龂/( =c jBA x bjVT08vZ&E{R3D+WEV}:uzB$+l:"71F@Qv`loqemi7f9p0y4dԸ铈HhV5`L5{oJݯ,\z'A)W9;э8Vri%^UPhzGY9J`y8G]،/ +P)K(t+Kk߯Xn=3_*7w ,_&iT+嬖ڋ@pQf`A4G]^TZSn{rft @mqk,y^. ( LO5hj|(ĕObD[^-9^e^5" $sL5Egߊ{帱Uh$|6 9[#mX^մu_X5jbjkdN;Fki߲&YvWp2u#%䢧3 ҅@')<*"T~1$\+Hgx^m*ecz|3:C²XO [o?~1ޏLUP%RlFу `('L,ΐ^νȓuϑ{QJT" 8ٔcu‹ڢe\;hhb\>7,YKa KD t57a/,7wGX̀1zpe[? doit !3DʦP.xD[&$KFKvKM !\Qupdy_*960i9=)l:IP{*h7}VM4J-+L+sZ8 "(a.Rx8psYuF:vDE&C<Ϩ|ߕ߭ ` 'Ӷ51HO52_)\`9(qʧlMX5ǥs۞mQYH4E$qp~B5b+&4ᩑ|gH*v=_&%Sμ5!گҕ~+ѹ+1[T+݂Q«ZH('u(Ɔ FF'Qxw|+SmhuxŢo{ A3Ҟ~Xv7cD*X8<֜)62lxkPG72ld:JS>;0Fzi:"x ^ ҳ"DK*|3x1g19!?(#K.\$$ۢMt>؛ٕ$X#k+<܁sʥLxt{BpYlšb1紝a`6AXFrvx3%PK'QK(t:s*-=} /? =dV%jOT{/ԕ-`Ld+ CyHۛ"qK Xn|h-GU8a 9 __S. HS%u M   -]ZIUv;x2wgYZ ]?g# HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/markup7zXZִF! ? ] !M젗OFK?a$Tx"^E;jr*Tq %-s㰈(rخ/ VЫT$A: zߙZVA@ Ҟ DQq>o/ݣ;A1kv$ Ec-O}PPt=9͟3YUWPď('{P_i&@֗r+fii0ji G,: ,_^Gڏ* 78wxljp vK5ײN-Wq-27_G_܂|6GbHP}ߡp$X3Dd*8k۴dtᴔp 7!ZJg3 kh@a#&H~b,؃X1ۑm8AWm3!~#E<xU&Xݩ=1Ve.YJar+Φsa|m4 kOmyTܦxrC=ލ<0F[x6pJ Q/тi@t8@AD5mS.K)( ?O]'u$cV@!Bd F?USEk4.#4{w`\ӮJz-!bG$^B$ஜ pV;0skGδ: ( x=a hڻ 6p}ɥ{?]yr(<QU1(CȘ8ZiGXyLp 28v۫bX\ԁm?+ zZ|?tStbkA '۲!S*m=4m$\vx}ZeK-=SLb ,daE<{&p)JRh!D16a+@ FH݋92;(1=S =/h ^prGy'2 %Z klޫWyv5G_zռ7?QW6aηu*V=fX.,nusVéz@]}NCh->X,n*;yDqkzN|~>~r||Z{u+vrAt:NmC; k)ݓeŗPD a}x;ݪYFIXZjl?c=1K9 dErbj;$nr(d`3@1Y1E.w7"C-<zh!}=KkCR~?U|Krϛcea(g &l0/j!fh3vח(3ّ؂sn2ɠ|j$fM`ꌄDJySv5vXx>XZK)`i~geMq,j{%+-߈ģxf ᧫F~/8fׁFbb`&m0jX4U\SCmZ&yn@Wcc8{!+̮.aIT)C2k*d۳QC;բ<] z*!QiBZ]wr0&/><-!lr#ݽ"qQc3%$Y" ^zKiZ!i灊tO.ܣ#8Q9hҩ[@ $Th0 /H:) y%7ňv4lވPv NW|zx,xТ)}i l2웎vhLȞ?w1z޲z$}"?%yZQMM4<G%_h ~"OsW>nN!AsԖiR!!w@DgHez큕t~U $4fN**sӥ&0ZpTM_E=nYEs&n*PT3@x0V^V&W 7";;su2)~m2!٢T|BZcZTfhe ezVHEoǢaqnc$FMC.(z[܂-|4V@ֽEc및E)嵪0aw9} >ND5asdM0tbo2bx[l%}2{Xɂ5J&%00"ޙKbGQ:#7 s_& 45=sBm_/5*8Qw w.=VB1=w޾.k|8eo[Tߒ%ZCK?* FJQ 7jğM]|wou:jݎ=j: ПȪLQ}^M)C&vdZXGKl {.JsP p ^vDص_i5YsԊSOiH;Uڿ[J6jWK>}n#i@ ,Tms{Pd{ k@vCo5z-Q_.#ױ.N K[kR+a\$/6%2@ `Ib$l Hwwo6lﰞB_hΪNcML6!^F&EDRˁbϱ? K*kuX=pXe.R@ ɯ3TG2^+fV!2.vH^,`g6MoʪSl*ɭTYNl>-GUs[>|h;-Ǔ嶶m̰Щ3{4 B"o1(pV qpGRC&KG/&5.s̴Do-]6J1^Zt@f(d}&g<1ݩ"ލMPpkerFDWLEx,y7gΉ< о:F4kORu#L}[}F;MDYd$^+VgYZuonyh 6eaB ߣf~u^lu<8sX^kII&[]EhmO1j/oŠaՓRۆe9S#ښ%`InzR]bW0ɱJ]gY&ƆFh!d/@31T ?h{F};L$^&<8ŊQ}2* JTrW0l|S/7@"O|Pm_i<b^*79O\9(oGҺϺt9 ҥJOGLyL&apfTL,H1 YOR:k-ıCsH=ܧ;gE᰺~7| [8JA?x)lEZ7,p #+3T5n_;l>sh3D{)嫗avoBa?uAe@?G?HN~UzMPw|nXbf=d5r_|'^JiK{ 1 %>%H i);CRA`]wlC51 # fo5ES^=.} .w/PqYll:`m2]^KFT)4?y6at4eD8:J[Fc 7H'@sLjfx?"[w ~s!$̽1.4 7qYnhj _5'. ֝dV54/ kR4R4=Aq)h$ up[v N cRubjO09GZCLm;ڄ{xF$͐1OFr)YW5@] vɥ#AmOF\r#5iQNrtn`LP_)%e:UtlsJ|tJhW(= S^sgy\N_ד&)27UcF$ՐEKkQ 8 8neƓCɬ8K澔?CXh㹙c( Ck/Bۆ ?ł9(Fzy"m("l@ojuPj7Rх$ÖIiڧ<:~fiz :JQ,7UV"9Ӽ}&s)g@{:6eWyY=$Z鸴5`BXA0?+R;6hE05r*yΜb>KmAؙ" `NA?0{]>,>qsʼRnwXRIwOJ(@C :Od7JaO h# • HnHc4I DHv/}TʸzOneL|ڳyߙ.ָ C&7Utr4̐ <˨SVP3ɶ~'#oQI.-\؟ NVf/ٍȢ`uQbbqR^E֩]u?H<^CNrG*DZ@zuS8{8Hjia&ųfؠ_=fX0яED{"q.o#H ,e469і"@(9۝ߓy``W޳AFNN@>HaDK7S! WIaR{h֛7(?yx8Hl:wڤuݧr5$HS j`/VV_A4GU3P_Eh 4TOHs٬L`&;,AVV5lU;3{hUBYV:nAE@7'e+`J)3DV ׋lϼU_]s!{8)HR&3.M4.v97j+Uң(W;3uZ]QB#bWMVיMl; ond 9'j1`XJrJ&w ~b5+OxSo:ȝ#m  ]eE.{_(l'_^*Q/jp:*6]b Ml@FJ7s*#eGoksLt6v<И9ƪ.$&w+=LPCVk21`yMՠ3dŗ(~~^W&H2w՛45F\CN›cI|ո=1vt"6[ .|k.Jo!xNryT OR!*/gĽ#w7^qK u"Cj^CoGѶ)}YEFkqAdShBhFt࣭FH7ڌyůﲟS雥9{/2c9X*a gǚBggd"z!׆ܨbX>+V a`FyuHX!:2p)ٕYQU"ǧ{7G dTalr8JyYTi)n{yu҅az(!g s#$_aaNB~ ҫ:#r}<{+6N{זW=SRUHkvY!Z^nV6/.mri9!rFߧ( !g&8 \_)av@xGnkj?d`<^y=eB|E=,pV֌>lAe.6ۈY w#(P g0޳=xF94tfZ@E\~ 5鎇lO!6`,Iqcc'1k0ҍlN~33ï*ya4G^<0OYIB mFF"Nax~~&<ʵ1Ԟy3"o|!9$wڙ+D7(CyvЕžLNO }Z4F `=w8>bI6+JPҊ*3]CG}T?f]Ld|G[cP)K^&pk񱷈-6W2+I֦xqFse H\6Quz1o+B?ӇgWL/ᾘ_vڲ?0F܄,I iw~">3 $uԦ zGulU0 kه}3G*1 gYZ w}?U!jHOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/files~~/src/HOL/Computational_Algebra/Squarefree.thyo?g' 4HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/messages7zXZִF! ]D?7 {?:fH\{k5AXNҔ%Z?,ɔj3Ku6H5lΘow^7/z$,o8-eV(Kݣ']c6kTdD(VE=8F%wc6hK0pÈK=?| A6V'h ;,ReGĭR)?_&h/tb[0{MW1r} Ȕ_Eԥ owwbR|6cN2$D8GV#L1bj!t`9t0sVdM?!(X,tUqN#$#l0Alp_! n~0Wj\.țH"J)zT.%MI$#lnF48sBC7j檮9yK%fL. Pi[ *!o n"HTPXxRVxȖ<Vѣ|"]?L|'Su<%w*taQ_suCL zT -ɱK[+暆s|BˉeDXL[|j%fJM.bzm^. 35 <E3}ݤūHjSԸ0/K(cȕڂ`[$a?eY "X)ԸO^Rg樍밞BL 1Obhpy֭vb~+xK"΃+zGY<}FrAA>QCe5E1 Jnl}g)i֌u}?U6+1Ҕ7`tOF{Mh\J_{v qMAv)8)]nDT rrBeTP@A7d!Й(D#hpsf&l8p_m*c]!"ٻB nXB:=`>#^@<d:eNxmK? ĬvsP˙ %V]}ΦD,=l䩏 8Z%#/pD%^r2ȁɹjb`NJ,b8l똈֖$ P 'X٩qhhzC3ser}߽aUAĠ y3)Q/[ފLtH~0~r Qv%H x]2}Ex zcF=+:&кͷae&W]?`I`̮~\k(6Dꪀxr/2V=(h=p+k֢%%fɱG"yZĦ5;Q^vXފ:BFq(HB%Hؔev=2NfZ69g' uH2$ku}H,7~Bϔժi(,P!er$RU7/P3.,ܖ>-`$^DGjqùiy9!ك^|y%z/y]RQ@%lNrl[i;IuSubY Vj(9aZHyVWLO`5Vm.`{Aa꼭}հ֥1[Kԇe-:>#uy4 hFdE\\k(-Ie]H| +A-;%Mw{>Hb,۴?4gYZp?U# LHOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/markup7zXZִF! ; _] }Ke[ ]r , e?5zOs 9- T#D[觿JT{e5/?d+p7pVC Y,ĕ_0jhd Ds@+ ALt9a͵$ ˳ <BїdgS wceⵥ&@ku a@Ol\<q;<X* -OYpRuduauD̵Of1~Ҿ .UJmH~(-Mbٗd}t$A]7 tj|Zy]xlX5 eD'yE R1ZL…L\V^v}XVpd{-hAPAHݱoTΧ,H/0Y+sΜ=$qhg_W8EooP ȅ$2r\_lMNw)v0Fvwk<͇#]\7(֕jߓܤSP ù}jﲜ $ԯw(1/MJ:5x,=JU蚋ȼGp8&lϟ'KlCy9l!wboGto?<%d}RR ݊1`k+eT$S+d:m&qLӀrnG;3H?‚~%+Rra +ݷDyNKÞH!fHV_[)XB٠ !8O& xe/&W ̿yXOPp|@:'Li2 fmDh)75SG[?{DB\ !J@t T0ިI":JmkJ ^֌mj>t,1Z$QbR/$t"0`J.KB`YA(f iGE 0CGQ)\ sR]yn|OXD;FH4yQ/2o#S\ =uP[G7{6˼9|k 0IwžPퟌ%;qGxGce3 hTXU:Ġri]l437|]&~9W{"ˡИMMAA)9N%lֆ[чtq h>Xħζ:o+% "_ K#s]gȻI!(DuH nI(CKU"̚z ZYc$XI:GC8Ǐ(ϞI?V6{'-jwK)JZ+|W%r OTὁEu'F;[(+ Vho ?½kTU׏ˑP;CA]x4[ؘhIx]w~)F\:^٪f9ޒ0t͆g51s-#\\@N;'~N)Rډ`hOe7GI;˭Iq^ȿӤg0%X/7+póB׸VHwgQkn KԊJlAJ`mGK>Jgvgo$XKHo㪡D$ T.D0HSs:|'9x > Rs,.@(sp*1mA;?{ص۞0PW@JN1*{50x xy{1ŴLCwNj7 \a4 Ɩ-),΢ب|M YԀGjަ3p WRItlj8;g_P}}g}& rm+-GUN v]?B(~&^K?'e9|P>c5sˌ'IʤX N; njzXJR? GzjS*Gp^mu+2r_LWChN3{m9)M 報t|u=;,bbq gn`6=ts<#weh՟*S E(m&Z(dno0"-` w+^14gdr;jFg3$"1Z<-M KU{*O7r7cv&H=0'9vvvU$L)t}-Cj\0$ mDH-/KNlqE'p#<Ņ_ØX3~welJTx #a]s갺kXgd/vy^: obx1!s S/weXgіew9::@ GHq)*XJ/K*pd s[y=<?[A DHOL-Computational_AlgebraHOL-Computational_Algebra.Group_Closuredocument/Group_Closure.tex7zXZִF! 0]A-MՋhvG"uIBm59>(};SA|'|D*&W} 1@oAUW1GԈÖEZU.(U 3٭[ًg[EpS`. I$H5[G7؆-HpX##OlrU#nWplO:9@)A? ۻi ExޅbxfJZRd=ܲFXx<I/74lJeg%[ݜA2!mIMWؓŷq)NbaB|8.K0Cu-˸ ~\0 J OX20G8frI9[dޏ`+@rf@hkQqC?j!H۝ YH8:XS0E!nH(rU/<3C|Y5~v˱iaRVZ6_ԆL4M=׳9LlXDͥ\bU-cg"FӺ'|/ʆ_HBդ-' . Rc[I-8ʮ.8#ZPV`IaM+Nu}6{k7!JśuNZL_ JYka6SethG[*GB&m*Wu41S*}G@dž vMzO1$w}/̎2z38k 1QA`9 5 yg; U9F."uL7-|8N tݙהWPJzҋ.LW1죖~_#[:y;Mz0d-~edc,#*}0D5+.D2,j5OjD aY7/*t8GGn[LnPF @!8è}9an3ƻ r>^NС&. (Ń+A2YeupGXc o:1ꔋSāGHI XYR$܄oMBQ%ml%k,9W7٦1J'&lE_g%V/jKկ!}c ¼ 3"Ή {TKȕ,ov؟ V\v>VXʥ]桕&+JŌtenT!<<$R70OEc-YF)Z55U\k͔h":]Qksఉ~ַgAV9 7)6[AT"-oZ#6!XZGt ;U ,S^>5~ٍ*+[dXT)n.}M hyn$Wl)⬐;kpM/Zk,[?8acfQWvaixu%;*ҟ[MnVJ=`p2l[uŠBF'SylP{S&eKviRB`=v 7VY@}}^>6^ԓb1,TJJ-uFh46wį8wx ?v#}PӯZ=~}I4zy+N]7@7ݾ(Q+Oi6ӌ]4ˠKFߗ2qP}RtȟrNZk8+Xd&K$UZu3@, (AR7Deq|г ~B_g|ԉI(}a0JB8}(]gq:vtUò6K.9 ~W$8Qr,# s{95m)F j涘|@sgb|K ObABʵs\2d/P([2(wU Ӂͩ3Α b}$ۉVW)tAE]}ߓI=I̶q]N3pWǓ[l쟛\IbomA(YwQ8ړ8S57 1?~~0U!\ܒef*r(ՕX6%K= ,MN h9*[IIooR{Po9qp)F k ?k5*y4IDP0?=Շ/bowI"4| ָ9VMA 먰eNŠN:Gօg`q:Pf[Y_AíY]ټC2T-Ti۩t-`JL5~[εω+yO5*\hnnT|0L!j6&N5DQ\aq-amId[-ji\ץ~_߻KC O_CP S$=PWA޴N=h.P BOD/!0xQz#elUNV"S^ur>PSk<7ߤ{Vv͖%5!1%Aɔv5t/My8>n1Bx.1u%fkcT`{"'Mn'W3zSH"V.>xҍen*䶵8C`ŰyN*Ez3</H :[L#D WVJ 1,_FQ) c`~gՒiܥ&DB(E1R|m%7?/![*`}\}l FN fL.C&2|%F4lhnizm0n3>&eީGbBzTO`Ώ!J; p7'%ݤ\%#UQ2-K,{#\gm(8;C,j_É=;_ZMUyA7s1K5A ڸ˿4\&Ɋ!0\ѩ7K՜.x(PD8 | f"ut)pM/'@]%ޛ\"q1dY$ <^I{3ZNu4IfpZZa`7oE7PbԸ`Hv*dp_ke]p-x>זyN!c8꘩#UHZXˬcLm:#cgYZ uu ?]# tHOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/markup7zXZִF! 3 ] !M젗OFK?a$Tx"^E;jr*pjPH͐W:=KK}30p#G_&5$K\S(Z.e|88~(QleI]F 09A@4.\|~]% @ GӅ)7SߑId,l{7ڽșF ;4LQh R$D^ᥠ2Ǫ]tnt E.Ymx=BK<8]f阜i4EAU\^;bl@ѹOOkdYI?n5S"'wKZ1{8y/f< z5HE,"׍:7_kow(X"q!ia\_Ȧ[58YFLBbbsPp!=_18.r_JO?~M 1ymuu2 p+lJ賴d!9k<%' } J71jeVS!`U6:W<۬8Îu oG4*Q&~= ޏk?C]b\Æ5^ MD 룑#Ǣ_/A͗wOPNAfRönZiQcpt7Tݞ9D$'"p^ޮP۝M>\X/3͠KzY:6|7#n;P@5҆kM_P Tp]dIOៈ8pA,t|WF{_qnz(ex2bcK3IGNIxN9?}Zd6guU4E=sũ$>Rӣ[+ E*Yg+iXHpTavH~MFNũW!J5HSm$6r1WY`_*r'ʚ:Xɍ0m'pRyk6FW ?ȐZH2/!Yԍ&F ӿFɌGvKR獝e yV/=B(SbM|}r$νvʀyyc~D t% -ƞY˖t .92_F![ &f8N긐-Uwl[Gb-tVmű/x1+㪖H/- S,!dbCB_S,M+p:rw<1<Џ~HTOp*s$f9>Of.岏Q3W-ҿ|`O}C^PE#3?2# σV,,dI՘z;w߂o{/e(eoE_2N;e5AʋMY?QU|YYҏ`cӋugӏ4E k7x/>FZu Lw*m?.Pwwt/zJx1\t{BWƔySǚ"wxvBbќVlM-x:$NjU>0#%9V^Yt#+I )Lv8L k0& [:%/Ms:lr&M?s ܍ךv9>#?s2nAA`w$wVVĆgg'v+dE$i2v錅6.CLwg&Rx!^P"NSExC`1S̋2`u2\ m84l%=l^/TqJba Ar_)>~"&Yާҿ 1|b`_~a{Cwưb#| p<ƷʚЋP1$QFK|qjxj;/͠j"ӇrS[fȑOW Py8KV ~xB폏NEv5gsr9i*ou寿:Dpw}!P*"48߱DzV} F9e܈u'KyhO>?,NR~V8W>^  (uIhʉ~j e@'Y}.K2TORXg:q)pn4dq\]_~7a矨61p*ȡk9̮_u2B0G @ j3}Wz:bk")•= G ձ&T5[ <ãslW$60 BodLyN]b~l0􈵯?Znc$ţ 9a+yu~"MsC R *qjɨ6O0hWqfgykrVüy!%K$F yq~%LASu8P.3z$B[ BoJDXܣޅ}~P`m^774ς]S}ً gqFB _iyTDG-* /S*9N!HaЗ|yb ۩#%FdYp]漇 eYZyr^\`!}܅ jg1~392R}tߺ]4iq@m$WwV-PQ\Ɓhwe P3oj [>o0V_4VCsaA+NcaN/W N-zz-&6o>kfIm?Gһ9?M p&[1Ұ/fs*@VP>k6L><޹V%.[BW,|>/>P|녿 qm)rdiOF8xT”Z9^(䉅3} Mq5b%ں7Kmk>1;KO\ w}#fYi!{!}@V zT 3t$(PFwiʅ wͶ+kԧ%_B޹Re0VڹT8})d O~{n?S=ǽXQ5[sN~CtVzX.~ E#hHpY4}W(-<9R ٙCUPÿZɼi)+y4T%TIkg_Ty. n]/4L8v04d76@dXŘG. g3jZAq/I>I"3 `_(1:p~UPܙAn++^;tLV܀W0 prި~|Q-|>/υg\ gYZ  {J"?[A \HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_Ringdocument/Field_as_Ring.tex7zXZִF! l&]A-MՋhvG"uIBm5kb#S,R?(kكx{_ICv#Rk+]f#wN`wJ"-ZpU(Ux$:9aeh5IŲ,tn UIP% F/>0HV*»0X>'o\ p0wܾrzU?Ϯ"T8P 9,ɹfUp3׬s, @F4qʂUZ5MIEJ;@։tmW۱*K5J  <.W֞m8nBT jkA:&`{;3#09Sb>U$MQr) ZjIl77p+zV!L3VrfCHtߙ65сOݡK1 E<]+Zƒ0cˈsD&=Ֆ~ @M% ZhICuC*kEf^˅R (fYjf͑ jVuX>9 Kz} [U?kBVMVqLTnXɝ'ָ2 <}{KH} Z:@əe6AQ\|_Lqb3Ppz>2j6郝R#J 0 hw#j1EF6\HN[e6 r}Per20rY2M S y|f92qljCN"`.'l}_PM|;/B$dU cA%©ԗ"SSyDœfVQDjVuI_d_nݗhQ=Ⴞi>q&iP q8̲1@ oOK0cgE]}Yc:7ʼZ&ʤ!-*06l:F)ċK:DZs!!| wIľvAߍSf058${500##zF}[2∺эJL Q NP2m^Wc%jbGɾpSa(6",ĥ~.?0j zyu!c[ ?vAAX4a>&լc\ ™y{ Nš|*8M2AFʧ>#BXY}JX>9{m_X阹o\݀B4Q$e!|(IutHPc814AZjiO)_wX֍HBi'jC 7,nBLKILB =26 z"Ӕ!HI 9\{{&};9"It ]AfQWl,E nofk$Lqץ`a:ئLFRHgV[cu6ȋآ35C&G o+GX;Dx1VIxپ5[ eRdX~XljءgX|>? ŨF<iRG0 s-WtJh9UE/e'1A[jRKv"P ON'߿gvвMw:?L?^3MGT sa_ۇ$|h%W|60G_rUX*4N(}Vm#N:dB WmS /kSѕU-VTjLգ9pUv,@y&gYZ!?]' dHOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/messages7zXZִF! 6]·Iq n[:|&[z D][vMZ`VLچvJL2J3 :<|pw|5Qʻ`@'kUbdHӅ/ tjZ,4:r:q#b]~#So!i"fe=Z@ȭgA/: *<y;1[` ɏ(_`(x殸Y $6Cь}?"sTMu04D8Z˩So G~DԃȇSb1B) ^5Q%GdF Vns ߭iq#5! ~{T2jN2V^6؜S{O +KQA`|tٿq'}9T^mMzx@K:-"4X,oci(T׀fl r =XOP#^P%B5{rA%==C@"oۿܸCak. / |Vssg+7E] M~u[jç?)&,P=GcOR'yLO!؍b]IWĀ3lB%o9].Q ^ȃgPGBjG]^[iIB,~lSm#JxIPWph*QF?07JZ:+뗣ŮfcUPb $zuN873G}H/f@da8qlC$AЂX!4e&EDE?i_gYH9_[퍎Rs "۞ͰqZD 1J3~"iRe437^#Z2C%[@7#%FRટyeW"?Xx DKTo)7T$wXN.BmEB/4Og\h1^Ac1QaF<=L00귕Dw+[6= V$Ɛ47޿?"mt'B ovzFI?,C?^o(^8Tz+#0<22nMNYMjT~Sz. O`|`̭ meTgYZ  3 #%?[# ,HOL-Computational_AlgebraHOL-Computational_Algebra.Group_ClosurePIDE/markup7zXZִF! A] !M젗OFK?a$Tx"^E;jr)qCYRIZ8BM^ Cr'%)ݼYHtWfz%UEY^u?t3 ۫xa8.h0;FJI@G;>Gwmx/ƕƥ xF0/geO7l9|v$WO/#?ږc,S?c«>0:c/Og-+F5GVh)*;zԑ7wB#rc1Y+ϼQp)ז`27[S"ᛟ,7poίa $l :&S  쾑uh( L.iNŽ4›!g}v%[M!Bd#VY|`DˈpW볭`/qW-Za2רJ2F^@^1voqWd)oY,GJ0c^-|1[ wȔZd#3b]Mv mkof~6_hOGa5 'j_t<T'"lX1i"_.P3s_@njQĚb z@Y`ïDǹz%^^q5"BsǦwCjolt *`.TayJS7E7TGFՃ4*p vWpM*.Kwkygsr!pWɘǎUt}HJ2!˫3هkbẹ_=`@0&<֩oN@P Ӟ£^07q,Qw^d %mZQ}y@2ZL1`G4%֚FKwXfq,KНkiBw%1kL NϮ#afIE0eoo,|J*>mxTm΁z d_ k1oOOd۱nALɍy-M ,KEs)M~4ffcߟvo77$儊lGSD$ Oa[Sn3{g˔S[Ři:e@d<44,>1 CІ;b=’jC`zi<͗`6 CWRG\"sDU?wl4Q!lse!&2-;Q K"xfJb7/]\H .RBz[;ٴW cz,zfsP͌" ܽRL9oINf! `X,qZF*9\èf ~LzޏW°EkG>1 NMa)b9М܈u=[K(xA o Ƨ_p#sΘVv$ cT} 썳+L+tY:uD|;}*ʢҐO'#+T"͎X[4#E>Ż#I:8XYn Ed[ ;cI R_qnǼHjz6B{ Jܘo7sWQZй Kb3 5(X.WYїq\h7צ9({*MۇR95#mť!I׶6DLv*z?2Ղvr ŝ$Tm^8a[_'f|Cݧߑzd:OW+,+Iv%ZpqFKwz\ ?g^`=Vlexm5@γyoI܁w~W&=x%5*d+@H\B"#)]7p[iy|zAfSi])NïץIyf8{[ A+lH&vx G(j[Įj_ $yJT!\5N*G+M:[&OZE oY%%0pSҹs4Q5dsn./F8tqi%x >qtfG$^[-5 J$:#bw\+@{4H0@ M98Snh$;WC gYZr3:KO&i./.K3{xQpɮOF ե%͙čCUݰHO+'oVW.FM\^سJ׫Es^zh*}[C$v;é:9/a^ԜO+-'';ѥ"D;4ѤLm3K )s b"c^8|e!ڲx< ӻrqRaΞc+3pZWSM0^j+ixIq]]5ݸ{_?s8F&(>a1JX:ċz,@LH|uF52W2XÉKK..wD>'Lt Q@?qkN_ͧπ"r"qM  (5W꫙۽3{+l8y|; +%5d`*~T;D${ZR+S;; \ŜzTR-Tڰ:|E>t9YJa Fx*l'69ispxyzwfL:i`n5"mq'ny-c9Mpc7چjј]gMi9oΧ #w`,)m&*<`fv :maD0 S=F]%̈́V9mr  f^jX} m A=T͔1~P4 Mrr.d\Kfg4)TD1n +wsc=@6Ծ ҀJ;8{m4Wg1O@Ÿ( JL~ iI-MVN^irxM,Y2~i]aiE EA . jZ7 ݛi_td,ʆuic_RqNIgfFj^_.2qY*ޑ6Mg'Gs7 ZF5 z \)t!^mjJ Rƣ̦ /LJI܁ pIrsE"V>M5G.1&n#m_ҐS8B *Ys>`k`s %E&hTהx(wDـE;>]Y={>0XXOBϮPZp>sVFh0|#P1ɟq6ŝ.( 8\1c(xC`.#F"&*ERn,4p*S`xnؐ/:S>Hz.J@H*pz`W; 3O%݆K:/G䮨}z5jaHۊA%&gmg^PsUSYkf!pL4/n0 ##Ղ۵ XrK5 Zk32U޸q#o4fq'T}d^Kb}{G([|Kt%Vi`8qPŔP o#y3[1nzC D=r /eK@ykE>e Y݊sLgbP ͍7\oΞ^Le 3P&qm0U`فޙ%G@6Կ5]S<ܺ{㚴 as ѫ6NFH:~Q!lX@Rd W{n0T1k,݅(,xJW!:(PEK58j:g =ՠŶvT3H-rPAWf-⎾CgmYu5Vx5ui/U?a/4$;eN)]Rc$UXkyF\֪Ѡ9/JPQᐄ7ƾdN+˂ &9^ʆZ.`pc"1Б)X5q "uJ(VRz+hQZM%!nك#946C@ FXլ o\i+s .ȴj9kpP|TElEG`zl_ Yauw7`k]c~.nW[ j=A·) G"a1?o>S Z|[{Dd6,=ѓ9zCT($98Ҟ![tȊKm |ܠ" G82QCX)ǩLhd* Ǡ1Ԓgrl|l7Hhc#*ij`ؔAdc|ܵZa D&uT*M;., jl2ڎ:甙i6&%[~VbgDCi1!0o*X8;_Z$Ѻ C}Bg\:uVH@; !^ HompAr΀{;E?=PN[EGu;yu zVo{i^62cCTI e.a=%% Ҩ; "0}lǻkE t/.i-a[E>|r|6kw#?ZcgdI]>zzaa1Od\ u̽h$+ ϴUl]|P[qc7sɬ<Ow7`-F@A k ޫƆ?`9+ ?\!8>T-S)@J I@'[NM+%)Q*C 3 DnḋT82уIŗցX?4oUb_ˬ&+t\"wy~}BM40 |?vv}}Ҿ1󮛿lap]ivqK.lgYZ Y(?[!pHOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/files~~/src/HOL/Computational_Algebra/Field_as_Ring.thyA'?[' dHOL-Computational_AlgebraHOL-Computational_Algebra.Group_ClosurePIDE/messages7zXZִF! ^*]D?7 {?:fH\wl[bvm\gpvVߘ@BsAh4n]mJryʶeոj9"wS[ Tr-pQZ ۉ[Bd([x{ul|0VfBpmkmqn^bN*"|AO\ odW}qa\ '`\PM9ܫ2bn>UNm9SQ8rLhXrr A:diD dUy@6^}GPq8B! 1=?:a۞D_Y|vLppU֧q`QF8WJ&Jfv$(<2ԶOE`tH!M*թ;OYٝo;9qA=p$Lssfu엙Pve[֕͊? XҽT%`W/[^}f{#~znr>ckσ [li=&2y2^u信` 9ZഄD8Ns}q K:Ld\GYY:G PtWS=kn {/&jq@:AeL=f8  "N1}-?U!jHOL-Computational_AlgebraHOL-Computational_Algebra.Nth_PowersPIDE/files~~/src/HOL/Computational_Algebra/Nth_Powers.thy,?k# \HOL-Computational_AlgebraHOL-Computational_Algebra.Computational_AlgebraPIDE/markup7zXZִF! T]sPܪu_4 h:<4>L4O|F@ Ng'pg9rwSjurIONdGD#rlV2 mɔN%*8޷1ز5VmY `o:BǘL.gYZ+?k!HOL-Computational_AlgebraHOL-Computational_Algebra.Computational_AlgebraPIDE/files~~/src/HOL/Computational_Algebra/Computational_Algebra.thyQ*?[' HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/messages7zXZִF! &:]D?7 {?:fH\{@r8[8>kžXal\wpuN.8uJ ŏȟnP'jFVq;3dx:qqzYzENDPk !S㹷J-T;4ڳrl.msM=A)Ŷz^v_*H)5 q#7!Hzyv̵HoM ٚ}ݦǁLM_:-ĄS`K^[0x:jZ0 ^03/8O789*h.\-6HF݁-$:g>j >ȳnȝ6[Xܷ]A0auD<.uU6um+Iu;7}A3o*wv%l2 TGnoXǵߍׇyDL/\C}0;U `q=y%Z"4<ނ$$13ˡEZ7Yz^!Ob&Sc+:EK' 5`ml:1134E_~=N)z !5QF C?&tb8'[^)Pq. -q6A(<ޗ|wL "4?vQSYnAMUBw!%QRU"|=rSɨcI<o PC[PW 3s&x  8 WFZMKz$IC _#sA[l(۳ńvwUlW>b+Sm,Y!F/u~rRg IT -6gٍшJI7Z~ $DMgymOC^wŹ :n*`[_mu/LƲp)^F]_qjx g؜%G"Ν; M+\ܣ^lTFP[4-؏ֳQOu*b {u(_=9-ZB4?=>V/Sp?(>4O\D#)J]zyrD[u*b hO]KLk8 ]|/dr^VI=Xpv(dTqd@Lզ@G}_)R՝sMiZmQy+ LHDh!~`PZm T2p2 Ȥx^mf<- N(BI1tre.6)ٲ)NcBHb'hg0[, 5F[M95PΆ%DSi&xrѢ*bU+t:ڿ(? l) D:Tq'IwP0}殳!q.pEVuBl9vmX&PNgYZ[)?[# HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/markup7zXZִF!  G] !M젗OFK?a$Tx"^E;jr)޷YO|Va]}+-~RXLmU2m&ߟ~TԎ !y os%Y+Г={HɂVSYQd\QBk>gzc}fN7#Cx[?րCQ,XW̊@Y1mC7|ڼ+#Tݰ$_? kd$MoNɗ!@;a=tuPlJE@Jl.֪EWNN_j>?8i@`y=I ɍ9L%VD.[<`:g& aC t{,_1F5ϴxԙ!{ٷ15z Kx@|'YwAcI9x($M+xǹ9_tXXve{ZSݟ=WqY4PKw=IBgVÅ)EHMHY'dc 񿟛 PAR\ vfK:^Ά|8A^OO]Nڌ}*I$e m brR-*)+rMmdR‚Dk̅PH8_)۰]mhߍ@=_C 70"΋Ἢ Pʨ䇊B!ޏzzoI*9!# a&K+/*#S_(4 3L16 SC6.x5cdC=6(9+Ko7D0o 뎛7x8,7,ك i۝'A^ 3r^ +Q(dx`cOXJ km<2!!=>"egYZ ]  A 6! f  >h  5 b se)$ ) 4|-6]N!HOL-Computational_AlgebraHOL-Computational_Algebra.Nth_PowersPIDE/files-Y?k#HOL-Computational_AlgebraHOL-Computational_Algebra.Computational_AlgebraPIDE/markup,X?k!HOL-Computational_AlgebraHOL-Computational_Algebra.Computational_AlgebraPIDE/files+S?['HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/messages*Q?[#HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/markup)P?[!HOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_RingPIDE/files(.'HOL-Computational_AlgebraHOL-ComputationY?k#HOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_SeriesPIDE/markup2X?k!HOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_SeriesPIDE/files1p?kQHOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_Seriesdocument/Formal_Laurent_Series.tex0p?kQHOL-Computational_AlgebraHOL-Computational_Algebra.Computational_Algebradocument/Computational_Algebra.tex#`?[AHOL-Computational_AlgebraHOL-Computational_Algebra.Field_as_Ringdocument/Field_as_Ring.tex" 4'HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/messages!R?]#HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/markup Q?]!HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSPIDE/filesaAHOL-Computational_AlgebraHOL-Computational_Algebra.Group_Closuredocument/Group_Closure.texP?U'HOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/messagesN?U#HOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/markupM?U!HOL-Computational_AlgebraHOL-Computational_Algebra.SquarefreePIDE/filesl'HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/messagesb?]CHOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FPSdocument/Polynomial_FPS.tex s#HOL-Computational_AlgebraHOL-Computational_Algebra.Normalized_FractionPIDE/markupV?g!HOL-Computational_AlgebraHOL-ComputationaY?g'HOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Power_SeriesPIDE/messages;W?g#HOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Power_SeriesPIDE/markup:V?g!HOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Power_SeriesPIDE/files9l?gMHOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Power_Seriesdocument/Formal_Power_Series.tex8[?k'HOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_SeriesPIDE/messages3T?]'HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_FieldPIDE/messagesR?]#HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_FieldPIDE/markupQ?]!HOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_FieldPIDE/filesY?g'HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/messagesS3HOL-Computational_AlgebraHOL-Computational_Algebra.Primesdocument/Primes.tex W?g#HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/markup V?g!HOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_AlgorithmPIDE/files T?]'HOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/messages b?]CHOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_Fielddocument/Fraction_Field.tex R?]#HOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/markupQ?]!HOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_RingPIDE/filesl?gMHOL-Computational_AlgebraHOL-Computational_Algebra.Euclidean_Algorithmdocument/Euclidean_Algorithm.texa?w'HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_AlgebraPIDE/messages_?w#HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_AlgebraPIDE/markup^?w!HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_AlgebraPIDE/filesb?]CHOL-Computational_AlgebraHOL-Computational_Algebra.Factorial_Ringdocument/Factorial_Ring.tex|] HOL-Computational_AlgebraHOL-Computational_Algebra.Fundamental_Theorem_Algebradocument/Fundamental_Theorem_Algebra.tex J] Q 2  :e @ JV H Z _Z?i'HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FactorialPIDE/messages?X?i#HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FactorialPIDE/markup>W?i!HOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_FactorialPIDE/files=n?iOHOL-Computational_AlgebraHOL-Computational_Algebra.Polynomial_Factorialdocument/Polynomial_Factorial.tex$Ǹ|-AIEb0ނoOn.ĜZ7Y%hDrOVrpKsΦyXMp'nƁgdڵL,a_6!YIkSpI(*Z#֡b4c5q˥~ x*ir0õs5Xc긾8y m࿣wh2)! :Hҕ sz)y1܌Mp] g%",Px#5Vb tZ&,Mrd IH@q\77A9djI,|@P~{Xă'bsԂ˱UA".C"Z~7Y\[vut Q2eVjyK;!ÆA2a6ʵsr_k9vQ!a_ߛeN<sְ,:970%ݯVE>Z{Nz=4e7t^:h߹ț4GG]v=}R߶rxNm*dr \+/S?.;e|?edyG{JFW-4Nぎ_$dQ?\쟿gtZW)fS5> P3<;rh2ɺBKNz_M?(Hs%4!\ȅ@^fT!RȚ:U+~E:! | E .H 7$18߄5iVѾuf"m5c̞$X~0?Ǭ% R{0,u 9)2wE̔?@+,wzNa L24 9id;m$Ȕ<<|~P CڸYO!s*H*>rrT'zx3$ɱ6>]͹.-i׆[i\V/P_5DPe!Lƪ3{'B=Ñx=/*OUtY4,ސ>ܪ5^C m'M.8`QW`mbʬ%>I3duVR_U yI>^\W4Tw)IhDІ#߀p)+ouQu]`9zO4xJz:-^HvkMh#4KG]{]y;Uo/F3 S Hzɯj;/ >߿a1EF0NJ=+~ή_:lX{= IxX[?.X5G` ƟAΤY!`a-v2*p{98cLYXB๼/.hغ4* qlnt*,Z9|_ (5cJ A('Rđѝ3Tu"~rhTJBv^G6#+4م߹]VK*D&x͌f##Hdh Ndre^.z+X}*˻h@eţ!~zwmuoa!z#t6v5co ]bI 1=E7!ɞy! ?ѫ2i?Hxܿ~'y޽ )^0m, 0Hͻt~M pGYCcS%"C&3%6K)z8Ê(u=N|A rO#67NҚN쑖2XR&%kW2 J.7#8 >[dYM QhX`Z(p3lҗZQT ӈ/ubH\-*)E8;)k8TCkv/Zn2ͬs_f9b*Ir%j98aG'VѴFjOܷ;] 58b8y}{F&Ӂn >{t 6_T88lr5hNӝ"J˂ưGDe;*`Ϸekّ-El pv(管V"ȱo3orI/jtvJBL ɒoq+[(,Â(JOl(s̥"[?=~79Ad侄R+͞H)SPNvat; d5Ag%?_g:v(vTqPw.U#W&}5RZ ܃(mJ{j6^TJ\3:l%&zPrkV9so|e|!滤X45h޿;vN! 6~ԔLF9OEf ]œiI ʄ/\mh|@V̍/딿^had`]Lja/=R>"p=>ͭEiDxeb{ߩQ `9U#wx5bW$nX2HMuI A=QŸpoN"BH_ι42ljsV}l_Jf%+& ,;ηڦZKlvplfX}?]KbIn1.~ D4H.[u͉[`AӖC%s} qܕq".69nJZB9j\D (Y@mEAeR'O4g~ ^gYZ  [ | 82 ?k# DHOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_SeriesPIDE/markup7zXZִF! ⃰e] }Kc^8YhT70EdE+bs\1i0,d0$j<ֺY=4JZrm̆ZCH8½U}L >rTaQ.K1]MK]/^1ZQ%Lһ|3;Z&,HBg 48G2:UXl"CMA9\Od'kbɫ έ]UR(qG?,=@wGU?XV[h}d7=4mx$.yFxaKbb7WPg.N+]"pF g1c#BfPM쌰cYިw #u/*}!vA*_*]E4s*0vZ0q o=*(D:k݄Sg?eOilςiM0o/ "hÕl%ֳEH^pdx.!;lr.@^, s4Aaxk;l99V:5[qa 1_ *E#i>|S&?]뎸t s`"BQݔ'·^ NҎaNZ\v~} ڋ'M;*UWn3(T)p'삥dhfO#&'=)dllH35r t/K*l "Y!=P3G6=fdDOSBn>)|&*: }Y|Uɖz:]l}t{zsx>!LGF0PDz 4 nG'v9R APΘtvV`K*Abj 1 o7KhAoױLDhBRM<چ)o#!MV3jhc.w-<,JX%]dYTH`wC_ ڞ'd#,Z<4`QGV Ph,2YZIENT%K&' ]HA7}58),a >mg]NbVB~B?Įub0ӥ,ǽJ_1é|o "s%"NRQŨ%48|`n6(;~}5/IJd+xBwpj3TtCm"EbG\(Oֆ(T9wӟcl1/7W#e<0 q4 A7A~UKE.*X_`P, H2U՚_ӳJҮR޴fYMLHB>M:8`L1?k!HOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_SeriesPIDE/files~~/src/HOL/Computational_Algebra/Formal_Laurent_Series.thy#0 ?kQ lHOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_Seriesdocument/Formal_Laurent_Series.tex7zXZִF! 0]A-MՋhvG"uIBm5nMJAld/kұ'XFBb*sf~jb>eXP*l&iC*hn}CױD#M*Q EF8^Ҋrx\}X]Qb%^EGvaKIzj2Oܥz< KDf6Bp0? vc+G?ƫ\,ÊV 60Fc8!RBIR_ӭ[Ph8ni \N= ~҇ɬAJHXj}cX?pxSmw>g31tYL_s:uv>vgGDw⡛ %2`VM3iC`8b l9:h#!2WJ zNoG:JXİwuZO}:--hAte,ǞIdɮ|K:i ))T,2\st!BUiBoz$ƃQҙ'!n';CG8 9uDzHΕнjA>?"/?U' ,HOL-Computational_AlgebraHOL-Computational_Algebra.Nth_PowersPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b dy{|U"]cC#PF]L.фաe J)$NԮ͓9Xuᆸ=s/+|N+ BSFȚ#WMdnGj ;G^&h!P[Z#$գPHv g|n*`Ioe& W~yꪻL[__g`.) r- b J^S`|2mHW!Xap&TU'Қ<8Pʦ`ʁd(Tc$?8P^eIPɠm/l~(j^ 1QLt2Zy$V>!3@t$<2`!;J1 4: >CREHygăO5.Rdt ܊"1'w/gYZ@>`n]' ϵ?\™BͥOIH.ܵv1ܲHq0?9 lFp^O7aVܦOn-[9n$YdIH;K*gM=}BԞ,41buy^2Y?&mВVGrCP.թSpi@1D- =+~ɢVAD<WR)pƟ7݁^Vq/UM3^fL7lxXlMl o*+ڒmSjJ%lB9#\l)[Tc)m&W-@Ic Le[hGfRiʗwv[BYK D 4 T<`)w1XNFُ+(vt։*QC:󒰻_$4uVG A֯4xelq՟y\1"y6:2JጡuKcW(IAZk#ŦAa yfqkLP -pyY#BX1ͬ>T91$K/ڲq3GyԹ== MhW%Ic#;M^55O7n\t 'H+XREnHqr&<_J4!VWfuf4K7xmvQ M t KR39 Ɛ)#N ZZ&PɄ4@/%28Q0'94uɬJ,K:@=mt@#?SD͈-ɪ~_յx˵̎g>[600->:ZᓯSZ4r-?z[K|GTZd4TFkw>2#i sEZ6c*#"HaJOcqLxH va 7J!EgH3bbg3͇eVg<϶#U.:$[j0*bm5!泣$H=۪plz!zd9[o qcMy٥5؅^"x`UŬ+uq쳙s4ċ`F#r/鋎}ղ}h& Cc=6;j–ɓqж'[x>%v[E>Z(nۮ/?ܝ@v:};cɕYs@e-E<zn\ RycsB^g}U+5ւ㾛 a<8,2)X|_b*ϭ78Y3X>줟E iiRk?YJW(Nc Hc/z"lnEp$WQٿ[LFBt7<_*D/AY{=|Yz : |pKTe9?) LK>OO.+ |/r/ t߀jA+PҋK-q5zW!EqM?Ν/꼗bqbiҼΩ:ɸS̒CIg cͱ$ך,b%)bz֤C d4Ҷ@+(|Ì5WRVykU#@̳{@4Zocad]pV H_>m3r)h?霢m-*7kO4 [G9]oRAT*YqؕdXPQ/RhFG)WOb/mxNzL- W$G 9xAMG;1T:Yi*{$K=!pu_[^³C~$n^6a{AU,׎ǩ+yV<[9"@gpS?|}/V%}v_B}N4B*H_U-r4_ Y*}EldxS!L  z4@SI?$;Z;왔"uh䟌Co'yDu \\nAW(V!i#[Qûz!c6PT7F8+ܖ1Yǟ3v-Q%ẁ SAx3\5']r*}A݁Ԑ,b JÖ|" ӮfW=< 䰅-F]y ?J P^PMY4t{`X7: oNsj_15w\I #{踞h P{e|"Ljؓء_|SH%'/y*IذK3U\t!U<@B7{b/b0`%@^Lsݽ>~Kk/|*ĺy趻Ut"͂}s[9v { ݪO Zӯ3jw3t>MD W8xp6Vk3h:+s6[lUNTxʊ2h_Fv3FV\Stf9tEJɪ|$*UP{f}ƅd]sM\BW;t~ wd$W$`p9uln`Ѐl{7yݰDXPNTK>Zo,t ݜ"GtFo;y؞׈XXW8$+U|y|$ϐA§|M'nm %Lt7M0I3aMҚSc$MUfGz`27jSm?lZ1YPz4>!LJtvi߾GﵦFpv"#O "Ɓ}`e\w2pbEiDGm26:wUcX^&**jBRv]|6XV00HTmD /tW9 b1S)|h(mT>W7~ƔoH0R{ \2RnT:sOquu^#UI#( wĐ)2cMQT Y 0QJcu#jQPh^N(E 5sCR b([l5 BL9d`ovӎu(jI99/k=tN?o`6&v({Thl~k*=4tB"m4ХkK ?40J >c ajT u0XQ?&hZճ 8夫a+l% 3BދLW,jᷖ^Qά)D3 =n<l?F4ة8 ;dL2 V/P-3c$f3)1}n*K9MXԓq ;oF"lmCޱ^āҢ{_ex_:s3T=L6`v ǖ-Zi-z>c|TpMJE)'C# x5kTAU?d2WѶXG6տh!B~k-{c_uY{*<*n V8z ^-5x-$ R\ټ c M|G1]Z,]4 +XlA) X s6{Q%-bŐό KcSn7آnu32 刍0zA/?le̹j蚥CYe>+1ǟ9j@kquwoE7_`Nnɠy,EatOQTҤ5t6J[<˯}6OîΛ̢Q@Ř>^i,Ӄ }M9J#hrQ``^T 71wQ@'&@8S:w=Ugz*%bm|FXURօㄹ6VFW8>h!fʶH'+kCZIH0ܘ} j ԣKtzWE3 򚵈gh 45ƱG1(^qU6 ޚԵMK;|V"4.`2(:Y2YVX{l@b4}=xNb,HL/2eQ·#^wk:e EQ1*.BaҨH{Xp?>-_j邸tls~v1p'[0T+_'©8淜ꓪ}qBqO(x@ʚעvz~ #HtލNj7˦Ukʙ.s섯yX  +qp$X ~zecsL0t84 /[ Ǹ~k`E,yw qG/+nMF=LOU8n-ՕV TEBi_Қ6 Hip$-ŗDA ZY,OQpIomٵr2D89C7 kzONRʋB#%Hg^!_8٠w`pYW iKN@bL% 'ycx`qy99 SM]4#j =#>ʅmTX媒0p]1YϊuA!ښ M:w&?1G93E?Mާ"8@dɾfHDya ,t@e:nD&16(ɹ:/I1wgKA[ryT?V9w؇mձ i/膵_# '@8j w2LiUJCI,˼~{VHM셋6ӽ&M~>Al`SDs))Yݱ,+0o+[y}UA> L*[Iˇ ʣ=d{ƀ#*FW匀@Pja8DKH>bpϾ1~*VV(5d\k9]l(pD6}Sv?N-_C,(cY-:41\rj͢@;E;A.5&6lSY Gg--PnwʻXsC=Գ!F-K#03G> V!gS+/y\ue C[ I+Waj)}a`hh>i=dG* !juʭ3ʭg 4S.a1#~DYx=H` u^r+ǝ@JJOgP/+ g# HPn!}ji= "zҧɳ0 к>QEZ_Qe~f[1e tvn`QBxBFt@O[-m NCng9dA=?6}0, 7 b0^{>aT0Iԕ+m7+Kxv/\M] &QcÄƽOp\&^tm[ݫ61+e4Jz? K) dϘu\E? :LO[|`8,c4Y&q/q j$H8uB܏ |>V_Û$\)-N#[8qL=WzGs!ޭNK\E%t쑽eS$)PR ! 9#jaWz*r8NwIݠi&A]ͳv?u~XiqzʏK alx/ Ԭđl&5* em>RZi-wԐp܁+S;Kz5L‚Ѻbs`rZRV;n ߑ()z1GLj:bx)^GuiXoQ, l'5323?-V~`}ْ+RN#<=JhLƀ1 ȈGzgov8 Eey\KX:RS*GG%RK= mbPBVlER7͠?&n#$L|:Яy!$>F@ .B3ȶJKIS|޳0mQC |CVt.aj_q+IkG̮^Sȸ~[RY(*ܣPڷ8?(y`@:| B!LGbR;{_i,>˲€TLgrt>^uVX?[l ՙ@6w7'$L?@uZ:%p҈ e3=Hnl'd#U*7z @hF[32;ҮU6MM-~N$rff$1 tɦ BUkŎ7nd牉.5Ed(PmgG{E5a ozP&i\Uy|g"俼N|tI3ZyBujצ']4~ZUC qAh4 ـY?~<:A7?R]T#I(k A`8 UL䝦%B zb. 3Pq6;7z.vCAІKwְ-Y_LضİCm hx|ykc ypQ#En)E|qv}CS7!iN+9uDnf4!ă1p,oo dҦpX!?م8n®eĜ0ѠyB'4C ԌQu KaIէ ?|徟-^nͰE%d!0cG%(1mP`YImژ1vq5mH^Lc늚6y+4MʂU`U2L-cnDž;J\~]CM'n.0:sغWB~ŝ-Ya:n];?S f^ɭ6|B Q`\yr/WWBT7R_gһ  .SuKo+/4FMFx:&aqqA"2޴ԱK.Gbq)5?Vk_nB ,hM?~-74T-#(Y;mLK,YE*r땥X\ i pT&Qw8FK;vV%o(6i )mƳ)=p#uw4ktz\$+$]LO(`[{t M0/֪*?1:+h1jA;Fe ň-ms\SGg?|Oy A ^ uPC&޹>iZ\OGL?pֶ2߭Ii/׊'K6}X6]t̥ ޫO {֠<<1]o gU{TID3j\G`(hpQ paC8¬ PsOb93r ̅x1;/i>&lA.Pօ Uon̂ e +MWlT DA1npLޥ:a%ZfmADR^BG'_ܪv-:κUQد/ TXGqsIl"^%э\?QW<1(Dsiok1h^S#-}HsûX}mg0} A~N$ t(w4Kw!qN=ͱ/Eh6xvjD1}Vr=0戻{YߌC(/!t[r*&B;"6L Sk|=qwrա墲6| m&=k~ewKVG/<~ "p)^HG (˅C,w4ЁRM"xmb_Ňk@@1@ZQ{ew9kf,4^ |HOŒgK}AddD$ae[)׍%)/zfπc]m፳~t UY0wj%vD\S~qd $Ŭ5.[MG( 4)@?;S.NHfZbVyb5NJH %*;WZS'Cf>\lk l%E]+w PQ:;  -s4Ṗl;"u<^nr0t" !U=5Po.YlU|f?f@41% `\17 ɛR*):CBpb҉+S}TH*eSDӋ󩪙K[!wB5`f K/3SF$;6=BOA`f7KQi| =Jl9Y"ha* %$9fR<% u)G)u4B ) @_A cOaY»/ uO@M@AVs6c ԃU  W(=q*RD2q~4~X҇GL_ #9[!dž +Zv}SGpiJɫOEKRvvЁ7n'nqDŽ9}Y4z8[K^׺`0YL+^q2|^7-$ӿsߌvA\ `=i%K_7a&CsDtP{AH7#P¦%.$ޤT}Nv=r4bjfקI ju]Ֆ=$?OֺP"E)FNn],"x;~jrѭ_jWŎ:'. VQ-.!W%-W\vde_楊X;@7o8<5&.}dڗ4aaiďey:C;V4۷2A`C" ^5&;Y#9Us@sXsz;0 ]XE,A 6|>" /ac}@_7&ZFEI]w~QV$tLCO\o/m`_fpcF{U<2$8ћR~-jO7̞l/m$tFeAhU|o;ٙAoWs֠#Pm0}`QoTO;6 \ht9YA=u뤮%R8߃`xIhzQW yϬek;L2+[THM3gơ"c-!*ŒvYB=&}#Ċb7>>!J*/\ qF P.D|."*l`<<%-]uDy84^Z\}"jֻT>?KE fgg߭\;W(|P͜?8z#j7k?v#BV1*7ht8R KzPVcL^5{M 阯p#UR2}dȭ$ir _",|4h pɘQf@ 9ecobw5ɎL 5w^Yn2x^p5c4mhTnZ.nɦ+;|uKt!6&pkBk&r{05y؍nĤ6"j>7}r"m/vvcvxdM_.ww/Be\q}d]mJ 6<>Ke@Li,fMuD[Ufٽh( HY-]Y*fWOX?jR枷q&*=~!t;;xC?HͽGǥ% ([Ii| -gxc) ;fuNmUyʏ<uB^Q*R`F:F3ոRϲSq|g ]GTӭ4N T Q0+GE >yee5٦trx }yR:ӡ3!m[-&fuE6$bxu+Uλg(ց>%E8tgm>L߈cZ&˜mă jK[JFwg~(cZ#.-5'đ'F5G_^f[73m;0ƾaB#A5(?C<-ɯ O2Qn6MUA$Tj! 3EXZM 4ѕ{{+Z\IdrMFc]+vpWRuWv%%0٘iN?R`,2LBiUE, l#ܐQ87O|siw,j8q R,g.cZ$Ƶu",&6 Xag.ڎ~VOФTF+˙l_ !V |$p}"Uf9q=%|B0"qyɌ<uPH&1LnQطl 4̩Q&t\-n/"\o{r|KNyoPTkyHZ#I (j14TtG` 饀 Q.'}ˈ5"zlȖ-EqpX#L~hsn{.yZkH9> (/ԝBPnR`VM&_WoVhV}MuΚQ/pw]mw'/ig7ю-*(/n]JwN )QS Gn@¥g&Dj8NV~}CdYOovUEipӢD6ڟaH1 %Oč~zwupEե FT7CP!>7Z׬Oel=jcg`JPkTDؚJP26,&DO{#H!O-igꭰټS YvBn<ɧ1t\6OA2ߔn]ݸ+]-Nb6S 4=Ɍ: lqU!L\m:Gbɵǂ̓:;_ħ^uJNDd# l\S'1Q_D3L Qtzbq/w*=^0w_~¨YLuv Vm8ʏR[ywG:#6&,Vi& rٕ +M<%ўNM 8.Bb$]% r_dR7_.CN2W/!RM.f$"yz*Ҹ%ϕdxl.`h8_vA/ 09p9 Bʀ1(gٝ~TsԚf >͗ /%Lүp.;c}[- JW蝘ʰbWLA^ˉ\81*[@a2 O^HՕ^ ~Ćۅ+‡Lݸՙ 0^V,ǩ2"U'D 'qVV^H&(3.^1P u|iL_\Р_$1`jCw&뀔KɾpD̨-^'(p)M{\PǨkK6OtĉӚt=]<m{snQPzH"Uaq>p]Xn[@dzPi0-ռ~ ig4qyT ֿ@TqY OQO幣 IW ,]A~^ÀAvϣuYU92Ο4)(UxZ< V A'%C?nAfAfDisFHq":i_VLQ)1z6&<vJ½\K! ~6}dp<(rJ%`>RZ+r?Z:qm4pnC(0"|inPw 5[CL2w?PAWfmgG 3c coN85 r!?.B4)¢LlEG;˚uQTϭǢm AQ%؀*WICN 堇d']+츰 ceB7:p v2 ڙ`L ɔ/t v)cz1glPU ?vA2B߶ 1|%~:/nHu̎Y\͎ # P 'ʶ=BA0k"Ԭ\VE=0 +!Q1Ŗ,+?:nsLl}L w3gy/> Uv'n /_[pб8TH(Ǘ#®^ۭ0sM~OȂrx"} 5xHsg;T@e2ѫ&%A膛5p8i/ /&mkߛ^B6" k(.I/'F2vx#WN g0Z29se-hY<]ь44,lL ʢk%~ye]WocP3ԲJtk2WC5^>ZR_/z:x/mjƗ򿢬p "]3'p&kO}l *z 9Ha( n3s7L9!ܭ .#]#" 9܈eS_23l%_ ulUϜql xuһη=1=8d9~Ovw!tɟ^@L 7͚) Hr$Gs3[+#LB {D(J>'gh: 5 DܘeA0usaQdfUV@zYgpV%-Ztȿ3 q^y`bz)%14wӱء8AdEgU->8Ռx [m}.0嶺Z;M D䟎?HGCH_Eߖs`aIRn

޾lZFA# 3-,W%(N؎҇0$2($ NXAkI"`Vݨ{ݺ <=M u} R^lN~E#eVûuBqF!$W`}a !%MLVu{1 Z~Zh,:4LK$(.P'fa(:zK63SaN;3b|g}jހv jw=-01Wa%bqY _\r g7$\彧#LU `󅓀 Y}CMVcpT͔>eGLwlWOR C "hDyzNWK:ߞeCtBKJ j-½ )SQ+ТTSBE厪E HpnXEІSfY{hI0'l[&?1.oTA$sJ;]&b{"0"D؁ |EqQJ XrSȸ{٬ڶZ jq8#.Z8ezK)nՐW6wxH2(ntG+Da)“r#zRޘw{'{k *RɄQPY~:ap)'ݒǼiS9f ژ;ƷAay !+ |4}[24[v8 K?iP]?jRdլ0MCޒ3sS ܚٳVg:c1l+"!(GSQ9Y痈+ \8y:T]#lɜ7ݧk9#W[ EU[>GC5i4c$&ޯV3T 'k Ж)_|4OF8&/mUsTE,tTwD̆Ϙ#opO6GBRhB/!<(a N\=?9 Y'"p!" |FkJ؍E /q+W}G]Brf9Xp:)=_Y{\>5A߼k29BQҳ !$)P_-܁#k+]E<1tԺopo9n(\fȕ^2&hIvqYJfކנeq+Nɯ3U/3N.٤$ )Q!#~(g<#s+G70z=_vs׻q1@tܤ&O %{Ml5XpV-;)CnNVגW= <3:ˆ{{=KFRy@&{vVY۞04?:]t#XgE!v)]d|4>f ܙ#Z_yz͕=#Qe2S~H]p˭rur(S&s{W;h @vp/rhi#J) tRaגc@eXƮ3=S=d!p4YcC:ӧغ$r啙Hd鱻'bZo6=5|$j$. g|h|Z|h/%41k)&ݷ*B }=UknwzyPLUBZzMȈ[<<֩`ꎂםE&B\}h9&\9rsy*B ~{b}PEkGbRV V_Ϝ)Lfj,ArE+("MN?6 Bq[:RT>r.4p%#- "qR'82Z|6z`<7XI"xJ¦>/Ӏv1ΧT.Y [A iFrˮްwW}ȒOUU{8T4&}&c|^M+K 2WXÇKRϊgz>#k` GPXd#v׏9YBPz>~vVOU2JhȻw0A&Ҟ"ҐtR~7j[ l2KE!4ؓ1iAO2LIgB؏۟xOTP 6z$$NIc&x)ٯ@;Ku4got͈uN4 PX\ a*bW;g4SM/'$ʮZ]0HX$' HNTE nf9=IT)#|V A,Wo7EMt\ԘXϜ-VucjrU9A g1Qq|~,Yg^\*Z`p ;-BTjMZX'}b;#cZ)j،vײ-B(-)>֨&?-Zӆqs h+Ft#sqc մ_.4r{q ~E`8Z[WBvdBF$A؆ze.j9Yf79hl1e {d,?7l?[Rx#ாpM ~3ѲS{*ZI 8ET^ĘA6viƮ ;hTYٳާE6u%M]۵;@`+8]~%P%*w7ZXN{0U*uumz/ؓ+=ߖP6S aB \2l+:D>+F/X|d'mtafhciV@oMÅU΀ LiD!Ue{~`UgN@/?OmoW&J!f:bQ=k󺭠qd^&w#m؅ 9őٹ?08#} sMb7L*;5Pǿ#jnrµLV~Aw @^ifi}2g &8 <@ݐ%G8);@ڂ 0rl+͜p㧮2P|Ii+Zeu8m*0J,^@ \ |*oO˙uV5j -a)ywT ą8՜0FGREL/Kfa=sQXͫ`)o)fԣϷz\(.ZE8 GRh^5)_&ŋ} 763+ [b8}vr#c=cwt>߅ćx_-l'f}x SV O/ :R#-􆕎I!G\٨ZQ,D^7x@1JO11'be[H.[}Wyl|s1FS7.䩠FW3 z f&؟!fgRZ'7YpF3 _ 7N`2.gy &۶v_%Zvy b*w.),dVv^% }d|c)*|EN;ұg&g`rH_#N|m JNɓ컺\0W~Q^D;pZI\΀zJ%n!Lu ,Iwwz,hoFmG?%]Q&ϮI扈)Sx,^_|H\,I*A: 1||y2{f 0ϹiM;r5r3VNo \kg^SS5d =9zmG{MVs2ȎJ):9UT}T֩Lhuj ;ib6* ZOѼS~h*} w~Rz>COVa>z&?*YgXU :"RZ8{87BtR|/z/(Hou_ґҦ3=c##T]%q^pPMmT5w]3vѦݘWL3˞[|HZߞ؅ ;;!@ e4&nh9َ"-,GDaD1"Q^St9(gH. :ܗoԈ$K[O$,s۰ǙOmFs"-J&A^kcW&*2uU0_2'>o*L#)s0,n[ yc\IL%'V C@O.gT;8i.‹FcX9uyz 3տv\.bv(2`$2<cAq@zߵaQ>VJmWc/G;E/[%@/;\^n!MIIɛioqAUM R8͡vS @m33,KĀ/r,1IUE[dэ9=4/6_a?Y2'gOR&Mƺ2}}RM5ܐ=~6r^Эr7S6kiTXGw8ۧOxbnc_] gW]?R*E]vkʿ9(K8؞tq]e=e/n Y~D8NU HsF s2u![%sA~V(to:n*J*䶛^yJ^=h4ł=2=xQ~VﹹS-ItSфv|*xYagBqxx惨*B> >ՍִvtoW,&7~oP(-X \7EPNKp-Gf멠$} ZN)b ڲ^37@;jb4r*-W8wMlpPZ~ !Qԫ\TZ20%?k{|9Ե0 @ݙ1ˏ3gG/=dBI=|y7-K=4Vx1F8ag,XRkyY[-@Mq$"ӽ%7? 0ea98e^=4Inpy6 'P $%p Ot˧w  4g< C18y`E I!diU66\5rgc)fNqv븍mA_OLdk^AWwzߨ߀sm=};Tַ^=%0g䝆21TqbS.gTu O"hvl{-&#Xt&.Zy N$W\dߞB+6HH$ҾBOa9% Z\j x-!nz]6v|ˋl7%"%xgT_P@|{ƓkY8I\;Qn[6PQU~9Ws y*sGZܨN?d3SzL|9Xk2*e>iJY~KwrX#[x.CViӂ.znAEa+.N])~y4#x@v> ޲gd&[ߟ{rZ9 `ƣR^*Ry鿘aE%Bm0Opha:À8-=wt%E%BAQE6g3s` .|][m (7[@'ߍ8i As˅XL5 *~tvL/:QvaA$4mN`6cSJfƪ˞^d=OgpA;24RRo/?V&d1|{qd0dØGЛPZ?"R/]VyV`^WJX1cIf36/דNmp2׉3%Kiа'4" T݆4?]qSBnS bT.f 1>uf&liF3oxm)Y4 H>t}m5k=y7!Z>y΃R+pDY洖[! <áGM:-V߸TB߀دIKH(o)}TLUoGe }Hu.]a*\C%&niunG[*5z]N!JH?L ]/?s}-ϼT+'o2m4"zg'Pp |aq!RoYp+lX.%?\Q歴E|Lbd`KT+D κKڍ!f 4tֲӬ녬IW , lg*?On|u4k돊\NڂWQ9V?'R@-pN=C?p_Y0U/= :a];%݀]Z:aVP1b\WsL'B*vƵ-tToqd *\;A7>Dcu2R-#ʗ9ǩU'!?v!V 1?`$㝡j ʳ㩅GI7fJ:ח¢f 5_y&_{o0Os_AIHfrO:PI?U],Q ߢءX-kKGeTěZa6xyO\S#qx=v_ CuHE^JFmO!>@Oq?qt3>1(jx) \zcdW>SΧDu 3ݑ3,w UPVG^ i7tF2F*( Y,:9AB l]㦚H _o5|9|M)ws%ol*t7Si0rΜ*-4"(C/~B$@$.$wOf@\louAo&ٕ\\b0O^[%8>q*wt CW (A8_:i!0nb yFǢvatjD+'Ş7~5b\͡O__{S'R8Z59P[>NhPMR!@$fVV(_5cfْ:z̋؟Bl1B@C"ati4p 7 |2LdQ/#062I8d@X&H:+}Aov?wUZ]_1vb%Z.=7:/D y kFr I6KB}~dtۄC_[ ޹s%ZWO?vd5s[uJzt;ŋVٛ凑$ :˨ۀ?I~+Բ?*.\0񘳮3vD9FảI-\ExV6Ƙ9 7/j]GUaPY#﫽 SUBmPI5{u<.<{_jKNr눾2 5i HĒ'@,AoH1Bl~6hK I$;ء+ьVa?&, HtGǠi&eyĦJ8z-Q58<oŲg6Y ֗1Rf\NFFdJ386} T Y7L %e3ͼl!rnh@ڻ$%B^K([ ӅTau/̂XʍB1sx[(NJoU^9ύrɑ6b1# uNNU=[~{۴"A3~8˾8|pN- g5kyCF|:k6Bttʌ®ρ5dfQ|7f4nl!{pkYpvg cRmfkuHjr?KJ<$R[rR3g!/2@P#F-tRs ./ӾOA]P!UDEpY@'0Hww pٌSxT`[RlR`Qgl10IꃄS*Ξll8̸LO0pmlvl¬/0,oŀy`"qaah'1j~V7,۬^K +(n&z)]~Z/m'z ˠ}JZ]xzN` *1r%eCo5$|;ˑt@ DϢqå oGTr'.P/-2N0jPNCZx[8=#-c{2m<-'S[Cޜ%%D_a3 䟭P(.O~Yuܨ,rEP^ :9xpKؐ/lҶ/`35Hu "GZVpL2j#kc NxnHd/jtB:r`G>'1A4xrc 0y0P2`(cT!bTqgVJl·W iE._}wQk j[qk]-W1y $%>y&>dܪTLBV^>)QءyLHr'hLnu:Aj:Gz=RF_yg7-YI:R]VTm~W(1X;qqJNE AeN<brz4eb"@ =ZpoD_`j5HȹXo~hзPh}DvY2,\( 2b c˵Ǚz"' $ /gO'$ie>>VnKdv,䂮--t mO&↉2y1/FXzc|^\#?z@cuLiHU Z%2C-QSIq/dɅIVuHx5lQu'Ⱡ 8cu;[tԯ3l.IޯYLMT\ YބИC1Mzz-"ol[q^K,+܃>QZrxDqh?~?t JNΚ ,V_#,l%"fpnYbLs ܢ=pmy.Ő ] @u.1. SD_:-XmPNgR[?VV641 -~ dm\s)&ׇ^=6Qy0sxE^ ^ *ĀʈMTv yO7~/~4b-F}ɼazgFQJv nó6qg.~p k::dt,WmW5HT 0U=Х%|Q3ly CXALfY :HrΊqKۗni/O4lyyңڗuVלJodlsqQ.F3 Wi؜o `-u)`!6-ܐet'h:(s 7*dS&ZkD蓢0.pZ6|<%2IV <-˥ƕp>>v<ʄYRf77"9,8j#ud~mG8au ϵkx`#GboyѦ΄YX)v_{ 6={M(J hئ?BVP' !M? e,Oh2;s-ΞX EHIa VU<|ꬕXgتտY&E<Kzwkk"KIu ̲ݔGL /~;F"Ge,mM|Gǂ oUSC+qjwbXlg+)[!y_( t 7|viP8ͣ?%3thlnڄZ'+A&Y˵'{yvJpm $Cm˫"AR:Q! BDY#lkzTUj@EX>ϡl (S\=aUN}D e0=d( NM}1'g_,# Y#6W[ ơ-'O@|l 1 4ɒjwl+8iZCaɬz2 v[3m&t0Ucjau.KZVb}GNJ.nN,hx_w shI%[ʍ Ӹ3 Ɏ-3 cq6v`K"̯xV:flgԊ+oJm!GqsREkTM:?g4$^]k 9Yp5Q}3cX[4w |v h8F#VEjKvUcLp}7C `A\cCNy}aqf'Pmam G|DZ8CF~k7X?g,o?6,5i5Ȑ<|=z 3 00FڅԞ9}E.}GY8'l->f!;G.]"W.Ky&>, *Mw+_v+؍6* :_KHuY6}&zo;*C,vVi})A@c|2j !(@GA8כFq/gӻiBOt2~ ,!6(ԙdwҢ` eM7"T^.b$'_[GRiBO]0읝2ʿdO4ni|b B\H-+#֩? V/F2z"3p4/w225WZú}W?"THG(_VNB]0z@nRjA{e:1 ;߰ԉtt~W;۞U@Z/R-v$PӊY2ZVB1ji,ne!sQAWN`ZR7gdEn@TaljS29b2Iֳdw L!W8ӀOiHK$MZPANtƧ?Kp W}Ԕ!Y2LK& 鶹n 3t2-,ݼ ⢶Yq 20q+I R,Z=jka.͸5*g+$ 3 t*HJ+ L'# BrVxS4nx-w pU\[GYm<17 gSvopnm]@ X "R? EKd"Jq`&"ȕRE7ۆ$T=ʜF8k-]hM%Jg*#}aE#7Z"g 2@NJKZ AۺXXdmH$½#v$(y91bFD\, `.':_ٽ4F}\ej X"¿$ iCyR_q(7yrwetm@;,0lC9@@Kҟ< X:R>p@%Mq*z]@A 78;p\{RS7 Jng9b ׉ n.-.yLFL{9at = wBcikzWFQZ ﴻt8exd)rt?buuWAbN4]3[݅4 PFq~f{#0~& na9A d}^1L3}fNҲw{ĭfpCO-D$2^izA!w#1 X5LٞaRP՘m5)$T'Qkb;z2PÓ_"B?㺢 սL߷ZΪb1)s4l߯.E_৆ F!s[Ԝ0Rޜ'B?2/ -#_%'K(8=XAi\+?02v/|n yƍD5I4(S tu)oxkQ8 eQf nNڰ?}:~[W1D;W{q)2z77]*DYׯIpxy;O:UnΜqL$ /z_@|`Z:-gaɍ\bX|x_<+ܹQ-? V%SUeWf(Ƣ(8[(z/CAnLy_l]xǒY|a04O/r}M$#4*pWUe+O~JI񖠫s)4а;̵IZ%Lq7ZBŚajt(O'w}84)6m#.eá9f9] 3~i(C5e lK/n03ҡT쉶ܱ|҃RDC>PAoZqTB 7dGR"CiIK@9p'QNEa(iNIC]#)?0WTF{ٹs~" ~]#){ *h*7Fn\]\2POl+şVߡwD~7=K0Hp`bdQ{FH0_VfxY- #F̯{jHۂIIǾG&9a!څov!L3oO"9]Vۋvy߳8ǂtpn`˵pŻ+o6hbjIes"@{rpݮJZ~u1z5l\:gtYkh\Y$"p^!J(ooөJb|Q#f13ժ&=)j+:^XԛF{ " W}h1e 4KXf[:Y ʼ{KAPѦYv> 7㛙g;DOg T\Kƍ19o(5tU^1vǤ= ]?~t{:誱1>zh1ۣY ?Da͢دQjvY:2YS؞-^Z,Th0_{>܁f賡Cװ :QU3?:Fv묳޴P>|Yٺ ؊XZq)[t_V3$Uš/9̴Ziz}zz=cOh3ktdJ Гh0|KJBc_]\KZ-}7=cVEHR?cizU'˭׸sj\nǭɫNlhP2)J%g l:5e+X`?tүb;;:yG@+-U5C!A~u;s=#`;"k <7]ܨ-kCDȲ1c~ecDMtqYUL[ހ4Ųݥ^tMIr֮+NO CٔiVЍR|_XۨX X}z.3xʶv@LtV1Ȣ^ w.6մ_x^ZQ`A8Ԙq%fbXBt+5  oG <z2 OOՂ@"1[u=<ŨSF(v Z=FdialZ٘^P_uѝBJ7̝KiD˖=^^QR$_rkb1vECyzO$~UPTQZ&A"} Iq3] չ)Qa}A}Rٱ c.'WَlDO NM#oj^#/ ki͗H=-?Ť֝'> 0Jd@,3̾D$y` cx<`MI -5?-qɮ5v<ďYIҢOǡr~ԮbO\me! 5mWJ:g[brʻ<`(#>Imh[p6jYʇPZV,n<%i(R?y#) }h#e zV7;HR]{[O4$iO[fh*6bgz͟V*fཆ.ݜ(Y5 H8:wmNdj[6n*:߫?6כ!uͣ_Y~AZ9ݔ ]hvDy&L GXFUCuj@v)]ڧ* (wbw cSɋ_ MfvOElQ|QkRh2LE[g7&4KKŦ- Ix&~yhu5˼$i"5E58Ɓˌ=2(t~L;I+s1߼)4U:k=u9.hf EmTPd`h_׋HX< 4Fi(޸#*K&CŴ2ȡr^.bHn QB(jY }ОsaXAo(3F:ՀiW>9wxOOij|Od~Jg|ߟCRk2^2:TOQe`N40K긄3]) 52)T{^ "D)yU};_gJgn(zJ߿"Eqvl҅C 5",̞b-8kS a.-Ko]9 =^6asEc&CƁфЊvgENX"A&m x`iYXdcd~|V+7&Z&(jv~̚TuRtsijS3 (c_>T`Yl[g$cwFMzXvI[߹>MxJ~2k M!?pf1ֱ7V&`tQY!\Ь"qZ_ aF;݋С0VRˆI{5.V[UM+e s K M )F |j41H1u)>XX$\i٥W+ )L= /r*B1HvS$EI'ɔ^?p{[}+* ~aYը{h$u FOdeFK&zwƦD)͎T'&><\bF`Ѻ Yp˅#?ERV :"eZ-a>y[%IuaMkF5I7ҼB= AԜD*5ǃ "{E/9¾97LJ{ƍ=[<̇(-IH (/j|d|D 3}lvV@sSڦd5Ae@Oyֽob@E'M;8QG9V9tϴj5"oPd~|z5S {P8=&G2xs#؉/L Esv`.^;qax-0vym9JZ*jVlCuYrlވ04kZ,D%:=RI3*6ZdU;i[gh4GkSk;e8!ruJŕ6Xח ݫW$;񊎧go8ɚ2gvLgK{Dfr%}dԁnL4=1|< |vpkQQ#U h>3T.jA5@3 Yqh ZDѠF#p?u{m(`rAϋ5*/%g"hx. bFO^xB>S VzӉ<~(}EhUV?ŁjёUowc]ʣJYL'T&b7+`ZL1ai2Qaibi#Pncy%xgh>(,g`>ߜzELX|z{%6s a;)yKj`jqzRXPzwf{\eZBzv QeȜF6TPd?8NVKHsIM-:x!MRNǻ@G8FgTgŤO~97/) ~ym%ymsxTSN]% *)1:|*U|J~_F.\MDpT7KzwHZD)]U6,xjjTs^|;JBjS Ҧx|Gvj}clC'>Y;.> g&Ai5`5z6l1)tD~5jƼO:q8܏U`tTƁw6XIı.u[>^zZtuA!8gPE'8>w-E)q/נo#<|twڔm`l0%Aۡ 樂+([dUO Lpk>h ;r~S&YUϘI{P Y|jk|+d}`qOgKt z=_, IV@= b54n;tUpYOtKʲW iJ>]VSauBCqj%[Bc܅0yB  yIԴJsN2RdI5wgW{ꤡx {fmjl +w@{ ȚoqiBz0bxdcxE *N+N9 %CH1Sv8?H ]kGvA8Ov "%Yk aV. p 60xsXmj=jgr'0,޿c"s6J8#ψDPUyͯkۼ;g[^ͶU4*zm4;AN?D m[w#ZTԯB3?drjk!0a8oG8nLW 4&ObaNXaQ/['dbEs#g J$pbRo;Hjg6PTtg7wXn@.>5ޣDʯ"I<'FwĮZwIUpx^3tDU)IǍ-)No,]e{j\qхpTE%MH;> k&C^CݏU4+Tkp!`޲GUCtǞv>&A[tI" n&ΧzqavչS_ĤI?J^(O~j#թXIZ +/ihDD=f`H3T.[pK.Ji kv#ĺi}_bdžH >ň< 'TKbnG '^@,Kb K`_=;gx~XM8jq07t@}Aa/s*zU QdYUGg@b^ h"sƔUɡ$+APZ7V2rD5s/OGl_jP/xU mBL7QͰ͕9a[JͲ_tYE &5L1BsFk]eFc ,րuN_L'鞧|IFGJ ?*QD|Ra⍓F݃-o == 7vRYQ},16c8tK~]C*p1M'k8D;s[ @Dmقnrus484[K 5nb~ h|/|BR7E^ 5K;lC-r]>Ʒ;S&CLfc;5LW58nK}>u W8\lに63z]-{Sqykۻι1 u]t[NAЫӗV*g1R.+Zru<Դ"54vVqnӠb0EaNISg~@C6K[X ZnM/)huyPWIWy6ҕc~*{qX:7<s\>EydG!^*7y (Pr ؇/B9i=`!yG{В`.WRl' xSPRv"׮Q76:(Sk!u+([Hu|v⫹W8wK >Mɸ2iPr[i7`b71g;X*)w. ,ݦ5Dyu) &;q>ь}6v /}a}[5E;҇Hx#/Axs둵_PD7 .)J iyj#U(4#Y=P*|!aMO@ 51Ϥ)B5*my"#/R&gj>?gO-i˯yƹU _ߕ)mg?֗׻vGw0~D'?R&*"!1{5}Wn' -TN d~1ibQc/ü0tIiL=a+Π`)0D<)i?P0$c94rv~[#TΣ N/|<7vo>_LnOw-Fź;OcJ\`|5ͥ fT1I)+܇R.jTM AXJ&L"D,s[5ԭ - R?[K࡟Y\,$oA*N!6ؘ4*1^Yu+fl0~d|pB(|7|-H ̥DpfXEf~罞*?gx2#ΆVLWYB!Rw6&]dT(USIY124ԥ;?NS32eY<9|\Voa.V¤<+-P~ҀMYs4PQO=kP pNeNP'ܧ3K#m:(񢛍iq6V*`7۸x{@z>mhi >o[Y] )I*y:D=P Pn4!$I|ϽK" '#ЗP-U֧|ڬ+U\fv Ieˮgp>wO ڸH/UBCxi#!35)qXe4fFty fv5o>9)CҜSSo Ͻf-v /}ױ^᢭ϯa۾3/vvX:/P^:xߴ>uu*eWOɊI >s~("f9^] @akW4EWA𛚺r-(3T׿dX K#sBONdmMsM;^ɥ5T^>=S7#Ŏ8̓r C ^%*픝}`6UG]Kwۘsn,q,Kzq:g8e0LX7K?UI]c6FnKRņTzߋ!D.>%陸 JuQj9h'$p\95Gyù=-Mid6r^1=GY=0xr3Emc"dd0>k(%5ջ޶v٤.@a0Uӿ>>IsP ~,y“e2`02vus=[&{W*iR+숈YBU)wf ȣ¼gD- U+TlkH˼iwbE#a"]>I[?2xMt Gv+IR;¯Ôj :DYmʄK٫ߞ8q|k/ F0B+`=[v*O%1^gF$HgEÿv}h45?VЈ|&65 1avq|Ax0t7|I(|;ĹI{1df ax^CAyW2PdN`k÷G?G{v՟‘=RPUʴY/sWERWRU z@6› -`/dvYK0&MhNG1}$Y0)Q X޹4|B:l/KM7YmJۋuwhL3<]<"quϮ\唔}ֽk& P&ҭt:d´˩}SSuѠ| tWϑOy0!&dir?5ۘ鸧>,QzzsS}|}u4"Ճ.$v7WpbXy[2L;#(mp~AQef&Dc|i2y",:hZE.AtMxx%=Š> ( # {]<ݯEQ6 Lb/!ZW̶*7~c)șࠁi:G_h¦hbežg"NQ'zr]{6eqP|Qo pD.agrE k((3bL45N&I{bdFg6. 1'7Чi [haO  eҹbvzOЂPwȶ(HCaDQdPcbMkNicü@O6S*(?Kӎ'W(5qS kS Hw٢_hmDx y'o"ZMd׌ 5Gؙ'.RO%bUR_GT&CE|J \^142WJֆ 9F3?-,e!ZМ }g-lޢ%uWhuWy8Nd?&k#Z k&Eؤ8֪ , v]$Gr 4 L@gnxitYd| h8(m傳bxF~(ɘ8;muOB9Hzrp(5I-buN52eo }J <RI1A@5ǑQ$܌k@SVv)t0@[L%_6nݜw G fEt`lZ5^6.<,>طwC[d`3wZ:˕| wV.^'I.uϥk+ݫ*z}X[n0wN>䈯+?NdWA cNk ~bP)IQ6Afe^ ϡ!c}ꄌP].mLW;B!~ $@  6F>Y57YXEрwVrhlL?!k(9ꦫd =? b+xB|9N!= K2I{Ω}\CE aD)jvW}1kOQ^S -7hp\&ŏS7&]7#eEۃͥ?9:ŀʮR<*l^_sBǓ5W/ĝZG@-:Ԛe.tAJfLS,zqyjp?P?O Y^5ǃ?N6Hg%k}8qk+nfir\"<0?$qTT mt3U<kV1=^oEkв]X05_m_7p(mݜ?n7oƏ^d>I|[UX]$<2ɳGc ;GOESfMo*p0TY M'ť߰( 7HݑNDpئJOoNb+uG 4Of~Z,}7 ޝ&_qDˣG/q2 P9i&LûAӊXœ4xa݂赍ڮN_L`]LG(2O>*5hT_N[5d93},j4ap>-ьizރSLV@rl鑟1}iRRbr"'[3IE^ w:_WFTfe\D':Tjzqijk@J]@Hwx&T~~'e(ʀ҆|:CM܏* :VHjʮ7'B"9dfBlyISP"jg`8Jd)~޽8e30Z&AĬhH^(j£3rX쨙VaEl0Y~TQ=o>aiItms"]LL}UxnVOߡi)CR?$a&lD_5ߦojo!dexkC )^r"vÚE:Hy4&RyLM΄gYZM84B0x[ͳhH 'Dw v;q|Xk;W+C{cy[L#z.*aG7}^q(X:R^U]N K`Bőe^~GHǠ|Ǩ=d=XpEm2D>13uHiAƾ1u;`E9RCi;ӝ?׆Wͣxzz$4g@"`G88fƽߙoz6QN36!+}al"4p#Kɦr(ƠH+/uOyB)ĉd)5go;!:ůArQbᯥx ߫DFoM|G^V[~F{W$i}idS[L1n|dUQ*?(o @>)HiQ 7*t)n33#G6uuEdH'7NT U/3VA `#JZsb*Ls c"+]tT®-γFy񔰛,W&4|5eKlȕTԆt J24.v0z3h}+Z8߼e;bW)#9 _yoMEzhZi'OWցGg +B}g ƋDm~%LfOeq n&3mpU57`&,/dӝzdՀoh6{rVL@7ʿE`a[!߷݇YY^?Fb<8&?c5[{<8ؾIQe ڪC{ou_&W0U' R뉗$ɈFPɯAU{M=]'&hi<(e_ߵL|[8ga3E(]= Ep3" #鬗.3$! {4tq.@.i]m;dU\6_.3Y@R[TZ_Ӆ^$=u{yF&9iva grXWiu x<6_fdwuE_YRppc~6DN?GqPfT]X9"X #sC_ʍzIV8k)s~A_[i G],:K{' s cÌ$d|Q D邰yP#UabCD-s)pDP 72y#:92(6DYuIS ԇA\lkJn߇&͕)Qƕ r3~a)SѶjoLt]_dJANk_yhCB\C-%aV9Է8O%5$MOQ81̈́{2Ucg5?j ߕ1@n=D ' a<\vq-`6mZT I4Cwz=JĦ<й9Y1KB _ )RloRѶ}VpCSs xsSQ=!=MH @{%ovKҐF/8OJ4>C8cܰW!bԷ5,8E7߶FA'&@]H񡳟5Fa+~uhЖ_XcMeLn:KWz.;M$?u񈒆4C,ɍ^?]2yp>zmv92`mȷ}Ѯ:Uyb:Ӥb;7gU IH"/d2nme3gVu |r ;OfAK9/F.=nρYK_EU#++?W& am%hTB8D8;T~BPO~ѾJίe$h[Οb-#BZlcI ϓ0>9E.8R3Xt3"੿={#j 1 m,LPjM9.Axpއ||z +%ӼlD.y\}N;q8@w;JA> S#AFN!6AycN/̶xd$D3Co APt3RȖ/ڻzW[b$oPh{ 1=$#AO7DiPLi`6{]ke c)_ܹ*c;E]EfCɔSey~dtXh&=c$>aΖ,? a|ie=|0zҽ29it0BtBᢠ ^0˲Ƽq g옆ihN`J5J Cj9[G̀Qp29Ņ`s \Jw4[~iʜ<{I"*ҫʇΠuY@~;2 O6o; g>~!2 (6/Q[HTOJԼû})!5ݴ+`~iQZt |"e!Z8GF!O/p=oꛇ{u38TcksNcg?,Z"+~h̒| l~˃n:^f.ct178_ WL ojo"u~Yŷx|ps_B -!ԢQ~RfFGj{V\!GL' NфVfCKVBFzjƈ`@S~C |IP:RtbP &@0W'I`e4̯kJXoGcW9 !p(G2VUN/)U3UN2qLx ̴wE)4t$Tkb/ \.UU8Ne-&N2K* 5T^q'BdH(#'Em`K# I1dIÂc5aoAu<=66& UtpJlYڌK,"ސM}~۟)Hߛ 8Wa <D9UOȎ䜢KaPm_ w[MjxBk`< h NJJJ y`}Q߿Y-$&˸KvÃ.ٲ(ZޯdxKC@C˟ Gjn+(lK938X -t;촼ca}"$C@5CT0HF9A6GӐ䥰#X*fL[ɉ k!%. M^w.~YI馨 ix 4i,7R1rbn*A 'a#u\ӝwN/["7C2`'grY?I:[ MkVUxfU܀=IGA 81j3L0p vw(2"\XF<7Tf)s~o˯ qÄx۬v ASI)Kz@9S1nu9Z%2Ŝ"ukX8LhNR!GY޲h4H)GL9>pV1a>v* Nc'\GP*v3Nk$` ٙdAQ2XuBQ>Щvg@kѵKY'{bGkD،jTx"Dx(zVISuDg*lU"KL*}`ߠ]=R8/pH43bLZ"/ަgMUUZ2gկm"MNByp`S?od=}% F"V1e@ ZA i.QhxBZtÂ8&_iX H+aWZO~!- ī"Mb3ZL2^4.1V,}O]zBdLx%482M5Z Жl"Fv^CW]7O><-MjitV ws 6Cbv8,=A=1\ U]u/~ xv Q y$)] '4xr!d_JOΤHlRr(LNDD^%w)Ҁ/Hk`&jnYһt%$r4V3!|Neut `jF ʱ8RR0_BYD'İ]^@(u\2sjw;\܆5\,5nX>ˤNL&3h?~-nx]EYtHjNkS1N^p 4RJOXA" p5ۼFc ɧXIIƇU $ pAi ?\r{M __ -WZ[݄F:ZA+Aj: լc͏TP( u,H'“HWXl/e"|Pf-~~ t Zb#$?n5Tm+4Nx߇W=~0oԋ:_'|ɻB pBNHƼ+ƈTxF"xm&N=Ԏyct}4ſKb'LGP&V?Pf5ay`Ǚbլ_I먆9nC%>M' QgHXEybp`_9OKNf~]c5iqg Lg%.Y!_%>+|V"P#p}d3%?ʄ^`LߕUo"eܱqBH C6Dv&|b!>7 7i"KYQo/?fB5FƜ|"=d ; Ҽ7xw{7xkHAܓqF>$}\SX ](1fLhB-I~͞4*̍E N[7iXh}4wVsce#x%zF[`Oy!{UMhy>ٗӬTKa%R=7p}XS2VU_)g44d$:DtY7em k4W,]„wgj) KP=f62XN9J wҪJT=IN9?H6N$=0]9M*nNF+aV bS+Mew_ H XSpq"tM\ˍ$yNhL./f|16mb+Y!d),u;M/;'W!9 8ZʥFvncjW)U;U6,R}Lm|_"dN,t QJ?av_TϕpΧVBzLKh~hjδN  ,5-c2җpsVVp@Pnt}aBMCtɱ F z":dNUgݭv͠ TV`IPkc4Dށ1(}(9(TQg})B;+2){]ț ]ΰ?WGF`{b\%GXU ~{U N1ӟC0qrdP%JD NxnE/Ix@y hՠďV"Gp 79Qӊ &,Ŭ \ AAq/L9̵ˋB%cpzwĽb[ˮ}HMVUra^X W:7X\-Lf+_F{Hk/Elؑ9'q f/m?Y=PaViݚkA831fClQLYxF n̜~[RĩؐS2MܽvulΫbqpCOE _0DZPg#~44 \ ߉t\5-L'ɑ0 d@t^;IIWHglt(Z5M\IcPm+e?i8 |ĔOI(@Ř#ywġ[)}gRlh d̴qϑۥ".x(R `џDͶ Ç,)#9E1s2ZuthbNt`2+Zҫd6lA0ƖY$~u.hVbЭNv`MfS>P?~Zp[a-+m4':ך \ɖBcХ^C^=̛Vx%xX`W+ v%IxE8'U*,h^*L;U%,cDh}ynJtv28~u%K ?Af%C%e/ lg(xhƬ wν![G J+qvYoYCcAo 3j.3Cg}xlĢvR4Ok)f.)l4GbMxŠ* >ktލU4²AW!jwYZK2d,f ŏU҃ ̫8@8!Lፇhڷ0AMΦ5uh B*XKP΁$ԙZ^F敷vnuFtZ$ɉ6xrp,& 1[0 ĎbqZ6\_t dneV6C,`Ŕi͓noj> ׎ۃu2{Gq~&lJ]4 ܝ^n4N 3AQK;/3D9rTmvzXgSoPZ<7mG뿙$_}rt6ƓB` {wTA姉^dgE**:ߓ*@Tzf#9Ku G-6u""3f t\`auF\tF-rdzD;c')k!2k7`fPvʞm•t0i'pŪ^Щ;q=;/v*~TS{~K3g!HP,\r4߅ Y5XϪAbE-`8<ȫ,Uk% 8w٫aUM_̈́Rы") W,\h#ӈfqy:}7dC4ѥ:-_5fPs 7 uMAQFhgR'羷 = . e+bm;)~ǵ ]oaY4/fS`n=ބ,µ+e߾u::" Y46q}p9E•UYz($޼;ai@\o8%ygkH=:UZO9ۿx+aNJspqg!/yU A*-/%9JAҗyCȟ.F)ضg=M '+Yx:PR(?8_.j{ϊ wXxGR5^.@rI &9cd"n@Dk1<P iCsFaZ^L wbX$DaLhF'# 1x]<%U87C(aR ݻet){(PFHFCj A`+WL4SPk[:ðu2^ìcoxnoQ-11`xޞ)ӜdRˈH-5ѥ ޻yo. o)7c:QyV=*@SHע^' 9){JL3F5 Ɛm9Y/V~J7hq(Kp8M3*a40+u d't<4'd nPx!;C$Ԛ8 Dz&!^Ks,&PFUNؘ7]PJԡ_.Q)ūn~ytr=+Du_DZB볅_j#fY. 7{v2v5Cz_#r=WeƥWZW0!F˒rYr*䧧pC69ឃ,oPhox7?ks${z/C8%Q1K+n rTstxz.M5ނw.1 ּ'qȅri1qL ]"Ps HE ?|!vvFJ@MhK[-2ƍM*92lFF| a/d~uz*`"7?Kpѳ8諳v!7/5YQ_@fUSŜ}н l{ø2rzBdGvahDLϮat"Z3i7F\'GzGG^޿{(z=OWG՛G6 S ,5ٟ [$0\S =s @b):Ed\σȽbB""h47VTEdV&#}F V(cX8Ѥjo60tvBK No'eG֔/4igg]eZX% b|z/ýAҭ;P;e>;ÿ ?RE"T?jSAM3h]! 4rk*=U%W[k5n]*#iAs洮.z#,yX'jpp`d ql}I/ч'zk0y<ܱ(U:_ [w%J :W/α0 a\6(4M:}Dgvgp%:jmlrfw>ubTyo@Scv<X|O)B@Ґ*kV@PUiqÄG;Grǫ+ƺ$.E.٢Jǒ*/E=jy/aeuk1%U^}6J4ֶ+gk"l@9lϹxn؟)v"cH z[YgV6k>O/(hհDYSDc(#i6GhiMcSϮ DϘK3y*=9ze(Vy{vlXɍcb:UWCW:<^kuvKx{Ϥ}Ah[Ke R=eyFʢJ"lvdG]*(QY]6(R_R=SoFV{yeUwb$w -Hָ辝Z^wKjbv{Gnfn9;u3ïaB%Ki+Rh v"D7k3ECc)5kfk?^Q S 7RԓkdaKBxΉ(5W qV͖Z] rBV qg)ۨ&ƭPC#ir%0r`o(-ȒɜPI{im7&P4"!Iʌ\')!hh2flAP}' j ^uvJ.yI~9uSUeN՟ ѕ -L`TfEZb4XX:ʘ PC1E'eȇE}k+cv+UJ@ ڞq{ƓZ,F20:պȨ GMYyYMbio"p0˕^GLrܨ05TZeez[ c²T$N=`׮A %?;--wpP^&+F,,@/[HаV55ꆩ"_@ƼkvO9, OGA|>dw[&%r( _DI}1$)0}8hP'0 e,t˪W$)T10aYY w_&WĂXnYat]}΀8ոʟ7DOwBKWEXe$mI"r멙l>3hY rza(uGP(izЛ}.)tZD}a!\Ojp5ZfuI @ǙmкsSܿq̾u(aDU.7{Ζ~F#(WZk3`T{%`KS95D\wSVa꒘}5/h˒YA}S:O o8d7~UWZaZ沜z%\!\ +GN`uXI`V.$?9 fVص8b`C1Qp -\żÚB渡Z۱q|ڐ*;Wn{RM'xTp9%g: ~g?~J(&0n.#)Ij^+lEsKvO2F 5VJ:wIhU6e4IE8u$2˰c90*otؗpCL]wn$nPQϩݔ"_8NDH^Qf'wDA#C0h1[3U8G+B2yd7N~ } YJ/SvՒ;"+gݵًg{@ N0Ti28EkdGr,c;@Usth%Ӗ02OaAQCĶ'#h D^ڼ $mz"il}ڡ)NԥxyW1s,oEyܞ@ˤ{uQ I(*|X#|-LTT:!w3#VO8>@Na=G<r.35z9$F﫶5P׽>nRsuKwHF57׉Q}1> o 3:;O 5+\!:m,6c]MφWr'ed;LE>nWe Ra ]kWdP72\@TmDC ;;6_K Co&??ZD5;t3F>L:W>ּfk'ntyH^ʐkUQzQ󵡌g1@X`25^!ȅz:k[p ?\_ L8!؀L8e#jmI1vY' ĸ~ L Q*q!ƈH3%ucdh(lWh:-d8K_*G&/(_U)$gYom6(swB`~M9}%o-}i)';qM&G-cYh߼B^r Zt\!/G K촡8Eq=ieK= `swLXctը&;<Ҋ"74B7²*!Zmث}F,)7jnc TEI註|sT#O`g'F+`򳍼Og p'j2KGl|)>N_ sHiB _wǘBCO$ yݚ9Rcu [ !D!tItAdXBaJil "E.YɾpKVjA Seo@Yܳjre1Y=84T TJ{~.3l;؜W aXN~j1"2 M7FvDGjٯ[60z4&bʮlg-h,Chn< ^.AndDX5OSYeg E%O,<7[ܭ@ݳJ̑;SY jJFkqg*&Z:ԫfk/y,^KΌ' ¯ָP7]fϬz(W~U)Z/F}RJs8bxYq!_[m*ZڮwBQW+wx8A5Go}^h%+ yjZbm؂4?:y5c];&)?sy1t8,ۛg}=pɈ .nP^U\FZPW>^4+\Q9%ԍF'zB͕dfx Z'];_QY ;$mg1BjD _GWC["ꝷIwւoxg Pdڟ;,HTY\ac'c -8SDhS*c6 GYFn^j}Wc5*%Ш3eU-@^Z@q>E^,ҕPYfϺu0t6< ;&O84?uܟu-箯LcD^\d}0p gbn#"-dpf%t,v˽|*َ8u;<Dp 2 ։[:Ş3ga98spYs<0W27Q>x^ 4 E ͠Crhb)A|he}I?-6u&bs%,HYlu,iz\8P]zURu}h" -x? SCqԗ&0l[#Xg).p&}j|{7n349k0+Uo{Qu<B!ɁCcF\@AlݱԢ!5HT'=* ử nJ_0['G=$Tg%Cl5g + 0bbbEB|U0ul\6uqv¿nr %S`ɸ4q̻Qı:7i /&I؏rVa.Ǘ&[L2=X}F|Z_!+҃t+rC"?> =s/΃P|Dhf9#15'EUF=1flPHDJ&KAGwW V"uږ6O"",:tc%H^ҿitϕw {¦⬺֭ d HZpW&JOUz&Tn7RFb2!x<2q~V{(Ò}Y=W1k(t`9[\] HjaZ8G @ʝ:YZ~G|__V&G-M 0<ő[yo|(2WjPɄ\}J$a[05WEɃL2XaO:'VpϪ0yV\)mj@jdK80<]pΨ9Zz˙[N6QOfw\!ǂ1 ^gI26!g=yVX=*;Vqh tڹ.S ;ѦRb#Գ sdž@6Tk~kt `YRzWG`Ŧ؈eޑYz78pv$  ;iğ7~vT:`m H;̀M%BK@` t< թ(}όamDT "3&6څ~?Rݤ5IbRꘋ2:G6?b/f3l ?ӖXL7q?:TV ]UuTMUXYW%Wψ)OŲi' 2?egWb>;Gɞ$ Μ(m0ssq@Ww܃Ϻ\ou U}Oڈqɣ-VWiz3Dh/Bw9'sp6T/aJ1˷%ե1K!O뽦lJ741<$kK6 rB+Sr~{[̄K܀j5Vq^1Yb:9eC-W*j;b8QBjyscZ!ó=q8؂)uh7gA<{'YfY}$9ëwdڳi.jr9#kuM;F䳰Ȫ16Rj2#ےTmٓ{=QnfU#^T@*;)(eW>n"0|CCQtSx(APcu+ ĦnZl4ӖE8fɼ GW.cQV! [eMߠ`xJëX&a?8YM@""?<^bqϡ /OwOr@ "C6N ֮~Z. i ZpgœLϹk18ʿ^гTx~xq$XH8Vo)n79hаޅl(Lc)4<5}C}ϟ@[(.ioAt8K{^h4 5\/'1@3Bm{\dF =e\xrlfF',5e9wHQ0YC5~EF]6=ů2D ?6PR:S \1a]XD~2uY4O!z썏3zfl+/lNw0aNT*zqi]?(n,gWj`Λ\j} Qi=L@!Uw)ַi>N`[Snɯyk^ *Nan VT96K͇Qs>:|EMG{bv2+s ?@ONHI}-H8.bE|U͓s7 eT0|C8sib 7:+:[Qn}\ sn6aLkZ0|m)UI|>184?b #21UbX8en!Oi `vwA52Dlϋ~xqҡaQf5cW UWEb?S8Vr\ `gDw5,_!&d#h@9"#]}H#w}=yy=66.LсRMդ@7rZ4V}˥aeOteI/f17Q3ϳbDkh2nvB>;jDfK u![!Q ,1>{4[1$Gu"motvhɵSfA}DŽsH9r7seIlKޝCEHiϏkVɈS'=s8bB3g_M4f͆ udJ5eP.myJ$k88|+ ?d792b(yukOjfҨOsQf)Cӂۈ r@4(V_=znBػliU'Uu`X PM&" |-"K*ci+VzT(KZwŠ!}a\@?'LEU"Ρt3[hW9>|+*U4u *Ua=(]<\gO^;LzpMTe5wuAug+" q55|@`X|G&yM/}3EIӿJ^7q6U}W-4vΪ#>4O{M5`EjU)v閼-yamLSQyV gYZ 00M3?k' lHOL-Computational_AlgebraHOL-Computational_Algebra.Formal_Laurent_SeriesPIDE/messages7zXZִF!  0]D?7 {?:fH\|[A9ȱя;.*\u9bBxw)kUi|0[SZ2@ؠ9S8@"0U.2,#8 ``#Q?lh|y"6|cNpVјj2z4m-ÙV9$2ؠ'N;^!wJPzo!m$̤zH8vos-.ɴ'vk5(ăL:g:i;b߫v:6tHqo [:U#\ï)( a-04q;ۧMR(\0C$E?R5jR$Af += agcG88{ɻsx0bby--FEGFo#dd^lPrFv e>WkD\cHLA;RӫCyʤHGdYjcp[GvW?Zx㫺N xn5e2Xq}z%2C{g{dPc[$Hok-M6cmRXQWBЇ@np EysK?4 5c%l&#*0e] ll+ V {aM Fs^<(DʭCJ,6-˽|M;m"Їm\kkrL*C|` QѪ2`@:c$Gf t~tJ¿˦&XrIS4Eâz91^lM;vAgB; +92xziSuۻpWʢoڅ)2Z.$g(&>F2q FԼdꃓB~-@VzכG꼰hŝBB袂4/)33pFCrM;a]HtXũ%pg*E;۩!s]I(U۱ ۰;nHJc<:F{6wsv%$I%xe ͧziCWm3:AqrmgA̜  qIj|*$[Gc9F$۹$=.$-qdʝ p`]+A(q S3p^b[}| +l\/Ž!đv (~ScĆ(:G'_Oک$/Pۑw5ڀiWE:Cz꼑.O.RD0 t3L^Ik|/+-56HV8|}4uw9/WMWۢDS} .Hl(̷S%4%T 49ۦEG'zn"]3 "r74:Eɥ\ ˞7Hޗ2qNWgd943`uL=BO }f.zT"&.[*,p#=(njgmT%#ęH/~j+9g62YIR9N.PՇ+w.}_Q8 seUj^u$<Ć "̅X*aJt>AVͺ$M!9h еUtVg:Ij:XɺI42п˚WAuNܲ l%eg +U9 c #GWo]l53cs.a è< AvDnTΚQ_*L` d{p$:G, YdBg(tkc\JCޞ@]l>f,}ic4 2x`@yO0eM{h "kCPKmynR o[uo0>q$0MD%jo-gCi5L,SF\~ fbY]v 2O)n^Da1VPY1tP ucj$2r]c)j.0Ml6  ȴ]/FYW#t)o8{=-6%H)*ZE[ rNQlE|cY/8v8{紧P25R(|"9m AE(]PwK@Q2mo2uޱ$CF[kNq;S2Al_(n?zh:UE^ê:DԀ)nz:y0}˟p|wZ*8xy* RUl}8t!/mx^^tdKP!H>y<0XDV63s2٠(tOl}:-@e%XCS\HVJ?StaToabIQN +V#xeŖg?B yXG)̴rĔ {2GwC& a#:ʎ|kGׁ%Lh(O0n>$Hj{a"oLluIhBF s(;ܤvj|,!W) ){) ID*G{Y*B^ʼn/ К% !5Uqデy!=S*x?N$ghH155W# dJ#a 8m]'ӄnQ'c(oC||M iɲ E crǟaPLخ5un@ -F. )jfn Г_a]iR$vF8z\693?rR_J0w"^3QI凁cDpif쥝yM؃Zß8̹f+1F6C3閝թ<>g'}+yCY~lQ0PLcMmVφe VMK"v lzP^nPPA(՛w =WܵrǪ@T[)"렸m7z\s%$skpr=V^VgqNhY_/mwD|$P*XqH̷h*J?$^alfvmE/XWT CEdK` 6@ RNq3QQkɀ ;\kCy\_R`E86I$X_8ByZnSe j&.֮OJ0FϷi{U?!?z v̢C򢎭'6{]z ƁQ[RM˸d=%mkz\Tw4˼iծ?qPr*$ԝNy] nbAoKy"/e c:Hh_Uw"'P[Bʀ{nt|pMtJ–U@ezMJ\zF@1qt+62؃ C?s8;H)L u_Iz]ƃzՅWN!DjfTA_n:[62D~8-`{Xly6opgȿG,B `w1lT%ϗnuT=YFi+Z|AO%r7&_¥ ┇&΂H6b/}I|7 ەj ߷qAح!=Pڵk45ZgoA?,>A%>D3fD5&epxAp91bilП6 ?&484dfΩPٸ)a[]ubEuVl9?} sVV놧Kn޲=IuNDz^T4hvoZdS yau#AՓEb48\#w ?ʛ|0Ku%h|sUܶv e Gai:W(oz%h_a-~t/ugb9G<3N@W`Y? +ۣ |9p.VY89(b-wTR SdƷ<{$9,+R ,m|H{#؟-0}]TR7E"k|iE4)HD hJ_Lfj^56X>˵EfL4nzyxa4LD[k@8~!{xvlHFZЊ<_M+NskXO"i9X>-z@D0ReWP[@w>[OCtuBACmy[u ,I&cj;DSu2y^6*ȅ0Le&We{HS\lQzFT+ t½!G{7C]'/02o?|ҧ馣knTl+}ȆQ[y˔N4!_C#XhpLaEŭK_OwqPYڋ}?C{c9Ӽh%6ebmoNc;h~p |$(˭'nW7 -.텣PS+%SظC ,BO|\YCV*×#ifV Sֳ݈=iLcxnMmmp3\ꉭ)䖘:;KW Dp|.S1j||H*┤qp˺IP(6V˨S /vփU\dήm8`zK~8:5aYg\gf8I8Eno($ժ!" '5 4ʔeʹZOcvJ3B_[&hvzP4[*KQ`(wMŷ"eisՑq#Q@ c# ~ZB^'y8/lA^xYb@3G %m鯆N, 3"KpTjz>t15?93iQAEn]+%j@?4C2јW:#3?IkL-hEcPB-MθGДQ.qlj=djń4\M h |^&>λ_VP30:mYC_ of. 63T:MlܦFDAUTojn7rAKRs,opY&Ȫˀ1m>q{ؕrSi.+[YTD#(,gg*F#y<3IQV=Fox 14C>#-%nS1G7fS"hj2|: 3a(mS(LKq@6!,'r3xHٽYžW,aL zSc)~-1c/'T,Q2aЈ>ÆjɏȜ{;#a|#%2ZM նۙVp0S<4CeꓫB r>p+Xl^4{u쿶O'VW΄+mM s£cM`i+0fٟ(E\Sy88nԒ]C&M%Y$zCеǴI'hT=D(+/jzFupgՑxU xP0IsE[j+Dr #g@cp҅1:+7U4npKf10'W~\̈́\/`F2rk O+$FÃ!j"Wuz벜Y|#fQ;g1n1 qm7PU&5-YHJ.ŮyKvN-o6{|*t 7/R1ʪ$O}ڦ|]Y xq  x(@o9ae#*/W.&xVO}7Sx."p֩kvv셞'bHV'P2_C  a˹=j I9_ nf;VT[ n+T `z6>Bz4$}= l%Tn/1ѣZϙ%y$eqN%FWQۡKNp >QV +lf֦kD@{~fTyD^jت:sI`C0nXR6nAsm򍸫@ }TwD} |Wp`OknDe:<ۥdaδpmo.ރ' }@O&h}j}V(˩ $(\;2,$pan!D= &2H``,WjflW6*EL@{?kldiG WTpZ9I;2kK W %4]a3n=(M#K $B_ ?OT޷A$wmaB|_ ?Y`a*l yΘӰ#{qvj zwvֈNKZ9i {^zOPizDE  XlLI5a+Å)H1(tV;ʾ z'^,3Pgrg`#JDs +P^ @ KD:,^T[>)m7 ÿܩvu{C*{^IU߀?IB?{_7U״V5H!|z(~)9FR.M@3oڸ"-.19%35PKA85oبCaJVU22o_X}bwWyUߴ %KOI"Br7w@*1ҹkY$|Bg 4%͓H$$yl %:= 9T6`t{Ж2nĶ K ,@3:N`⢢-!5~Ar۲OcEmä9U:+=d} ;PNX'X rˤ)2>M.z2[veY'ٖ.}<>(ٖR(#j1m\"2qWYv?jD٦E]:~GGd]@u)'ʤGS𣀟sl*2"d}d u0{VjwQV% 97j\;GeTY[[oO]Fds:CLYfay(pm0Bl x7NJ uh5^;[8Ch]收{V`73!,98\Yf㣁PV2W! z ܕgKVn G5S\LTxkbm {I{*|P][O8maeN},nrzӕ~~m9#(h^\)K3VQ5HEê@VMő c#X^[Iiw+a DY[iPFPG1la2@uṔs{d=P@ xX/hfAyLLS|O^O*I NEqS4ŧ1`Y˘~3R%!gE o-0^\N5Js/6rFhb*|!n1$ۘ㹕BjJǪM?/fx.}R(h)fdl{gV] H}'cF+*F)HT!^!UJT`%PXj&lX+JMw)Q&}JHf3F|6\Q`g[I]̦hKf`0&]&rƧyQxeUlq=c)eکdpAyEr?G/A# SlLaeeO<5y=4oش-#.pf'|:dPwX(IIL77ss2m.B0R0?툠(4SB9`"h=M?sKV,LɍbB8J: ()Qs'"U;/3oo1HjFGV?v&A^s3`msd_HP |6 Z"A Z*&fPG]"ثwPH(ʷ`|{VlQdY-7eTt!U\ tF'bc=d)m%D]+ ; hK550ŲQc^ج% cUN8뗹&wЃeOzxPsn˯,+ԳɻG/ :b Kt̉AicujZ4@̩ $.tno_6%=X#v|r}1W0q8>iW8-&fh*N)}d/.jS>h'U1qxwW%9b^iw{sڙꝝz$J-jJA>Zp3}AM_;LAF )oM2;}mj/g ~ o՘#Wqy  R.s uڶ߉򤴽u0zM Jy$ŮY[&&%buяZѴ~&A xdrZ.W9 狠[kH@,=X K[r=x񔥤/ǹS%ÁF \-rqr* AgDT20=4V-p/47^ { ~/T >oAKp;:3dx yh5al?9DWjڣc1F}5n'_Ep+cxbFp-T2{M]y}cPŶ0*u bmDqsKYuхr6#e("GEIh](B 1~H%5э=fF )l[au OD:9Xوȡ\;-B K6L2݊isE^#$W񺙀LP vMArSTuTJ0=Ay幓3 u1:!P.+4y] :z`C d$J惹>t)L ƞ 45sV {:nnRylT[gVp egP3V '((+dr9hV8YY U"rQ{Nj٩6']X (=&*=l$c DcJNʂE'= O;y;}#^]O[xOz\]?Sat퀳^lPö my ek\Ԑ<8/%}5O& y8-7>0]FցmN#fOX'%I^6>D[pdv8\>Xl d w/,o= p ZlZ?Z^2-@eNcڙ8JGpOjy q-'=44LGx?6ƧR & .ѷTx`hЍ<.^n,eqá>)UҸDgaKŁs+% 8A|M-ZG9D1j7gUD}P*}nG"TIYK[WMI y9;ׄBԈc ͋>@(8NOT+{t%p[SyUI|WK ZO2(ʮo:VS\iD*E/ipp'3b[M06I92Kcd?K2 p]$y7>ڈo&Y3j]a(mpg,loC_;^-NO'{׹HmK}@)"y*CPO{BE5>2Sq)d;qyPdk[rU@-&5 lkCto%bP=a=b="RsŭBk㧪o6A(罻L\g| r1~[ aQGe~3h~ mbvhcS+!'Nxbxzڟ9(ewzl0jeހ;HCѧ ScbR- ;|:#fP߱Ŗ5O 9B/yE t)qtmtLMPyp޾G40Z1͊' ;X_Oƃp + ]TNctt>>_2շfYƮHJl5+4l3u{ӲƂU,ZC%Ĕ;Hz P-yzRMɚ>3HP<`J:.mCI(lNs,纙qQoAgNc7UƎ-H|MCfZ0"b,NΏW, (T]4E;,1drM%sj<(ST5_8-ő 8lĢ 2!l[KIXݟlp!v盱C[ĩ \ui>XF}J&vt"qtX5pe?S`1vl GvZMX.KܷEI\X\r`U7j˦`gpy4=yCx OMW?Ac7:k0d&+Aᐠw`71ܜ;=leOlHˈP0OCnJՐﲠv pr-_yli"` a&XIgo?p"Cs}~lb=x''dQ KWBv_Ā) ?JT-ZYA(W;Bq-T\|mP˪sX5`㴘ս3ݴSӛu n=7BsycT;OJ&䐤7g|-va?g9= 5b'R;mǠZQa 0 ΁\Иb1F֒)`<Ю?i0pBuG邫"< ?d>qbV{PCLjF!NiiG'EFu <{uȣFl-bJES"YUz n[}e/Uئ+4!sј\l2;@U)cV-w'lV +F* ';;䣯T9QIM ˘ DЩFm ;lkjL1GޛLPyxqYBߥL#UΔB2hpvgs.ueSin]_Do4V)46?_ Ɉw>% )&Fmn\b}fVѤN?J{ 7.PdP"Ug5@[;];7ՙ3{3mSk*ۋ܆Ts:?4]" =Zk#]5e=G]gt9^,c="?jZk1^sX*ah :k]cw[ 5WZ%|@P3%,IAg: åV\Uo<&LH̍tzVi-מ%n9Jgfo%Z /`cDa89^eJlڪD< 7Dԏ4s'_ zRTZiT*cGF *ٙ+id`x)wcE|RslAI+Be;h[}N _=+ӽ%MFkp1`fGYkzqǪM(`|?.RJh XdrG3o5+0` ]j4{3C@۽o_Ni[:c NJ;Gq]!j&bqZ@X'@,VyxA>?bXGR+n&iwB"ߍH,f0u< $9QA@8K=vHnҵ'Ʈ[/өn.D*wV{dG3Q=ȚB{qgTQyZqh cL/22q̵_5kkH62Y220 T'vvhwą~`it=ri}RgtM=66jimf-_ 1/ ae%Qu0KfBcJM!Ɓ8q8IU~ofP ޑ \CP۟h|:\*g@yP Ym]0&\%Ν=B AqK;ݯ-(x< d5 R@oFhvqtQyhS1dwsKq"Fnٚ跞df6KbL&x3V[00*)#g) mttS-M%S!{vh ŕ"JP4` 8qÜ꧰r=Fis{ݵ?hJ4rl5Xe!ө88x%xh6ljio)_F84ikQ E@Iz[IȚL}u!R8پ^" .0MKӀv7]^PwyqMm'wA=s@٣ !ΔYcb^4R . 8R2:tW 0N-e55{7t6{`9$7) rhJK]mS@=*VA%֖dĽTCVue%_Ӑy p ̔G/3dBTh̻ɫJ1|e߰ %v(=s 5WēzP[ Q$}?JV!\v &JȞedWuNI1VV>3!U_b-qKuM#8r{P`gheftę !P z*>tC;(ǩ}˝Nx˳B&Cڪ5m*ALO x-l涼"F꒡XtlufZapgDױ^m 9J颬W 1}?`MODZ( ,Z *G4)ɖDbcy)4n~g\H:@w S߬洞XD3'5We2!yO)?a菖sQ8`뾹MfBis;(9hZүԠZ~ ~U'>!e3OAxfىsߠ6Bct9Kx` h}mK 2`ِ-enZїjg+a ?ěЌ|gLny?yrֆ2Ӿj޵At(֯]C6_%DVy~:~o"4;'fzOAJ_i8?/Z.փt{`hFaD'a w}wvO-)A8 9}7> _N7 сGHjmNVMN1^נ1l+ܤ',Hцb&wRk5A0h#u8Zv}mk`"Q?`ZhnNT-$h6Ο(rR;agx9 皂!QSmBj|1 Խ#C~vY/_7,Ylw)V KmңʊZ;ڃ!McEA~"6G?BKYV`c೉?ɣ?~{Ζx7`Ë>}-aJZ_H2ԍ|yOEs7'w, z.j 6'Hod8Bv㉁Xb:gy(P:Y&|u\S&38C#H"" Z,SȐSC6B3B}oVyHH?oޮEȷmd}wݞXwFaeLqmUX7ؚ$᳃7 Jakt4IY)MI-gpz Uuc4N!e@n5%>ۯ:"D+g6& vvW*mb$F80< *3|_ %_<n5)dݲq~l]ogi. x<;M(jqh_tꗵPQgh( ֥>s2J4hMfjc;,H(-D Rg> ۳?'fR I챯 RM S(0괢jy:SίW/euy޶o1zsms1=6ۗ -F#7/- (~3z"=4.h!7,<2{hڥlt| 4JB}DIvq$4_ F ޜ[UА LJAclYX.գާ&iUl%N2ѽ4$@SIjZ:P @ N竒R~!!&=$r=5DŽO*cqв#@;5ݤęRTu19˸^9&]CT2p1gO`?,L /P%6=AqW{[92+p)?+JݲyEߐ;'qPY'^P/8"]4agP?p87i)C|4qwED)R$@RX^)fD襍HWlxoӬ;8ϡw|CSTʠ~a,tP~vuõjh^l!}IԞ(2{zM%oozC<]*/Am5B/wV[r"T%N:\Zǣcm@ncC`n[J+pǹǎoЏ%R bˁآA3';qFKѽii}rP< 7'bat$SwCa~t,7Hc?m(Sдj6GVȾ!rr$gfK67{'@|N&_nq@І":0þa#(UײMpWU+zY '`m:؎QlKu ʠ's3ޛL>M  vr"yHFdL̂Y/r^S6ȐRVр>[3eT}* `0Pno_̒~omI}\fc}aF[JhaBJoVvd+|@ I&Qׯh0q![nAȒnN[4Ash4QgQ7LP+̮HL!ByХ=ge.I%&FW*dgZǸbo0:j>y}i>1)vK~h}G- q(ilXxZnmChw$1u$φQv˪Tt=k|%h>2+,HʫD`芧{JYW A̓ёԧ.ݼAiKBU@a)8LL.me-Z F0 7bRZɝD:r~E0zc=yu 4U50w> v7M&ZLX$l'X Ŏb1giOX="RVs!Txba4z/*zqk:$7HЮu|xM8kjd#thKL/vwHlJ<̡ A0ZϪ,i⡉~J%ް1,~ANc'u}j`I>R37dqWS+ R_/ȫsDb- umocJ;\:Ty9=Vʹ8,ؤ SWDKNk <ʌ,2҅#Nt2ؙGQOmˮd/`bfh\g޷^Λ[zrgb,K߃Cdyb"@̿ &dC{߮3p< e͇&Rނ=g)MlBBU4ށǀ,pW\'5BE}s|:YK&U.%q=*][.H/׻PӖE6R Zԩ`3"(i>Gd|+m47uʞ,0Mo .A!?hp0t)F F,ϪUj?.1I61P(=i;4ɰC*=3 ~v~l$\@}>*!8kBE6-6BT/ [( (ܑC Oz"HO? ޾Fy;[{00A XfʩXl<%S1mcO)7eӶ>F.]{4F6̰p. 1\&]{iWϒ{AO1 NƂƅE"}67%~ةT5)&;Kv Y{ Fxd𸎄uYc&"OՌ]Of ]tY[>r.4D_EdsU ,[j䪠sl@x!z?~9 ']ꉮd j \'f`|.WPp Wɒ0zF˨oJKrLɑ`'t+`rĚWme-*I W9ᯃ0R\5Rr~So|A5_xցl#/6ۛpqih{B6„}$$ޠKᜓ1 8W<-~ = Έ|*a\@dR7 S7[;̂+W &R0etXꆂ.g9֝J׽% ʅR6Ui!B$> rP>uK}QāWȪo^LatQ{m E/|sngޜ$QTE3+ v͵:D!π]S8gBVZ4}uv体H\Jʟ1Д9^GHcE)%1q/M Pa%-=dۮEnl-/Y) ۦ@.NZى9n-sЃb ]`xWiOC Bi8br*`FF+ery 0ɏR* $Dedu EZ/\!H~yTf&f8)7V (c+#Ou0a 4 i@nT`r@|b\m߬YG0^[ Px+!NZfJ'_Y['7y![0q8fSj.g`ܝ\,K7 |&{rJaxSYN,tA7Ur`P.OQzn % 6$ K"ns5/s:dva7^ JG[}Aaq\sw ȟj,xl"NxJrt *flj]rejqr=,sG(C}&Y|plnz<n<_vQmp*nZ֙CځH; _غ}8ی\=H0d!tr6[Iϩ^A\`ٌ/ؾJ(2煭's|=@S&RdVFw@ٟ/ %noeT_,RVF9ܗVu;Y?9'ϬGRɣA:bBd361֮vEJwZxȫHJaz/SS#y@ Ж)('%!Ԍnx5&c:NM AZ qHHMDPCwd[Qaq_;'pZCuQ>̝ϕpyl:' |MA+rx)QlNgP GB xQݳބ` ՆѡOF{cyYYu%Ѿ]g]6 Wz1;HA@P$#=iLy=;&t\vj)5nLNip+::ak^1P7}Oj+3i_N0kbv=j.W*Rhmż!T[52u]ócs3&,m Byq l~HHgwVɪ?U> S0˅K">ߵRuMƤ5;%DfhTOb,ٿ}ΨxXN,>h愺ƨ {eog9J\ϰ=f *]' ",c.@ҲmJzoMzJ(l9Run/o+JYQ} }yK )-/ !) zat_0u.`:n8G%;2zIrUcY{{A;k x{7*YD"O>^FQ g$"hLbW4RՎ0]xmLξ7NH^& TGAihn'rZLx|oFgIsoĉ9PT>%hK~6;B>xRg@YKJz 5N#]4 kz\6c0Zh҇S4%T}f#o\NO%|w^M_BU6@1t Xbkuv