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  )#L ]S]HOL-Algebra:threads=2elapsed=88.143cpu=164.668gc=19.792factor=1.877zXZִF! ] z]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-관;ZooH\ҖKܥc% _}\HXdRK?!)60S](S,L_@"3edKhRӝD"kn=4#ss{l?^6A\JtP<>΁=^ էF6njL~)w9 V7H5AL5mnD4Sx݆ζXD;Eݯ4ӕ[5Ro,W/@ ή_csLwz fX3 e=&&eL{XvO_|mJh&ey{9ev2/?8_qHdtZ_3AV֣V9 2Bye6GVX'Q xuSE?H܄mB)bGwۺbԲ;dώ-bCD4 Ȫ;Bq?ƔFZQ cS0~  BZ'DcM61 g*֛Ts"veNZ3Ľm1WD[L[+awo_2"8^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܍w4G{#=% HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex7zXZִF! 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( ;#5% HOL-AlgebraHOL-Algebra.UnivPolydocument.tex7zXZִF! /e]A-MՋhvG"uIBm59sBDDg һj[ü\lofnf] owq'W}^e ;Гq+P8SKfkB42 ]5汚ByQGxsqs|5H^sc&WJg.@@{*h6}Ձ(0ɘuYjhͰWVٸ|cmβ[ZD~)vj@|TYlss"e!'q?saOM.ûIj?~2Kӵ 5TD:_L%P,S {Iu7XatJ]iT$*zh5h*=}?kOU KmC~i .eLk]yoRrի2>Fv Z'A{579BzCb jR^H'*n5^>4>BigxKEM,4I9m F8?Lk[.j;.>gk8H'@_ӧ !gtnh+yy9'kW½{BaXCiC͘ sXӝ&w߭K5mhRůGd=!_H6P@Vs8`ׄCzU/=Q(dR1*g7P?N@Ƈm Os1bX3Ks7J5)|t* ZjPYIedxmH"7m]a"a6V VOh'nIHFECA>9 6 - )#  q6  ; q 2 j 3 i i c1#5%HOL-AlgebraHOL-Algebra.Exponentdocument.tex0#3%HOL-AlgebraHOL-Algebra.RingHomdocument.tex,#+%HOL-AlgebraHOL-Algebra.Bijdocument.tex1#5%HOL-AlgebraHOL-Algebra.QuotRingdocument.tex/#1%HOL-AlgebraHOL-Algebra.Moduledocument.tex.#/%HOL-AlgebraHOL-Algebra.Sylowdocument.tex0#3%HOL-AlgebraHOL-Algebra.IntRingdocument.tex3#9%HOL-AlgebraHOL-Algebra.Congruencedocument.tex:#G%HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex6#?%HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex.#/%HOL-AlgebraHOL-Algebra.Orderdocument.tex .#/%HOL-AlgebraHOL-Algebra.Idealdocument.tex 0#3%HOL-AlgebraHOL-Algebra.Latticedocument.tex =#M%HOL-AlgebraHOL-Algebra.Multiplicative_Groupdocument.tex 2#7%HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex -#-%HOL-AlgebraHOL-Algebra.Ringdocument.tex3#9%HOL-AlgebraHOL-Algebra.Zassenhausdocument.tex5#=%HOL-AlgebraHOL-Algebra.Group_Actiondocument.tex9#E%HOL-AlgebraHOL-Algebra.Complete_Latticedocument.tex.#/%HOL-AlgebraHOL-Algebra.Cosetdocument.tex.#/%HOL-AlgebraHOL-Algebra.Groupdocument.tex5#=%HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex0#5% HOL-AlgebraHOL-Algebra.UnivPolydocument.texJb_lw&<:[ -ZNBx#Ӿ2 9jH{ ˰rIm,tRzTdJseNIj'Jņ IFmakfa}+aO\bUڎ録dT;HNUJLQ8ŤH X؍?"Gp¶n>?b1pϤSdN2$%wBƙ~ȕpj7t K_`UAk Mj{p_qzS?]SH{N;P3C| j;rF蟣r rGʷ`9C!RҺ9 !d-ϘFbz.ppsx; yb-OH6&nD[)4+n9)-9vf>9%Y#9AVEДec$^< N-{6k7gnw"QhU('z;F8i@a~%x9+HxE hS^˧-WOبunmV=)4<=GŇ|{MKvsF;iɒӵ@P`ytFej_7v0(nEʪHVA*P[wE^޻&sP7'Qb(.Yo̟R/޿Ƃ`UlJ+YfR~ ~N] Oty/fJ]lc ^9f$qO:F&bOrV[ ^nc*jTu}̻IxZb&9Ur!tGԝu,X .ҭ3W)qnym)U ;m6ᴉٔiNyʏHq)2 C |G(_#`WgRPTikM>U9׋XL²\oi?4O'n\r9n,P3YQ< k`PG£tHٕ;S:{[i}5K5m+OoBPS; =Yd |;Ql$~?{N&@d 4Y˫bK@\K2A%v]9>j®!oM#dre2෡ljp*Ntly&(}փhPMea(%*>0h!UI]%qi(Y:9@A(Fwcy diՓ%S'Q0YBsy@w.Pu._r^0(f5DSZؒ0S2farmB4-Kmscvgܻ37Lst,`&baKtY(*ދ=Ɲ>\DOryV"bY8`V^/2*o J `!ot׊\GEirZhDC9wi^HlY0SF74ڰhlK~?>x7aq8,WE,. oX+0t)),ְ`HS%!#_wJY.%Isgs$24&m)bxʬ2̰Ljrʭ} g$]J bQ dc*dOD δ>LH}]mnpԛ ?Fήb 4I\9zH|K8p衕 O>|Qױ'+E/ 9GQ$ʇ%`x7r\KK`KLT;![H^jYE\k0,{4g&aA-!GXv㾞k"OQQ̀Nmhذ-ORzl[ (g ~]|oI;De"R*FweD Qxܻ&Ijzꙑq?b$-1ɉS^IZpN {@v| S&l3 S:@{ h&De^M1r6ȝ̂RfH w\eJfIoiEhkmO>#n[LU(hLɅU-L]w @GoF-WwwA3/is :EVs+] =a_{# C!jmQnַ͑B҈g!-ܨhlEܨrjEHj*೶DQ30֧Z-l¯ymdK$iuAen~$!U-A"p+?%x) W1C4k^՟^+yFVOJ +ΩZIJ^3-@ ɫ5~54[ 2$K>,w`VNm+/:J7wrhy5%=r S ѕ,ol0*f&Om tƐtPn?d]S>7 8ms1nϡ'.Cq϶1G|jbpk8j}})Mbҟt#"/ƓC%hEuViyYko#,y!ٽ?| pJ,TƱ.ؐbNJUc4όX͞c# D:rݜwq [AmCy}_ ` ~q+UtOC܁u.nY+Ljۂٙgo pk@7k2r+Ь9['Ő)1ܛLkˏ a|c uujE$GZ!1qRpuh nr /uAC7}(QT€Jlv &Zcgʽ\,-0Bt޺F/%;'ZJz r !cdkp\eN-ń d 0q A'O˙t7_yPS걍7{\8~ Ԅ^΅f `wDCef60Lvcd3m(G4P,,p~b,WoC2 sA6;W[L3CmV"`3h4MI\hd)gVPqѬc {RwW@m"r=UC@5o㞽hSi uHuse'!{ ҟD2Rb<2bj B27=jdxsjّOn*ȉ=,3h"hDu &H,fr=y ETo&RF"ȰC@`axwY+pAq澯B)2٪hxhti ~џGpNId+a ކn8".WoC@j0㋴P0bk lfOYi_B{UX bEd¶fJlI@*!AqrgZHZ/dzxaDLKmBV e*-[}oX2IWp8%)rax;Z6oENfP'Ƌv3̹#[ s .݉a_ & ~!F%=6ӆsz6jn%/3U=8W)p}C SVI}m~feOp]6;*y\l{zK;s)~xL:l3yq ` sHcI|fG.RSRABp Ӿ'>b7 WֆpUԩtb]BZY(%q!ާ- "E$q|\@owx 0s#FxidVlحi!czJ#r.of[w#]T3}むH3\  SMu_ Q%J?!'# ?&15TP%_^|;1 :=/49;\[&f۫A@L CrjГ pѹ/ rp+y )>Otj=u+ߘ>^2~?փ,z@XV(yެ^bZf{DDdL6)w8Z([&(^ȓzѩܶJO/T?X 4W{Q<EG V6׮E5EY[_e(sxU,{mC^{3_ vz4gTJ -R1LU3ɗ_wՠOigM;K" D+>J7s`RՌ< y]CflD+ oKbqs5Áa]XrvI$:R@LÐmv(bǧڵ #9^Y)=W]@ U^,wGReA &eFGpDxj -238,QO!E^u`'KhX*u {;y$ٞĔD$g=)l_$P~sMǴÓ ` Y*0ц ܀A.%gV~ kcw**wWYx(?nd»SE?ghi ްsǯuU Z8<Kd΍"OYҐg"lSXˆ %+ƌFAqK.@Z>מFs|zbU-w ۄ3y!JUDGKKG fD#jEvrrb UP޳ͧJ(x@wu3GġiN##4O-!bmpxvU1X8[ʝ3^ueż1SN*<'l/LʟloMg*x\>rƑq8bwf2U|W7i`1_!>뛈ܑ>hEz9@S>|9MW8dG8"kl*{4sry;؛UyZZ(N^ieS+R $Ž'<:qQB@*bwɵ-4 wwjnPgTܝଳe_=LDAA?XNnswEp䑞Hhi` {aW6xp{[XkyNeﻛڡJ Dzvp7H +vdN .^}0C'>ҎQH2Rŏlc֘[Ƥ}Oۏ&Z4y{Sq>{. ̺` U~B f"Wk[!{EaYPaֱM|lT}4Q<`@Yu`7G0j-0]FEB"upӾkBei 9IlnXdDG0_zEBbvxL U?<4Ac7VԩOP 2An1QshζN셽EJ PSc,J.X^TCۋ)^h#4 4㝄SY7Wjfibg돶4P͜UCQ&Қ%U ;eI?i*>~v.T[䃖``(~'u4^Nl#PAFdrw)Uף7(Ʌf e$E<De–=U:4"m욹v̝Q 1zihF2sL, fOI=^?04zF>eh؀J S,;(uudr Wfs5\)liϩ/2Qw, @Tʌ=vUbtND-NO䘇6xb?x5tb}8(W:hn%ӡ@xJMSW%R `ڃyXs%?Bu8n.'m(;3G/^@}1[yۊ+F}cOWKjDI7fx 49 $A^BڤpWVOGsR/ͼlSeg-X1оͥ9j[S3V4OC]#ݥϿT)? ƅ>s\,l4|{Ҷ `Yl9&~W!!WWXeLJ 3%Ii|8 ͒#B6d*1r; > cski>߳R[f#S/)6fTYsvʻŐrke ajپ!Cc.jMtܔm@ni*Y"wҝh,{&O$3?fJ":DbƦiġgZ[M>u1!2d k䖆d96"89ۡGiMEDMI%PЭH#(#`'Wۓ%X#Q,ce°̡g~0]ݜ(kn%0Uy=yHoU-[=8upėaInESd=45ǯXie3Տ5D!}ѸouB|Sh Nn͐6*rK A9ȗ] bo!x>mvLpK~ x*}]\7p)Igak蠟.h Ǔ7^Le;R>\ТPeXXYƂ>?)JZBvLgڳ 5FnУtwv aX]tBx'AS2'(%`ˏ=,-tҡ Q`m>sGWDRݒ/  -Et՝K0 Ex%1Ofb?t، {FmU dUlq9A -M; e|0."=H|3WE)- 4Uk}zR$^ܩ;j =Yg 2~ Ŋ?ӼLJƍ/Ƿ NJI6:GVdhz4J0Pk7  lRrfǃqײ$u%s{h?nޑR[q 2gex(1t͢Ph4CEJ+|g`aNXUk^',ix}"}r<21=mIELIvWU&=O'>9~r+BJ_팟 1l^fB]yƖ"EU_N>^_|~ކoDM \fEK sUb U g62tL6ׅ5mkڑ@, #\IJ.Kwe%wv С]SDY`#$PΎ<7"VG e1Q3 0 Z0/.J@2}y;)E<9BdcII{'4/mă3>2uR!ͷ[A~ ߩGQ5P? Boj T%r0#n`Ӗ¶v#n&*"cؿ{@jtSgLg01vy ֡t|'1nQ 4Tmo60;nJOkl=Id52 3)!L, WDC߿E(l1 !)$ SKkimd{{j83Wʞz0;\倫F "cJ;)3^6"|Ǫ7+Պu<"+&f0~TQ,0#a[(3ǚvv-=ܤApE83_נC3i $zS~8N'85| 3]IχczN:&`hBY %#*wFWU&f`%QPm 3mc2w*\>100a >gix 7)8+ GRؗ,X{k:zt@ڤY"oX[%qv!CjH:`}g*,Zu dQ7p eV;mK܍j_-˭J  S=Y@AFgwİ$N~dإS5!xr8iN 7h6^pdu0&}@ol.[[%_onSEa0oC۪u!'H|ϼawKp{MmY+rGUewHOڃ DQK0N E])7rhM Ga5GI^4#I_SU"Hj؝Q bꙃ]ˆ>=:mߘxe%Aq(6 ]n8 Y vI,1ý5Z[tsNIh9u7K-3* s1;ۚQ8)M)z<%"ܝ]ٓһ~n,D$ )ܹA=^d/J5~Oʐ<7c+IhdA'y_;MnpQLJC1BbZq:+Rh A0`zdIP_)}2+G .# -jw]e.UiO2R)>1errUwgviV-ie5L>1fᆊH XQEt#H`4)NT Lzd(>H۪uI *Jt6*H):%o cĿ1Pb:I0Q'O=AVmCXg.{9 4ש x=a"^d RYu}'R!ޛҌ,ZDzߔkJ%PY8uQ\ӇF= Q/S?k`淫y;R ۋXAuT̳,}J6NF=m& mo.dmSt؁obc>HQWZg/mz֬|,䚓m4!h?z:?YZgڃ73S^&$;xIHn&v >0K5{U,kвW ڪQcΫ3*;-%y~6 ۵QZ#E$^AN}EM.{Lf Gˌ SdYPA 2 @bl*]cPdQ6Q|q|šmڗդ:$vOx!`@v%xzKXݥel@ժ?g3MbQE.S]d73#u+/:|&`t&$<%֣ ΗL3],pqA$q<(ww& tmF%j,64&FjzU s ƃ*VKlfCaJۺK ɕyܯШFiBŏ9λ @q)"LB Q@k% bNUsYŴ5q>ELml&82"f\%r]fCe$cրtpj|F67ZAgtk՗ #yCA2Hzi Cƛ?lf)盍D,2TB{tB?F:lyd Ij} 54S.(GXBT/v]Ȟ U 3 qG_?wZ4'J0@1|wr9=%boUqGӷp"ꊪ]@H8HO2:7 fʮ"m%wh}}2 v\ͳ4WD#Z#{ɂ9|߹"dK#}[Vߢ9@,P$&ݾ6U釪Q9 :P[1 <)_ ڹ?%{~ &_ ݱlkNgzT( $6Z}4aϩ٭HVϸ5e1)(WC ͝dOLDk@{hHr$@◫g?ͧ"pp|*[WΟB omq "In@_qn5C\0~Y2%}`d}͐5Po딱"706Uܬ 7Tc*!YrR+tz@H(G} J0wmW r;KH'#L-%c2Z:_$K2Fڜ`x%sk(.ߥH L:M}hjZ3gW ٖxMN5@Q`tY<.] ̪\bPM6容 ӻA.nl\b 'Hb= ;㋇~1N?Ce|Y"#>{i":~^w(DwRv GR U<bk235/_ϯuDRs9ygQzŧ6 5B4t=YV?9y~ oi[Ю9/\+e\OF !v )iFKEe#Ǘw~){d(xVC.Zl/#z?> \\ur+dZk0aCU+|'}<K't"dv pM$Fɢֻs6[~.zR"H HBKL'~j%r}АUUm;AFnu*w;GXe4Lw7%zz>i3knjV /<UX$ z^K:^o#%x:3e*Xv_%Ȥ tm*`b';WMȻcZﶸځZ/GF @IWH_OcvIޡ]=D½+su hS݈J ïbF#oz-٬1'zLQL9hiSרPlcR:́!A0\}#%7_S45=03Ỵ:Xl0l.gN++܉OU(U tjŷ9le(^Иb: 4? GľM{?3e2P%"ģ5cIes c1|.Fڱ)! ,|_ ҧBEThX__pGƗwg{D!01`Mo՛ (@]e"@Ӻu+t7ƪIuarXA:&j`zLvxtt/%ԇ%UO2”X N,0$ᆐdϖ@jP6{HZBV9Bnh혬 yJqYזbӝYg O#\D5J%/'H_G>?Dg8,$~R]5*zA_pKQ3l$u {~Q}^o-:Wk\R%ĵ>LJ 70ޡ50 Ml):Pr.z3T0}_^2%kn'1=trtOvihLZ7b/&'J-X|& D}Q<~_]V٥nn7+'L?'Kd3, ~'П[;o4VGlVo#MM}pHKD ҫx1 Mtk3r;1u\ʥɐOvE%FTe \,"!KJ]`iCKPB6,zLC'Q$L RKl[e|7v>V62~Tf0j8͝F|!ŘPo(wJ9l D9?"B>ڃq` @xN0eE.m֯6?sev8*$2nUuݠeM+*^|i*Vܦ] y+ã1!H}dEN‚65}([7^rK%2W?U+}&9hBYco(޵M>'tw3=(е:")KL=Tue@QT5$ x"qo78"Fxej(Y%6UR-3d"L[BLӥX2˿495WbB(`2^i/Muovl0#;Ox0aAQS!dRq?rJZ`)ſfR(C*X=B+5P<1YCI>ZR-攥H pegT*wlSl %}Xg;"실GǐP19L|cw|0Xd}"x/lhB(BgOR"QT=)A*&Ɠ⊚OR3'-1ȕGת{ePe=zp.uvT=&JZ^p~><*fѱ 6 7 B[808O0ܝwŊ^lHk'̀~H~;wg]q6I6j xzz$U:=F}J){0UeӸD5!bymYz鋍h5?f}2'VyIw;GQՅJ׬ k< 2؝mj hMI; 9 +{|Oh ._ݚ?Nq$ wgNuA"B]n#|2{V37DJƣ?i tgyf?fR{kVqçi0DvYiEg[1B6E:fOC{,yX‡ZlF q5+L95Nk`rO . h/ aLWFk+}X4Eu|GM]W68Qr?(FZ HwMcOדPO eє4@x¿p&$byJ$}s+91 L{HISM7d|wJz x\e"ɨKb`& )+{ M+fBȁ)>;Z7rBPjLH0v;LSÚoDB=EMhwt/LOcM! oZh }g\~UY?krMPMO!t(sta0Yaio D"bMx{~g(ʓyȢ7fW; W|>ِĘ>l?YZ5Ҽ@C<'PKԗRU_({^wСiJWF sy| D^ZxzdӔkfg9ԗu.P8W$tJ`Q)| 2vaez/B,aI6bM'0꟠d.,KH¼g;46 +cb"{Y'!fhXB&6̟]W/B;n"/8$j3*dx8H5lܝZ*e9R;]uD)qgKnsɈV.>- #]jك&3r) c!6 Y@e>)]FZXYs›qlߣf|Iaz6#`sgȡ&bRg1qyW ˞hBZ#{D[/|~t)UqaH\(?^,pهF(: o//KzXif4> :EhGƀlѲ9"Wc=a^~pȪ%Mn%4c+jt쾘^]ý7pb:3rE;Tqwe7$rCwL^+}sU KgRT6B (y2\#]"IwUIʋ+F2&7܁Œ'ewA9 ǟӑ#bL]V.X%z#0+̐]w:&>FE8؍<1͖,Ftq̡aAlL_MLaE~\)w82*B1^ Vi|+hxHmWE*i"2VhEBB/Čߩ5˃JXՅaڤQvi律윂ѓlY=r%]CNOy9!#ӞjD`t6@ CXUbIolMqśZF|~fIoЦ%Vg[BQk\'+*aD"RQZ``sB#M2J.ޑrD!QlyuRڹvV)b\Dq%hX'"ƪwIeq fyANWW=^M}tn)S.ek|h)@?;/4 . .Հ^vob/0 Bc6GK'`E&eQ9)wM4V.V7U۩@]dOaQ)>JV@?:U@&xܿ[Qh(~XR{*zwlM2_XjN #[-)W.awOH $`WޤLv ^u&4u/^[Ҏ>h͒a x/R&C \Dvy-mGx>$T|V dm{ P D#?RaڄnCާ1pՒDyf]5(Jo IE N@J(˶*+T+\Cvul2,,tU!iL.hNZFJr墈2uM\?>`:Y8ܾE0/|FC3{E.Ѥk tr2&Ǎm½p ]=7%vhyD6q8[7 eLz! ef&A#zТkoVG^C4rRmy4g*C"> 4[a9 _{ 4 |DՀM7 l1Ը*1NѢF\vCpȀ#KlQ$sͭem6RۖKJ]w4E_4_l[hΪ[bBc̀rưVl)]>n/ EPKtp D7xUvgCp`,Jۏ~/(媱{M|#ÿb_v1j?aBkq'ŃP x(6*~Rr wh1UV޽w[^yn!:Y JFPzbtkc/ *֠$l7g[ ]m21i|!?幚ݑ8\NT /Yfo # Am^N|8p>6PfOGw[m@iN#W#}dYnBnL\1gg4ˠ9/u \ J;Oo qY;A|ks:1&t1:ҢoSAoy4'07Խ'xalbldcͷ47a| l |`HTH'kFU*Cso}R-;nN 5v tɜ0u." c*К!.1?k2ԇ:/R9M'ԯ]~#/O4]pz!SOq%=߂^ :A;3בtxjN~D5,h2˴ߋ]hTrq~F*u'd xXr+c(׺3G}M@82eWˉ5)C12)9WM4~ H0~.kY hc;XMp'=9;tψ?l;g1p)W&Gg'PKr?K> SmΌHy8_fQvf;ƒh3zb m bO!'ė#2Õgo Ca] &Z:%Љ3>8B7{ tSO 8Y+ $K,Gm! m^ɿ"/xL鍚 7V/vqޠ_&d/y؉uWnWG[DsB[fTZƶ9 @avҴsrD>S{{]+yx`$1y_uHE0E>82 G.Ȃdބ냘=ۺ(+Hc@>AZ.MC L w.Ǻr"sG?9`٪O"{晧x:5ά*!\3 zBxpU0C!IB ZH CrNh].jPedn C@>%Rt*JӍ Ԧ 83X2^?S +F;ɳv`޸@ijW7}Wh\ћ% ?2{)-OJa>L8tߙW^Tۤ`#g9@)}mbʥm+M`áN=]YB O%J?7ҿzՏ5GSn V8FTpn |Tjq0=øH/sR"kIJRf:/ 9 .L&bPăƂYS-o?{hK&6x>mPؔe+5m ~!/|߆"/`5^A{AltoSvPq(ձq;uG"Htqz ;I*Jt[ [[cJlkk ޲lqbV]rE*D]΅)WȺvG3 ZSW@K\h*xF& ,&0MLD6|GPޔ8xk"8FuREfQ"(mkb pb:zJv8`*d.iq?=.(0]'j5V ) ہ}yP8&iTY&Mn%Lm^Uߘ̓+M4jn9a(͐S(Gf/h!y/ZZPwXp(bIT?tJT) 9:dc-[QؤCMX BIaYZ߮'AÌx\=üȥ3"mN,nSyH" ېW#$J9q$v.HkmqkC$9$|Rڎ(m$'Ntޭz|D3NgU ,@ZB6 L WQTrkpggҗC8%@r9t`Կ8AE1>iźޜ)vkx3D;@yo"V&* 3%#~ M->\kjSn ^8K;˳y8j08{^!?Jgm{2wdܗA>gAbGѝ]Ŗ}TK2#)-Xk+gK9~zK!#}l3;oo0Vg1Kܧ 5a/>v7aAEuc.'M]䅏c]["D=~Pvmne#a,jJc=~k')nJ /p韦lDYjlT'g\_vzs^9VVFޣlNe%/2b\WPg`! PH|05zXԀVxť+_XAU$Cz8"3@}WVd ~@*HBgE3BUʒ9 /z;s| C%O6c(j*XlbyYj^ъdǺk?7C*g=`ގ0m^/(F<_:)Ց b*Ɔoy*ygi#$W1z)U}bة.-'= 1(ѲpZZfUI~09 ),d6+!]s~\өQ&Vv6ri:x ě$AJ@VEr' VHz|4ǘZϩFW$flM!ozffJ-O:="HP 7 8^+1J_Ap䔬oI?flMP58#Σ..!%Mi@1KՎ͏=a#7*<X]g  C֗kz''U 20 =g*rz!2r`Xp0j]L6ѯal۱ l2CGP^Nji3 Ţ^(x'XIfG>VumW/|OW!@Pt&pyŭs\[N%, Sa{3G#=-r ɹz(i88Lu?DFU;{'DH"ãcFJē΋؛PWN2o?bjhtCtIgf(J>NMWTRAb~zs4@Һ_Kcg3Cc<gӒg*D.⤍U+Nxv6M1Vk7޲_(ixfERQocE_7;*t}ȴ6dGC5fdz ,);Շ-P}j+,߫T>NPJ(8ki D7BR13vilNPߐHfc^T::Gn=ܪH,:rWQ A'oWiw9yUQ3s328?l[Z:E vQysR&7wV16U#Ek#T+&v$7J}Ŵ_qrPO=5R FER`{] }Zz8#"[}K/bzn~*'p{$eܾg0R6Eurj'oM*Ld+Q plgF3Q䓷O6cWQǗw\1yj[ZHBv=pYe\l94d aYjpoJxnpc +dOh$6o=Mr/֩?DS}~yTE/[/%;z1kof"}h|eSvyw_|q> 5N{T y,-q}ĄV48\#1? lT\@(63`bwrC~ $N~8X~=l\> kcz|(HuOkb@ߑ0 : wFaΓ<2XQoDcF1Z:+G_C _EO;~L#T2;tix:O$r "P7hLBv?2٘ohf%PksN#|*+KWB|_E$뷐5Ѵjq˫e¸k?ڋQvy |ERE(n0aFЌ[](JBU;4eۻt~.`YFȽYAyj uȧi1axni%{yln%6R=[c̙pv$j^A؂~ߚelv3c&Q{ղC^͒oSX`4jW'I/2 *10+M{tQ]CQmO6E|˭øU=)M<vm܆p mY;o}uw;= ړp.PN|oѺ@m1ϤI. ҥ2 dDnf56*(EyÈ}q}s톡۰M3w& ?j((hB z!7?L"ei<}ⳏq_9~Dͩ!7s\,6="Lt׶RY¦p"֑R Xj=dy%zաXtDڂsq e OI o7t1iy9 ZZҀc1Ied󋴎?[#+sm!V7[{Q8`ȶJKGۆv!10hPo={lOj3B M͆c&8`dOq|d`4Nvc& d $H %J) K7޶pr}WTr {DlHEOxck?&|1((B;#3V@+GrDB泯#=v>~91qӘ} Ū#B [T!KC㠔dBQNڊU/UetMŗ3Z-3v5ꤞp8A]xjLiHzegu8ez?,&~ģ5Y9ɱ4~}2[{q0VMy+49؍ nTM-Eu^ U;[SUn~x,] 5r8?CXhV*7;tNWbkXgsTĄqr6w4u2sT˚`z6EFW*Ţ# 9VC^._<ѡ e[$lX78aLs0}dE?UcRLRxlyj"(SCҚmd]y6ZH.qEs-$U"@u܌g)"vM@"1!qiaS~jܠEm m7NɮR*] 䡇נd.*̑zQ:bG(81/]-9M~k?@L.k:׏UU*ҵKwML6of.F/jF sb[PUʑt&8;@q>:E]_8ψ JQ>7I?a65U۱*[6&ɡe-xՐSM'z>g8N׬_<+̪%.U,Q6 xՀ!#pϤZ^SCΓKu"MD49|twr&+ѰXժNjw, D[{~i;˄u?]ZH^>*˾5Ml8=ٳIEy?4(V}㎚L~я;Ϯ<Ɯ"В1ZUy96.&ՇH׈8=j!YOܣu{,|,| Źc7'I9&Gzd د¡~>9b" ٿSLpp1ԈI$tU{Db@A'2.,餏(n ip!gID,iTN+W,ݩYԻ\@B+8c!(QE cX aǾadOPBʆkOum nyk&t#ɎS4TWcK7B'}nԔ6?{@kМ۽vF:}9NDH@)VsIUr\TtA7.Э&M)X33GQZ?=}[o{ړj.kj<͒f:Qݻ(th*tEߔZbQcAsi ыFԌK7P aC,ՓNDܽLjQ"ƀoKTn Glsőt;d_ٍg4Ea}UD'Nsbbٮ#I^P[d+es`wx YCvlŎa:-$ X'<$,Ct j~Lm?vf몎̥eBv5~_t~Nҋzf iְ(PQϾ^ oBx1uN1%r9^85 cLOkҮKcD ҵEL\S;\B,ȡBCL֠vIzdruc&ƇbgM9Vx~261Cfe t7[,)B]yUݽ莠Rz`:jFdـ;P_߅~Oؚc$1 +@ [au\Hc2, VHıy""E`N;}уo! ӮN~ `4݈P+g#r{rѭ6ANzJoL g#ZG:}q4AҼrTPŨ`_F P&CI©:+KmsQU!/EN=XD2OwӜQ%aP#TW74\q{󠳆2 /Tf:(Kr;> ,, S@+ 9]q;UװXaI? Q3C|HKT07YrJo`J]t~ohQ+YPgu G/T5`]^HYmTW7gxZ ߷A\Ѿ ƀ*i!RuXY켶]=*;A,j"]unv*"`wB{lfgjr eI?k.D QGn]<ᇋ)O 1Ig$ĤyPƀ%ݵ3~p^{ ȂAJ] O.񭍉)Ϲ>g56xHC6)ќ@Pbdi+ejBCrJI.=[X"~lađvժA.ey0u ME䀘bz(lsHr z89ykY m}5a,o;f܎W u1|r\t@Y٬̢5%]DfcD &oTJp|,K ME+qΟP q60d8eRO_2IzͺXtJol#.Ǜ@ڋ# iM4d,RNo$55Ty<9#"G?S;D귳 JQe%k9E/%@@UpqiBiv8Šju[܏ۖک{H7jc76|M|EIhB_T-=`EJX:[}[NUx`4GkFMMq?w@lza1ȲۇaONSx_%6g#@\_: ?~^ yIJTCmg`niW>q}P|rVv yLYhѕ<IEc4p͵ũ@}`q-bH@6@ٸiu-UNpĤޏ+'bR2ܙp]+܎]$V#K @'urboȾh OwD~ R--C3mh[wO}޺P`dxC n@/,Mc!>3y\^:Ԅ  <1nPR߈*6˼|쮎тB vS%FLhD)O?|6E.c$&_,e1C2+#s=>MA.Q)1o1tK!*%9̹̗s9xpL\, E4hׅ!oa*GއI9 0`^!e` ->HKb.ݺxkeA>|]Т)f6+ ["[ Q8证C)$LC˥gg[1LUJx)v/[ C[%.6CV˴6jru(G8*B?)JomcU& Jż&dP,jxޒvq?!樦>{Gv|B8T8ExPQdLO4Q #XNxK`B3$8#+oj0;R,GZϭx%T|ͣď@NcRQD+#`'S^*_0E!{}kg DMq-҃(Y_fjf.XsPIIMtev*m-)h `Oh.Vi@=`}r).ܜYc4 /z+{/% _uoIȹH!O)O9b Y-|7f94 L+pvu>wqX-Nm/Բܙ0$4%3`jmO!nגMfaynvVӶb`eȳb.ѳ`^<uoߋxT^FRkaE:GƌߐbWHNQO&M5srbyV|7W#7^ tL$]{#Gd=( JkuF%ξ-P0ExqX Ķn-SrXL:\tu[=G9j2`z$n,xN]aKnC#2@q={3{-cN֌g.n@CC 4 m )\2S0i>kz֡:=\W4{0bM9iXl2([}`g+4 ^; &кʷSO2,פXCA 숎N#Qj 41b%gRBlЮѦ"[֩X%f fa-z(r*k6;_9)9Lmlg4Ndu_3%l[=GM͠G xN ؊"Y. V(@(άD{]iy6늵2G1a7N (~tvݐss+*$}~JEMfEg^(K3u{@ȿW!fv*+`>D}uUae9܀>BJ !'3ҊoX;PEYt+Ul^uÙZˍi#'`ŗ^R|)//v7<Ϋ>Í=hyOת9^g+i~gp"#M!Jni2 : XA;^\Ryֳ|z7t gY'pcԳA6Mbձn#M.?Ru |䏖G:}ՆŁ}8˧g? dǦ9zg-tW6*p'^T'waBp.D^)9C(h- h@0W+sK p(Lmv)M fUI Cc}|_e$qdRn]_"7s(~6"Ӳ ,%W8?v*^OCh*e Uט3k#W~dLsNȚ7̰K]/i)%( Grt*K ާ2g>uPWC8$۶uCw[[s 76 [h[*ߘ~QH?":XD7ǻ~/rZ~oC%ӿ ,G|+57Ӧf6בIa}6VL,@hT0Sh vf9}oHXu?2{f][iĴ< )~L& G'"tiXO;'&K>0ɻUl>tU g ~{($-M|ohJ5y#׶o(Qjq.MK:hΐG;.%3;MHFbnm,j1_T[ @lYS\9sYqo@ϬueL$v]EC4x3^'C#\21ᕹ6,kmڨ͝Ef:Սz"-P$"o C=d4,r oLqV1IT?(E!Gk;wU,KpTbd@*Ԭ| |A̭(?[b|1o9H"A-SNzO-ap %)BglDÆ3JOrW1HKaѼ'7c0 NNvaf,e@N۽*"i~f TЪא0ъPS.UM󗦘@ ]>SP|zlE4n]hX~.FHfh<CΘ$LnwU>M )J`EQfoqx %OJ>х\M13`4iٮ%9#?IBa7^M7:lXx Qy:{EgVbk a߂V}_a(Α{% YxxF$f hRH1u ,3GLTr9ɀߥRۻ|6Jyoy+33ER XUW %x56h+tK d)>&)tDذ;JZrߔ ֳqEYw\kܠJ0I2?#(gD9dN2!8pX;BpswM$V7S쓧ڽpCO u}8p6 iGQJ+A,Ia ܧ_&8eϩek{nNA0L)XDiPbeˏ^") gŃKf#Pކ:Oѡe&` JT vS+,8C;ԜJPR?;!TMо'ut*2YV'N`20)af)M>.sO[+4Bg 2aGx^t2=}$q^ 5`Ń lt(=7kwOϧᯆ8NGOMhyn1JDE@C?7O `xo;Qq' P|5 K~g9Q٥ ,)f& ܟ. Ӥ-Z¸ˤ[ZxJ2E(m|B#NĻFdh!Hj$Gȯ^~R2W3) ,1.Q `|CXdzE+^3_:P-_A"% 5 wEq7r0S+fV28$Mt--)e\vCɳdOOe%. bLWp:rg0%v%>ߞDWueHGg"<VW}b9X._`fͺ>?Rd@6 Yʩ3y;|X̊ᣥi%B2z;C1p,пh 56~#ʰ˟@)UdnP"_n%G= q\8:@(#4smUR@ aDk¯&rqj}?L|Q?-b0~QW{Զ.g!o+0C?藖+83̿ 0Xxd 1@u9-T`Chy=*ToN5 2/ԳR{9+cѹ?_j1x7ރMs S=w-)ɛ招r?Nj|t'|ͭ/8Oӎ MW_lmU۪"%`uL3YE"@% cIg`׿jT4:㻠s"%= &PY^/8@ ޳ÐVjo'3M.E9#:)(<:ZkJVvUiZ"p+/GC{mC}ʳo%uT]]3@91㮻K/}7哃qRXR aq0S)Y$SLQ&`o͏@Ҕ]4iNyam@Go,~] N X8v80iS|:|wi@$o[rWf >D1;]9ʳ8[#U,`ErBvtq]Y E|+^j{>g|.;&N B#Z9_dB|+G0Pi}~e<C+R'=#9=Ch _0yS_2p !T HQX^V+'fcXTx:*~Ւ.7uk*JGG9מ!ǥL8Zˠ[/BRUN…Y "͎\./j<}C)HTFkmD^VhB#tÇ9=tbMs xZ{d xS6w3sd@QP@4Nc3"vB;}KseR) (GY]P4MhԠZCΚ-QLYڄ?E~̇4qe"`s̔UISFCdxSKT3Aќ7핢LZE@xi~ IY^gd ? 9ɸ70(TP'+PH3OUKx+0'!7@zI/* W!JR^k"ȢNIor`hsN44JpBО_Dls3NZ4Y\WפE<&p<i]FP{P)2BwͯʫSbUɶ&v:1~gE[Q?f]dc}79vC ( +] pg}i`ґQV-0Cy6CNv)aH)r<[@LgOK z($9Jq9h<2zatb^<Ī"( t z 9eݪkЪ3bFF*S| 4 qgjdoOA󖴶Bڢry\lvޞ_b [a9م[7c|@rb[ؠ Y!q.XqP_ceM#pԘ7|V6meu`I dl bmyF%R])16b,9:.j+]z 3s$?,q`}r·!}iPv#b&F_ hɱeGeF;d_IB~ޖDh+*s"ٰϳ&/I}::u7};+IJ+V/뎻z`k(hǞ9zct_'d40\?x 0~tqIjߑg ylַKj_ԓlODh?E+uZj@@Rߦ0gcbWQ.HnZ &#ob4ʑA'By C$dAVSVtQ]NoX[V@_hiNp7Mvb%Y].hdQ;2޹s A u5LW9EĝKcJ>c Rsͭ0tYK(YR{+9#GŻ}GW4Ӵ;^ G.Z/<`|7?^/ލ$&"\r?@v Q3_!1RT) y'Mğql*>VIl >L6 y2dP<@ə9Ank)Fn\Yf_5JSv}j ZY\S)x}b^<81o蚙X+[ڹՆt=t;JcfC~abbL:_M1n0¢&uT 9>T„ئD:Zz7hV0ǢsEW.@wwl)q~w|nuH1j܀3mfOe|:!xI|'*%c#$#j -#Vn(Ql/%(}1*v@;&$Xs5 : WSa4vPrWNzӺmG9(23kaK|$^,pb0&=yXxtpLԡbp%xb1㟯L1W _nTuuD4ƒL$sŷ9Ub(E*ǸTR#TT̙v )\@zyQBf%|P{gA ҺD"ghCee=#MC E=( w\ ޳,jߺ+Pzy 2ؽ{,lzR:l[ZP I~?V2x;kQ,U$oZVvVlCW3d^ʩ |[o-"ԣsp?o컂S1o3h*ްHhKMȔc'E"f5j߱|^AKuV`#'/~>] ?zbT|u]&9UDWQlLVu|)R2„nHf?%^Vd쳆w Ӊ6UݐunAgːblFs;40e`^B>""JeBen M-ZU"!6it֛`>.a5źBk"|(6~ ıHJGaLu%zݾSv\L EL80zþd *V矱 ^FKܜ;à,N__~ *U7t(z/hdWK[pHȋ\*̿?U|]0*b /M8R:J<5x -E:Y%}6V'>6!Ƨ^U30 ʧM1@sdȹ; kU_&U&@cM/NKw]=D2s4q Zl}H3#k%{qF;Voq1 )1w6jtfL'J*tcI-*L n[tWjh"$vAӰH&iu W)BA#Vc=_Qu8,?垂U(z jE/tܕ ކX keV jǺNnCx{JyOQ嬮N`Oc3>REց$N$JN ߊ;5{/ۊkiaLNbxQ3J"tQ;rvcgQ(`!hyH[k\n #˸5tp&mZ7Dsj[gR!`6'2βބxya7f^PR`yN"RPD֐eRyY^9G@;%)FZ(yH5~ijbj !(ߜCwMqՅoC^;)7kuʏ;hCISU`D29:k-=^4Rp"K`?+J`U6YpvTj1O '? A1E&ctuWִGZW|Q4?:`a)٘ bUB-VU'8܅Lsveۮoêi$~hr6DXuZσ͍^1/"+TvxOXXnkʣ*lj-j]XLx7Fd3R7&Ɛ= bEOe$Tf딴8 w,' d9q|6x~1)t440wr\G)EGЂUoagZ!R' 혙irͣ3yRF)Ba;gj5bpH3cGv[]ɼiF9d{jY| bwf{y/"$Lvt5G yM֕Q&|ޕ1SLžq7颮V'` ;-#N"n ;z폱GgqAǛO+r5+vxAԡ1H|e% ܠw9ι(C`*t"j 5P=/ǜ05$^3:/ / > lkӋëhŪNQ g04e.R7"Ćx-5oq|?Lq+Ln}jr}`a4ƶJtŶú4ЩaÏ̯EPfVYC fiV_J~v[@s^abL>OK}`ҒJ\o?7Bjr!|5 ^M#K^2oCIj8uaYƫ!YFv~ y197^FnVLl< ҅(K϶=?ȾBVuG}ifU;W_L0l"^ӟ{ =˷(dm)I~Զ]7dD!ۡEȋt,0 EngTU)u(W朐|((/I⦯^z5aPM<*ҒWFl948@G)1_q?Gk|X[nušg6{I}{f;B{6s?"D6H-1_*ZPFI&#k< ʍʪA?R ImVa[I*F1E'(Ksy srЫv~֑85{eA!\V-Q]4xg/C.ppi |;~.$qx΅1IF<4ɝg-L~;+ S9M 2+W.\W2x'etvrL,rҸ'{ CXyC|E(e8Ge ӆfLf:[N:ŀ LT g!:BwM~z7v0N۞=mm'7)8#-PLOqs1(KhG{zz̒C;7F5h;?n_+"_2 }E8ϖTqNHd=lXFQ &fMEs Q)}p[mkҊxk<MCxU=K8`V{xOl!&U:[UKP\waS%}[` #(0bl'XJȂ/^0t5[ er1C{كQPZXmE`ߵU)s"/I&#'˯EL7AN:B]1KnlJdqHZ 7';ק z?!c\%JReD<"m0:b&T}*5A0{ؗ2\#Cx(ęOe~wN* Op<k~n@^K~Qs 8>R&qEy(xڭo$]di{Pq3E#JP!?Hx J t&|/(7. {{a ֵh;XJ#_0zC1k, \oPwPA\0_W}tŜmYv5B+H z\"cJu%.+\J,\ 9KJr0Ч?6xm!&TkuV^4 vZt&H^`To$ƖOU"y>8雀zrC u'b6:fu(L 规6c0 h}EcM l2mvԋ-xHȸceGWPyʯ 9NYlZJQ?kt?K=%쒎 86HB>I39PT 8"Yͷ0hpV@ii-S@O'`\771Av˵IȇU_ԪI={}WF ) ܦ/sh=hmWy}cRMϑJt(b0oxXK A)cuC0xCs~cyHhbVQD &*o6]\u D/SNB*L%D)M+u/S`ZÀXXg"ZPU]39K_R/;C^tQӨOͭ8se͝ˁF)}fUR+;y 7k^.O(g֒@2kat݊2 .o O=kb#~p-jOsDY?ƀTc&`E4 M@{0Qkۺ2?Uк6&wS3HcBښᥝHVceB9W@nLԜ$y )*X4-b1-B! ֒ʣ Q-OVrO?I+6-+lLll<)4Je-!+_l>̴GǸ`?)M_ a R'!-D!tTǓ YZujEٱ#$%]xyY&ۑm)I*y5?Ttڝrʳ3 7òd~dbi]Kǜinݾqm;ڸTAaL~WV*ۄDLkº!DmYJ-4#Ql*iJlEa`WhƎ{|' +(m.t<QLu*Cże^{'u[d74 5n;%>Ier7$sAaV=7-)O- $֏sꏮ)b N&)Y  $j]ks/ZYKE: ?ev5%e%Kņd%dp%iHy ,@Ba{YSG*aI*: >hcO~ZaR> uNipI`-`5TfOG-}{QdP҆ѡ9*ڗrwAZ"dL ӷF״c1Ak+"dw;S! $mdռE&M"k27/ sO%c㪳2φ mh :`oFWP`'LG%5#*S%*IZ8}v1.NlNdSY沓W6\$j-Cڹ@n NC"CF3D3a ْ9I>J`#ʄK؈abݲH>@ҏoJֻS>aH#y#oژ̠|MJbagXT7rkgy ˁIaK.u |Zdhc%fu+%mXW:K0sUB ZيuHrkR5Vjg0>b|~_4*eTuYp!x`{) >fG'3d i:,&D=줈;[2=~O0[] L~?zwT}вøGⱾ QAw*m Ν߈m)3U5JE0- q]Zӽ̀.`fR4KAKI;ewDatf>!b,f~Iӛ 8R< ըIj8퓆ZZ6f"ȅ1}'(ձ9,ٲ `}]•\ZQf1)E"3Nnj֙ EPSP ,~y)i8@o@33@ʉ @Mo`3brkID׌`nuO,u0,|uC-lkAeNU˃|\l6AQ-⾷O 7e =X^ϞDpMF(&b6#ve 4ڎk%Ebjz<ȥL=4=](cʊ-nE6 jl|:[l-{$FQMm7QV㡡om)T!/Oξ]kTwN0$̈́UYm_ TGpV4KS -V+d $8M`X)ȗe"L̪>%b?B&fwv÷Q&.jnmNZa6jiB:f>Vm۳N6f䕥K%'OuB7<-i1`E?:'e~ @}4v{#hI}*'Ѫp ^\[T5algP:@CTYd<]gIFg8@6 B#~SU@)Y VDZgwűݿ*m.+:hMœQ&Jg 6Qvn_t@/q )Q9_n&ઋ:cPgcc-}6,HXK-DԳ㞌.gȶ*Fyu-/>+=b4agT9'/ؿn۰eI^G 'K Z̕戈g!|Ea;ftY5G-+qV <ʓ[ 'k(N%&v7w oFk%S>C`J h7$H*NE _μ S1j\dQf`F qLߋ )ѓ<=qsd(9+f@qG+X.—`7>M5F*R2Du+^3J M-NƁ#::P]{@ju1N3mL1qB>DnuI >fn>:d"E4/MҰE #D' r꽈Zξ;ޖ"[yۈkG)cT! 5K +T;zN:[&hJlX"VwZ:`w+! 횋N+| U#:m cVںv8{t2 [Q<:$;rz!rҌ%}?%,qt0  6p(}J>1l n!(Dc C O$LKGB۾h\kҶ-w7XP+>BW_-s"(m`kF.^iv yV)n9)1X $(\bWd}oYF}N!w^(Yڡ~@>fB^m\n-@:t#d Or yx9NEQpv+qOTwtL} M4 ~ӦQ,7h f=kV}2M^?Bf{ϱLW=tk 1J Wd|0r|օPEMC򅰊mX$۸8M[@ #(D>m ].T6j [^_ ƉK@uhnƁ)cԨ{,1D{Q7g-TrzK߷K1J}t5+/}ͺ_ { v)j12ۥÇ{h9dk웳j6ki9gsQh(1,]%Tɤ? O"tB^^a2io\y+$ Q DkQ6sxCuu[1Zt NVIc2=?on9^f 1'c PzT{L 4Y.)mDLx[$nq7x#;BQ+3qoWGEz@$'yWE;-d6 F$o@c1"Uw^z%l' {18B/ȫNCaJ»}[x&<ǀ"WQMHH\{eIQ(XKjT^xK4FλrRw~ti,*IaWq5Sj+5Gn_P0Fζf ɧkf@68u։=DǍ(pq$E( y4R= q SCa/K_VwTʴ66D@{-0L-~cN7!xOeO4w`C+|INqQP(CVP3%  KۿDÅ4| w,r;, .R񤎛:p@@-wIe,B u8@(`R;ʧuUpRZ-GHVR(_^w?.Uk5 s}{U,Iݔ o=`yT{yFM893t3$=*q ƒzrl\Xy=^ R`Y/pd kؖHtg>›~ncGc$?U J25 %&2s#4l ڄ!? `t,k0/6o-i"ih2lPc(bGqx6__Y7@𣏕dZ!RrWt4#[0dH(P*>t"8G K,p|SRK E š\ļ+ ݘ[,:N_+HM ߖi%?-Dx# 4HuD>]ô(j',NGAXI~4lx eTh¤'槭-[=COcfh2{uPLJOad_WstZ^<ÓUtny 14' BuL" g|7JLD4E%@e{eZ|k[ ۳M}Gw Sm!Pht_Kk񁗸 D#E<'W߄g"-Z\pP`߆\<Y=Gfkĺ89ߊNͱL nOWס̖IoBr"MxqmIw'd{~3Q.Q^6j_(;hf:%֬F|!nYOIGk/m/'BԨ$A;]uA:Wcaɥg隧 g;ظF9?ܭf 6#)GXS3G&SSꝠO (,FP|rN$B>3D:4.|] +[JUI:XSQCϟ? aXQ+TIs92Z6YȠ-e E7}sS$KJaƲH\X) 4QxfOCi+I;ot.ȷAڶ"}sɴ`:7A1+ ţdw CQiq ߶ ƕ-:m{O/v|t(9'kL+I%Ob UZZ1֬T-4ѥ`Pzeÿ6E,,əCG_%[Nf3!eO-2wCSj&a3BCPZ: L'~|Zl hoXȨu,LX3$ym:ŕ7kJS(,\bYXs]xWl%˘x/NDȇz-q{1T,i+?t[GX_Ɔ4ds澲1ǻ`yI, prYvf[o\"T#;0_hmLpDc+; J OyCvCkQ]Z`Ų apR8(ň وooK)$(#U'߬q Jݟ!;7_gLY]Кrh䭠+ꭓ9#ly}|5x jAxиV+œ=xEȌ ޣrXTo}ܤM9OC \E R˘x,P'I2QQ )c| 4QHd/#n{􉰀r6]Q$ HZbx gM4 l"1|tDk'#M5G@#|1O7 FٷdHS[FN rb qTWL˛D_ଗi"8 _,]LMyƌg{cG?Gdmµh4-#Sf,÷ iPE&@I ]5:Oe6ޕڋdUYci:Ac%rۛ-(:rm/E }?cU;L>h{n;te0S J>h  0* {<9`_E -j;*vXߑ!N+nlkcU_Afj=sTl4^w4MO^y 2?8A"j7 xZ#, omFu9: MOlnb6) {nnQB:u)(q}όf8beD8jz)0aTJ.Ka n8Y^CE߷p|~(Yڽ-yhnQ*YZGFiDOdw5=+D~~[yl7( vLd2˥mZ|Aif]~YIdYxعl4A$ZXnuͼu?8'PtL+ו}?LP5coY.}PzܓƩiID"@ě^fRu䟮K" 2P@C5\R> "JKJkLje&>nE7l UT0>HT @{N5X2KP#BeZ~؀ 2HClEf1iȃF ;-X~ySc,M> ?&'ND ?&,_۔n ڑ ( Ԫ0exb" 8ƕp٨_չ7 ,OJ2>uL6oD@G*iהlTXsPiʙ+DKqr 8ylVc&#q ik-.)3Mo+sMbxD^ jV(7g'p(DXh>xJGӯRJXSoҗ NNk=iKs (h7?\a〕 a O">jېmɧ W^CYA֩32S5!NbkIhЎ2iI K.֙[×+}V.W7B3q`Hf|[;EpDVRgM"1x3i M~Y<%pOA4ʇyδEz;=նj `aůMe?Qx H;_<hzZ7{!.GN7Gʺ:[Gلv*o0{ɚ ohjH/ߎ Yh*^ b?͹؆NbnAKHT 2Mb( nne#?e-R/ -F-}|f6Orymg.Tƺa b= Y;r$]L+LxփK\}qND Y;ou6,dT5R Y'*ZPMFrV?fyD=aQAG:A6`[ q0&=/[U;01~V៓#*A9/ع3]yPtm9iXZ-~ާ )3AFyU;tv?H쑯4R+I):}Rgў )yK _ŎF2N1- 13@F %!_agIpxD =Ж":\TIMO'L8?(luf]-C^} @ H*.xd!,.0wI.K3L ~T쑆sPFKuT'OÐM[FVDXY;g_x(|FcyR{V!V.Fpwgh$3TbAC* gj4 " R|Yc:_S@mp:󒠖xDו,Uwk(rKyi:¸Ƃ[Da)[ \܌E$G{q,ptr -3e+ eq6%[BC;jC7&w$~ /vJ%ϘmtF%k 5~a6n2;usCB}h}ltx-Bm 7ΘS.3yJfPqպHgHE!o/v~rs"LCoôm^)1 o#f"0:]ܐ1ڤ{%S^*~/k Mm|jݮU~^NfaayDB O^;1Mg%\"=ʪO=y07:TN!w;><ܦO9#bw|PRSw|`wjAOZbkՐq51D^|d톍BS idSZjTP0x%0FY @>'uAA\eԛck$n:zU*i\m- _5!h[Φw8>Bl+=L&4/9+ύWa0#|cQ_4t]hƉȖk^*#jT#J?㾰y\wv1AWGl$z{bhǘYERg>b'v>;o@xrJĒ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  ~,#/% HOL-AlgebraHOL-Algebra.Groupdocument.tex7zXZִF! ׯP<]A-MՋhvG"uIBm59o'7| )(S 5ZO6XBO_*~p 6 S.%yԣEw/=)HwQf oVxZ;rCm~p1woT _raA$^JTʀM S~'Q#/5s*v=[Qhu r40=މ1O8wZPk~k)7i$; O{"eqάoHJ>0}5}eh yc|tW01DE(zA=H}xSu5yK0܍w4G{#=% HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex7zXZִF! 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( ;#5% HOL-AlgebraHOL-Algebra.UnivPolydocument.tex7zXZִF! /e]A-MՋhvG"uIBm59sBDDg һj[ü\lofnf] owq'W}^e ;Гq+P8SKfkB42 ]5汚ByQGxsqs|5H^sc&WJg.@@{*h6}Ձ(0ɘuYjhͰWVٸ|cmβ[ZD~)vj@|TYlss"e!'q?saOM.ûIj?~2Kӵ 5TD:_L%P,S {Iu7XatJ]iT$*zh5h*=}?kOU KmC~i .eLk]yoRrի2>Fv Z'A{579BzCb jR^H'*n5^>4>BigxKEM,4I9m F8?Lk[.j;.>gk8H'@_ӧ !gtnh+yy9'kW½{BaXCiC͘ sXӝ&w߭K5mhRůGd=!_H6P@Vs8`ׄCzU/=Q(dR1*g7P?N@Ƈm Os1bX3Ks7J5)|t* ZjPYIedxmH"7m]a"a6V VOh'n wyaq`!E b#C{CByƙVxޠ QA;Be IJ:ze1t D#/% 4HOL-AlgebraHOL-Algebra.Cosetdocument.tex7zXZִF! 7MK]A-MՋhvG"uIBm5|]v0?U96ύ:r:JpSX˜7/Ӳ3*V&5@ `#Gk0L^&[_KIe*Ů;&p9S)C]?AUF-+nj9~I]f϶mY=ũ:AQT_'!K߇S!4J2ZW~h>\9b$Z@98t_:gޤ01N3هI15gG-T?Uǖ$u<1zZ2<M  A_VHsw1gdmGso/-("-T' ` wX|Ĺ=VOz!0%WN4Yv_o!( y*o-v痜{KxX'ŋ)t[_G(,FoSۅ}IvP&3S1>`MBA;gך]FEӊWCMW8nYp㷐2ߕƞ%4ޝƐi "` 4U$W31JPWk+MX,mCP(??z^Y\D#d"2y-}\s:A?qf/l0?#yS pdd" *U ȫXa4:~3Q0$Q|1: b^Xgf^eN)anS+.`]Xp@Mǖ^ =J3WPJa-Ղlu! |?6@XO g6wt ֆ-G, YفEXŮ :DҨNAawm{nHl=vM}ZW-*jS9BImrAօUSJ:Hr0㸆Dd՘-ҙ߬(#az/*ٞҫл;<@Rëa-#ZƷ0MS# Aݬ!?QESfPLn/-c0\F=ՁyG5re O3q\# wf*DوU'Gt:M8]֫2{Sh7x#w]NQ+(_ԛ'()s`|P?i8P/SY d`3W1 J퐐&gT4*bo+4Y#^ bx~6GOc>#uMU߬RﭶZkJl0 Ӓpnnj-l/c<qG ;d]TBZ<6b+ %MzB,PL{?}{mR|Kwg_ڂ♳jEW||4VJvP21>~@zj~x!yMHE )ԽEviB*ow_+XĊԍ!=Lq.0nm)' )hqڍO߬OKLu@@g3,tVw.)qD;3@3t9A rȿ^1E^Id~ )!z֨Z97΢Cvѳ4(\|p7moP `25q EO+z@M ,uBt.-}Z``7k\"Kw;ڭ;x++sTL r%}u!IyoTqU\O,Cp?%}e9I#Hgf^ꜙYf*̸8\EҎm^H҉ex D*'_~2£%?u6[ܛH^BYFjD[2T[uP,en=g8ׁW?aT,?d(%{LG!N,1)>|ILLq# b {;^QRѵ{N/G!?s@;om6z;O )mfړ\+!bfϧღlVh-U\,tP% W`2t*CT 37cvnx U)P=&}@C sS ">̧d8(ET$h\6-`Lj cE2bE84$3}TI-`$I7ʰF! _:pC`6bKu9z$|a]#t<~54p*ēHXJ* HOM h(݆R6.>%22P`n%,=t3o[ưU (ǚ*0 MW-Ц3 ]+`>$%6idG7ܲj본eJxJL )čv(?Қ,sd`=7 < (c7U,pu]]I=KH΄ËP1sH}4Y90/=850iIVD-[DϨTvl$F3{.P>^Pr9 H8e"Ԗq/$?[ϟa`YS,mdgiѱ TDhno|U[bԾCM5R qK [̯DLO:-bQ@kIX1;&ujQ="Z, &REb~[n/!W!_Wb .W4"NCsƑren/dS #|*t# S4 ZJ L|\1{JRp*Bm_Ӎ>te!@F><{N]vDș5d*+W[Xe\WHKhq`:'Lw~O͡5lѼI@eQ^{jFߙz\.sɫBlRuTz\%;x[F%(`k9.!x$ۃNֲ5Saֽ?wBD#J+sKR2E-8hP(M6@k2ː*-d=ИVӍ&Q~R`ǁ~u~n5-[pT;p{` !B88*R' a#Alυ^P.*pR[7~&4(ñp=ä8Tvc䤦jt%cE+E QvV$d+T"f硤YWe6D͎0Jy[p`fVIŒo~@ڠ:=l/j׊18]I`${ywtX:V%gNBv=yqMLbOԡu_&0~˟E%W+3}8 O:铸P^d9Mq]q8'5Cs;j x(h2Ϝvk(5,0(՛pDdKIF k=PuE)J|}L jxap;!'7A׎Tg*[qb5Y;7g̘,]bkƻ ha ]C rwG9Ŏ)ܬKi#Qcdi.h^qFj8Q?ecxS.z"hC:eW ɥ"еZ@$"M-IiE9s6QaͶi.7p,~ьsYe3WBK3a1=2Q"oPoC-wIƨ2SZΌ(4WtQ|̞y c9s1Cq>7$3 KXp klm[vl!%tG1i=@(26og( DoZ%di-th>|=7S!/?J{jq9: /B N|Bbpp|wф+xp:;gFz= 40Hu1#)glY١(QjNK .ʱ#+t"(R\}# Bj7 ^h'q?rw]Mgܖm,o|R4hwkWI"}]hM'ڠuֈ{d;O?}oO<ٰp5@ h$5Fx"c8T|>Bm*>2Uh 0 5YlyILەM!ߺv\g-}[mq߭s@FoLѱeуIKaJ8a>Y7T59Kv /~^4$Ff)lj*ve< WŔ%4C߸byXw 8qX6.rYvzED:AđB K&D!wl(jz@fZpxf_n^ϕ!ct kx[qJWg|gY50q}ia(KkY-츪hzӢ{z{*KMvmkk1 Qj;g#EIJsRI0h.K7nV)jĢ?Sۿ>`ն+9k[Zc9L¸K׬ȱ 'LOAUwZ7U ʭ8ĸyphN\z{kLq}3$_k-btU&F+{Ew+cadԤEʈF""ćmh,hg,!=ķ*['ӹvCQW/[g~kLm~ۦٔ5?O'0.q*KŸS߼ wH_Aگ2Ej…"N!^?G `$yp0*eDyb=qVf Ի٘8j{HbӈQM~"vΆr,h: ]6c^O9rG5B\-.Il}'o8{Qdy<(X-b\P(Ep̀;OU1hDuR`iD詩mY𱶟۴颥ȉh,TXCIjqZP>&xF+{Łw\b;AR8ҟ$vA92V.*9RGV;]+` h%/.X#`tBzvPPif@DxBWaG jz_l< (7-V|.">z=,OXl~Yɹ ԼЎ{|Mx7)@FX'U5hh="5vu6 Xo} 50;svw^jr FZWUyԚ ޟkOmJ[%v|; #bX6CW҆}[ 3k]r 9y}##9E:"Q^q[7&*CƛMd/qڍBFŊbIv[joE]/""wPk*AvdTA(:,Q nOF ןG &ωA\yRi?z:v0Wrrd3N8DzƲE9&fK JctöywKߑz>#lbm@ Lv/mw߽7Hz| mL*^ Tn~v(A*Gl8T\la`Hr9m-' i*ٷM~F41$3 6úİGdTJ&L*/iE=}=sUp[63VX]\z4zz/ TYӭnΉ!LHX(" M6/|M'@sv\MMK@HK*<=϶1G> Yw[NlO Coak;t8)6(z9ye Y㘑y\>W/3_xA{<"|Ʀm՗o/=$^AZe? `I|~ @"4bF5iEp^&/ߒU'qFh4 hU1NOl Nke:6w1!%2@h+*o@ D@ɕC4UeoMsO;ySS!$F0Ȍ\D,u9U>6s{wMG{UHj'v s'f$c3tj}ޥ;? WS'3Z mv٢5@w=0OY\M/bM4[R@kna^*hT^<$m!*?EgF5ݨFx<úCR+0t$Na.N+ 7 >`6=M%h$Y)¥}qE7hsP;I<+QP QOtp QCh^sB'enJ \Swr]aj=An@8S./FY|F9 _b b\654vlzE~lBO"؂VFo~/ s+0h_t'}hr7O-R2k7C(_*sxi= 8WurƽDXA]Xz5nuUxx$1t#ODwx x譇h9¦ѓ+p|U+< dPp˺F̩GPsbƇ:D& Z\@{O.N̝?]P uLtJ@B^?S}n˯aQXY_*Rڳ>2q:g:сnqC=dމ=aG;t Յr2hUQ d+lu'{#ƟuXt~kcDrzgg6Q&Pr`j&:_\ DT vq|wI9郤%\uBi3)h\Ef`۱grcqgvϠ(hq#==Z$:|;&`$YaWz@֜)g5[pN˪j"fɊJTvVi8ʆK]?oZeT˞=Rv ['f+G(۶`~kUN8ƹCoB4+ (ݾ,23lq7gd,a_H3?6n󔺌ZKgA9y7A-jOuyK@sp?="4Qʓs=kE)Spy>\qShi\=:\xtRWW;抽7T(|AeH)] p4˗1T~ A Ot&*&XeLW5dE,Ԍ۠/ի7͹o &zZSݐ!6#ZgK!!*P2T7Nt*Asn i&:Ą- BP3_%8t7DX!y](5Cێ5dQ7ZFCv,ll8EB;|D:cbS„FeAv29mi•ĉ\0[I !%lB }=r@mz[RQ0;)yW@uRF#Q?/W>E6iWvM8W'?h`{!+aZ\QsG]ʸM~*3 5EHRgf^Vx ;V`VSYns vupWKq ¢->|s6&qYeXm2-f#@@3N+7>V*e󝳹fqTwrt=RJTKz~^aq1RvEI.Oi B̦'W@]lysW;@d8 m*HՃfVrʭܝ ? VEw  ? Naa ˸o[:?&aY ?2Vfg'Xұ}\sETw{<?uo/N]Beo䋁yN""HylNmZ3-NJ Y.gAc25p1#ȉ5zD flם?2BmLx!wפqƓ؄V{,^ۺB"> gAĥdCWէB2`(ie$z&5Q b&\ĴD8WEDwC 'a1X\T,@E] ʿ.6Q ae~T97a~KlNx] B3[\Z0o5/#}khQ834M`0s ~+;"u`=84 e)Ls ܇#{?U Ss sְq NLsu;4'NJ2(đ>0ԛG6w ?=_,VXm|3Z2H-.y#]q3I:峫_Ng@iH!i=W w@poU YH#Zsz\]"-DgТE6{0.Vɯt/IC@\G_68j%^;YwjH85ًǎg#Se< 4^@2 ~.OjM|li;*μLboZrp፣A\oIkӄ`?C)PkY^njp2 K`Q1*~%DQig5Ea ;T' {X|o;w-xwi8Y)*>[ԺCWBuڠCsfm%Nl/@ VpY{1Ź<usj !yLS)k?YB 6F3Ӎm;8[imF^B_:z޽⢘K~~PT‡[C{:W68~Kż\`EB9v- L TaD)쿼qBqz% d˳J DO]DfPʗ_'}  5«s%ջ"oVkWCˊ9F:y~gO_@oSJ[ -J,ӊ[L P{mA [UqC3qF`nCCAU$X]'s .I1(ѳ TU4t@FLM eK([^glpLTP^8㏞mҕ^'D xe={ʓ6^k 7;?aU26P&?e\u!nXƍL b%<ߟu,fP:[mDαR@S9xeN⊘3)|2>;8da~dnfqqa!gYZ ``G#=% ,HOL-AlgebraHOL-Algebra.Group_Actiondocument.tex7zXZִF! b5]A-MՋhvG"uIBm59>(};SA|'|D%-4v500 AFoZ'?cF Qg ru qfս˶֊XTMPkg~gH6Afǎ2)OW~oiiz8zbOx >;:Nwe&?knK rBs{oX2<푅AS6|x8pa8Fy"J@:yK#kG)S[Fܬg;4zFݣ_F 8^دM)^%xg鳃˻Z7pᇗMDCoVqpXX$T׈.z=&$.r0vO3V]܉)ݕjͣrMhOHWQUkoP:qry/V% cˬ9еDU$/ԕj["^"&9y5pXՄk*HJ`+p(!{UU%Rt2ʰQ%4T!`i( ]y CKu|ME7`~jشn|CB}yM$Nf(ȋ;İр UfdzJrx]25ܒzUgE1i|Y{Ef,MKrqc/Jvh#Co[cbƚTHi5:aunƧ#!t$hnOV豲΢Bp*PVd[:ES!򴕛`*$Qm&e 3X8#e <گ\Tۜa$]^lj%2뽛ڦWw]aYʙ !ūvn0rף(~ʾeB|4&9ef{b2I#qW .{Z:F1)|%V7%%>#j̆śv7Dg=mb#zPxՉ&-/ib0nfyf)xϓ W15%\3S$uo@@PM%vE/Ą>\:VKeڿs]VHU!B-zYMu>$2$Lb h _C}ȒE\CEQx6P1Rb tG+k,\AUzqo\b P <NӧHzmy7 w*z9`Ш0jlvc Ew3,¯u(;|;hМ h`_T$Iڰ%]F/V*Ϗ6e [Y"%wQJB 0" j_OQ, s0ĭAiԏ;k+ovzFt.<د`Mc߳1 L]6~O].GB2/$3#E% |HOL-AlgebraHOL-Algebra.Complete_Latticedocument.tex7zXZִF! n8]A-MՋhvG"uIBm5XKjFщ*1WBx#.~kلt1 ;"-J; 2U4#k+irW'},*,C0 H\ׯ^BcL" omt$DW99Ͳ(C+2ڍS{$Hv~9JqY4:tt-ŀ`BR_g [,{PSK(vֹjć*6@"^ܰ![ "XGKzT-BWV$rq/)ұ~R<#v -Kü& m!ՇP7'MW8fYX{( ІC1mS ɝ!pw&4biCQ*I"Έ5G7jfzP7 x7:= нs0٦ya+]lUDHZb햅.,=l3Tk|`kfAZZ'SFav72pL8h*KvOI u{[QJUrpE~=)9ƴ[@ Las-͝B jڂn]Bh\'8spt>%)TOª);T ȯ7x:td,Jh5*`iy?GzC-Pݕ"bp3;Ti Ⱥ7ъdo;(^B1~iD,?Aւ׶OBewPz]y uLeYp}5(i> {&\"͚I8:NpdY_=,)EO nt~BY`j[SHN+6>SyyԜǰ&p9YPrMOҝ1C<2>b|1@?f1^ĕCVomB$=K5/VQss2tۥ@/ս0de#?'uS6tHN2ԡiaL:!F>T}ϊ?~U齱+fXy)t IO@ޤVKQaoR q&iG W doqV {cGO)YT]p\<5X(Z~֔&!wIeLyPHIZaK,;9ϮMMDgaOǝv윺쒵/7N(G/cb0|L "6Mbx`|scMg5-΄ / S,> XE2?]6.l:7O&Kz=AP8 rhExF xX姰F2P6M&}JHpmQK~lU˿{2N`\W+ 8xCk3Xnw#Wi){X[: Dm5)mqg<Y':hiQFYN@Ͳgq3]։lt4tʄv{*T0:, eH3õ k`gs}rbC21wuѮ#rgEdmKbN䌇,h|}͢ e5&sw9ځTH %sաi>ي3vb@Dk*E0HT% kXqj;g=Eym"X9YT|Y@a&$ &ZM-R#-2T}X!C1_IxJD xb/Ihx`a0,VFzNM&/75* !7'Ω@1ʂ8.{4]QH%\Tڕҫؖ)IPDקCG`w^AQkh2t(9g#E1Nؾ/̖xsiw62E`IH%T!mP S]1O$6zc5NS/S,38%$,~Q/`a]R *-G )Ϗ;F%59,0vԮjP߳%sZٹe*bLuwq"th%AW;ov=o:;XgS WG.j̈%tY KD9J?si5NfxW2Jg̷$ABu;E"TS3~lf9ܥ@ťNw.ʼ}ֳ/jV Z).bsi%m |STҪ묋{}_y ɔxCJ{fћhj "Ae$Q!P9l7$`qoO^9OFjEU$8=3/H}VPI K6I0X#H2#vPM*<<4Akw;h5 -cdTX8F$1;{C)<0x>hnFh6 u;Sv;-Q6-FqI^lFcYS~n^PT' X9!Qv{uAbUـ9": $`7bY HZ]굺.xƌ ^9YY_hA>@m2SXɍMSAؾŜX1&u Y86{#X9|EK!EVK51rM0^k+ݐ`;mfm]G:˘lBM:o+j/wu F}~Ѹ[<`.z}t:+}fVDxuN(*B4IhHi 9_fkEuqNi5OLdgx.R >M[1QBs/J(n@_ Rҫٔ<f*>~3àbvE;]l LmrÓ/voYIp?QaK+lUc.dgöO nAIB?x _C. @)* I<n{>v%l~χ$w7h' XT 틫TH [iyt0z#Q-sINz`]p7T,($2R.W^~btA#RL&5s." 5~=zq=4jJy6@ 8iƕlGFlPDYcN*.Оoci$İg%?k0ʔ!C魦-V+oi^ja'eUKQ@mȧ3DMq~jgxoBjn!]vhGaN|dDEpNANrz{$޷'J*Ky(#+DJNo:ҡꕄn2Z/}Pg%_v1b|N4F)Sl’D+B:JNsɸHԱGz}&@,Z75v~53 mw NcHχec@ nYRtF.p؛zԬF +F*J! )ws"j|)8+d~#є;mBc~+2d"R:_# 8k|*a`-a"?SEhK:DAX8Oc!.4d$0X~-Nn5 %+A+7{.w:\;*M,0@|m[igʋksYi87X Dn)o>DFG_/ğ+-(PւVpR{摼F[ SS o-oɜ\w{H#ـգ6ʢE^ OQ$q74v4'TscdCCش9,/x.:7G\0ܰ'>_u0A>8\"YDwX}$=0 r8yFUt;YB׻X-#6BaׄC8v+fiyyh|hinVoDL\fiC)?K_VT-80s++&`X,{;[D%oF5'v٣RL֤^˘"UhPH{PtuzR,8=ۋgϙlޢ9Xv*&I\ 2jz^)HfX27,R :{_"7 E'3&7*˘-z *;ɛ9=u* g]SNuyR#ivA~W׎BgO ZΗD)6{" gx %&K_loύ8q`[5.fN!{XX03uO2_mK=OgcXhD;/}+P\ 0)ahB&*{!>XI!<kha_rN.⸛EAk#D~0PKnڭ7hstD#3Zp5EM\7W1K/@\>fS`ZQY!̌)q>,(>ܲ` 'KU[ρ9 |0(O>uqd؊Ww*Gvf@ ;)[5H$xS"MSy8Se ^DI'0]0'ja~6m;/$sDqa3]ihS~LhQ"ZJY&I>}ՉM^0"0~!ϤOG? NrpE/ڦ?-0C$Tlzj)늀HM "]ȸ$gRTU`LtC!F}KX Gfr[ :t٪@1*VN29&nw^Y@ i3nSc!" RD7%d.j--J5l僅,2]MMjdȈǁȰdCÔbx:~0 jlMs_Vj iSCg~)X҆)(<ӄ &wvQϧ Ň1OramY~<&8΍!Dm`%5"`4y%Q9:M!gg*LM8n8A 0mUVǓASZAGIriqy HT2gT`\\|I*fT:@uK׻oz Aw͚AJzP Eqd,K36>ineO|uR5B7ٵ#:XIdXL`ܻe1]jCg 15qo{^}4ytd3]+`#hlQwrD59TLtPy/drP4[[:"pCj8՚?AfdSI6\@\C[E n}|\d;cHf_?`;5*J@kW.:Yarxxs -b>-}?F_\x:h(P_6;D/sJNL"]ן/f8iWXW] yYhWQ0;@,PT7#qGЖ^ڶHZ}p42 GCπx<[Metfe ?nfy`s̍ȹHnY:L> Bxl[g~HV 1$C{ t )ǃ+LNbQDc*q]f-+X-=+Waʤ0 t45)+4Ũ0( yFr3fwϩ? J,jI-fz#N cɽn|O}d$/6Ь*mkb`1cht{J2]P)"_/I[S~F [h1x 3|9l'R^5hR+2ȕmw3TS'5"" s7Z, ᓋ?\YIOقf8X&(A8}! 89\oʍ 21)a6un1%Q_sWؿ ;u$2&-v |Kܑ S~AΰWgFsd}PNWL*%E[#dei|aP:skC3I᠄Ñ\ڞ M5W!s=}c^ 3{T=Qv@&wNHH-LE,S@mw@9X?F\Ai\3x&lL iɋڑH&/b],kt+}hVIC^(AqmM^hՊk !xe'O"]nkm5*-k}B,S`-:_-Ce'_/KX`WqeC6!.);B9y |S8&< t/F fJ ]Ho}R*Q&?of7mI^/}.r0S͗|,KS0hd6 31!F#/#L0XʾNh/ȋY'@(`W&,]XwbGh10f?!S 7]qKe31"p+='[-~*xoH9dqKN(>sCs>x2}jGr>'~UT2S_wh[[f NLݶB*2Jҏ[DrE+cpPEwqDMvD>#(`Z2v8@8Ul AEF{kndK\}@4ȲәapvY T`B@ٴ U oOO'ӜEu}@S"`׋Kh y9sKZa%CB4]RHvE_z0U>Jx;UVaKZ481->Ok:vN+9%g1ȞA:uDoXh`"18轩,[Cvلa#G?3z¿H1-[̫k]4z!!+Eeah}S=Vd wz}<##`k=N~;Rܔ9O:旿}j =7;naIx~SC-pC9neJ7[H:y m9w9D4[ ]Tne?Vi/Giɩl{0OLl(h/Mh^Ҵkļ}+-@Nٌfhvp* qS ,u7t>jYY7{j3L?kMj1/p7S~EC,xIhז=BpntH+0I1!y~V SȊehE&߹8vZ?d \aոC#Loj%`+T1L36kz,|I]#qWq,gzmݠ%83cu;%B|A@@W5S?>FB^oU4RԻI&Qm&J1@xj vV5=# 6oIS8uQ@|8}VmzS0A#ᚷP3XR][bkMsit2.ccJ#6XW$p ,)Iۖ ,VJ3$a_ (*B}wa@)66Ši)6 /Zs^]7j;nxl]e!xT]֊g[ς?R^&F֍Ysu|Rw2Oƽ!\uNڷK{m_K~Fe'!m@է0cq[7`0$ER \`7Fz-u[,OScmٝd)xSD4S5!M4 Fg&0}$[ޮM07@=:n&w,_O7=κ\dZ ju+\_>s]C 1[o|)P M}V=YZg2fV,S iq橫 <ڭ vf?> ES&d{lfaDxNaa ̥R4hIܰod<@L|H\z|zA&5+392kj C3^n{+IYeSRY8?+MLQitXkWxi+79^Z}W p( 4|xKݴ~s!Pn|`nyд`e|S8ә/>/x^=7?Vn |z!CC-5^nn5v&{36S["KsӌXixRț],SB!GбQ@7An<؆1#F!CBȔ*Ȥ @ᢝH{]@QTأM[D؄j./lr JXP{PEOceЭNbYY)t]if;iε[~9 ; 2ýP<;H'cb9E>V(y^/Z+dEV>yвSfˑY՘X OW1R:+G[g< joC2aC%4]Ԓ4(&X> [;:TS4M*|``IvܝBjwЯ/keK)ͶƟR-v1BPd%th[xR]wZv(s8JLSƞ(aUQB^:"96l wboDp; 9W3>,l2ʫ;Ϸ~'|KB(Y/$z>nP& Tq!;6.q޼$^ضVm>mDT[g4ҫ0uɹF8m:NTűaylOd6O1ŷG˜1=`B/]I%8hlC 5Aup">>0ZIȯ{FYSŀJ$$dFXo#s Y\"}۶xsŦ_7aՑ@*#'E )of#9T*7t˛36ߖ֕!N6ȔNY#X-9x[&N;s%2.t2ꊊ5m. Ct<@,3gM/8çg ~ $M,8]J .$H?ҭ")eՄ^)Ŀ*#叞}'%7)2Tk #TٱgYZ(UՊNNL/XfeOh#@5 vDR(16% @`zAq47Ip\+K씗a |tȳ<׿ +DjR%+6/<>k\prS5i05rbvN]F$rH֠3Døzx*Zr:V!۾K6(2P+G&2%om)yk7ۂPii-m)9g}'c k»0DǪv? k13ZЄ ޯ f ܕtOH0E2DA%b}^<ɇ(_6-@%fHMra[\=uJk7X>y̢0CMeA} h1|#nj =hmڀ g@C'T_^b\J6<`?Mok}1mgU6 s9 ^ZoQaZPnv[G"ʼ8H';5&萭^9Q^JT_^䲟edͬy.7?v79 nF2x9V>$lPknUX^hxqˌy9`̜dcq6@jǭO %S|ZH(GƝl;d^;Z˿q+ nyu@NB{9,9nQ,4ǽQ4e$B$km2;M$Ng=}YnK[qm\shR95I.U8{=ͤ+Pi"S“K RuK. \ie.HmNfֽ͜O`AjDL@W~hXOOFu ʗ+L7{cGɏS\W%Iic["9=zkVz[,r&nKp]Z ;O%VBH&͠yg;;55Jh! B++1'_47uZ"=*GGB}hڳs\)ǷrRd|3``VK1vȣcTY&6'S:hn̔d:֟vpHdy׵_r V@^ Qoalݖy\_Ia޳i_Li3P靜1.v\8Q&g#Rv {Ʋ]VLn=ҊɆy0Auf-9ri}$|%A@ca.zwp|J7d$"kg򴳔:5C@8鬹=I5f4nȺ%_,tk5 q3DA@7%G[)n]]{cpm(W;}60$3A*]nT b wO{8i qЌg(qZl XM%C %&|[FhB#:_)Y٘;K|;"cv8 Ǥ̡N|;}xs1ecY.ڰq2] W4u:xNW5jv1F)I h FUW&F2. ?Zmo#'<}Z nPn1zPsqr.MAh[˙`I\8:T^љ`i`Q}_Nn.v,a h{bvM|}ﵚ("s /'ͺ1Ԯ7 3 { ÁմCzJ圧E s-%&x k)J_ei Lq}h4u仿?r6]Hst%vjkRC˙Ӳ"tȇ#"9UtE2N>d?|%$tҀdfENxZ(*GCIXr8fw=-_ he@4Ųqt??Ҟk;..t 틦i3Muٳe}uO>$pyޱL|KN!$iч`]T or2o,Vr OG))a Aiv2̣ Ykk1 ͇~?:H*oWBI21mI8-L+S!o[o?sJ=tՕ]*=zz4 @S{͜ea_{u Bpvhf5|R9u!ӟOX`IIBP$]xљ~F.}<"n4B|ݱ4vSz.r&aShX4݃ RaĜIkzĀh <ƃ%Cmam6jӜ@pçt51(FA-V6'Q5Ȕ( l$B U % IeJ8T/:B7L I_srES$ػ/MTQIubKVDyYU! I%_FdA&'=; P3;2yNLhR a[DeCT/Fۍn3:kd$1u[4XA5Q+#?cNevT5o9z(b<kqOg@XZX~- CgwG Te9އ)؞U=E8& 3E9J_15H^gT ,0~n=BcuG~7/a\oЙUX;^COl8Z+HvDO/ouHv\5$,o/S<,a.R6IDZ}p,jRCɥ cTfW;y-AXEi? bq]bEd:zH,xFrR4zu2BdUTJ$[_WX'th:'AW>?ʬdq퇭C4uқl__(.Q@6M|e0?nqhA}<ɾ~&1X\-*קg1 #PyjuD訿Mzтp MB q?'k8^t K{eB"~߭ w vKr RlRZ]{<Բi@J 'wpCT?H6} [N 7gmĻfvTWH'MU?Q\5 3,5\SVƭµ}짵.RrXr9~&y+[WG_fw(ν~^_7z`@K2TTS5:3{,~!;h=ңU/5n'6Rh\;! <3xDOέoߎ YnP#+_U%)W6j (9DKrEŀc.j6;wIdB^)\A{eoQER\EVT q"%:k&yaR}əCIu/imGxvXQT8K%׆s=ʛqIdhaabݼ,EF ͞_ "s~LK1PhG M_pIveQpqmSF&g}\M ) i+YJ+,=عlJ9~]Hs)" ɚH7tPnA}qb;,=? ?[|-BFUJg{>Gz )Y5C䘀8s2f-߸ oԮ цÊ$)KK)~#|h f2@kae(Yoyq`KG5? 6^䐥 o10{.GgXU:͖%8 qɒ?pV_1giQ_~V^IghunVah4z]%#,otOT=6ޟ/_PU7Z&wxx"- e0pá+ax}, *xD {t I{f1z-;pPi͘#_\ȸZ?4f A L3¬lY*'s[Mo:x*1RC5}k ͧxIhBr)er -_K 9>61hyEDw8*ucQ>Vuns!nw{Dpjeğ{8-]ZeUCH; RP<ΰ]e]AOQ\_?IT5,Z>]i2aٝB8>VT9LN݉?lQnVSeu_wZmh{ hIh|A =8Lr.x> N<Yc7_ Цϻw}Z[Υ65&ZSD'] lLO4;eQUkX a^|LV`e8^Abt@GtFX~05ՠF@'$DC.YM!!|-ws ik}L>2QjV+3e(.]FNvEzd')&(} {ח)o9{ι}co`@3GgDDŽ=Ӑɿ@Fu' "ٟٜ"3 >ߊfŽ^ })d"DعwZkaHf*Ո&Ua%OD5>~`Dߜ{op:8_Txk΅*]=7_1>cD.'jZ{GVӉ Ix IQzL3w/A(an7`Jgx"?:n0~l8  T>J=kʌf PvʍA1 Vb5Ore3TA}{MȾ&.vOAn}3l:xy1O H)4!b?nj_xxc:MOog(dIy$^}nL=: -$,BD)F ؃I*''^M]`vteoCit|yX r>ң 1" _X)vd} ՅR&4T~02=C>g9q>?8+ ƾR G~rPE9e&B \C׏F`|ֶbT9}?b/gd%pg+8byQn[҅-C Mqn G _H@ݐ!  0%LA%wwD2Z0+X ikK,ydc%%2ya$M"^Kͻә)?*+I$]hdXȩ} Mp 1D߁0k<d%xԤW,-{zO.3;Pe6ǕoSci #j6]35Fho`ċ4;p[>Q.\'R eދH7}ż\h.^M] #ѱgYZ Y#9% THOL-AlgebraHOL-Algebra.Zassenhausdocument.tex7zXZִF! .]A-MՋhvG"uIBm5!D6.Qթ<[,PKu1)P H4X8,O~&ҰiMHVIs7|U +Y!R:cBo#6l-t3CDc Of3fƦ7Lh9pvͧ&R]]'NnڦjSrd7C@V\K܇Pn'MK;છ]$[O/#5Ҡd΁0AnLʐ<^ nFbWT;zV6iэU0x. Ev||+TѦ)1Gr;}NNfo+3k泇}T(Xc<3Q "Ҧ%E~ł)b~+9c ~tv.hu/.[q>v"PQA %6`%\І]{YZxV* m1]S s7DJp~MҌp2#1-VF'ZC) t. ɟn3C+Z)pҿ-ʔ si.WKk#QU)cm3"ǭ/ [KB{,RTޫ՘#>&3\3f1‘GI S"G{lsw^~a0#tCFܤ6EcniƔ~Av$6lX|3Q@=|k2_Ky #jYre We75oG= Td)G _&(2BLwDB|3$v4}f" $qldGIwVw-g} fT(\i.7K ep|[3U5eׅ7T TAzQ+p ^NX܇_7so^5bAT=[FG ^1Y$Pě >D ~ H5)T#f궷˄  y܂LLh yq>+FoEB(1/$Rߗ C(X'<`Z:++3"=NѴȬʒ u +f6톴 on9'vHӓŁvڐV T jґՠ}ϴwZ [ŸDA_Ya"D|&a0O 1Z3lE6^c, ˧ǖ1zA+Z#D:*/;P hfiju$FHǬk&8MEwV()yz\_Iw @"Lސ'ꋄ'Nvơ"}kK`㍨%)CIфlW)~JZsMg H2J1PCV=^7E}Ơ'zVȨ/:3w/|Ds)m)C58853kj(}UHHRO=wo!s p1g܋kݻB:AMoz|ɮftjhI/vq$3lQfy7'Ih2_T$XN!YDPs"4R`}($Q֌*I*/RI{vg/gʌu dc-3E#iJ8>bx J-^#c hGœĩL(=_IiUA |[BX τl ME.U܌Y8Wsg!?Ƃ$j@;bFp ʤ3G ]Ov ,4!0-~ZRbD_MaܿYG)z;Ybc]p)4>O7a)juse첪GCvZ~Ƭ,,IsÙ3=Ol.s b>yUP==qұfwXʚ Mw_uɥi뙊or@.3O>DHʥ/*N=b$V?Ӂ="vSN1z)va2Q!"6>qLRe^;GXRU *)2CV E8o&>$k`˳|17+L"hƤekXa{tt&hTz7o;/6},#[O`.vbmoWrO*C)ɕ{(%9U*v&OLэY) $d^DGsCZhWLeSyy*@{C*;y^ə|.<@:VHwzFg6;n>n7̈́"NmU]Tb7 fJ@뇓.iR:(Q/Go&Jy8Nl:o/7~:`F.(ޅwڳe8-֑u&aNT.U2WAeGƻ|,^`ԲȺo\3GV\4fV)" w'A06u+LCZw_^QI;ڌBr&;덢4|n$ f$ÌLx[[/htyA7 >?ƠJxX cf ERz$N1Ɍ{lN{ߨz6;rSVsi3_j r@#f.Ĭ*_D;o898El01[Dw$H&֟Op${v'lz 7ʰTѻ>_*a/u`*s,c:矏2z'+tV,;!6,I'Q28@)mV]K\yeQ[ \[ ȊD{HCA !$X]:g{ض, n5%?9\dTrHW,`fdno 3)}dk%t$i2i^/yI6jGFE,,{AwdllMm[= /e>+k}jxN"–l%1T$bUCc`|1~㷬HFiŽ*FybOH3|`p%$&'%x$Qj^ x"NewZ4X?)xC9y`ե%#N7) 5\*f@ۋ&} (ab}ԝ l zCt)J_qE_0P 0Q 1CI7 _&g"%$=1FCY=j?ӮC6b/ޫq&a-JdŌ&BY;P](hcwfYiw\u E@.WpEHjDnDvMuݏX*aϲ2On}ۓsd9Lrt ̒~TV>V2o*~JR93u wB0C71X\ T߳5cR"Q$rz.N9T0=s|I~۝Am帤U֯ CTu(Z$ܣe4:pܻ(uUwuZ+l"ĞyЧhH@fgT1uqEd1 $* ;B^Kz3TXNUx{ b*r ^Qn&'KVȨs^㙂Rb5xխmCuֹBv:gXUp1BS0#Txð$ʝf~作R ="j֫fe4\Jp|VLyyTGX/ V+`plZaۚ党쳙-y%A(.oay^ٱoJ)>\ӤRס&CA,+WJe(EJFeI M81%%BC,s/^ kz[,2 +V~yn§4_;vkSm;y OԘ}^\qR]ի/N-jƛ/aS,I~\>0g2j{Jezr]Hrw,2}<riksH֧V^oE%fHw^Uc,i*f}5 p : =nX^ ߲0ĘTJN.2%/m~iuؗoSMjuWCEĎbP0G;֙˺&W#r~`VCjZ2mɪbEKa >Pi Go_pgY~Wh<y2%B~Ms5p0βѸ_3r|tfƑ/.ZlzR_Moȗcũj8m Ȼa'oVġ6^Y"\D绯Cqt5Ɨ8 Kb nYRH#cW"C< 3Lbz l9]kI[pBAH`'^8l1ʧW ~3=Ws#yqbٵiA%׮Uƾ-sW-L'$w>D{ {,+\"nZ<& IK J8+1ao$1sե\}žfvQ5U'y©> %hvpڹhW rh7ȭ@w?U}o8l~ջ"W  xG5 tji3AH-Vx!=bd9p E, 3W& O: m=Ԃ_ǩ)i3} ȗ*ԋ*mDcPע-5]uPbzoE?dH[N;'ܔcT\ܗHRK&=yus̔h\T5[-,Nu֓w& lfeMh;n7tC D!ߌ.^ 92:< Az EmC6ME\{& lvi(x©=/2 Z 'z6bW+]HЖ.**CR\Vfsʝowr>O-XKE10R̯6[L)g>sYld.| }EV(@u3m45 d1K>DDB {/\>mm#3$`Q8K"-rqdhĠ>bdOvzs&L.Iv%|6I#<C|n5`+,H~m hƖ̄Gw؝)K *K("AaO~aqi8U>chN,lִ~GgyD ;b͘x)0; Ll@d=7VkVK>ƺDwTd,, /4s\],9E2C 2* mHZq0JeWQ$P6B&QF"9Ri˩^~>i f-P.v1Bn>jiL]yM QNx;+eX^8jX8-ךAk0j3a4n@@vBd.e`<OA ur 01@Fva) Q*.&&vdai =6U$XG(41H=}<e(M BqYu"@{XY"UoG;_NX8,K$@g4L8 M {E:϶IEבb8 2dlAw)՟&cy&&]&VR$bDi&\3_f]kծa"{PN m?Hd_"? -ng;l'y-( lDZѩEƴ'yt)LշȌpTv\@i ŗܰ|4NLmyӳň+aC~#o;\+I[Pڃn^tp<-Sg{c]7q`qpm͖lFok+hdS0,/ %mP<Ǽ97:H̥a$<) #^-Б t2)wNUhyVE?].b~ b(đxp;) ^AP`VA4>baz,,Bu$2V:&,(*f XR +?LLX֡Bq/$t"ξfϑl|p꤅ nR /⵴ٹ5[ޯ Vm\ T«1 A^ST%=hb>MζΓk`4vl[W*F$+U-aŕJѭEawHb6 x Ӭ\]YzO PIK9`hg)u[;6 ok !=C9nfn`SSqҪ_t]y裒i.:=_(3-LoVļ^Yx ފr[9}TQDg/31F|nsmoNYL LQi(.:бTvrygwn_U=#njġO$laߡ<Ȇ 6Oig8B6 [ky61 Ԡ_.+eDqJ<&r=(RǭH?T~$[@sp~fmR-=^2}WEs.hK4+8e9TU1kf1<j(M/|'Ȫ'd~4<>0B٦f+nEDp'[A0&`&}(N3G,{{xTO̪Cݽ!(XG P۹sfŽI=4mF0]-[L^fJ8 %sA Z|G_ N)Ⰹ/7aDm2Ct񩐹  }0Z_6)$}d&PwAqmGPՉeK\LNᦫ }7 ! ZeU˳AzQ HXj\h Eu:LHt-$b@_J 3P+BǝCMƏAZʖ&NTZOU$f>DA^!LKV҈䮸?mDbxLy@20 j"f0G{uBL x`";i3],o}Hҙ gnR>8[ eL0PϕJScγ"ccqER!w @vRt:kmD>B\gyi0*%9);rdp9i@{凎m5)IGeTmvczaJX?ZD!-Y{EX5!Y]yA&8x` L+pѬSdYk!JOpcT Ű&2g/ <Σ!դ_ϼn6fjĹG&s'H 3vQ̮/&(9\`?:cms.V3C-1Wk>N6>a sPXy OhIj]L&Gƨt,,}k6l`Z Uebiⴅa0;Q M;l,22Ǟ/USDîqq g~,ad q'V{O_w鱫@r (jr/gie[pD%aRqp66wƩ6ȟ:#fH*x!]5>oHr=v&(m;"oR@DPvaPRNѡ3tnQ; oL}aMCYb*4X]Û)S\81q<^#+G=VUZKfe8cn)? SyS-vl^/bJ`;y |cܸ5@]4ݚ; PN-]^XI2-ċj]w*zlO6y6Q@­s:l@v#!ҰQ&7D#]N=3y:?&[ՌJ!>G&m=dNC㥯Ӹ򕮀2HLp׸Ն y!(k`eQ(kryV~v!eEMQݯܧAEyiL&mXZ t0#Ԃ638H}TDQԐ%!--dT=WiMbL$1Q))>7aR@TRO֓ɸ&c Su:]+ЮwUU=tKYQI0+u`SiyT6Pu3pX6U@7k61BP#q xѤjlĿkXV1D:KY ڲu`rˆKTuڦDJ .1Y ~o 5Fr^{3¦8B8,Rӣ-;e=2lŶ 7'bO\k/$ț@ݮKmM_ SG1 vp#kjrAmVլ|߻^ 3fy*/ZP1xy-$S +dR kEj!‰bAi3CGnzjA.+#֩U.Ꮸ^vPB4,v^C3-uOS h9HIF@ \dS"?“ě$h2=A{^nFE,ڎ ꁒ״ܳE4G9NB*:pSc4S}ZN)XsXx4̥w=9B;Ae13qExkhc* iw'HGM҅Oӟr=uo]T/{DR ce>f£R3GA]yO]8s#nf$rTT)GX'oKQ3jm$|j-hNuRpAz,yO ZXO!"xr=@f64qu Bwq5+$RU:0cBܐkΰ" ;zuR˃R|S+ cK'bq jܟj.۔bwLϑx񖤈Rq|`'6UZRi8ܳ~>Tyg鞋Q5\. N1qLz]@ۚZSץ>mU<9d;lՊݹiN'Ԟ=sG=C-BMTX/d|tuL7-_O#1Y?SleZ3/m0_M'_9o* J5xaՍKtfC!ۂl4 Bf׆ۨ {®}_4(`_PlD7 СuGZ ;!/}D驡hQz}xeZaECUOH}5fW[/} 'B\d)Г(w\71<*"+>@60(<" SH5,TMAMƴsE&,SRN*$+Q/h!VDY` !g<6ƐdN5/Nlx XljI94MgxRs":ta_lgŠi1gǐ075iWz\9^O|i֫M] 4i'dZ\N$$ !Y@~n,Hx܅%s x6-h#͞M6B魯E#5yDZW[)DPcK-(ͻYn8 :֙$h<Ș.&WE\?|? Zʾʢq]ۦ҂$m-3!qFkz3" !M X{W*g̓f aPR!ࡖ _2Rd{gոGI)d;}NnڨqJ4?F- QiaIAvL-q|:uS f7Z"6m7},2(3-??bct6t;hRE|XoʼH˕YNY tXjq@B\4p /ij]= ,Rj zG)榉._]HH_q]^Lg,9,jRX;'̱GH C榳VuXe/6Azvd *UgYZ X XW #M% -xgs~@S>"4IW'd c-sK7(ft#p~D.ֹxYĶݑТe5;BTVx]ϳj3LcҨW,XQ$|M!Pk-( Yt$um%D_dqdSHmr+okzu#=⟼w)IB(G{E™A2a֋*o{QT$p)8hZ@~ȭstWyLgX8 O5P%*W()ux5s' {bjBD9gࣸ>zUfDeo2}9wd3ϗ|mItOA@P^<\m~8. s/YH Wo*H|^0D #7% ,HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex7zXZִF! N|'O]A-MՋhvG"uIBm5Ē7hĸ3sl-do{XPٸwrRBXc<B_c p  ;܂-[[qڨJ#Raihvnb ǫ%sY ``^ϡ8ZtNjcN lw,;xVp䯨(9YC ZV c)5ڧ˓KuV5lNzp*t.4\b؊tSձHT*15d ]`o8o#) P ˴3?%%k6y}fkox ҉n{uR+etYAnhc.f~d;R&x`:Zn|aL&6V33 -K0w˯:R/li^+: Vza9v ҏ!:z<6*tz%'bZV~#fJ T0ߓYUA0?gǒi,tFZp @l(n*K%PZe:fȎۯR|̻+k0B/zŒGV)7eGP i .uܘs`|glؠYSTl4=%Zŀf R z6z4E|7~D(_:Ć ?|L6h\/w<4-i!t \]OF 'T.U @[7GZbBo.A+#UĮ&UW?T2&`RHkLto#nyEv.₥#eXEttM"ҹ6 f:hAt'ܭ%^^DhI+ЛnA쒎}FK*%FBnN{k#A;\)|).7;KBsc%P& iQk [ f}h>Kp/op 6?uצDHº3=dXqQc΋'YFqГ oCZ0Gpfqp@N,@?lW#(׷0b ǧmbC ei;ʩ(9BJj/gwӼ^8=Ҡ,W"VG JiV@ _.JI(_gOz>gPf}ٓr=o$95܀ Oww֜9D-SLb {%[{ HH "d aFl[Tַ!.LTT>Bp%FB"*:裘_"jMMF pzaf*BνQ\;OxШ5p c~L8+UR5VÅg䇏 0ub0(28K;fG ^L_4n(#ro0ol3@&cE]qP e_fwNL{ So` M`Kp_:@fF"z=B.%9W'A0j/CAZ3mg@0A컰d j ]s!VpSz]r+*^:o%(/o4,Zbh34^[`EE,:-2 /Di[@57u1'*F ?~ҍtnAm>RFN[_'ҡ }ԭ1NDOLڶ 67kO t,eq4RBzz[߆&i-o|ROCՋcTnGѧMosyd7aLd=դg$C4-hc2F*!(DW;(2ej03*m<>kIjn<05k~ #"5CtQ,~G#b)~Jxn4Kv|a4&z۹eTVv@"LAwaQ(DV H0Er2Kxʢ%Ch4`L`9,oݶn"&Yj.7q# Gk' &c1{2-<NƍE?ʆ4L2xq -Rs%G׏?FSmy 8W$mdWVJ *! ,=0mUxOSav8KǷj+q%'ώ֛vp\7HJ}.st"Ǎ_Q#0iՓ Q|2Z2~1GX T_[Se9*v*tOdfV8Rv"B_ vAvRΧ0$TQPq}%B"V'[p^.\Ϟw8ꇶJ nOj(.U;߸=UpJՂ.#,6zZju)B]g]-Ӱ:ńǑ's0;DW9[\}/+wJaCokl׮IiVst/ZQi[ 8Ăt=1qF4K+5^-hox<h< 3}.~cB75Zo_е3"V.{B{^L?@#^bn*N E lSJ.ߐ*ڡxmC.HF˹0n88lLnMBT޸j {_F`Jؗp!5P1̀T=6lAEaGP~k8.[:i"^z:/һ' C UwF곃MG`D"MQ cBA~/j7uKAZ LJي2,!:&g*2-w޶kKqZ$+tαsfvGS9/dj4ҀQ>:LqmB@9۝ 8insz"ַB(zNbts(vD7t\ZxIK}|'S6~{)ֽBziJ%rTdyڲ^Έ_x@_ʀ! H o:1\8@1馾#f:r̃=`w3&.$+,ȟL>nj{@4]Dp%"\8Bf5MΣF%6˛ V|MW2F*K}Pg\DUgLV6xets֦ksEdD'rSV cdQgbب} W$Z!KGGL"ʿЄ/k t\˵.Ng:"Ih"b ᲼A{d]nj:)]r.#\"Ņz[r@ 0pOEv1*rW7LR!d2# u(jߞ51`Ph [mPaǫ^b>kR>é"o79H1@xtXM!Ad<sI"9|7NG#W355GzItoԟ_VE|,-]l1tOP!2鴩PrU)wU/c_'g3Z&]3J\,ZkP7 ':Uڦa8}W0LS 84d 4{r-i?8tw d[fZWDe1+r'v1oki3VP&l׾^'ގkn5H:r4SZYq1qeP10MEY}|+$*i}B* UxcYYuɍXX?H8 ˦{.C.o*F*sp1A(f\ ,E2'f>Uv AxkLdRQ!?uU6M Grc DdhJN.jO^A@M* 597Ek SHUlv_^}PFM}LޒӉo1mwa5HNRZlQXg g=J/툝>QPo`K7բ?x TP+;A ~J8Mj N|z HWY9j$[1ERv t!_"% DsED&*d{iN$|/qvl L8\1+Rn# D.BIy I=.8۵O`ܢ@KRAa}NbQgP>Dl6vN&)ф5ǦQri^}5„*cp F-WN='SmLP;ÑXFRM+3YG2TETyʻ Q*^//lҖ@*B#YL0'4 IXb1}iJAWǎ:{&^WVf;i䵆,n~*8BMEe'7D{QiHJ~1u׹|t@rO+9-yD. ht2=4Y`|jT*@!_jɆP\_s~Hv_儠t1h`l|:s_^78yҸa[H-۬:o%c2/PX2 z'Sر bɝ11h$4`Oe[Lzg(e*<Z`-䴰Ӏ\V&K L7R7›)KO@C.QuKTȝ{ws4JM` :5-n[x'Ah~OfUIOsSϷ}Vè_a >mu'B0ns~7fsډi4.񫽣 h}uBCD{tXMM kie^ٰ`VjrY3kꔏ_~L,!э~ Ewb%5R+upQ/g2L 4@V_k"m5(!ū@Po!waQowr?75 ,`y)krFK)d*_?CMv83Zߪ{P8.g=j9q;ox~Hͣ ^$;y۝zJPůU 4ҽZ4iD6NspՓ˘N>POQ217ePvdzإGzq]ɳ*"-\%d Vǵ\31n(%n3~hi&f¹Puĥ AAu[)QhcΑq 5"OAe̽yٴׁ 縥}DWJ7kqA%>T'd7h?n=Z ["8(*dxi .,=ٯ N@,l&wi2pNV-w^`d<)чЃ?uapBU$&{oхb/eY2KCǧ] I m'wC,sJan)31uA+e `~=ٗK-`Nx@^2>iI N#o- (x_AJ%;~M4lD]$ ⿵a9WQ09Dz#0B6}MXa'T-.E#{wO8F9 ?! yvnwJGxG! 2:v=N  gYZ1u@c'G-9ЕَT$rSRIROͥ}܇WO6çANlY0ďih?৖NtڛiI`zN2NG8 z^Д/5}|Oj}vGIZZK޻3Mh?a/ey%[)bscv y~{}E1@-|Fꂿ~DM :*,U/qGP!W~5SJ=*r04j 7=5h=w!|qEDNMSzwԿBثEzV@u4 @O)1\6*4>FWIav8tC?5`&dlJ}~Q5or2J9Cڲ/N2ZST!YvuO|5BmTcVB~]+iMxUX=Rc6r(t16Ӱ^/sI¹&׃x j 1<9o77z(M8^_7}6R; H5T6A^!(%ᛎHVbeSdɻ`˭(1ΐ/] `c;h؛BR왷_ cp3QTbtNK'/G{y?-.qCNboޜ&;G9p6o,8Q>$uƿ5(v& (F4Hg=j/EEѥs9|(*75!RsL~Ql땂S*0Lq美`"vǮ򨉡y95UQF0EE)|C4#_𥒑zz=ؑvyp7! PCs $%uLq:ʬs:?9T 4 e)bp2quxKT#VNShG9h:'6٬F`sXe ]'?Ĵl&[a/85WAvz4jMח,H<0IwR[S)E1  sV1z 0=_Z>}; &a/M1T)j+(*j}'f )@JLH2]5V)Y|.kzXB/AM$qf gjE,kdI?pt{OA#ޯYTZNŠOԤcT9{gWٽYWʩ^cwzn"_T &h FR/p`Cg 3>T0j$i0=.Mm^QbTk].?MEvU64;pSވ PӀH&r TLf_gUiq'k Kݘ'efS5JgsR5X&[+vI lRˁb)j6{:'H<.e_|{Ak5&935yC23={!I^"yY3Ql"f'`yn5Qtհ Z?;{搩O'>w"SUeFzE2 ߖv{rڅ⛉؆iMX Q*X xivdͤշ1fX8x~1VJ%UYs^4UX>\0zU/dZG5~ FH`ìD,yEݖNRE/sVNlWY!sd|2'&!?|Bu2`ȿW~_n:l1O^dv`t6Ӎ$Ͽq5!ե d#/j(9 kx@";3ǡ}ca=th2-Q]o[ ౰sxt[%Tɹzux0D5uoRvZ{YQDc' K: E?sU^eTT2\g=#.E`+ ~FȥÝ;E"P]lr͢(m k[vɃ,c-YLA< Λ< z>y4{4ອh:dq*UQ3|=v3 jT4RM,d:r I<5=Wdd.LgbbJN* *RjwHpDzrɠYz#V B~wRm*dƙZ14ӣhbq3Mjh},`^[WN+qHh(:o-1_iQ\R S yq1vr*dt[ 1?𝭰jP\Cr3@1d;$]QnѦl_ad~ʰQ W7WC]*|N#oޙC؆DGɩ[Ju™㐧/o]$Ì+D;oEM XnfD2rF6bRWnۖ7Lߍ@W|}/Aʴso(arI %]ʹ33Zjvd#H1lpPz<!Ijڼr߰vh:kڼX ziwפbdжbr6hǴa B^tj;cÿN{=IoFB>8Th_)g&/Ղ찢K|"V.*bx/OUR2HLxi/Gn$%DMl7֛0Fr sX|J1w:ZU'n9w`YfcץuPH83f˞Cyw=/]jzzc|#~+RfЍv}N' i_Y]!Î3k% 3; wɕjR!,$ U!.ofۘjL_6ܯ6d+aBG' u54/Bv5hD["5cD> 4 }iiϯ ?”|k. EF" =̆o8+*pdemUaј"l)l^Gv]=jK#dz;@ mrl93s=ǖKаqA3E O޺eRy^I6{y8(IrdgVI \صͦܯܯ1AK v'},yşeӋB2AzTk2`#Xb\WɑO R4) 6HvC]y M :~d%PY_v$F~F)'ng /:Oޔ5qČZОEHoqNܔ* Mȁ2»0֗O㻊fR;=wG^ RD޽d;s$E;;a]oUiWYWspɼ|x˒lRK!fsjq?/fc ؑ<8͜-7"Yû L| hݾfժNIF9\J_B%IQ_O{ɬ!@^)ƝwL6oSXmQfz(2pZ.i3`נ>d2;~kwbrZ"fVj_l2"ă@3B!O &VF7 #>zK`ydm\KVSٿ^{h2H9!(JfľYm$M QhNws& ZP[9j뉖K'APjO7 `{z{t-8TQ o/izW}ZJù_c* lc0"7A[ҧ%ETk)]Qߞ>#3/,;nkmheoYRRZ"/B/܊R)U7L?i~..6$jo%]iˡR:{(fAj4d=@ǎaaGP(قx1 xR^,>liP_gh6KV-UR>;qSV  -,eR]P.nUO d?JwR# g|NPݸ9=%7tńW36=>Њy?E/rH2r!= p%4_\.'äzkq Bt\= kAjdqM*yiu}ׇv'8 mqo'˝{Hw }h1l߂tK`o2d:h g8ފ\a_H"F*8i41M%yiRssf .c<Zޟ (74-RsOU΀8$~-d/p|Be)/KFm`sη@I`Ԫnp[3 Ô c1w浓  REGR0?m~){J|q[= (-YFž ~th?hWzs,?oPU:F*RMw at'0K}D ej^H}%+ /aQG|Mj<Fݱ m;snYNu&97"[4>HAɤǷI[p7yE  uu q(ytN}Gp;9|:Jh-s Ev N`E@t_ưs;J"mF'H(MJٞp]z{µ)zCUR:z/ţB/Th۶Q4ﳺaBvBR]^@ EÉupǘٗ`G?!H$(3|%AgГ%Om"๻}AvV||&P<)"{uz+0M1AgR ѐ3QY8N#/lyvOaj:'=M&|RY9H݀;X\_^ai_{(idg "?|)cG&jo<K0w#AԨflE<6!U&ruSW38yH$j>x\ KR;'0è[3k0i *<۠s=C[/ ,>c:xK1͗?&`K@ت2̌T0*Q%zg^!A8bV|~R) rliqm#EΧ4{?nX;$v?ȚhY)X@pt8WU?M-'u`0OjX1'Xpywb!׌m-{rOf37e: (O(dy[y{OT0 VjJhJ˰EA^~'063pYݘZT&WxThjyg{05 l>:dBbW+}NKыld 7E6?#۹`fVJЀL H}m*QLӾƕ޲q4Ѯ~+ɀpVX^-M*+'!닸َ1xa[7n"XҸo<P*՚MC [-3%s[Lr%Chy1ʷ@^Td G레6r?CΛ 7K٪F:b(Aj$3{RR}j;Q+CYŝ vOPdUG5EKDF), d@Mw,H /֘Ř JUVoWe c8siϞR# HI~n\ăID|%[auWt291aH_L RY(u h?yS.pr'F^6K*J^v͇ ndGH$eQ7(~aKRa{nQ_t9$ĂZzG+F$v06E#E<(Pkbm"uFU 鏌7?BhϸgʬGm &_w j˧WZR}4R()goKk IֆfFP"!:#5 ) ^Qjp7Rky/@s\zrbl$&ӫ~UÂ8v3x)Wipe2WG*If jos$}0An&&Aw_XBneSdO BeeHo\d& E -0IR`J6 J76jpvSX[S~zB-{*BME ,nMKl$q{'s{41Ѣ:і^|Wڀ>3ìGŏ~~*M/*sLG#d/˷,g:Tu!M=t' Dp'~']L<"W.Av/GÛq Z<'`Ι zXiqk,/Ki-3@ebEFH7>I_>:} A)%s-U UñȊSj^J1(,Qz1Y7xĆ4;SUݪT \j_ȔPȤ1Sho d˂=[0yhk$ތW8׫ ]=O TiOr=#4E{9 PC?)@( C*nF֑C6-k$YoG2Y;Xr_G688pPicI f LUh%?+-ًl7E26<*!) gv ť.C!)Y-WkH:ik#QoFx?Fh"<2fl \[^fn u pf&G>';'GjWpB_2jFiuV:SWkA" =VSR7t2F<nqn3c"xtbڔ @BlAWWkR7 ttAvҾZk!ysti'Q`~\EOHf}Տը5sT:ůJi]ǘ{AيV#|e_8.®C @Kp^Tp➌OʃE-OXh1=T\h6,|3컧T*XZHk:cz&X>84oDjw`my؝$~4Md~Hs?sϬĺ0Pk&W":bfjej{f I5V'@T }~VQP`QLЕ",S]ǡ X$g,ns `R 6BZJ`5Hive"9(yYѠ7r3*,;_|&.YjƉ\ݹL1nzYHVvI6p30=ɒљ Ft6̶\FHlrbPvK1>?hDCH׃*^/GZ. kh:$+wYpޗ &3 ڽ%!y]blbK83.f3zm3zET s`D#2IY^9Jf`g\nKw_3 SO48<.wSqB3}v,c!f {Aȑ_R?69Tbib&岂geܵ'#Q&XPQVV_ G'49>t廡Y\¯] /鎃2=4Iօ\fo%\M ؖxO약QbجY2yT%G| 4ʓRv[e˰98*~,PuMi &'2+m(8JW(^ov8>#J.e(9: [$anx|G_b{RU1܋A4x䚒bZS_ =lPHЀypm.b,Z `p2. fR EL$qfWw&MFU%DL5^CQ2jy셯Qaxot_GMI2OASO9p!&~qM鹸 2ØjEhe}vNR۱|mF>im!T[ݬD9,ٳg[4"̫%5ײ)B̾/^_yT4,&}BW7<`(tgʂ8CgF%t\Yi,eKAJ>u?17rR?L^h(Rޜz1D̜?H!Mb83r$WN7 ~%Q R(N&O)}q& @D$ mOihRW2y?ι6tNxdBW;гdPg|5f}\m|"۸F*mfԕΕȔᗡD,E6U>yP_:\&'"\yx[6^a)P>xȌS1>:Gj9FAgzz$;y=pauٻ/1^ru:^72rckK"Y6B-Ѐd)50Nr>cDw|?Pê}Nډ"z`\;R/ 4A[k0Gϴ8Sx{M76sh\/x6Ǚ";Z NeXJfa8I?ЋjƶiD< ]_101~ tzC]u;ue@0Ux{}(Xڨ܂^2$,'עGk;Ό39)_p.2r@а"hsX@şmN - Q -+MJQ)/KR$ہYfpt::K55M(!֑L`F1c-\!JNΉ_nQ MptbwUvpt-2$vݧ\WԺ7Ch:s3sC Vu+nk?qz8;슝RT|%cͼcpӖ$Rz5i;,yǰF ^)&̨B@,4=8wls'(y@xm7#5ispSBΈ1 # ۧ(vi`H[)?)BM{:"/VU#Sy}Լ9>LV~91)V$Gþanړ94G+N&Xj$(rDH؇}.SV>͔ M#t%TJPgҲHYߝt"שCJAl=t}IlW\HS!gX"YX[+\߶{c]Nm;*+VL4¥ElQ[ "B}1f,9nWG˹nV]h&7 ֛u|Uv~A:^ƴ7sg5N u3p[hbԀA`N:a/8&I[5 Hm>`,%L-g)w;z^0FPQ+QhEZd U|Mu׽,,m}Tup<*F Yg)l2nQ0s~NH@&}U|Y. % n:v X8KyRWlgCQ$?ASn[ika}785x~%{ y!Wwh΅.binV:G*ij095ݶs/쓠ye%بu:GAKs*y .P3NNW R94甆~_RW*l 爇!ML-\(tŦكgGWj((BKK &i?s@!֏:Mk^0<%9X+/~(Fxp&pi},5b865ǰQEC l [ddzT %1p@2sJt-@j01=O-c X1J/'¤.T%W"εJbd:1?"O QnMl!f#R<ձeTʖ·ۏR ]i~s+k"\;|h`P>?LyITFo[\;&7,q_򁵁Ѓ^Y1=?KQ@3tK-;~3ց4ԯs`SI$ʭgCT^(aWN1˵X每a9.uc{E'I:>ͦ$F{i|h.VkF lGךPb0+b ](v\COj.N^@#ɮZ|Ql1Tf zZK0FHشA[ࡀZ TnKVUMx~"5rb{]cW^%WuXcJR=LX_Ihpi.xLKBSP.̰D#]xs;̺GT]zRK`JaC =D稱H _|p2Yњ#wu.$:[Wr'ohSOklcbJBg vLSY):g&$% 'x_w#%v }L^ :답v_p8DZUKʋtt f+sjS ` ;s EƱ.2eo sKYfy^.OHR1^MLWٴN'JmSC-;i-Qz^(y>0H"gGE%ό1{_nWН>Xl,R9T#PVԿ;\ ib9 ڟK`\0kw[i.gjf@SW"ճB/qb<(~MIc_d`La&ǻ^9 >Kڥ(PPPUFBNJWJT/RWQq-E j@4Ii@ڌnjzt<[ ;]UIāWƇ埇:qQJ0XK#vDM5uS5,;{v(]5Z pDŽGP1eSG Cx:pq&sL^ g*V<V Qlv)6 T*АAtJA:r 6Tdú<ͺ9~i"~>[Ã`5f_Ic62 fbj S()D0:!0cir;SrB2ޅafc}[ğE;iזVL8.RRS=%2o4!,FVDý;+ͱ=6?O U<()3C1cۧHGjd.9CΔZnV4o!]\Q~b&&FH͑g焍e{*ɞdzzpiZ<ڱqHXko#qj% WnLU>wR¶ dS^vjsb`hԭyyz..;rKF>~}3ѼƖؿЈU-vL."|?cY-;p0@`Eb":aJsEd]ks >.O+^Ǜf][)5Wau $+U0k#'tc'c_bc!0t`<4uRW w|.N찿їUk/0yN@'w,7/l3ĥyޞ" \7>vv!9ZEΠf«zrMrLHPA[% T|D]uE~ߔ4Cު(X{u3 s֑j({`i 9M5F [~ s6S>=WY^m_A|pwQ&P ɪp1(? {?eE|Ώ~]|Gazed 3ZݫUH/Ld \4orjuȻ^U W1c02J6FkÕODQb(G |7 KzzZ*jqSe6FNλ VqdTETӠ:j|mjG0TEO@.Bkމ #nlKp(2,u83$ + 4tDžְXyO|fV^4F§p~`-2o-ti^LH a0iGeB!kߩDԩ5E!$Utw2cȥݫ&#ed=l+:0xMTiׁ`HL's*|a_&!:P0LI۵}lTJx>ʷ-^Ef/ɿ?6@eqpQCb,$CI 咿@n*ˤxpFgm.g3ܹ=~2CĀW;{N~^'s>K%fLtK7T`tN߭NW>gY= 7h78A>7E7jE* ςٜCN{78]9bņ<;R޹W/#D$&^1a?HtU\$yԬM}nW#!45P;aFiƂ%kT6ï0SԠg<@%p&S 1J+A+~Lv#F=|>Ȁ-]pn%B:P߻*idlG|#>bI<|;*LHAa-9$\{/dJo95pI)WV"?eF*/h2q:ʀoHVjƫk5OwkWf$wj!vGbp6E"mEk I"KQRm.>1X?B. ;#-J*0p#~ A@譯P)ڡ{FTaq/ %ɥ-wd LxOj,3C@yۉL^}Zʑ Xv@kE ETg 4JA eh[yTVnK.&:]H'w,;r0B^9߲966J8&?#M:Nb=hWݣ<{t^Es# !>4m2̌q_yL!@b_r; Z}w;3ME "{FN!BLXdR2;7رd-(p>3a` cyȀOl3pm% ;4 @;"xuZ%YXH.,WҐ RʠU5վRx!G-!A玒 #^΃Sq:N?ᏻKGVKco?Q y-(eV q5AGj: NʳM‰:\y# J)uҢ,l@Q" Aqbd`J} #aF7f ˱gYZ5O3!D4XI}oTZbX2&rgECp.vTIJ9(!"Zy!lOL2JyEb[96&aW“r}uoh)>/c (gP`*l70z22ɕߑNXOTBᚫ`E{6wHRp>aZm)P}trm Dc7< 8Ax;8RiSC˪J"U#2Q&1ޒQ*VvBַIfp"-IBi4IF/7J|SlNS ! l*p?4g)jJ|,7}U[\d6kW)m1(45v@+/eHΛ ij.>Ʌ b7[EmV.-!W.K#yH{.Fb:lŁ#uu)Ϡ+}xG-%dyԡ$NCGֿ$̏| L:[B:Gc%tBHx+߼吵h>@*?ul/ SJ"i8$ j&9+Ut _@<=$_xpPH{/H6X䥨J ?蔼OG^@o4(lBwϭ&Sɺ 0zESY/ӝ́Lb Q]MfCҏWA䊭9躷eZ"~"81' 7n< X@xe9\J-TK^7l:$9繜S&)bM# w;*?' ߓ |SqѮ ΞAfY PKZhh!]T}T:tat c>Ix: j5K~84 zVV>cd6`XY(B\A0Pfq|z?qA+-/I 8&x}藕fx0W$0אLo0 ՍߊC^ޝv\ g+Dn3gjngNG񦴯2u'䟰~G̬Xb$XE)V1EwN ~kWǣ9 `0z,ω ' *i3ב~+$pWM DǼ/[0Lm v/upL0JQS_༩c11ʇU1I02*Ꜭ~Jm(PQl-f@k!8nqh7x YBldFq1Hb^#39uf# k{t 2G-EM?L(K_ 0Ⱦ]_N!BjbIPe8-B7~PQ`m遑i(neۻqsV%["/3e<}[[ym'L8[` mTIls}SE\d$QJn  *}"0pSdR5g#>WTȼ#hyN2"ؖGQKg\B_L;IZbpR4wc"8l[Ayr ȤzPvCM>/>5mZq {/ V2ZJpD܀Y݊e7;&ăc_X X>u)xsZs25-<%KI?Ha߶,y)KL{.N^g:%ſy(,HQ/N]M%3:-] ;B_n/,(Amr^'9Gk&h#NסJT+lE~k#t=3B+>W9ʺV%  uFiZf"l_`:ss!C}oKya&:CnUiW`M?+EcE]* 4hY2k8[#k^nz q_CVDq`j%cQc3W .|V/ѨLf>Dam\_ }*ga7G4'3؜*Z-.HȃE)W$hٯ <j}꦳mr 7Q,#/ {KED@4ބʊ4"^耐RNpur_` OP`{HӜ%4M6yz<>ؼ ;f4aOT%im(.oz|cקZN(+;O| oO [rzNuWHAy.LAWB {فVB렼ǎz9=\_\E#ʡHL(zN \jˆ-di%Uʸ.G> YJ2>VTw`K2C*oI! FAΙ߼Q }}A./*/{6oCdWzZt^O'VLwp"}H+(jru bkcLyrt^T9+R \ |ǩ0Q<Ƨyζ4?HO7H Sn "'ylo}2!~,4vN:ؒ٭Ɠ'Vy;KF_T>܊u zBB& c R߸_f(C[Rwu؆i ILKIo,?`~ɧH(NQk倌7e1ElVqY@b7f%IR*{51R1 ODܲLcA^?=k0Urb"I0?YgEf|"+&Xt*BfV\2ު[HنUv{l!|28$^1!Rr^6ukGźG~!9_,2i|2/5`8Rt~ֆdrNp)e$ݸd]AeF,Oۡo֕0á1%9#ٳցʅОWYSK4-mzU,[]QNQ*y58ƄGj|hsjvOm(^A ^-(sXS)BBéܚG (j*g _6ƌa5EoF57\M,q.n$'°3,ޜ!t-$dzodNII1'3CIEm{L&*EZCSREΎudhu?\A7fS'IuxqPs %$@7ιfu%s[_#q,80ha\5+e/5! -.vh'lVUs4D_2yo(uڳI!. [{VXsΨ$)0E0-J!š!-W኷Ϡ1<'A?Gbi3';(6M/æVӋes u?1_ a6Aҏ8Lxc†~dj/g^Bm}~)~^Bw:Ƙbว,|5h8LͰs.=f٧= h'C5І:~b#hcM*H; vdҵ!J3ǿ ]\ WhSI0vz <:w3H:d/L2Qrx@~hsyrWywHEwKf}|(xùA z]^QkJver_`1ov G 3- Sʤ 4\&79Y2f .H, pSTQIx>_G"],PʚhJp qȣmy2"ϻ؆!`t[EXĶ˵;-+ rt56Ʀ>-aĺ#41/N~>g,Nᠠ2~07A kƕ3m`/{z|v,8P8?yf\܀멷@\z(PecLx87&O;еkHV<2Npmc+28!dVlp@@  % _7FD2ҒZA$(WL]}BQϐ?ViM1VxzZNQB d6iQM1 D&?M%O $'L1Po8kS8[5dGe$["Hۮ9]B,G(Ȥ~4beM&/'&^bLWddzEݾՌum乛UDA| G|heI`;azb 1KɅr"; hvx`'Qݼza&#)^l" =& p;A[@f )h=BM'Pݷty4}lc0u&/q4 ˱%y{n{c){@]մ_5~M9N^.^|hVu(w@n]]dP$@ {Ą_A׬j@+8DD zT8>5 ?%G9s"`w|Sm(19eśٿ0w3z& W[YyZ6ƨ߼h>*75td̼#;8A.őfWD`ѡ û nx< (.@2~;Ŏ2V-*La%6@yj FRS?(9/Bf=bZpƜWȩ=E 5TT)ؖ sep}V׷8WM)w 299 -cH+KAD3vbip"W$_&`=yv\ kϪe "KńǢKEzNbGLBGIc(ACS~6tsQiW5>D]YK}tK C]BS-t/ ~C.<ׁajqP$&pX WT\S,:J$;C jģ_2- cȁ^$K>4`k. :?&~ZϱSAQ:}}RKKuUXMl^,+ذ,,0gHO sRIlNG8{DTH-o6MPT+H.,C]js& 2SQ)^0Ao*, gy!?qaCHǨ1 C)' K"NiR۴#,㐛;Afyѷ,Hn[[O\Й+ [C Q92$~G2^#Vqss[KXj0,.D@Zt$c,\ďw6aj&VTbp2w e:hX$oMl.X:t]_e؂J :QgYZ  # #N #3% DHOL-AlgebraHOL-Algebra.Latticedocument.tex7zXZִF! m%\]A-MՋhvG"uIBm5gbkG%sddS`͗_T1k|8@?f 5˰h0vBrکyvŅvB&/g xn&jP>gvV4ZFZ[7&my?Hi,SWXXCc&|@{*&$vG }AhJbUz,4^ms5y̔9S#R= _(UI}~n K@IL5)P>` HF '\l$ -LX|O:7w&7gVhI4PVYdФ@yz}*qkeGiok U1OE,_=qߞݦI)]s⏅2KL{.&HL/$Nm,O Ww/mU s7!3vW.ԁ!^fuh_nucW7![o v+u9wī_LGtЫbfG iDT={j= r*\tEwO5˗;fE@A *Ÿ%AΧqj{MOVxul01u/Y]qq_j`DCn&cpβx^^o+ZMgඌLBiiHzm} a(\NxKxϜD̆fی5Pـ*| IZ`D CGVRMͅC5U*~Xڞk:>MEX%D&-q)ᣡCǜp6`D^ӓ_knh2J 1݉dg< ~|- Nb4H'HGPHq+J +C7 [HȒoAp-+`oe#6RȻ kE{N]uDo@̬pLPlgF.^r*OEGA+hx*T(Jsذ#xO7.W48sMHˡC Cu-OͩI!q4F-< mGچRzL3<-D?՚ъx ?o:*i[W =Dm)nc0Of(Si"rbWRy-;" ^/ͅVGWYPrE?(Uoe ]лQe&̦~KE7+^&rc(ُ{Xh|LH A7fAzVoҷd 7 5bU.Ru՝sX2M9)Xrp,# -Bd%䆪Nl/IL1H)]kש`}dN)!U9y8O.Hughv-˳j3n?8g|aE` r]j 7v:#5L.EMd.2 \6|M[+Bi ZAWޘrJ wn=CƉxUVB&Bw=VyùE[4'g{a 8K;ehodXk:7stɀpSʂJg;Bś[;y+)(<^#f<)ݵ*#Ѫ+:u۝xL] t.lfXpbcS"%6,VI4hCZ6G)U̖|1Xm{oy7VΌdD R,^~rjҟ'q-)ɷټaSˑ~c1VF >]_joH힐G6?uiQ ]XT*o5daX4qNri eJVgGj͉9Z"K|-ࡲD:h,b|LIL[Zpcgei%N 1+(3"۬%gnʦ.SD68+Bԏɰmr,_aq"<3Kwg_cI ݡ[f`kvv\}ɻPhnے1'<ϖ&R)*izGOugu`|`rS#w7])~vz'E \K:6mEǵ%YMĠ,F/>-8kUGCʾ7snl]P[bT=|W%!hUh󹷌@B>"gTcJoύ"h[ #Us/5w%]J]ʲyۈn-}D6u"yr_jTx 7tnz{g*MT@4:k_`erB>g_C~6'Urh-z*֋ -Q$/HS3~0ϛҮY_=.֢-irry|tk*{@G5*!E&SjSIˆʇ cu_K65VyP nO45?x$ޡZz"3bNHGRgq,Wy[&pRJƈ0:H*]7;“|`5W AE *҉tS])1; {hOtQ9Mds)p Fpxsv{#HPA:wuJ !VAʪ1nu5,(קHQh*Fp:JɄN[w_aFe{PpJI,+ :N@eXdR\_cl.4 wG/(OUX4C #mYsɥĤI䱙ju6#NbQ= 6LgLv~j'aljg @ByawKmi1?y&oԤR\RQW /A2}nCD;s2 !0SRմxVU_8{b9}4U;="WDZPY`i3|.1 q;p6{Fk_81>!>9a5rʆf=1# 4\S :!l^di؊z>r l,jä́/<*4ΤpSA)/W ]&#L̫elL?(Wuk"DcϡEOAfE=>֓|G}!}>aRz;] 3c|Le:NtM"~Ot.qp\D_穚FBYJ>:c#*weATzܰYBi60jm"ȏԑ+P]F}I@0t-[ BiR.`ΠesVSw}eF&} Ba>Rx.^[aiD.v).Q"96x3ly?-e~`_nN)tHy`e^´5Y;YjTsFT_ߗ+JZ\y@7yIJ[U֌bIΧ|f5]ο7 +^gj a! (4z~~H\k" y2{J*[̺TD_]4="Y0Ӥn23F8 *ZU{~h@ ғwg9ӛ% ($؟-M]Q{z628'OU=VXR6he(:#bT$V$r6Nx螘1C# ]St  ]c: !h>KU~Wzn>ly$>9ANCYak9j~j4lvoe+<8-F|f¾M42~3 aV+NSgW qQXNW1' 8 ɘ-3 lJ@*`)wLrNXh^wrμD}X9ll440cS)OQ/+ƷgLmhLum̄tʑSPqSN`JCRK~3:) :Om2z1RQQLwiF9zYgc8i9qgX}tT_Y#U47Y֌Dត7 zA-oPO/mY{Q_"^5T}P2ON'?v%ht)><`jwNz="үX9k{b+)gT+%,#sXB FoCMu\'siѽ77)4xhOx핝0t!I+"QSҸa%7D_8QGa 'ȼ=( 2eFc&<ED4!qx?p&UTj)>їNƘ6<-C0Ao+K'qx'Ny+6tmc3 H^|)qJIMιk4yv\ gwvUNWѣ=ک%u<3t-7Pu+ι+WLR2ޚdӴ߯)o` m$ rQ$䂴qOqaL%ɻ6쓩r,_ բB> Nx kMC܊<,"*v̌=\sHEZG"gYQnH(rj†U$= :JIlR 7 =U1Fa[dx}0k.oo1m <1&]I5VaMICRXvQ=T*9[UuМ9w t394;ywY BLHuuq0fԿ}UOƲs<[0;*_ |m_ p#(OSChOREs7+͕hY,ymlf HPilBóN\ 9D~ Ӏ=~/yjdˑYβ T85EKR~]K ~P@/rKvϸD m“Pq UDّl\xۢSqvGx6y=D˔o3 S %x ~VN1;dXUW ? ֵ!/-xoC?`؈u_zЂV l1'Up?txA~)_FqQݲp ᛄBc"DQl5'0%~cݵGq*8R-R,߱"ä䮑>f$ciCzzO,U2]kqG[cxj&ZwA7W$لJcobm=_CNzNqo((jc#/{Ce@a~X@Y CY8{2j[.piz_=f+G%6vu˭#*A螭ar"Iz^%@쇳7avG (1٭GjHi᥀^ +CMYYh,7IN+a0UN=h~zCX U P9{94 e/O7ge-j4yy'Oׂt!^ǚ;lR P+S/0/^Xv*quQIűW+"C>V35 ˊhcԟV}6[KٶL16kvpZ;w4ӮcgOgt$]l auАcFrP v %|uNwTsK9(DY4ܚo{( r]\} b^I5Ms(v=IS+ wcpn UR5(Ӌ~!iA.wc頲{YO"yܷy&pAV_v-'jn v i:sKwz,oeOd3MT$amk#\{Ƃ= \OEބd=CnfUg|>0DC`W=SmVk1cS/JCگۣxbϰipbjDǹ?s!ܤü-oj~^/DvP ^0 t%5Ö jA.#zAVċ;|0}?\_= )avt\-Q F;{q`PyRAKZZ1pꀻNJUe@ n]! ~ 9ת@>jIy %g6z)}5 P?z'Wr)mWpڡzjJ 'A} YhZNJiҕkQ)E:6}-z0ksYem 6KƦDJ&lb{66e!sUWfkgQ6+ tdj :^Nj?t:(UC{`dƗ#sSŭgYZ t #/% HOL-AlgebraHOL-Algebra.Orderdocument.tex7zXZִF! !]A-MՋhvG"uIBm5Ń!7!lP_Bur7s#yZ   7#^7_ϳeUx5-Gj4GוaL(@ >7i ]tu%ʲtyB⿭5HSP8# #ElX|Go4&[k"XT:DÊ}z^ 2[*tIyȸ{EW$A&D}􏉚)r}ѠϲFؠ<]6ځ@y%|*]^fh+N76`b7/>u "UR)~/[k240^E=),3ї`z7M3|ŀ$pB2<7 }v7^QieBvU:T h]nycaiBq{RZNQz x+ߛGot8d%{΢Eٿ}ѪFW!F?A#(LQHF&EnwE ͓qB"DxPT˳iߚݱogb|mxPCI.SR0?/Z/Le u'S(|> U(+T[!Mp if2",'Sl " IHbqTq8Wqy7k rBS3 %6-$8K{v2MU @g1wH.M *.֦N״ظzqwv#Q +}5د'OYp^]t6{YKsQp"k{>4wKyuE bJ(\T. :XRfJG7%"@ @|v;4I!wmBaf œvo{uFRX{Y6E/s*Um!J=(,\~)f9K-N! LFꔮ6a 6YۃI6fT)O@&Au(>fdQs==Q ՌBͅdPaU'+Խk!8yk=SH$߽96a8&ً:xKBn)L \\g(O#?vOԙ2,8 _*s0Cۙj%tk$0B,cAeGJxnl R. fo%撑a4O I2gG7Ε:Dnmc,čWز/s7V#p7#$ Sl3karfivs?7f1- h-n)kEcb }ذo:ښ"?CiFד Q2#]|sY8U H#h;ñ?(=-2CQTVъ^Q_ʕp\>Dq #bb?(4W`ŚL*M*}ݲ\y/ҎP ݊PGN"!6" :5NߦHq'7=f{M (>Q`v2թ~U{<=:BNcqjGs_O<' 3&d)3kXUIl`+HBF.Yގ.Edr y{),/9|%bX<7;AX+p(]i93%u3EfQy\"mA3'xKUﭶE1S}dW'-Nm6YBhJl#uOIZ]d㺫ӺM&O)|xƛȎ]oY{ZKȬd Qh40bS+^QԬ (1OE5 0:+mc-1)" :|"~sZH+9"3:"$D*QNgݫEN nP5XOgEW9#ܛp~1 #& g/ !D s 8t`Õ'^i\]!*F/T ⌯c86rlz)rF(/2v:& ń隷 wI~CӋr/A54.)XR`δuDOǓܫÉV) z0j"n ~P{8La@$Ua0| ;5j1L؞ ޸8:bbtcC2y(QXWyL PX곊OYNxmHXjCYڼ mᴀXceCKPImkM+F|`bLgy^]AS'Z=3}~h׀JEzM{Q:K.Fg Snb ,@|ebE .ZKHrc~Br`}—Lr+c4_)|`Z^L61Ccj[>̲&EQ@8l\CpOϠDϒkQ)_P'fsߩiQ2wSKŧ, 5wG?^S4|n:LX2Xv;_l}́ޠ5_ F.vuUBٱ</vy\~D?ش9K.]p}}z6w;'mV7TɊO#pө]^M}z %Gc%MUL7^̴(윾lpȬhG@b#z` sPv;HD?mրn^KِNc@~MĿzzGv/&Ads=UmGu8kp f.^ ƿJ`Ylr'6 D7+Z)#7pƘ!{KHP#ؖTgk@o; &"~[Lnر$j3ؓG9Y|PK46<@J9g.pzyho>z$r4 (RF#yM~h&>2L/]c̅%w޷dF$Px2-~ y7v~iF!W̴M³"96j׭y} i֫O"m9^dPo׼sU ׉(;NPՇR}P2R| hu_䂴Q77t ėorKaǻBL@/4m͢)=6Zδ;e#1+Х |:<~=;;VLB^a}Ȳ_ĜhLx>2~v^d)I+@;CȃH)Dn|ÐMD`;U/X"3^?S/393okI,Qc5jS@ on3 9n"C,8qymax)|DisgciAV%k%W/\\Xid֪g_.ۜo`L;IK`TK|rZ sdal֫q i9+/#aߚDP3H)L%2JPx#y$ =cY5EexʀZ=lY@(M{t`G!Smoq U 찰6M "YCԨ̍4B?ĬSUVcM'4S0qؽu]B8Sr漴Wʔp2>I{k ^z%>DKvç)-|k˞95E㭡G&N׬FtӭפDiTɚWRosFa ;bv}c^oo8CjNRȫ|8N+I l;sDTS]4:oʥ-yb1G|%\{ngQ;cmcAv_nnebוhn Q/K K6e2IӚ{WEo#Cvwϱdw#΃##Q8衦L DBW9n61o3Ċ9T`$ȁ}$=A$ 9 QU ׭ wa37OѺ E]xC_5qj}2,ŅsbV.;C6_LO\ˣx*eصJRL}1'v ~e]kI/!mrynss6C~;ݱ +}rgXԧ}?,q36Rܹ #UI9کnH>=po:< c9P6r~!e4z ')F)w[oG'cJ_`s`uGɩ6P52vs"|y*?NDo^rjՇDq{7cJ|8+/?ACiF@?YG I? si#(aT։vr}ŌU幙{{LI<iHljLXW8½ǰTBoD5-0.󂰩8vBϩnL ~#~P!9qb.8.W91N|VeAx:wgLl~OWJ}Z:#'I+5XEr AVkxAs@GOq?;ih8`Ji g9[6RI7;QāH@'Hڙ.Ф3*;܇~ KW:A_fX=ؒ ~H^.e}bal Y90uN?)<$ %~ U!,P' r;fէZoןemSMJւo6RH߿**/$K?)afBP@F }bH ڿz<=.ZOȵaT-Ga tKĖoedOd'"k߸'`(ʾy|?dY4/m~LWD-1JYvEMh6#J1:˔f2n0tN(7m53$R9vkyV,(ќ@#c.AJyt8To;0HqFZVp6awkZN+,DK@* 2CqCT@'Pf!LꋾܱcX&YۨdzVQ~,vdv]gӡQl̠Y](]@^P-d^"#l)/WΕ7ղL@6޻ݝs:{Įu<].l "gu1qkI?sd4֊X;1AW׃_ɊUsK%W`V`E1 _.}Nwk< f><(8O(Z">;Β1v 4 Uc$3:{o/!yGbA+HNjT0H(?4h>j36.|60DG5-n$CAX*VB"+(F`sS׬U@qGj)zUҤ L^##l 6{l >|Wf>a"+IB1w{e%L!dmٖ^W0[ɾr[_S_d3~GDJY3,%bGs| B?+hxge覕|3ڍ>bNR*3zGށf@ B7b )Sءs{ P v-@k ~dsܚ_@ }JX(@wP-I _űfivp 47 U,GUNh\d|)J$UKkMC㱛 ٱn>껾g8gg/q`iִڧ~qOijmB+3#Dmsn^8i_)tm~|R+F}I% #m?76.Iez\<$4EKK9:d+c cx~1݊78{qHX QQ#7)_;P:j]m;4嬑:㼻p=DbQeh!|CK8Ʀ6(D=j*\1C$<ȳ㝘h1ʙP7$n ?3kdY?rZXSxE{~cz6T<ifSIN(b1Wȁpu6Y˯dx*4Z! ,6AJVuiJ%}1Y C|ҘӸwt|X G)In-Qj#S> ^;1 &aF]AK`jYɤ = d"%B#8wՄdܦW:@)V.^~xk5$F5XKZ=с7c|_*632|R+m}YL.3.)"HV);}In?Eˢ W׸rѢ,+3oW_nJ'|Xͫҗf ^M=y9`) cF5CUa'FX1vvR>Ez7d) _1CGO!xq={M5q{i{I@SWɫ! }oc:S']!Z҉.d͆,?*#F?bEyZ|)ֹL ӟ}L?2Z1ZϯP뾚 Y{1* 584{Ng{M[$55w}2" "YzTOcQQqBqڶUSJ!ۢ)Q'9+8G?ZB b1P=q?lzR t&]óuW|02C gaQUlGn6g%K紥3aW!]|WS,`J iks^?~D 7bH59t:aOVt<w%X/ 0 /tP-Fw!<@~eTAo# W!SRCoiϭ(PrkN@q.!Y \Ѿb7VF~֙"eٓA|jFRuю8OKɐQy:#צt -;s{"gp3!zKxH͙]iYynK~|멐#"4 ;Jk/ȶPk/C3^bnE0'u>{ZMϜxSXPKp6La&kbn#vC%ITI;L^ue&r XPL! sO7l8 ,PYFv'P:;08RĵkN=-dWZܜ~{%b6'D%! 6C'ɫKqKp83WOŖTYr_dmme(@`ʁ F=-G;]t!G95 'p z_ݥ($(r)ǟM7g_y&螖x꣩q=B`sլR1]Xzɟ}˒v$>|$+: O!wˆqoӕ 32=Sr7/铔^E%!vˤLR^_"\mzҞ(-G*YNyMVF5pχGYYN2r3aLߘ/tj:<=k+G ,\婂بr:au? 2LΦL~ygXׇP[hŀ4Xr9KH룵0􇒱haJư؊ނa ="Oei*r^bJMO28=cD< ? )"9=&nxG?)'RM/NL.$= p&f/&\ViK8$""0.ukUy@ofL~2=\Le̸OwKݬA+;ow^23똖9B@,&?9|7u߿m6f778 8]bejԙҞu&3 jSDRiTX@iuv-nddBVd`Yv񍦞`痄ѭmQ Zͭ:j'ų7cl?˟o$xA'$ v9mE5/? nP'2Lds-|3+&~[B_]r0:}430)^Ϳrjo3<`zoM,h\=Qe-(@7M@mH\c+?MA(Xm!EZUJ5h HvMpL#2k5<5ѩ''S8Mv#?yz4Cs'ÚSdEYm1ɴ 9lfq߷7Vfӊlo@MAo܂9i Whtb}JMh@g]r՜š`os0So6<*W1o{Bl08 X\ˆȬUF*lܘBFX<ϩx,]2F}Ļ4֧|R r꿷&qp=eX踳Nf b> E0($ZHٶ2]!Ъv]mlrrߟ`.t}A D~ђ23+pgRYE(vebCnW,/U&ސ)֨!azԟN:T[5r߀L*{/N<xi|1T -yj跊޹ vE 7y"yxxl;E|#y]{JmI^+rߨCA` /h輛`]Pd>&^ÔQDj>-Klqu!1!ײyU~U~O#*/Zӕ'nЯ #L(ikhbqhy#.8?\I M XPGkh l.-Hhhj;qL">k..~#)3>cOY']ŎH'NJ׀zO[n}M(@X7L>RiwKyv d*ŪX3,H9҈s;s) m/V8~QTx TOo'΋TEGql"I2 k!,Qө|[76]O;|R"tyaO!Os_= FyxC%znnqގ.&%Gx[,L}0h;,j?A@d=YΥ8]АE˺RG%O.&rĭxx1i)h-Z>KK ԥwO?S *+d-к..w8V0 ץSH%ZB IwaMj LyYL*g" ~܉m;Is%>Yk9/8ITd`Z¹Sh+|aف!wKHAO{5Ȁ[oAF=U7˨3s2-?yxHfpG M¶8n5,i3[jn'(yˉg^tUQɅf[f% },ݯ Z%+Hq3{%nK6fR8۠KGnOm 2[3g*u3;Xm-T$4, KG\䔜%$/d2`siJZ[d ޕkƽʈF> 2LnAĉ jsƻ$خ4$/ l.qfܮ(J)טGNgA .7\1EG,{>1.9TY*,^FWuzNC G)XvdtSG0+l M2W >57] sؚھY!aMLk</`·HrՔ#\ Z{rqh[WR sB"h_Ww2N 4M,ߟxK0E3pRu*%d#F!> 4̓3F ]LeVWX2 ѡ9زKKs{* 7wTeI0+g- =aTsݑSIJ*6@f΅`s%ٕl\+dAtn*D1A"u.TaGDl=^z5DYjO`iCO5.#-^U}N0o+AY5yR!.4yG} O`9I 6Ox" |$"><`@ ztƩH9й**cb=ҳPAVkӹ䉈j#:Zx5o7:E $#*Ժ֠o>}8V7U0bSTUȮl3 #KWGuGH;JyMG]H"pyݶ :p4}/'W)\1p?8ϻ]e^ؤ/h%oXS!tFZCC0Gj(tNvl {фGF;|$Կ\׬IwZ#c_\m%s(t}W8Sr -A c䘵Vkc6G -%='d)秕2J-kmwE|L!sKqG9L7Ɯfkܼ%kVdTv+fVt~&sg B)Jq zu}4Ss\qwyooDΥ&9L` KE.N>f cT5~Z7#m8\rRQW{_ K,JO7 !'=0ᡴD׉zBd8􌩥=~[sK݇dpg-@wctQ@5v ha!/lu $B{ Yx#!ģ~&ɠ.<?=jJyMֈ㈄IMwWdymJuѻHW迗8b)Tg _JJdvtNmg,Y؂2KX:ѢgP9_Lfnʠ s !#,f)r9yu&J[D!NT)oxSA!BxoQ2]z]SIqI1O{{V Wy`|kɴ6}R%`ZY"f PU16joHDd&S؏ {؇\0_7;>9 vt1o^hWOG) Gy|v+6ǩ A ;j\-t1jfiçY6wu"ДRy!=oӒqP[ܢxs~>JJR¹%<HQAMUa;9G4q_L `{EVejٹrWDP`bS ŶkT[5j9sPᨔul5C!ְӠ`M?P(R9v)DŽ|_ {ܷ+>(mOMWݳ`bcCb(?ߤV9=qn'SI3! F#5Y3h:PBBw`BH147En"ZLLP?>ړs0Ŝn%QXXNwYC>Qh ]T2@ :%L\’%='zl./ɭq6De $u϶$I+ɣ9 Ї@_`YPGӞ}_sTO䠏| vFz^#(Eю(Ak*2TEߒP ;]j%em3 }# FYJ&܁uGVߘQ3F!`sObs{YM[$9?i Ô=RAVC5 o!~uJڭFvs<خ!uƖ&I77O퉗dNt֥Xw"$U.|#V >E2A<7KrUOREM|Ç D3YN` r೾Ȋt48^IxL @0Ӵ. /Gލ?tXƚIrbR'˔m TD.<`P'HN' Jbr.T!{91rQHC;( 1_H_aϡTOy1/["hIGdȪ&OgG~=%gj8a Ms_w  `5IA{sv f$_+I>)jܝ'rSTm{DdN:)-}pxgj5]bڪd'!lyYC0Zv>ijC%Jչl#KRTT)w%}~v jCb4RnMJVᖘa`+-M1)׀,k+j,5 S{8gϫǏN~:- z4A̠IYBR7EʆJGBF?[mT ϕd2#lp4-dM z',R?#L}*Qh"1j]LΠ&5&hWf(؏ւn)ZvuJDڳGU";N5^绔}M#xz+VU@DRRߊǵ'LF؇V c~@gq] k Fn}]#Y FS-2J =IQ"aέ Mg'ٰ'%ftz6l#ۦqokV=r:|H}ʛ-Y$@0Cc/+2X|Nʹԁsc}סha槙?J+ k1Wآi7op&7g):\S:ҒI&9 '5cjk:c]H+g>+cn[=])Τ過{ Es:0tbЖ0CdƼ0NW"?Nܬ/˻9{!rK?JK=^{؁Iʐ`iGl3 V<ܧK#J@UR un:xY,SƒK,=CiOrU˕@H1ZH%nGvzr `^ -0y`s L04u;bտ6b^+zWً>Vy|Η6dFwԔᅱ+87Zс-a ۣj>nljߵ뺯9M4?{v_ һIJ%Ghc/[K+>T ۭm8ںC_\ ғE6Rfi#"~mW?j?xGw-168t>IUxS߻:N͙[Hn}ǟKrn`̊դ*MdE`}Ӻϙ&QTP9sa&crǮg pOKsE0ʶb9)}7Sv "|EqQ_ ҈}U^®>aWZNLOG=d1-`i?.4哮eM\cʯؔm.U^Rޤ`*vn=2f);|A_JKm囋4$>LקhOTmu9VZ> +f"N4;_@i={.-0$L7dq佐?vyjLrX4 BE*|"þLzqh0-nӰg*<ذ{1 GSciK=O#j%Cq$C N$kA|#j|ӟKB'IfñgYZ  G#G% $HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex7zXZִF! zL]A-MՋhvG"uIBm50LEG=QN*!)&7Z=r0t7(JΤL {45Φuq`_^Cp-ie6e-xyVݷ`xoEZnb;$48DVlBh˾@s[wu"Gы55;kLCQM0!7f~<8e_Fk'R&*G~(6dd?#p6Go뮢[I-n,k8? j#1Ε`1l;$H`+-P#\Xb%4njF[WoZ3 PK$#ȳ,>R!(ݒqSc"K:ӥw &V7SO 2[N=w%PJ=w;9aU+釄ڊ;|Ŗ){^41Hk|m܋L#_ Ե+UonpV  gf}P*e6(_sl1NJ F;cL'bgVl1!7FLxp'IdUF՛<\ NI>: 9ؠ~# E07t0gv̎L}9zLKFq7?9;0AjyHt246rU¦UC !̔8հtCBB/hojBEWV<-kv p{HZ.m49Y7lhbaٔQ$se&yHPi+]A]TP5ga`N җrrh̃g8LZgEozuU#c}ZMdŗq Vۜ4s*fnh@vsGI`Y>Ni䰐s*K%{:ou>sDԀiW2uc JkEK%QEdDq (ǽe#6EY1BJ,RD"=ږx_v _.O1IvřXBDCoց {G\̎|r]V`lp{ՁP%VƢ1]‹ܱf%:Ё4}-9jK48^'a 7bPkaߦPTmc}yfㆶz\Q!~*E|U;AVb8F| > ׯYIM)Csh@^+^oôg|B-8nlqA`Rk)@ C)bozXRz'\R?O -s=Myl}ڦpđN,0\F Ȉ'.Ss( Eݰ#6j^0'8Fs`01Ev=J'sglY^ϔ툇DU$ڛȂIMxfK9E4g:㺹,?|JO)q%haYn }Nc".+ᑓܠN/d"C"}cX'(cm͗RAT$-,M9_τw sG8TEi@y&'(è3wQ}NX) (Ì,>^V"!n(N8fa [dD; Є1RXdɰu33dIp+RIu3r3SjMjBs/^:*Qk KnHh`2Q!ռ&AyN~\xx޾Tesx?DE"y3 - 2O-2E'X]BWkz=\ /͗ U7ZԨ/L[ܱ. &C|533-ޤV^Ipo9|ONJsByJ#G:*..|-Q|#_#tQM4j`%)ZL_8《)UؤHm;.+DiHWUB| ѩi>q]%@ i徛TǓN)v&~`Rk~ ӆ)a,OpjHg'ט+9n] f*NHO'B+ptP &hi6쉡t )B:ǓkMڬEV:.23Bkߥ^Юc0Wch sjV>9sLO… AL+}FL !#P>Gi#z΄C.#&T`ˡ[Z86ɩ,BQ7!NOzdsz^:_ﱉW j-fOJo|*9g Ū Y)rzK)Aȁ8 ۡBtB,$1!8+4r@7 @Kk.AsOLp\GYrZ*3Nn8olviw(+۝O'9A5f~jX$*'WT(+OO7<Gw+vu_ǠR|0[xyfHe.LH!{gr̳l ;N7yd;w1)E=zȦNUqRW͜o'$i;w2]:Ĥk2- U@6;>rFt6~z wA nqFKGƿGg99)=MW4y\SgҾcw؟ڽ$;;Yc~ㆫLorCڔbjBDzZzrjmR<6Xz:!S, !hnRrhxΕjvIozM\*+Bm t|^ ȐsN UVh0z2ۮ[l7̓e-+׉ͅ<,|3Ys0|-7_ a0c/E۪O6V$8$РZx ?v/ pLR~wJ=荅_{qڣ?jR{& QZL;=?ɫ*j"i:ƀ/ 8͐45 '⡢Ogsψː)kt n`x Cl|ϵ@fH2~M&8A<ѰNaSQQdtpC *o# ";tBt즂bHַj8aeJE,| vj/}snNJ/(t:<<d!CI~{<:dTBB]s/ܦX [@UQ7*-#?B QeLsv]h{̾Ϩw;C3.D 3ZE24OUkcScmLF%GF~ n4MLD9soLg"SsQ3g)A-f8kP*[]RNs&iS'xr(};D xH~'9(OWv~ ֯mP?tucpu Forax]6&D xҀY<ѥ[kwyȷuܐdx KU cw/29$ )0~%XVNA?[K1(AѬ_-yvk{ՐzOE$\\P*$2S)Wt6%O{)|ORN6:ʨqCí6dg@HI$vMxc%ȱ*+il Al[f$QwdVY}Sӭw_ԺQV<3T6S%OVlc.΅0RVUttCB$kcT:E;+^qvFKV*W]+ G_32^a9 fLS LT5D2x-!h]|ߘ4 ڳWvf.3U0mn~\u/Bu>;4l Fɦ5v48z9EWلQYc˛T9?*2$Mb7OB0z8`"MgCͱ&a]bO.e+w.r#j2I׏AiU伬) 2k؅w>̢'KE0kG_:'u_h/gܚ#ZAi:FP1]2LmK ꖋ?]"`ugNtk>N EXN>* ɁNf6kZqb2$FW|Tb-헁΁Gdzj)(fsBkyL/ځYO>ۛY*x{{t-\BT[FHGx%ř=?ҷxO$5hn6+rk1Lt%lVWSlO AO-ߠBZ@V@LDi M|,&Ur,`c%Rjƥ Ġ`I+'#`mĸ7Iϱ VZ244ɬ@w@lMG85 MRc܉r&y*7yñYUPG-R.NA Ĩy9XԑJ&:_Mu!2 RO OGHI%{q[K5USjVpSh7 аfH!~JB&s!ngR471E"oPTIX@3v錍r'%cWWeO-1K6UtYoEjGX_m ?ye;8#:̫Y|8~O'l]{)xAA %BM<|+Hxl="O\m7VϬ`O)1Ϡo厲|aO4 FN]_ :1&ޝaɕl̏v3ȯSۓ )rJqDwH͈6WWu)lih%[eDt%9>NÞa vsONؠQe7qBM8ꦞLjft<Pn'6T*_q\A mWɬJr.ړ269O&t#fywhͅ/Crgr%c'O3c7v(6Er> N9xfpd;]y͕yXJұs(8rX8 Lb6k—* $ Hi)`O!1hH \>J8T]=!V?Bߧ$K\얳.LLSuٞVCy. 7HB/mU3Q_r2f6|L:LnbTYۏ mRZ[4x PiJf-]ҷOoLõ'\dann(Pc^~!PSSW]s/x4;{Cp[w<"٩xX4ku'\U jrA/XF_* K frP*S"Ns; vZJ ]unXki[³8.i)HQz1t v|D)%q틟pI4ƮD+G ^9hu'}`4$*NX#9PUw=eL#mk)ͺ&Vll3y4mQ1J? K).NWPl(T|jP^.ο'Ȟܩjk%` u76Le2o@ ^,)L8+Ŝ#g%5ޭե*}pyh i-n>DLٛ˜nG>lzF)/ֹ2 k)k`n~WaJGg IE̠>pp-3^CLJg|cAEdj[XϚ .T7PkN[ 3So]h?V{y:@Ei{6ng r&!)غBUv}P)n:u03nJV%{t@Dݰ-.BPJÖXDhZIa[¬nC}V.+DmW%F\gnXf%aSt8\_Oڵ*?ЯQ+ %v(qp9|wt"K;/9E"dyOmB /\pu3eUIk;UU%s$ouS}d#m 1&7 *6н$CI| uh\_uFu: JG1(#${V&ֵ LP[,ULóSхWQU#Id!20`iM ?ʆ4R8Mc3(ܤN~.MU =onHg8lB3Ē1I U{@=~?^ b4At@ ;Ad7LV>"_=) z$xQ%jY0qqKVE fc԰ѥk:mG4ascsJ*+T60}\F'=j&4i֕J {N;#YHXƗ\= "?GZtݐyqbVpt<WԦN}FEFW:+h {dSxF򷸼+kڢsYci"dZ~c5\"J z&ۏWA $~WAȟ>!/.gsFq(z캐7TU_]wI'T(Ϣeݡ`ϵ3{A$P,ѱ|,P<+Ga`}}Lk{f"2rs{rS@*{Mamvp#?RM"vߦV[(EctPix)вP IiV,R5-z^V :a'8ޘ7g!rNsc'9!k"@ɞ+Z \|?L,޾gڄjXH'F01&9k)mٶ~jy(3$1Ų ֽ?5ǖ985(j1=碫h9AbhJzXw;;>`yyP+;&ZM$8*!Io6xw(٬t#?O? Ɨ R{ާkb 堯DU)J{N)AOP`A:J )qh5ڋ L'JU --l, LxA iwyYz C>O E{JE< R3UdpEJWM)ӄ4"mF6w'w3uev*0,UkN<֊8S`X!VmF"׈+ .JQM`eB 7f{ҏj*jD]klUoKy#lnMٲ3Λ|Mh^x#yw\Wy{7tJVV.@C68$6n@Yu2:~zMe\F(Jt򁦖|?=D_ԐX&z}1&_ä@z[l({3t@u)\5`̱̚e+GLc7?t9&"TT[A[:ϵ-B@6ᠰUoC+@Г`T[9s;S,θ~5݊9{utQs'˹am ^ke ;?ySS;`ޚ zd@Eqr1%g䶠Y ëKx2JɃ}r0W=VL8 sg+ȟݤ^fyuހEMLnHK/]`C+<|`.yVYC;g"I:6<-|] 4pz6L\9Z (SҒpNSGdx O)JJU{߬{{A r^ ^tDPe'7l QmNJV1{৊@ѽn}9utyzLfTڻk<`Zm,1baEe50ELwW. @5cڝgYZ #9% \HOL-AlgebraHOL-Algebra.Congruencedocument.tex7zXZִF! n]A-MՋhvG"uIBm5T҅JR`)<qW/ZUb ?b|v%SX0߆)cl[zH]'&Cu}C!'Q4-Jf/t \F!^O9ѬwPX֔o.#ZbUxBmS ֭кW2\o4,dMɀ ͹fI{Tg5+A0@L'liK&'o{?j&Q_)p]6].{bG/(:76XԪIEm[ug1''Vw ABE-r ŭYs:6o#[LRuMHo-z#sz۟jYeq.NJRۭ?$r/x\'>BVN]6~]s&ٟ{$6C ;~74zN6Zp F5BO$}@ J*c4%:>ocOKYsÚ:yo^vËbj`!̳8@>|qxq۵ޔb:iɄ+ٸ%#R O$`c78YzdYܡiH^11cj{sς=!6Eߗg$^g`{+E2Qặ23YɅN9Y_UNwlĠ>Sq5{0L"S]hi뀚lGD{W=JB 0V*G8 >G4Zt* epMKJZ-~afIWC X;oHP\+xItŻXV|H^&Bf3 6tȸz$/ڸƒRI\{ HNs 8o{;f_G bDܠƨװ!O\׽5BIRKO Y=`rdkRy`[Yr1m/Ǧ)zk 6WPBDO7E'VxZR ڀڃ|F׻Ye1q\(pB$V/2i]-x%Xq? %= CQ/%KGTL("@"+v|G3,YУz+ 9#M\/r js=TdׇȤ#bWD€EHQ3˛ 6= H^C!9mQR-Eptj~}M\fתna.Gxùxa \zgQz_`Z5xx'X7NN8ms,T(X%Mbk}9{L`Ri+:?Ƕ:EX iKrA[UE5@A+?xL!ܗvdi$-qJʒ!*Gի!<` ͛wVƞBxK̉Ziz=Y3SˮczSeЩBu =(+þ݈EqGXԖTKr0O'SÉWLCAk|-h"w>2qR{. eu9N8c\1U&;|+c W88í控?c';1ew}LE 4^CsK记ԗW=DbǤ~Sn·6L^jyK{B2vُF/awS й?:Eɣc#{9reD#oY3@y4Q,ĎR3_VϚU"pr]7 <4Rۢm_(ʛrtT~Cf›m.t%z\W}c%۰XBtL~3+Q M7QzPiKX_.`GCiünjW= 3y(ao~)*3z߮3d%z]g#*;nU !<;f+QboHxRH֋ߣU9\d^ p< 26V00M5ٸbǣemG/"_{^팬׊'ABƨg`ߕikBLx' 125F,P< ^J*ΰeI:zg)ӌJ[ÆQ<}ؾzk`<^cL^uAdWt⸆}EJbFzo0ѳ;0 P2Ehӯ{҆#\7W4{UV}C)t#k25M\4IQ3dHY"Wmu 51^ua #,vGn 5T--^-\?1=ہDSK:౧@z5krgctoQz` !w3wzEpP6? Կ ^xy~v12V67b"_߸+eh nY"#d%3 -@U`T0QT̃ީ{a Em8A1%E-e5.VqNo gƀaɿ;5x^ iYO_Ñ'o[Os/vB6Q K*aߟ6"p{R &d)ad1UExyc+|Ls|gBfbx8w՚M!(y;gSۏ"kd8RJ[X3w|&1iDIw”PB֌w5xn{>PKQ>^=6o7NR4t%ZoNMJvZw1v7]%/xm?Ÿv=2DKs@QW?AzZjJcl7>3!1c(ՙ|8fg>N@c5+dibQd&k@~55iټxhk_Mcw. (Cg]2S : Qv_QR)ɇek;@֭$}Ѳx>wgO0aC$1N9wK\Ň_qAyO 4N7GgXL>k;ϵ -)wc g2Qu(qbip|{/@q7€%|oivJJiKEl<8jHy+DـJX6%hOK%7*xppY}pbbh2T Ōu"| ;o8faeYX~Zz1*16*uGg0sWXie)q#]޳tY,ړg)WzUh߀1=`nČjARHߙ޸59KO0m?5Ft XEl*v8{֩aюc0KEo^u7P>W--eJ}t?,Á(i@@W-+)5ІGռzeqKP@oqdX2Y_YS?`Apé;xSztg˚lMJO&vH;#49[Gzre.i /#\ev+ukY|1Xl=1SLscoکhS-(e8+dٹtI(VJcllD+LQH{)UV6ء|5ع!N] JF3%g:9 _Qqj-Gf #3vk˽{'[VFP3p%Zb`VWjc0 +5R}4wTsKkvu϶ZԘEۿ3Jd^;MrweaR$g1qE]jGL/ x1Is7C ?9lA+.P퓥| R{Z]Q}FTNɳvܿ|52'h 4s{?PơWI`: E֬nhM꜔ޅBx/_aCp0hm)&AX_l8#љvE4NOq/Vi5|҇ ? 3k8H[s'JW"e]߷; n}9"t19Ua3abc;5-Vn5B0DЂN>cY0YJEUT;~VThp2H͛~,sދs'cjj%KZxۓsไXJ_mCrnZ睺:m_&hLwI>)©0=m`u IƾYe0N1~kR%F s\ {%nX\l٧a1HJ:Gl[yc6LlK띨]&T)YGUx*H>66铛}ZwT.0*?]N4J= Y`8)KؗއAZVN̳D1&8 p_H|/.gYZ  #3% DHOL-AlgebraHOL-Algebra.IntRingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 ܼ~?&ѵy3U]f?[z{ryG@;bd i2sw}t)1CΈ sC2s2r8MeV e8gq*=0m ulnϵȁ0<2_W5i Wf0EݼydNb&Κ x=>B:ǻdtv4-s,2~]- ~D(^bCtߠ0lI ƞkz!+Z@Qjlz[3xl^qP)ԔwWEx;9;u}^FRp46uj-̩ M͟oPd?[Q,d-Xܷ* + jFrmdif&wyi0N:|lo~vRg=-if8gb5' S-%[$oxn>Ky\ǖ܆< \i6%jpkQ4h Q"v|wAz]I *,fQL^ltܚ%e󗑘FQdNm~9M9d mVC鲫=(K_|V4T":/RfHs\"ny2|#3Fou 3,8"Rݫ25u}AOETB^R롯\dÖ3(HMI6ژZJ]jҶ^KV#_X;H3oz\i6؊Aˠ̋MDv]Od\GۈKaи!t5$:Bټи13iȔ\ǁ:0}oI`Tf7[K|m7fxN ?-D(Otg(ruEzǼpj?XQWw4>|&z7$7cj1)%,7K{MRݕm=qBs46sԩ4rLwK؃X 扯B0*盢5he–YWۨKZЅvp;x>|Um#AZYGtHE*ůx3λ󠓤0|檝tք AEuu$zBUM p+Zx7 m,iSNdIfXֳmM ef0ˡb45!wx2f YIu#M 8 /l ʝbbjW_Z]7W{Ҋf9{KG! 8l.EUi3,O$#hyl*YfV~)f9wF˞X7Fy@6HO<} )bKP{/fD ~D|6̘d9nesϬÝ2;j2J}i^W"]6B+f 2=F ;I (d!m [S|ı>?4wWS>F\1m) IDR,fC&7} Op*Jk`g4 tJϜ2x̴#v4tpb5s{W18k׋_Vx9ɪA?j`gN gҬ#&.ZC1>KVd?C$RB@-L ~InmnYߐI"syz)#5fU?s xc@1>j94whșGjC'^Y dd ?TJm f2bI{/c _ҵ"sN|<{z%hֵk 2nn˥q_*P0c/WI^_⭗/g><'LqʫOQq5 uiB٤gwJO3&oY }J)3ˉB4xIʫL+=h.uC虶n]aO -A0SߖR礠ʰ G:sSNLxl$/5QPȚSFB̈́wdy_$Xe;KVbgda2^91B-Dʴ}?\d7G9R?N Z1PSHCwD&X˴*.Ə2A^@p_'X5,fM۝!j(9r]fbn viUR"n?QA8ZGL^qNcǦbmbzk,)a W1+eCsBD߽ yS&2PQ;TV2Պ/f7yR5^̦tdlT.,mժTMkFP ;CjL'&Lz)kwΟVnS^y;GcZrn{j$hJ-XQCp<>#UNP{C5%E(;⹨H=<d+2u*3]J9+;koi gen3׀ZrG6f(!;k98&4wږC} JY҅_ZDZћiSTb ܋+>pb'g^ dPjL?X{d2%LmӷXJ`3 I@Ъ,Թ{'Ɗ] $b[L*6m"U >?k_yHkr؇s \hg!x*U=6́$yye bnCϽBW՚`:@U2es*%|R2\4 P3FsOI| b; ;pnք"r] V"׺GO+sValZ}bTrlRix<GvoNv"7Uu穀qb ̮إ_AH\*H#p`!4ђ6z_*򊧔,Ou!Α/FfmC|Q Q-U1?&KCM4ZH1nG;(Н1NwjcSsGJGVQFP tҢU'kk|z]+L@N.-m1A'/D-J%ydh7)>չJ7L3V6. Aʔ8-r+ZgXr0DP6H=@]f|U j43b_@v&LZ|א^ ʚ1b[ hмTJb87ԮYYUHyc%Ʃ*[D)(J+pOQ SSwRaה?0:+mn}gQeIZ;nBgo)2z`OȌɩ44뫇.+}wż _2{;)0@%{Wai}N k5ʣ!i8iR,^Ox5:ĸb_z8k{ @U\+mQ 3{btsYCSqܶ3U֤Wf Cr7y2%L'V'A_/Q*L7\3S٬ˇsRգ6ƻa _]s9湭^LE󞙐WzӢgKt OK1AcO>B=0 Tl'!$ ?l4k:yvAQ V`1:?E$/Y\(6&E[0[eBhс$4| 62aZ+iDxChͅ P$Wm/ʴ̈́SU8HXαaI Չ|Fd^[JUq7 9̝@̡>{#)P~nWUM5Qeqsln:n @wຸ^"@S:<Ó,MOBE^>'5|")+[v"P pڨ%.%aDG2a^(},x|!U mgB824 uqhG)nU Wm0]PzQ4,g |~sOfiEo٩Lx'xȒ%%K>MP 1x}t+v"ᵡrniwH;g}1VCdуKD*ZJ[fQt re(kE;T00ݞ|Δ:ْѤh_P_ 20˥*8a%.l.5YΦ7W\)Y[R5Enk<(j#_tZ[1uNW-dHOq }uIӍpn=.:ZOAGܮ% ḓjr+w3|LYҝ`F(ƈ'p-Y%P-QSgprړ_F̅6҄1p{} %@ sjE§& \wbːR)8 Wj Re6xTm 8E 6-[G{7 ;?]įeiZ_bj*Ꮕl' x}E;js!{khE#ўuv8"3%YgrSU'3Kq"®xm&@R1)^gYZ G#/% )کTqFGEJp ȇ~ﱦh\.3o<&>-MK>4.2>s(x Ux=л+i]7WH]ؙ?.QZo#`v~7:U~\Ogc4%O`W:xK <:v=݃JAŵkX35GVT@|2`~(^CvXP2 fIJwDp4b}<!.0,ڌ1W8tz/*}K'B =RVqW4 @iyf識ՋVIMniO+9> Qo>ĈNWl:#_S]B^4hrASg[Rcyw+,I}SW3<lB:ʈqeFb\fcb"9KP6areR$jCEޝ1J^\)Rp̿[XD}tk+d9g۳'3Ā7)∩yDL)MW]mҦwOfZq ]ދg,x\8yADX%d;xtޫ^tHojfVR< R uNaZ <"&MѺ_MEZHeoUK*Wݫ4&J[08О-f{6h{&Ͳ1GmwH;,qʴSm[,g kvBh.%9ktFIPEC[+vTM$+cѰ-G4 ;m2 ΟC#cNXw;c`ue y͘=rP}1Rgŀt)\#I[M0w+[[@ Ds#c[7T=kfȧ(@9lף$it-v+6 &_uPC=҉8ͧXbA4#xG 8c{{3\K𼙊vwT~s+3d 7i<㶠w%x^D? { CXa).cp BeP?72^xEʇ:)Q_g%4}(  8Fo"tA|m9$SpfKe)F Om|I/ 2.n©Dqn1V $$wF*I<">Yl"O/oޔwo`WL8 jȿY!Z7ClD$[$TtHrz5[G8пӚ0E~ iD݇3O]:/ m/x))۹{:b+ ~[ޒ7fl(=F F%mrZ!=$Z>n[R#8t顤Sî$$l4xtG΂"}U׈o&!wFC&qz>W@v=+ 9+&>s]XID$Sg™4Y, 箫><'IXYy 3鏸72mRupy"1(KlGgDVJ{`*:Aq `PgIǶH\8F+W݂0ԲcrJš$+Mpd9QD"fS fYr,s;X\爕agAmY]YF|U)y4}3ztBc6ō'I/HX7MD ,,v#5% HOL-AlgebraHOL-Algebra.QuotRingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5͚z_S,vIEiJiȿUv!o Co l'oP}@x-N ;)6.3 AސVK::C/_ zDZgb3YɂU$ :dщ(o- <_@~[/)bkG<+mKI4x~Ctiv+iu]s[lRó 'N75hCS>U|HqIA9)˚5wmmbz ,A RKJ%/ k ?iGG϶MȊ>YVoWx0&K&*6';E?n_K}@  TUZ0?pS-ݏ@`GǛRJaڎ"xG^n5MtuJGgxNtO<}eeEŅo*W{mGoXݝGѹ%}\FLzUjv7G|i2kb_  hV@ʒȳ7Lgڦ=5ӈ߅G<2]}:3z3MA#a|݆^z}@rhс]]9uK<5P! z{:;ew9`ٴƑ LEߟp79K_oGP#1% LHOL-AlgebraHOL-Algebra.Moduledocument.tex7zXZִF! ]A-MՋhvG"uIBm51Vhحg"X;f°}ktCY:Х<i \QߣQM%u@ěk(V:#ɨ1@C8 s1Y?^C|IFF>Ú"!͒rJKo-ZǍ=օRիƺ|dan18w/tXRC2>/Z4E @qA1.dVC5XW2'ɪ <2@c"'-Ո.GiKPZu`k ״wdeU4f-oXeHlyrZȃ&wyk@G90M]_TTQ ,'K[}rdӀј\NTa+NNt_ps(ڡYFIݍR'm_k j(+o{_SgA  cj B[bPI(hʵ f7ll[K,?Ähvg6}nĪ >)U0!캫 @n*0VM UAj_ܢ >F={<:iSѽ!8{>) AzVlk}1_]&.\mOb+w_J;N!A-ƩXDeuX7Sɀob&8HVJ#YoF? 6QHy=)D#lE"i*cE?s!շ[@ k`N35 E QVw=]oQYi7_:0~,`~I#-NWFfQuyD+ʉ;<)3?!1o@M!̡y Q )@WPbbx^Zk\PM3*q#ju5 ͗A0rn*"G1  +v}CQ D}ؚdwY@&|8 l7ͩdպQɀf#uu7l5a3IaJ:RFM:Ón~`1<TgO/Ypˤ;t|"ύxL1q{y z6Wrk+t{4)CtӠ8~ٜ1ǫrPfR+ zSs<>=tߝh!#*̄ Z]u3fl3PIȬTAWCn*PIvWU!IB4p*˻9V,ŁGz+?!@֟@G&** qlp)S MįÑ?ׂü% m,_6;&p6ܜs+F8 ~Mt&﩯;P83s`!Uc1_*H$]fֹro#X~7W)cA).c*vQSŸ?U,]7R`ƢKM}^\m,~:55G٧q_*5sOWdM0߫D$̗߯K힨]OLVANpcTj7 {~(Ykfڈ ElǾSWw7k9_  R!C&XxE݀+lR$ OJy/pyla&y@:8|Qf2f #(cxsz<$ߘqwI8hi? Lݗ$»yoRkµOO``_GEk)]4߻hws@?˱hO Pfs3_0V~a8( u6e<)ZqUB'ǠL7tNRxpJ( s˯@{`X}]%ѬSZ5Ur*'IJ#.N t Pu9BXM5Vc*s/u9ڗT UgYZmlqDG0$%Xҡ)*N7 XF 0"lr@^KPJ Pi2>ݫW ĈȬg>4)L=_nCEɲ5윙Xh zg<gd͵F]G$c. 2`wz(%`$еy^k? ' 7noʸt=T|'̄) \݇_ fi^pS/ޅx)Z<h~m_|񑇡KlID4y62*`ͷ9(,BT'iJV mߋBd,שGySE ڒB ctV;!FЪ9/3X'z,+ǣUI%x(I|A.zA$Y_<4F$ެv-9zED'T3᷁]0x7|\݊\Op%D~N 0Z0Tc!nxbVWѣ]떞}m=1``X5f9(p{}%ó~@XF!qS ceŪ21"8jj{* f^}p0x*!ը籊?͑^rn_yA(^#ג;rP6}L= _OgMJ$;jS`6L31(Ob)> m_Q&%^7rPqPh*߁ل^Qg{шϽ2F6৒)`ܒ]^a\I8MP?nբ)Sؖ\|o77Ҏk:R-VG-U e>GҤU]ϖ :.F۾{ԕSJoۍYA{@|zzKɤ$9Gjn:i5訝=]>|'E7(JDD&VsrGU4?.27C4g X< }lLȋ2h5M*2&`Xf T79Hm!]f{[0%<J=[9J|{ P2= S+XQvDX+!g=\ʉ\XhCl[dAl/Xl<ϭ 3qkLMp-WҪR*ojq~ܬB~f)kXNS`XL`)Zzi=Q*'L8R>r/_^A,*WޭAL/Ұ, hOAr 8E}5Mi : vS#BS^pyI'!̕.X q5OK+&Pcnsxư&@9DZa cydoSx)\DPJ iDĈ &WeϦJA?d=oK;4<;cwY!Jdf7!\QnIIb}ܸui r Mc :ۧ[ {T|(۫:`,gsДBswty\ww*@GgYZ 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 -#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 _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+:ެ)=cPSlq,ZjBL}H ִ(tJq`yKT|iҴ0!xD6?%UDcM3Jbu  <`&:L_qhXw) *DIM}3b&Ժ]Ȇ+6)}7>z.Y)l O)ϽCSDHC8u%dTNmRcC7S JCIRot\[Lek'RYg׹7jާ$ Q8\K $)RZ.C"8fE?y`xc:1M$2҂-enN`DXj VGEUڥw[q$nnE@!6@>xp_Z/sSA I%|ss+qb3Iz3̶Q3lbs|Ʃ(-:9\@p.}$:.b}Y}D=S.ת<ȵ`-ڬʁM>K[uְ҉aQC>;&`ڼW%iC﫤2Anj-Pyc#J z|_jm4Lik r 2N@eT0[U QfnG pnKX6`Zr+aT#j 6C5!C/PD#f</l-'QGKk. xy_dPac[m!5qZa{Æյ'k蕖0uEb9V> 6t9O .<0'[TuRQ)M^GHdcn奻0?%*MyX];;Ou 4 f$t1ʝ'?R9ìc9h3kwce~p0A}Zc O]TFL>kF׬5oPmf@K"&hys(fE7p|FمK$qs`a+i\ZEĻ\RpDd[.gd1at:"|=Bw4JI f5.,`C'Zuu8Yh4*r-@ws-&E{FQ]\:ZT@5mjb53EȓV`3(ڜ!A'a90iLu :M I\LCp;On&wz#=p E`` 3[{[qL4%c;k!qa5 O뗬?wvٴ,R8;u:W_t_vWPHdžG@0C;!OQ9FU47Ԡ<@Ie oqj v^VL -|_.TNE*/w0$tڔɆml h OTBXVۖ)WqDOp, 8}{3&ǡe熽yF"W^Ec@z ߭"A+A?0pah،<]صGs5-B]ǂ0f@g: "up V͋ˉ">g:mI^v\W1L_9CO5 #à (T(Z$cZ$>IljӍO6GP&_&c̖IfC ds1'<Mr8+Px hcn6a:uKzOXĄ⻬I;Y{"~ ׫  hr"u%9^W&Jk>"0}s}"as"@R9 BgYZ7zXZִF! ]ŗXi%; "uNt6/B14= eЊp!E ѿKEk p~{5Ii}vg$+H(Qh_C^#RNۃ|t,EP#jTa:8{f`:=7PuZ9<˃fN~o57qOh="GKaeh|s6gf 1RpvT1YV oیlut'AD0&H(QKY\AQ +el! ڒ%j8OL lƉäh#)sSxOgl²Z6m";fPM.W4M:v\@_FPBmY Vd[2~cMH+{re\)Ēۼ>Dfe5޵A*;ΉLtDT_9_BFs˼4-#V…sg~k1#iQn A*-S#꟣HHddJ_nŽшԛ;4B%36~v!7 R@UOl.Qz ,_XT@_^?V; ]| k8`X4{erph.Q ]C*#}"7{&31 2%O^Tk=+(ugN}P񯇷E4q ǘ )}xGN4ܐsr-K ?whY?DY4M7vm./R EvrRnu4Եz#"Dn 3]ԔxWc*eLV2دmc<:aWpZoC!d5e5-I6C۹;i`J}7E2? z^5Iy4n&BiB06d{ѽDMdy\'HAj|1yszF:Tr}JubNkM&1<%MP˴]ҤERuy۹`$ s%9#8aFc/shCsa/:D{زe"D*©<۵X$29giG>ٟ, ꛮv$)bIo5\s x LW/#- 4vvl!fIm+XHԂ== ?QT9Mw$6`খ rld~Z;1gO3-#\DBb携GHN썬QTB/ }1RI7 ^*ty0{J0[Iq e)ݤ{OGݽ)=T % WPur0lĆ0x^Ř %<84BCPЂca=Q|DX0yQFƙ+I{3DDL%e!_VGl\ѓS㝼x|3cD܉ufAkTI_)A00zL"yGy U<96|۲[h <Rhgsoz>t0"#UMY ڿthPpnEy1.KLGspW{8cD[|ܢ{H'9_PUyu8t$yê35пG%}92{C%pTYIS%DGA Uԙ2L( T#!@aMɓ_ӳZ~4c6y{DV@Kik8(dx@xDs&#Y?oR[黑2?Mht5njCUW1z|ſpɡDv/9ug@p*ˡC^"Nw:oHFEFey2S?%m}jQ# G#%GdmLd8]y\ie T%" }GREEXcms+U:e{8T6'/nCq'!"# <&Ȍkf ֜ᎿzAy%JONO6 O͓f<,繠OY= )<\7_`_%r|a[[]3/X8hO]I ~㌚c1UE>eD'\rUVBc, A- Y"TiŘYmIG=R<$cZݨsr5H>YXUb_;!ƈ WᖵT4(%qOZYcő>q*YZd&^1J _/f5bEa&="mKP_7PSa[~!TQ.עqǒ[bSt[Fܼ{DJik:SO'#⤙D(N**>TbkiG2fԻC<3O*fЎuކ1"HBeivKU Fȑ{>4j`PQ|b,<?I㫄3KߢD-k[EyGsR.E(P5 k`l~(:C1s}.fGꯠ83˜L4(Ft#w-ԋGFĹE TVùd$CY|_sFWPWr= Ok4iHo˻ mآ iGfۜ}ܞR+'EՑPK |6h1;XN/N?H`yA֭%Nvry(߫d߇W@e;PX@JxZ5%RHD}2hR2Z,vc 1xW G§FA kC h~1e SQq wnc&@="@EIX8_h(r~;-?mJj*+cK<};зK0%-[;`7'wE3u=<# 78x;Ӳ\>C G8{Ac@kdFՃbЇ`FxS6@71m&w<\e .6ZIcb7xgJT}Vv߱?;rBCyTTOǸ6J]+*%Þ%W2Sڷj%:5nV37k.1