SQLite format 3@ M.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info e# D| ]S]HOL-Algebra:threads=2elapsed=82.142cpu=148.788gc=16.096factor=1.817zXZִF! X]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-$2֟\ƭEǏ"SQm9(~Վh\)[p qa@pf Dដ(3#mci0MVx5sZ!fBiГI܉T18k_usg&*+iP'",9/ Y剖vwu/[$u!#$F>v] hDvr>좠왾9F8btNrg:Ժx"fQ> [=BQPVb9dHL # HOL-AlgebraK;#5% HOL-AlgebraHOL-Algebra.UnivPolydocument.tex7zXZִF! /e]A-MՋhvG"uIBm59sBDDg һj[ü\lofnf] owq'W}^e ;Гq+P8SKfkB42 ]5汚ByQGxsqs|5H^sc&WJg.@@{*h6}Ձ(0ɘuYjhͰWVٸ|cmβ[ZD~)vj@|TYlss"e!'q?saOM.ûIj?~2Kӵ 5TD:_L%P,S {Iu7XatJ]iT$*zh5h*=}?kOU KmC~i .eLk]yoRrի2>Fv Z'A{579BzCb jR^H'*n5^>4>BigxKEM,4I9m F8?Lk[.j;.>gk8H'@_ӧ !gtnh+yy9'kW½{BaXCiC͘ sXӝ&w߭K5mhRůGd=!_H6P@Vs8`ׄCzU/=Q(dR1*g7P?N@Ƈm Os1bX3Ks7J5)|t* ZjPYIedxmH"7m]a"a6V JHGFECA>9 6 - )#  q6  ; q a j c 3 2 i  1#5%HOL-AlgebraHOL-Algebra.Exponentdocument.tex1#5%HOL-AlgebraHOL-Algebra.QuotRingdocument.tex,#+%HOL-AlgebraHOL-Algebra.Bijdocument.tex0#3%HOL-AlgebraHOL-Algebra.RingHomdocument.tex/#1%HOL-AlgebraHOL-Algebra.Moduledocument.tex0#3%HOL-AlgebraHOL-Algebra.IntRingdocument.tex.#/%HOL-AlgebraHOL-Algebra.Sylowdocument.tex3#9%HOL-AlgebraHOL-Algebra.Congruencedocument.tex:#G%HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex.#/%HOL-AlgebraHOL-Algebra.Orderdocument.tex6#?%HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex .#/%HOL-AlgebraHOL-Algebra.Idealdocument.tex 0#3%HOL-AlgebraHOL-Algebra.Latticedocument.tex =#M%HOL-AlgebraHOL-Algebra.Multiplicative_Groupdocument.tex 2#7%HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex -#-%HOL-AlgebraHOL-Algebra.Ringdocument.tex3#9%HOL-AlgebraHOL-Algebra.Zassenhausdocument.tex5#=%HOL-AlgebraHOL-Algebra.Group_Actiondocument.tex9#E%HOL-AlgebraHOL-Algebra.Complete_Latticedocument.tex.#/%HOL-AlgebraHOL-Algebra.Cosetdocument.tex.#/%HOL-AlgebraHOL-Algebra.Groupdocument.tex5#=%HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex0#5% HOL-AlgebraHOL-Algebra.UnivPolydocument.texJb_lw&<:[ -ZNBx#Ӿ2 9jH{ ˰rIm,tRzTdJseNIj'Jņ IFmakfa}+aO\bUڎ録dT;HNUJLQ8ŤH X؍?"Gp¶n>?b1pϤSdN2$%wBƙ~ȕpj7t K_`UAk Mj{p_qzS?]SH{N;P3C| j;rF蟣r rGʷ`9C!RҺ9 !d-ϘFbz.ppsx; yb-OH6&nD[)4+n9)-9vf>9%Y#9AVEДec$^< N-{6k7gnw"QhU('z;F8i@a~%x9+HxE hS^˧-WOبunmV=)4<=GŇ|{MKvsF;iɒӵ@P`ytFej_7v0(nEʪHVA*P[wE^޻&sP7'Qb(.Yo̟R/޿Ƃ`UlJ+YfR~ ~N] Oty/fJ]lc ^9f$qO:F&bOrV[ ^nc*jTu}̻IxZb&9Ur!tGԝu,X .ҭ3W)qnym)U ;m6ᴉٔiNyʏHq)2 C |G(_#`WgRPTikM>U9׋XL²\oi?4O'n\r9n,P3YQ< k`PG£tHٕ;S:{[i}5K5m+OoBPS; =Yd |;Ql$~?{N&@d 4Y˫bK@\K2A%v]9>j®!oM#dre2෡ljp*Ntly&(}փhPMea(%*>0h!UI]%qi(Y:9@A(Fwcy diՓ%S'Q0YBsy@w.Pu._r^0(f5DSZؒ0S2farmB4-Kmscvgܻ37Lst,`&baKtY(*ދ=Ɲ>\DOryV"bY8`V^/2*o J `!ot׊\GEirZhDC9wi^HlY0SF74ڰhlK~?>x7aq8,WE,. oX+0t)),ְ`HS%!#_wJY.%Isgs$24&m)bxʬ2̰Ljrʭ} g$]J bQ dc*dOD δ>LH}]mnpԛ ?Fήb 4I\9zH|K8p衕 O>|Qױ'+E/ 9GQ$ʇ%`x7r\KK`KLT;![H^jYE\k0,{4g&aA-!GXv㾞k"OQQ̀Nmhذ-ORzl[ (g ~]|oI;De"R*FweD Qxܻ&Ijzꙑq?b$-1ɉS^IZpN {@v| S&l3 S:@{ h&De^M1r6ȝ̂RfH w\eJfIoiEhkmO>#n[LU(hLɅU-L]w @GoF-WwwA3/is :EVs+] =a_{# C!jmQnַ͑B҈g!-ܨhlEܨrjEHj*೶DQ30֧Z-l¯ymdK$iuAen~$!U-A"p+?%x) W1C4k^՟^+yFVOJ +ΩZIJ^3-@ ɫ5~54[ 2$K>,w`VNm+/:J7wrhy5%=r S ѕ,ol0*f&Om tƐtPn?d]S>7 8ms1nϡ'.Cq϶1G|jbpk8j}})Mbҟt#"/ƓC%hEuViyYko#,y!ٽ?| pJ,TƱ.ؐbNJUc4όX͞c# D:rݜwq [AmCy}_ ` ~q+UtOC܁u.nY+Ljۂٙgo pk@7k2r+Ь9['Ő)1ܛLkˏ a|c uujE$GZ!1qRpuh nr /uAC7}(QT€Jlv &Zcgʽ\,-0Bt޺F/%;'ZJz r !cdkp\eN-ń d 0q A'O˙t7_yPS걍7{\8~ Ԅ^΅f `wDCef60Lvcd3m(G4P,,p~b,WoC2 sA6;W[L3CmV"`3h4MI\hd)gVPqѬc {RwW@m"r=UC@5o㞽hSi uHuse'!{ ҟD2Rb<2bj B27=jdxsjّOn*ȉ=,3h"hDu &H,fr=y ETo&RF"ȰC@`axwY+pAq澯B)2٪hxhti ~џGpNId+a ކn8".WoC@j0㋴P0bk lfOYi_B{UX bEd¶fJlI@*!AqrgZHZ/dzxaDLKmBV e*-[}oX2IWp8%)rax;Z6oENfP'Ƌv3̹#[ s .݉a_ & ~!F%=6ӆsz6jn%/3U=8W)p}C SVI}m~feOp]6;*y\l{zK;s)~xL:l3yq ` sHcI|fG.RSRABp Ӿ'>b7 WֆpUԩtb]BZY(%q!ާ- "E$q|\@owx 0s#FxidVlحi!czJ#r.of[w#]T3}むH3\  SMu_ Q%J?!'# ?&15TP%_^|;1 :=/49;\[&f۫A@L CrjГ pѹ/ rp+y )>Otj=u+ߘ>^2~?փ,z@XV(yެ^bZf{DDdL6)w8Z([&(^ȓzѩܶJO/T?X 4W{Q<EG V6׮E5EY[_e(sxU,{mC^{3_ vz4gTJ -R1LU3ɗ_wՠOigM;K" D+>J7s`RՌ< y]CflD+ oKbqs5Áa]XrvI$:R@LÐmv(bǧڵ #9^Y)=W]@ U^,wGReA &eFGpDxj -238,QO!E^u`'KhX*u {;y$ٞĔD$g=)l_$P~sMǴÓ ` Y*0ц ܀A.%gV~ kcw**wWYx(?nd»SE?ghi ްsǯuU Z8<Kd΍"OYҐg"lSXˆ %+ƌFAqK.@Z>מFs|zbU-w ۄ3y!JUDGKKG fD#jEvrrb UP޳ͧJ(x@wu3GġiN##4O-!bmpxvU1X8[ʝ3^ueż1SN*<'l/LʟloMg*x\>rƑq8bwf2U|W7i`1_!>뛈ܑ>hEz9@S>|9MW8dG8"kl*{4sry;؛UyZZ(N^ieS+R $Ž'<:qQB@*bwɵ-4 wwjnPgTܝଳe_=LDAA?XNnswEp䑞Hhi` {aW6xp{[XkyNeﻛڡJ Dzvp7H +vdN .^}0C'>ҎQH2Rŏlc֘[Ƥ}Oۏ&Z4y{Sq>{. ̺` U~B f"Wk[!{EaYPaֱM|lT}4Q<`@Yu`7G0j-0]FEB"upӾkBei 9IlnXdDG0_zEBbvxL U?<4Ac7VԩOP 2An1QshζN셽EJ PSc,J.X^TCۋ)^h#4 4㝄SY7Wjfibg돶4P͜UCQ&Қ%U ;eI?i*>~v.T[䃖``(~'u4^Nl#PAFdrw)Uף7(Ʌf e$E<De–=U:4"m욹v̝Q 1zihF2sL, fOI=^?04zF>eh؀J S,;(uudr Wfs5\)liϩ/2Qw, @Tʌ=vUbtND-NO䘇6xb?x5tb}8(W:hn%ӡ@xJMSW%R `ڃyXs%?Bu8n.'m(;3G/^@}1[yۊ+F}cOWKjDI7fx 49 $A^BڤpWVOGsR/ͼlSeg-X1оͥ9j[S3V4OC]#ݥϿT)? ƅ>s\,l4|{Ҷ `Yl9&~W!!WWXeLJ 3%Ii|8 ͒#B6d*1r; > cski>߳R[f#S/)6fTYsvʻŐrke ajپ!Cc.jMtܔm@ni*Y"wҝh,{&O$3?fJ":DbƦiġgZ[M>u1!2d k䖆d96"89ۡGiMEDMI%PЭH#(#`'Wۓ%X#Q,ce°̡g~0]ݜ(kn%0Uy=yHoU-[=8upėaInESd=45ǯXie3Տ5D!}ѸouB|Sh Nn͐6*rK A9ȗ] bo!x>mvLpK~ x*}]\7p)Igak蠟.h Ǔ7^Le;R>\ТPeXXYƂ>?)JZBvLgڳ 5FnУtwv aX]tBx'AS2'(%`ˏ=,-tҡ Q`m>sGWDRݒ/  -Et՝K0 Ex%1Ofb?t، {FmU dUlq9A -M; e|0."=H|3WE)- 4Uk}zR$^ܩ;j =Yg 2~ Ŋ?ӼLJƍ/Ƿ NJI6:GVdhz4J0Pk7  lRrfǃqײ$u%s{h?nޑR[q 2gex(1t͢Ph4CEJ+|g`aNXUk^',ix}"}r<21=mIELIvWU&=O'>9~r+BJ_팟 1l^fB]yƖ"EU_N>^_|~ކoDM \fEK sUb U g62tL6ׅ5mkڑ@, #\IJ.Kwe%wv С]SDY`#$PΎ<7"VG e1Q3 0 Z0/.J@2}y;)E<9BdcII{'4/mă3>2uR!ͷ[A~ ߩGQ5P? Boj T%r0#n`Ӗ¶v#n&*"cؿ{@jtSgLg01vy ֡t|'1nQ 4Tmo60;nJOkl=Id52 3)!L, WDC߿E(l1 !)$ SKkimd{{j83Wʞz0;\倫F "cJ;)3^6"|Ǫ7+Պu<"+&f0~TQ,0#a[(3ǚvv-=ܤApE83_נC3i $zS~8N'85| 3]IχczN:&`hBY %#*wFWU&f`%QPm 3mc2w*\>100a >gix 7)8+ GRؗ,X{k:zt@ڤY"oX[%qv!CjH:`}g*,Zu dQ7p eV;mK܍j_-˭J  S=Y@AFgwİ$N~dإS5!xr8iN 7h6^pdu0&}@ol.[[%_onSEa0oC۪u!'H|ϼawKp{MmY+rGUewHOڃ DQK0N E])7rhM Ga5GI^4#I_SU"Hj؝Q bꙃ]ˆ>=:mߘxe%Aq(6 ]n8 Y vI,1ý5Z[tsNIh9u7K-3* s1;ۚQ8)M)z<%"ܝ]ٓһ~n,D$ )ܹA=^d/J5~Oʐ<7c+IhdA'y_;MnpQLJC1BbZq:+Rh A0`zdIP_)}2+G .# -jw]e.UiO2R)>1errUwgviV-ie5L>1fᆊH XQEt#H`4)NT Lzd(>H۪uI *Jt6*H):%o cĿ1Pb:I0Q'O=AVmCXg.{9 4ש x=a"^d RYu}'R!ޛҌ,ZDzߔkJ%PY8uQ\ӇF= Q/S?k`淫y;R ۋXAuT̳,}J6NF=m& mo.dmSt؁obc>HQWZg/mz֬|,䚓m4!h?z:?YZgڃ73S^&$;xIHn&v >0K5{U,kвW ڪQcΫ3*;-%y~6 ۵QZ#E$^AN}EM.{Lf Gˌ SdYPA 2 @bl*]cPdQ6Q|q|šmڗդ:$vOx!`@v%xzKXݥel@ժ?g3MbQE.S]d73#u+/:|&`t&$<%֣ ΗL3],pqA$q<(ww& tmF%j,64&FjzU s ƃ*VKlfCaJۺK ɕyܯШFiBŏ9λ @q)"LB Q@k% bNUsYŴ5q>ELml&82"f\%r]fCe$cրtpj|F67ZAgtk՗ #yCA2Hzi Cƛ?lf)盍D,2TB{tB?F:lyd Ij} 54S.(GXBT/v]Ȟ U 3 qG_?wZ4'J0@1|wr9=%boUqGӷp"ꊪ]@H8HO2:7 fʮ"m%wh}}2 v\ͳ4WD#Z#{ɂ9|߹"dK#}[Vߢ9@,P$&ݾ6U釪Q9 :P[1 <)_ ڹ?%{~ &_ ݱlkNgzT( $6Z}4aϩ٭HVϸ5e1)(WC ͝dOLDk@{hHr$@◫g?ͧ"pp|*[WΟB omq "In@_qn5C\0~Y2%}`d}͐5Po딱"706Uܬ 7Tc*!YrR+tz@H(G} J0wmW r;KH'#L-%c2Z:_$K2Fڜ`x%sk(.ߥH L:M}hjZ3gW ٖxMN5@Q`tY<.] ̪\bPM6容 ӻA.nl\b 'Hb= ;㋇~1N?Ce|Y"#>{i":~^w(DwRv GR U<bk235/_ϯuDRs9ygQzŧ6 5B4t=YV?9y~ oi[Ю9/\+e\OF !v )iFKEe#Ǘw~){d(xVC.Zl/#z?> \\ur+dZk0aCU+|'}<K't"dv pM$Fɢֻs6[~.zR"H HBKL'~j%r}АUUm;AFnu*w;GXe4Lw7%zz>i3knjV /<UX$ z^K:^o#%x:3e*Xv_%Ȥ tm*`b';WMȻcZﶸځZ/GF @IWH_OcvIޡ]=D½+su hS݈J ïbF#oz-٬1'zLQL9hiSרPlcR:́!A0\}#%7_S45=03Ỵ:Xl0l.gN++܉OU(U tjŷ9le(^Иb: 4? GľM{?3e2P%"ģ5cIes c1|.Fڱ)! ,|_ ҧBEThX__pGƗwg{D!01`Mo՛ (@]e"@Ӻu+t7ƪIuarXA:&j`zLvxtt/%ԇ%UO2”X N,0$ᆐdϖ@jP6{HZBV9Bnh혬 yJqYזbӝYg O#\D5J%/'H_G>?Dg8,$~R]5*zA_pKQ3l$u {~Q}^o-:Wk\R%ĵ>LJ 70ޡ50 Ml):Pr.z3T0}_^2%kn'1=trtOvihLZ7b/&'J-X|& D}Q<~_]V٥nn7+'L?'Kd3, ~'П[;o4VGlVo#MM}pHKD ҫx1 Mtk3r;1u\ʥɐOvE%FTe \,"!KJ]`iCKPB6,zLC'Q$L RKl[e|7v>V62~Tf0j8͝F|!ŘPo(wJ9l D9?"B>ڃq` @xN0eE.m֯6?sev8*$2nUuݠeM+*^|i*Vܦ] y+ã1!H}dEN‚65}([7^rK%2W?U+}&9hBYco(޵M>'tw3=(е:")KL=Tue@QT5$ x"qo78"Fxej(Y%6UR-3d"L[BLӥX2˿495WbB(`2^i/Muovl0#;Ox0aAQS!dRq?rJZ`)ſfR(C*X=B+5P<1YCI>ZR-攥H pegT*wlSl %}Xg;"실GǐP19L|cw|0Xd}"x/lhB(BgOR"QT=)A*&Ɠ⊚OR3'-1ȕGת{ePe=zp.uvT=&JZ^p~><*fѱ 6 7 B[808O0ܝwŊ^lHk'̀~H~;wg]q6I6j xzz$U:=F}J){0UeӸD5!bymYz鋍h5?f}2'VyIw;GQՅJ׬ k< 2؝mj hMI; 9 +{|Oh ._ݚ?Nq$ wgNuA"B]n#|2{V37DJƣ?i tgyf?fR{kVqçi0DvYiEg[1B6E:fOC{,yX‡ZlF q5+L95Nk`rO . h/ aLWFk+}X4Eu|GM]W68Qr?(FZ HwMcOדPO eє4@x¿p&$byJ$}s+91 L{HISM7d|wJz x\e"ɨKb`& )+{ M+fBȁ)>;Z7rBPjLH0v;LSÚoDB=EMhwt/LOcM! oZh }g\~UY?krMPMO!t(sta0Yaio D"bMx{~g(ʓyȢ7fW; W|>ِĘ>l?YZ5Ҽ@C<'PKԗRU_({^wСiJWF sy| D^ZxzdӔkfg9ԗu.P8W$tJ`Q)| 2vaez/B,aI6bM'0꟠d.,KH¼g;46 +cb"{Y'!fhXB&6̟]W/B;n"/8$j3*dx8H5lܝZ*e9R;]uD)qgKnsɈV.>- #]jك&3r) c!6 Y@e>)]FZXYs›qlߣf|Iaz6#`sgȡ&bRg1qyW ˞hBZ#{D[/|~t)UqaH\(?^,pهF(: o//KzXif4> :EhGƀlѲ9"Wc=a^~pȪ%Mn%4c+jt쾘^]ý7pb:3rE;Tqwe7$rCwL^+}sU KgRT6B (y2\#]"IwUIʋ+F2&7܁Œ'ewA9 ǟӑ#bL]V.X%z#0+̐]w:&>FE8؍<1͖,Ftq̡aAlL_MLaE~\)w82*B1^ Vi|+hxHmWE*i"2VhEBB/Čߩ5˃JXՅaڤQvi律윂ѓlY=r%]CNOy9!#ӞjD`t6@ CXUbIolMqśZF|~fIoЦ%Vg[BQk\'+*aD"RQZ``sB#M2J.ޑrD!QlyuRڹvV)b\Dq%hX'"ƪwIeq fyANWW=^M}tn)S.ek|h)@?;/4 . .Հ^vob/0 Bc6GK'`E&eQ9)wM4V.V7U۩@]dOaQ)>JV@?:U@&xܿ[Qh(~XR{*zwlM2_XjN #[-)W.awOH $`WޤLv ^u&4u/^[Ҏ>h͒a x/R&C \Dvy-mGx>$T|V dm{ P D#?RaڄnCާ1pՒDyf]5(Jo IE N@J(˶*+T+\Cvul2,,tU!iL.hNZFJr墈2uM\?>`:Y8ܾE0/|FC3{E.Ѥk tr2&Ǎm½p ]=7%vhyD6q8[7 eLz! ef&A#zТkoVG^C4rRmy4g*C"> 4[a9 _{ 4 |DՀM7 l1Ը*1NѢF\vCpȀ#KlQ$sͭem6RۖKJ]w4E_4_l[hΪ[bBc̀rưVl)]>n/ EPKtp D7xUvgCp`,Jۏ~/(媱{M|#ÿb_v1j?aBkq'ŃP x(6*~Rr wh1UV޽w[^yn!:Y JFPzbtkc/ *֠$l7g[ ]m21i|!?幚ݑ8\NT /Yfo # Am^N|8p>6PfOGw[m@iN#W#}dYnBnL\1gg4ˠ9/u \ J;Oo qY;A|ks:1&t1:ҢoSAoy4'07Խ'xalbldcͷ47a| l |`HTH'kFU*Cso}R-;nN 5v tɜ0u." c*К!.1?k2ԇ:/R9M'ԯ]~#/O4]pz!SOq%=߂^ :A;3בtxjN~D5,h2˴ߋ]hTrq~F*u'd xXr+c(׺3G}M@82eWˉ5)C12)9WM4~ H0~.kY hc;XMp'=9;tψ?l;g1p)W&Gg'PKr?K> SmΌHy8_fQvf;ƒh3zb m bO!'ė#2Õgo Ca] &Z:%Љ3>8B7{ tSO 8Y+ $K,Gm! m^ɿ"/xL鍚 7V/vqޠ_&d/y؉uWnWG[DsB[fTZƶ9 @avҴsrD>S{{]+yx`$1y_uHE0E>82 G.Ȃdބ냘=ۺ(+Hc@>AZ.MC L w.Ǻr"sG?9`٪O"{晧x:5ά*!\3 zBxpU0C!IB ZH CrNh].jPedn C@>%Rt*JӍ Ԧ 83X2^?S +F;ɳv`޸@ijW7}Wh\ћ% ?2{)-OJa>L8tߙW^Tۤ`#g9@)}mbʥm+M`áN=]YB O%J?7ҿzՏ5GSn V8FTpn |Tjq0=øH/sR"kIJRf:/ 9 .L&bPăƂYS-o?{hK&6x>mPؔe+5m ~!/|߆"/`5^A{AltoSvPq(ձq;uG"Htqz ;I*Jt[ [[cJlkk ޲lqbV]rE*D]΅)WȺvG3 ZSW@K\h*xF& ,&0MLD6|GPޔ8xk"8FuREfQ"(mkb pb:zJv8`*d.iq?=.(0]'j5V ) ہ}yP8&iTY&Mn%Lm^Uߘ̓+M4jn9a(͐S(Gf/NMWTRAb~zs4@Һ_Kcg3Cc<gӒg*D.⤍U+Nxv6M1Vk7޲_(ixfERQocE_7;*t}ȴ6dGC5fdz ,);Շ-P}j+,߫T>NPJ(8ki D7BR13vilNPߐHfc^T::Gn=ܪH,:rWQ A'oWiw9yUQ3s328?l[Z:E vQysR&7wV16U#Ek#T+&v$7J}Ŵ_qrPO=5R FER`{] }Zz8#"[}K/bzn~*'p{$eܾg0R6Eurj'oM*Ld+Q plgF3Q䓷O6cWQǗw\1yj[ZHBv=pYe\l94d aYjpoJxnpc +dOh$6o=Mr/֩?DS}~yTE/[/%;z1kof"}h|eSvyw_|q> 5N{T y,-q}ĄV48\#1? lT\@(63`bwrC~ $N~8X~=l\> kcz|(HuOkb@ߑ0 : wFaΓ<2XQoDcF1Z:+G_C _EO;~L#T2;tix:O$r "P7hLBv?2٘ohf%PksN#|*+KWB|_E$뷐5Ѵjq˫e¸k?ڋQvy |ERE(n0aFЌ[](JBU;4eۻt~.`YFȽYAyj uȧi1axni%{yln%6R=[c̙pv$j^A؂~ߚelv3c&Q{ղC^͒oSX`4jW'I/2 *10+M{tQ]CQmO6E|˭øU=)M<vm܆p mY;o}uw;= ړp.PN|oѺ@m1ϤI. ҥ2 dDnf56*(EyÈ}q}s톡۰M3w& ?j((hB z!7?L"ei<}ⳏq_9~Dͩ!7s\,6="Lt׶RY¦p"֑R Xj=dy%zաXtDڂsq e OI o7t1iy9 ZZҀc1Ied󋴎?[#+sm!V7[{Q8`ȶJKGۆv!10hPo={lOj3B M͆c&8`dOq|d`4Nvc& d $H %J) K7޶pr}WTr {DlHEOxck?&|1((B;#3V@+GrDB泯#=v>~91qӘ} Ū#B [T!KC㠔dBQNڊU/UetMŗ3Z-3v5ꤞp8A]xjLiHzegu8ez?,&~ģ5Y9ɱ4~}2[{q0VMy+49؍ nTM-Eu^ U;[SUn~x,] 5r8?CXhV*7;tNWbkXgsTĄqr6w4u2sT˚`z6EFW*Ţ# 9VC^._<ѡ e[$lX78aLs0}dE?UcRLRxlyj"(SCҚmd]y6ZH.qEs-$U"@u܌g)"vM@"1!qiaS~jܠEm m7NɮR*] 䡇נd.*̑zQ:bG(81/]-9M~k?@L.k:׏UU*ҵKwML6of.F/jF sb[PUʑt&8;@q>:E]_8ψ JQ>7I?a65U۱*[6&ɡe-xՐSM'z>g8N׬_<+̪%.U,Q6 xՀ!#pϤZ^SCΓKu"MD49|twr&+ѰXժNjw, D[{~i;˄u?]ZH^>*˾5Ml8=ٳIEy?4(V}㎚L~я;Ϯ<Ɯ"В1ZUy96.&ՇH׈8=j!YOܣu{,|,| Źc7'I9&Gzd د¡~>9b" ٿSLpp1ԈI$tU{Db@A'2.,餏(n ip!gID,iTN+W,ݩYԻ\@B+8c!(QE cX aǾadOPBʆkOum nyk&t#ɎS4TWcK7B'}nԔ6?{@kМ۽vF:}9NDH@)VsIUr\TtA7.Э&M)X33GQZ?=}[o{ړj.kj<͒f:Qݻ(th*tEߔZbQcAsi ыFԌK7P aC,ՓNDܽLjQ"ƀoKTn Glsőt;d_ٍg4Ea}UD'Nsbbٮ#I^P[d+es`wx YCvlŎa:-$ X'<$,Ct j~Lm?vf몎̥eBv5~_t~Nҋzf iְ(PQϾ^ oBx1uN1%r9^85 cLOkҮKcD ҵEL\S;\B,ȡBCL֠vIzdruc&ƇbgM9Vx~261Cfe t7[,)B]yUݽ莠Rz`:jFdـ;P_߅~Oؚc$1 +@ [au\Hc2, VHıy""E`N;}уo! ӮN~ `4݈P+g#r{rѭ6ANzJoL g#ZG:}q4AҼrTPŨ`_F P&CI©:+KmsQU!/EN=XD2OwӜQ%aP#TW74\q{󠳆2 /Tf:(Kr;> ,, S@+ 9]q;UװXaI? Q3C|HKT07YrJo`J]t~ohQ+YPgu G/T5`]^HYmTW7gxZ ߷A\Ѿ ƀ*i!RuXY켶]=*;A,j"]unv*"`wB{lfgjr eI?k.D QGn]<ᇋ)O 1Ig$ĤyPƀ%ݵ3~p^{ ȂAJ] O.񭍉)Ϲ>g56xHC6)ќ@Pbdi+ejBCrJI.=[X"~lađvժA.ey0u ME䀘bz(lsHr z89ykY m}5a,o;f܎W u1|r\t@Y٬̢5%]DfcD &oTJp|,K ME+qΟP q60d8eRO_2IzͺXtJol#.Ǜ@ڋ# iM4d,RNo$55Ty<9#"G?S;D귳 JQe%k9E/%@@UpqiBiv8Šju[܏ۖک{H7jc76|M|EIhB_T-=`EJX:[}[NUx`4GkFMMq?w@lza1ȲۇaONSx_%6g#@\_: ?~^ yIJTCmg`niW>q}P|rVv yLYhѕ<IEc4p͵ũ@}`q-bH@6@ٸiu-UNpĤޏ+'bR2ܙp]+܎]$V#K @'urboȾh OwD~ R--C3mh[wO}޺P`dxC n@/,Mc!>3y\^:Ԅ  <1nPR߈*6˼|쮎тB vS%FLhD)O?|6E.c$&_,e1C2+#s=>MA.Q)1o1tK!*%9̹̗s9xpL\, E4hׅ!oa*GއI9 0`^!e` ->HKb.ݺxkeA>|]Т)f6+ ["[ Q8证C)$LC˥gg[1LUJx)v/[ C[%.6CV˴6jru(G8*B?)JomcU& Jż&dP,jxޒvq?!樦>{Gv|B8T8ExPQdLO4Q #XNxK`B3$8#+oj0;R,GZϭx%T|ͣď@NcRQD+#`'S^*_0E!{}kg DMq-҃(Y_fjf.XsPIIMtev*m-)h `Oh.Vi@=`}r).ܜYc4 /z+{/% _uoIȹH!O)O9b Y-|7f94 L+pvu>wqX-Nm/Բܙ0$4%3`jmO!nגMfaynvVӶb`eȳb.ѳ`^<uoߋxT^FRkaE:GƌߐbWHNQO&M5srbyV|7W#7^ tL$]{#Gd=( JkuF%ξ-P0ExqX Ķn-SrXL:\tu[=G9j2`z$n,xN]aKnC#2@q={3{-cN֌g.n@CC 4 m )\2S0i>kz֡:=\W4{0bM9iXl2([}`g+4 ^; &кʷSO2,פXCA 숎N#Qj 41b%gRBlЮѦ"[֩X%f KU?\^Z&+ѝS[/AmD?!p4Yy#P>H@Cn- }P'@jn,юfwn<9P>?%ͫ<:u)ڽyxҷoVVٸ Cw5!yIr3-=*e7'}5lb`2ZJ[ٔMIg1YE4#+ђ"r+~jo.}O*SE ƓvO(IzQmZ&^f$a,yCAքA]r)QMCIv]WEhTLdP5$8+Gc.v%b1֨GRUOoy?1^kĦVEVo`kK1p{͡l pAc'3 `79G@9u8[@OTڸhsJ-ycEwM>0`40>QjS\"PJ ý㑩GF"z CJfY8wG GĽYt-/|k>#=FHW͒D:˿=Y)W`}/#f׎!L`>`Cmlg֟pTEJ:#Pnjz`ΒCгA߇9!ɾ2ۘI+5I07+FO{ trSQ^e[z̊!y"o>iVvAt6-mScsa%ѸLAQ"qoio?5,_ ]ϓpه:9F^p3I"pC\"~NE/pva5 㞰> e VrA$֮=D !ގM5~#J鬦hu6*ugA*P ,\1^ _/y`A$9v>q^D)WݪL2<6l!ZD&,ݜGɠgȲ{Ѭѳ:vR_'X;#{;+;S͵ӇɆݞ1@pL(Mcϰ_N\k"H򎋵EDoY9y>Vަ[Oo-.sMt8[H=w$ J{^x"]itsV7სg=1kqfd^g"AVEX") $M (9_ {ضA! MT"eFiO-ԛF{Ձr[Qku?)縩ʬ ҰjvE[WrTڸ>o pU_2M{o[֮zu9|-t0ͱS[}#*Љ[I|q^\ͳ;WX8~&aETad}M |܆['3OmĖhT-e )Wɷq0 vY0GemIbJ: 99t qFbe.bEWVAaT:)@kfLP?}k@x߁kN-@ځTa土=<*VY2Dǽ^eÕJZ+JYVW 8?L? |\gn'Py9'ZsmcghIEavgO}αxeR:DQE5#Ȯ'yݷ t+|,nircdraP sZV&|liSD\ǎQ[pG' w\8oh$\zI~@r[0$ 4V,1g1 m4`5AYN|t8zK J_ ]:=\{r ϶܀h+2p~*of8Ժ7k"ϑcN:: R@v*1G^E>)Ũ2g;[v;fo (XJ9_[M*| km ZCN|ftm1f9zga4N\,_6|,Q_R 5 GVQM(7[͒EHivYgAq8o>O uiP?)S+_"W\zgu9<8FIuX?B^,4ߣcms~po16CEym4g썋/[ɻZR;Cb](͓Юw+"8Pi<v))6_Y$D~`S_'`{ S~;J'3WC)G#b zcU\q^I ~۽}515C,±j@X  1&+ wψ+95jo:887wYݦ]䀔 VB5*,pIԚ],Gy sfY&u/轻|[)QY|&BT@n}JRjƪ%uaUqXy" 6^!A&<#Sy={ =Y_+FUGeOѐ,Ia>$Cag"Bn0^uA>`Ҭ-[JJL k ǤqsQ}!Pߪg6S=>JචdHf-wtȝП?* 2FpvzU''Vbۯt&wrZAdrD\E=;BL9Old< l(Ƒ1W Oubrդ8cq4kڱP Y-n-<~b|x~.J1_ H%'/G+~{׭,NLD[@`]́~{,g1pu-yh!r`cIck1xX2tpŎa1jrM!}5i*3FrnjI(';c҂)zy: p#k@aט)'%,4XmGNryeB/va} O֜6C_94 2eC_dxntK1!~Cqrh j6aڝ6hc= ^? ֚reSۜ.~ᴔnp݃yk*K)R;2dE\$'u<!ʸNNsˇ+%&5ք]隯g܌78yyi7*ǢQ{!⁎ pe jzWJTrkUA7ڰ>NWiO:2.~gI\$0i'#r\31ޓgǃi@A{A[h:TPi`pt T[zo=A䖺oA|=k7wE_5ؚ2]hXL;};+yM 8`*j53;7s`Ə@W@2=+]p"qv}#)՗jZnUQٱ' I%6/y1m}3ʋm1mzT=o5A_DGĽEC&Gc! AERg E%7Cns"r9w2<= ˑ{ZOl{ 2%-gz$tЯ -\#TU./,ka]iKN?pYe ѩJ@a܇{51mA#iaJ?V,84-~ C Q^ѪאuHiAEV!gs؂lK<+YU_ӪJ.P"j:BbE0?Sɸem/`W &JNid^&4oI T&zlvWD}QnɫX?saM9x* L1Cp"X76E{>c\`qr\>nJ 'kSJM WgB&y\@gN3fQaSu U>4Pij/y>SH&?N:)SAxn4{워6fjK/u[+_zAgε:W˾xbqt938C_^vXL# +GvN;bk !ș4 4ٸ-2Bet˱j[o \NdDgJ k1X!Z0 Ys DR9VTXBE V+ }#9K|Eh-|-_F˖ H啐߹Z|u"/K%syI(};^υiw]˻B3Z"ggCQ8_5h89(s)JDo`Gˁt[ۣfnQ%1fKvsd'96 V',O lY1 }dLC̬'4^>//*^Kv_}aֽ7CΘFh3f(ˢpA1$3E>/_ru\kڮu'_L˱8H̯?|M sV%L*u7KpZn2xY /a'h:~t*'. k{ \\ƒ60>m kBЬ:NN!)$:TvH*v] 5R?hƫ)QxzTfdљ ӓ6@6YobͿ-3=ZVq#^n>}X_o7l\!=h)Ug^kGGRNhvNl[a %%[yEcWog\_Z!47*t>2i<>+F_ȳ{x@EpV_>fI_ܝzɣ,yuV閚 !3Snϫ0a(|s5 bkOXy5g}ĭP_T̎;Y&~tH nsj%i 3M0k5lBRLd~KtDAqڠx~'пGms(f8"`B|ո(mD㉊3QlRpVSx<SMם)ȏhҘ-&)1qJify0YBf+&R(c;}"󿶐՘&1D{")-=j(  -gց-5V?uT3p4+=-<=Wr:(2wYooNR݄_9]"c'ʙ~IfNC۱~9ܝ"_K_FXC3V4C*܁%=%jd1PLD{.8g\3bxVٽS @`b"H8ew}c)W ^)Uђ".LkA7ܮcYI=%g>B xk \=D9Sw`&VDӝl+yrjNXoxk[@oMPB箽Diœ_tg%rkeƟ1n}SH;76H voGRgRp k'@Vx.x#C^|L (<-e7g4`W!Rg_>G:㱫;ҥՓDwħ盛Ab?_:+[0i=LLQk5N# &Ȅ?Z 9sreצPmZT)A?+ZOe/K%hPOc8y-eA)k{M1WuyOä.]d$d]lF,~í^aS;29\t4Q]Tku\Ęu-L'\L]ތh T7Zp"Tpqw&_i@k n%OpjT;X^A3=>^jOSE_Kk:f-atB?FRK&#6Ȯ14l6A679鑂IzZ(hsۑS?V/1fh e)E}I]e_ΡCapR7I v jBkBBarwAhu~4.-⧉_=ETQmE.e,W?NКp͹?D|7kK'O{O,0<3ۧH/Hy^{Z ̖ P5v-pxʯ1:ۿ\0WP*e&MZDaL IظO0}\)[{HN g ٞveXtqsFg_%uGSAD"|>e\/R5~pѣϬRv4ĆOu꓈^I4oʛ&SN-* O?!eBx"(E[VWQDJH*З5M]#ɧIA^W oUT$!Ҩ`jw<[1 £p=<.At_-]5Dj/>^ f)4^I N22T:rn,r: WNv\cR1 킿?=a~3HHwv7g-c^ΘHl!d!*|K3eZyu|ͺ̇ޚ)ESQ7DЁ1b٩lA $#>ZU6{+4t~l֗W"X:^((TƸ/Z=? K4n#ĝJ{[*'~qV) ~C5_∷99 f_*LUnSbO-a0tN+=ɏ'MU̯x-KE7i*lgXD|kVx~tQ̍׎Fc*Yw#.%+P.@̫Y(̌״[IĠ{ҘO?̞P+:;;FZ%\ dTdV'$քDcg+J -5~`1{ BPhfBtEXwXݚ¾y)W(UOoubD C ^O %ivVsj‚?H NK8bJcƝ=K~=t`PSZÿPVftM)=?C]9-y  WөDkOzXk?oŮ{o$ܺ5Ajӛ\˚- bw%Tt">$) }myst|6gZ̴ҲV@1]:{j]L3~“d&^r>npkWXN%eV75b؄%pqEн͖.EL{ YA29bu;&A"*MN\tyux}bh.Qs(Nu3rTy=K怯6plѻn[/ $%y7&-IM\(ok'C.tIw9+y.poa.{sd3l/L9/MVf%hM=Y".7zZgAUAj*'r3.Q[yYXI/6X&rJ0:,x_,.0-ӻh/S ߶|jܢ'ZG^H_$r~Ȃ\,  .[da\{У2Sك+W L&$\@q# ĽnphKŮr@F+zR*ETV620K?r\2]0OZuJep5yk)!!yb"v?Kss/D܂a3gÜ&D+@(hޛkqW:+7&FC̽5; xHc;4Gj0]9)wlo^ 'pڝ#yr ?(pau>/hCv:\Ãt6> "orT8N韉#de= )"| mܞBh,a}$=0ٲ`SasUeue>P~bgμ^Lzm}bdF4ƃfhIF3djA9o&)տ鳫~wLoĒR7Bl`yDT4>L2c  q\^@)ëSa>F!B%E?OJKr*V[!¦;߿xtC% \#db|;uEكS}'|u$ "m噊T_RL&o.yxSmgمvc'/I22jA6ʹō7Ke%y,%VYe}ʒA^}rxV~Ҡ&dٞK!lE/%W) os5myGWVȴP\ww4B s[DV0$G&7)DZRqL\I6e7DClţ| #̏/[gr3P1L!w,tJ-LɦO, J=Rb& *94惶Ѱ >?Gp%:r֪2@Csb%cZ ٬v(oq]V+XM,&{gI$iD.Rz'F֗Lp2|܄WmK|Fo(~AGP),Vv=2R̨ 2(xAQ+e)+N+JKk+w2)l͘Е.ǰφ!7 \/ʪkô̽%<0x]\Oh_^ݑ&7R_J!({sw" ͹_#Fiœ^R,!+Q3z=T WnG<&p;k6c~nu6[']ױ?y}f+ vI Mh>@v2RlK_U u.3!"L.{1C0^|A!`BMR>)-V sO =yO.@(:Jz ߁K9D3nX􍝍d =Q^ d{s<  _I< VsxUcf4Abx4-iF/8|A."$9hzH ؙ͓&RGOT)'v!ng*x/# ӘajvXV/)T6+yCB̖$5# і9'R-bq4s@ac(f 8g#Q;k7* ;uXd)ԅYG ־Rc >X@D)/;tDx 0d/?bXī`&>͇kJ U {+!M(`Sp=1>p:"'R'|"{HrP:L?D0?R|J-N5:C`pf]iUg)@tX+?d 0ۣQ=*ks,=WB=5P+ [Jd Wbr# 2(ž]`hT0*@NTYfO7FG\#E9B(bu+ .?:T'/\lN7zNÈB;Pc(1nypki,281Dĺyʓ`$h˴?iOR_+v7>mk:=s>EԹ@Ks' u,mHIr%]sbcj-6^t@9oQ?{^x'0G.Thݳv/>sr:7 |XT^J$oDFw!IL6`8'J)7q W-j-èhO-P#MY]JW>;K[WIÞX!HgR[ՌqMjFk4B5Pre79>@Df-#<0ƁJH*Y\!z;}MS%`lFWI~/YJ5vIaDjyA?h߱25WUO8НU+}8] 2*%$pq=K&bb!WKmu?M{t#Ѿ~A#䱊T=) >,߭w)@ݫ;(;Rq*Z"($jl4PP};:[3YQ%NVE~-c/ŨX04* RAMq:ZmH)bȒc,5̢B,SWD% snM T 6Eb()Q6Z=Xa8gTOMӤ}*i|e]5 e|j\Ft]M{c"p7i"lhD ÝGܤ@cڍ/!0R/&bm*Y%)O( miZ uO+3ihPxu.ChnLTH~BWZk- gOewL S/,SEfL-A]k{8FE"\F&Nl3 l%yg2FP^A,j 8P!Us:r򱱢Z@v]GaUYM}Zr2+ׯ?cƌ9RLOLsGRݤP،kR|͢|;\"9F$i'lrmrm$gh۵2d2_OBTؖ^XLZ&,2-/VGPpBw#jIvK:씝KaǥKT9. ͍.^~?磉.( Ͳp 4XΘ1>'zY I=o=^Vg{s>FctM*wR^<}YȻWyǘ cs A),*FsBS?1V>xKH>=S?djB?(Qؗ-ψ!tYsZ|A]'@IHq)D,%dケ `䨆Yj- rlGE"bv*WMXDTO@59q~q` b:Q#bO؉|X[K 0ꈓ]īFYvqCNED3=.rFUF\bqTĦ/:rj@w/}p3Q̚N"cY>jwu=>lFg:]0 ["w=L ͺ72H:I`s"X! SJ} +PrBVo]K5=]M ;HL0GHMd<beU|jM dU{aqK NݿpT' X*զϓiYY-+hCArTҮL}YP)䠯 "#,6躒Grg ټ ѵr/o>~QB8/:);l0,6⛸]LD18ul`rڌ+HϗZeMȁMߋSdū֮3gcB=i6cmMYe-h\R[['YW݇WY}o{Z9LO.~řG&,!xa*N  :tڛ-7ri~ ޺SUJp[MrY!{/@\ M!wrG7jɿp̾ pݓ{hŵ5}"ijξ5A>9ƴJ%IӮY|)w2HkXW%Q5kV7 bIfD};Lc鳡9ed=&c6l5-sbVl>U1>;#90,EbE @<.[V죁aE&kDOɷnIÆC[k-'3llgWK/oz6>ԻvJO)V~8J5ϒ*2+7'xqǛ}qr42m]SA#(%`AGVrbL<:?dE#ğ㮅;( Wj Dy+jq.z43X o$rE/ ^v+| z,tT9o4O#g/ m7S2tƳHsxT@\,j67>y%3"~cEʹ"l$TءoF9!@-Ή_pUڼ0Zn2Z@^`um1)F٦}ʶ$v$ÊT̑N=07/,pu5۞q@.Ա=dd.rkx}88T7=.\{KrAi4 n{Ot3"(+eoh 3OH38o,e~y| %vƓ9qQ7ct̗[G)Nڿq529w7B$[q|/#c 2HZ/m] 1ubxF_``sӶ{[$S{'5CU ʕ([~JS#͗b1b-v:M*%g;b〗aǺH'>oe;u"QN幗?(XNdN ۳.R&1M ia" qF!rI^DllTESJ ?Iؔsoc8:'J}7bYD]dkx+LFs{%a7vįȇ}j0}G2)rcH+wsaoJ+'}v `pZi:c\갏~5S7JGaZ I,>i5(0N ^r)J>mUcptP}^+6O柔m m02j]'CIpQˈ[MJoʔrBN"抬1G~ iwj]_Bkؿ6Mtg;p0hqRb ISWZh]i #+hԻ_U)X :$ \fX#g6?O.U'Nf'W)Z+6q-Ժ3:`>tċ& 01˟~bUȟL%>0+dHڇW8ma?tJQ&k\sIT:uT!ӚM%+eTcm _Ip(ڪ&zD_@mlj hZcեs<0YāL51uyb>Ič^ )Xp z*|# tdFT8W) W(:?%+ݬ3v8bܓ?2PC Eys@Qe1ThZ+l2kdRݎ>uA]؟u2`'RO5xϛEF5=|f7Iwg0P&$-@v%27̙D<63V"<~i=uJhbm .G:>-ZUbz,_g"~?qgktwjRJ{?G du!р uO{kujVԑ1P^I 'KewFW3dkL IQ[˓.7 D;_eQ{PC#KSk;ާbR'}[I]D>iE}y|JiQe$jXFح K AC"9v1vXdC#mOn@@wRDSߥs2db6)ӵȊQärb̗-tue'^c7045Ho^S)؉ طiP_xp$مPI̝tKu lXƳRׂRşPH\Go,L~5?uh?Z:Y=&`Gl~5e lf`xClJ 4!4[/Ԓx!ѶV9=73"甓$ gEv m9Mҡ95QIv/ cLA6}(rϠ$ͨ4 ncz̰_+q\6pfi;(K~8{H{65WL9_ڜٹYnJ/L C\:VaR!u3%x*޵.$>?,r3՘p׮!;M,cW̤K A t>654 &#ۍ(k; iSKo NKԴ, qa%G'{[k?UR E*_ruϞS{’ C&aX5Q*_{9e{SgJZC~Tjہ. `K$=U0I hmlUȏ[&HEq.6h ͷ(`ӿ>u@& (8'i|:S"wcQڙ UWo Du:Л)g(/UΏG@3@$Bh}.Enb֋H=+&İ&`Y(NqK6^7#'wj 9a)<wa>|bfwy noݵef,y3tιQ[tԦ*KK.Lu&*\&[@Xy 2)?J]!L4ȚK>2 Bu͇`?0d'Ev>\9a~<)&`%Sȹێ{ j8#}oF Cyc}=tJB o&RĴ]od叢*-&25TIrXI{w΂*l\i(~[_rhSS=Rdu^@KU#1z%y"d]cQPmzUMUS$x8!*˭ٻWĨxlA;ݏ2#MfrR-YӚ'X6(_+ @?*)v*W_Pdp}}$cwIR(LzֳvM Hv/X|$h݊8(2!z"R:gZ$$;Y=+qRd|pᵿW]I0XLz'ZoqnMnz)]hQ<eYVOŏjvU%:ѽȣ,֩B؇1)'«:3`:яyqXolX-O|^|#t]< /v\̄r*MkZ @=TiU՚hԇ7l DG5ͥ'iz~44z) j}>ް9>}i.ͅs[O&Bz!k^2n40ϡ * )0Uq zL/&dޫPizko:7];s+ &Dh8زD&= fY=ܧ'J_n¿:XvkpؕM^V,OA~Z5؎0 ?QJ(w <0 zǿF=A!Aeb4z ϴ Q4ecYiXrgq3M]Z3owYtЋ?K[g^*_SgֻIt?0-ZR%i@` *xxo xuk8j.{zroiVv1ޡtO$HLrRHMbXh7ǴH3ni~v7oa; 9-ڄEl)Orze\JaC-fcl_a3%^o dy!zwRK9+2!{Hztoj/$y -c5' @SSgĘh)0 >xB967\{29Ndh䅚yYX1уE]m0t^KJ"75̒;g+{]S/f m>52vo@Gm1 }oFZ]oǮf'OXHvZGjmUF1%A1^|v.'W%wLI{t3\s%*"?RfJ-`%eX0(`9`ˆ WjqE\Ėkn3pQvgrdde<|~ggEr\wYj)/TK0 }lY$G'_`[9ʝLE&%zfWhS%UEtԺ7δH^cL(]d}yKPNU}*"R{]$_3)b&djK"X#xw#m[X p &[%I/LBF&2Cx2Eס tF~@)C-J{h=ӹĘt/\͑$ ܬEޛh;^fo&ۚ b9hpx!'1pC׆vg[EV}Ձ(0ɘuYjhͰWVٸ|cmβ[ZD~)vj@|TYlss"e!'q?saOM.ûIj?~2Kӵ 5TD:_L%P,S {Iu7XatJ]iT$*zh5h*=}?kOU KmC~i .eLk]yoRrի2>Fv Z'A{579BzCb jR^H'*n5^>4>BigxKEM,4I9m F8?Lk[.j;.>gk8H'@_ӧ !gtnh+yy9'kW½{BaXCiC͘ sXӝ&w߭K5mhRůGd=!_H6P@Vs8`ׄCzU/=Q(dR1*g7P?N@Ƈm Os1bX3Ks7J5)|t* ZjPYIedxmH"7m]a"a6V VOh'n wyaq`!E b#C{CByƙVxޠ QA;Be IJ:ze1t %%3#=% HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex7zXZִF! v;]A-MՋhvG"uIBm5ةqs Ok)7GLw"Kho]4&7O(S wuνe1|YG3ų\Ҽ YIP_ՎVw XX_M$_F/~G=$XbNz3֋Lsѭ*`ue6y.8 B,\ltEB|qm΍6̂(2GsȊ!MowJՉ[8 ;ܔ&cQ,E'7~qz1x_gp+M2>:f 4uFex*2WD}#7ƍC|u|};ڙ,[.K6%A %~bH E9 T0̆1>~9hn0WEX^ m_QT,"pJ;C/z0jUo̟lȸ!#օcܓ5 aosC] ?{LY_!^O+@^åP_Mv_\'?<5IKR6'?߇|ȟ+\y'O 0VstmzrBamC.PFi 3*,(gs̓L~Ռ[! 骶삠ۄ ؒqAۢb\Pu[E_94öItʔ8 k3dHRCgX7/ѧrqQC]l68և62(sN9Ϩ%xPpC+tʇ:oӌjsau7LlLJ~@cXt q{FG큀(jxNT-Yh^ [PIy?8p":>h!y/ZZPwXp(bIT?tJT) 9:dc-[QؤCMX BIaYZ߮'AÌx\=üȥ3"mN,nSyH" ېW#$J9q$v.HkmqkC$9$|Rڎ(m$'Ntޭz|D3NgU ,@ZB6 L WQTrkpggҗC8%@r9t`Կ8AE1>iźޜ)vkx3D;@yo"V&* 3%#~ M->\kjSn ^8K;˳y8j08{^!?Jgm{2wdܗA>gAbGѝ]Ŗ}TK2#)-Xk+gK9~zK!#}l3;oo0Vg1Kܧ 5a/>v7aAEuc.'M]䅏c]["D=~Pvmne#a,jJc=~k')nJ /p韦lDYjlT'g\_vzs^9VVFޣlNe%/2b\WPg`! PH|05zXԀVxť+_XAU$Cz8"3@}WVd ~@*HBgE3BUʒ9 /z;s| C%O6c(j*XlbyYj^ъdǺk?7C*g=`ގ0m^/(F<_:)Ց b*Ɔoy*ygi#$W1z)U}bة.-'= 1(ѲpZZfUI~09 ),d6+!]s~\өQ&Vv6ri:x ě$AJ@VEr' VHz|4ǘZϩFW$flM!ozffJ-O:="HP 7 8^+1J_Ap䔬oI?flMP58#Σ..!%Mi@1KՎ͏=a#7*<X]g  C֗kz''U 20 =g*rz!2r`Xp0j]L6ѯal۱ l2CGP^Nji3 Ţ^(x'XIfG>VumW/|OW!@Pt&pyŭs\[N%, Sa{3G#=-r ɹz(i88Lu?DFU;{'DH"ãcFJē΋؛PWN2o? c;Q60Ʈ*^ =YW>rJĒa2ƶIĭX}:124z=lTm5])dqN3H+/5a /B akK% b:`ze#mC"s>y?1ԭa~+#BԎ\zٞ[Z!g4t9(?h/ cGt>RGf7|:?~쥸ZOݡ&][WQ)o9?#e⠎tU=GG:kNu 7Vzzvou\P 4EAI?ǯd- дH6c ˎA YETa5NY 0ꃛۃ-+>aG$"-E^!$$0 Qq8?fS*Dd.3W?OIQ9ׅv0+ܠž!۬F+q\3sɐ!\;!ɈMI`>4l3 rb!r\D1Y8p7*฾- /pV5SWN>@٪b! 6z(eşGJ+3E=@Lvu4hy_w9!L*1WbvI]֣h~9yH$t~ tc ,5]Mt=tӸĆo:߹QM0hŝ--ԍtyv ᜶Ě Ac}-5Ա=Cq_? $:ҥgYBz {8fʾF«_VpF]&ܹObٯo{`ؼ^#$ږgRbUaxlQ/플{?|uJ/%Ca! ą- R6Ŧ ]}x+q߹=$mQ&C"įPu]'@ÛK3Do lY⦸ɷAMd|\<~z8yvKt uWE}wiԘys\][{~θZKYn$moOfkH=eOkFW݉:,˿'W̧;1)#|W5jC۠FB7`\ؑ& g͊=#4t]]ݹ}@ׄW5aJh&ډVT.d+@@;^_N ]:6;(Q|P0k+T5q:1#/spUYzawY=ArE`%Y an}@_Q`:ۍި O'E%V") ,Y) ң~=\#MP$wݡe(]O~Eo)Xgp 0fR!*B37'Y$ |+!xACw~k W?c;yr}bC׼lc?؀BYUŷ./|0J.HM"?Ǯ^"VYW,c`cCD60~X&IuN|PA#&i` hlzY|q &y񾪗-8`,x-W<JA+QuֶfmSld蹃\$vN4UՒ,?as S>ZV݉!+g/P#J=޶ {E>T|tukKsj8Hdzwm !x]mT.τ+@nIM et-0s3mkrPo^^u*s\4K=qj #bD/|i6X.*V;W#]$bc;X IraV'<+ A8amve up+D@ q ŨǐѰI~Mh߹:HApINl’h/׈SJ/|7J oNQnv;j+Z/8n$f--_#/ P 桺Er)dncmf[3 AONbнKHoJ8bƌٍH)jU'ofen4``5 &o*ܨ؅TXByJ*Y8!{Ϥ58HtDyu0)v綦{`٬GqKJ_^iĺϲHn_tvۯ-R.>Ivw l#ẉƲ'8ch[Y`ӟ_!蔽lm 5?I}RؤxVRlB T TWvоcu)ScÅa=@/ FX@>-wa6|g!~^d.ߔ+#_<U>K6w( B]I @5f7~[%]yVKëB?)FsK"A+3Yֿl_2ٞ6D Y ?l2;g>L\7)fMFݪ^iLop cT ]e'F(H,`L_R 0)!Ε#8 yHP5 KWʔsŰIAAIE5TAl')=Yh_5jѡ&;tMh.޿Xۇ/.u9RF0,;jx5"UEUbQ|[/h@{f^|T b 8$xHƋR?&# [8trKR7up"G,ɔ%%9Ү|*]p~J@bX9Ky4Ȅ9ZY?P$^~'yꂳmv4'6?*c#Gb'Bqʧ8MpMu$?X٤?Me,c.s_ו`HY,( avrv*>؆ҳ#r ))</{=t,!܏WSCc 0wa|*|Inkփ|*zbꍌFpD}RP@mڟrz0b(Q5U㊟ׇr6ZE]6 #%0P-p@ѕ xODT{B:՝ ] MiZp$EwJsRP~59d]]0DdFl%;tc$u]GZDwLZ,mZ&E'* waW|_1O^swc@dM>}#ǘ|7ҥe)f n3i}ĕ*[j wn7+o8];&(nÁa ' {݂ PtXM^si;|bftzqpf9T+HDn?widVݗr]al˧P]"^^:yL9O2 ̨CH[#Gsi )8jg MC~đtYƐz6oR[ٍU<X=Sf#w#-ZcT$d$L|eӽꘐWv/ikHL&QΛ3a4+ q>kJoU MC!U't cЦJa"yϖNCz#uuEAц '1T#L0h L%2g|R͖x\b9ęZ`C ?Afd5?̰ҐY!^n}fsq9=EFwb҃abG DV':{Aëɪǭ);.mG 9~茺DOo4 {*^w”Tޝeq!FPf1XEVa}&`8#uF\hJRWC~Wk"ei\A`4@{PS؟ %x:7)yjTz~bN+).5zqIFb-V .lGX`FЗ` BO*a =.xlt>"2pN Z&sK%WT(:]ZATJrX])B1F<(Bs(JوG PWs:F У$[zc_lqv͘ԺUo@y@aؠg-KP^Օ0Bȷ؟mD u<[D:Vgf3 :Lc)_֜|EȂizB2-v+I_r.o 0:5 RvwяU‚kF|`)[zㅢhm.3@9̢?۸^0n~=YoiaEL(/A iS{gb4T y.\| t{;FgJA G2е=+OyT%yqkr<DL P.G›q&"(ő;4N;7rs+8&y{M^FnR?0Km s|+yQn*ծpܟ,`u͐p`iY=<<堜nM*\YG8:"Pp@jg*SBHF6jM'A>j+t.F(J*b7rGr%Qr:l.!r3˞Lip`l.dUOQcsJrd4UR;ɕ͓fw4H0Mʪgs][^kÊ)(빠g_L7Ǯޥc*e(4SBb<зlf*yIq}K)2,{_]4`*mҦSWnlVǶ2l)r}A ԶuҠoNhНVA4^70 Q,VRo&LcZ.Be̐-M8#E:MF>mUhwF4o|T-zVq0JFoM 벏~c^ToNd9|4]FYrǒTAfW+ -t B|c4^QjghfOz@5t,~A]uJ|_n_俈﷒y z#IMhC3BrCߴt!2diJ(^B﬌IA!3;Zo x3$1 Eh߸Qayn gl%^8uW؟>HRKH[͂̑AvְեG,9[q=wZbAeVM;ގǥDO>z*ڢ>ywx*w]Z%{.w6x+6k<aseۈS҉߇(W o9Կ^FO[4tQr0tńFE py(9WJP2ABsD+KcŌ7u\p^zGZoF}\jZ(sCʾ4Jww|$}OF/L=!:*r 4avp/I%1,=\qIs5:-ƁUƽ_jЖc"\D N iys4_T KEgZIR=}A?|JJo ~l"0\ FC%󥈐I0- (> ';;|ͅASyQ eXА:۰pw2 ?)t)w=T޴|[y%|d)GQRjQgSiE0W[sZ;9(Ɠ}7jbL$@~i6Ĕ݄7hQ/=::v^I!Np!k#_6=% 0[f7ώzo?Ddq"e169$1:+=itY'/ !u  LNj5=]i)j`ii)hl/N{BP0=nK0;VB00 (Z6_q5SP4puI)\D<܋*mF1UCFB#zs+PÈ#~O(of~^ܸ9QOW5'TjZ\>IluP4s[Ӝ)BqIc4q#RRN%ڳg\Y"5#1%X]SKBdTʐq#/hCoQwkrn!ZQdr b&; k.U7"sZHEqIl(IRIce<\[7Z[2R4uG:3-!dp]"-~7_Ʋx֛QUq|垩/P7r\ߐ˴WT"M/Z[aT  ?&2!#pcJT?]+}CdP6uQ1yE9N1BS#Lr-ԺK܂f- +HQ$$]SW,'f߳%|О%Ǚ Ae#m2l(qQT͸[և;U 8iУR4t0]wOy>CQb~Gލ]?r>; GGh1#GT6n\WgYCL׎&n2D&ߧjZ+&m]9zr$Qe^l#bhGAuzoc~sɒ9&*4{4LL(4!̤ zm* IE/}*XNCt# >N8q5!-&H#k;t,ɔGA*ضUpeC%XOYH4u; l鈧-9~.O*tM?i):jxeىoD~s%j32ZB'P!d`gQ$4'J] 2-u~ ԭ]ER{қ WnN!Ae¼1s-cK li.qF5.qE,YBiqOnzqbT*9 e5L*U7mHj.93WD2(~>2)"UD -'@HI eJ>`^C#pV2g?硬(ώ.Ӳs6b+@5FN0'/'m^x|z,w#}4o GBN3>|dU5!R8ED&6r PjG"KT0Qɍ,m%5TkDz+)eMt?\Ac|Qdo؄LHw}~㍰O@"{ss,0B*vzZBHk`6•\D?V'%7{*gL"] ~4/‡W#wis(`@OKtS &5vk a 1.7+*曞Rorq6 L_b 9!/q"PY*RpMϦ J hr5U./KށYGΝCԋ'6ߖm N'ʚw=))$!~KzHo ء FS㑹=3SgZ$71 IeqTX+6:Kޘ)Q aC@owqsKʬ:u+=jT19hջ>kZ+U8{Ճ1dĤ/Zb)D7ьx~7x&FRc:L,tq[mD S%  \wVXÏx#SvlIr ] C(qU$iFO8n:7^.,iE MOm' '+slyT._^ᢽ[A4KEܬz)\Ԑ{5~fDO0^Y4>J@o\&|zVwxRoH;[j6%OպRӔ *2#eUzf5v6)Pdz~ lmpmc1l餔& kVa -Oi,t Uַex¥(a"_aҿ·7ڵX*W&ipRAhC^`!gL竆t0imٹ-/)Du u8M2 }5vȮ)KTDs2uw,Sl5"x .e OIi* :j[:Jʍt`+K{0 T^/YwDA%pn @.Kp9:|~\p4 V3FGl^s8HgtсLGydJg -,vrjL6NQV6KXs. ^Ĝ@2o.3&6H]Y3dQKaL&tQer:yW-Ya4[\MI?&"Os_cw$jTD|Mf.^b)tbPgH=}OnoX2= jXk3ԕc-ҷZr1Vg A/ztzfbEwB5x.JG~{Zӈ\؊g‹2L{d )-v?Rg7#$ XڮQzp!Iܜ̭.f/$Vk9MtCO_Jva2GLTwuVyB@M4S]iг6ʒNf;#'atHFi\a.@{r T!{ " dXcJ,DLGtCV?\fN߷UxF+߶gǿU"L_J,ǿ%=x[,繑28~[M!J /Fyn N[UD6L=*>~NJ@|D)RY=5^pҪȗPK:ea4Z? dcayGOHg',I$E飜l9אd$#eNE={&f͹I4|2d3IuԠF`{ߖ~B@$мJECľ1A]V i#D5=uJ.Wț-nf2!rX0b;tÎ cB\#A*e5D7+PX@`WBۥqmZi {w^_쉙o!CӘN励#2t,y˛#NORF>%v*8'R92<:,o(J"XS&xU/R͉! 4 -ΚNO s޹6Zt6Y 1)‰x]L^AttDg@fdWRafnKO,:A^B{,5aFZgXH׎YƲ2JK?`b{m[;ǃHTi'x"&_JUq8,U.Tq cd S5ݙYM:zhG< KU"pG0Qا-;_#5ʝaBбyk`:ɑ iށ̏Yv)JE)R~W >)X0DѶ; pNDž=~7"@1t.YdhMIz/;z 1Ŭ\$gJĪkJF*wU#8q,wRJ'Ci#=ruS2Ac5mbUw>olJ(Y5/pH%M%\' Eݠ7cfLh|,BL'xʻ*73mwa!X0%)O[9fTѽ_OJh"QS=sX%]o2_e- }ʛQ1tǁ/[5hq];x(ӗASQWw fwu~2:laFEۉ0, @ט,A7r-݂n!DmU.(#^LQJ"(:Ne``js]$dzhB>~(4 xF{O]pAÃh[~]J{tnʽc}Fl.p08i=r@[X٭. Ю)>My̰g=ܑlwZjɗz_bg4% oKgŅحqq50qF }Rz9PLd_U@Z[ ʅ&t㒋eUG]~ [?`݂˝Xpy# tl^ gSѤ)JSX1s%/KH9Yt7cMP c-)TtV|37\$D/[bf2 #.8'Gi/tZa )Ɣ*q/jV֝bA&JdT`}^,R%g]wp=KU˓&o~媀|۝luF& YYwԃbAcڍDŽ `~Fೃ@],Rky)4og[3˒k,ˬM=i'^^9 0=1*\e5Z_|*#=VLHmlǤ4@a箿s۷)-Tbf~8V. C1&޿" ?m-Hƃ"iݭJuD#5e +Df);* iS\H! ,چq4LA[IqgBrwy3SOƑ8, /Ɵ&`8d!s$۟$TuKd:9J<=#VM^V>1B{{WX=ajp0@x}Q(+kN.qcnSj3Viv}5KqI. p.2tc) 谪1AV kGZ\1?sp|6]gqWG6hmxT_}KVrDͱj`G mXBx>pV"wM?=3uR&h^M .FrS 9籺VTItDMس5p{ElF[V/ΨrgJ5@eT#Q(\ցtu53(*̍S\1/ jDGMژte&B(ܡ lm2;+9Ē m^ FbƟ< S|M*xMWZd9 {ֵ*s}t\c:Lf? :ƾ28j6faîE1^?Ͳ`0*CPŇcBiدo( x{p #GE Ga*4:^>|5-!fܑ=ﰋi?'x'p/AFK]U D|ÎKhŝ^|qt' I KPIfoAx)'OT6GzR(Ȏ%zB`řJڅ/99^Ap` c+>TMPEsIե2"Q}΀/TCttpuloT7Ȼ| g~]^ەԮд 4Cd?( R7*J(.QmwKhi`=}fYYdmhyN!A1a]X“&"b/;蟳PO,Vϓ"=QV9bd( cn |}|N*x3g}uFfAI6mqh9t&ۢ.9`+!lF )i&3<]f#m~%=~=d!暊UTblSJZM˵1+Ԟ.2vkQr+t4386<m0jg]s#atйi͜-FϠΕ5rȡV $d,f&f2mG}^tCd8:nMd̔Br++:ۙD;t83%"t;kHP۸TKc}&A$`_O;jK _oýhsZ-O,-FX}u|EKޕ:LnGp4o\atV%lrԪԿ}}љgM%^S(E4>v|vXzd>cbӋ3VIw&1h (3F,UX,ݪfQU#]|qUxr0U #;<Xel-CZ+4 PW\_1^_|E 3$$ʘ(@ tn&S53s'߭'ߴx%sWQFm Z_ӽc(:9>LQ~J^])4 ĽYpF`M%Wtzژe^e EB&kwŢ`"5{ ٨[9 gݻr-ĉF qi1G;9&Uٯtg*W&t<M`'rzp "GA';Ռ_w-oyUSO決ZBtǗh 2"yi"Wo+I<3'҆+Z0J[?C{;~+6U;baIő( Ȋ@D}Z3"L,N6s~w14x V8 R8m.1q)G.ۚnxW4؈ڽhaj!=ΎM.XTA\Ж9,V }T~@ql'2 6Wu-֜Bo,s* T/S6cƐ1Ɏ-Ě_Wua,ZjIQLKx;čhU2U= vXGjk}?r @{CbQI(LxSWߔgxyߧ/+f1V="zaÆJ+zo:؇B&`Р\vo*k=z(Q*kH?FI49] =q78(BR\a {Y'Q9|̰(`sd a$>#X޽>7Psr@QeϤs._phҶF6  &U"*.-۬HDkV¼YтV,JAa"ZnT^-.-Y$'vhz۝&: w۷2|6!T ng#KM:FؙZ'Nqt #f5lrT×·uf$K:(B3jS/%#2?fO' rso4È/*3$i,&= m \wڬ)9\9b$Z@98t_:gޤ01N3هI15gG-T?Uǖ$u<1zZ2<M  A_VHsw1gdmGso/-("-T' ` wX|Ĺ=VOz!0%WN4Yv_o!( y*o-v痜{KxX'ŋ)t[_G(,FoSۅ}IvP&3S1>`MBA;gך]FEӊWCMW8nYp㷐2ߕƞ%4ޝƐi "` 4U$W31JPWk+MX,mCP(??z^Y\D#d"2y-}\s:A?qf/l0?#yS pdd" *U ȫXa4:~3Q0$Q|1: b^Xgf^eN)anS+.`]Xp@Mǖ^ =J3WPJa-Ղlu! |?6@XO g6wt ֆ-G, YفEXŮ :DҨNAawm{nHl=vM}ZW-*jS9BImrAօUSJ:Hr0㸆Dd՘-ҙ߬(#az/*ٞҫл;<@Rëa-#ZƷ0MS# Aݬ!?QESfPLn/-c0\F=ՁyG5re O3q\# wf*DوU'Gt:M8]֫2{Sh7x#w]NQ+(_ԛ'()s`|P?i8P/SY d`3W1 J퐐&gT4*bo+4Y#^ bx~6GOc>#uMU߬RﭶZkJl0 Ӓpnnj-l/c<qG ;d]TBZ<6b+ %MzB,PL{?}{mR|Kwg_ڂ♳jEW||4VJvP21>~@zj~x!yMHE )ԽEviB*ow_+XĊԍ!=Lq.0nm)' )hqڍO߬OKLu@@g3,tVw.)qD;3@3t9A rȿ^1E^Id~ )!z֨Z97΢Cvѳ4(\|p7moP `25q EO+z@M ,uBt.-}Z``7k\"Kw;ڭ;x++sTL r%}u!IyoTqU\O,Cp?%}e9I#Hgf^ꜙYf*̸8\EҎm^H҉ex D*'_~2£%?u6[ܛH^BYFjD[2T[uP,en=g8ׁW?aT,?d(%{LG,#/% HOL-AlgebraHOL-Algebra.Groupdocument.tex7zXZִF! ׯP<]A-MՋhvG"uIBm59o'7| )(S 5ZO6XBO_*~p 6 S.%yԣEw/=)HwQf oVxZ;rCm~p1woT _raA$^JTʀM S~'Q#/5s*v=[Qhu r40=މ1O8wZPk~k)7i$; O{"eqάoHJ>0}5}eh yc|tW01DE(zA=H}xSu5yK0܍w4G-9 ޺CA|Yì%rUsEvl%*;Q4w)Q-V:KmL|d^\<_9Ƨ~Nm!XuGHM8w۔eGHMmҢ}=,;2. 0vtT tjt42EuG=k sW7,mK6!+0ܺyh$U$<^"㹎|TVarAP`1Pl!{ *$Lnh#sWv7و_^]+vzԊ"x^Y֫ӦEm!t**IE# Nh΍3guO5SțҌI4xgP=cd$žnhi2H-H#7RBwT~bQxg@u;ȥoe4t3'Րq$'`pMjvNJWd9,?1ād(# a |ύS3 0L=Ǟ^CR]وYa~"YC4josv8_םPۑf>їwjy-y !Q%+֪ހ(l4T_ASznqU ?XƲ)2Cbf^)ZzanLQYuqO%E9wj8jyALSK>׃$K|#EC._Ԕ2^0C٣_qgi,^-(0c#6IB|V:+m7t,VMq _!_Rde9dtoG)8JQBQ&2HnVҖL}kk4"#o2b;]ӂX@ԘB֦zHž r=<1`{Kk!jKXqPI3 PNF* S ~Pn .J3GMI}xBI'L=Mhm'8 x {kM,!\_hG-ʴjǯ^pw[*6u3 2K&S;xA,& KF[j:0ck_z> O({{-# 7'~(@pĬuҎ4&\R<TUg蘰N_r^Ӫ\H<]ȻeM!܋@r)6 ͙勁aW![s:SroLPڢ7Sڕ*$ <7g ~0)9w=1vOC6jCs'Gwi9BcpIޮHT ܽ򗠊# ~&ْIHgakhJ\̕wfuלEGa,uEnMJA(D20;dOCh`MAI6]ڷ١͠y1mvg^\8{ |ggoN_V}A*"+l6nbkR( )^eQHFlIIif𗁓-bhm3rIt(srʬe!;*w#[f M=s -^) sW3(IY) nm:I({WZ#?".!Ϻg3H˨]qAj4jͫ;c :[1vs:A?ㄓ<@z !ep]/B|XLmR V* d6|~MX r&2?mDŽs}nŖ*/3i] r.Vo΁~fzX{jsDUW<,lx"i55mQ`7,Wōjfx`k1q(-T^[}zR?Ӎ;~:eo{3e۴Wx4Le,(-ZowLzDXJ Q׾4'<<$jθaz7_P|U!Iq:\ıyݙy#im3;W4DZun^S AP$ie֏b5|ĔQԓ[%1KWf?cdKQ(uvv痭TPH =$g~R.V޸baUXG_a+R^ <{.T>ؕVOR@Ś(0v"%İ3~gcs-Yje:`Kũѽk_(\O =;]ƪSf} /JP .`myTTT^t@ `}sN-EׁF'/[jXmbsD$Ke1(سC-Og{6񫂻Fsu t\#c쑸$c5zS|&vLX,_#A͊Ľpn`~mwz|} Yȭ*/|kC )hG7`VR/G"d}>32wԟVj%(!@%wp];C9IZ`{%f cO_䝾?ty?r5c7~g/3<qحօVO܁]09,MX L{`1M{49[A˵u 'Oӈl7 H-A,|<_y=q gkY5ْn6L62 <|oj 4EV\U_,UԦ  +Y6ߘAԴO8ŠkMy.x'yi<CH4Fc#|}\s2ծ3}z{bJcʾɤ\3+eXHyz}wk mEn`=^snBpsRij0 LJ)sfoE GjAfO.~3$+.roY6uRxګ.AFgh46P=)lvXH5}.׺Js%BV:LeC? /$xF?}Gg,1 p`'2 mo͙/k Ɇ 4KmD'W:8Sǖu6@4Yo7c9.4Jh+hHIO[7_%R4r@%eQ e*',b]/]P-2HsR=Gd  A~U1!rȻ@BH=͜r@|!ihA5IL-ݣS}ex_bXHq70J[j qVD"[<'|r8FA=+MquZ}iƋAT@l( ̃ZS,gP} k61d;g-c^Uj(?s|4\KX4&9p+XRsli&ǁ/t'_3lّI݁)T ,gി2'j05nhP堰dˋRۓ5y1cU܈Szg5U&":I6 JnTS2֗(7ӄYIkoTT:TB$Q O(F䟖Iĝ<]B926y_.thܨX9, wVסV7ԍ+w)/ gd'+nzý$XW&l#ZU6X7%`Z}kC,g2 iPzj-ri3O'k 5"XUsӝ%HI tIklSi)6; Cyis<67.6I HJ5#Gq7ۀi]&ZPBIR]vXmu;)GJ`7D8;ה kc ,+<y?d4Timg?\)E,#faڒvRa} >t= ιQG Xcp{*[UBŢ J'z77L$5oedDu$2-E/hP9ĤCwwe#^>+t a" Ml TE_7#"6Y;[66#}4Y3<4'cKDzw͊p\\WV--EV4#~1ddte sJԑsd)p唐}L߃e\A JM~B-K cy!\Tkxƫ;q ]q& 2m$ TA7IBM{OJ}tYh l-P[ۥ_*ܼ,p:co|? 8u5Q`HQSZ[V07zU@=hN-s~16yfLP"9]=w >Ԁ|c!Aܠ=4 ~QM[EM {"]_hdae﷐{/cC1ty[)H.bH !Q0 戲>6 yB +:&w5t˭&m`CҜ" a-h^\W:d>o;{F,W "b$eS*~TjD76Mc u?7\8BFrx?')2^*meUH'ÂecN޷Sj%c gHþe,(, Pn^[ر屝 $>+69U]M UyJx ;p!3IA)t%aF v `Smd f<`zZ]_W>Iٖ׍W5 ┥~ nFs\3+Ui 5l"7o71TU]gۉޛݕш%.yĔj<0IwGc,fS0>@Vaܔ?Ě[uBG>EʲrbItSPVL|$^]"v NӰEGk  6@Gc4'QT}: ŗOwc<7/㦸Vlu_PrFJ| #踅S^)~Tj̶BxE:h$, UϛnjT~jfv{.3|t(D S6k-z(Uop[9謃|bb,ˬbq3i-Ud(̻&g.Ng>7\bwn U\8%(}c!z*,3-(166Uhx+I3CcrONj!]:HYPffW vʉd'w0`8lTf΢J6^ Jk>V70zԵ}ag5;Sx3^F/ixVfibcY0vҳ4Aj2-<Ӝ 31Sfq@U8H78ĦhY:CR#u37'+ɰgtB/p47yGӏN``lTjLRwn>CZ4st%Nd.@ 8ؒQ5Z&&#.N܇-6ıH2,,7EH bK1p| pxG%}51{'[^.Lke88Ϣ]t1[\d>jc}DYJ)mJ6%"I, ]f) Wѧ\_Z+z7L8Zncd :7-HK؝ GJ=/7>w^J HN+>KE>dQ[ 45c5kR1H)V.Ut VAlEr .!5ON-HۚVW/4{[۸^`*Iܱ ]T aYw@MYyOdVTd6wEG<8Wc\Av#ߨ6@vo(OuLﬠ$߉-ȂP@H1g^Se\Ԣ%&`5j@2GfrZ9y@ ϯ7M!$\Ra_o/ɺņqpgn-{ +{CZjVՑ mLz̀GF6ӕċWPIdf5|0j1[n+D#ؿƽabQ-1n&IJD%& Юf-p@`#>ѹ-g4lut9]r{ǹ]]~H!dN]-a<%,tYѺ)QE"B" qt:nY9ju͐t b"SvS 7R4Z2 *|>c9>Z \Tĉ@DQ`HyUklV$e32MQ7"MUv/bfa0&CX&`qz÷Z;12q$tz>]vmU4?z:]DV4P= ލ9.ߏÍQS)7TvwUVZp"܏+,XA9b .qp/ш!K`9I^!Z3@@C $19 6犪MU&αlcE~v(d@CRo8x{!8P?]m$3>@N92<jEwP0yHiyVBɰXk/ ^=ȵ>mb5fQf}OhC,4'IWLZ X Eln/Ԏ$OϵG:o ҎzRV0 *~ rH Qϋ,>a=p%}9⽎g +҅댥@>\V= ?,ҊkQAVzbk[ 9`?̾1v=J=W5Dɝ*(IkjDHy\hV!GK:}G,wdz/b[Ѻ{0 s`R{ :Ԇ3Scp=Z]m[bܟ7bl}r<|kgh_@'@c'0xYS"isIַ&+2eLE]H6Bm-E|g*\EV/ BnЍłQ]Ԙ&}rzm FD,b{yvN͆_-DxR6}.+FâY6sidq"Nm] K&<ǚ_ܞR#B LS䧁Kqkt  R3*;!CPae@&UFy|]7􈧗٨q6&Sr Icd+q%ZMN|CGyQPiԱ1kgW5#wcTϏCئy+=IZX]iSTJ7%yo[DhMSd'vޏϒO{wfZ@.DӵjQ\l<$QT/@@XJfJZd7##``𮎭= ݪ\1#QLp}}|1}P 5^(Q ?5(8*٨e0M@CRZI "}H므gd´]h[$x)_#̯.p#V^蓼׾3 )7 N19C_ԽswDتCdքfb^G™ M1 9rjH+&$t87p$voe爮צ$agщs؋ raOٌys*9u#!KqnG N+bƒR0o[]5sf h;KQtm-q\])} ]V[b םV9 #EjEAUReL"AT(&$a>Nl?YnYMgpyi Yx,'@ax,Τv4>^҇5W* }&I6&>Pu|Q"l $RdzF. 'lG7]}׋ǜ]wJ8avK(#v5cPR!;r_\']kxvˎGH} n_^=}BS>8އ4ibnZIHpf ө |t:IR`L,X, {6Z>g}+댈]ƨJɎ$&KgYZ!N,1)>|ILLq# b {;^QRѵ{N/G!?s@;om6z;O )mfړ\+!bfϧღlVh-U\,tP% W`2t*CT 37cvnx U)P=&}@C sS ">̧d8(ET$h\6-`Lj cE2bE84$3}TI-`$I7ʰF! _:pC`6bKu9z$|a]#t<~54p*ēHXJ* HOM h(݆R6.>%22P`n%,=t3o[ưU (ǚ*0 MW-Ц3 ]+`>$%6idG7ܲj본eJxJL )čv(?Қ,sd`=7 < (c7U,pu]]I=KH΄ËP1sH}4Y90/=850iIVD-[DϨTvl$F3{.P>^Pr9 H8e"Ԗq/$?[ϟa`YS,mdgiѱ TDhno|U[bԾCM5R qK [̯DLO:-bQ@kIX1;&ujQ="Z, &REb~[n/!W!_Wb .W4"NCsƑren/dS #|*t# S4 ZJ L|\1{JRp*Bm_Ӎ>te!@F><{N]vDș5d*+W[Xe\WHKhq`:'Lw~O͡5lѼI@eQ^{jFߙz\.sɫBlRuTz\%;x[F%(`k9.!x$ۃNֲ5Saֽ?wBD#J+sKR2E-8hP(M6@k2ː*-d=ИVӍ&Q~R`ǁ~u~n5-[pT;p{` !B88*R' a#Alυ^P.*pR[7~&4(ñp=ä8Tvc䤦jt%cE+E QvV$d+T"f硤YWe6D͎0Jy[p`fVIŒo~@ڠ:=l/j׊18]I`${ywtX:V%gNBv=yqMLbOԡu_&0~˟E%W+3}8 O:铸P^d9Mq]q8'5Cs;j x(h2Ϝvk(5,0(՛pDdKIF k=PuE)J|}L jxap;!'7A׎Tg*[qb5Y;7g̘,]bkƻ ha ]C rwG9Ŏ)ܬKi#Qcdi.h^qFj8Q?ecxS.z"hC:eW ɥ"еZ@$"M-IiE9s6QaͶi.7p,~ьsYe3WBK3a1=2Q"oPoC-wIƨ2SZΌ(4WtQ|̞y c9s1Cq>7$3 KXp klm[vl!%tG1i=@(26og( DoZ%di-th>|=7S!/?J{jq9: /B N|Bbpp|wф+xp:;gFz= 40Hu1#)glY١(QjNK .ʱ#+t"(R\}# Bj7 ^h'q?rw]Mgܖm,o|R4hwkWI"}]hM'ڠuֈ{d;O?}oO<ٰp5@ h$5Fx"c8T|>Bm*>2Uh 0 5YlyILەM!ߺv\g-}[mq߭s@FoLѱeуIKaJ8a>Y7T59Kv /~^4$Ff)lj*ve< WŔ%4C߸byXw 8qX6.rYvzED:AđB K&D!wl(jz@fZpxf_n^ϕ!ct kx[qJWg|gY50q}ia(KkY-츪hzӢ{z{*KMvmkk1 Qj;g#EIJsRI0h.K7nV)jĢ?Sۿ>`ն+9k[Zc9L¸K׬ȱ 'LOAUwZ7U ʭ8ĸyphN\z{kLq}3$_k-btU&F+{Ew+cadԤEʈF""ćmh,hg,!=ķ*['ӹvCQW/[g~kLm~ۦٔ5?O'0.q*KŸS߼ wH_Aگ2Ej…"N!^?G `$yp0*eDyb=qVf Ի٘8j{HbӈQM~"vΆr,h: ]6c^O9rG5B\-.Il}'o8{Qdy<(X-b\P(Ep̀;OU1hDuR`iD詩mY𱶟۴颥ȉh,TXCIjqZP>&xF+{Łw\b;AR8ҟ$vA92V.*9RGV;]+` h%/.X#`tBzvPPif@DxBWaG jz_l< (7-V|.">z=,OXl~Yɹ ԼЎ{|Mx7)@FX'U5hh="5vu6 Xo} 50;svw^jr FZWUyԚ ޟkOmJ[%v|; #bX6CW҆}[ 3k]r 9y}##9E:"Q^q[7&*CƛMd/qڍBFŊbIv[joE]/""wPk*AvdTA(:,Q nOF ןG &ωA\yRi?z:v0Wrrd3N8DzƲE9&fK JctöywKߑz>#lbm@ Lv/mw߽7Hz| mL*^ Tn~v(A*Gl8T\la`Hr9m-' i*ٷM~F41$3 6úİGdTJ&L*/iE=}=sUp[63VX]\z4zz/ TYӭnΉ!LHX(" M6/|M'@sv\MMK@HK*<=϶1G> Yw[NlO Coak;t8)6(z9ye Y㘑y\>W/3_xA{<"|Ʀm՗o/=$^AZe? `I|~ @"4bF5iEp^&/ߒU'qFh4 hU1NOl Nke:6w1!%2@h+*o@ D@ɕC4UeoMsO;ySS!$F0Ȍ\D,u9U>6s{wMG{UHj'v s'f$c3tj}ޥ;? WS'3Z mv٢5@w=0OY\M/bM4[R@kna^*hT^<$m!*?EgF5ݨFx<úCR+0t$Na.N+ 7 >`6=M%h$Y)¥}qE7hsP;I<+QP QOtp QCh^sB'enJ \Swr]aj=An@8S./FY|F9 _b b\654vlzE~lBO"؂VFo~/ s+0h_t'}hr7O-R2k7C(_*sxi= 8WurƽDXA]Xz5nuUxx$1t#ODwx x譇h9¦ѓ+p|U+< dPp˺F̩GPsbƇ:D& Z\@{O.N̝?]P uLtJ@B^?S}n˯aQXY_*Rڳ>2q:g:сnqC=dމ=aG;t Յr2hUQ d+lu'{#ƟuXt~kcDrzgg6Q&Pr`j&:_\ DT vq|wI9郤%\uBi3)h\Ef`۱grcqgvϠ(hq#==Z$:|;&`$YaWz@֜)g5[pN˪j"fɊJTvVi8ʆK]?oZeT˞=Rv ['f+G(۶`~kUN8ƹCoB4+ (ݾ,23lq7gd,a_H3?6n󔺌ZKgA9y7A-jOuyK@sp?="4Qʓs=kE)Spy>\qShi\=:\xtRWW;抽7T(|AeH)] p4˗1T~ A Ot&*&XeLW5dE,Ԍ۠/ի7͹o &zZSݐ!6#ZgK!!*P2T7Nt*Asn i&:Ą- BP3_%8t7DX!y](5Cێ5dQ7ZFCv,ll8EB;|D:cbS„FeAv29mi•ĉ\0[I !%lB }=r@mz[RQ0;)yW@uRF#Q?/W>E6iWvM8W'?h`{!+aZ\QsG]ʸM~*3 5EHRgf^Vx ;V`VSYns vupWKq ¢->|s6&qYeXm2-f#@@3N+7>V*e󝳹fqTwrt=RJTKz~^aq1RvEI.Oi B̦'W@]lysW;@d8 m*HՃfVrʭܝ ? VEw  ? Naa ˸o[:?&aY ?2Vfg'Xұ}\sETw{<?uo/N]Beo䋁yN""HylNmZ3-NJ Y.gAc25p1#ȉ5zD flם?2BmLx!wפqƓ؄V{,^ۺB"> gAĥdCWէB2`(ie$z&5Q b&\ĴD8WEDwC 'a1X\T,@E] ʿ.6Q ae~T97a~KlNx] B3[\Z0o5/#}khQ834M`0s ~+;"u`=84 e)Ls ܇#{?U Ss sְq NLsu;4'NJ2(đ>0ԛG6w ?=_,VXm|3Z2H-.y#]q3I:峫_Ng@iH!i=W w@poU YH#Zsz\]"-DgТE6{0.Vɯt/IC@\G_68j%^;YwjH85ًǎg#Se< 4^@2 ~.OjM|li;*μLboZrp፣A\oIkӄ`?C)PkY^njp2 K`Q1*~%DQig5Ea ;T' {X|o;w-xwi8Y)*>[ԺCWBuڠCsfm%Nl/@ VpY{1Ź<usj !yLS)k?YB 6F3Ӎm;8[imF^B_:z޽⢘K~~PT‡[C{:W68~Kż\`EB9v- L TaD)쿼qBqz% d˳J DO]DfPʗ_'}  5«s%ջ"oVkWCˊ9F:y~gO_@oSJ[ -J,ӊ[L P{mA [UqC3qF`nCCAU$X]'s .I1(ѳ TU4t@FLM eK([^glpLTP^8㏞mҕ^'D xe={ʓ6^k 7;?aU26P&?e\u!nXƍL b%<ߟu,fP:[mDαR@S9xeN⊘3)|2>;8da~dnfqqa!gYZ ``G#=% ,HOL-AlgebraHOL-Algebra.Group_Actiondocument.tex7zXZִF! b5]A-MՋhvG"uIBm59>(};SA|'|D%-4v500 AFoZ'?cF Qg ru qfս˶֊XTMPkg~gH6Afǎ2)OW~oiiz8zbOx >;:Nwe&?knK rBs{oX2<푅AS6|x8pa8Fy"J@:yK#kG)S[Fܬg;4zFݣ_F 8^دM)^%xg鳃˻Z7pᇗMDCoVqpXX$T׈.z=&$.r0vO3V]܉)ݕjͣrMhOHWQUkoP:qry/V% cˬ9еDU$/ԕj["^"&9y5pXՄk*HJ`+p(!{UU%Rt2ʰQ%4T!`i( ]y CKu|ME7`~jشn|CB}yM$Nf(ȋ;İр UfdzJrx]25ܒzUgE1i|Y{Ef,MKrqc/Jvh#Co[cbƚTHi5:aunƧ#!t$hnOV豲΢Bp*PVd[:ES!򴕛`*$Qm&e 3X8#e <گ\Tۜa$]^lj%2뽛ڦWw]aYʙ !ūvn0rף(~ʾeB|4&9ef{b2I#qW .{Z:F1)|%V7%%>#j̆śv7Dg=mb#zPxՉ&-/ib0nfyf)xϓ W15%\3S$uo@@PM%vE/Ą>\:VKeڿs]VHU!B-zYMu>$2$Lb h _C}ȒE\CEQx6P1Rb tG+k,\AUzqo\b P <NӧHzmy7 w*z9`Ш0jlvc Ew3,¯u(;|;hМ h`_T$Iڰ%]F/V*Ϗ6e [Y"%wQJB 0" j_OQ, s0ĭAiԏ;k+ovzFt.<د`Mc߳1 L]6~O].GB2/$3#E% |HOL-AlgebraHOL-Algebra.Complete_Latticedocument.tex7zXZִF! n8]A-MՋhvG"uIBm5XKjFщ*1WBx#.~kلt1 ;"-J; 2U4#k+irW'},*,C0 H\ׯ^BcL" omt$DW99Ͳ(C+2ڍS{$Hv~9JqY4:tt-ŀ`BR_g [,{PSK(vֹjć*6@"^ܰ![ "XGKzT-BWV$rq/)ұ~R<#v -Kü& m!ՇP7'MW8fYX{( ІC1mS ɝ!pw&4biCQ*I"Έ5G7jfzP7 x7:= нs0٦ya+]lUDHZb햅.,=l3Tk|`kfAZZ'SFav72pL8h*KvOI u{[QJUrpE~=)9ƴ[@ Las-͝B jڂn]Bh\'8spt>%)TOª);T ȯ7x:td,Jh5*`iy?GzC-Pݕ"bp3;Ti Ⱥ7ъdo;(^B1~iD,?Aւ׶OBewPz]y uLeYp}5(i> {&\"͚I8:NpdY_=,)EO nt~BY`j[SHN+6>SyyԜǰ&p9YPrMOҝ1C<2>b|1@?f1^ĕCVomB$=K5/VQss2tۥ@/ս0de#?'uS6tHN2ԡiaL:!F>T}ϊ?~U齱+fXy)t IO@ޤVKQaoR q&iG W doqV {cGO)YT]p\<5X(Z~֔&!wIeLyPHIZaK,;9ϮMMDgaOǝv윺쒵/7N(G/cb0|L "6Mbx`|scMg5-΄ / S,> XE2?]6.l:7O&Kz=AP8 rhExF xX姰F2P6M&}JHpmQK~lU˿{2N`\W+ 8xCk3Xnw#Wi){X[: Dm5)mqg<Y':hiQFYN@Ͳgq3]։lt4tʄv{*T0:, eH3õ k`gs}rbC21wuѮ#rgEdmKbN䌇,h|}͢ e5&sw9ځTH %sաi>ي3vb@Dk*E0HT% kXqj;g=Eym"X9YT|Y@a&$ &ZM-R#-2T}X!C1_IxJD xb/Ihx`a0,VFzNM&/75* !7'Ω@1ʂ8.{4]QH%\Tڕҫؖ)IPDקCG`w^AQkh2t(9g#E1Nؾ/̖xsiw62E`IH%T!mP S]1O$6zc5NS/S,38%$,~Q/`a]R *-G )Ϗ;F%59,0vԮjP߳%sZٹe*bLuwq"th%AW;ov=o:;XgS WG.j̈%tY KD9J?si5NfxW2Jg̷$ABu;E"TS3~lf9ܥ@ťNw.ʼ}ֳ/jV Z).bsi%m |STҪ묋{}_y ɔxCJ{fћhj "Ae$Q!P9l7$`qoO^9OFjEU$8=3/H}VPI K6I0X#H2#vPM*<<4Akw;h5 -cdTX8F$1;{C)<0x>hnFh6 u;Sv;-Q6-FqI^lFcYS~n^PT' X9!Qv{uAbUـ9": $`7bY HZ]굺.xƌ ^9YY_hA>@m2SXɍMSAؾŜX1&u Y86{#X9|EK!EVK51rM0^k+ݐ`;mfm]G:˘lBM:o+j/wu F}~Ѹ[<`.z}t:+}fVDxuN(*B4IhHi 9_fkEuqNi5OLdgx.R >M[1QBs/J(n@_ Rҫٔ<f*>~3àbvE;]l LmrÓ/voYIp?QaK+lUc.dgöO nAIB?x _C. @)* I<n{>v%l~χ$w7h' XT 틫TH [iyt0z#Q-sINz`]p7T,($2R.W^~btA#RL&5s." 5~=zq=4jJy6@ 8iƕlGFlPDYcN*.Оoci$İg%?k0ʔ!C魦-V+oi^ja'eUKQ@mȧ3DMq~jgxoBjn!]vhGaN|dDEpNANrz{$޷'J*Ky(#+DJNo:ҡꕄn2Z/}Pg%_v1b|N4F)Sl’D+B:JNsɸHԱGz}&@,Z75v~53 mw NcHχec@ nYRtF.p؛zԬF +F*J! )ws"j|)8+d~#є;mBc~+2d"R:_# 8k|*a`-a"?SEhK:DAX8Oc!.4d$0X~-Nn5 %+A+7{.w:\;*M,0@|m[igʋksYi87X Dn)o>DFG_/ğ+-(PւVpR{摼F[ SS o-oɜ\w{H#ـգ6ʢE^ OQ$q74v4'TscdCCش9,/x.:7G\0ܰ'>_u0A>8\"YDwX}$=0 r8yFUt;YB׻X-#6BaׄC8v+fiyyh|hinVoDL\fiC)?K_VT-80s++&`X,{;[D%oF5'v٣RL֤^˘"UhPH{PtuzR,8=ۋgϙlޢ9Xv*&I\ 2jz^)HfX27,R :{_"7 E'3&7*˘-z *;ɛ9=u* g]SNuyR#ivA~W׎BgO ZΗD)6{" gx %&K_loύ8q`[5.fN!{XX03uO2_mK=OgcXhD;/}+P\ 0)ahB&*{!>XI!<kha_rN.⸛EAk#D~0PKnڭ7hstD#3Zp5EM\7W1K/@\>fS`ZQY!̌)q>,(>ܲ` 'KU[ρ9 |0(O>uqd؊Ww*Gvf@ ;)[5H$xS"MSy8Se ^DI'0]0'ja~6m;/$sDqa3]ihS~LhQ"ZJY&I>}ՉM^0"0~!ϤOG? NrpE/ڦ?-0C$Tlzj)늀HM "]ȸ$gRTU`LtC!F}KX Gfr[ :t٪@1*VN29&nw^Y@ i3nSc!" RD7%d.j--J5l僅,2]MMjdȈǁȰdCÔbx:~0 jlMs_Vj iSCg~)X҆)(<ӄ &wvQϧ Ň1OramY~<&8΍!Dm`%5"`4y%Q9:M!gg*LM8n8A 0mUVǓASZAGIriqy HT2gT`\\|I*fT:@uK׻oz Aw͚AJzP Eqd,K36>ineO|uR5B7ٵ#:XIdXL`ܻe1]jCg 15qo{^}4ytd3]+`#hlQwrD59TLtPy/drP4[[:"pCj8՚?AfdSI6\@\C[E n}|\d;cHf_?`;5*J@kW.:Yarxxs -b>-}?F_\x:h(P_6;D/sJNL"]ן/f8iWXW] yYhWQ0;@,PT7#qGЖ^ڶHZ}p42 GCπx<[Metfe ?nfy`s̍ȹHnY:L> Bxl[g~HV 1$C{ t )ǃ+LNbQDc*q]f-+X-=+Waʤ0 t45)+4Ũ0( yFr3fwϩ? J,jI-fz#N cɽn|O}d$/6Ь*mkb`1cht{J2]P)"_/I[S~F [h1x 3|9l'R^5hR+2ȕmw3TS'5"" s7Z, ᓋ?\YIOقf8X&(A8}! 89\oʍ 21)a6un1%Q_sWؿ ;u$2&-v |Kܑ S~AΰWgFsd}PNWL*%E[#dei|aP:skC3I᠄Ñ\ڞ M5W!s=}c^ 3{T=Qv@&wNHH-LE,S@mw@9X?F\Ai\3x&lL iɋڑH&/b],kt+}hVIC^(AqmM^hՊk !xe'O"]nkm5*-k}B,S`-:_-Ce'_/KX`WqeC6!.);B9y |S8&< t/F fJ ]Ho}R*Q&?of7mI^/}.r0S͗|,KS0hd6 31!F#/#L0XʾNh/ȋY'@(`W&,]XwbGh10f?!S 7]qKe31"p+='[-~*xoH9dqKN(>sCs>x2}jGr>'~UT2S_wh[[f NLݶB*2Jҏ[DrE+cpPEwqDMvD>#(`Z2v8@8Ul AEF{kndK\}@4ȲәapvY T`B@ٴ U oOO'ӜEu}@S"`׋Kh y9sKZa%CB4]RHvE_z0U>Jx;UVaKZ481->Ok:vN+9%g1ȞA:uDoXh`"18轩,[Cvلa#G?3z¿H1-[̫k]4z!!+Eeah}S=Vd wz}<##`k=N~;Rܔ9O:旿}j =7;naIx~SC-pC9neJ7[H:y m9w9D4[ ]Tne?Vi/Giɩl{0OLl(h/Mh^Ҵkļ}+-@Nٌfhvp* qS ,u7t>jYY7{j3L?kMj1/p7S~EC,xIhז=BpntH+0I1!y~V SȊehE&߹8vZ?d \aոC#Loj%`+T1L36kz,|I]#qWq,gzmݠ%83cu;%B|A@@W5S?>FB^oU4RԻI&Qm&J1@xj vV5=# 6oIS8uQ@|8}VmzS0A#ᚷP3XR][bkMsit2.ccJ#6XW$p ,)Iۖ ,VJ3$a_ (*B}wa@)66Ši)6 /Zs^]7j;nxl]e!xT]֊g[ς?R^&F֍Ysu|Rw2Oƽ!\uNڷK{m_K~Fe'!m@է0cq[7`0$ER \`7Fz-u[,OScmٝd)xSD4S5!M4 Fg&0}$[ޮM07@=:n&w,_O7=κ\dZ ju+\_>s]C 1[o|)P M}V=YZg2fV,S iq橫 <ڭ vf?> ES&d{lfaDxNaa ̥R4hIܰod<@L|H\z|zA&5+392kj C3^n{+IYeSRY8?+MLQitXkWxi+79^Z}W p( 4|xKݴ~s!Pn|`nyд`e|S8ә/>/x^=7?Vn |z!CC-5^nn5v&{36S["KsӌXixRț],SB!GбQ@7An<؆1#F!CBȔ*Ȥ @ᢝH{]@QTأM[D؄j./lr JXP{PEOceЭNbYY)t]if;iε[~9 ; 2ýP<;H'cb9E>V(y^/Z+dEV>yвSfˑY՘X OW1R:+G[g< joC2aC%4]Ԓ4(&X> [;:TS4M*|``IvܝBjwЯ/keK)ͶƟR-v1BPd%th[xR]wZv(s8JLSƞ(aUQB^:"96l wboDp; 9W3>,l2ʫ;Ϸ~'|KB(Y/$z>nP& Tq!;6.q޼$^ضVm>mDT[g4ҫ0uɹF8m:NTűaylOd6O1ŷG˜1=`B/]I%8hlC 5Aup">>0ZIȯ{FYSŀJ$$dFXo#s Y\"}۶xsŦ_7aՑ@*#'E )of#9T*7t˛36ߖ֕!N6ȔNY#X-9x[&N;s%2.t2ꊊ5m. Ct<@,3gM/8çg ~ $M,8]J .$H?ҭ")eՄ^)Ŀ*#叞}'%7)2Tk #TٱgYZ(UՊNNL/XfeOh#@5 vDR(16% @`zAq47Ip\+K씗a |tȳ<׿ +DjR%+6/<>k\prS5i05rbvN]F$rH֠3Døzx*Zr:V!۾K6(2P+G&2%om)yk7ۂPii-m)9g}'c k»0DǪv? k13ZЄ ޯ f ܕtOH0E2DA%b}^<ɇ(_6-@%fHMra[\=uJk7X>y̢0CMeA} h1|#nj =hmڀ g@C'T_^b\J6<`?Mok}1mgU6 s9 ^ZoQaZPnv[G"ʼ8H';5&萭^9Q^JT_^䲟edͬy.7?v79 nF2x9V>$lPknUX^hxqˌy9`̜dcq6@jǭO %S|ZH(GƝl;d^;Z˿q+ nyu@NB{9,9nQ,4ǽQ4e$B$km2;M$Ng=}YnK[qm\shR95I.U8{=ͤ+Pi"S“K RuK. \ie.HmNfֽ͜O`AjDL@W~hXOOFu ʗ+L7{cGɏS\W%Iic["9=zkVz[,r&nKp]Z ;O%VBH&͠yg;;55Jh! B++1'_47uZ"=*GGB}hڳs\)ǷrRd|3``VK1vȣcTY&6'S:hn̔d:֟vpHdy׵_r V@^ Qoalݖy\_Ia޳i_Li3P靜1.v\8Q&g#Rv {Ʋ]VLn=ҊɆy0Auf-9ri}$|%A@ca.zwp|J7d$"kg򴳔:5C@8鬹=I5f4nȺ%_,tk5 q3DA@7%G[)n]]{cpm(W;}60$3A*]nT b wO{8i qЌg(qZl XM%C %&|[FhB#:_)Y٘;K|;"cv8 Ǥ̡N|;}xs1ecY.ڰq2] W4u:xNW5jv1F)I h FUW&F2. ?Zmo#'<}Z nPn1zPsqr.MAh[˙`I\8:T^љ`i`Q}_Nn.v,a h{bvM|}ﵚ("s /'ͺ1Ԯ7 3 { ÁմCzJ圧E s-%&x k)J_ei Lq}h4u仿?r6]Hst%vjkRC˙Ӳ"tȇ#"9UtE2N>d?|%$tҀdfENxZ(*GCIXr8fw=-_ he@4Ųqt??Ҟk;..t 틦i3Muٳe}uO>$pyޱL|KN!$iч`]T or2o,Vr OG))a Aiv2̣ Ykk1 ͇~?:H*oWBI21mI8-L+S!o[o?sJ=tՕ]*=zz4 @S{͜ea_{u Bpvhf5|R9u!ӟOX`IIBP$]xљ~F.}<"n4B|ݱ4vSz.r&aShX4݃ RaĜIkzĀh <ƃ%Cmam6jӜ@pçt51(FA-V6'Q5Ȕ( l$B U % IeJ8T/:B7L I_srES$ػ/MTQIubKVDyYU! I%_FdA&'=; P3;2yNLhR a[DeCT/Fۍn3:kd$1u[4XA5Q+#?cNevT5o9z(b<kqOg@XZX~- CgwG Te9އ)؞U=E8& 3E9J_15H^gT ,0~n=BcuG~7/a\oЙUX;^COl8Z+HvDO/ouHv\5$,o/S<,a.R6IDZ}p,jRCɥ cTfW;y-AXEi? bq]bEd:zH,xFrR4zu2BdUTJ$[_WX'th:'AW>?ʬdq퇭C4uқl__(.Q@6M|e0?nqhA}<ɾ~&1X\-*קg1 #PyjuD訿Mzтp MB q?'k8^t K{eB"~߭ w vKr RlRZ]{<Բi@J 'wpCT?H6} [N 7gmĻfvTWH'MU?Q\5 3,5\SVƭµ}짵.RrXr9~&y+[WG_fw(ν~^_7z`@K2TTS5:3{,~!;h=ңU/5n'6Rh\;! <3xDOέoߎ YnP#+_U%)W6j (9DKrEŀc.j6;wIdB^)\A{eoQER\EVT q"%:k&yaR}əCIu/imGxvXQT8K%׆s=ʛqIdhaabݼ,EF ͞_ "s~LK1PhG M_pIveQpqmSF&g}\M ) i+YJ+,=عlJ9~]Hs)" ɚH7tPnA}qb;,=? ?[|-BFUJg{>Gz )Y5C䘀8s2f-߸ oԮ цÊ$)KK)~#|h f2@kae(Yoyq`KG5? 6^䐥 o10{.GgXU:͖%8 qɒ?pV_1giQ_~V^IghunVah4z]%#,otOT=6ޟ/_PU7Z&wxx"- e0pá+ax}, *xD {t I{f1z-;pPi͘#_\ȸZ?4f A L3¬lY*'s[Mo:x*1RC5}k ͧxIhBr)er -_K 9>61hyEDw8*ucQ>Vuns!nw{Dpjeğ{8-]ZeUCH; RP<ΰ]e]AOQ\_?IT5,Z>]i2aٝB8>VT9LN݉?lQnVSeu_wZmh{ hIh|A =8Lr.x> N<Yc7_ Цϻw}Z[Υ65&ZSD'] lLO4;eQUkX a^|LV`e8^Abt@GtFX~05ՠF@'$DC.YM!!|-ws ik}L>2QjV+3e(.]FNvEzd')&(} {ח)o9{ι}co`@3GgDDŽ=Ӑɿ@Fu' "ٟٜ"3 >ߊfŽ^ })d"DعwZkaHf*Ո&Ua%OD5>~`Dߜ{op:8_Txk΅*]=7_1>cD.'jZ{GVӉ Ix IQzL3w/A(an7`Jgx"?:n0~l8  T>J=kʌf PvʍA1 Vb5Ore3TA}{MȾ&.vOAn}3l:xy1O H)4!b?nj_xxc:MOog(dIy$^}nL=: -$,BD)F ؃I*''^M]`vteoCit|yX r>ң 1" _X)vd} ՅR&4T~02=C>g9q>?8+ ƾR G~rPE9e&B \C׏F`|ֶbT9}?b/gd%pg+8byQn[҅-C Mqn G _H@ݐ!  0%LA%wwD2Z0+X ikK,ydc%%2ya$M"^Kͻә)?*+I$]hdXȩ} Mp 1D߁0k<d%xԤW,-{zO.3;Pe6ǕoSci #j6]35Fho`ċ4;p[>Q.\'R eދH7}ż\h.^M] #ѱgYZ Y#9% THOL-AlgebraHOL-Algebra.Zassenhausdocument.tex7zXZִF! .]A-MՋhvG"uIBm5!D6.Qթ<[,PKu1)P H4X8,O~&ҰiMHVIs7|U +Y!R:cBo#6l-t3CDc Of3fƦ7Lh9pvͧ&R]]'NnڦjSrd7C@V\K܇Pn'MK;છ]$[O/#5Ҡd΁0AnLʐ<^ nFbWT;zV6iэU0x. Ev||+TѦ)1Gr;}NNfo+3k泇}T(Xc<3Q "Ҧ%E~ł)b~+9c ~tv.hu/.[q>v"PQA %6`%\І]{YZxV* m1]S s7DJp~MҌp2#1-VF'ZC) t. ɟn3C+Z)pҿ-ʔ si.WKk#QU)cm3"ǭ/ [KB{,RTޫ՘#>&3\3f1‘GI S"G{lsw^~a0#tCFܤ6EcniƔ~Av$6lX|3Q@=|k2_Ky #jYre We75oG= Td)G _&(2BLwDB|3$v4}f" $qldGIwVw-g} fT(\i.7K ep|[3U5eׅ7T TAzQ+p ^NX܇_7so^5bAT=[FG ^1Y$Pě >D ~ H5)T#f궷˄  y܂LLh yq>+FoEB(1/$Rߗ C(X'<`Z:++3"=NѴȬʒ u +f6톴 on9'vHӓŁvڐV T jґՠ}ϴwZ [ŸDA_Ya"D|&a0O 1Z3lE6^c, ˧ǖ1zA+Z#D:*/;P hfiju$FHǬk&8MEwV()yz\_Iw @"Lސ'ꋄ'Nvơ"}kK`㍨%)CIфlW)~JZsMg H2J1PCV=^7E}Ơ'zVȨ/:3w/|Ds)m)C58853kj(}UHHRO=wo!s p1g܋kݻB:AMoz|ɮftjhI/vq$3lQfy7'Ih2_T$XN!YDPs"4R`}($Q֌*I*/RI{vg/gʌu dc-3E#iJ8>bx J-^#c hGœĩL(=_IiUA |[BX τl ME.U܌Y8Wsg!?Ƃ$j@;bFp ʤ3G ]Ov ,4!0-~ZRbD_MaܿYG)z;Ybc]p)4>O7a)juse첪GCvZ~Ƭ,,IsÙ3=Ol.s b>yUP==qұfwXʚ Mw_uɥi뙊or@.3O>DHʥ/*N=b$V?Ӂ="vSN1z)va2Q!"6>qLRe^;GXRU *)2CV E8o&>$k`˳|17+L"hƤekXa{tt&hTz7o;/6},#[O`.vbmoWrO*C)ɕ{(%9U*v&OLэY) $d^DGsCZhWLeSyy*@{C*;y^ə|.<@:VHwzFg6;n>n7̈́"NmU]Tb7 fJ@뇓.iR:(Q/Go&Jy8Nl:o/7~:`F.(ޅwڳe8-֑u&aNT.U2WAeGƻ|,^`ԲȺo\3GV\4fV)" w'A06u+LCZw_^QI;ڌBr&;덢4|n$ f$ÌLx[[/htyA7 >?ƠJxX cf ERz$N1Ɍ{lN{ߨz6;rSVsi3_j r@#f.Ĭ*_D;o898El01[Dw$H&֟Op${v'lz 7ʰTѻ>_*a/u`*s,c:矏2z'+tV,;!6,I'Q28@)mV]K\yeQ[ \[ ȊD{HCA !$X]:g{ض, n5%?9\dTrHW,`fdno 3)}dk%t$i2i^/yI6jGFE,,{AwdllMm[= /e>+k}jxN"–l%1T$bUCc`|1~㷬HFiŽ*FybOH3|`p%$&'%x$Qj^ x"NewZ4X?)xC9y`ե%#N7) 5\*f@ۋ&} (ab}ԝ l zCt)J_qE_0P 0Q 1CI7 _&g"%$=1FCY=j?ӮC6b/ޫq&a-JdŌ&BY;P](hcwfYiw\u E@.WpEHjDnDvMuݏX*aϲ2On}ۓsd9Lrt ̒~TV>V2o*~JR93u wB0C71X\ T߳5cR"Q$rz.N9T0=s|I~۝Am帤U֯ CTu(Z$ܣe4:pܻ(uUwuZ+l"ĞyЧhH@fgT1uqEd1 $* ;B^Kz3TXNUx{ b*r ^Qn&'KVȨs^㙂Rb5xխmCuֹBv:gXUp1BS0#Txð$ʝf~作R ="j֫fe4\Jp|VLyyTGX/ V+`plZaۚ党쳙-y%A(.oay^ٱoJ)>\ӤRס&CA,+WJe(EJFeI M81%%BC,s/^ kz[,2 +V~yn§4_;vkSm;y OԘ}^\qR]ի/N-jƛ/aS,I~\>0g2j{Jezr]Hrw,2}<riksH֧V^oE%fHw^Uc,i*f}5 p : =nX^ ߲0ĘTJN.2%/m~iuؗoSMjuWCEĎbP0G;֙˺&W#r~`VCjZ2mɪbEKa >Pi Go_pgY~Wh<y2%B~Ms5p0βѸ_3r|tfƑ/.ZlzR_Moȗcũj8m Ȼa'oVġ6^Y"\D绯Cqt5Ɨ8 Kb nYRH#cW"C< 3Lbz l9]kI[pBAH`'^8l1ʧW ~3=Ws#yqbٵiA%׮Uƾ-sW-L'$w>D{ {,+\"nZ<& IK J8+1ao$1sե\}žfvQ5U'y©> %hvpڹhW rh7ȭ@w?U}o8l~ջ"W  xG5 tji3AH-Vx!=bd9p E, 3W& O: m=Ԃ_ǩ)i3} ȗ*ԋ*mDcPע-5]uPbzoE?dH[N;'ܔcT\ܗHRK&=yus̔h\T5[-,Nu֓w& lfeMh;n7tC D!ߌ.^ 92:< Az EmC6ME\{& lvi(x©=/2 Z 'z6bW+]HЖ.**CR\Vfsʝowr>O-XKE10R̯6[L)g>sYld.| }EV(@u3m45 d1K>DDB {/\>mm#3$`Q8K"-rqdhĠ>bdOvzs&L.Iv%|6I#<C|n5`+,H~m hƖ̄Gw؝)K *K("AaO~aqi8U>chN,lִ~GgyD ;b͘x)0; Ll@d=7VkVK>ƺDwTd,, /4s\],9E2C 2* mHZq0JeWQ$P6B&QF"9Ri˩^~>i f-P.v1Bn>jiL]yM QNx;+eX^8jX8-ךAk0j3a4n@@vBd.e`<OA ur 01@Fva) Q*.&&vdai =6U$XG(41H=}<e(M BqYu"@{XY"UoG;_NX8,K$@g4L8 M {E:϶IEבb8 2dlAw)՟&cy&&]&VR$bDi&\3_f]kծa"{PN m?Hd_"? -ng;l'y-( lDZѩEƴ'yt)LշȌpTv\@i ŗܰ|4NLmyӳň+aC~#o;\+I[Pڃn^tp<-Sg{c]7q`qpm͖lFok+hdS0,/ %mP<Ǽ97:H̥a$<) #^-Б t2)wNUhyVE?].b~ b(đxp;) ^AP`VA4>baz,,Bu$2V:&,(*f XR +?LLX֡Bq/$t"ξfϑl|p꤅ nR /⵴ٹ5[ޯ Vm\ T«1 A^ST%=hb>MζΓk`4vl[W*F$+U-aŕJѭEawHb6 x Ӭ\]YzO PIK9`hg)u[;6 ok !=C9nfn`SSqҪ_t]y裒i.:=_(3-LoVļ^Yx ފr[9}TQDg/31F|nsmoNYL LQi(.:бTvrygwn_U=#njġO$laߡ<Ȇ 6Oig8B6 [ky61 Ԡ_.+eDqJ<&r=(RǭH?T~$[@sp~fmR-=^2}WEs.hK4+8e9TU1kf1<j(M/|'Ȫ'd~4<>0B٦f+nEDp'[A0&`&}(N3G,{{xTO̪Cݽ!(XG P۹sfŽI=4mF0]-[L^fJ8 %sA Z|G_ N)Ⰹ/7aDm2Ct񩐹  }0Z_6)$}d&PwAqmGPՉeK\LNᦫ }7 ! ZeU˳AzQ HXj\h Eu:LHt-$b@_J 3P+BǝCMƏAZʖ&NTZOU$f>DA^!LKV҈䮸?mDbxLy@20 j"f0G{uBL x`";i3],o}Hҙ gnR>8[ eL0PϕJScγ"ccqER!w @vRt:kmD>B\gyi0*%9);rdp9i@{凎m5)IGeTmvczaJX?ZD!-Y{EX5!Y]yA&8x` L+pѬSdYk!JOpcT Ű&2g/ <Σ!դ_ϼn6fjĹG&s'H 3vQ̮/&(9\`?:cms.V3C-1Wk>N6>a sPXy OhIj]L&Gƨt,,}k6l`Z Uebiⴅa0;Q M;l,22Ǟ/USDîqq g~,ad q'V{O_w鱫@r (jr/gie[pD%aRqp66wƩ6ȟ:#fH*x!]5>oHr=v&(m;"oR@DPvaPRNѡ3tnQ; oL}aMCYb*4X]Û)S\81q<^#+G=VUZKfe8cn)? SyS-vl^/bJ`;y |cܸ5@]4ݚ; PN-]^XI2-ċj]w*zlO6y6Q@­s:l@v#!ҰQ&7D#]N=3y:?&[ՌJ!>G&m=dNC㥯Ӹ򕮀2HLp׸Ն y!(k`eQ(kryV~v!eEMQݯܧAEyiL&mXZ t0#Ԃ638H}TDQԐ%!--dT=WiMbL$1Q))>7aR@TRO֓ɸ&c Su:]+ЮwUU=tKYQI0+u`SiyT6Pu3pX6U@7k61BP#q xѤjlĿkXV1D:KY ڲu`rˆKTuڦDJ .1Y ~o 5Fr^{3¦8B8,Rӣ-;e=2lŶ 7'bO\k/$ț@ݮKmM_ SG1 vp#kjrAmVլ|߻^ 3fy*/ZP1xy-$S +dR kEj!‰bAi3CGnzjA.+#֩U.Ꮸ^vPB4,v^C3-uOS h9HIF@ \dS"?“ě$h2=A{^nFE,ڎ ꁒ״ܳE4G9NB*:pSc4S}ZN)XsXx4̥w=9B;Ae13qExkhc* iw'HGM҅Oӟr=uo]T/{DR ce>f£R3GA]yO]8s#nf$rTT)GX'oKQ3jm$|j-hNuRpAz,yO ZXO!"xr=@f64qu Bwq5+$RU:0cBܐkΰ" ;zuR˃R|S+ cK'bq jܟj.۔bwLϑx񖤈Rq|`'6UZRi8ܳ~>Tyg鞋Q5\. N1qLz]@ۚZSץ>mU<9d;lՊݹiN'Ԟ=sG=C-BMTX/d|tuL7-_O#1Y?SleZ3/m0_M'_9o* J5xaՍKtfC!ۂl4 Bf׆ۨ {®}_4(`_PlD7 СuGZ ;!/}D驡hQz}xeZaECUOH}5fW[/} 'B\d)Г(w\71<*"+>@60(<" SH5,TMAMƴsE&,SRN*$+Q/h!VDY` !g<6ƐdN5/Nlx XljI94MgxRs":ta_lgŠi1gǐ075iWz\9^O|i֫M] 4i'dZ\N$$ !Y@~n,Hx܅%s x6-h#͞M6B魯E#5yDZW[)DPcK-(ͻYn8 :֙$h<Ș.&WE\?|? Zʾʢq]ۦ҂$m-3!qFkz3" !M X{W*g̓f aPR!ࡖ _2Rd{gոGI)d;}NnڨqJ4?F- QiaIAvL-q|:uS f7Z"6m7},2(3-??bct6t;hRE|XoʼH˕YNY tXjq@B\4p /ij]= ,Rj zG)榉._]HH_q]^Lg,9,jRX;'̱GH C榳VuXe/6Azvd *UgYZ X XW #M% -xgs~@S>"4IW'd c-sK7(ft#p~D.ֹxYĶݑТe5;BTVx]ϳj3LcҨW,XQ$|M!Pk-( Yt$um%D_dqdSHmr+okzu#=⟼w)IB(G{E™A2a֋*o{QT$p)8hZ@~ȭstWyLgX8 O5P%*W()ux5s' {bjBD9gࣸ>zUfDeo2}9wd3ϗ|mItOA@P^<\m~8. s/YH Wo*H|^0D #7% ,HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex7zXZִF! N|'O]A-MՋhvG"uIBm5Ē7hĸ3sl-do{XPٸwrRBXc<B_c p  ;܂-[[qڨJ#Raihvnb ǫ%sY ``^ϡ8ZtNjcN lw,;xVp䯨(9YC ZV c)5ڧ˓KuV5lNzp*t.4\b؊tSձHT*15d ]`o8o#) P ˴3?%%k6y}fkox ҉n{uR+etYAnhc.f~d;R&x`:Zn|aL&6V33 -K0w˯:R/li^+: Vza9v ҏ!:z<6*tz%'bZV~#fJ T0ߓYUA0?gǒi,tFZp @l(n*K%PZe:fȎۯR|̻+k0B/zŒGV)7eGP i .uܘs`|glؠYSTl4=%Zŀf R z6z4E|7~D(_:Ć ?|L6h\/w<4-i!t \]OF 'T.U @[7GZbBo.A+#UĮ&UW?T2&`RHkLto#nyEv.₥#eXEttM"ҹ6 f:hAt'ܭ%^^DhI+ЛnA쒎}FK*%FBnN{k#A;\)|).7;KBsc%P& iQk [ f}h>Kp/op 6?uצDHº3=dXqQc΋'YFqГ oCZ0Gpfqp@N,@?lW#(׷0b ǧmbC ei;ʩ(9BJj/gwӼ^8=Ҡ,W"VG JiV@ _.JI(_gOz>gPf}ٓr=o$95܀ Oww֜9D-SLb {%[{ HH "d aFl[Tַ!.LTT>Bp%FB"*:裘_"jMMF pzaf*BνQ\;OxШ5p c~L8+UR5VÅg䇏 0ub0(28K;fG ^L_4n(#ro0ol3@&cE]qP e_fwNL{ So` M`Kp_:@fF"z=B.%9W'A0j/CAZ3mg@0A컰d j ]s!VpSz]r+*^:o%(/o4,Zbh34^[`EE,:-2 /Di[@57u1'*F ?~ҍtnAm>RFN[_'ҡ }ԭ1NDOLڶ 67kO t,eq4RBzz[߆&i-o|ROCՋcTnGѧMosyd7aLd=դg$C4-hc2F*!(DW;(2ej03*m<>kIjn<05k~ #"5CtQ,~G#b)~Jxn4Kv|a4&z۹eTVv@"LAwaQ(DV H0Er2Kxʢ%Ch4`L`9,oݶn"&Yj.7q# Gk' &c1{2-<NƍE?ʆ4L2xq -Rs%G׏?FSmy 8W$mdWVJ *! ,=0mUxOSav8KǷj+q%'ώ֛vp\7HJ}.st"Ǎ_Q#0iՓ Q|2Z2~1GX T_[Se9*v*tOdfV8Rv"B_ vAvRΧ0$TQPq}%B"V'[p^.\Ϟw8ꇶJ nOj(.U;߸=UpJՂ.#,6zZju)B]g]-Ӱ:ńǑ's0;DW9[\}/+wJaCokl׮IiVst/ZQi[ 8Ăt=1qF4K+5^-hox<h< 3}.~cB75Zo_е3"V.{B{^L?@#^bn*N E lSJ.ߐ*ڡxmC.HF˹0n88lLnMBT޸j {_F`Jؗp!5P1̀T=6lAEaGP~k8.[:i"^z:/һ' C UwF곃MG`D"MQ cBA~/j7uKAZ LJي2,!:&g*2-w޶kKqZ$+tαsfvGS9/dj4ҀQ>:LqmB@9۝ 8insz"ַB(zNbts(vD7t\ZxIK}|'S6~{)ֽBziJ%rTdyڲ^Έ_x@_ʀ! H o:1\8@1馾#f:r̃=`w3&.$+,ȟL>nj{@4]Dp%"\8Bf5MΣF%6˛ V|MW2F*K}Pg\DUgLV6xets֦ksEdD'rSV cdQgbب} W$Z!KGGL"ʿЄ/k t\˵.Ng:"Ih"b ᲼A{d]nj:)]r.#\"Ņz[r@ 0pOEv1*rW7LR!d2# u(jߞ51`Ph [mPaǫ^b>kR>é"o79H1@xtXM!Ad<sI"9|7NG#W355GzItoԟ_VE|,-]l1tOP!2鴩PrU)wU/c_'g3Z&]3J\,ZkP7 ':Uڦa8}W0LS 84d 4{r-i?8tw d[fZWDe1+r'v1oki3VP&l׾^'ގkn5H:r4SZYq1qeP10MEY}|+$*i}B* UxcYYuɍXX?H8 ˦{.C.o*F*sp1A(f\ ,E2'f>Uv AxkLdRQ!?uU6M Grc DdhJN.jO^A@M* 597Ek SHUlv_^}PFM}LޒӉo1mwa5HNRZlQXg g=J/툝>QPo`K7բ?x TP+;A ~J8Mj N|z HWY9j$[1ERv t!_"% DsED&*d{iN$|/qvl L8\1+Rn# D.BIy I=.8۵O`ܢ@KRAa}NbQgP>Dl6vN&)ф5ǦQri^}5„*cp F-WN='SmLP;ÑXFRM+3YG2TETyʻ Q*^//lҖ@*B#YL0'4 IXb1}iJAWǎ:{&^WVf;i䵆,n~*8BMEe'7D{QiHJ~1u׹|t@rO+9-yD. ht2=4Y`|jT*@!_jɆP\_s~Hv_儠t1h`l|:s_^78yҸa[H-۬:o%c2/PX2 z'Sر bɝ11h$4`Oe[Lzg(e*<Z`-䴰Ӏ\V&K L7R7›)KO@C.QuKTȝ{ws4JM` :5-n[x'Ah~OfUIOsSϷ}Vè_a >mu'B0ns~7fsډi4.񫽣 h}uBCD{tXMM kie^ٰ`VjrY3kꔏ_~L,!э~ Ewb%5R+upQ/g2L 4@V_k"m5(!ū@Po!waQowr?75 ,`y)krFK)d*_?CMv83Zߪ{P8.g=j9q;ox~Hͣ ^$;y۝zJPůU 4ҽZ4iD6NspՓ˘N>POQ217ePvdzإGzq]ɳ*"-\%d Vǵ\31n(%n3~hi&f¹Puĥ AAu[)QhcΑq 5"OAe̽yٴׁ 縥}DWJ7kqA%>T'd7h?n=Z ["8(*dxi .,=ٯ N@,l&wi2pNV-w^`d<)чЃ?uapBU$&{oхb/eY2KCǧ] I m'wC,sJan)31uA+e `~=ٗK-`Nx@^2>iI N#o- (x_AJ%;~M4lD]$ ⿵a9WQ09Dz#0B6}MXa'T-.E#{wO8F9 ?! yvnwJGxG! 2:v=N  gYZ1u@c'G-9ЕَT$rSRIROͥ}܇WO6çANlY0ďih?৖NtڛiI`zN2NG8 z^Д/5}|Oj}vGIZZK޻3Mh?a/ey%[)bscv y~{}E1@-|Fꂿ~DM :*,U/qGP!W~5SJ=*r04j 7=5h=w!|qEDNMSzwԿBثEzV@u4 @O)1\6*4>FWIav8tC?5`&dlJ}~Q5or2J9Cڲ/N2ZST!YvuO|5BmTcVB~]+iMxUX=Rc6r(t16Ӱ^/sI¹&׃x j 1<9o77z(M8^_7}6R; H5T6A^!(%ᛎHVbeSdɻ`˭(1ΐ/] `c;h؛BR왷_ cp3QTbtNK'/G{y?-.qCNboޜ&;G9p6o,8Q>$uƿ5(v& (F4Hg=j/EEѥs9|(*75!RsL~Ql땂S*0Lq美`"vǮ򨉡y95UQF0EE)|C4#_𥒑zz=ؑvyp7! PCs $%uLq:ʬs:?9T 4 e)bp2quxKT#VNShG9h:'6٬F`sXe ]'?Ĵl&[a/85WAvz4jMח,H<0IwR[S)E1  sV1z 0=_Z>}; &a/M1T)j+(*j}'f )@JLH2]5V)Y|.kzXB/AM$qf gjE,kdI?pt{OA#ޯYTZNŠOԤcT9{gWٽYWʩ^cwzn"_T &h FR/p`Cg 3>T0j$i0=.Mm^QbTk].?MEvU64;pSވ PӀH&r TLf_gUiq'k Kݘ'efS5JgsR5X&[+vI lRˁb)j6{:'H<.e_|{Ak5&935yC23={!I^"yY3Ql"f'`yn5Qtհ Z?;{搩O'>w"SUeFzE2 ߖv{rڅ⛉؆iMX Q*X xivdͤշ1fX8x~1VJ%UYs^4UX>\0zU/dZG5~ FH`ìD,yEݖNRE/sVNlWY!sd|2'&!?|Bu2`ȿW~_n:l1O^dv`t6Ӎ$Ͽq5!ե d#/j(9 kx@";3ǡ}ca=th2-Q]o[ ౰sxt[%Tɹzux0D5uoRvZ{YQDc' K: E?sU^eTT2\g=#.E`+ ~FȥÝ;E"P]lr͢(m k[vɃ,c-YLA< Λ< z>y4{4ອh:dq*UQ3|=v3 jT4RM,d:r I<5=Wdd.LgbbJN* *RjwHpDzrɠYz#V B~wRm*dƙZ14ӣhbq3Mjh},`^[WN+qHh(:o-1_iQ\R S yq1vr*dt[ 1?𝭰jP\Cr3@1d;$]QnѦl_ad~ʰQ W7WC]*|N#oޙC؆DGɩ[Ju™㐧/o]$Ì+D;oEM XnfD2rF6bRWnۖ7Lߍ@W|}/Aʴso(arI %]ʹ33Zjvd#H1lpPz<!Ijڼr߰vh:kڼX ziwפbdжbr6hǴa B^tj;cÿN{=IoFB>8Th_)g&/Ղ찢K|"V.*bx/OUR2HLxi/Gn$%DMl7֛0Fr sX|J1w:ZU'n9w`YfcץuPH83f˞Cyw=/]jzzc|#~+RfЍv}N' i_Y]!Î3k% 3; wɕjR!,$ U!.ofۘjL_6ܯ6d+aBG' u54/Bv5hD["5cD> 4 }iiϯ ?”|k. EF" =̆o8+*pdemUaј"l)l^Gv]=jK#dz;@ mrl93s=ǖKаqA3E O޺eRy^I6{y8(IrdgVI \صͦܯܯ1AK v'},yşeӋB2AzTk2`#Xb\WɑO R4) 6HvC]y M :~d%PY_v$F~F)'ng /:Oޔ5qČZОEHoqNܔ* Mȁ2»0֗O㻊fR;=wG^ RD޽d;s$E;;a]oUiWYWspɼ|x˒lRK!fsjq?/fc ؑ<8͜-7"Yû L| hݾfժNIF9\J_B%IQ_O{ɬ!@^)ƝwL6oSXmQfz(2pZ.i3`נ>d2;~kwbrZ"fVj_l2"ă@3B!O &VF7 #>zK`ydm\KVSٿ^{h2H9!(JfľYm$M QhNws& ZP[9j뉖K'APjO7 `{z{t-8TQ o/izW}ZJù_c* lc0"7A[ҧ%ETk)]Qߞ>#3/,;nkmheoYRRZ"/B/܊R)U7L?i~..6$jo%]iˡR:{(fAj4d=@ǎaaGP(قx1 xR^,>liP_gh6KV-UR>;qSV  -,eR]P.nUO d?JwR# g|NPݸ9=%7tńW36=>Њy?E/rH2r!= p%4_\.'äzkq Bt\= kAjdqM*yiu}ׇv'8 mqo'˝{Hw }h1l߂tK`o2d:h g8ފ\a_H"F*8i41M%yiRssf .c<Zޟ (74-RsOU΀8$~-d/p|Be)/KFm`sη@I`Ԫnp[3 Ô c1w浓  REGR0?m~){J|q[= (-YFž ~th?hWzs,?oPU:F*RMw at'0K}D ej^H}%+ /aQG|Mj<Fݱ m;snYNu&97"[4>HAɤǷI[p7yE  uu q(ytN}Gp;9|:Jh-s Ev N`E@t_ưs;J"mF'H(MJٞp]z{µ)zCUR:z/ţB/Th۶Q4ﳺaBvBR]^@ EÉupǘٗ`G?!H$(3|%AgГ%Om"๻}AvV||&P<)"{uz+0M1AgR ѐ3QY8N#/lyvOaj:'=M&|RY9H݀;X\_^ai_{(idg "?|)cG&jo<K0w#AԨflE<6!U&ruSW38yH$j>x\ KR;'0è[3k0i *<۠s=C[/ ,>c:xK1͗?&`K@ت2̌T0*Q%zg^!A8bV|~R) rliqm#EΧ4{?nX;$v?ȚhY)X@pt8WU?M-'u`0OjX1'Xpywb!׌m-{rOf37e: (O(dy[y{OT0 VjJhJ˰EA^~'063pYݘZT&WxThjyg{05 l>:dBbW+}NKыld 7E6?#۹`fVJЀL H}m*QLӾƕ޲q4Ѯ~+ɀpVX^-M*+'!닸َ1xa[7n"XҸo<P*՚MC [-3%s[Lr%Chy1ʷ@^Td G레6r?CΛ 7K٪F:b(Aj$3{RR}j;Q+CYŝ vOPdUG5EKDF), d@Mw,H /֘Ř JUVoWe c8siϞR# HI~n\ăID|%[auWt291aH_L RY(u h?yS.pr'F^6K*J^v͇ ndGH$eQ7(~aKRa{nQ_t9$ĂZzG+F$v06E#E<(Pkbm"uFU 鏌7?BhϸgʬGm &_w j˧WZR}4R()goKk IֆfFP"!:#5 ) ^Qjp7Rky/@s\zrbl$&ӫ~UÂ8v3x)Wipe2WG*If jos$}0An&&Aw_XBneSdO BeeHo\d& E -0IR`J6 J76jpvSX[S~zB-{*BME ,nMKl$q{'s{41Ѣ:і^|Wڀ>3ìGŏ~~*M/*sLG#d/˷,g:Tu!M=t' Dp'~']L<"W.Av/GÛq Z<'`Ι zXiqk,/Ki-3@ebEFH7>I_>:} A)%s-U UñȊSj^J1(,Qz1Y7xĆ4;SUݪT \j_ȔPȤ1Sho d˂=[0yhk$ތW8׫ ]=O TiOr=#4E{9 PC?)@( C*nF֑C6-k$YoG2Y;Xr_G688pPicI f LUh%?+-ًl7E26<*!) gv ť.C!)Y-WkH:ik#QoFx?Fh"<2fl \[^fn u pf&G>';'GjWpB_2jFiuV:SWkA" =VSR7t2F<nqn3c"xtbڔ @BlAWWkR7 ttAvҾZk!ysti'Q`~\EOHf}Տը5sT:ůJi]ǘ{AيV#|e_8.®C @Kp^Tp➌OʃE-OXh1=T\h6,|3컧T*XZHk:cz&X>84oDjw`my؝$~4Md~Hs?sϬĺ0Pk&W":bfjej{f I5V'@T }~VQP`QLЕ",S]ǡ X$g,ns `R 6BZJ`5Hive"9(yYѠ7r3*,;_|&.YjƉ\ݹL1nzYHVvI6p30=ɒљ Ft6̶\FHlrbPvK1>?hDCH׃*^/GZ. kh:$+wYpޗ &3 ڽ%!y]blbK83.f3zm3zET s`D#2IY^9Jf`g\nKw_3 SO48<.wSqB3}v,c!f {Aȑ_R?69Tbib&岂geܵ'#Q&XPQVV_ G'49>t廡Y\¯] /鎃2=4Iօ\fo%\M ؖxO약QbجY2yT%G| 4ʓRv[e˰98*~,PuMi &'2+m(8JW(^ov8>#J.e(9: [$anx|G_b{RU1܋A4x䚒bZS_ =lPHЀypm.b,Z `p2. fR EL$qfWw&MFU%DL5^CQ2jy셯Qaxot_GMI2OASO9p!&~qM鹸 2ØjEhe}vNR۱|mF>im!T[ݬD9,ٳg[4"̫%5ײ)B̾/^_yT4,&}BW7<`(tgʂ8CgF%t\Yi,eKAJ>u?17rR?L^h(Rޜz1D̜?H!Mb83r$WN7 ~%Q R(N&O)}q& @D$ mOihRW2y?ι6tNxdBW;гdPg|5f}\m|"۸F*mfԕΕȔᗡD,E6U>yP_:\&'"\yx[6^a)P>xȌS1>:Gj9FAgzz$;y=pauٻ/1^ru:^72rckK"Y6B-Ѐd)50Nr>cDw|?Pê}Nډ"z`\;R/ 4A[k0Gϴ8Sx{M76sh\/x6Ǚ";Z NeXJfa8I?ЋjƶiD< ]_101~ tzC]u;ue@0Ux{}(Xڨ܂^2$,'עGk;Ό39)_p.2r@а"hsX@şmN - Q -+MJQ)/KR$ہYfpt::K55M(!֑L`F1c-\!JNΉ_nQ MptbwUvpt-2$vݧ\WԺ7Ch:s3sC Vu+nk?qz8;슝RT|%cͼcpӖ$Rz5i;,yǰF ^)&̨B@,4=8wls'(y@xm7#5ispSBΈ1 # ۧ(vi`H[)?)BM{:"/VU#Sy}Լ9>LV~91)V$Gþanړ94G+N&Xj$(rDH؇}.SV>͔ M#t%TJPgҲHYߝt"שCJAl=t}IlW\HS!gX"YX[+\߶{c]Nm;*+VL4¥ElQ[ "B}1f,9nWG˹nV]h&7 ֛u|Uv~A:^ƴ7sg5N u3p[hbԀA`N:a/8&I[5 Hm>`,%L-g)w;z^0FPQ+QhEZd U|Mu׽,,m}Tup<*F Yg)l2nQ0s~NH@&}U|Y. % n:v X8KyRWlgCQ$?ASn[ika}785x~%{ y!Wwh΅.binV:G*ij095ݶs/쓠ye%بu:GAKs*y .P3NNW R94甆~_RW*l 爇!ML-\(tŦكgGWj((BKK &i?s@!֏:Mk^0<%9X+/~(Fxp&pi},5b865ǰQEC l [ddzT %1p@2sJt-@j01=O-c X1J/'¤.T%W"εJbd:1?"O QnMl!f#R<ձeTʖ·ۏR ]i~s+k"\;|h`P>?LyITFo[\;&7,q_򁵁Ѓ^Y1=?KQ@3tK-;~3ց4ԯs`SI$ʭgCT^(aWN1˵X每a9.uc{E'I:>ͦ$F{i|h.VkF lGךPb0+b ](v\COj.N^@#ɮZ|Ql1Tf zZK0FHشA[ࡀZ TnKVUMx~"5rb{]cW^%WuXcJR=LX_Ihpi.xLKBSP.̰D#]xs;̺GT]zRK`JaC =D稱H _|p2Yњ#wu.$:[Wr'ohSOklcbJBg vLSY):g&$% 'x_w#%v }L^ :답v_p8DZUKʋtt f+sjS ` ;s EƱ.2eo sKYfy^.OHR1^MLWٴN'JmSC-;i-Qz^(y>0H"gGE%ό1{_nWН>Xl,R9T#PVԿ;\ ib9 ڟK`\0kw[i.gjf@SW"ճB/qb<(~MIc_d`La&ǻ^9 >Kڥ(PPPUFBNJWJT/RWQq-E j@4Ii@ڌnjzt<[ ;]UIāWƇ埇:qQJ0XK#vDM5uS5,;{v(]5Z pDŽGP1eSG Cx:pq&sL^ g*V<V Qlv)6 T*АAtJA:r 6Tdú<ͺ9~i"~>[Ã`5f_Ic62 fbj S()D0:!0cir;SrB2ޅafc}[ğE;iזVL8.RRS=%2o4!,FVDý;+ͱ=6?O U<()3C1cۧHGjd.9CΔZnV4o!]\Q~b&&FH͑g焍e{*ɞdzzpiZ<ڱqHXko#qj% WnLU>wR¶ dS^vjsb`hԭyyz..;rKF>~}3ѼƖؿЈU-vL."|?cY-;p0@`Eb":aJsEd]ks >.O+^Ǜf][)5Wau $+U0k#'tc'c_bc!0t`<4uRW w|.N찿їUk/0yN@'w,7/l3ĥyޞ" \7>vv!9ZEΠf«zrMrLHPA[% T|D]uE~ߔ4Cު(X{u3 s֑j({`i 9M5F [~ s6S>=WY^m_A|pwQ&P ɪp1(? {?eE|Ώ~]|Gazed 3ZݫUH/Ld \4orjuȻ^U W1c02J6FkÕODQb(G |7 KzzZ*jqSe6FNλ VqdTETӠ:j|mjG0TEO@.Bkމ #nlKp(2,u83$ + 4tDžְXyO|fV^4F§p~`-2o-ti^LH a0iGeB!kߩDԩ5E!$Utw2cȥݫ&#ed=l+:0xMTiׁ`HL's*|a_&!:P0LI۵}lTJx>ʷ-^Ef/ɿ?6@eqpQCb,$CI 咿@n*ˤxpFgm.g3ܹ=~2CĀW;{N~^'s>K%fLtK7T`tN߭NW>gY= 7h78A>7E7jE* ςٜCN{78]9bņ<;R޹W/#D$&^1a?HtU\$yԬM}nW#!45P;aFiƂ%kT6ï0SԠg<@%p&S 1J+A+~Lv#F=|>Ȁ-]pn%B:P߻*idlG|#>bI<|;*LHAa-9$\{/dJo95pI)WV"?eF*/h2q:ʀoHVjƫk5OwkWf$wj!vGbp6E"mEk I"KQRm.>1X?B. ;#-J*0p#~ A@譯P)ڡ{FTaq/ %ɥ-wd LxOj,3C@yۉL^}Zʑ Xv@kE ETg 4JA eh[yTVnK.&:]H'w,;r0B^9߲966J8&?#M:Nb=hWݣ<{t^Es# !>4m2̌q_yL!@b_r; Z}w;3ME "{FN!BLXdR2;7رd-(p>3a` cyȀOl3pm% ;4 @;"xuZ%YXH.,WҐ RʠU5վRx!G-!A玒 #^΃Sq:N?ᏻKGVKco?Q y-(eV q5AGj: NʳM‰:\y# J)uҢ,l@Q" Aqbd`J} #aF7f ˱gYZ5O3!D4XI}oTZbX2&rgECp.vTIJ9(!"Zy!lOL2JyEb[96&aW“r}uoh)>/c (gP`*l70z22ɕߑNXOTBᚫ`E{6wHRp>aZm)P}trm Dc7< 8Ax;8RiSC˪J"U#2Q&1ޒQ*VvBַIfp"-IBi4IF/7J|SlNS ! l*p?4g)jJ|,7}U[\d6kW)m1(45v@+/eHΛ ij.>Ʌ b7[EmV.-!W.K#yH{.Fb:lŁ#uu)Ϡ+}xG-%dyԡ$NCGֿ$̏| L:[B:Gc%tBHx+߼吵h>@*?ul/ SJ"i8$ j&9+Ut _@<=$_xpPH{/H6X䥨J ?蔼OG^@o4(lBwϭ&Sɺ 0zESY/ӝ́Lb Q]MfCҏWA䊭9躷eZ"~"81' 7n< X@xe9\J-TK^7l:$9繜S&)bM# w;*?' ߓ |SqѮ ΞAfY PKZhh!]T}T:tat c>Ix: j5K~84 zVV>cd6`XY(B\A0Pfq|z?qA+-/I 8&x}藕fx0W$0אLo0 ՍߊC^ޝv\ g+Dn3gjngNG񦴯2u'䟰~G̬Xb$XE)V1EwN ~kWǣ9 `0z,ω ' *i3ב~+$pWM DǼ/[0Lm v/upL0JQS_༩c11ʇU1I02*Ꜭ~Jm(PQl-f@k!8nqh7x YBldFq1Hb^#39uf# k{t 2G-EM?L(K_ 0Ⱦ]_N!BjbIPe8-B7~PQ`m遑i(neۻqsV%["/3e<}[[ym'L8[` mTIls}SE\d$QJn  *}"0pSdR5g#>WTȼ#hyN2"ؖGQKg\B_L;IZbpR4wc"8l[Ayr ȤzPvCM>/>5mZq {/ V2ZJpD܀Y݊e7;&ăc_X X>u)xsZs25-<%KI?Ha߶,y)KL{.N^g:%ſy(,HQ/N]M%3:-] ;B_n/,(Amr^'9Gk&h#NסJT+lE~k#t=3B+>W9ʺV%  uFiZf"l_`:ss!C}oKya&:CnUiW`M?+EcE]* 4hY2k8[#k^nz q_CVDq`j%cQc3W .|V/ѨLf>Dam\_ }*ga7G4'3؜*Z-.HȃE)W$hٯ <j}꦳mr 7Q,#/ {KED@4ބʊ4"^耐RNpur_` OP`{HӜ%4M6yz<>ؼ ;f4aOT%im(.oz|cקZN(+;O| oO [rzNuWHAy.LAWB {فVB렼ǎz9=\_\E#ʡHL(zN \jˆ-di%Uʸ.G> YJ2>VTw`K2C*oI! FAΙ߼Q }}A./*/{6oCdWzZt^O'VLwp"}H+(jru bkcLyrt^T9+R \ |ǩ0Q<Ƨyζ4?HO7H Sn "'ylo}2!~,4vN:ؒ٭Ɠ'Vy;KF_T>܊u zBB& c R߸_f(C[Rwu؆i ILKIo,?`~ɧH(NQk倌7e1ElVqY@b7f%IR*{51R1 ODܲLcA^?=k0Urb"I0?YgEf|"+&Xt*BfV\2ު[HنUv{l!|28$^1!Rr^6ukGźG~!9_,2i|2/5`8Rt~ֆdrNp)e$ݸd]AeF,Oۡo֕0á1%9#ٳցʅОWYSK4-mzU,[]QNQ*y58ƄGj|hsjvOm(^A ^-(sXS)BBéܚG (j*g _6ƌa5EoF57\M,q.n$'°3,ޜ!t-$dzodNII1'3CIEm{L&*EZCSREΎudhu?\A7fS'IuxqPs %$@7ιfu%s[_#q,80ha\5+e/5! -.vh'lVUs4D_2yo(uڳI!. [{VXsΨ$)0E0-J!š!-W኷Ϡ1<'A?Gbi3';(6M/æVӋes u?1_ a6Aҏ8Lxc†~dj/g^Bm}~)~^Bw:Ƙbว,|5h8LͰs.=f٧= h'C5І:~b#hcM*H; vdҵ!J3ǿ ]\ WhSI0vz <:w3H:d/L2Qrx@~hsyrWywHEwKf}|(xùA z]^QkJver_`1ov G 3- Sʤ 4\&79Y2f .H, pSTQIx>_G"],PʚhJp qȣmy2"ϻ؆!`t[EXĶ˵;-+ rt56Ʀ>-aĺ#41/N~>g,Nᠠ2~07A kƕ3m`/{z|v,8P8?yf\܀멷@\z(PecLx87&O;еkHV<2Npmc+28!dVlp@@  % _7FD2ҒZA$(WL]}BQϐ?ViM1VxzZNQB d6iQM1 D&?M%O $'L1Po8kS8[5dGe$["Hۮ9]B,G(Ȥ~4beM&/'&^bLWddzEݾՌum乛UDA| G|heI`;azb 1KɅr"; hvx`'Qݼza&#)^l" =& p;A[@f )h=BM'Pݷty4}lc0u&/q4 ˱%y{n{c){@]մ_5~M9N^.^|hVu(w@n]]dP$@ {Ą_A׬j@+8DD zT8>5 ?%G9s"`w|Sm(19eśٿ0w3z& W[YyZ6ƨ߼h>*75td̼#;8A.őfWD`ѡ û nx< (.@2~;Ŏ2V-*La%6@yj FRS?(9/Bf=bZpƜWȩ=E 5TT)ؖ sep}V׷8WM)w 299 -cH+KAD3vbip"W$_&`=yv\ kϪe "KńǢKEzNbGLBGIc(ACS~6tsQiW5>D]YK}tK C]BS-t/ ~C.<ׁajqP$&pX WT\S,:J$;C jģ_2- cȁ^$K>4`k. :?&~ZϱSAQ:}}RKKuUXMl^,+ذ,,0gHO sRIlNG8{DTH-o6MPT+H.,C]js& 2SQ)^0Ao*, gy!?qaCHǨ1 C)' K"NiR۴#,㐛;Afyѷ,Hn[[O\Й+ [C Q92$~G2^#Vqss[KXj0,.D@Zt$c,\ďw6aj&VTbp2w e:hX$oMl.X:t]_e؂J :QgYZ  # #N #3% DHOL-AlgebraHOL-Algebra.Latticedocument.tex7zXZִF! m%\]A-MՋhvG"uIBm5gbkG%sddS`͗_T1k|8@?f 5˰h0vBrکyvŅvB&/g xn&jP>gvV4ZFZ[7&my?Hi,SWXXCc&|@{*&$vG }AhJbUz,4^ms5y̔9S#R= _(UI}~n K@IL5)P>` HF '\l$ -LX|O:7w&7gVhI4PVYdФ@yz}*qkeGiok U1OE,_=qߞݦI)]s⏅2KL{.&HL/$Nm,O Ww/mU s7!3vW.ԁ!^fuh_nucW7![o v+u9wī_LGtЫbfG iDT={j= r*\tEwO5˗;fE@A *Ÿ%AΧqj{MOVxul01u/Y]qq_j`DCn&cpβx^^o+ZMgඌLBiiHzm} a(\NxKxϜD̆fی5Pـ*| IZ`D CGVRMͅC5U*~Xڞk:>MEX%D&-q)ᣡCǜp6`D^ӓ_knh2J 1݉dg< ~|- Nb4H'HGPHq+J +C7 [HȒoAp-+`oe#6RȻ kE{N]uDo@̬pLPlgF.^r*OEGA+hx*T(Jsذ#xO7.W48sMHˡC Cu-OͩI!q4F-< mGچRzL3<-D?՚ъx ?o:*i[W =Dm)nc0Of(Si"rbWRy-;" ^/ͅVGWYPrE?(Uoe ]лQe&̦~KE7+^&rc(ُ{Xh|LH A7fAzVoҷd 7 5bU.Ru՝sX2M9)Xrp,# -Bd%䆪Nl/IL1H)]kש`}dN)!U9y8O.Hughv-˳j3n?8g|aE` r]j 7v:#5L.EMd.2 \6|M[+Bi ZAWޘrJ wn=CƉxUVB&Bw=VyùE[4'g{a 8K;ehodXk:7stɀpSʂJg;Bś[;y+)(<^#f<)ݵ*#Ѫ+:u۝xL] t.lfXpbcS"%6,VI4hCZ6G)U̖|1Xm{oy7VΌdD R,^~rjҟ'q-)ɷټaSˑ~c1VF >]_joH힐G6?uiQ ]XT*o5daX4qNri eJVgGj͉9Z"K|-ࡲD:h,b|LIL[Zpcgei%N 1+(3"۬%gnʦ.SD68+Bԏɰmr,_aq"<3Kwg_cI ݡ[f`kvv\}ɻPhnے1'<ϖ&R)*izGOugu`|`rS#w7])~vz'E \K:6mEǵ%YMĠ,F/>-8kUGCʾ7snl]P[bT=|W%!hUh󹷌@B>"gTcJoύ"h[ #Us/5w%]J]ʲyۈn-}D6u"yr_jTx 7tnz{g*MT@4:k_`erB>g_C~6'Urh-z*֋ -Q$/HS3~0ϛҮY_=.֢-irry|tk*{@G5*!E&SjSIˆʇ cu_K65VyP nO45?x$ޡZz"3bNHGRgq,Wy[&pRJƈ0:H*]7;“|`5W AE *҉tS])1; {hOtQ9Mds)p Fpxsv{#HPA:wuJ !VAʪ1nu5,(קHQh*Fp:JɄN[w_aFe{PpJI,+ :N@eXdR\_cl.4 wG/(OUX4C #mYsɥĤI䱙ju6#NbQ= 6LgLv~j'aljg @ByawKmi1?y&oԤR\RQW /A2}nCD;s2 !0SRմxVU_8{b9}4U;="WDZPY`i3|.1 q;p6{Fk_81>!>9a5rʆf=1# 4\S :!l^di؊z>r l,jä́/<*4ΤpSA)/W ]&#L̫elL?(Wuk"DcϡEOAfE=>֓|G}!}>aRz;] 3c|Le:NtM"~Ot.qp\D_穚FBYJ>:c#*weATzܰYBi60jm"ȏԑ+P]F}I@0t-[ BiR.`ΠesVSw}eF&} Ba>Rx.^[aiD.v).Q"96x3ly?-e~`_nN)tHy`e^´5Y;YjTsFT_ߗ+JZ\y@7yIJ[U֌bIΧ|f5]ο7 +^gj a! (4z~~H\k" y2{J*[̺TD_]4="Y0Ӥn23F8 *ZU{~h@ ғwg9ӛ% ($؟-M]Q{z628'OU=VXR6he(:#bT$V$r6Nx螘1C# ]St  ]c: !h>KU~Wzn>ly$>9ANCYak9j~j4lvoe+<8-F|f¾M42~3 aV+NSgW qQXNW1' 8 ɘ-3 lJ@*`)wLrNXh^wrμD}X9ll440cS)OQ/+ƷgLmhLum̄tʑSPqSN`JCRK~3:) :Om2z1RQQLwiF9zYgc8i9qgX}tT_Y#U47Y֌Dត7 zA-oPO/mY{Q_"^5T}P2ON'?v%ht)><`jwNz="үX9k{b+)gT+%,#sXB FoCMu\'siѽ77)4xhOx핝0t!I+"QSҸa%7D_8QGa 'ȼ=( 2eFc&<ED4!qx?p&UTj)>їNƘ6<-C0Ao+K'qx'Ny+6tmc3 H^|)qJIMιk4yv\ gwvUNWѣ=ک%u<3t-7Pu+ι+WLR2ޚdӴ߯)o` m$ rQ$䂴qOqaL%ɻ6쓩r,_ բB> Nx kMC܊<,"*v̌=\sHEZG"gYQnH(rj†U$= :JIlR 7 =U1Fa[dx}0k.oo1m <1&]I5VaMICRXvQ=T*9[UuМ9w t394;ywY BLHuuq0fԿ}UOƲs<[0;*_ |m_ p#(OSChOREs7+͕hY,ymlf HPilBóN\ 9D~ Ӏ=~/yjdˑYβ T85EKR~]K ~P@/rKvϸD m“Pq UDّl\xۢSqvGx6y=D˔o3 S %x ~VN1;dXUW ? ֵ!/-xoC?`؈u_zЂV l1'Up?txA~)_FqQݲp ᛄBc"DQl5'0%~cݵGq*8R-R,߱"ä䮑>f$ciCzzO,U2]kqG[cxj&ZwA7W$لJcobm=_CNzNqo((jc#/{Ce@a~X@Y CY8{2j[.piz_=f+G%6vu˭#*A螭ar"Iz^%@쇳7avG (1٭GjHi᥀^ +CMYYh,7IN+a0UN=h~zCX U P9{94 e/O7ge-j4yy'Oׂt!^ǚ;lR P+S/0/^Xv*quQIűW+"C>V35 ˊhcԟV}6[KٶL16kvpZ;w4ӮcgOgt$]l auАcFrP v %|uNwTsK9(DY4ܚo{( r]\} b^I5Ms(v=IS+ wcpn UR5(Ӌ~!iA.wc頲{YO"yܷy&pAV_v-'jn v i:sKwz,oeOd3MT$amk#\{Ƃ= \OEބd=CnfUg|>0DC`W=SmVk1cS/JCگۣxbϰipbjDǹ?s!ܤü-oj~^/DvP ^0 t%5Ö jA.#zAVċ;|0}?\_= )avt\-Q F;{q`PyRAKZZ1pꀻNJUe@ n]! ~ 9ת@>jIy %g6z)}5 P?z'Wr)mWpڡzjJ 'A} YhZNJiҕkQ)E:6}-z0ksYem 6KƦDJ&lb{66e!sUWfkgQ6+ tdj :^Nj?t:(UC{`dƗ#sSŭgYZ  #?% HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex7zXZִF! $]A-MՋhvG"uIBm54h l@zgѥv#j"tG%r`^AkMn;@)b]ys& hko/|V gmr8ҦgGVbd+fdkI8CʋZA;dCC-tC s}ł҄h|E<9 hkg%.V7T &h}rA.\}ƾ7J*LKS[ZluT0VӔc_ZO6<3B^`(eى`7nә+ico'f1LCRc#iq_[E+:>Bs/^:*Qk KnHh`2Q!ռ&AyN~\xx޾Tesx?DE"y3 - 2O-2E'X]BWkz=\ /͗ U7ZԨ/L[ܱ. &C|533-ޤV^Ipo9|ONJsByJ#G:*..|-Q|#_#tQM4j`%)ZL_8《)UؤHm;.+DiHWUB| ѩi>q]%@ i徛TǓN)v&~`Rk~ ӆ)a,OpjHg'ט+9n] f*NHO'B+ptP &hi6쉡t )B:ǓkMڬEV:.23Bkߥ^Юc0Wch sjV>9sLO… AL+}FL !#P>Gi#z΄C.#&T`ˡ[Z86ɩ,BQ7!NOzdsz^:_ﱉW j-fOJo|*9g Ū Y)rzK)Aȁ8 ۡBtB,$1!8+4r@7 @Kk.AsOLp\GYrZ*3Nn8olviw(+۝O'9A5f~jX$*'WT(+OO7: #/% DHOL-AlgebraHOL-Algebra.Idealdocument.tex7zXZִF! )]A-MՋhvG"uIBm5đKU`d wbQ/IZsl%P$3BA"Q*@;!<$ bZ3搊2;pWV+LuŒB~źNӾKڂD!4[;<"ɘGk l<Ǔ+)U Mx0Lb~r* TRavɼZvG`1^jL r6s`g̨[56LUp_ZmS]3XJmŶmӫTs$9ow 1 N W/~*зH](S}OjgP4R:y 54Bj~BS^绖]L\pE'1oEn4G<*@ 9Х"4m P;Yu<Ӊ=rnFiBG],LpڇgFt4\mb5_\M~'[~CO?3’6hm.n|Ko-Q+}8xE&+OkwD-bRu'xIM)RSSNnY˨,e٣W6.e.J~]T/@M$\ hx+G'Iŷi!3'R,̉. =r`b;[j)*+84l/S]_z'~f!RkuB4 }4Yސ33i-s2sd%aܛ̝*d xủ[:E:vBBcrd!x̤C$|\&!]TkH Xt[)tZx 27UD9.,RW ,w ot>7/>u "UR)~/[k240^E=),3ї`z7M3|ŀ$pB2<7 }v7^QieBvU:T h]nycaiBq{RZNQz x+ߛGot8d%{΢Eٿ}ѪFW!F?A#(LQHF&EnwE ͓qB"DxPT˳iߚݱogb|mxPCI.SR0?/Z/Le u'S(|> U(+T[!Mp if2",'Sl " IHbqTq8Wqy7k rBS3 %6-$8K{v2MU @g1wH.M *.֦N״ظzqwv#Q +}5د'OYp^]t6{YKsQp"k{>4wKyuE bJ(\T. :XRfJG7%"@ @|v;4I!wmBaf œvo{uFRX{Y6E/s*Um!J=(,\~)f9K-N! LFꔮ6a 6YۃI6fT)O@&Au(>fdQs==Q ՌBͅdPaU'+Խk!8yk=SH$߽96a8&ً:xKBn)L \\g(O#?vOԙ2,8 _*s0Cۙj%tk$0B,cAeGJxnl R. fo%撑a4O I2gG7Ε:Dnmc,čWز/s7V#p7#$ Sl3karfivs?7f1- h-n)kEcb }ذo:ښ"?CiFד Q2#]|sY8U H#h;ñ?(=-2CQTVъ^Q_ʕp\>Dq #bb?(4W`ŚL*M*}ݲ\y/ҎP ݊PGN"!6" :5NߦHq'7=f{M (>Q`v2թ~U{<=:BNcqjGs_O<' 3&d)3kXUIl`+HBF.Yގ.Edr y{),/9|%bX<7;<"d):O %^=m6YdrD9ӜY 7c:#@,=0_4>: O!wˆqoӕ 32=Sr7/铔^E%!vˤLR^_"\mzҞ(-G*YNyMVF5pχGYYN2r3aLߘ/tj:<=k+G ,\婂بr:au? 2LΦL~ygXׇP[hŀ4Xr9KH룵0􇒱haJư؊ނa ="Oei*r^bJMO28=cD< ? )"9=&nxG?)'RM/NL.$= p&f/&\ViK8$""0.ukUy@ofL~2=\Le̸OwKݬA+;ow^23똖9B@,&?9|7u߿m6f778 8]bejԙҞu&3 jSDRiTX@iuv-nddBVd`Yv񍦞`痄ѭmQ Zͭ:j'ų7cl?˟o$xA'$ v9mE5/? nP'2Lds-|3+&~[B_]r0:}430)^Ϳrjo3<`zoM,h\=Qe-(@7M@mH\c+?MA(Xm!EZUJ5h HvMpL#2k5<5ѩ''S8Mv#?yz4Cs'ÚSdEYm1ɴ 9lfq߷7Vfӊlo@MAo܂9i Whtb}JMh@g]r՜š`os0So6<*W1o{Bl08 X\ˆȬUF*lܘBFX<ϩx,]2F}Ļ4֧|R r꿷&qp=eX踳Nf b> E0($ZHٶ2]!Ъv]mlrrߟ`.t}A D~ђ23+pgRYE(vebCnW,/U&ސ)֨!azԟN:T[5r߀L*{/N<xi|1T -yj跊޹ vE 7y"yxxl;E|#y]{JmI^+rߨCA` /h輛`]Pd>&^ÔQDj>-Klqu!1!ײyU~U~O#*/Zӕ'nЯ #L(ikhbqhy#.8?\I M XPGkh l.-Hhhj;qL">k..~#)3>cOY']ŎH'NJ׀zO[n}M(@X7L>RiwKyv d*ŪX3,H9҈s;s) m/V8~QTx TOo'΋TEGql"I2 k!,Qө|[76]O;|R"tyaO!Os_= FyxC%znnqގ.&%Gx[,L}0h;,j?A@d=YΥ8]АE˺RG%O.&rĭxx1i)h-Z>KK ԥwO?S *+d-к..w8V0 ץSH%ZB IwaMj LyYL*g" ~܉m;Is%>Yk9/8ITd`Z¹Sh+|aف!wKHAO{5Ȁ[oAF=U7˨3s2-?yxHfpG M¶8n5,i3[jn'(yˉg^tUQɅf[f% },ݯ Z%+Hq3{%nK6fR8۠KGnOm 2[3g*u3;Xm-T$4, KG\䔜%$/d2`siJZ[d ޕkƽʈF> 2LnAĉ jsƻ$خ4$/ l.qfܮ(J)טGNgA .7\1EG,{>1.9TY*,^FWuzNC G)XvdtSG0+l M2W >57] sؚھY!aMLk</`·HrՔ#\ Z{rqh[WR sB"h_Ww2N 4M,ߟxK0E3pRu*%d#F!> 4̓3F ]LeVWX2 ѡ9زKKs{* 7wTeI0+g- =aTsݑSIJ*6@f΅`s%ٕl\+dAtn*D1A"u.TaGDl=^z5DYjO`iCO5.#-^U}N0o+AY5yR!.4yG} O`9I 6Ox" |$"><`@ ztƩH9й**cb=ҳPAVkӹ䉈j#:Zx5o7:E $#*Ժ֠o>}8V7U0bSTUȮl3 #KWGuGH;JyMG]H"pyݶ :p4}/'W)\1p?8ϻ]e^ؤ/h%oXS!tFZCC0Gj(tNvl {фGF;|$Կ\׬IwZ#c_\m%s(t}W8Sr -A c䘵Vkc6G -%='d)秕2J-kmwE|L!sKqG9L7Ɯfkܼ%kVdTv+fVt~&sg B)Jq zu}4Ss\qwyooDΥ&9L` KE.N>f cT5~Z7#m8\rRQW{_ K,JO7 !'=0ᡴD׉zBd8􌩥=~[sK݇dpg-@wctQ@5v ha!/lu $B{ Yx#!ģ~&ɠ.<?=jJyMֈ㈄IMwWdymJuѻHW迗8b)Tg _JJdvtNmg,Y؂2KX:ѢgP9_Lfnʠ s !#,f)r9yu&J[D!NT)oxSA!BxoQ2]z]SIqI1O{{V Wy`|kɴ6}R%`ZY"f PU16joHDd&S؏ {؇\0_7;>9 vt1o^hWOG) Gy|v+6ǩ A ;j\-t1jfiçY6wu"ДRy!=oӒqP[ܢxs~>JJR¹%<HQAMUa;9G4q_L `{EVejٹrWDP`bS ŶkT[5j9sPᨔul5C!ְӠ`M?P(R9v)DŽ|_ {ܷ+>(mOMWݳ`bcCb(?ߤV9=qn'SI3! F#5Y3h:PBBw`BH147En"ZLLP?>ړs0Ŝn%QXXNwYC>Qh ]T2@ :%L\’%='zl./ɭq6De $u϶$I+ɣ9 Ї@_`YPGӞ}_sTO䠏| vFz^#(Eю(Ak*2TEߒP ;]j%em3 }# FYJ&܁uGVߘQ3F!`sObs{YM[$9?i Ô=RAVC5 o!~uJڭFvs<خ!uƖ&I77O퉗dNt֥Xw"$U.|#V >E2A<7KrUOREM|Ç D3YN` r೾Ȋt48^IxL @0Ӵ. /Gލ?tXƚIrbR'˔m TD.<`P'HN' Jbr.T!{91rQHC;( 1_H_aϡTOy1/["hIGdȪ&OgG~=%gj8a Ms_w  `5IA{sv f$_+I>)jܝ'rSTm{DdN:)-}pxgj5]bڪd'!lyYC0Zv>ijC%Jչl#KRTT)w%}~v jCb4RnMJVᖘa`+-M1)׀,k+j,5 S{8gϫǏN~:- z4A̠IYBR7EʆJGBF?[mT ϕd2#lp4-dM z',R?#L}*Qh"1j]LΠ&5&hWf(؏ւn)ZvuJDڳGU";N5^绔}M#xz+VU@DRRߊǵ'LF؇V c~@gq] k Fn}]#Y FS-2J =IQ"aέ Mg'ٰ'%ftz6l#ۦqokV=r:|H}ʛ-Y$@0Cc/+2X|Nʹԁsc}סha槙?J+ k1Wآi7op&7g):\S:ҒI&9 '5cjk:c]H+g>+cn[=])Τ過{ Es:0tbЖ0CdƼ0NW"?Nܬ/˻9{!rK?JK=^{؁Iʐ`iGl3 V<ܧK#J@UR un:xY,SƒK,=CiOrU˕@H1ZH%nGvzr `^ -0y`s L04u;bտ6b^+zWً>Vy|Η6dFwԔᅱ+87Zс-a ۣj>nljߵ뺯9M4?{v_ һIJ%Ghc/[K+>T ۭm8ںC_\ ғE6Rfi#"~mW?j?xGw-168t>IUxS߻:N͙[Hn}ǟKrn`̊դ*MdE`}Ӻϙ&QTP9sa&crǮg pOKsE0ʶb9)}7Sv "|EqQ_ ҈}U^®>aWZNLOG=d1-`i?.4哮eM\cʯؔm.U^Rޤ`*vn=2f);|A_JKm囋4$>LקhOTmu9VZ> +f"N4;_@i={.-0$L7dq佐?vyjLrX4 BE*|"þLzqh0-nӰg*<ذ{1 GSciK=O#j%Cq$C N$kA|#j|ӟKB'IfñgYZ=AX+p(]i93%u3EfQy\"mA3'xKUﭶE1S}dW'-Nm6YBhJl#uOIZ]d㺫ӺM&O)|xƛȎ]oY{ZKȬd Qh40bS+^QԬ (1OE5 0:+mc-1)" :|"~sZH+9"3:"$D*QNgݫEN nP5XOgEW9#ܛp~1 #& g/ !D s 8t`Õ'^i\]!*F/T ⌯c86rlz)rF(/2v:& ń隷 wI~CӋr/A54.)XR`δuDOǓܫÉV) z0j"n ~P{8La@$Ua0| ;5j1L؞ ޸8:bbtcC2y(QXWyL PX곊OYNxmHXjCYڼ mᴀXceCKPImkM+F|`bLgy^]AS'Z=3}~h׀JEzM{Q:K.Fg Snb ,@|ebE .ZKHrc~Br`}—Lr+c4_)|`Z^L61Ccj[>̲&EQ@8l\CpOϠDϒkQ)_P'fsߩiQ2wSKŧ, 5wG?^S4|n:LX2Xv;_l}́ޠ5_ F.vuUBٱ</vy\~D?ش9K.]p}}z6w;'mV7TɊO#pө]^M}z %Gc%MUL7^̴(윾lpȬhG@b#z` sPv;HD?mրn^KِNc@~MĿzzGv/&Ads=UmGu8kp f.^ ƿJ`Ylr'6 D7+Z)#7pƘ!{KHP#ؖTgk@o; &"~[Lnر$j3ؓG9Y|PK46<@J9g.pzyho>z$r4 (RF#yM~h&>2L/]c̅%w޷dF$Px2-~ y7v~iF!W̴M³"96j׭y} i֫O"m9^dPo׼sU ׉(;NPՇR}P2R| hu_䂴Q77t ėorKaǻBL@/4m͢)=6Zδ;e#1+Х |:<~=;;VLB^a}Ȳ_ĜhLx>2~v^d)I+@;CȃH)Dn|ÐMD`;U/X"3^?S/393okI,Qc5jS@ on3 9n"C,8qymax)|DisgciAV%k%W/\\Xid֪g_.ۜo`L;IK`TK|rZ sdal֫q i9+/#aߚDP3H)L%2JPx#y$ =cY5EexʀZ=lY@(M{t`G!Smoq U 찰6M "YCԨ̍4B?ĬSUVcM'4S0qؽu]B8Sr漴Wʔp2>I{k ^z%>DKvç)-|k˞95E㭡G&N׬FtӭפDiTɚWRosFa ;bv}c^oo8CjNRȫ|8N+I l;sDTS]4:oʥ-yb1G|%\{ngQ;cmcAv_nnebוhn Q/K K6e2IӚ{WEo#Cvwϱdw#΃##Q8衦L DBW9n61o3Ċ9T`$ȁ}$=A$ 9 QU ׭ wa37OѺ E]xC_5qj}2,ŅsbV.;C6_LO\ˣx*eصJRL}1'v ~e]kI/!mrynss6C~;ݱ +}rgXԧ}?,q36Rܹ #UI9کnH>=po:< c9P6r~!e4z ')F)w[oG'cJ_`s`uGɩ6P52vs"|y*?NDo^rjՇDq{7cJ|8+/?ACiF@?YG I? si#(aT։vr}ŌU幙{{LI<iHljLXW8½ǰTBoD5-0.󂰩8vBϩnL ~#~P!9qb.8.W91N|VeAx:wgLl~OWJ}Z:#'I+5XEr AVkxAs@GOq?;ih8`Ji g9[6RI7;QāH@'Hڙ.Ф3*;܇~ KW:A_fX=ؒ ~H^.e}bal Y90uN?)<$ %~ U!,P' r;fէZoןemSMJւo6RH߿**/$K?)afBP@F }bH ڿz<=.ZOȵaT-Ga tKĖoedOd'"k߸'`(ʾy|?dY4/m~LWD-1JYvEMh6#J1:˔f2n0tN(7m53$R9vkyV,(ќ@#c.AJyt8To;0HqFZVp6awkZN+,DK@* 2CqCT@'Pf!LꋾܱcX&YۨdzVQ~,vdv]gӡQl̠Y](]@^P-d^"#l)/WΕ7ղL@6޻ݝs:{Įu<].l "gu1qkI?sd4֊X;1AW׃_ɊUsK%W`V`E1 _.}Nwk< f><(8O(Z">;Β1v 4 Uc$3:{o/!yGbA+HNjT0H(?4h>j36.|60DG5-n$CAX*VB"+(F`sS׬U@qGj)zUҤ L^##l 6{l >|Wf>a"+IB1w{e%L!dmٖ^W0[ɾr[_S_d3~GDJY3,%bGs| B?+hxge覕|3ڍ>bNR*3zGށf@ B7b )Sءs{ P v-@k ~dsܚ_@ }JX(@wP-I _űfivp 47 U,GUNh\d|)J$UKkMC㱛 ٱn>껾g8gg/q`iִڧ~qOijmB+3#Dmsn^8i_)tm~|R+F}I% #m?76.Iez\<$4EKK9:d+c cx~1݊78{qHX QQ#7)_;P:j]m;4嬑:㼻p=DbQeh!|CK8Ʀ6(D=j*\1C$<ȳ㝘h1ʙP7$n ?3kdY?rZXSxE{~cz6T<ifSIN(b1Wȁpu6Y˯dx*4Z! ,6AJVuiJ%}1Y C|ҘӸwt|X G)In-Qj#S> ^;1 &aF]AK`jYɤ = d"%B#8wՄdܦW:@)V.^~xk5$F5XKZ=с7c|_*632|R+m}YL.3.)"HV);}In?Eˢ W׸rѢ,+3oW_nJ'|Xͫҗf ^M=y9`) cF5CUa'FX1vvR>Ez7d) _1CGO!xq={M5q{i{I@SWɫ! }oc:S']!Z҉.d͆,?*#F?bEyZ|)ֹL ӟ}L?2Z1ZϯP뾚 Y{1* 584{Ng{M[$55w}2" "YzTOcQQqBqڶUSJ!ۢ)Q'9+8G?ZB b1P=q?lzR t&]óuW|02C gaQUlGn6g%K紥3aW!]|WS,`J iks^?~D 7bH59t:aOVt<w%X/ 0 /tP-Fw!<@~eTAo# W!SRCoiϭ(PrkN@q.!Y \Ѿb7VF~֙"eٓA|jFRuю8OKɐQy:#צt -;s{"gp3!zKxH͙]iYynK~|멐#"4 ;Jk/ȶPk/C3^bnE0'u>{ZMϜxSXPKp6La&kbn#vC%ITI;L^ue&r XPL! sO7l8 ,PYFv'P:;08RĵkN=-dWZܜ~{%b6'D%! 6C'ɫKqKp83WOŖTYr_dmme(@`ʁ F=-G;]t!G95 'p z_ݥ($(r)ǟM7g_y&螖x꣩q=B`sլR1]Xzɟ}˒v$>|$+>G#G% $HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex7zXZִF! zL]A-MՋhvG"uIBm50LEG=QN*!)&7Z=r0t7(JΤL {45Φuq`_^Cp-ie6e-xyVݷ`xoEZnb;$48DVlBh˾@s[wu"Gы55;kLCQM0!7f~<8e_Fk'R&*G~(6dd?#p6Go뮢[I-n,k8? j#1Ε`1l;$H`+-P#\Xb%4njF[WoZ3 PK$#ȳ,>R!(ݒqSc"K:ӥw &V7SO 2[N=w%PJ=w;9aU+釄ڊ;|Ŗ){^41Hk|m܋L#_ Ե+UonpV  gf}P*e6(_sl1NJ F;cL'bgVl1!7FLxp'IdUF՛<\ NI>: 9ؠ~# E07t0gv̎L}9zLKFq7?9;0AjyHt246rU¦UC !̔8հtCBB/hojBEWV<-kv p{HZ.m49Y7lhbaٔQ$se&yHPi+]A]TP5ga`N җrrh̃g8LZgEozuU#c}ZMdŗq Vۜ4s*fnh@vsGI`Y>Ni䰐s*K%{:ou>sDԀiW2uc JkEK%QEdDq (ǽe#6EY1BJ,RD"=ږx_v _.O1IvřXBDCoց {G\̎|r]V`lp{ՁP%VƢ1]‹ܱf%:Ё4}-9jK48^'a 7bPkaߦPTmc}yfㆶz\Q!~*E|U;AVb8F| > ׯYIM)Csh@^+^oôg|B-8nlqA`Rk)@ C)bozXRz'\R?O -s=Myl}ڦpđN,0\F Ȉ'.Ss( Eݰ#6j^0'8Fs`01Ev=J'sglY^ϔ툇DU$ڛȂIMxfK9E4g:㺹,?|JO)q%haYn }Nc".+ᑓܠN/d"C"}cX'(cm͗RAT$-,M9_τw sG8TEi@y&'(è3wQ}NX) (Ì,>^V"!n(N8fa [dD; Є1RXdɰu33dIp+RIu3r3SjMj7i ]tu%ʲtyB⿭5HSP8# #ElX|Go4&[k"XT:DÊ}z^ 2[*tIyȸ{EW$A&D}􏉚)r}ѠϲFؠ<]6ځ@y%|*]^fh+N76`brFt6~z wA nqFKGƿGg99)=MW4y\SgҾcw؟ڽ$;;Yc~ㆫLorCڔbjBDzZzrjmR<6Xz:!S, !hnRrhxΕjvIozM\*+Bm t|^ ȐsN UVh0z2ۮ[l7̓e-+׉ͅ<,|3Ys0|-7_ a0c/E۪O6V$8$РZx ?v/ pLR~wJ=荅_{qڣ?jR{& QZL;=?ɫ*j"i:ƀ/ 8͐45 '⡢Ogsψː)kt n`x Cl|ϵ@fH2~M&8A<ѰNaSQQdtpC *o# ";tBt즂bHַj8aeJE,| vj/}snNJ/(t:<<d!CI~{<:dTBB]s/ܦX [@UQ7*-#?B QeLsv]h{̾Ϩw;C3.D 3ZE24OUkcScmLF%GF~ n4MLD9soLg"SsQ3g)A-f8kP*[]RNs&iS'xr(};D xH~'9(OWv~ ֯mP?tucpu Forax]6&D xҀY<ѥ[kwyȷuܐdx KU cw/29$ )0~%XVNA?[K1(AѬ_-yvk{ՐzOE$\\P*$2S)Wt6%O{)|ORN6:ʨqCí6dg@HI$vMxc%ȱ*+il Al[f$QwdVY}Sӭw_ԺQV<3T6S%OVlc.΅0RVUttCB$kcT:E;+^qvFKV*W]+ G_32^a9 fLS LT5D2x-!h]|ߘ4 ڳWvf.3U0mn~\u/Bu>;4l Fɦ5v48z9EWلQYc˛T9?*2$Mb7OB0z8`"MgCͱ&a]bO.e+w.r#j2I׏AiU伬) 2k؅w>̢'KE0kG_:'u_h/gܚ#ZAi:FP1]2LmK ꖋ?]"`ugNtk>N EXN>* ɁNf6kZqb2$FW|Tb-헁΁Gdzj)(fsBkyL/ځYO>ۛY*x{{t-\BT[FHGx%ř=?ҷxO$5hn6+rk1Lt%lVWSlO AO-ߠBZ@V@LDi M|,&Ur,`c%Rjƥ Ġ`I+'#`mĸ7Iϱ VZ244ɬ@w@lMG85 MRc܉r&y*7yñYUPG-R.NA Ĩy9XԑJ&:_Mu!2 RO OGHI%{q[K5USjVpSh7 аfH!~JB&s!ngR471E"oPTIX@3v錍r'%cWWeO-1K6UtYoEjGX_m ?ye;8#:̫Y|8~O'l]{)xAA %BM<|+Hxl="O\m7VϬ`O)1Ϡo厲|aO4 FN]_ :1&ޝaɕl̏v3ȯSۓ )rJqDwH͈6WWu)lih%[eDt%9>NÞa vsONؠQe7qBM8ꦞLjft<Pn'6T*_q\A mWɬJr.ړ269O&t#fywhͅ/Crgr%c'O3c7v(6Er> N9xfpd;]y͕yXJұs(8rX8 Lb6k—* $ Hi)`O!1hH \>J8T]=!V?Bߧ$K\얳.LLSuٞVCy. 7HB/mU3Q_r2f6|L:LnbTYۏ mRZ[4x PiJf-]ҷOoLõ'\dann(Pc^~!PSSW]s/x4;{Cp[w<"٩xX4ku'\U jrA/XF_* K frP*S"Ns; vZJ ]unXki[³8.i)HQz1t v|D)%q틟pI4ƮD+G ^9hu'}`4$*NX#9PUw=eL#mk)ͺ&Vll3y4mQ1J? K).NWPl(T|jP^.ο'Ȟܩjk%` u76Le2o@ ^,)L8+Ŝ#g%5ޭե*}pyh i-n>DLٛ˜nG>lzF)/ֹ2 k)k`n~WaJGg IE̠>pp-3^CLJg|cAEdj[XϚ .T7PkN[ 3So]h?V{y:@Ei{6ng r&!)غBUv}P)n:u03nJV%{t@Dݰ-.BPJÖXDhZIa[¬nC}V.+DmW%F\gnXf%aSt8\_Oڵ*?ЯQ+ %v(qp9|wt"K;/9E"dyOmB /\pu3eUIk;UU%s$ouS}d#m 1&7 *6н$CI| uh\_uFu: JG1(#${V&ֵ LP[,ULóSхWQU#Id!20`iM ?ʆ4R8Mc3(ܤN~.MU =onHg8lB3Ē1I U{@=~?^ b4At@ ;Ad7LV>"_=) z$xQ%jY0qqKVE fc԰ѥk:mG4ascsJ*+T60}\F'=j&4i֕J {N;#YHXƗ\= "?GZtݐyqbVpt<WԦN}FEFW:+h {dSxF򷸼+kڢsYci"dZ~c5\"J z&ۏWA $~WAȟ>!/.gsFq(z캐7TU_]wI'T(Ϣeݡ`ϵ3{A$P,ѱ|,P<+Ga`}}Lk{f"2rs{rS@*{Mamvp#?RM"vߦV[(EctPix)вP IiV,R5-z^V :a'8ޘ7g!rNsc'9!k"@ɞ+Z \|?L,޾gڄjXH'F01&9k)mٶ~jy(3$1Ų ֽ?5ǖ985(j1=碫h9AbhJzXw;;>`yyP+;&ZM$8*!Io6xw(٬t#?O? Ɨ R{ާkb 堯DU)J{N)AOP`A:J )qh5ڋ L'JU --l, LxA iwyYz C>O E{JE< R3UdpEJWM)ӄ4"mF6w'w3uev*0,UkN<֊8S`X!VmF"׈+ .JQM`eB 7f{ҏj*jD]klUoKy#lnMٲ3Λ|Mh^x#yw\Wy{7tJVV.@C68$6n@Yu2:~zMe\F(Jt򁦖|?=D_ԐX&z}1&_ä@z[l({3t@u)\5`̱̚e+GLc7?t9&"TT[A[:ϵ-B@6ᠰUoC+@Г`T[9s;S,θ~5݊9{utQs'˹am ^ke ;?ySS;`ޚ zd@Eqr1%g䶠Y ëKx2JɃ}r0W=VL8 sg+ȟݤ^fyuހEMLnHK/]`C+<|`.yVYC;g"I:6<-|] 4pz6L\9Z (SҒpNSGdx O)JJU{߬{{A r^ ^tDPe'7l QmNJV1{৊@ѽn}9utyzLfTڻk<`Zm,1baEe50ELwW. @5cڝgYZ #9% \HOL-AlgebraHOL-Algebra.Congruencedocument.tex7zXZִF! n]A-MՋhvG"uIBm5T҅JR`)<qW/ZUb ?b|v%SX0߆)cl[zH]'&Cu}C!'Q4-Jf/t \F!^O9ѬwPX֔o.#ZbUxBmS ֭кW2\o4,dMɀ ͹fI{Tg5+A0@L'liK&'o{?j&Q_)p]6].{bG/(:76XԪIEm[ug1''Vw ABE-r ŭYs:6o#[LRuMHo-z#sz۟jYeq.NJRۭ?$r/x\'>BVN]6~]s&ٟ{$6C ;~74zN6Zp F5BO$}@ J*c4%:>ocOKYsÚ:yo^vËbj`!̳8@>|qxq۵ޔb:iɄ+ٸ%#R O$`c78YzdYܡiH^11cj{sς=!6Eߗg$^g`{+E2Qặ23YɅN9Y_UNwlĠ>Sq5{0L"S]hi뀚lGD{W=JB 0V*G8 >G4Zt* epMKJZ-~afIWC X;oHP\+xItŻXV|H^&Bf3 6tȸz$/ڸƒRI\{ HNs 8o{;f_G bDܠƨװ!O\׽5BIRKO Y=`rdkRy`[Yr1m/Ǧ)zk 6WPBDO7E'VxZR ڀڃ|F׻Ye1q\(pB$V/2i]-x%Xq? %= CQ/%KGTL("@"+v|G3,YУz+ 9#M\/r js=TdׇȤ#bWD€EHQ3˛ 6= H^C!9mQR-Eptj~}M\fתna.Gxùxa \zgQz_`Z5xx'X7NN8ms,T(X%Mbk}9{L`Ri+:?Ƕ:EX iKrA[UE5@A+?xL!ܗvdi$-qJʒ!*Gի!<` ͛wVƞBxK̉Ziz=Y3SˮczSeЩBu =(+þ݈EqGXԖTKr0O'SÉWLCAk|-h"w>2qR{. eu9N8c\1U&;|+c W88í控?c';1ew}LE 4^CsK记ԗW=DbǤ~Sn·6L^jyK{B2vُF/awS й?:Eɣc#{9reD#oY3@+f 2=F ;I (d!m [S|ı>?4wWS>F\1m) IDR,fC&7} Op*Jk`g4 tJϜ2x̴#v4tpb5s{W18k׋_Vx9ɪA?j`gN gҬ#&.ZC1>KVd?C$RB@-L ~InmnYߐI"syz)#5fU?s xc@1>j94whșGjC'^Y dd ?TJm f2bI{/c _ҵ"sN|<{z%hֵk 2nn˥q_*P0c/WI^_⭗/g><'LqʫOQq5 uiB٤gwJO3&oY }J)3ˉB4xIʫL+=h.uC虶n]aO -A0SߖR礠ʰ G:sSNLxl$/5QPȚSFB̈́wdy_$Xe;KVbgda2^91B-Dʴ}?\d7G9R?N Z1PSHCwD&X˴*.Ə2A^@p_'X5,fM۝!j(9r]fbn viUR"n?QA8ZGL^qNcǦbmbzk,)a W1+eCsBD߽ yS&2PQ;TV2Պ/f7yR5^̦tdlT.,mժTMkFP ;CjL'&Lz)kwΟVnS^y;GcZrn{j$hJ-XQCp<>#UNP{C5%E(;⹨H=<d+2u*3]J9+;koi gen3׀ZrG6f(!;k98&4wږC} JY҅_ZDZћiSTb ܋+>pb'g^ dPjL?X{d2%LmӷXJ`3 I@Ъ,Թ{'Ɗ] $b[L*6m"U >?k_yHkr؇s \hg!x*U=6́$yye bnCϽBW՚`:@U2es*%|R2\4 P3FsOI| b; ;pnք"r] V"׺GO+sValZ}bTrlRix<GvoNv"7Uu穀qb ̮إ_AH\*H#p`!4ђ6z_*򊧔,Ou!Α/FfmC|Q Q-U1?&KCM4ZH1nG;(Н1NwjcSsGJGVQFP tҢU'kk|z]+L@N.-m1A'/D-J%ydh7)>չJ7L3V6. Aʔ8-r+ZgXr0DP6H=@]f|U j43b_@v&LZ|א^ ʚ1b[ hмTJb87ԮYYUHyc%Ʃ*[D)(J+pOQ SSwRaה?0:+mn}gQeIZ;nBgo)2z`OȌɩ44뫇.+}wż _2{;)0@%{Wai}N k5ʣ!i8iR,^Ox5:ĸb_z8k{ @U\+mQ 3{btsYCSqܶ3U֤Wf Cr7y2%L'V'A_/Q*L7\3S٬ˇsRգ6ƻa _]s9湭^LE󞙐WzӢgKt OK1AcO>B=0 Tl'!$ ?l4k:yvAQ V`1:?E$/Y\(6&E[0[eBhс$4| 62aZ+iDxChͅ P$Wm/ʴ̈́SU8HXαaI Չ|Fd^[JUq7 9̝@̡>{#)P~nWUM5Qeqsln:n @wຸ^"@S:<Ó,MOBE^>'5|")+[v"P pڨ%.%aDG2a^(},x|!U mgB824 uqhG)nU Wm0]PzQ4,g |~sOfiEo٩Lx'xȒ%%K>MP 1x}t+v"ᵡrniwH;g}1VCdуKD*ZJ[fQt re(kE;T00ݞ|Δ:ْѤh_P_ 20˥*8a%.l.5YΦ7W\)Y[R5Enk<(j#_tZ[1uNW-dHOq }uIӍpn=.:ZOAGܮ% ḓjr+w3|LYҝ`F(ƈ'p-Y%P-QSgprړ_F̅6҄1p{} %@ sjE§& \wbːR)8 Wj Re6xTm 8E 6-[G{7 ;?]įeiZ_bj*Ꮕl' x}E;js!{khE#ўuv8"3%YgrSU'3Kq"®xm&@R1)^gYZ G#/% )کTqFGEJp ȇ~ﱦh\.3o<&>-MK>4.2>s(x Ux=л+i]7WH]ؙ?.QZo#`v~7:U~\Ogc4%O`W:xK <:v=݃JAŵkX35GVT@|2`~(^CvXP2 fIJwDp4b}<!.0,ڌ1W8tz/*}K'B =RVqW4 @iyf識ՋVIMniO+9> Qo>ĈNWl:#_S]B^4hrASg[Rcyw+,I}SW3<lB:ʈqeFb\fcb"9KP6areR$jCEޝ1J^\)Rp̿[XD}tk+d9g۳'3Ā7)∩yDL)MW]mҦwOfZq ]ދg,x\8yADX%d;xtޫ^tHojfVR< R uNaZ <"&MѺ_MEZHeoUK*Wݫ4&J[08О-f{6h{&Ͳ1GmwH;,qʴSm[,g kvBh.%9ktFIPEC[+vTM$+cѰ-G4 ;m2 ΟC#cNXw;c`ue y͘=rP}1Rgŀt)\#I[M0w+[[@ Ds#c[7T=kfȧ(@9lף$it-v+6 &_uPC=҉8ͧXbA4#xG 8c{{3\K𼙊vwT~s+3d 7i<㶠w%x^D? { CXa).cp BeP?72^xEʇ:)Q_g%4}(  8Fo"tA|m9$SpfKe)F Om|I/ 2.n©Dqn1V $$wF*I<">Yl"O/oޔwo`WL8 jȿY!Z7ClD$[$TtHrz5[G8пӚ0E~ iD݇3O]:/ m/x))۹{:b+ ~[ޒ7fl(=F F%mrZ!=$Z>n[R#8t顤Sî$$l4xtG΂"}U׈o&!wFC&qz>W@v=+ 9+&>s]XID$Sg™4Y, 箫><'IXYy 3鏸72mRupy"1(KlGgDVJ{`*:Aq `PgIǶH\8F+W݂0ԲcrJš$+Mpd9QD"fS fYr,s;X\爕agAmY]YF|U)y4}3ztBc6ō'I/HX7MBy4Q,ĎR3_VϚU"pr]7 <4Rۢm_(ʛrtT~Cf›m.t%z\W}c%۰XBtL~3+Q M7QzPiKX_.`GCiünjW= 3y(ao~)*3z߮3d%z]g#*;nU !<;f+QboHxRH֋ߣU9\d^ p< 26V00M5ٸbǣemG/"_{^팬׊'ABƨg`ߕikBLx' 125F,P< ^J*ΰeI:zg)ӌJ[ÆQ<}ؾzk`<^cL^uAdWt⸆}EJbFzo0ѳ;0 P2Ehӯ{҆#\7W4{UV}C)t#k25M\4IQ3dHY"Wmu 51^ua #,vGn 5T--^-\?1=ہDSK:౧@z5krgctoQz` !w3wzEpP6? Կ ^xy~v12V67b"_߸+eh nY"#d%3 -@U`T0QT̃ީ{a Em8A1%E-e5.VqNo gƀaɿ;5x^ iYO_Ñ'o[Os/vB6Q K*aߟ6"p{R &d)ad1UExyc+|Ls|gBfbx8w՚M!(y;gSۏ"kd8RJ[X3w|&1iDIw”PB֌w5xn{>PKQ>^=6o7NR4t%ZoNMJvZw1v7]%/xm?Ÿv=2DKs@QW?AzZjJcl7>3!1c(ՙ|8fg>N@c5+dibQd&k@~55iټxhk_Mcw. (Cg]2S : Qv_QR)ɇek;@֭$}Ѳx>wgO0aC$1N9wK\Ň_qAyO 4N7GgXL>k;ϵ -)wc g2Qu(qbip|{/@q7€%|oivJJiKEl<8jHy+DـJX6%hOK%7*xppY}pbbh2T Ōu"| ;o8faeYX~Zz1*16*uGg0sWXie)q#]޳tY,ړg)WzUh߀1=`nČjARHߙ޸59KO0m?5Ft XEl*v8{֩aюc0KEo^u7P>W--eJ}t?,Á(i@@W-+)5ІGռzeqKP@oqdX2Y_YS?`Apé;xSztg˚lMJO&vH;#49[Gzre.i /#\ev+ukY|1Xl=1SLscoکhS-(e8+dٹtI(VJcllD+LQH{)UV6ء|5ع!N] JF3%g:9 _Qqj-Gf #3vk˽{'[VFP3p%Zb`VWjc0 +5R}4wTsKkvu϶ZԘEۿ3Jd^;MrweaR$g1qE]jGL/ x1Is7C ?9lA+.P퓥| R{Z]Q}FTNɳvܿ|52'h 4s{?PơWI`: E֬nhM꜔ޅBx/_aCp0hm)&AX_l8#љvE4NOq/Vi5|҇ ? 3k8H[s'JW"e]߷; n}9"t19Ua3abc;5-Vn5B0DЂN>cY0YJEUT;~VThp2H͛~,sދs'cjj%KZxۓsไXJ_mCrnZ睺:m_&hLwI>)©0=m`u IƾYe0N1~kR%F s\ {%nX\l٧a1HJ:Gl[yc6LlK띨]&T)YGUx*H>66铛}ZwT.0*?]N4J= Y`8)KؗއAZVN̳D1&8 p_H|/.gYZ  #3% DHOL-AlgebraHOL-Algebra.IntRingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 ܼ~?&ѵy3U]f?[z{ryG@;bd i2sw}t)1CΈ sC2s2r8MeV e8gq*=0m ulnϵȁ0<2_W5i Wf0EݼydNb&Κ x=>B:ǻdtv4-s,2~]- ~D(^bCtߠ0lI ƞkz!+Z@Qjlz[3xl^qP)ԔwWEx;9;u}^FRp46uj-̩ M͟oPd?[Q,d-Xܷ* + jFrmdif&wyi0N:|lo~vRg=-if8gb5' S-%[$oxn>Ky\ǖ܆< \i6%jpkQ4h Q"v|wAz]I *,fQL^ltܚ%e󗑘FQdNm~9M9d mVC鲫=(K_|V4T":/RfHs\"ny2|#3Fou 3,8"Rݫ25u}AOETB^R롯\dÖ3(HMI6ژZJ]jҶ^KV#_X;H3oz\i6؊Aˠ̋MDv]Od\GۈKaи!t5$:Bټи13iȔ\ǁ:0}oI`Tf7[K|m7fxN ?-D(Otg(ruEzǼpj?XQWw4>|&z7$7cj1)%,7K{MRݕm=qBs46sԩ4rLwK؃X 扯B0*盢5he–YWۨKZЅvp;x>|Um#AZYGtHE*ůx3λ󠓤0|檝tք AEuu$zBUM p+Zx7 m,iSNdIfXֳmM ef0ˡb45!wx2f YIu#M 8 /l ʝbbjW_Z]7W{Ҋf9{KG! 8l.EUi3,O$#hyl*YfV~)f9wF˞X7Fy@6HO<} )bKP{/fD ~D|6̘d9nesϬÝ2;j2J}i^W"]6D P#1% LHOL-AlgebraHOL-Algebra.Moduledocument.tex7zXZִF! ]A-MՋhvG"uIBm51Vhحg"X;f°}ktCY:Х<i \QߣQM%u@ěk(V:#ɨ1@C8 s1Y?^C|IFF>Ú"!͒rJKo-ZǍ=օRիƺ|dan18w/tXRC2>/Z4E @qA1.dVC5XW2'ɪ <2@c"'-Ո.GiKPZu`k ״wdeU4f-oXeHlyrZȃ&wyk@G90M]_TTQ ,'K[}rdӀј\NTa+NNt_ps(ڡYFIݍR'm_k j(+o{_SgA  cj B[bPI(hʵ f7ll[K,?Ähvg6}nĪ >)U0!캫 @n*0VM UAj_ܢ >F={<:iSѽ!8{>) AzVlk}1_]&.\mOb+w_J;N!A-ƩXDeuX7Sɀob&8HVJ#YoF? 6QHy=)D#lE"i*cE?s!շ[@ k`N35 E QVw=]oQYi7_:0~,`~I#-NWFfQuyD+ʉ;<)3?!1o@M!̡y Q )@WPbbx^Zk\PM3*q#ju5 ͗A0rn*"G1  +v}CQ D}ؚdwY@&|8 l7ͩdպQɀf#uu7l5a3IaJ:RFM:Ón~`1<TgO/Ypˤ;t|"ύxL1q{y z6Wrk+t{4)CtӠ8~ٜ1ǫrPfR+ zSs<>=tߝh!#*̄ Z]u3fl3PIȬTAWCn*PIvWU!IB4p*˻9V,ŁGz+?!@֟@G&** qlp)S MįÑ?ׂü% m,_6;&p6ܜs+F8 ~Mt&﩯;P83s`!Uc1_*H$]fֹro#X~7W)cA).c*vQSŸ?U,]7R`ƢKM}^\m,~:55G٧q_*5sOWdM0߫D$̗߯K힨]OLVANpcTj7 {~(Ykfڈ ElǾSWw7k9_  R!C&XxE݀+lR$ OJy/pyla&y@:8|Qf2f #(cxsz<$ߘqwI8hi? Lݗ$»yoRkµOO``_GEk)]4߻hws@?˱hO Pfs3_0V~a8( u6e<)ZqUB'ǠL7tNRxpJ( s˯@{`X}]%ѬSZ5Ur*'IJ#.N t Pu9BXM5Vc*s/u9ڗT UgYZ -#3% HOL-AlgebraHOL-Algebra.RingHomdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Y?aQ I[*7 -2rc62\ƤA/ B)iڈi>S~!]LƓ~JI+eb` w~.9m@b,Un7ŃZ@M˒@x'=){w^9#} U&Ul6b'$P;*> ՛n? w6IO3C\{8[iB%V#2ޘ%Gwa*wF*MIgތmQ0x:))s꯼O,XmvR~qlp^/[N΍}KZdlh^ ƒ';siFʄ}\t*&8r7-7ԍbW{>R~T3!i'c-ThM6kϻ¼}T8!ͽ:MN5RF͸[4# ViТtC~w^}T0E˖ ) 9 gtL\|X@s9O2iF,"OcCNC =OŖ17h=PeZĈd w`#ʊ>lVzR7ta u %G[w[cD977@'Ĥ.+RPdrF`+rxɢHܬ;Ҵ٢@PӟpwPт##tV [;rpqD8g{䧍2˦ŒHJ $@)/*\b& Ȼ??zziQ-0: 9yx߰\`9`B UWޣq5^򊼿v"SYڬmG2\b(xH|:Kw p#ϵMa@V6Vz7<ʌ/AMc+0]ҰOT4)H6qw/L|tXlRa#TjihƩgZaOyR`cY`mlʱ~|_@>]K-·Q}5P:r4.)r)FwKK7,O-@i&-~-H[0Z^h|MmAMU _xPhf]wU|:(aro,!NyVkܫ;G? !UĢriG{CXo_rc 1ur6̢4$o\Ll/O˾h|d^ec8H HXGP+24\IYDؾG͉N.[$RQ uhv3r5TDc;`ߍ>I Ρ"r)ށeW+)ƍ'# vUCKK+J"ŒgS姽㼄iAJM^𱈟-'/9diUGdiPn71q5 cjI]o:z)׈ Tjs7`!bY+9쑱D>$ = n( W5㯮ܒ_DzQ6ʌ^xhd-# ?S+K]#a;t$ٽ1=OkYAk5% pC\ذ\PԷɴ SkAasR$_$ O$=ח'Y]BW͊z*nٮ'H㊡qrJ(kDnCR$OBU#(.*%JRW+wE)^ R:wX5WESXprIU13*clnS:;88q\A3 B54&En<( l+_1#N2O$P<뾷-IۅUh P̽&\bzrHv:g8,A§kR=Icq2e~,zBт`en7m`^{Q]OzSq]FYf,)G Jot2:yPt٭0m%o)R )kl z[UhIQFWCn>NHB '̈Da1æ ]n?:h|Th=_P 7[HUa+ Dp*`xqkjvplcAj.X>!MW]97hC| w#d?ڠ@;ZY Hi惢,~wsnSz$Q l#5[ "1DA*8+/5/ng:zTu 'KC5sxvy|w]&v%'>Aؿ:ped C3l ra5gN A59L3Df@*}w2ڿ,/Լ#|/a ]}T~CαU:[q= xQ`Q"# 4ƄKc(#$Iݹ (S+*{n^.\֭j̖ 3kތۻY]coܶ.rp[$̾Ĕ A3eD+a/ 윹Ov\(9O=SC݅W3%\6u{({i2B5m=[pl#]"/7W>Ѷ< cG b,Wߏр+ )c6IQ3JҺ};CCX42a ')Ewi+r2]eQ+$$JE˦i_-O2v% da})AZ@(V S-~v%_b"eGwG(ʎi ᭨R&A}o}y- M>tzT!lE=6JNQOaOν|䢐,ma](M4@;rvrfA}:. ,(fTM2?z,^OڠA]kJMezW Bf@b> >fb| F.+xB@[8 %zS166hJD{>LYиP~gpY7>yO]\ tX܄{D"[ştqfab4Fcx1*$77\@Sxo>]76+ i^&?TA)&倅T{;KGY}YGM2AӴ#?Ȯs޵(ďi*:t`HR+8F~'!Iv1`ƿhL d5ڿZU1m[^9n044)ttDgYZmlqDG0$%Xҡ)*N7 XF 0"lr@^KPJ Pi2>ݫW ĈȬg>4)L=_nCEɲ5윙Xh zg<gd͵F]G$c. 2`wz(%`$еy^k? ' 7noʸt=T|'̄) \݇_ fi^pS/ޅx)Z<h~m_|񑇡KlID4y62*`ͷ9(,BT'iJV mߋBd,שGySE ڒB ctV;!FЪ9/3X'z,+ǣUI%x(I|A.zA$Y_<4F$ެv-9zED'T3᷁]0x7|\݊\Op%D~N 0Z0Tc!nxbVWѣ]떞}m=1``X5f9(p{}%ó~@XF!qS ceŪ21"8jj{* f^}p0x*!ը籊?͑^rn_yA(^#ג;rP6}L= _OgMJ$;jS`6L31(Ob)> m_Q&%^7rPqPh*߁ل^Qg{шϽ2F6৒)`ܒ]^a\I8MP?nբ)Sؖ\|o77Ҏk:R-VG-U e>GҤU]ϖ :.F۾{ԕSJoۍYA{@|zzKɤ$9Gjn:i5訝=]>|'E7(JDD&VsrGU4?.27C4g X< }lLȋ2h5M*2&`Xf T79Hm!]f{[0%<J=[9J|{ P2= S+XQvDX+!g=\ʉ\XhCl[dAl/Xl<ϭ 3qkLMp-WҪR*ojq~ܬB~f)kXNS`XL`)Zzi=Q*'L8R>r/_^A,*WޭAL/Ұ, hOAr 8E}5Mi : vS#BS^pyI'!̕.X q5OK+&Pcnsxư&@9DZa cydoSx)\DPJ iDĈ &WeϦJA?d=oK;4<;cwY!Jdf7!\QnIIb}ܸui r Mc :ۧ[ {T|(۫:`,gsДBswty\ww*@GgYZ   v#5% HOL-AlgebraHOL-Algebra.QuotRingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5͚z_S,vIEiJiȿUv!o Co l'oP}@x-N ;)6.3 AސVK::C/_ zDZgb3YɂU$ :dщ(o- <_@~[/)bkG<+mKI4x~Ctiv+iu]s[lRó 'N75hCS>U|HqIA9)˚5wmmbz ,A RKJ%/ k ?iGG϶MȊ>YVoWx0&K&*6';E?n_K}@  TUZ0?pS-ݏ@`GǛRJaڎ"xG^n5MtuJGgxNtO<}eeEŅo*W{mGoXݝGѹ%}\FLzUjv7G|i2kb_  hV@ʒȳ7Lgڦ=5ӈ߅G<2]}:3z3MA#a|݆^z}@rhс]]9uK<5P! z{:;ew9`ٴƑ LEߟp79K_oI f#5% tHOL-AlgebraHOL-Algebra.Exponentdocument.tex7zXZִF! Z ]A-MՋhvG"uIBm5ܱ5zԳ@Hy(;ZPCa+EIG~͖ $ Lab]~ҵ{Q`jKѲ.YeY$=V?Ee!%͎-&1R1\ttןSeF)y0m>z222r-Qn#ND8vsw$o 8Tpw>)>%^#8O9%xlEH>,똵eWtZQ?ێb W|͜otц{߿. +*FGB0Uǥ )\Ty韨=Ĺ38-EӍ) gӳՁw\""e.z} 9tMxlX6!3y:sonc|jMW$pMvejٍ"ٯ貶+Nr%rL*A#|AjC]JSn=A1WxCD*U^)GIcOj䩯Dp'<`X~(itOb6dn~v5۠+ r(i&յin'tŇ)gyۭ_:#[QJ[5Z[`NׄR)f+igL B \q v!<hQYrȼFg QfThDNw`1B`as3C{ڶw:ޫjL&g uZ=|FUB߹m o]B:)Ձc%ץXt#5nW|2&y4sjp.Dl0; ޅ BqЈ𻇝w[NqTG~SBlṒ73 _DNpae R.Y9a˳EVb4 L-ܡ# 8`A=3t Lۻ3q@\L47,Sƴx~+nZ0@)U[,e(c7,WH%ǣ|9kwL%<[=iBEa&==h]l}L[̾Ap_л- z^cSc-~mZut0{1&ƨ52J4x5by KmE98%O|J@CT'+1)' uƠ;bU!0shG֔}*ퟵk̠:K]tS`N2jVUГW7N˘V՛Ĕ"w {|Z"Vm0D0yDpn||`%{jZBP@Wrt_H]|a6iF[3HKIE=] %J ژp2^˭5-f !PfQƞ:w\A^~Ld:@ ~=3^E%?ha1lQ݅$Į@DoPrXkZa.GfȵxP_븣{' k~e#9\kD p"4|@N%XQ5)tץl ,d>_콯v#Z8; D |#Ea.X$jI;r|5BY)ָ7X9H=k\A :Yb\V3'r)~(DD;rUߺ%YGVGpI EMRzQ-fȷGʠLʨaVR Iazt9̓3mu5X0G+:ެhRPZa 9xrˏ*-`g*(퍀 \FEOW3:=h)-Os>X5+5ڷ(q&jFݬdC5}Z0m_[↏%l33kQ[|Wffj ^9ln3ER=72+Q,KN Vc8Y1rͮîJYB̯U'XasD%bv^sH~$3xrh*`8߷SjCA?&-(!2mspv2˨ l9&!#EoFj'4ݳEᶏp;tVL&u;N뫊ʁ}hGu4 X.Q6jkqnIG}_mBJ$8:gsK# l:c?Jk%ɇ)-Ͳ'hCַ2zUp=le !f%"T[$D^jM\4GN|ZwԜB5~8M73yB8\Tb8?.rͳ]3ZD$6gJu{ B=s.[C\+x#LnM?ou]׵i G9]2%I%2q[Ўc!)^!M~V脙w2aR#ݷ'cX$qVB"+uS~ na@~5k#-?Ju C@<_p &4K:i+VŤ GBR*aȫc&HnOȘF?r?4QLe ê|v]ͬT y^m0ڎl>s66׿@õtHXo)ݸ8xIvQGϻ*/>_,ֵƒm𫊌o=|ʈPۗc,hoA_ehEY9ՈpeT):gZŶH R`CгHrC Լ\~J;s^Czپ`/9F8LՖ ;{ gYZ7zXZִF! ww]ŗXi%; *^lhX )bgެ &(6yK|uJLp+"x{u{Cf\'Y2w!Z"{P U?gIH|ÃQ6Tr|R} ̤MEX@cD\eh@v;(Ha!2p{_ikf e`SAɩKjɐQX-],QeoVۚmYٝ;g4V/ɇ6]q"o>m5jWv V\̝Lkm>q.wv$ŃuXo<3Q Vo"Y/;pO!bɝAtY.gE̅uBu!aN9Pmbf??1F5IA4 Ъ/H9Oj1>Ƈ?6O<nB_R[5own FxCRι}?(76y ;V,݆>W4%!x$ OdŁ: J $Y3Ӝ:OEߧw<;~2i$b4KkTp:8Iօ)4m.p=lڲ},OB볖 iĩ4˷RKIɞ]E]ɫǡKQo !XV=K}4zԩViN)wvN^ɖ>P߂!e$"fueMK:/Hbu]Kˬ8QN4!Rƫc3^h(ѾZTar(N-TnEdj#Z] %Pd|6`a^]b(GMkS (6ߋ ٷ^J M L:Ԙ5^iGD$ ] Ģqe!8ЯK.;>yLl|.I $C-j`hws_j97 D0q:Yx'Q TLTe2CV ,;77y(z5serK=%@D 6 [@  ĎQ6Y겐,=hB*|gF'l]a/U*ºn_NBe &4%wɈY 7:w\xU"A4@jwV)HrfnzG 3L_sЈ, pf.+d)'/VCg%UzXvS}nMt;.?J5eA'*3dYC.. 0U=f!~Zh45I9֞Ȉpݘ,AaBI2&8h{Mtq.kK, _ G&JxxH.|Xv8+"y.ʈt&y&]e 4Fvzp5VT,ɐm}t*aE6"u5]n'S:K]oT]՘]`y{a{C)7H P|' B+`f^xwovޮX»w#( Bŭ_1JBZ)-پ1FjM8lF둓m-!jok H |ވd$se_cOM8*!tQAiUU +Pc)0 (Z_R/S(ҕHSV"W(, M7暈yNI-s5{5S)}ExȬpsܺo3Šhu8`= ڄ&i،S\>̇rS?tz4͟г3Ёv B(dn%'cOs@u|րϱ/Ɋj:G_ܪ!$K hgItr\$vrEt%@g|C842{B^[ :Uv(77QЅy{9+ w}k{Dv~29D0ҧ)VЧT_Q҅B%;T 䵧? iy>쁻taMCOOdW ֽƄ9{3TcWQj:q`M}e3xI s.xR&q11R}; ,X$ %sfXaq7v(@`Y,&#l - Z{<@WwCu`!TbL Fkd`"FG (GrgFy.Ka47=lڹ92KHfcqRﵐ5Ab+ A5: Kx@:xhPr4ë>ey-;P4|5*wJžA?m ƥ4VtkA Fkp?\©/Dx0+ٸr`I1 ȤJVKXs-SuW@8N?M;|p]qtk"35Ey{_KWN`=Z TY& 8Ի%LfWA=ht<|@*"kJ8/], !*p8l:püL:\64&r؇VTvrgؕT9pRG'u*TZ@,R厴#E<Yyjn4 An؀/_"JN(?N8+bɜ_ס:Ǔe AQCoKƑJz+beYW&MD-BjX9ZV1+H?6]{n! ۅ$t"BkO[+ⵅXE| @lqʾା앝HƲT={ЮX˞jXUuNSL{}vuB$EؐkN*qN0Aej"FXѕcam]2+8Hϟh']q*jE.䔢rl͌nZZLu_xأZ_\); Z>Ph7#cg{Ga_Gƀ5m?QE񽞄q @*9'b~vQw$4 Jܠ RG7^Ew+cB|n(DmFyǞ1%|6"&gs&&hQߩč׻ ?;֏QI<T 0$[$VR0sx:cUűfs )#_w7 5mBR7f2 nX1h@ܵ̏椪3dV*MI<'WyP(2լ+Mq>*e]&:hjC˰Z#Ol<\aHҚG~RO-9T-lXq˫6&t(7@`7Cl#&QĦ?A o xD0lGޱ9ͦZמT/'Y@WøR(Õz)YzqgYZfa8343714b5ab7cae93b7bb4158d3793e7b7d1d412f9c2c1cca7af0c05e4d69fe4a540e3eb4f44f1 46ad376ad2a6dd11847ad9345c3b8c722d541914 86385cc4e808611fd32e8755cd5b07099b697179 c3895b4a8a9757be2f2e9fc466fc46ab63ee531bb92b9fdb908fd9f80ef9c6ad5cbac2878d3a063c