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  5#t<< ]S]HOL-Algebra:threads=2elapsed=99.026cpu=178.036gc=19.680factor=1.807zXZִF! cU ]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!f*%R.-uΔ]B3a >hq,Qߧ9n-v>xt" nKJum(+a2|`9# a 8qq}ĞYMs$#1>;~/ &U`S1C^l@|;-s'd1vd]iV)ecȠ5ϒS,`,痺\dwtlOZed:(+*hR':{Ew#;+[u u£BؑHlC'{ujy$BSL=柉md,eQ` vK # HOL-Algebra J #/% DHOL-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 IHGECA=9 - )#  q  ; q ]j: . 1i c1#5%HOL-AlgebraHOL-Algebra.Exponentdocument.tex,#+%HOL-AlgebraHOL-Algebra.Bijdocument.tex/#1%HOL-AlgebraHOL-Algebra.Moduledocument.tex0#3%HOL-AlgebraHOL-Algebra.RingHomdocument.tex1#5%HOL-AlgebraHOL-Algebra.QuotRingdocument.tex.#/%HOL-AlgebraHOL-Algebra.Sylowdocument.tex0#3%HOL-AlgebraHOL-Algebra.IntRingdocument.tex3#9%HOL-AlgebraHOL-Algebra.Congruencedocument.tex6#?%HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex.#/%HOL-AlgebraHOL-Algebra.Orderdocument.tex:#G%HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex 0#3%HOL-AlgebraHOL-Algebra.Latticedocument.tex 2#7%HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex =#M%HOL-AlgebraHOL-Algebra.Multiplicative_Groupdocument.tex .#/%HOL-AlgebraHOL-Algebra.Idealdocument.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$mo a}bWE9`vƢN/_7 ؐ'xYW(p$UI,9؆VM!ֵSO`&).;@oBEЁDUtޣ;ہ"y|GBXsbd;YJFĪmQ5^!OE/;xoDFXT@3MjE(LSgKrˢ,)sc@{YYp5/݀kJV%SǯEK BGH}`KVX]:0ٛ ڽ +“U`7z`A~r*(֡;J?- ޺i=/@cFul+U\єHx q#Pa-lN/is8ƀخ{$Fr{V}fV)K:{"t,eprT_Q-WG?g2kli23)6^Eyul7𾿣-{z?hsZ4vi@>\FJgN ǷCᨓ۾6G&\vUi+TDC79lL0I$Ξg)<9mtԁvx҈ <=u[O(rUy|曏S筴P໤iR|;z@4@EmnHԑ|#P6'l3IM)ي4 pW;1 _lF=b*:)詽3jT>ӄ h^[ <ɡ|pkۄv5 >?^b0\p$9{so~Ϭ~D=G/Bw*܏=]7;asL%Wq;Xr^:$2Fˁ-ͩÙKSHlanM/_43|~u˻?'˂89P`@̄Cwt.3$zH _A̞ܩAC-\.$xǙKdbщY;|đE {`u~U7lxNqBy: r^2쵩gAZ;-&\&@TI XyTV깎g?*( hGZFWE-V[`y.ֻ4 |vHE*lȞ ۝G:U.h\AN SEӱ,.&zT}m ը_Øy,y:ͷ.ڞzX<7Z9B:Tv~GȍG>;$JU/Z}w(QzOD{XSq?ޫGh6Ȣ'S nhCo[F8rJoAEsaL;Ҙv5v\$%yCwɛ6zU]lV7cw؊ЯbM:񌋄uɥ%o3ZN.%N1? (`a| JpcRrH&\;?s2q(=F/w;N$PH癷Q+ L`ʚv~&K7Xh(5+Q;!<^.MxOQNΈժ}S .2;`m^_:N۔Ol2X%Ӗm/-aO}nXm,d&˪Cdhomm$:j-:TӱrW{.KtIWSAT~փO6iV6TObGQR^-qw[4tPKQ & wlsM*60T+iT5.Y#prStPºoV>Rk}.I},q3]8]ö]@H;b# Gnq?_6^qu Cp~G葕Έ[i ,&R! ^/y$!">& *X„<$sFTX_3%,Ú;ήhqIUqe q%P, Li~;-.`IfKZF:5^uKsdG'u4g1-àt0L|J<,ļ9"b&tۊ/t UW9l*~N&I/ki9.:5mO6V62 F38@ g2^!*x#π"t,W6 pB/tH*y1tvlkW?ú0C`-J2̬)HV2%uѨ1r%8}+Q΍F^1)Jb놗/8 /7Vhl# Eb1,%EWNǰ7"GH-!iy39cUtНu2ˢXD 3&^ҖA}2ZoXݤCV}ƣ: TC%U3ka6DLݮt ᒇEQ`:0^ӥۣYGEDU^!J\ă_B&bIQ2Z{AbB2dl[o&pvShkį١=j Z͊6Zy4CtѶb~4V#~iM2 ߳'9 Jۯ.Țrv*.w~(ӈVAڻ/h" ƅn`swq;vA1ା^tA]KvfAN |9 A5u:3Hzu[pɽSW8 Nxމ9E]tB"E9bUDO7NF(Eع pشYt1:x FmAa+PgT^}g=&ԺՐ,rf#2bs九W\J0I 5KOi\G׶cC"8$p8i_-6HY,a<d=ʻKPgZwGPYhi`R0.? ⒄˟A E])'n҈L+r u7@5i5qm~d6c.tJJ@Ӑ'buw&\&: At}F+VJmCKIk [ "*hJ1OW̪>E6\pA/@H2 ZAlkAEg?ax }he0+0!;앗W/<tMh0rWVyͶK/2LᾼZrJL2UfDV faѭhj{Х6_^a61I\uE;:.>}g՟_ǿҪ{Js4~sEGH)q#P8l8X{XhA V)j-H4cQ&;#bSpIּuN^,Q ܪBn nJ9S`d;16q@vFJ'aE/ `,rbٮaDh[ھ%3+;k*C-HCg! TRhg_HmMb$&{V[Cߞ~E*ԳΑ*?6/fGeㅕf*n-{#>OJ <.bzh42n@dP^$vEt/ڀ\AzӬL$**U$q9CuRhЇ8CZ@^gR`4ە^VnVY_ 7h);[<4I$!Ṣn])faїK */AW."ID ^ԅR V["juQC[ҵ&ؐ q1WZR2mbIdkc"lbUU12RfR/a>a [xlE̼9@_ dVIM1k[9-֢Kq? K#h1aGf$ad{jDO3xC=a7SP'bz*83 mDއbU_cBgW ~^Tz }!AEnВ%7pN6/?dK:U sajƻ\Q M J幈c-7Èʱ@zڋO;V%WJݢ#H 5W.Nl8ݘTkL3,p9WS|B6wqsMpU#6CD*ja}k'XJ):f VDv~[rp4nE&(;p\ox]_n|Nڛ3qDY^`9O)6KAHe>~|cPvBsj3}EiE:vI bfih\1GG)92 6u@`ȞSaRsBI5.>,HenDk qcu4ŹW>j#(ǯeMm´[fLbSՈwMk3 UPq9/-Ev 5:+/ȷ[. °9^ATo@nhAdߊs5˼(֘-&aqi2*HFwFc4m_7󃃐lHָrsbŒza: l[q3/U%iԋqXS+,4.?7U (hMot/ۊAiUҕҲxa//0U, Y}yx HZIiB426ZoD,-8{݇#YCYfO,H)QBtLw; sju^@=&CXՠSKjY\Z+ԩkr 5UA]v{mt r"6o\Ż,irc茤7Q+fuqO_.@B1f>(^?,d< j>7L yW;V؍6?Q̘nmR,K9L˿E#z"m Feot4<8ǨxM=-L4e>԰N k7e>s_g) Y ^V0x\O ǜt{WO861ge 78Ѷɍnr=Pq=VԯבԞ? NY U}M1e3!H3FS.xU%](qj5}1ṪtEѰ9|WᢖXZ+&'j ?zy/9p]uUMw~+knH};b1 B8[7%у Иjݢ'xO^S* c5bJerD[&DV_6!  R}JfJ&GߠC#Q37GO"ьF%w <Luoy񄱀&̆2aePL=RpAi3OF/?`sREaH%uUs>]xd#Ab]2 qbl5􈉪.kN8‰V5b6q(fb@ }۵+>dV1Sc-^Rn:-f*]Z]O }&M'/﬍HUlUP &rj6Cunu.n3?ӝgq>wy,ÄN.6$c,ZHHsp\r{,0U ԰Jr+>D.@l]oT"K{x.re(m14T&4A6yi7}^R bLAl[;Tl Iqަ7ά\Uǐ,O*qb{Fw,%~tINa -ܙUy^tE#>~^G I VXTdA|1tN;#hvn'Xugr2WG]Wlf#MHg~5=а ABTkط?†H|[uG5JU'wI}T)%Cڼ|>"`8N`vnA\2Z:R'R$Yj̑eu[^xrgQc 1܍?7n5V`` "oM"8θYF>)%Hc^ck>R6_Iw<7̣d<Ȁkr d.@qheXr;Ơ;&C:]7fߧT O!EOQMUղ٫ ZEB)?+XD^ IcD*YOȷ,-|c1;_njbГa\L%}^g[E {ݫӘƒİTfT+츙2/]g8G mw.Y*H_5ߨWw(a# MGRT|ÆfEGe+E(l/8BGX'QKA;B*Om $\< bH-Vt7p=Mp^'~mJ$tx已=M ˉp#՚fu(1a%>a7_ITO ]І zZ3hWZ5q "9Dx[h릃-Y ٰ!z3dVMyZunwP]^ky) Twb"=yoKK +0$"G^5,}`)z Is,'7qd'I:P üB]]ɷ8e*öAs<ݬ7??`úq); y(:,oOn/DrgR(W] 뙸~jl7fTZ7驿>vFp95?I07Yp'aw*SL8 C1dVB ˅&px;;%69\/-k| K1WƼDQ,QYLfr0Y[,ge,ZNA1apvEgJ$ !_5 !`Srh}$2(@p;c?CJR}DEqXml$ aAlϬ cǾͶ#s"gb/W&R}?Hj=ȷ9CR\8^[p9ַԥL1[]/X -My,9Y}83RYq~aZ3BPb3~3; ]cS)rXQh;(*++Ox~68/՘z Qށk3@ły&sݽ5U1:0?Yl_5X?wBt'Q/k}]{(5f1\4ƹ7Id 9LfTc(@<Uƞ?>!hӹ; CϠ4"24j%083+!5Y섻4w1#"_/Z383!J]HsN )B kƓ:I,g1KteP"a}aޣ":b]ڠӯ48P.s{ ;¥1(x/1$)V(,pZ7&ܤ0<+hVW*HX%VkAlT:(L0 E\EEɖhkJdc!~k2! IiBqI3o\'30&QTBW9@ON2qU)tho|\[Gb's>B)!F\^K``|MKGt,WKfG4bX*-Q5aQ;؜X9Vq:l, 7\_PB/:=xoTk̭$w鬰DAؗˁf.GYνe^MUQgS5 ̀28n+Яtgn)Zi'"1i`o-y5$ܮ8Ջ9Yk]:Ø-.Xp+P]@t^T$`BzѤr[{|ͯS2HL/e}O6tfտxR+['BjE M j)ǘWf쮘t =B]UV]ը Y돪|Hu[4 .劻C'T\'e3Z:2*DZHӗqMU,a?t9%r6̼i@aޭ_RjC;,=_;ߐ</UvJ@>׫SowܕJOR9&Fʀ¬F3Al:> }j0q-w9{jiwT7G1EÊdPL0f۝9qC $׺L(00[AIfO#}G"Q\9ӇOkR1j'7gс,u0Enӥ<'ALW`yV݊KUJA|GTVi6H3U?)g颣kx^J%9#.t՗#I\}=&uwD#cĽ9$K7/1$.xT>4ٻX+TNW;f.*w܎9=gj%9줌`?؂P~ 8#:Bv"di{4>wؒ! Z)s0O~=TòqN*piݏGDMZx8/m=YDa_SUTا`OΜ@z(`CbCX)B'%rVĀuA [cVM'&j^dT >6;ꨪB7\s#Q\mMvB}-AF8P7i?۶./:"QqPʦ1%rvN6|;G νi^OI9T јL%3'F0.q o"csr9]!JD0= e4ƳTMB}KDdTGhim5 k^kTV~ZÍ1{ MOZ6½z3]¾<@m i`B҅[+bAF2fY!¬`bɋ"7:7kIDnj6bՎv'#J~M yֿկ$ԇȍHLA$.'LHW"u1a=|XR'kĂ6-`vmJ(7lg\NbN~Z5:FAmH0^:S[i/qFY40+Ѷʩi(멕􃴁tA?[]/@pNd-0R'`>5L {v= ߸͸Fur:w)JejuYd(P=3y A&H P L ۄuI:Y WF,GG:`ϭвmSvSo(yȕ5U B*uԔ Oc-;l!8;iGd͐nuV QXjzK2㹆Or O0EXAo7VΤȘ㇊7:-*^?k&fPDsz񞇦 Oo$%HͨZI:9+'Mϰ S=~x̡B!Eo UȫlIR `Z?SU~ (Vax1BLni_d!}4#ݢ1(Bca9֨ PXI _fpŲi0ظ,(r)4d5 |x(A0& +@QuI^~Vp?Q , v =̢lxf4R`Ǖd{8E sRd; MP|WUjp!|B>Jh,u8Lv29f`êb.S $Xɞ3K}dy-.]CmyqO*_S@X"~xzOɕ(>Lda47b_:F?i{eLzFZKU=$Y(jvW'l1e+ee.c-"jH:Ɂi˟7X'4gоesox56_U?zܥ @K v2pPo޳pGH=n̩ YOWeml8|f"՛l\_b7K.Ig8l0=iEz3>XNq$zXXl4~o.k7xKM|}H ,ĄDJU 80 wdC;XS6)AP5/of"=ix\Eo!{9/ ]S5df X3|) ]첅*џ۴vСŸk4EǜBjJXTbOs5np XUq*'§dg^;<4>4!3gKX'ۧ6i"s3Oukf^PP[su ¾dfS0wC%j>O+ ]"UQ nnn:QbAܙIE oT$<ཧ eW %RVɓ@ġ턙K: =-5I{8A~w5ސYÐ5alsЇ LUNiJ3 &D߸|jakyKel2uims9*>_7 {/xGڣd <K Bu xCkn_.BxLvbou$moFM7ES{fU#9Wbӹ@e>U_ kMoWH!4 ^ÇP&+s*,{j ^j֠OY+Wl>|"c;PYNFGkcV3CɮR҇(^)hl_(dL eڢ w/BPT5’J5wq_UX(lO=h$}>0K!l>>QRO'1ބ1 dgX8DϋG(񟃜7$DFx5T:؃ $]2u$Ù"&&!o&./>̻_=['lp2Z5/>N͌zYHkc92f]*$&aw FS[`/G7 ~Ow >bjhLf `Iy!S$\pG>Rt/GI4uoB?;_r4o&$X*w ԢV+nϲD38Ik~1ĿES|&t.uu

