SQLite format 3@ L.  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  g g #L, ]S]HOL-Algebra:threads=2elapsed=104.915cpu=187.896gc=22.316factor=1.797zXZִF! i| ]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!fUx״5Gܱ=lCDCo]͸?t;Uə -0\PE-f(!l[4abu8~C,7DyU|?Jg;yo1(Ȋ_+t:[kif"F/Py=N3B]/Orefy.=1(xSl>7XȚZ1F#nY~Qŗ\~D~1b)Q!_K"2ǗN=5j3/ꅣrutsT`j~ړқ5I>B 9rt7|A_ȄB[c'82+-!٥ˡI5y>vY2+ E%anYǏvMSC{1',>YPEfq&FA۱ }/-k*\%5wxTڑMCA4G #Faj*RF$(w`4w,} ) W;&D %,%z^S;,E(}vfI2YGfƼ'5oS 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܍w4G3#=% HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex7zXZִF! ㊓]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ӌjsau7Ll ;#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 VOh'nIHFECA>9 6 - )#  q6  ; q 2 j 3 i i c1#5%HOL-AlgebraHOL-Algebra.Exponentdocument.tex,#+%HOL-AlgebraHOL-Algebra.Bijdocument.tex0#3%HOL-AlgebraHOL-Algebra.RingHomdocument.tex1#5%HOL-AlgebraHOL-Algebra.QuotRingdocument.tex/#1%HOL-AlgebraHOL-Algebra.Moduledocument.tex.#/%HOL-AlgebraHOL-Algebra.Sylowdocument.tex0#3%HOL-AlgebraHOL-Algebra.IntRingdocument.tex3#9%HOL-AlgebraHOL-Algebra.Congruencedocument.tex:#G%HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex6#?%HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex.#/%HOL-AlgebraHOL-Algebra.Orderdocument.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/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|05t:%pٹqKOU=kR3i-PQܠ &g`Y#JMg bq߈ZI@x9Ei*7Sbnt&0#+AQ?M$mlH>Eg,#w=f2'V]}P#*sdHZe:( K.Ñ}"z(`Y\|'4";~y/r\b=;φ~u]Ѯ>#3&^5ǎ2 rÁPZ}/oB}K3S=),T{x|)P_US0E"`jn*,ڂ[ٚ,&C.4?6=L4)9ݧ㓏@|pn*ڟ)P$'` 8ci_jxCpE|ۤt:Xr!.w&Pp,2 dbR}DIPsX[-TGBzQ:\r k̉Ӹ>';f%<\ ioSlg4XV&+1#yYɎk'tkEdwP.gEWO2/:J\,m~Ɔ)A;|.fQ[eCPx":Y`''9)ՅʦgX3-\-9f5PfuƐ]51-m4> n{)K5Umtb],FGebD5 Fqa?Th-?]B#+x%* 5m{)hmX]K1aEQIS(xU Puܑ 1yK#poUd1L?^vVehi^+ZRN4,d.}/튳q ]tp3EPP6_F=wl4:^n?/=Iz76A)6܊!8NGo73 o8;43"bTm޽ u%ZJ-ܿ^bNwk{*OMo*Oh(:d ޳~͞uR7ùy > S.f> 3mZ5rjEj!$sZ3~8I 6% ' ?J<:^IY FN:P)G #]\sR0'E "DQhq+t$XϿJ&t "P ד/5JbtZ,4 |9)3 ^jPn>ѵ&unrɚ8+l; K~lAk溫d0aRS*{ȋgmwsGψ-hyFB0^-Am궛Ț~}V[/=hӳBͦ:w+|´4{\-6;'MXmV,F_ tƨ k7nB>LjJd%p'ZP6J__ ͍ʖtK( X e4j>#HkuuH0eL@/ Q~S].zKnw96jf<C2Q_RDs Ǐ&V1ȨN#1v0G0yU^ud䶳<mnD_[|FNRB=P@YXtY!T UwSq IF$N󈲽ěV`Qq2qPܟef*V_¯Fq܉pC+AUPS1:F }K~$VV坚GM2Is`XX9J[o~"(qm>D86 /g!+k5|e #֖蠩KI`; eoGLNl5mx8X`]z^4 $:e%M}Sc\RV[gZ_ål >uƏFqԹ{#U& j%hG,=ymx`ūlLDHK &4QOtƤȱhЂG=}s- {& .frC2a~bncɨIۈ;ӺR{ ֔سxyU!cx{ !`ôIFqa"se KJUTeȩz*q+$Zun9ڰ=X|M R}BrƄŬ^^}hZ \A0dnrTJP7# I˺߫!Җz4dtFB6W}G,jۊXⷿr[E4Q%Dw*]oIR{fD|jH },eAYjD!#"@k|YU}sFPQ'GL`$t+LC4ᖎ:?.a$QNeLmy[I;#Š-Dc[\D>L+]m|GP F3IM/ :Pt姒"\||*F])]Arx 'VC@,iQ4Բ6ہp[+3hn>sMAV}OzLCHXn"@[2M`S2kKEG!o'$a$I\x;وo]q$s^q?+S*\QTH=`%ic33.A=2 ~3X*k]ŝ{^fU[r~~Q@)4t`~xa$gO]*t69tWRc.|{8ZɠbUtLLmQWO]FC&Iu *yϛEb-҄A\^d8D^vm/=nOYqǹ 猨ve8RCxԟG%7H>s0_( (jlb15gE_C>xm)' 3Zk*̫3OdK@]1'mrA~<'M MvU]oxZY_4|R@'Ya(.>ϯe$?\4neAGq2gS"̣x m*lB?#%X}C /#O#E8QHn]/%ںot›9< Un6iJ2j !9/$d6)TFw6_?+@aH,q*(G||srAzT'E!]X&G<~0c ݯυW>os`jt 9!!͹Up}fktCţa=ǭInY͓vPJADe"!y `cU`J}+%ՔyvuNe *[uW7+$tUۧ !xR}}5I v~сTyꋀ~'2f2OGV/Q:^fl6 9+ +Fi2E$(X}j:aA[Dmzq2 )#Ŭ1_Z3 vaM` S/EC2NM[lS2.7و7{ \ʛeTst4WGd%@u h/t6bdڎ_/M9ɸ.7vź`z92c~Uum֦~. Kvq1RO%Z%SSarqHܣnODuy-2̹\EfyXѽ{V,Vgy9X w~.Pn.h> "@%tnٖsiڥ g b1$qeBjiwLO m^%cU+"~%?Vt=EhqVزӢlMVTș󑼥N9=', Pga8߭JԂl'GQ`@eAx|A|h34#{I[_"خC=\ pC+&vQI}p< AX^iV R,z,so1LW&ҳ*3U2%Xh =6Dw:_{t$2jj?^v(1#n㸣R+"&Tk%;_ @@=n ګohFՀoևڽ,X6.GE5$K14Qzk^YHx2[)Ӻ}`›_~'\øʥt -sHLDRt̅0 \qqw[Ӌ3P]>hمWByi2@9CQ*n+ׄEGpLFє= .T×=u׸kvh˺q+O7ex\׌oxgxѺXxGW`*#! **n$ [BiH.j@xkMb<J;*b"{H"IXj#+ne-lBU_ Q. JύT ŷ.!o;2¢[.Nh-]1 ]l a|MľbhsˠE^PcJ=LA%#a5+ſfMy sJɝF P5 xbE1( nKU5=O[*o@LC쒟+ A LIL=pyal@x|UF.(Px~ NSpnNɆ?\kN WnH/<jIق*>|&G7,`3tɀo΂~܂9Rs>܁SXoU*~ˠQۙ똝ۘgq@/ABM/J%;GVz$[tϲ p%VHVra&Dݗ3tܱNvF O n[ßV<],ѨJ]HU:y>O>#wSs| hz[m9^]kRB%m`muw[H Ta=G2Xw!  ϢiZK w95<cKQޙ6rzJE2HO@WO+tٽrhSk[:ۨA+/UѺ6q>c'oPG'aLvz0>#\xnq3mFN!/hZHщdϕr֧͗I@B[% ٤wg9j t\Rak¹B(D &^2-D,ֺ1IdvgːsWoEed%2+Fz-MCa1ÓG*:!~J L9u]ޣk,hPCLHqk^%9p̍*@+ՔXd*6h=,ՠ7d읥Ƨ!=)<Ὠm) u 0^n!S>`Dc%ڜgC.3 NM$G}k0|׸4HM=C!X Ζ.3nJGyϱ*}ȆڒQMX.hX) B(pcF wIR;s|@jn_j_$"/AB ƱZG4N*qioÅ7{ zЁ+y"Ŗ2SHdZva=笃9DI5p^`%pO|od+~;Abq{&\%aUmNdVV;QJ!Lqf I>㭰eR 1Rz|Y'(.S^J`H$VzZ&vOƫ&ao%O9%  &l Z}'thhRҲ$(o!\V &O=X^qɞn1r<' 2d@omU \v +vs.Lb1ה5ciQʩi>=J0\ |;c;7F`1r:ӷ@=6Dx˛%R{+0z9nXM A wPr;r ڸ* Ԫͱ*h9C"bR ;Qz+a ny}ixA{W)9ےƋ3kR>6$?ɝ!^0 wyH7p6%Lܺf]WH/$$q(P,i@S*G} AO䢸\+nI0kBcW𵶑olMݣB8D z%,[\%Bm^Ge {7Iw+eS_zx_wO衴8# i}חܰ$5&ARk) P O ?j_"!͉0Q-_;m^w~%1&),}uv7ʑTwq ?GssYYgВ$++ & qo@.*sQLͥi*^t1@,&Ij 닆]Qc]eRm_RrsB-gj'+Tld痆{3j\]Q闑$ ^r^[3P"EiXlJAOTŔ6gjk;3JQ[]a nxgqf9RLk1&3E'uwwR!DU N12ou|n;~~;@))]itA * M{U+b zSH̐bɧT@Ls멏 q[JO\3Jd7 tbk /HwToMcrn[#v:o} ?usrO,#){g!Q$D{<2d0iPXrBz=s WSIX]-Ͷ ͘gŒ8dk:K9+jnE+ur+#,E#SgM%CKFjΎ"ƙ_@?yziwՕj3FR~JFDTHn5P[/l,(2|xVBgf_ʐA5avcdS$ ȄY,jhTSY&ȨpRfF9[Wƺ$ _~r )&*&;El= ig1(P2傭}h$gfZ`S) o{~\oSc(!?%H wa |~3-@x~Uz7PтW}y2Q$5CEPnl UV%S3*~y3FlOIMFۻ?I"x:~~w\*ͭ 2 @E󲏪Ň9x"Ǐ7xXԔ^ ᴵFW" mNƍs*ʚڕ3-!;S0@ZsOثnw6]L 1F͛;_>Ԥ>y09R!SeBX53 IH |#ۙ%*h0FgG HS~ED%Y`KuG!N1Hnmckz<璓2v HA.PoSw*$3D]F' dO!qA#r&ŭ__2SS_[-LaX+/:nh~bClIM/`w`sVH ng'=8\ӜZ,>MGE?θkfb< gqqw/$"u!/qqd\FGrKWwU{*KߕŻfkfyI!'$P7&l nEP1@(kXXmr|W>ʣ Z6A&]F1pb.y/N.G `pVߊ%e"džMB%!bKZtba=KMu†Lu8UNyX*bU= K0eh8e-])|e\OuoU4p]իaв^SP& „sOn;R^](%Άq?KdzI :Rc^2CȖ dlur£kPK793#;5lZTl15h[mꔐwߺ{ A.*j(7_O'bdМs\)ٖTT8ۢ mΉ@` gpx>?ԉTloD܍b\WW{HT%y q ȫڋaZ=#6u^qxcV* /=#@F<|u*i>y 6l 2X,m Fl}ŵ#‘ke'c8p5؋S痂ӵ}I^6l *%G }RW@4i9bQ#ɀ|vt4 Vd,׌;- `OoT!Ȗ(_Ƌ'Ӵ6\PBX8t@9ZS-U㷾|=$ HKg)zpޘ}Ufd)w8 -=29Un 4. Շw`Ol6ýRIͽ bl9߇X5m7NBIM=i *[{3Jm3 )?vm Pq5]\М2t+dCL9@}Y ΙAX }~VܿEpiy!tP,rJ{c' ۶U ^Vן̚ ^\eKPw2~_O _~2rA& , d.'# #. mBD`\.uT.;VHj-(Gqs8CFu@lj*SZlE=Tc Ma lh:;pwTd4\I?{I/0c+h ȧn9eQ(O^KOIz\7pyɷ_khGgc$s(ن5EO򆹆T ed"){(cFy!U6!52"H:jrL2x6^♌4XQba8oS=+&ye4pU)3 ##ꍉԑ̏hb==% 5UכeC@8'&oU"U`u[nn7˼;֏V x.<^Lv[9_v.)8uyGh^N%D6S7'ڠʷg8Yf;r70{CLݤP4 ml٥Rs!#c4w^1iv v(c$ƣxm*E ӎm!By%UQ+;fLg4Q= ‰gUuOfn_UGp;ky4Q*(s6}[}*N=5fW=]$p"cteœ56 *Y&b}9'Pμ`z9&aMa3q rg\pF-ʻq=x$܀_ݔ-HtE5ߏs6%/% liŒ'Q(aFy!:'6ħqOY<2j]ӻ-C܎֙$4ڐ:8q:V1P*ҫ)ׇK}8'r7D8%n'$0+HT[`μ畁lAܭ-!-%E>9id;P*n-ܜ}VçMW2Wj85tFtLL^Ä|&u+lq+(2RM;m\YP0YFTey:O$OZ\uɖWݩjuU4b^:<@ ek}O}T/{ы/>HG:!NP Szw)5fבNOVTS( /2\kwЬ֧ Un:3d!o{NxTʬU)Ѭ+cʸEWџpBx!miq!>U|ӡ?*[3_\cX+ͤr>7i- eE֖]tGwAԝ,N;Ȩk Tq \>rm;|H`!|;D~~:\T# U21vUY`sV4\ӄ'D~tM{z&eK(+k!ě(zY'45ARlTO>'osБ sw-~Q-uya&4݆s@Lu)7q04Ga0q?OGcDT?*\78SR>95 =y2!@HY su1#%l>!H>GAktAe2R_uEܦO|>@9Jjj)%\ فN7LG;ݷ@'8{ÓTBu?]Rڿ'S_4Mפ)m,"ݿ%Ȳ TMF4 e"- ɊG`%PuZSFz_"n]h)-{6,;FvL-@ 7KQ6 EB t W,E @zNK+,0[$fRF:kҸI*ל_O!4{#,%ւ͎>L.Yr/i]- |*f! ^C&HYb /-$Gk2ns_zCė@"&kwȹ|7IiJN`X4qJx\-(#h~߹?;/v|$T3^&Zߤ=aKX^e"N̲Q7D1>NN.Um-}HM#j@_+_ԫ$ծe-v5SL$Xy.q^RFsrD&[4_ZoǠ#qM9꜌h%(^td'o=O;G>H`ZKjpJ*V'8J'2ZHϞ#igqEN[9.*y2v>ym-m['l)@*3x;;iϡ>v[)$ 9--d،a2P^u*˲%:m/,\W:vD%8P‘@cV}ϕsl~HowQ11,%ay *rOU\~5E꣑yʗ$5Ƅ)L5d׮2${~b >O346,8}GAE x iei<ˉ<ȗd'M[E A]t2V y-bz'Eޛt]r{$%bx9\|0Kn%FF7AX|FB>PLl [uovo}1@b)CE\>+ M 6 IikvY\kP(^dYe3TؤGd9̖rxk/ -ZftNK\ki+4y8oqTSm<*;k, ѥL:07Z,ya`ib\vYLw"{vcrTIKq<1nA}nlSO W:r{Pбf2 fiP`n>>!WfKC[K$6فp5:SuҽhmA]3 I$N>:%Lǰ4!83!˨ u(?x>wFR-xhs%-|k/PD>KfbZ}ܷ3~t8R bJP k[Cxpm3jdIoOBo3 o}:Woԛ\5SnhM%0*vϯh:gަ /+jx"BzE^% r~ ,zy>ϱd)DK6~ѵ^AËT >:\=9/?`Whfg*9–YIh=(Iw'! e=wq@.n%1YCs38<4ZO FK~/ g3uByX=& Ł&|-IfaBhC@HxI_f́L/-u`ZS1xYol9Ag <ҜT JBy% 5BZ0h7[Ɏ̭Hg#GMȃ /Dphzap)g.Rb$b*p;w z1-M@ BKIga'f zK8+E6_˅ )BQEx*P`јh =~'.HA%ϣ?"!Nl >CE8Rkߐ_iZd0Q=֋ BR[H=n;=$k!N >3QXX9lIdm顆 £G z,Lm,hJnÅ_d]R(tcip"q=f0[\Ѫ}쒰zb̎b~\]aFMJv8sNwJI0|jHAij,R6&{h5z4]o*knUTު3uMZ'Dдx#3*(0 >R.Wa_( Ky09:s1|nPKq+z#О^ˍhz֟4Zs[&w^9YDHJ `:_7[YGJ'`2/}>HՏ`ZW<s:ppc` C>Y<'%rKی(OKz޽B._{i1ʮ BY~7 sx[un4o5*!cv㰫uȻ0ݢl4z>iĿA>*V3LBRL~lhg=O R^5zD{/4 =mB#vj]2 Z3 09RofwjG\x\4U\힜Al =( Ti;&~l:I\,矚K*N0a -# =ٯC6 n+ "gr8*I ?vL!x <1 uJ#;"]3n~zc;M6a-]ձ$)hPMjUʯ]Sae~S s"@H:^vCӳFje֩;|a:S"?c/7 ǹQVQٲ(F(s`9~ʧ? `--lH @u0TG8+DSZ+ŵZ%k9+:rtwrIAX:QnyV~Z)bD);Xt$~ hv Y9/q,8%x/6kצ K ,ݥ.<8OXX=oJkٚuoN|T=s\K_iU@mA,9lX[crξd SAԳ(#sp"*ߞhx#j &Z0yj9sG{O7|H’pG Ac]sU2\ث_xN>x~?I2捸el<4o_Svgл?i㦺 f]YႧYL8^ 6B&arпv WwoX&Ҋ; ϴX}t0+a?i>-x 肈c3ӮN.xQMuD|T.x8:i*  &uGupEB'*\<2,A\H+qDa6,7E#ل公H2<ͼcsdH&S -7g4M lf ^6_Z-2>Ә&S{u$# G\W1QeI-~~@@xKc`&<C5%mz8֗󬡱I)E,"@=kd@;Ɨ٩@W6ӌu2'Gugu\7ƚ<@=@z庂aJ1U%8$U o9AwɷYAc#I-%ߺ @xyBOŒw$Oy8Y6`JӃrB0I`2B_F-^ty&"O \Z:NnnwGRa8.koͰeX[>>eذ`[_f"Ӫ+ͳKZf_γTٓ;R /U!ޞ3a (uiDCW_u3%ׂ:HpcKL@+#5D]LvKd6 {Ph8ԆKZMfv*9֦8b"V[%aJ0˽GznVRg·9ڤFyCˢ.jXӐ%ajM"mB}˷(@TnxɛnF,uԈ'N"*<u]/ ['HY'y'|{D7 C*h~Dc=vj͈ Cƽ$ p c#0QTc?F9I{]UU  e4/eVWcGx9NӨc?.djDH |/R8㖝>_vs!A dodyj" uGq647P^N1ܡ^I:; 7ksUx_I|Ȏ^QV^ ][2d䘤׽ Ҥz$Юx:&H_MR15jP^j Frv_GG牘LPiK3ONF9֟V1eu=U{ x 9Y I O\nzyN<+S^]CpQnOɕ-~ZyǭW~ڢ9+n )UKo,9h-ZŔt3B)`z7,-<o]%;ͻΏ/a=tg-2.,gv9CH"Na*݆ɯ \3g(&J ׃|U7_vr*̱kF5?*ce]2iHFḦ ,[ofgcg~#|%N!TW$!6c ti܂1>úg_ 瘴w!=\bD%1IHA1^fd5*V% &wBF5Dyf3\jMoa52~2ض$/Ϧq?B D+Rx6Ef)yDYEiuBh,Bi]fg\%1H]=>9϶3@ñȘ@ȓt _ޔqyo~µPOi`ER>$"wDƗ{+,7hn Mo᭪Z1V(;lqRŤ/VEs6þ?Xiܪ} _vx>f;$PU6f$$et$sqXU$?ٛn3cIX'k ܿQRS 7Mcl! *QIE (m6Z{7GZI %9=!>J i:q7k/@ iwtqPj~mo'g׀WmnZNr[&().}諮<;L+ YvcTrH8`OC3GU4EWfⴥwȆpD UwkQZoN+ˎ(izΕMOeK,HPQZ{ci/Ș%[[TzLQz$ysPǙ oJ RL8xH6iȚ%E:T uSՈd~/A(n#]w=Y,ۦ6'XN3j@ ;fغ/ ?L8~Ŵ47AMK{єEaG7'`T*R=G8c ukC;9^XkEjdn};&\.>2=姵Ov`ř%8WCKϳX3Łhx}= J-zbkV)xу65& ϪQBkRz}Jnȇ#c@_/nyY>^$ǖh5)ʚ:sn_:UpQFEʻm^iYtszloKMѱ`$-wwLbOt>#qb !'GƧ߾̣X:1Czq*]g7+$j@L|0nEڬd6^);_WM@lxЊ^F^jo>pLԂcXa-GԲ|n6jW`P.%Q05tAy-29tcjVX ;14&d5AK2TAqθz΅5EiUj,XXhYb0߄w+6~{x?+h_qrhL@L u;SGBR=kփN䋩XiQ/xѶdr,|"kU/k$Mb!wV6ƥI39֌d X(HAA --g5M,ғ2tx] Qphf/R;m4 ONYp7ec=$mXyf ),km%hU.%y썳 C᥃J %Dt7mRUH[gh@ѣ/f*POXLyDxtDڸڗȩų!yn$8;cŸS8|,W7vG~ܑƟǜP1G!ҒueNTS` \ R\UTXZ@3,xׂQ{巗>F0jZjs|Le%,+g𽕡č{&eJz@9YK;]G) 8)y B`n,i-C5sYsIY=";=XqmFJVC`לhZ^W~onʄBEۺnU>y?vRCBl֪SBn29/}cGiS,Й*iQv+1pwF wһV2)SF%R8cBc#VtJq#Ÿ@"]gAm XfAofA(!_2zbRѪUAE"Up޲{Jۙn66WmuIqĖV,p[=Nk+Hοy-%If9uG-P)&CRc$>΀uЦ 5-T3a- Q.3Bae>)\Qmd FkP l!R@11"% S8ƬcL=ÿAa6sdA$pIX7jR97 RgFM'V{;d)kLI0ZlX6XN+i$VI߅ZNrrw`/Hi9+3lvjħ ˳XNksg}^c~yb~8|[FUIЋ3^j4bVs1+Hp}OPѱYC &JsCV_|Sӟ.9M>QO)9@:c;?:ٷ+Of&vvW)?I@]1xgYvR-)D^!: ׾fJrP&"d^>^gqer{s쎖"P0ʫPib5i 70̲?jQYjV2DlU45avuj/v5C=:gR#*5o; TIm~/Ϧ6wSUqb8;tW9›50FP`7 KdZ~P!^+6x=AS\Kfiģd}:I&a{sA/;ې $PM8=ȁM,W7[i?~*$: PKVoix9Hˢb0v5G*_8"$[FQr0Az^r~'`&+ƒP|% \پ&|zMj-gmJmz]3ऌrs%i'"4NH#w.Vԗ%q"uk>eRh}nC䳮d8%VsC/.;4> [0 ОiJ]1֥[R` ; da>Ĉy u3/K.gZ Gˢ|R6c`J,\7m6 cet٢䱪:ehzoo C e&'}_,Ǝt*-f*T^s_ocMIoخa_zo Qe7*XҁI8<ąд^;Uְp5IA+ AHmy g[5,olX8gg9u^:}p-,/\׋v C(oW>qR{&&m@5[<Ի!##S";B.@9Qbu^]iWs\ \jQtVD#Μ 5gǛձ_ ?{d?^sc d/-O]g@Gȅg۩C؎Y[ Qf3C̼݀W+K ֫$p9_`f0$KCn;pnb:|TlAJ: `FuLJ w4aP2 PC@MG_F C+圌YR_n1edX8F+^#S4%hWv2d+r6as_vBX4D()=j,g*B@:v?}fgP"_ Tpu". 3T KnJ\H3"ށ+~Ql_=v%/IGOcQG=e` b˨_䜱qb3t2^"%h%%.Ɉ2s0PBh}CӛL\6|)Ta[/ں)4qMh7? by|Ad;4ꋧ-gb`f)Q32[NhO^h^'(lZ}8"+ )>Zu;9F@~c?`F.3c> zSˊՁ G~%Rtmjl5(8][!^Bku4vgP5,Uy6/@FTjY|.~Q8o΂@_=@̊?fܭnţ:ryM _؝&K名u2ruw|iJ"xcyP߀4$|z6#o;c+=(`IV|]*?`эvuֵT:B`7/w ?~ GkMR˚Qx~k?me< byx]5 AEFi ױ 5{RrJwi!9G):GLgQLm*ϬCYTlT4EHF}͌؂F=Bݐ nM͜#ٌklM\[Q# JH&C,~"~,2$󣻛[yŜ @? 5Z^)@:Kdc$ܷ`܍>'dh/_Cb Mbw 2n$da]:׆~:>EO]Fk%^5Эڃ[l_GvQ>Kd3+2p_,q ᑩOW#W;FWbf:Iy6n<\ÄS_ RG1N9%~f [ѶL"=tS‾?ݓW ; 0pGEy|Zk!Fx&.3Ƒ%Tq7z|e>D3i 6 G; Rq*/ޯ-yQc Fѡ.F1'jg1ZbB`X5Q'ţEw"JhRC56SlyUtW qbKs!>UؙS: t;N%5G&Ya<Jbj='j6F9I>["c0 n2GČTQ$keXr扚΁vFzGw+-hXaV6:C`F-̦bC)D9f6 3fL/ 6 6~o^/y`CBb3\8X"S{ (Tta+Y7/Xpc$EP-7Ը̈́~x>9[,a\_eC .>l*7,na\>)SUM7v aԳf|Sή5fLX/*0[gWkV&-UC oY/BuU^昘hmn([(u!aQt͋eQ`Z|3 /̛NrPtߡ1Y% gQ*txL^"] Iqף꣚hczbdȋ'I^gab"'@ l324,.D6cOD-tH+3SiE^OgGtSF݇xPrVͭ8-'|&G@85$%)ӿ\409q7_A 9 ا&pQdR:'oŧXr/#h˿=(!y;qa;\3ЬI@o[{_ &K…ӸUggt7GUOV0+\>K~F[CE(<8N(:1rXVE,,t<'_]toU*?bDNwV'%L?='d^_CUh-.}d`S>;i}s^\aYz/>韰"A3k@wO-hhtk$”2J!s{"6Z ZR yϐ` &oơ#˸ZTA 2(qߖTitK^Vk{ȮJ>է'y%gYZc;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*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 U FU,#/% 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܍w4G3#=% HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex7zXZִF! ㊓]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ӌjsau7Ll ;#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 VOh'n wyaq`!E b#C{CByƙVxޠ QA;Be IJ:ze1t D#/% 4HOL-AlgebraHOL-Algebra.Cosetdocument.tex7zXZִF! 7MK]A-MՋhvG"uIBm5|]v0?U96ύ:r:JpSX˜7/Ӳ3*V&5@ `#Gk0L^&[_KIe*Ů;&p9S)C]?AUF-+nj9~I]f϶mY=ũ:AQT_'!K߇S!4J2ZW~h>\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!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 t #/% HOL-AlgebraHOL-Algebra.Orderdocument.tex7zXZִF! !]A-MՋhvG"uIBm5Ń!7!lP_Bur7s#yZ   7#^7_ϳeUx5-Gj4GוaL(@ >7i ]tu%ʲtyB⿭5HSP8# #ElX|Go4&[k"XT:DÊ}z^ 2[*tIyȸ{EW$A&D}􏉚)r}ѠϲFؠ<]6ځ@y%|*]^fh+N76`b7/>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;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$>|$+: 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  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+RIu3r3SjMjBs/^:*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<Gw+vu_ǠR|0[xyfHe.LH!{gr̳l ;N7yd;w1)E=zȦNUqRW͜o'$i;w2]:Ĥk2- U@6;>rFt6~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@y4Q,Ď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"]6B+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/HX7MD ,,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_oGP#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 UgYZmlqDG0$%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 -#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)ttDgYZ 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+:ެ'W%]V4ײN]@n| #3% ,~d$>ˣ8dN]vlO w]SdzrAgGeA O 6fMKZYW@5#a 6wa$9ȃ2/ .))OicΖU ]i&t;=# SЛ=%?=d4ҢK#,Ikow=ܡ6GeO&,d7 L ϼBxI}ZB[.+  GǙ4P,Tʬ @p_/NG݇Q:7Zyk뷭XmΡM˫FFrVpuŬVdq#c"PFUs#7|=HXk3htG\ A2.K#:Rb;]gTWS5qP9U}iWZa?un/fd߹ljmvyOiS~]?YqdC@$buױf_ѩD|kw$ʽ}#a4CBan^g:Ãı~%0o.3PlfөzTx~rU }GRA㠽F_!'5'ۿH;]i3幜PvڊVzYF  it"yVa6"ƁΉJ)IB鈖,-^=m$xD` Mg;K"CVuW]Cu@C4g) ^XJ`X, ĸ7Jfur`$^p*؂c7{0b>@(PCAq(&&upcȏѧPcڕI\bkM M͔+oG gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8g#NCVc 4-G$ C>bY# $>B# iuKf.Çzh|XaGS3)Z w<<>3yW%4>vr\ųfUH/oNR3h bWԙ >~-4 ıgYZ7zXZִF! &]ŗXi%; 3;lW9oӨ?źaZEs{,|*0qnz19PI>(@BB|1fjʯfmwNAW4=GFUu'IgfXfl\BpP,O0'KEM){Zk.lB>;;8X,٢z*I?tQS2,$2+.v`9>iTg9hC%, { &VMĒ;D=dwy*n+ivׇy@Zۼ_OZ9Ƽc1* dGHK= 1YH&QI%zd+(J$t'J/6noosICW~ƾVt6]xh[T)ۤ(GNiR'*0G~I{U*5EWZSȺ6F9_rXժ6ccb6+-{;THw.MXu&}ȯ4E 0r(F1%]ľ8TW@J(&1rB"$M>mYW0\;ӓc/M:q/$uiCP?!ϡmK|x:[L Bvh*i?UUeD~#AtV)J.ơ,#ʈXqo縛cn GL{B8fXJ+lQOTZXSNC#:drcqx _.iz&8!sDbFzeY 8Fu-Mӌw1G*28 l*c/#-@Pchmmӧ֒\ ` 9˒KKDZUs.=DK~܏GimG^^(A֫#4>3HX-#G W`ūWj~n"E t?/0cpPE`3yǛ"ܔ-'JSrVXzN FwʖOxf@,E\::$%%&TAfQ#NI,>Hm+uxAaufvCg1+W =NU+{.|K j l,H!yw5_z 焀LlRt*zNN= ys;+DQQI}nUPr j乮u@fU'w?x{՝4XO'oУ?ԙK6D6~guWc;BU1] nOpN”` lg^rVӴ#֯fdȰQi챑 +==4bgV$G4A݁3[p #TB'#ʓܫ%6_ \k^DŽcS4 n/epΔ֌&W/^>5Ž G zB&A[~JmUJ-ZN==ݭsQak4ǎ{nmn$窕3+x̉8KU$ÈH XicVEtLBNR-Tg, FƚC|7϶ _[urwYʱb^2sll$#b$z K @ } +͆4!{gGfl4@F 1斑DsG_]tk$|"p<4 w&O%.b;z-hc;LGytHP|H_=NjfDRJKY#ģz TIt+Urp,˝*JXDkY\S wZO~lQۡ LMWIE gd;攬;;zx Z;.͑5qwlyf~h8KJi(rMu"pO5txeO'r7 oIv`n9H-amZ^19pC{JB2;~< ogٻm9"ZUՕs>S/~Gm'~hm7$'W˔>Df9cjd[%E_IE2(iQ"9;ޣ ? :{rm-h~Ğ:IDk2uSpj12elEoښS4GDSGT>D8V uZdؽ\*Xtx>ށw9fKꊁ.[LX-L >S{jD@L s:Sg j~Owef[=" εymCH:w_X͙CML]VtE>j7*{HcN.I S}ga}O~R?bc5I]+Uig:g/]f}9pMeM ,d\$N'OzVU IZR. :?{HK-̈́\S+; UNJ**u@TW6A* B.ٮ0bzkՉucyúWt` 0%W q_vajyʕb=,:V>O9 Ox*R̻8rĚ;*#bsVͧ#ָ6pKqmg:X0 v+]T:놲Ȋ4q+nxv\j@ʰkt2*̟F*Zp؂c4wh !FS[|NmRn84=zc2d *Lwuo ÇUA#ŻxGzV|jǎM7zqq,NQ 4jM6P;GIpJXE.`GZVH'=o`nck[-oZEaY@1۹NnlOM=0ۡk{q!"A!&~`Cϻ\|T=ן`@ƶR<=vM X+8ua)d߻n)PvCF CX@SWF"ʇgh$iJi΃_: Q̓զC̦^_L:$Sh Ob45hl>&, U$B.܏ttRh^ikgܳA}_~ˢK% GevxYR,诣 aejacH1TYxSB1oocT=%&(\u Jv_.7ߵxoԯiIfهp郍@ZWh}EІ!%˗-Z9rꤌ)I~D&~m0x-aDSsz$CѢGWBudw{*CUEZi̅DdRh$3HΡ' rԗ}P3/9ИyČŃEt+ (PsM;;׎፼ 0)̕+W#<0)HPK l%lžY~9|3l$2-$%a@ eg$h}>LGG5Siö#/[*bf,ԁ&mgwNdXG̽sJn W[W ׂe/eUS}}ڏ:$V*ooL粪Q)`e:rr0B5̫ 'm(,<[:Ma#+90BKcduK)MI:^5LՐnl4;;0f^GpT=bwރ0褿e[ñfD?g 1š&hO_~#uQ| 0fE~xu"[~ :v[h.;^}=zs-k{G'ŘW/{|7ܸ+{hƴ4oƚ=݋sKUQ9Yaqjȉ{qWd{UN8%):>}I{ycq=Q4yZs&I.6X睇ш֮{`kEtP_X]0X~`&pf[9f=tr2&,g2yFU[0"7{hÊ0FJE~KHV[^)m+.w翶O% o8W'guoN#5JٻRwepb㵭pE_Th-yre]r;dv9Ei`47!rP^#G&"/$ղy%͔84& [X,)մ0:G#6h5g̴vƳ궒[Wڷ<"50r=gYZf4cd15b6d4139ff00815319a1144fe185b1bcf930bf2a27c0ff6a611e74bb01f6f32875f555cab28 92784c842d19725f296c8ccac91815ef43f559b8 13eee65bc2c09ea580fa7142d5900818dc646c9d 3fad18bac4d39c685be76460745a74b8f490b6f75d6c9e66263583c5838dd8ad603942ad836b9331