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  4 4=#D ]S]HOL-Algebra:threads=2elapsed=95.632cpu=170.872gc=18.820factor=1.797zXZִF! _d ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-XܨHK, JNv`~xID_Z.zE}lvYZrz3:WV#qYKrgaI :]}̘ӥ j"Տ't\\=,E] ٵ5: [@by-ۜ0Yg|ZJ99U U@B4qnEE$%yT un(2_>LC"7Yɀ?2]1xx"YO~?tGodWiMjFPZ#01+c:`W'=͗&YMHג,5GI Qs"a^Dԩ흔k21zH*_$xXʗDzKCJ"%"o\b:)vT1ky-,f '9D`Y]a2#hy+8Q3[N)ب" l-@by˳>iasv_Y :(w d V. cm-xP3]+B;Nrv,3҉Px߃It. ~G RC4(5 U{]Om"CT&K # HOL-AlgebraJ,#/% 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'nIHGECA=9 6 . )#  q&  ; q .j Y i ` 11#5%HOL-AlgebraHOL-Algebra.Exponentdocument.tex,#+%HOL-AlgebraHOL-Algebra.Bijdocument.tex0#3%HOL-AlgebraHOL-Algebra.RingHomdocument.tex/#1%HOL-AlgebraHOL-Algebra.Moduledocument.tex.#/%HOL-AlgebraHOL-Algebra.Sylowdocument.tex1#5%HOL-AlgebraHOL-Algebra.QuotRingdocument.tex3#9%HOL-AlgebraHOL-Algebra.Congruencedocument.tex0#3%HOL-AlgebraHOL-Algebra.IntRingdocument.tex6#?%HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex:#G%HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex.#/%HOL-AlgebraHOL-Algebra.Orderdocument.tex .#/%HOL-AlgebraHOL-Algebra.Idealdocument.tex 0#3%HOL-AlgebraHOL-Algebra.Latticedocument.tex -#-%HOL-AlgebraHOL-Algebra.Ringdocument.tex 2#7%HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex =#M%HOL-AlgebraHOL-Algebra.Multiplicative_Groupdocument.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(1L!~>cD4ª) $fwt#:0^10 Y̑;}B`no4궚`QKz[]'>ɞȸ/mzk;MdN&~RJҐ;!Y_K7٣>JY.Nf YqR@ω::g4 s)dY^UTgzrܩ%xFYצb"d!FWrMJ==ɌǼ5VS`g 0nu7ܭY,63g*6w9MBa T#7Ah,)vwd ݥ"{G|fIŰ.}2V/=: y(3^+Kgx -C@&$l8ZDRzφw"sj{N6]i\#jJr)vpG"rT&_M F0f6b+OI)M]7{c`Erqf 0~kI*8A P#!n,\+W퇄{Fp8pKʸf=rAIgJVz41i <EhjV \-l övLa[vĹ4NdMFo`DY/H$J31XZTm֫X~\;7H4.J}pci ,k5a_toL(8 7i]~W2_za6f avj^8ID!|lZx]i=}˪g7N]踨 G']8y(.NG:t@*E\O&ld"ݠLbeu7Z$!@8ܶS)HeZF`&Kt)]7§ #3h$tuƦ̾E*گF Rfg>ۥt';7؟WwDs~J n3^+D.bxDxT8]QH=ߍ~E7R Ne!hDZZJYE[Vz]iR^}Җ0r8^~ڦ<H>B'KGWM&hHLFbD ۙD1%|L_a"ӝoCtʁ{d ?UH&NƴӱWȨ3x1oŸq4:|WWO !Տp/5@HHΑdh;%|YG'cipr| @ cO|"Z)$V Msj'NQH&YY<%'" M5GEpO1O]}%,yy(ɪ fUw搅s4>B4^GvS{2;AXG6BzԖjZ8ZlFZm`RYmI/F- P-8BHQ$Yap4p+@#?T`U/,uBYe1z\ִ[n!~-ON*1h%naT&Kbq\ aL/yIHN H.nUPIIʊU:VX-mR4Q73Z'nR.wృK=|XNs)J%(pkBCZWVU%$lRyL9^q}]6|BmV,-H.HemY &S-ƿU:icUƘLp-lnȖ I Mxə{\0kp,ٴ:i|TS1fdHKQl+$`>XӵVpX/ESIq6?y=U~Cu1^OT!!%Ȉ1=,'՛%w-5ͻD#o=68;P Sn=VKa<& m䰺@Zwi]b^ 8a07Em~ħ{A|gqo׽ov[XsqA:Z89ptO1'3uCƃm00OMJWNQ}*)ës_]_~G)4G940 ZԮI4B]*A'//6m m Xi$  8J6M EKk,oG+W𕾚)] עJڒ9G_oߟ`&lq҆> n2θY+ǠI ndU Gg{!`MAc̭"Ҡ" ]iEK\S=2{EF0R%5W'sC$\sL..mn@i"\nk L% sE;3 u"AS &*N"zutƥ 9?^K6C0J=hߞ75 P" |Qg;2'FE7n2>qǐapaWu3(`vw&=5ĭcĈS)t \x}p*d2Rp7˷/9gcTfɀ̑zÜa=iGFD/j81 GDMMkB'g$Eԏ4$Oo wԤC0 Ñ@Oh! XCǣRPzų"mx ͨZmmC{L8Gcƒo{N,-2f2tqCѧ:y#\1z@Ep< <0*N3'3ݖ 3Yj{? 8ч'8d J#Br2wNƸÎ<.@49<恩hxpASlX޻ӛ9#=W+Fem.}Z״ayS&t?vZrPŠ`,_NRzWNH$mn`6LͿ̮WD,}z{_r ΁̔d:`䲭Rẻw_ ʠ9A{IdHktF^uզ&J/(g7(/9@m+_Y3~Ҋzz?$4;l=LTMF:5:9vwK>(:O#~Ed.bie q_/0uoORd*U) `QN*hoMtng~\OY 9?ݞ!qmCkSd`#L֎:^YD=ZELؘx#Nq-LrwZsK9nBGimz@ZS`PZ?.N ǂh 1HW|2QT.B@,-xpIY /͠O&cnKEouF>{o5W;^O[PF]tOl󩦎Z?lHakos:^)jU/KЅ]L:Lr!r1w}ʓR)O릸$IAj[yy>wL讫-7 f kc7 S 4:p@/ t3 5b~F$vy% M> *N~NfD&"eeh&\ e1޺{)3܇Le c*m S~̰Jz>zvhVyB?C ^NG n\pU"ؤ7Mx%΄ߚk69QЙ8wzG !&5iBXBRREG5yMlC[Zs^а#sK! mT I&B?͖Awկ~eg?g7pXb3;@̥{԰GWI'tM|#kly CF &./$%ʗ 'zqcJScبbqD+~R"F@Ÿ +Iؐ`,4{`=Y6_]žMTp,3iD؏}fYu)ZEմKҋG`{mשF6k3~pBW(yJݿn%mWaACKt83K'v|Ax˩oZC5譢8 =:ԕ!'35S;iH :# t KeKldl',}Sie6mj:!:}-ҟi+M].[2@.c*~QoR$ 7 ?DTG;"iw(,d:c8ę6D!cm|D 繎"mcjHiM6AhdNbh+3|_1BhZGJqFC^ S<-L ;yM§ؑdo Ęr+W0C/bՔiDJR7PN`'7rg)!;twU >xAꊋ(Iʄ#٨D`{ZTTcWvܐwe,ÌRKBm7uU W>Y" .YbRECpcRFc/T }Ɏ:wyJd~H<-V_G{mAǐ }۴CX$c ]!8? ?U ?;;ƿc#Y*$EרQɷ_aE#{+R&v7WcWl8 dI%y}K^y4;Lrv>a#K¡z2-BVt8cYiҼ3_+[X )fdK!ېP'\W޻ rV ))?٤Hl<%Q5Nsa~_r)RްҨoGtZΏ yT[ZybH;$~pX2F2 jE9F^Ryn IݚvY\H"`0;Dڳogx!4 bk/HP$ O^Y W6 $5gu[d;w XZ}/PB6 kXU+~"?(=maQbq$DYUXtq5@^E !a"z8DB%?>k{G9>gV*dUw%E- eQ4pO6CDUajHK֋Y'8IP . <ߟo˦@UߛI*.bΊ7ɇڔnnvژ^\/|APPq/y+ys@Վ Va 1@yxaG1ذ, R}݆_}z/M `oGK%7%0_@g%+WMVJG B,YiqDjg' J]Nv4"&>KhUDVYm1~¾i4KZ|[u[3VVy;Q1G|?NL?˛6>/N@jlԷ0!!^2MO҂hvmsa!uشe<82=Ƈ{La{V}#bU./EQ̜h띻AgxiJJ̄1$:o~l~miXJ*ALm@Ezh0}^RAgfmif1K/r# U؝yᗂ,?u1:n@>V(lk5\ō{#N%PE?΢lI9LbR Z£ԾJ,Kbz7YG ְVU=6|s&?7-aרfy'T#l%Rz:4o6/hO {M-9{`R%$S7[kKҫ("znAƒ,LRӳA3ވ}Q/{6Զ1Ï\& OmwP8%1lG ?Ƌ& &(LHҳ糒A g/Dj\^]Tki85m@wI1 Ѽ:\#)Qa#.ST+c/[EpSe=nTo6@=8@'W}۶fثN_3('58\C(FGQ\HN:;4&B,#`q5Ƿ0dya^bpLop~i!ž~(rD4EtqvG'oanp^{k'Ot-7ѦG pvP{1 Uq@:{TC.(%L5lbnszg8QL { Mjqc] B?WgYZ 9#9% HOL-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-‰sB)iBD@%[uP ˏ#`03 |xGj]N|$Gg NiyV .Bgt4&Q51QS:!OYcqm{|-R@|a^(TYlfyo6E])sq|I1l_2Pd=/]LL(VM9$X)7|k!_Rp25TS0e&F=oBOְdL֨,;UѲ^'3PdmXv_ssbM਌4 imp&eI <3`Q #B-2 +Xm^DwEț}3kaGi-ŽA%ާ SփlXR4̨=-<: Z3H&[cG'aF듹6ElG,#Vԣ(R3qW= Mj|mN.fBesvG9"ԽD lK>Iy`R׉YnFAjML(X\ >|Xd4Y익T/b嬚AYB'a֮ٓ1?`z )I&L+\Ymo;C.'6B)4');a:ɗ: >(a(&f2#A4 la3#11CA%JermhpKܓۛ,zi o_e/-l3@=*wcz]M$]^]1-{- *qL+jzsoFۮ=9kQۇΗKu#}H4ݺ/\\xrb_x e?gumW8#ɽH㿀^W3IZ&Bix ^l:A /#}LURGl1\8ܠy.PTI,?RޘW7YgĪK`(ÝZ7q钙0՘F_k.*gd˰ 4/o(mK ڬ[٦%Б$RTs'ҕ,8$;&1}DBr>2ފ#}?S$dXvoj&VYuVhE诳+oҚ{f4wKj4EY.~ dq]}C;H" !_}'κ܇Dq x a<?̆ qEf=IAZ'A(r#!c: `e C..5~p\RDmjʤyضl> 82v CAx ¨ag+&zNߧh@qVjh$:fΊwӗ]7񴥹Y h;e%GGW1X{N3a4UX{ ӤJMURaKf`o Ίc[8˸/œ~.KV 3xL׿3OlbN= } 2 ATV,"Zu}x*!@b"wS.i?E^[?惜.Q*!ZOAjZ>3or@&+C^0y)FG$2@m@ghٹPrٶ>WybU<?=!_m]f̺)^b#^)Y彫OvW:yX}.aJEd|//# b'I*K 1lRrw  { `6IHOT.vT<Ӝ[XH}Ev~tc,Q+\a #Tk9օŠ'Gg9mS %τ)Nmb)[2mSd1{& o#n`j4mHZ- 6@&1n#L $\05ZOZ%^Ž%3EԵ}'P\䳰yM9yT5GQT}VrY9= O{lHhzdj%9:G|0uXH.J^y#L\Z:2@ʝH:.0pӳ5\򼡅f:9O0'c\9rT0^= 4E hVCnWj"՚EV^dA/J|7„oZ?/b@hcMӉ$ budbK6UWw ,mV{bRGED5 2`]şPad {cB\7[Uvd(>"ϙ2"Px4{ ){2-)jbn5)/ĨF :$u r]m6͈uж蟢d(W+}gԊN%lXO/jSzSψ2(gsg$D)(UYA𧰥±Ĵ 6C1 kQ1'7N5b)r훳GcƳK'(-J#BaTc%n#We:~eꖾ{zݟ0S QM-@8E{p.[̮c Yh?: (S BuMVLDoւB-,_R}yms 1.)"׍Qr+W!7n\ 'EP&7"ыH2bZ#'+u@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`נ>d,;~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<nqn-c"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 ˱gYZ X XS #-% 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$T1D #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|^*0N~),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  gYZ2tV,;!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`+3H~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 *UgYZ5O3!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$>|$+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'O3Bs/^:*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>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+RIu3r3SjMj: 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ñgYZy4Q,Ď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"]6@w>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#oY3BmlqDG0$%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 - -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/HX7MFv#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_oD+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 P#1% LHOL-AlgebraHOL-Algebra.Moduledocument.tex7zXZִF! ]A-MՋhvG"uIBm51Vhحg"X;f°}ktCY:Х<i \QߣQM%u@ěk(V:#ɨ1@C8 s1Y?^C|IFF>Ú"!͒rJKo-ZǍ=օRիƺ|dan18w/tXRC2>/Z4E @qA1.dVC5XW2'ɪ <2@c"'-Ո.GiKPZu`k ״wdeU4f-oXeHlyrZȃ&wyk@G90M]_TTQ ,'K[}rdӀј\NTa+NNt_ps(ڡYFIݍR'm_k j(+o{_SgA  cj B[bPI(hʵ f7ll[K,?Ähvg6}nĪ >)U0!캫 @n*0VM UAj_ܢ >F={<:iSѽ!8{>) AzVlk}1_]&.\mOb+w_J;N!A-ƩXDeuX7Sɀob&8HVJ#YoF? 6QHy=)D#lE"i*cE?s!շ[@ k`N35 E QVw=]oQYi7_:0~,`~I#-NWFfQuyD+ʉ;<)3?!1o@M!̡y Q )@WPbbx^Zk\PM3*q#ju5 ͗A0rn*"G1  +v}CQ D}ؚdwY@&|8 l7ͩdպQɀf#uu7l5a3IaJ:RFM:Ón~`1<TgO/Ypˤ;t|"ύxL1q{y z6Wrk+t{4)CtӠ8~ٜ1ǫrPfR+ zSs<>=tߝh!#*̄ Z]u3fl3PIȬTAWCn*PIvWU!IB4p*˻9V,ŁGz+?!@֟@G&** qlp)S MįÑ?ׂü% m,_6;&p6ܜs+F8 ~Mt&﩯;P83s`!Uc1_*H$]fֹro#X~7W)cA).c*vQSŸ?U,]7R`ƢKM}^\m,~:55G٧q_*5sOWdM0߫D$̗߯K힨]OLVANpcTj7 {~(Ykfڈ ElǾSWw7k9_  R!C&XxE݀+lR$ OJy/pyla&y@:8|Qf2f #(cxsz<$ߘqwI8hi? Lݗ$»yoRkµOO``_GEk)]4߻hws@?˱hO Pfs3_0V~a8( u6e<)ZqUB'ǠL7tNRxpJ( s˯@{`X}]%ѬSZ5Ur*'IJ#.N t Pu9BXM5Vc*s/u9ڗT UgYZ -#3% HOL-AlgebraHOL-Algebra.RingHomdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Y?aQ I[*7 -2rc62\ƤA/ B)iڈi>S~!]LƓ~JI+eb` w~.9m@b,Un7ŃZ@M˒@x'=){w^9#} U&Ul6b'$P;*> ՛n? w6IO3C\{8[iB%V#2ޘ%Gwa*wF*MIgތmQ0x:))s꯼O,XmvR~qlp^/[N΍}KZdlh^ ƒ';siFʄ}\t*&8r7-7ԍbW{>R~T3!i'c-ThM6kϻ¼}T8!ͽ:MN5RF͸[4# ViТtC~w^}T0E˖ ) 9 gtL\|X@s9O2iF,"OcCNC =OŖ17h=PeZĈd w`#ʊ>lVzR7ta u %G[w[cD977@'Ĥ.+RPdrF`+rxɢHܬ;Ҵ٢@PӟpwPт##tV [;rpqD8g{䧍2˦ŒHJ $@)/*\b& Ȼ??zziQ-0: 9yx߰\`9`B UWޣq5^򊼿v"SYڬmG2\b(xH|:Kw p#ϵMa@V6Vz7<ʌ/AMc+0]ҰOT4)H6qw/L|tXlRa#TjihƩgZaOyR`cY`mlʱ~|_@>]K-·Q}5P:r4.)r)FwKK7,O-@i&-~-H[0Z^h|MmAMU _xPhf]wU|:(aro,!NyVkܫ;G? !UĢriG{CXo_rc 1ur6̢4$o\Ll/O˾h|d^ec8H HXGP+24\IYDؾG͉N.[$RQ uhv3r5TDc;`ߍ>I Ρ"r)ށeW+)ƍ'# vUCKK+J"ŒgS姽㼄iAJM^𱈟-'/9diUGdiPn71q5 cjI]o:z)׈ Tjs7`!bY+9쑱D>$ = n( W5㯮ܒ_DzQ6ʌ^xhd-# ?S+K]#a;t$ٽ1=OkYAk5% pC\ذ\PԷɴ SkAasR$_$ O$=ח'Y]BW͊z*nٮ'H㊡qrJ(kDnCR$OBU#(.*%JRW+wE)^ R:wX5WESXprIU13*clnS:;88q\A3 B54&En<( l+_1#N2O$P<뾷-IۅUh P̽&\bzrHv:g8,A§kR=Icq2e~,zBт`en7m`^{Q]OzSq]FYf,)G Jot2:yPt٭0m%o)R )kl z[UhIQFWCn>NHB '̈Da1æ ]n?:h|Th=_P 7[HUa+ Dp*`xqkjvplcAj.X>!MW]97hC| w#d?ڠ@;ZY Hi惢,~wsnSz$Q l#5[ "1DA*8+/5/ng:zTu 'KC5sxvy|w]&v%'>Aؿ:ped C3l ra5gN A59L3Df@*}w2ڿ,/Լ#|/a ]}T~CαU:[q= xQ`Q"# 4ƄKc(#$Iݹ (S+*{n^.\֭j̖ 3kތۻY]coܶ.rp[$̾Ĕ A3eD+a/ 윹Ov\(9O=SC݅W3%\6u{({i2B5m=[pl#]"/7W>Ѷ< cG b,Wߏр+ )c6IQ3JҺ};CCX42a ')Ewi+r2]eQ+$$JE˦i_-O2v% da})AZ@(V S-~v%_b"eGwG(ʎi ᭨R&A}o}y- M>tzT!lE=6JNQOaOν|䢐,ma](M4@;rvrfA}:. ,(fTM2?z,^OڠA]kJMezW Bf@b> >fb| F.+xB@[8 %zS166hJD{>LYиP~gpY7>yO]\ tX܄{D"[ştqfab4Fcx1*$77\@Sxo>]76+ i^&?TA)&倅T{;KGY}YGM2AӴ#?Ȯs޵(ďi*:t`HR+8F~'!Iv1`ƿhL d5ڿZU1m[^9n044)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+:ެ[ӿֶεb*-5_^,P30W.;65ߍyYi%oɶO`6!Us$!Xk5bY8mr*PIT/~?5]\Pi @kB*bfi_~k|, ZƬ 6uKw|%B> 6P܊כzQX_NMz#7=1PփV'l'UiP\U-vP-JCi{.@i6N=<[MS2Pm֐P&l9lA CP>I@jx W94wݑ()Bnl1D!fx"&g}'$k5/ޯh;B%gzN_Ho`ûwD0Kq#܆[$"O2k=ihӥR; ]\׋ ~UXvx\9]R9J9-Û5ސҜΎb8b4pXuϹvϖ<ӧ^I"ıg*x} @ i1>1&Uw7AoۅAD«q08_HB7*sUZ9dEeZ_|ZtkѮ7IPGAL -n/ST^U`7+A[;RFC̶Imhӊ, Juۋv6Ri)f/.ECoocۙ鈷o8`I8SΪk^P ;1. RH emy1(NG:s_bIV'<8MfX_rc/LyD8t)$O9uxq} !I8>xv.OLpn,fygGOi<א?Z'V9:?րkW)tbxf7#fڭv&hIE JMCϒ2XX` O[mdS?]-c=a Et> tr瓋B!kAћ0拜88Ub~enR*ny )&5f<齟Zlcrhyna"(-jh?]౫DGaxAeTOyRCVw[K'V[ Ҿ`/)P v>y5ha(%:bAҒ [߇"ݛ5O>=褺o,/S_YMމRZJB'H9}z!x5ڝ#42yJ7ԆBq+rb0s< <ºyc$i|Ш1c,)q5: O4( !z-e53ĢnG ~qڔiBr--\^PN_Eakam%&1M a[4 jߪl^pDă6/,`q/g.0na){tϔ3!u{q71'=œU?`I<&JV}7!qom-=y?+̈hHx\8Gb&vMejVJnt‚mA-Y&6ZXvh$XHtdyng 1犥NxB'X%TEOy@ 4OaJn{:fҶh/I3AЇϔ!؇; D襓%Ϫb|Ǩ+5TdX-7sҡCfb*A¬.n.U:D#@>5_&".p#`V\U!ʡqs)Rvx*Vo͵)a.y]GyI50z05siGC~d`Cb 7ƽ]3Mvָizz_~kB0X5/prP)IkC?1}Ό->IW>֪Rz.iPSy )Qe-$2l }"7<*Re/`mѷbuK~;_:>!ZA w8#) 0,CkǤXkt b3]胱,EzwXI@㤦sA8nG~0bf;{ *q6abL0B n゛E<DlTY ,`W wC42J!b3fTnR/;}_l/_ x {VSymۢ~lU־"LdOm6doɞ9`i9wAA)9ISi}:e"ٛt6KVZ/<|7|޹ctTBwگʱa)4P#6x7ٻq$ރXY^aLa nb}~LZ5cn))=C IpG֡͟{yޭxX HmMص K$,1(ŋޣ_TǞ][FU nPZ]CqP=@94;o8@e IJFs,HeL73DvILJL7ɮYG"(*j!$lCMtcD ⷀ0s"@(n:wٯ >^YBH1{mRkaQ=pdDF_o]:ży@;;UHBG- ދ8w L;oֽ@OQL}>ASCJ^2:.-=ęN\VJkS9͢G֯K wdSU1nOjA~(rFm%a75ignU?GysiasgSuG;e ܺīD"pAMdKKu(:e`{#bnEO~'3^`PzU(̸˴Ȣ仙ͮEud e>DԶ[6 ,a㨻seKt庡,E͑|bSuM ,&U}cEH !#UðtIh0^YJ{/r?:!q G{MOL_O-SWc1Ɏ%k,E>C5d-ȆpebBVgB- e{2\5[i,;Ux:T``f|?xov;d\kGC\&7Fw"']OQx Krh{{Px-\4(`RƘl`VB>U\\=>tK Wʃ*<︉gD6ފ{TBUK) zA%v h s6vh1Rv0 <=S 9N~lTHԷ44Zd mu8?3bU*㎍S@‡ߜ)S^hn%ߝd_yMӍD9" cVNu %$:|7NlHRW0'zRH(Po5ga[eA -2UlK< +_ 3qyr:ϋwT!dcT3󬱒zC'\x/$-~+vgeY+3&֐'c5u^>P%HOGV ű0uL8r)y"a8lWеm%ؼhtrRYG6ΦXmΘyՀŸk{Ж"ݣ J 0T ~}mmF鲜5=W\YI Ǩ\.ͻBgΞg 9ӜZ=WI<VN]7!`>7)y`M&uĥ4Y?y=r;70/㏦N$ra/rLzVn UiG7LLW9@, =RݟxA0$ҝNer'<:_*u[h (K8{bEEF .+'cV)tݨCa"n=`}i(yg4Dط#%cF,cKE ݑ8o >d_Ro-Alfg,&HRFCO߾E2[+w} 玥V7]H\bȨ~#umߍrU:9{?.1-d =xu tW^ ^.٩l 4/ gbeaSw@C |fF =:[lDk#n !q*Vb #[?1+cb PA9yDKeqD 1 Amcv&(l蜠"F<']A[i\V8S9 ~؋Lf!:B` bRo,, RwuBʸPN`S΀Bo+#]'&eUŻvxMk?4ѵtTΟ&ȤhxVB(SDȐ X>"•V1<@8!֭-߀\ 9/cI{w ޡebMa@.;i96S+f3'G~&MܝY?%UN e|3orՓ׹⏥l\Ix?V0N渣[QQtGL%TLԈ ;a/ԃI5_&szhMq2.}MnU,P$@;ggu^J66h~h2-lTVJSzWlrWx\.zWn`JPړ]˗Ci4³qٗ}k'`7ܤ1fޔU?w[]#H.79rz5gE]8 yLEDj^pVH+]WLR*LR alņ× Ouyx'jj79nكt(ꈞEޞ8/4("Yc=K? I!6g!.Τ*gYZdb15758a4875063abc3d68cf891e1cfa4d1333d7408130f68e215ede7936ca4ab0eafec3d85e645c f28cf806c632fbc2897c47bd2481cf58fa5266f7 86e38d3b5c0be1586f867242f20f2d734f9551b8 6971783d77f46709907f4445fbaf6bba35de75d84552de0ea6f16ea4e0124f5b20990e61e30fc182