娭9ٕNz19Z1y0]Wct b`XywpG-L Ca+~[Fgyshj;WkDZdx'ze*{lHU06 [B8(&f+#k>ܾ@I]jO1{G-T坔rf@F&>lM#ER(CkTuX'*{"GI_Ue(h<"[-gL`KuIZQ&v}U)P[//?+a+D垱f&LӁ3(A+fCgxu-=&0_G~' , {nNv"{E89:I=o=wZҦY= g<.9;$vDNo_hTw>'Jӝe ҵU -7PNK}:;\5ݦV|s#i@U7ڭR 0]O剮_Y~P^Z.]@r{Rކ˷yDcGPs `#4m,+sRx<'/I%zxv EoIzL7IHFUw"9K&yy06vT re~ؗj `N Dk ]`zr`^Re/jU3蔹HHpmO=DGgXasɏO0$%3|~ y RP̧I/xUp7\r,\q{0E OF=YD쪯;e(NDX^AMI 8VhkQF2i @V@{ p86gfWB6ULe]6~^{(v >rZ01뜾nΤz E4R v6 Ry\Tb}+ƦO$B,1,.n/4U : ̺K"v2hfQd Or KǀP[=.K|6:?;bլU h%k|3{jœt.t<9 \/ R\v5SG-9!g',XqɷoZlcaw?q?z3`KAGd$jZ";"xIV[9V6=x'`npo/KGoY7(<;2AnY鍑'gW 5e\F^Jh ; 2 -rGX? lk;aEE=lJf-m@g wv[a;#o걯2XA Zw)ʍI> nHa@7lktBvԫAUmϦ wIcBPp[ gYZ-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*j =΂i삨Jtӳ X\'ᾠ{t+"g q#ㅶ.qjM^Hee3K m<)eLNZ۴l 96g_8h+~lO69=uJA<(`Lcx~H|!g7:I(.Qm 2#NzpATkZ5}%?5%PGy` ފ*ᵡa 9$գ$ejܻ֠-MEDv 7gɥ>nŰwM{dQ׾VB2W,Xc7uƯfYܴϚQ4.$O{>0hV.Ps{ϯ .,(r'iO 3#NB| i,LM305: ]wIoa_Dg Agd^4Bƌlg&eBJ@NjХĕ>pFm)0Pֽ2=2n)9J[ŌēQ6x4bQkh#1q:|3˝]uٝ<DFn5ӫV)R'MڰѬyx_[㊢B&5w,z4iM2z $h) $LUed%|߁ʹM9w<-&K"_LNFT ˙9'B:+.Ц)<;r~Wc-l; hu=Yo#ZW *hX%+pUz h-HL?&cQK?Tu.ioel+_mZ0јyKŚ}SiA25> :tR`͚ 6{Ƥ(.B?Q*wPWnA7>~D԰a@D,_F g/l$՘Y6|'M6J yģ ~wtLd GpP D̰q9݉e~5(D =E@ԏ]'vra>[O }]\BK`k4pL\AN#m^Wg< J>wchDGULT&2Ag?"ԌXܙ.l&V@]K{n@5zlWrW6:Kݸ)ތLn}WsMԓ镱Qߡ 5.%Z gkߞ\^^9G76 VSǑ<9 ߼b%,y!xWh^9o6؇OnJ!ȗ(ٽkMyiA{W<2. ݉FvKJre,*.:+@ȭ Lȇfk[w j>bAdTƷ N);D?oδyb\eċ9{yiETǺ0K0e_dձ,8p3W4~)+Rj(My|hr i`h ^klݬ*0}ѵCm:B (]H$^}6Wzf/)ɲD/DP點۾ c J]|s1X$wBh`I%UH:&)̝lZu' 5wy MCR 7'+z~|{A{-8(*g3Z\vlu;NOCC/SdiUh򖱮3cIiN9:Oȫ1Sl#^ uNM,D6ۋי\er?!! ЮO|Z @-MȝZk]^~cou'}x勴FS##e{'ZTTzDJ)ڊ.:Z$f (11Lldjٶ{Y>j|qcfap-G][N>b|_3A< ?a~y7g8Qz޴%ҳmIF&xzYwhܮ?XfɊ[D`™bMrCk90aelINRƺ|8: @lӡEAW }F5FRM^n5;HwzǕƃ6A|sF9tn i_5ћ}X!\Uׁ;AЏovɄT"߷U$v58sYZv Sr^gՃ+T"a6NO 'Jg?&i՝E +gArPS^]zpR57XAJ X-Ž#% =6 خ"LR:gF{;!\I)*;HKʝ-m!rϐRJ(qzL|(_+\bJ yx)$x< ]k@(S3 Q3.'rS)URR5Wܮ{ ȍfy$+a)/ބt," G gF+ ALgLpeLw I -dfޚPZy0:'ߧU_eF)Ttq/fysi-)*^ *y:GO⨨p Đ{E&FWo8ӼC.!MwpJAm21Eڂ4zr:*: ܊ȝGO"&zgn$ё<ջJ[T}NE{s)fcNӭ69o7v>:*nk;}_.zF >HWE66\pU[%rռرMH}Ү 1p/F-ԗ8e]PNd\tq3jPEN-*v>Ic Oo1]/*Ww1@s b4bz</xM*bf̥4h %࿙ӣo 2-˭}J/݂muxͫBfu@<@+Mi,i[گ0>.*p-h͝~W]U~|KKJ@`Oٺ7TѲy .i?Q[ԇFK3*y4U9B7lR7Œ3Or {$ٜ9?G'xބ@ 1Ji:EU*[컕EcP@ _W.û HU2|<3Xu%I`S`&$tJ//b 9g3ojpMR(Q XˋYxVtB0a1:&pϱl(%viF&'WS`3<ֹ1Aq|2@ɝ$5iLt#B*̀:j3D:BvsJ9`5f 1W{Vy{YY&d25xprr8c?~<7mkE1'iy3l>n־ tX:iĬX0 j|Ww3ܜ`Gn1uћC23VΒV1-,OW%8agV()1#!4Bұkb+4Duyͫ%?ArN`zU%tarNl#o<?˼[^'B~jاW{IMԟq;|b%#0sVd2IvQvĘ8-k`+huPs8wѝ\;'&fOW-3=dR x\ a};()͐_C{TI!^j: hQ8E6};5 G!o6 +DX B|J\= 9=&vHACΣ^t㗕/j#uMqFXFb/bc3rí?Q^.k\~L9toWF~-WzƂ|Z NNQ em6~{zMQ$Mis8=N<,p͓\&<Gk*mE!;q9Arx@좪H B5 f9& (V5 u``DgȻAFĜ7(B=cž~tBduWצΜ%ckQ'mIB'4p~~efPrzp80P' 'Aخ^x,wl(y`?ubTP,+v=E "p:LhA)KP w\u!#8XR؇T=?n^|ѣc NLƘk{>aj(h%n9|Wnoc1O\yDL:w4;Bn }C-6q;)/@ ![>TskIgOoM̫\c\Lf2VfTC+p+B?yhS˸.i-uD$MJBO5M}(+JgsJ+7#L ?konDyR!x o7>V#D޵HV"i`WMmM `}8@̣-|hmS8I7 _KM\gnEefqWiW|$9ypx~LkT%}'ԗn#?c-힂tjؾ]V޼fz#a.+At z{B'B1y}F"4X{ N."_aoGCH6'._%: 79h4yR2Ѯw뮨a-%/FL)f]UpMB n90X֕VؽH,\ۀ[Ne4Rg1l { ܲ@$ g <ڗo@"x'v >.k-6J?uh=J- u ~^D:Dɛ2V, 1یbb1x*o$qWC Z+2O!߂&0zy%FDIxRZI4|"U^oWv@,fǙ-ٔiC<, L^z Y_-pX{BF8F _fp:wi ~Lڔ)Q+'Z%b%E#E zLJM$r?9| pd;\dx)^Qϔi#6zJ΋i6D;>nZ`,\1Kpվ >T,zB!|yFGqhVCO7;l3 OG _}joIs^tFgL54ӹM~+d  @AIufX_߁@҇> s o5MPe2}pf3k#jkNQ]wlruU͊Ң1loJu7?-B ŭdB8W*]ʵ Shzw[.3&&#z~hvI~GpbxDO+_m]lrxVj[m%\A dE~9*{o,6 Њ{V`ϑ=#pa6UHugVL/QjuieQV@jH4,i*v'knkC)B"%1ԾlڳW"kMr?m ["x@FnBPTcz$ jP Xiߪcn}G6=r>D7Emd 㻌OL0\0ncZ@43hQ>:$"oD3wUbNEnjN&53IC ;YI;iѓ33:;Y1buЌvZvYpI6rOD~*›a 񕀌۷_ʞq޷bF'w4aTwU,őMqC=AtO[a˝0?bI{586Gjk/.q5u/cW~`^VF=#ي\*"].L<R&?*K.VH :-l%id&Uw 5@vHk/ ډ & .F%Җ:Uצ;fɔ ?% @MF!r3=i&RMU6+:XL Y:z>"2="m:\:[ 9:!aDס (aP.ߤZsґR'6Z`jڑᚄ<)x*/kf>CsY& (蘚=y /.Q`ҍX%ܼ`#߱S"79C\6|u `7Ф}z;Z;C[NyjPk@z S)ƶFƟ&UN5O`jF_mM a =BIݹ,#p nYkKܱl368r.s̊V/Žsȶ;_<6iBM.Gy|^"?)q+*At<Ez7L"Cgw~~$TZ< ;>;kka F7Dk;좴tM~K{P&g" yh* #3X}>H='%Hsș(.{uE=QZ>'EX*:8L(5>=H>7xeOLЦ D]דfv3eZc2klրU!H d'iCXJN؝2J5R(#Ddn4\Jw.zd=#iP?1ƷcGŝs} ߈ps6\7ԭΝFՋb\ w*d76r NouT-5Э5""Q Z FO'<`*@laF4#1dUzbpvQs"d<3g(44MU2ng ݃{oj1#.!;-v[_ jE068kAO1UԓmQ< ~}N i!Gg&~iaĕH C B[U1.3پ 5d \ؓQ-@by!F JOh]/EB;ɋZnZZNGr5ZdǕ=tp[{mdfqI^Q~E#b ^X @[{F"c/J80mUKZ<8Y[֩]WBMoPzW՘5 eZa6$1֨fx\o:굄0 ~D#ؑQ|c$5}yp(1)xQ6mS%mp͍h5RwG@`D&sv(C2׉4O.gL =)W.Z,njb1\XG:h̿'Az-D&y&!cː8,b/e%$iZQ1@ҟJ ˵@!Q'e"B';kT\%{/d+/LYC3 fk,+*`v͹VŰp0_rYԇݸS- ioO``SbdzQTKzދ$ydkIpss͍'}Ծ!='IrN<3F׮`}Z]Q|oiG)yHhCڄ/M ǧbdIJl%7oyf nRʟh ð `[oJUamu1̫W'멢pUeh4w'UV $|n >T^eDt w˛СY=jҢٯ-":q9kMi3-GF25%R2AޗN2; em&V :9SJ)C:ۆP}l~՜36NͭGMv]= 8OLqhK+Pj팫xp9!N;q"𧕴~ ي4P;U7|]1[L[i3Nl v\4xyZ=hسWdMaVΆfr-t`eQݯ"QZ6HV)Œ )(:^cM*с/^\sSg 8)泞KT0TE= 'Ro_ YZ^,puy5ppD4iҾù2$-ſ'UTjʁe4<:4ѵ_KDԼoxG,@RF 'U,\=g>҃H5’mяH3 ;v蹍pecppGj(sHި\' yFP7h0Ƞأgh Huv-rwnɦzwx" l)#L,/A-_}Lз.:Wn$ܲm)'UG{xq)__Zz#c&3D| @QGP:pJKTt-|}4Q8F w+>MUwNigtV|WHͮ {:WU RViA/)ġJ[o3s"hC'h4:+7RR(od)`|NMZȤU꣥C8[gEr˜~i $$߁uT\<Ƴ6 !ƒwWޞFL,y#422ջa!mEȘ_kJ1  uL x/6f'S/]b~C:3®T([ˤYu7R,t(':A@[mKf\.b_?D3{4Cw=wg*9V@\Pz<"]ƊG/@F&E42CXzCZnk;]}ױtق*EC$g?TFbV?c!U8P3mۖ/(ʭs'>29Q;%*SVtrj I+cujV_9s-ޗ"@E;^C5N maGA*d}E.4h AS& 9{Oz',.bDE>P#:PXdǾ3j9Z~RL YG#a&)_ld5DS@6񚡽ÝWetmE0_ltQj8of$IQc 9x|V̰>;P5%B F#ȗ%΂J>{UaiS‚H+7:H6p1>8VQ(?hROYN>#})L6Qy2?Hjq ||M/EQ~#r^֖k7S<>$H,igDzV|"ҿD]$S)3<[.v0~UQBeTwqp\XkXWe1?>yM`XnƐJ,+ؖv}dV0`?~-&b-uh 9vW|߽Z""?Ja1B= gF^ЦN+e 'HL!r8d̟|u8宄 0t͏G}l\]{/@: B4eeڷyuBjz$Xk*q'ivl}) 5.*6(Տ=aw\MsQ5Th>dY[2G?n9a+&V95*K 'ON:nu)pηxlI+%)C`ĘX>Gk׊^] c"(ͻ60N!$+`Μyc窛_A Wh.0Oh`fG&}H1~7*-Y|DZ`Cj`U.ByĘ '"}^$7C짌+<ӇdܮSݵκC|RS\0x[lYBYWF}$D@ioJWQ6%Ę;i㖸aW98;]\A .z{O93%&h؋mrYŦnWyQ;o9]ysYo4r `-*\*PLCMntkƸiC'=Ȼ!!Z@߳ryJ2:|v>L>hڃƺTDr+;S yKE." e""Rh7eF6&r ?CEa:kụBXdۧgэ]w<owf:k hi)`@6Xxi-k2Y2/-fQ^fKب}뉀}HX[w>FAѕ`r]*)#f)%c<$G}ꐃS#gh>V:/%:3cJe%H\KWNԞH@UM1B'qns~F6Z_z)הG"PI%|\XmHCඋj 89M0r$Cj|Ks}2ɪ6y[jzs"q-6χ1h \a?J4eJ G1-)^t?OJ^ UQM~#'$1<ƐᱯK$ L-H$6ZGTK@ F^JeEc+]`~)JWTe*$sӑ9Ͱ1>ݔu}.[$vkO)r[Kk[i`n&ܓd?c*aו^P<Qz8O6v%B7Xѐyd>҆Sٺa2^,rγmpPH > 8>|+7bf4o1Όe;*\ԗUY\-DKE] /utVf. OeW ~AdaL<S]΅,0S^-.J˗ErznD>lWmhjO$_6"T9,U9mnȫ Hsɴu/ '؀t!7&}1y^V+C 4g}ѶJNBg}:Gܻ;:aPAHPVJUWau<} '5,.V_~AG [NEnEfz[/BiU<)Jã3LZ9UAHh^<,6qE&w#CT5=9GQr;'\Srm>Qݽh Wy˽N6ɥ;IԈgC_`5r# "8r7lH; >Ɵ=_|?y887̇ڛO J̮݇0t5^[vĨ[bf5Y*y7)h#twȗzn[7],sze[ZnGv6Tgxhr<`PNuϴ JnL+c kf$qOiMa]B+)S/-`'}%䟀-Z-Xt)Zde"͐Y/wC*{0Zxtϱ2ҧ}-?F_ nF/gޮF b>EH@LӍ6-!]nzz0EFI7vJYZ!4ttA1OancoPi2;Os/NL-1d4+UxcqrǓ Zx @!\hBehX߽[s4/m3fUQR|;튃]DSIx5vvni#µU6 L'is^6Āuo};eD#fw1)1Xލ)(&YYЀΔtIbP]nX`T맫w]7D2=Fݐ^#TJ4r&̓uY]&3Aӌ rct^1]sz@=} heTh' 6bWX&4rb Ayhr0:A<  *k4OeOTg%BvuCUev ֑ Gܞi$1bij 8ZNybtGvN `ݫ`\] IZ.2Kc2f/XoJ{YMMw Y,Þa}.*E[|/{&4{~YgYZ U FU #/% DHOL-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 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( W|HG1ʹ\NNm(Ʀ,8-룻! ;\JX`OEyDHIkd82qGLGOߦM69j(<6'@''llvIPJ/?4qH*؇0 ]3/Y5J[o__fhS$2Ʒh1I U#<~o) y7 _%aɈ9߇yqjMRXYl3"we\u.8 9/ڴ[M㸢eP@eV|\>#2 {Oij䚁5PcR@t%tG C!f:FJ:^f$di(o"s6]D{*l'j4dJ 4:V.wA~T:̸\aa>NQ/j5z֣:BcSVTFIqr¨_Mc ɹF5IJabvc˗t=l {;}w`M_+0,ʩ/e8m+["?xۯ2\ͥ{fx>~+&jbɜb&?Q77AxeWByCE,b$ ytIgYQ &z%b|d<7ä,S!ߖrPٞ [rst/I)ViHz31좽.ۅܝ'gsD~ 6AhR rP.Zfhp Xc!"l>[!mΝRAQR)9pٚrC5{FSP5Kńy%0!2r󧱲I½\ۡzO͗|s]Cē0w|) r3Z`YK[U 铁ȽMiLg6b3ml/%vP. h>tlJ2\ v-)i {r7_cE9'/QdJp ь@ 'ῐ{6T2f&x eW\s'bZ^&%5EO!F?8hē 8"BU3~TAإj$;D' 'ˆsjwqSnPGXG)!~pՈ9[6@c5n9"LSq,>:F L^U%ˆ:ZT"B?V0/3~.bxɃo>U1FR#Oٹٓȉ~c0 V=3> i9G :oySd|L_bV.Krn^"F96%}^Ri O <##'h|'gO̥1ſGx)g^O.}E^$PL0X36ޓ%T@L3ٯfG[+fC+試}1f &d.60?b.Cj J4-6BgA;.O6{Tobns+S U/ D;\]py7%j6mN@U-KX+ |))kyKZfvFxb@`{璤wBn^τh^;dUK!abcKەL2 +fw)5csJC7[/- FY1/[mBûd=YKLکRی/v3"wOwC1"xĐ2GYZ?WUR|l‰&AOTІp91:m?Ÿ,$S@,H/=I&hurDdɋ6721 #/t=G0/c1RigZcX'_w `"_]Am:ޣR1qlҤѝZR8*LA|)jk"KFʟ6bb ȭ `E'^[g-ɏ@\=+^/9jVtL*n@b[c&IqaG _% >3LgS;VlU܃gA"*T)c  2*o1 4҂tD(_RݡY XAf9\0@Y*!xe5y 7!kOT\3X KfWp;VH0s'LȮ,H Ty.v^"и\V-:;7fd^3i6~,ßs_fV` 7lDHu$/VDj*h,C4S ʱ!8!90QvZk_2gBg,Sq5~[B~O`L=/c.NC&2qP钠PvAksWfȸziGX/{1%2R} (#cw=%X?VKO_ֹh᳍,쵛fc26,5)+pMkqt~ Ž3w+r1r8Њ\>9d1FEY02KǭHoGݝ(Hkť|}Ѕ}|'Go 6iд8h0K i9Ftْg %I CɵybQ*^>J۸u[ .SCi.40 D`v ~WT$:7<Ṃ?{eOU\}H&gsI;\eQ-S:Yյ'ZTd0ͮ! Ej迠#RwYB`B "C16L1-G!v-Hj9)iRhY3 tMMZ{TiQ3?0e@P6`=NO[AwaRbR ( XC߆^Cۺ0Nac!O;a;fn Ii}=-t+y(.!='qq>*$]ު5A˄ABo ̸4J(9EA': GL-D{'D7̿e=0<AzrlJ&}o@e%VN_gu=⤤^Uho^ D=Qo |C|8MƸt(h-5/M;3rgB)迟nPV *B-o*ў82P4h05 {t<9O#z@g[,RuBCSC)\:{SX>\ W V΂*A 2{☗״J* a{JhP$TVVzWky­V02ھ˵9Xf!~%O,Uܡr=lx?= Wv~H '0 qpRAul]e%ɉz«* [ᶌM'*>mi_8TI<cs^-t܃{:q5QMx~DzcBD.xN­`*+BW$]4ұTn?_!1L}rZlM fe mFtO=.dOb%2C_}__Q>oZ,}u/x7wAx 587jf X */ޥoS$KMz$뜍,̷9ʡ+|sjUr1-MSboQ:_- bn i'?<Ɛ, )&Owb=dHd G]$+ԯ> $C^71H307D-z R6Q%'pfP}k!bgHYW o%VOv{XEuw0I*sVVQUdPDmMP)&Vg)$|@z}%ŷfaU"/z,30٢):_8Jfwdy1K:! RפtYR490L2 ,ʜ?jҼq]Q$AP%a}jKlgT$^cJj=wyD$/؅*p2rZ碭IQs#sf$nV(۟ҡ!|Uf;A;6}Wgz\b\1Vr"y{gLUX=;MpGh8mzlɎDDUnLbF ł'ugVX]"Nz|;%T"pN8Y1=!8CiME@!ISPoPe7_iB%}h(HPeaܦo\aiX5G }w$#q!h_a\8F8M'Kßh&>+- KK;Lb&@J_b\b<ąxt뼙(ZFaU\UQûK}6 _af[ZFʉuH֎'BT?1o.Bz/*lEj]q7$wlR\%0yqtRW`gMgg)Z2o +=MCkT uj=Ԯ=agth LzfR uum;u-TgeGheU``؏4:ķK"L7ggAe>34+|{bJԫ; 9.qvsFʺzbcdV=ӱBPOk+3V5V? 5E-%\eXB)(n#Iܗy۱ebRʧ'&wZJ#}a55-]G.YCfkjNcflY4<%yujIMma59%aŜZT̺m|^atT+nf7I~^lYNj%vKU 6M>V}r4n*wLvdw+"y],N +`jkWØ^ݥz*ꏂKT w% yg[SYI1_qCl.9eNR;0TW/$yJC2vckP :l+ 4UzʺɷWo%c pF i\sM+<] F< >l0 6WTuU0 4TTJY 7Ddг皯G%P!nޓoi" P~6FD+"`{ f>Sm4.=gMݘfGS@ہr> JFkҚwSg;b BBL:QÄ󽒻U&ʬE5p%oE6Ҡ ;M6)sw&8tsG>"03y a .z\nz YeWd qX;dgpIOǗ.lkzWeA%sm^w'fů_{J;7B^$dśȒ~ff(ζ;Dɹ4"U`K`e%4/iO=>TR1Z+-aT{ ivz.{6 -Ltsqn/I=ǀ]1Хw|O\S=m d[7@*-J >, Z*Q *ֲաݒe-6Vqm)؃m, / ~ Nz;Z0>gW| t&.øwib-(#af+">ì컴Y`W q :nFk@ JZN` KN`k'3<!t0]3u]4`}}Me種'c5n$ixtJrNם]`HC5,LS;evU+ۮؤZPD@~2ſ,ht@bB\q$K7UQVVަ*qbpTQߥ|-hK3v̂ XgSy*D;'=B}Illz G迓:BUΥNl0>@ݽ6592s-Iɞ9%_W3wYTv&wϲH(/No͸Z87r+ueUWE}Lcb2e0Ep)wGé/+ALW<[gs137VݯӜ#A25e) ؗp] gYZ I#9% 4HOL-AlgebraHOL-Algebra.Zassenhausdocument.tex7zXZִF! .]A-MՋhvG"uIBm5!D6.Qթ<[2WF%}]AVmX !2 -V rOM}0Cb rahPjh ̓kW$qzlQVYRsn=a)RmzÖ:eI~)eHx芡=_#vfZqLrPgnq&EYgKlCL½ wHSw_B*cD]xo]gh|cSY EZQdS z(g7ܥn̰֗p>XrJ#]ru0 ~M#s1U\t `R0kI# +5O^UJX$[oUڝ{| >"&KgzKq۹ as~镇=>B&a:L-4XQj-‰sBw C6Γ֗g@-?݉ab2 E&s;[>X 7dv1f5ɘ[':U:AWQ_ M -PAL`Eu^&uUEeŸXܚGtϟ)p~ػ9|Soz62Eӱ-REHAԌ?A549QIɢ:[=6rH Zi - 1O ]*Ex7KZlW8U<v3­ؘ6Ml´BAJ(׌$?e]=gЬNAi2Q N 2B#s]ydUߠHaUzeO(S Ohn?E< )*f!h,Sϵ_Nb=%:gRQZ8 a,(@?sLiByp@Ѽ*jgUt3:&'E^ȥkNw9M"I$Ȧ-q eUanBD=4׵U)c|{w ꊌ2ŐyOH#+nɾ\XkNy=^X8ø Guq]HEBdf.2ø1Vd`_귧`} p7Iνj2ܳ`ѹG/\K+ tW +]F FE]vo3JǘHMauyhSIEfK~}"eV%Rb۸Qq–ZA2\*P=SWUqcIh U;Q}($821Jp1}Smfq|s]<U˱K{ V]|-3E,Jxls,,SzNb U{&S_k٭.vNv 2xlxoYvtJDFXWZG9s7g%Bε-a-"\]Pfyx@P쫀,l~A<Gɐ57)G^;q 3¿)Ԅ[{GWdÊ)M,`WIya?H-η_Fdھ@1t_5+`kAjG3EMe27-+GIpˋj+XPyr)f EEgH⃤5m=$Lv 0tX~+s2/fu%t,B&~Q^l7¯JE;B2gܖ goYNcO-둨=g ?#9:*o(&U=%1(Sj ![nSVXR{`ZyvWcaKtg:O Qom}käJ7y+zFS_"zN}q]R L 8^qiOJƮԣءHS4}]SDCREM2dr§?_RN[kEvWK\'-fM @OiAJd±_ ])i- LXUH+LMt AD_$}P xJ:,.a \w= %rŤ}1fbﳪeo-6oE9Y4O07n>k,e22i:% 0M:IVd%yFDBJ X) xiֱ7^9 \~3hlH+kK@8@KZ>@kH8=:yne,=FIG7KOݝFjfu) Z@L%|Aź|AgE8~#*7-.W! $!\6k\y?4iݥ=2c)Lͨ=xt\D14(Bصm& ]`'ǣ(?ʋ&+Y酥-p]^ݫ7\h_qr5L9J3!.<"Ep}H2 Kvqd4sEMUjd\ILA^Pʅyh+nt@A/B*\P =ce0 _t(z8~_:/WVo2 UB'+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 h ;hD #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Г -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|^1 #/% THOL-AlgebraHOL-Algebra.Idealdocument.tex7zXZִF! c1$]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.S#-% THOL-AlgebraHOL-Algebra.Ringdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5/sj!?"CI;F6gtqCˡ#L`jY6Hm7︓%!ک#o/ $jjrEAk@p2ts+ V/b,}֌FfD&g4?el= `22ccsP-?y)_􈚳 ʛ8nY)p5Y_*<;6oMF*!xuT{ +JV<` 6iO!<jltk$FMeb^N+,\!U0N^GLj *4EsTH]9Y ?Xv.NHR D.%'1!,#Ro<=%< \yg[s0|xB&cJв7֛Q'Ao0EW~cE:4J:GPQK$T*/ 54Bj~BS^绖]L\pE'1oEn4G<*@ 9Х"4lsgrdqSF'll0ܞLxhiɝDx@q΃pǣ)v3]-*➑}ܯ.{/={ev;yRyRӤy׎ʈ;71]p_a IB=]"L3IOn`ݡd(.Sba“4 V\TVbP(&1oVL?!E@8Vnտac^낽wuVAf*4v5kdGN{AgcfM2̓؂NMͯ1 Z_D\<"(~7I@%ܒ'"F2F kP ۧACyB`EE7-{`ho TG.Oog.)"}4FiY9[+5r;# d+՞>kr\|jnxIebht <4yqAze5Nߙ`)iNsw$8LwOTr{U뵱F^K[2RK&~g.-$gw/[ل6;{WH}\v}*ҍ pak13୮qgyH\sů5x&9KB@Kn0զ],Az`jj 42' mQV$-CkqS EӵFo.voHL~cy!YW)ӟ$-.#XIF8}[ ݫٖk`׸*;#-aboR 5AKT?Jq]_6͕}1SC 1~? t\X2,_]|.|NimcUU WoC-tsV  >Y\0iTmEvcJ }W'Vhs^m ?pTj ǥ^ odwh; hrPۃGHQ ScbxWn8B7oB/1&ZSac^C8mޥ)2*>cu)ALlsZI`ut2?%CqƎϒ$c}L7`^}"ȳYqōP">&_@><+A(([g1p'NK7$q1%.* uq;G{]xE;C8 )7%6i<%-ZhL~d//bO %ŠFK9iv0Uڦi߲*r@g gh\X_~ˀK fW^6]FⳄp|`74k94JpJ[ˊ*Ju`N81F<*$[m%pHrc6ܓr2T~ n{ 2c]E*M}/. X=[dzBݵ$a!^B&a>Sb\>*Y Yq: ^?6 5b G}OuQ + 2"۬}(7DyO^: 3"(^&7l˴pYo7GBdtHI!2[Y?K{_CF?&9~GwkL hip@EssbN[3OM|d">$~ α !JG&dbwU;R=R@kIEZg0"_ ya>I+cX zX|VrZ[^\Uw~lKKeiF!Wq.T7Ȍ9+98,D*fy:Л"&/ouwg$?+*YFW<&0׾Y"=us@b !Xmu>k.g]ptN& 3HsD5`jBYfH\p`A` |p 9z|ߓ,0XW[VRF^zsh(᭨azK#3ȩj9%4keM~Z3ޞlb0$?K3[Fc+~xH<&mޢ{;?+|t:Vb;0kr#,k7!=k9n)0Fw Lq>r2QNI!=_bL<[O:ͅb!$gd`}{ (Iu 7ȿ̄鄮5*/1d&vS1*'X+ ,tp=ND[r"m*):aݩZIR!h\ :"^JES3VjHgwbpk sWXEDyUu9ه*?D)'A(x>Xj9qOWr)6uyVK?uAmp}/ t}KsJ48Q <3pEZ]x7[>WC<?P: KU3OjkDH6ͫ1!Ax([Z"EYBNf\7L0 _Qh8i"ӣ8UorR[ٓl/OWS?7Тش֖JǎT¸vRl~aO xM׃1@gyd0ia}o3)C֤ij:Q8#Q5H3H492g3f)dȼ!,_p1dy 1}:wkئ4.N~:CWϡ_*hӚYߥ=نҰ7WXhyd/pg/N@i'|bH 8DfJ9i\G+ `8@WCL R3^7,D) C֠{dd'-DS_t©qVa,C2陑p?+^PSHWK7I|>Oa}kČ(ϟKzL&ð6?Ӝ=?G1;YJfޖo 5`H5yznH~ Z xN/C1HeVfO]bX'vh9Q`A|kuݝg;rD"/´IʷT|EM;;uBfuG1y~q&z_H6unĿxvK, V`'gw$ yW/&\sF|T%?QfjoPU>]?V|a8Hqh*NVULoV z~],o//m"]Wh׺@ӥQ@qZ(KnsZΟWFt_yNg\`8&*$ k5R`^ʧMwnwnƵ!^8k<* !OF 0$wh ]6yk ,//rPOJQv,#0߈SUw"iܻv, ׄ97TLK}2"O-lX(hn1"uҹȷR29ly!En9W${SYߎJ5Ű.bt*|8Ev+mpoR6%5%Ha9R2. (|/:J8h|Ɨ`P@u" 2Q <e cjο i 'ph^٬m.$&M?1OG|~U[Ab-#F`H 8z.y(u@n lLhkUa)(Č`Oߌ\+2am9 \P3! *1H^f2ڗU9]rF ,Y&(QعA7~$s Vm~M$CDNEe)[0sTo83L}iν KO-ĺFQ}XyoY`/׹6J<nEV`TҶ!NX&wW!k 1WY:Qu@֎"L4h/QYҗKfH&nݠdaݨ)ߗγij[9Mz| tifSXk3sM3@z{u h)U3@s]<,h ] ѩao\^^}p];nZ_kM[T",yAqPEBTQ}?槽FHϼ"D]nuF%T^"C_pZ 2]| 6ߠq^z:5 fK^ /Ti~1f9 vϒ,)(qNضH?61I: 4nlbq7BN P_“ t TzSd&%!'%ۡu$kd6y=`,+YWVPws U6!#^ׯ*Xv1IwQ-NHʼnQ/d+@qy]d,MRghN$"{anb̎9YEěd5^J#Nhhh:^;ښҜfI< 91t=uϠ3o+,c*ˠ(]6x8VdfF_ޏ` _6:¨t1l`x鬠-NA@l<LfQ+ zT.*4p28b~,׽Vz exZtXJSF>f׊>9=߇{{>]p_ʶ͙gtmܾS|e nȃ>/뜳2[)?)|Yi<)cC{rF|ߐd ;HInmZG;lϪ4Vu!nܴcAۙ!p렴7V@jDɾ ИFX@nH1N 2֠`j<+{s/%'DWsX/V$-`a1uOۗ&^{-/bI\skF[VdB%HMz/L>0!U@Mb^LsVןW y&zo~_j)8p/Cy5%-;{vV > >.q "LC#k.Q,-9`X<}$g YpDq!I28myʭ%k d1[qlc| ?dё:jʰJI] }K(;q΅ Fu%:43G20 63xVodm_ s9Һ w+o!rΗN' CoysDyI4ujѨ`N_,L}0&^N &er[QùOBAE\_èAD@ QQ˞C Yχk4̜5UP\ݖ<9@Bؠ`#5_'m]ȇF)wL2=oLX}GRvlŖ |7C6OQ&-c9<.dTƵc}`F݊vl AΧb xxԹ+WXօe`L0ㄒV罜N{DaO|=mg(YݹUVJjBM7KP՚zlmi,Ax@uZ>Yգ)H9D{7DqaÎ8viK X6{ڹsfH˧5܄V@X~Ef{hLL;џ#s[ p{*嬂/f@_uS M'9w6M*:|sFi M!7ujQ,q{%Pgay͑%yBJZ6ugz;/:6zx:Nv }lHp^kunG&';\zilMY6]LH<̨7-zk޾gs]IaI˷DvU(Vb# ЭbT_%κE#F"{A-N(i2[;AIˬhI|a}&@Qyem?"$>ZmWqtH?ư_lo\^h%eZ7!@ T# ; -PM7 5<.8 -~ <0 438lB9P>oTμa19@*r 4 S@c+;Լ"/ :rr~J Yh0WJwD0%z$)?F]r(;j6fx}d3.fm0Nz*՝=^ #'`O u dH{y[#' ݎ!\Q}݈Md::}gSZӛBr=/-"e̺]y.(8aOClMdz&S|D>wtAȡJrY]ɕ2 ?-`ʪU58,U;ZO)l>1nO OTATG,BChQ:d=R>,ТK*ȹ97`m@哶@R5|qqٮ.eS3nk8H ly|xЯqqg~nw40]?f3M?%LfDClM3BCߨ3}ɉD&t%ҍp=xdcT?Ju4e:S.TX4e,u5㬤rȌѓHj^5eh/qƤAms&ֽhw!%U%kIh ZRԚ,9WYv$qX@ Q-D~P0sSv+45:Ot?}qR[H:/>kD߆hLxCCB1=MO][ :S]\Ad 8M05-og.v5j&X'vuۅЙ4)Nu2V80]6eQ6GmM؆+gDXD^h9~QN8GVʒ}5?r1B&vV@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`נ>d3;~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<nqn4c"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 ˱gYZ6N~),Cc-msX|^EFj*Q\'D&ƐlOþb . @_IHvac2yR@DVMRk`|ci+E3X* dy E ֺ׵ #}nzX:4aSf(8轛OB }_C:0#c3RR {Dx2S*c~{hq\8NZ'~ENP KʧsLwG&NN / BgG2ɏ g@ ^W t]?xDӥ 2n,-]Pʊj Y B8\v/7vp8l?UP7XXdby@V,#ޛ<ʮ:8n]#E9 @Z ƀGf0Ma2 Ws8B,n k5-xv辭EЛ!o(^Xu{X4\oy|ɠAȾ?c$~8p\ 9rLK}T\g">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  gYZ8O3!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 Q #QG #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+RIu3r3SjMjgvV4ZFZ[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.W7Gw+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'O3"$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$>|$+Bs/^:*4_xǾ5>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`bGk@13L9kV@<Sߏu Ǘ>"*ލN D A[P+r\ bՇWK)Po"tc>8u2Æd1t@Fn %bsxӋhrQGxdE (х| b%2jʚOdAbD`ҤBq/Z5Quyqsy9$@on cn~KykڭyҜ&̍K.$n߯Yv(T1`%Fv.>ypmF݄1.CͿip;tA?b0nI}ݳ0h#g&S"B}&GBVWLT`X6V})VMMMBLgLr.!h~M'\Jd``[L=iUyz,$w^zUS0B=nH3Mk2,X0~fzknC2eF]&VTπt}6U_ǭbM:D*.qE"#ǸZL4vV -'7Y->A]~!&N0BUC,.vw}FrGY! OuUZLmGJ [xS@(O3 vE\ ~wN4tq!~8ڈg=~Ɏ{ĢJ*CP 8 %yK9dtyh\R×-[k|.<=pQáXB'Oyqzaԣj@sP;+%>/sSp&DZYDG?pݹzf/ݔE["JV {#F)ȿւe\#U`y!cUOnGťl#Jnahj*Y QwuSG/ۙDJmĂ6hJ6p\=+r+ 'i-m]0`Ōbx: \-B}+T"pxR*Ut1ɠ[\"g5,N#i&mrwq]oMi<hIv_!g~pZB(#Se5*D]șG!XDR Hޡl*]| x~B,f;H~l,VdmYi´Rӄߤฉ!f,=.ٜ|YjRgY t^[1<7l4YI?ΥN| 0=ݨpfuEQsz)OGm"|ĤZ:~V r|щx4s/ѩ=d@޳ȯ00"z?e#W2 1X,I^9NLoj )rY\$-ƞ^/bםֽ uOJ8кqjha%GK-p8L&z!& ) #Md+D[<7ƶant{ևH8JeJ% t ڢ rDŽOmP<1(r.}RT4#7_/ ,\͊"KC/j]pqD^9ȴ^3[tD3[SQ$uUրHRD9JRJnv%ϝ}AJZOIXvv1nƀZ;I9f!vSR-݊*t߇ϼՋSq\ $TS)Xy=nLz[򧮐šGjdlSq8'޴9l.fGBe#/ +ESh\Ƈ? 71(NJNk(=&J\R [7?`00_﫽Mh- 9'I3W@xPWg`anHG%p85*#`>pUNMEwyu4v!V5$[6⚼E'%{KZR`Kŋ#L#A_R]fe?jWQOi!ęiOo,pjZ&Gd]6>E;pw86MlQ*ߛD??>(~C\#]2|IC,ɞ,Oo>phUQD۱ʏ"R!gv>~DV,Ǯ_qL,. oI)v J/ৈoL$}_HR{RdV3/hK@EލEGy0"Š~n¢*$1+7afT8 90 :$2l$0.Y*:u  hm+$c٫-$Eiَ-H)RnXTހs1G?&|^XOٝ"XIK lIF Ҿ6d"M<]Z)2ɲ(6>%ۜVn ʖ6;㺡au  ʺ1&D7=!3}PTdzA#O$NTEHLh W#*kֵrv?[Jߨl? ROymX~aG(m,g^O_開qٍ@ C&R-AQ|"8R%w",,$3N_ԩw>BS_?bTVV H){LpN-"tn9ionFG%NرlIaJpFrM>F9<>,W׋qoE '[KJx%@k:i <_oc@x(e4LVOR =qXY[2\97 /4TxUJ =94Iq]J$C|y҈sε83ҥoD?r}+̟EW$ (uj`@GJu'2+\D .D34F / g0,V|ґm3KLVҌB)r7ٖ9`O"dѢ.Q=,Rj%V8Av3闊\8(_ u]㎷/~"Eɰl[i S[bҤy(MXeאָ3-CW>ZfČ~qiN(of)`Œ%W(>/DR^׌ǒ+ZZoںeNDnN ̀wA7$vMun s9r>,6~ "J=L4BNC8kخ[| Ǿ s0IFmwa)ed%bEˌ"퐌E iix0IO\{ }MlBĝK=(`[WƎ)[g&әe|F#nJY_&Fu߻$" oꜞ4#8gtc?:_s*?x)5J?'" ֛Cl@wU @_0r]avD~BYD+%Oa־bƈqspµOS6Γ]>}Bz4)4cF?"nٛ;aӹY ƯgpPtX(eϗq4dq6mKcyLۤTr(eqYJk&E* ݇<|)`t'_wB+ޫ&-ʰ  4JZF#PKXʠ6ʷ(0J]ds.م%8ͫU sڱ.ǧHp uᄂ[K4BRn*\jR5TfMUy`ubG{^4ʃvM&4l렆)q"oͦɐᑔD~&AȟS:ئZ?|>EiNەB):REu2}`/>djz:޳Nai0@etѫCtJrnhDԢ?|i[O7pUaTp̖`iuZ0OOxE~GЩrErv)#n…ƣ:#N:6yO SD1*1\eLSp ;GgwYpe1te~z^|GM)bRV?UԣFv+/@@_ ?T%du._§͜Uf_uC*m+u\ϡQ!ÔdޠeO[d&$2LNX 䟵fS'7kTp'R:a8a)HaQA {[V |(xfrf˖saLSj$p\/٢4%B(P>1f?z^h*k0!{+h;Zǟo0@UPfBIy(8x&^8"R#W\h[&`3Z̼RM҆v?Ք g\%1J|oQ&n } qAFlYnkt.<U-iX!,_˱qa-зaf~{pگ/@XOXUi9Cj|V]"nw縟sk+W2DzDJ`5%+v6kv/bL` LTܾ%>љN[.,:kvhq"Pw|@'@(cxN5t' Jx^!Z}w:EWx g{.ķI agP 2KÓ8* wF(x#[E[G/6԰;z5i\mR$`u }!aEVc { Ad(ƿQ^5_@I[x!Ϟּ#aظ1j4YG>{MJ/2r(߻DY+wd%nVgI Kxyp ?;"oVO%XA{9͡.ڹMo?v/`?.p3+68BvB'.H~[כ3^0FEnŶz1C;2g>"MC̿q Mp^ML@߲? v2(1O["nxS86 {dRډE ȁB67Ƴ *xLzF"~E?`Ϸ!t]3'C\jOFz?̤o=8QÆRG@Vt\geKIKQd貀`=^JH]V61杺9qآc גat m W4 7B^jU!M˕.3ʧ&UK>c#a+b;rn!YzsUq~< R unȖxu ã}VI'bxy!)S+_S1-\%@sz2 ಂ|’?A ݜK]۟_ j*Q|~aHCct:ӊjl0;.C+|ͶgU- DƏs-AoHV_y"@FNe޵}>_z)f#0C5mT$Bk$6|2?5Kf/DH-Vbߟ+ڹf+ RjՌ*ket9W21xl89ezp5ՃEW(M֭.`kJ4(_S}κ@$FV ЇWEҰdW ?+{GfV#TϕNb&|Z.[?yA]-aS1TLXZw[`T=c 0҃= \@/ w5T w;1ŏx⟖RMzEAF&ZE&ҜKȚ=%=$g1j[pzԞy+_GvC,h̚dq@2lx*,KYRۦH\ٯZb!B0(X.=GY  `c7/&F+P%<<@mصo+*ŗ |ڔA%W>en5e8ߑ9e  } Oip휎*y%$HcD>#mX>ˡ&Z@:QD/ \"H^;`6RѸ#.`_2_P+k \2,78{h/ <51ބ)%\EE+]u@9ӵvLhYuWjPcz{2E zgYZw>c7v(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 --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_oFG#/% )ک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/HX7MDmlqDG0$%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 _Ú"!͒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 TT)#+% HOL-AlgebraHOL-Algebra.Bijdocument.tex7zXZִF! \p <]A-MՋhvG"uIBm5EGPS͖ (cȚ'+7J ;>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+:ެjkcZUV鈟§q*zyK2 ;|f5`_nޕ0b9zQ<oj͇wOP hy1L!+=5HG%p^M|C\W3ln<ɤjU9*s?45J+匳EnXBrFWPg K ŖC3(D7P_ 6pz% q9]٨KF Lfݼ]WU $F˜Ȃ/9[[tU/U8KP+T mFBC|c'=7d%b\EHQw>vIXs/n:;Suڴ9kޝӉ+G! "$ ~QiNqF_ ŀkQ5i/ārBO Qn3H/.މh Q$ ގ4dxg랧U JLj9f:he*n<DNPUqUs F@jIW!Հ6^r'hko{Sb.M~R(gkʖק>ba\f0Z|<jEK*N~p灧]rnuYzNicƄpypOarQuL;7pA "xr_L5s:t9zEFb[vԁ2LP"!5g t\-vTۥHv?ΜZȀhF}>x 4OQ#ˬşuCL4l5fx˜`^睆x`}{U-#awLyH!WPp|l7 p\+ A> ŏ*%G6kнTJLf|Oy9JԠҜO˵0eR=<`Dy!52E"B'Aҋl( 0gZiZ+7m EAg^-^2J A#8So\u\Z:NMHMj&ױZ.Lg %TZ53\_8 dڼ n)[X!Lwӷ@M|;(t$~T ~a& k7vJjV]6OM/Դ_A<5R4yT2_BF+3V }A| 26G{hQ M2+V8R ._^xv{ 0CIa(k<m&qexQd>|wXgN*m0܃mqL.t22Nrs2; t {l®gYZ7zXZִF! (X]ŗXi%;cb Fg[K= LF ;Xg3 6e#> 1m [~%(I*&D`MЯ56CNH&EŇ@g* &ߋNv@L?9M!d#m jB-cQt~reT XG"n't&K%X[ .̉!:"ݩUXGlʗiX^8Y븯4?L}}#4#P~O40Q&7v\4w@dl8HUS(*t-`=qy؉yYe^MP7B eED߳5XlrJ'3c[`];EV']$k+\oEHb+O݆`f4:qIA4$B;V׆."oYCwŸ51 ” 90hEd]huE$d( Ϋኃ0b]ku<2ni\[KkvNک' Pp^o~y# h.RC?PuLǕO#A Kaj򗸦mF+ w5kMx;zՒwTcUuyfdiu9cnj}P5:S%\ <KNf.% uh۬ 4z^ <@KK?w!$AEE}tp ޛR\HMOkmqPP|q%[t~%+":yjN,M;#% t/+)Nd<Ҏsx?_c%yÄ$O3X6޳MF|*'yp,*A1;QNȭ@ؔo| zWvס~=!)@ħ·=Ƹ6QNMN wU$*?(TDc4)dٺE8 _i~ͤ!PH'ҀO7?)$[zIuoDžJiIerVd 90zj6C[ai4P.qєI"}>`\"f1s_'P5e!pMh=hdU:$ݑ|VFQQT=] 6qR-Wzyޝ3e$PkE'`!p P F;KD,,/hjMAPA|4gH:'ѩ,*H<sq {t4\X_^x=U k]Uro!\NU"%H{3RG p2y[f0P2 U/yۈ)ܟ_|+ISK<9HIb#!>J^ CPc8RX4k,8,auoJP-U$5mkHA\&LHleY!9~(ٯkʼnKfutms1Xջ <:*` T% &{1y0Yg]1?3Ծ\`sQ&0P/I'z0/~mPփ7"dQ<6u$P+#\:FK+InJKXpӮO%h6+6_甞z[Fa**}b2{C[dՈ'O1 k$WyP)@5'h]&!J JDy6["$ky/-XV`UXX<2EFpСR%yۜ? 9 )oge2Rn;BHzsFpA½mZQNI5 "GnGj7.D|AH\ 9} Py7B3Vgh ACB!yx/j/9.IH6=w顴rvv7?x ,͏ ;lqN,"6:wUНh廈7y+U'.?kN+ )ԔrфзA+*sh} mZXI^|Ev Im7j!>(.h<5wdAO L 8O;ɳHA^i!;-^j,Cǧ]+ Ar1Lk봀\G9̇ Y["?L~sx6gmCyњMd_ݝ^l$+,W1I#Q?~Ys*!6t$)&6~<͠lɆmHh"G֖.l/~XQi޼BN%xt w)Ugn-(C5rËY1W15Dɒ0rг.:6vkgP^:GEP"PrY30Kp gB/iq#ӬMA"rPEñ=eGbtYl<: '}2#9\85HP|+VuP2c$~{Loe?] :7,Vhd9ew3P4\QrC9LqZ3A@pu#ˈ ]]hO)UJd2hb 5.An_f3.1"/ n>,p#榩&n^,_3T{Bxtbzz6ȁ`9͘t@oخ3U>'$(LU,IA/T;a!䤐Vlvӣbo YGAU5\oz7&"});jxhƜ/VB3M^ɖ&G Z>x [-ԩ@fi~@ڍ۾]DkG7*-'b#UdqG&CRMS Dq& JM*(o?//3K=(l랜@-"J/>r%"-H(48S.ߴ ͏wpiX~^Xu>9PCEt2W1H6)bv1=ac4Gl(9y,]иtiڍӎDaV* ܙȘE?[HᩣSw1W`\hS|dl; ,k24vICK΄>0S {gb< ">QZ3oQ7^ |ɗ>?^HU %l:OY姫ݔ%c[EowDVvunT R ǗCZ(i"~G)N-q7Xi [[F;,,^,un?Q.^$5mBgF3l8t0{i2Nuq $35邡ma_%V]`ytR Τ#DI"m]K t<6vT?lW o$Z5ݑ ݃? $ٕPi6F(1҂U1=irDboK?P~;bnUJFZ{3m6X,&mCx)t  HlKQF|Do:9o[^B"mM3#@ =؆[xx-DB%2kwnA ,1sԾcb@"oی+vU9=(.h+TokRF4{i`QB@dOrL" tqvKQ]WϘvgӪs?ɘ1FֻE~,.6;@浛w3ÕNA]_}8٣Q o@e@76S7 E镑twCA{U2 gJC7Xdm &)8!+wW֛nYlgrE9p;VnK@"'34U: 8P*RsSǦǶBd-F$Nچ@[qz8, Kդ8I|D%ͥ4{Ya NHH^ 6$ռ83n%TKLfUk[a꺌 #b<.*&7 ֱL%(j_ׁ qI,~;#)ڸ`}Qc!ߜ{ǩ%r3ac.e+)!K[_缽VD٦vJv&*@UK-l[,htypaKp7ks){yg S'<2ѮTΌ1W ?mYGo g5B>ťZ$D!*!"RY4%;S߸l@)j[+:Y,*Ng_LXl$n+.gYZ959d6d7a7af11f24f851337059e1e845b208fb52eb1ceb8e6fbe589283624431f982bb4cb6a68cbf 9796298dcf06b68c0a6e01b47c62a23b47d0b090 90efd598f86f10bf58a7ff88ed0906b944435917 53c2b9b33d57b471d513517f486ae232d0d353416f4a91a88623d7608de55b80c8b92b8024d5db3d