SQLite format 3@ B.  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 q#i1Y|l*g NG:Ls<\CZݒ>O`V2t^\=CY؃[DzjBp[h]jy6ufҰaj-+| Î6 ~e#9>Ox'99];QcZ/r-[3;^)4X{e qeͯ{Cy(<9^ x_ڏӤڊx KMݯ^ ^=mZ+>`DL^1*X_~gBDfdt/Qp,P跠ȾHD.cQlT:Z3Rn{yyL}KedAUs4C{"2 ͈IT++NwG@˒H_& YG)%(?ueC#DIKǺ;;'} H]<%3]v% JN_ x +F錎$G11o0 NjTQ|cp4V '(vXa<%kyDrzoB&fA_*>c#;ʈ"1D>!I 6\gy׍o~iV?- OV@$JJ-xzM_D͑ 3ڏ~?CP@O!X5g;:ic+{:_پ ]lҼq:p䴑HϾf1WX@쬇b  ?S0̣ 뎄s3ż8 :je~D^~@x9b> E(ζ|Iߒ%Diz6N8*=_gTb(Xdz.s[ZpNѐY;K9xv>ƒ٥Xz_uNm*!~s6XcǗn)uzXoe "r#pO5Н6::inҀy-Mv W'f/ M?=ۿ(U!,ދ:eFt@~ڸ|lxPTTES1aj 1bB8"ăM~=R˰.NSyor`?pAaw0x]Dx]lJ}x&!GҤcǑQ+$xw$)+_]Ϸ&ZѡOɫO3tZڒg?.~Cjӣd% <׺pƈǂE"-3pj5[]k+|8cǚq6.%^4m=B^(Q8bڡ21pc}ry0O$\Bs}A&UӍ0*W |扡ˡ˨#aҭ3[Sׁ\!:g;`㎖"1ZJD~ܑ6HF ՏZUց5WLu67ҙe)*{ N(ϔ cOKX7]6N0{%?9ucN0bmFrzf.N\%hRNs Va(`ifܧ+)eݏ9=܌ ?[<3Mp>^<92SO&b>@$ Vv fȉ jySdu޲{\d,c-iړq溙x*x*`DI`xr+cQcTJS w9 Fyq0 !ö"!+Bh % /utڎ_onvൈ:_6< qW (#? N-)s5T'|ڇo Y %U #Gpʨ(Oz^"Z͔M*7ݩ-ž! ](r*Q{%)'|J7t,OP$HCB5XH2g6Jp]fLx@y:њ%<Q^ @!F˟o5Dy1U͑H\ݫ?z-:3 ; V `®E4\"&7M]B%R^a֧3M3$S`m!d)Ұ05IUhOcDXdo{˛Ԭ`bhWW |P~ކ>Dp .ٍhh^.$%MO3ԃIWvh}>Vu-¶n@ǘм=QQWl$QdQBfϋ+ʚ닪GI5ӏHsbBBX-8/j -, I10Uj|thLX U3,Wckt`efSbKi;~y8kf&DL2Tq0X.ӖhW+owrX=jiFs^0 6_'<$8oq4ۣl'ìꜧ71)t~ʣ'ֈj-M-]2Q5oJ?6W{ag5K#|VJjjZw:\"/F0 d9٪(ӑ*?,1V.k3s'%(8[4IgđɜM Or/õ+Y,w#qL Ő\ae[Q'} "}^ݿzE2^{j`Z9/L?Ça枝ƧV\ahj68s> m%az"SG#1-d5ޮu) ŏ h|mȬkG) D*); 16lH>j"?765321/* ( & #     7 i  7 p +: f m  2 > a  5#=%HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex<#K%HOL-AlgebraHOL-Algebra.More_Finite_Productdocument.tex3#9%HOL-AlgebraHOL-Algebra.More_Groupdocument.tex2#7%HOL-AlgebraHOL-Algebra.More_Ringdocument.tex,#+%HOL-AlgebraHOL-Algebra.Bijdocument.tex1#5%HOL-AlgebraHOL-Algebra.QuotRingdocument.tex1#5%HOL-AlgebraHOL-Algebra.Exponentdocument.tex/#1%HOL-AlgebraHOL-Algebra.Moduledocument.tex.#/%HOL-AlgebraHOL-Algebra.Sylowdocument.tex0#3%HOL-AlgebraHOL-Algebra.RingHomdocument.tex.#/%HOL-AlgebraHOL-Algebra.Orderdocument.tex-#-%HOL-AlgebraHOL-Algebra.Ringdocument.tex 0#3%HOL-AlgebraHOL-Algebra.IntRingdocument.tex 6#?%HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex 3#9%HOL-AlgebraHOL-Algebra.Congruencedocument.tex :#G%HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex 0#3%HOL-AlgebraHOL-Algebra.Latticedocument.tex2#7%HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex=#M%HOL-AlgebraHOL-Algebra.Multiplicative_Groupdocument.tex1#5%HOL-AlgebraHOL-Algebra.UnivPolydocument.tex.#/%HOL-AlgebraHOL-Algebra.Groupdocument.tex9#E%HOL-AlgebraHOL-Algebra.Complete_Latticedocument.tex.#/%HOL-AlgebraHOL-Algebra.Cosetdocument.tex-#/% HOL-AlgebraHOL-Algebra.Idealdocument.tex\Jx *LϹ()d}st9FrH*.<$KYR8!r1kp/{AA#҅ O*H =xE1!Y?A 4ִnޥܱe1^X`Xcjg 4kz[Ȅ><[wlU")ѹ_r̡ iA<\]a r5+H+]P;FAT^)-${TU}\ ݫ]F`m v^'vV w/:_zdJNx_ \$W+{\5>ϒ+cne:̳f^_9) ބOM̯ϏHFxLuՃ,z9':1|xR2UK>_;7r }*ۜBF$  6 `_F!rqGSjP \ c+․=2Z^LI}8N!WE?l3(l4W<:]e;1ψgXLUCq7캃L#;_߀oliK3a-p96Ub< V:07n 9Q-U!3-TKx Ɩ;-hte'B+K 7v{< /zZ z:89;E 8[շ<4 /3c!eO f{*ω|)v0ǩoyӤ]tZB2G:H2LNC2 - {9[W ?"(W?m\~}rz[%gQN"вOY$-XB/IdB19z\N<}.!vupl8$IK9FP,d[";}=屈 S/nٓ[Q~2EġLQOgV"pUDe܋a?hrqNrIːOTT4R bL4-_ q RW$d賤'.*|*iE ;+V U2t cZU_5Q.lFnvB4o4b|duȞ]@uLQxdpz_ԥ)jb | uW_z0Qd{xZlbp:0MRluK11{6tʿ?=P &| Qon8I0yz,FQ* W%|i:M>v{s-)<ԥF wBw)>Vx 1I>M=UP6CV qT2; T*KD@Mrvlu".y0罆ED&ЯǦE @Rfcz2iv|   罆bJ?>%elUي .7b\}dv:I)e2&OˠFbv+anr`~ݠHKAvhuOY촪_,Q Nd:@\6b9&{Uv-- Ær'z.ol\lτ-N] ERd+ S6 yŅ[0F dDy[fX]ů/r c@nk?I;i\Ka.ZS6jhEch<4_HaX 2|s8:3zUgGmw'|ˤԠGf v@ x#>u'Ccd$bFR"b_IyeD_[ZCOMp+>jHcXHҝ:ŝuxaAcF8q$D oS} S濕ۃ%N}ó|=2uHDX|BAUOMJfwEtGXH*i&fRQ0)͡jفMŸ0X9LE‡a,ك/ո uzCƕ{?4بue,&*G0 P4qg-38 (=Xw>C}lWi*K%/eLhAkDUz> my굺aȝ]e6;ᘂAW@֛x7̺>"Tfz2Ul,Vc| }֙l})Q}#˭"ZȃnP3U g*^KKoE Y*dOIPg:X?I9nOʅGZ#\w=X]ϫʥJ!fYpi]0V Y{jRAY?~l&2cn( ܫłz8c܉=Z͘dOÄ=[8/%u+L:* AY=fU} Q;wʵ|g%i^y 9ERDk֐k? Wv4d~EFqg̹TU}ZDwk \]3W).oxn訔J~A#wS;X!K3Z8<άN_fDSW#Ի@bfV">孱-Bpcr\@JS;vGܮ:c]%j?PTKSߞc;L\@W늡x{Iy=j4o32 %O/n,#]~Ay >N嘛z߰NV-Tav2ڕ]5?D? hx*{4$Q"иri|PL&w{T~3\SJ~j@fٞ kIcIg]ʫɯnl` X@#Vbh`aOh8 @+mS^&ԍI!;Zފ)zt@7p*Ys8 3,".[,q ZP$ziV }$eF 1uN+a&Q( XX 4LVz;ieQX>l->wN7V6 g&Os."\=/(]YzLy]/$4c>X*n@uR1YGl:.ߐPUӼ\vfbD# tؕ5\ F@?yj`,bFڊs5#g-}{ rys[Cݫaё~ ah?iz?AFq,z?x`_LB7Z׮NA;_N┰]Sgqɣ5! o_S_Ltڵpos*leDldξӞh8Yl`r]զ=u^B|O\eUˮRk Y5Ҧдz_ƒ'?9fto96ɘREq.!k O*L*<U'd]Yi&(yahKk$k@doDEL0RV<˂Ó}Q-'"RJ ,[qi1M5t|v"t|?"y,_+<'h>z(\HŸ+(|>dn( tRp+<|L" m*W,<2:M7XRH8~'ε7%!QxoF21~gϗƴ=L%T8&rmQegyFM[ER맱aIA9e [5h+1X in>tFHy;kaK%˙ʾ bD o z&J`'P[TU"?]R7Vm7[-k"ۤf57H|F1R;*\#:q>5'OUZרi|T>M5 ct?3]Ϫ/̉ <4ms +Dd]aw7t>L7Pn"eUH];eR0g:/t&&GI/_95֎>HZ%fH: 7wݓupM4u="Nb| x]c(d_)1T8,Єl|~-jWMLcKD1BHPam]ϔw#{HŌ?Hl-Ӓ5u:~NoxQa%X,yu`|%͟:^ô#K@nGG c9fL2M&kH1^I08?B}1ltMָ^w uÍ @2'mo  u5dAǴ=6@{Vl3Yfxۘo6fx AA{疥̇r@dGٛH hseK' q r N(/h~FN0}.+v߾_*Эxpfh9W.u)6 r° pݫOѭCnm;k '';=\]]*iPx?S챦x"\8 L,bƎoL~JxT|"Pzgbw3ͬl#sX? o!G7+ Djv`+Ǫ>GY6ϓBLЍ}/Ɖiy)5tόM6+lW{+07_@l3"BׂgM09a[grzɯuSJZVHtӟAm<() >ӌ} 1~? |:p\?^n!>;e`f8nR]㳣z/ {#L.^m:$$ ȸ{0oq5X`4,%?PiP^I[LOD?F?}ŧFE(fx>n=` @=MϫΈ*=R7)|p)c]?h6ʬw 0ߔ@+1▝ L  & b7<')Kyu~$DT~ EL/;퐂$!!:@2IC4t$][ å&hW14 t➂q KŔc>0/2E=kVa=e>4?Tr4;ٖ"UI nɦHWq*@{W = u2!qIڅ/%6/ͱ P9CDe[r̤+h(<VJkAf jɆڤsOQixiLcb׮s&fEˣ"h%E8ӓ+8GVe{$0`ͲӨ{A|rZ d lu a2L0eJ9Ќ_~4;?yÔ+]|{vDi%[6Ğ9\SZ+6ښxqt^qr?Vbl EE(b<Hz*i܊n2O^t/[j̍VTwJgS8wJ6o̠lM&44R6n+Eerw.4d\ot=I$9__C;Xb1a\(3C<dlr aڗeA/_5N d7-ƕ@>NJA^y3"Tzys@rϱt?HմM\0fB ~GC7!_q;iaIYl!atCMqQQx]ֹ1IȮ' "Ӕ.N[W3Qs:X#6} u@)68y& q@cO9@kjBALI\ %pهž ,tSd1 diQhSȊx^Vt?@?2A춊Odۦwt.)P=$ Lk6k0! .42;gʑ aJ⹊Tsu-s<N>B6 ֗}ZLE?l B2+Ny22ZX6wim.,@cx2UPFړ&t#kց(0t~`ӆ/BYi=VEI҇UN cAXh;?[-4 㞍e ^/f4ݧ./_OV2ƬWhH#,ƗZy/]y6ai;TvFǖe\̜B=gIŐѓ9 k(H<ű:Hr*8sǓPaZaFjh亢?AH*]"FqnsdA/7J]4J"ưW\c>0 )&zժ黟R[ ?e|kMnU܋A3n<؄7CZ@"3msPf6W$wmbhŸM,wP9 u!^E_Qw9>A52yA*dQ}_nSaRtWˮ.ML=;Ǽm nzjGW;P{/ߔ M q;K=Q4AN7toP%kB,#N?rhcϪknAJv>k ;^T_]W{C# RJ9B+Q/L4!-S1"lއ'JBkc9x'K o$ ɰhQd'!K߇+vL 7h 5(Z&۰ٞ&>Qd6<Y {ݒӫi[WũipWwցD%yES5BӑVNsZ8GhI8@ C1wS| S IѦx 3v7!6قeC0!'O>P FSXq[b)eb/gNN (t'eyVi!_&M,N$f75 `++Si;dC (x9(9w~ ՞~8rO{.-YXEܬLIQ~glLWӫ܃^z a̡B%P;[PA! - tSQ߮]/Ds=<ɔNt^\Z)Jfq9; (55oQ 9uIb:^-8zhrsS4@N۱=ٯ \6m%qs8$JM;  6f9h/ \|.r, 3⎳8$,=7g]e-ER9ۼ+w˛!n6Z|Ԇuj%͞UpEZwrT,eD$ųzTe2 u~`ɗVrPk }=~S@ >L⻡ no O),!W@J fN|J❁AsNNaϏ5D$**E\ˡ t:/ؗcWt@4v%6=pcݞ:f_w$y`| &'[d`8()9|7ZHBp y<@ [!"AqėL[ dXFr؞-[^sT :KccZfYyEQ>l.m[uig[c;1$슯4/$MZѷnQ<3GQW+RA>I4rΌŴkj %1!x[ R8nTgq!.c)xmjsfZ6$(_kwB.K K6lGHv6 I>ߵuHDZV GK f!d2I҉>VKR|4 FXͻ#KA㽬)P|(* k@, 9o1 .@M\V}q >/K.hFP.91gC<|ڽ1yX#m+(Oģ3bmdnF(/Vɹ '+ WC݉UƲi?A:2 DsMX+8$î˗wߚ 1Ţѯ#q[ ,M=SI=0IrSM6!.JTlS\q2@ ()`x$ ٘L{S΢Jx4iE-qo#V8;7am^Ғ;:Ʃ\f8ѽU V=XvySEE0W`B(EKbG 5([r^ދnh|MRoc}*VDyhتA];A1TpwKG>y h뺻7^cՅ hyvdl!aL|x_sFvCTn rU?\9k㢴2W#򤗹|5S  PLe|W$]Ox(dRy|㡍 RT3X<x/QMd9M?j?;] Іoѳp%)L'|D&lk8J5 IAUd7gi)tրGRazoGzgTX=~}yGWhTU.NՒCĠ_H(&DTHMi|pS+%''{aAYmwQ3(}v b@ߜ?_4JHfGfѳgo#^OjC3\}-&K59OFz]D9ju#>ι8|8'AzEosx=>oMѶȒJ`;}L?򼀡7Z.16)E&\8p\{%͕aIA yE'q6NI6+0DhI>{. EKbS -:"/`"/ri ?#|⼐(X2+P&b߼X(蟊Ž~eZ1&F:==3{ 6&RܧS:İg d0#.:{˸WK%pr:S눙KG><}o^;k+?x?b07#3T 1RZ%TuW -}_e/jAhH@E%$XJpJRe{wAr ?GaVbD:8QqwH-p8qtG%lNucc"vj"2}OBwq}&}.gxZ;YXekl2& l daaĘ&4  c4u/6y$M8-gW#t&pfe[BsT%6>SeCB9F:QD'KѷVP[ov;|DTzٷnysZ7,rIv `Iwo )|oM\`dpbYîR]6d)Am-;jޤ4I8o/NTS2P㾉"y B^٘6PX\% jdPiCq1ofh9D#c]@_~>ӗ9N`8@{>jQw s,IU:A53dsHE^S;  RI+ > [UnD?B r V>:$Ojk=RLkK'@M/~r?hH%=Yq*n}D0٩ΥjVؽaQCϢ>KO!b^f6hBv` ˤfQ,,C.) ҭ)PJ'p !e#.1?ngZY &Sw(ɐZ u4aɊo0iE 27<4׹ʚBf+isSYmXOLGG-ʋzohOҷ`#|)"sVT3oU_Jw NъS .u#T!,)†걹S| 8'j^3r9*|,Aoy , eMk$}C=o@g(O m](8 f@hdu)DRu>&&aOtvmtLCw}.Hj7~&>q@5pB)m@֣T`'a_>嵓;/AJ7,W)gbI\ e " gXgSVT_j` A9iƆ/hm ћ3Y{\фv{_!z~D=4o'+·q4X`?<{FX*ԉ@;u/*)̂ivPڳ/94SYPMM&gJP^ !e>L)=Ͽȯz;!*/W^;48#] -U4Kt"?I 2yUn$+"Ӑ(qRt0{}]24̲j^XYCZ>s&T^4z8k^&Jΰ`v5M~զIV:NYXa <\@vp}[+V)'ȟcø%M4Ήs1skG"\.v[I[E$OۆE@t[{@4,9DQt/3wK@]| [چ6O\SŻe|TzzgMNbşԎ8yDӇf׋e#POSS+LJ9˿fBӉK*_,5<:PAJhjX[nu)wPy2b]ngy_Du"(nunqF Rvg#'hPoAU! 0#DaVY kmSM+y^ ɡ'3i/죞&+]8K `a&ORƇzbrzkNt-λaGR}VK=)߁WTcڷVfGxlKR!mL|Ko5F3F@gg/8ż1XAmA>J\Oko>f#-g{=cҷmBqĐ]4W%xߎ>QOBr5K)E؂$/E=DRu9jDv~~umS ᩙOB4zŅj̫t u,+d6z넁t7lK {H-5ܫVHۡpG lW붨|VHM:-+to3Tli[%yiE -T9MkI,?i">8Ej5t+{7=!D@(]HغyNqyzrZÞm3+8QQG0~7$CιJpOz庵ADqT5&R &7=0|AIjrrśJ۔ӗO% kL͘BJՐ@IdRw#6@ؽ一kf*ސ5vO4k4?qoqbqs3~6tQSD<4r007ꒋg#[}Ci4?y_wN_en-6-$sdotSە+QqxOn ͙}RK>!:}v">ts+tu7qkS&gw`xDw)ruK>.Kbb*6okb K3[JoOJߵX2WjIsgsb:J\ȋĥtدH @O- ٨̔Nymvz '頣BgtуxUW2Am Z 2ok,c{pTBܿWo}ӨƯǷ,vramĹk$Z [ U-#iF$w܌Ưko7:l}w 18},"dvoTJRûدַB}EmOS,WT \h*+޲Y1- 7 I@ʓ* -?,9u$<'7 ;D՘f*}{< ot#pRDɧP2dz?`ݙ!L+qsv} ~KM$r=H ,sÙC=K3&]; %=A,9ñ^nhC%hlr [Pu%C= _5O Nmj%T:XФOw]EXҩxED@vА S0U |[Yg-sRμF^tQJ吇J"3)+>o:o20q [/EZtщ\Q,ͷg t׃Ç x `9^ߕCYbJg{t#v=;\tksgk4jJ!ih PX¾g5K v[C/ O{`OukJUt͸[QSӕj]{cA!04m06%(ĎoCd}(~ [!hߕbWitvدx1^>ӄ*^vRUZI <"5v{Df?cl.PU%6mo ^y[j.4]"GEK1BQs?F_eWūƂӈ14 80]#os%BY ^Ͱr [B{QTn 2gYZ #/% E(ζ|Iߒ%Diz6N8*=_gTb(Xdz.s[ZpNѐY;K9xv>ƒ٥Xz_uNm*!~s6XcǗn)uzXoe "r#pO5Н6::inҀy-Mv W'f/ M?=ۿ(U!,ދ:eFt@~ڸ|lxPTTES1aj 1bB8"ăM~=R˰.NSyor`?pAaw0x]Dx]lJ}x&!GҤcǑQ+$xw$)+_]Ϸ&ZѡOɫO3tZڒg?.~Cjӣd% <׺pƈǂE"-3pj5[]k+|8cǚq6.%^4m=B^(Q8bڡ21pc}ry0O$\Bs}A&UӍ0*W |扡ˡ˨#aҭ3[Sׁ\!:g;`㎖"1ZJD~ܑ6HF ՏZUց5WLu67ҙe)*{ N(ϔ cOKX7]6N0{%?9ucN0bmFrzf.N\%hRNs Va(`ifܧ+)eݏ9=܌ ?[<3Mp>^<92SO&b>@$ Vv fȉ jySdu޲{\d,c-iړq溙x*x*`DI`xr+cQcTJS w9 Fyq0 !ö"!+Bh % /utڎ_onvൈ:_6< qW (#? N-)s5T'|ڇo Y %U #Gpʨ(Oz^"Z͔M*7ݩ-ž! ](r*Q{%)'|J7t,OP$HCB5XH2g6Jp]fLx@y:њ%<Q^ @!F˟o5Dy1U͑H\ݫ?z-:3 ; V `®E4\"&7M]B%R^a֧3M3$S`m!d)Ұ05IUhOcDXdo{˛Ԭ`bhWW |P~ކ>Dp .ٍhh^.$%MO3ԃIWvh}>Vu-¶n@ǘм=QQWl$QdQBfϋ+ʚ닪GI5ӏHsbBBX-8/j -, I10Uj|thLX U3,Wckt`efSbKi;~y8kf&DL2Tq0X.ӖhW+owrX=jiFs^0 6_'<$8oq4ۣl'ìꜧ71)t~ʣ'ֈj-M-]2Q5oJ?6W{ag5K#|VJjjZw:\"/F0 d9٪(ӑ*?,1V.k3s'%(8[4IgđɜM Or/õ+Y,w#qL Ő\ae[Q'} "}^ݿzE2^{j`Z9/L?Ça枝ƧV\ahj68s> m%az"SG#1-d5ޮu) ŏ h|mȬkG) D*); 16lH>j"?GCTדץ巗7\O[zN?%Ax[)~ 5gI &&91bca MM #/% lHOL-AlgebraHOL-Algebra.Cosetdocument.tex7zXZִF! 7.]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+n.M9GvPڒxz:6?X5 YO<+Cı{UC~P ڰX W1GjF}U2.L&xBU7*dt^n^tCH1"NgWQ^)oQmKf"/>/,OPF RdԠ ̹e$b% a ;Cik5cSZ !+8E2sQ4YW+2<EWdn@wJ u11}8rɊѹ| Unuj}D:/j퐨(::͝^69{4.f>?z-kPf rO{;j=@q_L>. d5-\@lhTٷʉk`*L󧾣j ʡ:7N,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 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 ^VαʣУ`|P{⁊va-jp=WjՐnJe",oF |9ƕUwmeEHx}Yaǡ %%we{2 "`g?h/ڍZl^c|`*-^֎1xX{_eF[5p!8^Zk+gD[>ZZ@D1у X>0=$BR@0ie}R׋3PQ{7SqOՙdl %- C''-\[ 2C@&pmݲq'q*]e_/$_iJ\4p(ƣP_Wm ČKX>!Clff,D)(Hh[=Rr<(in夫=@XƟR:jEdاt3Ʉc?5W#}scvbyGæC)1.NbDp*v"%tt1y@t;*\1|Olá ;Zɛ}{y\|T*\mNݎ6()Id|S)ˎv#AۊH""$c'Þ'09tKyk&hry( O.݃L;#yg"5ӑU!ŀ6*cOA+ޅmf vQ']>;_ $0Up'qqd`0U3du^&6VbQNf" f6K mW>A?NUmّ[RtjP%a!_O14Mo2l! kP}AckZ Mhas[%$ܿ[P{w)kṺWaJ:o<+lm&m/ AԝP?#g{_r%B@xw ^A@+aR`Gvv~R?]#f,9Xx[ȧED)ؑAxˋ}^ۘ&בqsDII亝oyFD_̑X!oXjOjx?gݿGhk?*uwC#*4s:I%>O3TYN)*1asȘ5QYG{rP.wǫ؏P(;=>ˠԽت^%~<Ɇ/Ճ,fhS܇o>[9 X/ZѪ0O"oQwCu *p:t($e7O\*(c2q/^K4FRA(dOG/2|Nd`+ht:>xž3m$7t |OY:?];mݡ',1dփӝf4{7pDsm &:ZPrxƪbV}Pk<Ε\-[8hJ( Xj'd t\e(z'΢d;ݑ q E|38!aSD;Z8mKXT.뛜'b:]&$l(57.t;4F(Rхӟj]ܵ/nۀCdn /M[Zv*n=pfkɎIT'ܜRvzǍy2d+!^S(b/+EЎsy/uFElp^!5ڃx!|Q ~>eກW!nCJuY&.pS&Sg Q`Mu/$0L 03s-×0C*|Ҥwy@COE $܍D- ?:d֛a/> @ve|~`[ j:/ArhUY;v*wxvA(O#$Z\i<aI38{Mi2sO96T6#E T=?Lhg[ֈx,܋Mo*'1tح+7QWjNC. .RNQUbZM 'zL[Fޣ3GzY)`Ɖ6{E]-f$1הԸBֽoFbshy\[C{hRC@ͼH3 Rz-CImn_lFlCeLJ}z"lqRWIh@G٬G0??SYe?ȻsѸ>QDR+縶k֙bt9UVm. 5֏]M2k/" T[uc7D>O4G/.?H_h~u%@o(ԡey""ҨaM [䄱om:<[rx[)D/) t7^::]}CÿØo;8V^rook4T%#G ?W}DŠ:>ЎBȫ4c$/e<[~o&p(ag'<2"qob4~qz$e] |цu3=H q2A'v8r%u2QWa Ln*oA fK}$( cSZJ%H3ʪVEzF-bx ů{6זp>LNe r-`ng=f&KrI C1Vu|uXHTᔋ* vBLjye6T7v%JW) qu wzjx' } uL\^rw80 F0OҘM ?#a0njQ~."vAJt0V57QA #<]hei\ `@ yq$!tοpVF9'7ZTo@e-uXt vX6 +/dI} Ȼ'>]Ex㐩CCHYT !2ấ`=EUGFVA8׹*g(0/PONN+3ᒸy|ǧ:?þyM|@$i<ΝQE!7 䡪Ά7L56Nσ |7WD/] O S6W] ]Rͯ* ̨}rhCgH#&s¶  SK"s@R2Sbo&Vv )$C~׮{S_˟D> S1GȐfU* Vq;ȁP.C} X B { ]4{04N8fαLa$JaY_q;H}Gn=eM{p+;$cvڼA[Yn(ȈTli-w=Eg·tڇ3*X퇓 `}6<αBC<4f&JnUŽ922A`:p s}=~pAI߹ypbYx':Nn^BJmstW]N{$GQ܁X%dD\+8(F2_^E Y oP ,PI#7~%&42Vq&7lD-SA!Q!Z*ϰmtdn@/0KZxb,RRi!%c;=MȻIVK:?N~{T"U TɟVc;mS[scN57 ߰`Z}U [YO9V>c)}v&ʹ/dq=} IśW)7U5JqVDY^'P~ff-mlh?Q.5986n[,úFsn0Vxe1%ܺ5*+П`2!x&t,33UOs"/*f !4|Jl!hZ>q5q9߮Ň]+D'#G4W+ju&4[(ћz+d+L1{Hz-+?ڽ?R/B-XAWSV hI wA?gbmHOmVa^;?ߒaDm HvkU?XJTL3ϼ*=hb=[C~u `Woz"0/A{)=)cђa,QcGncSsƟ7|bm pQ(Aol*X%M8ִv*ikͩu~ͳra˾9BqP hwEm`Nbjyfb25G冢5nX]Hggՙ[d[w2:懖؂he>,`Q"j=OC;}BW.ݽ}K36?Yɝ%`Ԧ+C!ѪB`^b0[eZnK|L\ҔZ<.yuiR>,d^'ozof{9r*si.Xvϰ#|Xicx۾-vDܾx%Uql{ڙ Yk?c ˔RuU<`X#m+?`U:~qQXko-48a~n8' O_9/?Q&c^z}w{_FI$Ĵ`)+=}fb~iB2W+>-nbx %3kk&#{h^M<6XT?Ό•@e_8eoq䁜'/7XLǐ #ȋ 9ry0yYQm4tm#[zĺVhbcuBE9[# NlӭɵȳA"v+7[#-syTTEF{DYH ]틵P_{KٶOW/O0֍M5 +:1~ ]xyaNyl˜ GdQ9>c*}5>IMO!({{K7k:GEn sKs:$%O#^7+Dpٖix$Ct[&~D' `&}oLd'bJkQ{r(Y{SAme`Zu %><ӚyȫNh/`A85ۦȴ{%T^Z5VnrUd#GHKA[!(3[)~WSCWS 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܍w4Gc;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:߹PzasS<l:J\Gah/]0ݎ?"=CuJF-z~Abۼtzrg3ļF4sbXzbzT]`=Vrز⯔&l9;]*VPNS$2 `OE:l7e$ѡ0pI# !^7bi t QIdi';&nFgBϗAZ\c GJ4z9J hͣ_p?9vjPʥ Ѳ~XKX#2>3QCe La)%y 95^"B$N!sZ!ol_xvȠu!KT;sb{/;D1|aw[e1&Rϡ@Y~!3wzFqT8O!⎜JZ&Q8JCVς|>kwmU1w2A|3^t{^q3={?<ʗdk WtlM ocNjV.4ȪabKJ/- fr0m6ƻk~ ac?Vp0yҤ5 17aABXG1 ~.Hh~#n#G |_\W}[X `md#-{\ْt`ŢYAT/K 5 cM dkMɌUHFu1>'98uf3W7`@Y2|ܰrV~gH.VOȉȍR ոPz1(D{@'ߢ1(N- 8rTLWvķ(>yI/ "!g,hL~enj0x:v1m)3t q)Y3ƢIQT͎mRZnf-m%58d #ʛ|ro:2ݰ%`̉@SU;kP(P\|~ԺgͿh(IR$h O1tC @\gLګwXł]7}2ԴǃeVP 䚶WRk~@ nwK"LJj(GѺ.AN+91cv9oeJPʑhbV1 `[%]qPۗy @ hssLB/̀\y-psoB0{JBc l$ltٿ{=bDBּ<6xr?׹GZi5O>ΕŒsPl;"KP3`؅ib}pÊIsC]f@ ዀ4T]^9 O6u`z]((S> 4 Sr~sEFL0BuԄ.8nfRUE_x8\Kԡ$^W{usd)t݄ո4&<:[ -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ДcppP}k0ᰡ-R?! ?k{C5eF0ڃgh 7.ygϼҲCH P?UL"W(Zn# Ɍt2)R^hԼe*?-jܒ!ȨgEJ5NNz=^^b@N|kl{.YV/$`w8d`҈UMs %A 1sx.> ^ؤD٥s+H09-O )Ii@\?B*ƸqG[ɿm'%j尋#U>U8() xٮ:W.T.>K"y2}֭dٟq,Y'9.}1(ogϝ@D\ރzM|4[`1Wf*Ri }(Tb=srW{{WF1pnmHK< }JR1 1WEu2uaʭD2z~khem:ˆ(s/QHp1;Fq&%rؘ&W*d5tO@+aHEuS5L+Yu(H D-PgZUv//Q>4 KYu+JyeRb>6ibPWH2K>2`(o_]"T@v:Cge3*~,\+f#hlO6HYA'27(?(V߁?;18* Dbor@HQ50A(˹f(>qs< mola\cr'W2hÌ8/H:jj=[72s%r9lnuuͼۀUq]_;$VXt.xSdnfGQ#Prx;d@68^LUr3ДJ AFc5=J}UC9l=HΝka] nMAޭH2b sa]L7E67@rSA!\{6P.*|X!p^Fo"6r!O#jt[)}6ltgSkBJ8SEu]B'Q:">&QtV Uw c&:> 垣X1]|nx:=0r@:0=5bVIP$ ynwq]d-q5o(5Vvx̘! ѲZ-n M,`G,%},Cg },XV,WVͥM}czJ@:t&w iY[Lw#II5K?^(lpxgUԓ0 |aYX@2ECh7٠K 1vx n| Byg5c5X7sX)/ QDez`DdXZVW>op<gcQ7p 2 e!' u qTm7_١d\7\.?v:3U#ve³S" ¾D󖧣u .ETv{WADjhK3+@fc#ە -6}=[ E,:v[a ?F牷E! Q/Q@olGJ'=T"TB]k$a%')OT|Ѹq bA*d[׊}<˧YH[V)hJʇ/,khnޱimoRh'8 a?)$–VxWZ@irQc-A~R,e8J6jH/ԭI%B gwzΞG&"g~[7$V'"}t U'ө\h\6QPݛ6h6Orsmv_p;$Ie_:bjc h]TnElb*+4ҁ~M5MMIfKVvhz΍Q8;vj2F`^c9 { ~l';#vCڠ\)DXD nezHLp|{7loϟP2 2nAV^FZGx9z0D1ag<SYmqjP8@Xdyz.!$kuS2,I=5Yȕra_rȰ;8c]Y q]2Ǟ8 5(0 0$Yz=+~Vѥ+~ c8mRu%QִhI>`m+AyzE$9_Bp1x3ue .a< $Cl|\(2Ez8'+N&7n,>/B\̽y:w,Dz2#@`fg+ђ/ʨ85YRnX&"Q.J<5يq8fЊt'Bx@ƊM*<rx08-tI_<#6nF@FQݲU&[@~gctŏ93\NE _#=5$|LMh/vzf 6Ĭ-M`ZzU)U2-:97_tbeQ?)c[DTWBӇCtrxvϲ`f6 G䭚vsEv^͸Z%&ҐB3@:; S1D?҄s^4;]}ѕ-REJ9{D~H_{M2ۨH4?6ѩ^ YZș1rAЃid$6%N@xÀmG7 rwgBrM-#ٽLW?~DŽLr$0Z+9\oYr^O%t:@I A~:y%?͸*"sibs_^?IZK`4h8e-~ʔ:^n"y9HVu9OpA T;7a7$?P:XM/ L u-) ;D7ZR Da+B}?,UE=H(-0a5tnx^S/im񋶓R@0-m\J'W!ΰ(Xzag [rFMt=E:jmI'$?+D @:_wO ûHS奱qGuMuDfx ct-^<\w}/#4c@x@IYtia\Z:#63wilC4\F^|i1꼩[9^ xK,AIůInӞHTA`\c3t9ȋCktjr$L9pn\RhWni#-~rNT6"^,ؚCrJnXD`5seB|TVw1/jM2VvBAB&u>!SʰRZ#kN_ [1{8kZ#k6& n PD:-Ai.:qe"!ϫ\Ή&ֲRe-6!dTѻkHRF#A6EyQ4k7/f6UɧY +}h7eekpZl.v$o 0Ǿk+z:eF!6K0NlNQ̄چќ%) / ΎDHW3+٫z3",4mw ;^**=W ,kVy=F{C؝m@WiLo/"e#;Bz;U>jQǐ>xloMpÇMU+5Tz Wcڔ [呚\O,PP)Sg_W*r;$eG<աL!(# @-)jS2`_A˻,vz="EmYV7̖%oY]xc]هpM#&'_;F .wSΖ6vlg%W&Opd",<$CQIQ\@RioOb! פ×ؽ_J4֘ >.E6 7>mj֜Ri%[(@U2m8/ E'| AJ}]8#x6΃*x.F/swL'I;8mFI }JK$UGWKI ]o9}A45.VX*tT} /(ܺ; bcJJL))Z"~{U;D=iTH 2\U;/6,#o)z$y?#y[ l]. j0W tMu@4Ӵ2qYʢs/,@&p ;Q-OVyQ| c0 T̊5IlA~L/݅⍛w7֬C<ԩl64Y.oJSB9E0`*+XkgH?IG6>rk#;x9`1Nǯ3m`x*Qc ,gIXrBoz S >7 5.cv'ݪdL*c XESg}y xzi+p)M|p=Uܴ:=UiӇ~l`Ԁsn[xe{eR3B1gi!_x%k'R̮yjNl |P)RR >BCsNVNaե#-6$ ʭ5ҦjGp6TsU'N^3̲ɮ%]nɂu?X%`V'LT/MrWzEG@#VdTM`ͤ1{[ 9μȖb$MZ!tmp`4^J2ņO `1*QQ(IOrɗ>t&娊{ӔNioU.C!9DlՓ `(U G(KofdW${i저̕ڣ퀊*NBeY)잋oth 5P?SQM/ll7=y U/ୖ< gp1 C|=g0ٔL†y߽=?eV)ϯ2wȗ:Ó@UJX>@ߑX#UeBYckRΡ/پ8Fh Hqڢ{I,X1.U&W4'R b&/q u(LH>Φ[ňX c?.^"<{r0Pl}a.yЛls箖ȻFxipFHr.="<:`G=*K--|> ZZDU'5 ridBܒ4iאe$ltK!|RL2 _я}^/*B , 6gcE'Zޭ,b /slo{3 2; 8UҜχb{Lk b,$Z+A}_9CYCi?3zJGZI.CoQrsLR'=bkc撸|.TWD!6/)˭ڛ͑A!f~*QujORMͽdbd= }1ޡ-+sʼn$J1=j/, !74A_V=_ɕ#llqANrSD#ݠ/9&}XOOYQ0z0U+/\,S!]9ZD9Or-JneQEe'3ԎP5M~ǹD }¹DlH䜮 \~4M#pTڠHWͲuibuKໝE .S pFGc{p$/߹ T6pcS< ?Bwf[}d#OPV]咿ٔөv%z4xt"%`%,0ˠn<7p[_mJ=AV(͝xe1m7slC?+Τqd>cFj@t/Yddi_çGTL=bq!1s6R0Yo v$h\ZUz8ãC8>ɕ-㜐8)׮Ƽ^8C%; XϠr'eJ[{{:d^sA[ߐ`qJ<`:d}ƳzȋED˪<-Ĥ'U H#/Pj/%{{uj4BT=6!kNJBHSǠ}ol=p2&QjFvlr䈹=sw32X Kass,eK}`C9oui;n ЀZ οMiSa$27*??g2!˱mPڅjI~ܧYWE-VRF{qalj~rXR.I{y3T_=wNZw%G4^ٳ,-b0Uб)qMTɩIGa~oI }Tuc\q unK'ž [%՝j+[=7-E7!Ol du!9kc˅61&EJdЭCiuwEc 9QIsu3k=Ypu%)fC 빸5t\d[c2RȞHzdPJ9~#^d m%!pLX%3{ }tq7 oUֽnè!yF 7Ÿ(Ʀ>1b;22jnj(47*h Aw<[Hٺu▢QuivTDI9vt1>=;0wNN52Z%ZD"PKM;`38T梛j*DwIdzXQwϔ5w( _?_/l:I }IB6 k2B!$ odr\snp{YK$%a)C}M/( ny\MЕ'+N= PhcO 0og\яG `#YcCJDwV{\G[|/W)ٷ#-DߕWξƺto zlj#.>H4ꛁFI6E{NHoc }OBh :a |@% 9אښq:잶(glK67]B% (1ߖCp5:Dsmٱ`tJ'QH\{w`Y 4iJXBPA<D̍Ɠ\v1>1qt6~*9g4%Τ:,mrW[ֱ?bL:#`'hOZ5J&a9OV qn$#j=1O|'7M ^, ,Jk<*\{ 9hXʲ݂|hf/-42OT: AGI>,ͰV7ᗄ0l<Ċ5P n{ccL!QmDLOfO E/ B:~M@ 1?RO|N=MRk%;b xRv]Wb^\GKQ(TӍy\??$6la7]Yzkޢ q}ڼaw\V CZ6H,j΄x.]Svrh+.t ^PVU%u evR) 4bWy@⟯/o ٔe}?J}F_ڑۉܠJlt0 JwM\. L }u#NY'$m -DD^^ys%Z^AQ]ȞƩ ə|E]}|NțV1dyN{^4)+I%IZ2j&H_͒DӨ/9k2D!Xj#d#9FlseVT>@ e%m`lZ*$?Y"&OE1-Dn2+iDvr eo#(C =h릞?[ϿWCފl\D e6PcK+IǼMcm|>,t1nhZᣅ +|XJlW 8 xI" O^MQGf@ׇ:};(IKS.[14OSbn}kԢA*rېk}XGUɹ\Q^"|8keKpnM ł巰C:p"韟RƯw3D%p3&U%gT5&Z+qQcI*S|I Kjrj ,^,ZnhkRr7t jxp|;pj3\Q!M.JaQtpJ DX@r$J{fYAtTq $_ff/jGHX6.)3(570w4:ؤ兺2ug |$i8N׋@hLRLfȦlɣ@t̯N;pf{Ww /&*%;d8)MתAJqcсw-[Imoh6bEd>5|%#ќ!Cx0x_x {fowYɖx Uôj,iQ"F&kͧriw|';x=Y8&&HKFxwZ> Nk^&6~QwSKQH$(j)ٱU LC#y(uDC_ZզA/yŎc)/Yp㸼굻7-)da7JTq$$%e!xmS1\ l;pgNL}vaՏ} HKZXvGf_v^2J5g`!&Xo=7XdaUy(}biVxGH9c ^e"xR[wmɝb,UP^UޭʋM.@QL+9mU]{>Hխt9B2Ɣӣ0I\h_u-Hb]9=\ &)͖ah+5k_J$hW8)h`8Jzt\xw^?}_h-LeG,W3dY<#\;[oN?S4-z0L+4Hals~n&]Pv6 !)6:کƏ; BMkVx ϳ:l_IGduV(rMQvP*9A[Ł 0Uڼapmi,;ƯX.uou҂9bkک9][iU?V=sT=3V%N>HKv(ZYRfn##|Mvatݨ$)qG~xM#. Ksmnf &g}@%c[@Q5|h )ͺ6cGzhrBYuƼ^n!SzƦ\͏Tmˌajߗv]W 9t#T-1/0 Gs|M؂b8 dr&SqcB }#َDD:h%)9xrEB:܀Uܾ^7nWOx1i|m_<6*Y2r{4ħbڸ,I ]%SrPh:mxYVU.tl!2!K_3'*ݟi#: 蘕̴ 0K-foV cB¨gԘ?k\s se%C\Y`\5wrq&IZp["3H,Cf RfgR%=W۬9>`|>C}h95@=\H?l Nl4™x" @xY\52[f|Jf}>L!xPe :X'ľiu-jHԛoƒܦ =Gvu{C5'HqtT/|H (J U[׃MPC@L g{O?ɬm*ף\p·_G|"&al\}[h=$ٰ 8Ҷ>"%Dz"pJZnC+|wɳrhoL/g%_=x+o9*챃iE e[;1k Q"h* oe5sYp}Ꝼ-S7꺯"D"1T~ Q1 ]ڐ#xD-O:yίV/"=gd" t3Frf<&3>/{#YRXyCHj+@@EMe~|x :i˂`DNҔ*z)|E Ȓ顱rSxC҉-Y[`{Q,nY!TWv &IɥA2::8 ގEnZJos!}>u\M5c>ȭHZ0 mY @NxGҌ|r.R=a!9t <0±p2Xv&J>7,>IWNUVQ QU/v`(*!zelyؼ'ErsCQ4h\kVGFz0^S͗JsS ż SĖ&[C¼у@(v?Pwj۸uEd$#4?llXd͈_ly+fꪑ OFh)mQ:g|&pɀp4D(>%ܭF/KWaf\:L@i<Ž[.Pz/\b7]uw'޽[]ZWD Xv=ᴲ6+oj]%vM&6x.%ԫMT$Vi_ݠD$( ]ˋ.`OgT*)_"Q77߇sėfMO*QGU tZ.wH]KjTeTtgq.T{ԝ>)tZZ컴jW /,s@ mH 2wQCTgaU5ԅMהzbHcwrU0f4/?CSoqrt>iV6d8G4„**&TfZ/2\B&ɹ@(8ÇG( 4Af ;[2ؾv{ݞ#Q1:d1@AՐDҝ#G(qÒP^/XU%K+.n+bP <ʜ.r"E@p \t~묙}r$ 6*8ʾ5o2?f{Ϥ՚\b_Q&0Ò9M63<`WEيu #+U7V/H dDS&khxXrRʦI @oFNzzM'3ցvǑ}萆l >.QINǾd]?:rl| ڇp3SG/dj2Q2ƞΡ|TuzTǜɀ9(Јp5-to{+3(YKzP=O`xrWw1w+覶whS[spUۈuIy`Pv0k7u!^hKq2 m`6 -q>|fUT ~+ ]E="ID;aszكk пW5>8քy.NmHyPS{ IPyLUj%c]g Kff9OS5`ˑ)GZ(7~` 03jN!Hޱ* 7_1-1۷~a(8bdNDi}}wF\ mB=bK]ES{[ 0 ;nȯ$K[gl2[!;%$G9$qT+OɎ[\~ks`صy1:T? C$jډӢF`lHHCA\`LaSVrrιG߲PYA9Gʊ Wrx)&tJc`*@A4d-x7;؁ԙPPPP[__:?%"KX')M3{dDأ{GqN)tfQ+rg<J&%E{C6pA 侮>}K ~<|HU&Tw+0x ,&9; G:oȐS$K oJ==μc[r( m6/i #e[e]c1*^}>'0$ ԩfCEUr)l?H$A "U"qtןL ȶٌVH` T.z<S q΀@72Θ+z>*֔wЦ)9 ԟ;Blkѡý@.FL/wgOՆ"hUqi,{%ux943JӬXL' '8n`7*gۑکÊR}Nd;޴NHP #)+MNHCjyѥ.}6uy)xNsO|$hF*$NwWN6[CϺz;AΗ()} Z׊%}>l's!vнO'Ǡu|wS5RR|w+?BtMYlCXu{uG}:@϶mEy,Ul+tqgI-^02QF+6&|U=d?' A7v@FzD0;K&I<0OjǬƹecPPfwҠe4پ/.@t(/f^r\k!xo2@Vo#Rzt)jS*emD,N~N8L+, '\DxTW*XQ)m$b$ ѿOkp|Fb[<$ۯƇp;G$@.,=Ri1]TEHeG(Ani-J[zJ=ukGNj[B*IWPr?"̘me Od%F%mynvYa4zO~DOfccjy!ߒ_8wMA*$cIl^0tD+no}{DUZlѵGɧeT(Br{H'/6Ios6"&%0jh^j^<;'*P+4y5ymѢwlEIHzP > 91$8NcV A$APue ]um N9qt"QH kZq>눁@EII8'|lv4Dh,( .1_XL)Ϩa)Rz5~z[np-Pju7E=4woYK+' 3U Rbj*0Y2$0:T#N0#muPfP ^QE[0?݌[ۘk'WXh:0x2I HiDz|cm)6F]J0`w=^C 4A`ky;19G7>x0et/-4t-c}s7*7k|wC ŵsu-7^;6Ԫ,;-Ŕ=|d9\j$efM+i4w ӭ&a*crkahm [`u1CE(`Lh.߮Oj9shb<39#;ȩX_M,n˗OaRM4Av{NqdeA7iQk!İyxb R(hTՅ0$]r>$mL܉Hz$Kza<[m ՇyKu=|/o&\ > x(.|pw?-Nij/'#3Q߼+B!=k;в1ظjKGt]{)`г,;by,X>_M_ XνUXR2Lv.案P`y͹x'P(@l\/8=uiwDͮ%d@m#Mljtk!)w53#kmD bzNiSPZǴp"u&{NLj3>K @ʖ4 :NpdudzE>ada.Qb. qqjrlCؐ.偀A{9n@?h~pp̤,q4?-xȭ厝V˄8o+t\}>PgGS?֞?$PLvrҧ# &SIR(5O}q@sIoIa' -Af@ D][1/$&a@v EE]]Zo@%6aYRBhf|i-@Y-~_.ָVpa*cE|6y>P2M6Wb\ޭP"́ keL B_>ڃb* Ql{fFO݀.QlDtzhT 2F V ̲HbA q~L/.x;A+.MƊTDwMZ@kvh3XbZRUN 1x+pJB' 'pgvfd5b֔VyWϳ 16PUm'Sϳ}g$%I|DmȁLR8,B\Z$ݙyj~A|᧾ SV:'Ŋ6X>/XY% JvE#57c41"L%F/,1{=-A/M#Y߂{w%Rcݿc(բF[ W|q+m?𫵸BnEI m։q;2`.\hBf>c% wyÇSf"R2ASw9h^Y(I; _9iǖw2`vew;M{?Έ!MA;{Yv2y]JzRݠ-٧`$bb fs~/{f>^"Zνkm<ϕr1_ |dv^ '1LL:Ӎ mSF);6*t`> $.\Oȉ\8OӘXO h0]uʏ|iF ~ҊG̺&ӸB%׳Z-/S[i!lPxF4vlIǾjz~_E0%^$U*J?8 ^Trcq?+PH$=}Ӕ4DoǕr'TG ⭯_WfpLuŻprAv pF)AYqyͧ[sBL͐h:m@=\f1Н85 G3jێ鴆Q[>y #~\+ǯ3BЧWCvxrVo{V+ܶk4h{e1Xs`P^;M)Zo)}OɤxZ 4N(zG. ;Sd\*|*R3*fBIF*)$(~'AF);]¤xpUobs2g| ^jPIJgıdtRP_xI` >0L\:NDw#e܀Лy[N; u" dRKIjEN꾩z)gY>Q?wb%.]R/UXRUb{ޯqJ^rGQWL.:-cu&ȳaxlE Z?aX:XQ!F,ȦsJ+)Ԧ@A'( CmLT ThUpNr&>ihN6{"oo՘٬ ;4%UV{q`cQz{ X:Ͻ!$u0ٜxA<3v^td^ٖէr\^كw}M>j$ŵo̫cTZCek:+p @[u$pNR5\h\<3Ez5h!ڻi`v˵yl;q~kK>0LK5I;͋ ~u`%4ɭ]l+i_/[3D'0j,*˧,JfGXy^ ҸeCՌAGZ UoNG{5zGk}ShŮG3u ~KI">s.' RDҼ7s3<FiScdJ*OU1 >+k~XDhy3NHl u|byt_|Qyg_־ry0oѱ(uloneR6mhrQ~*7`[:)z>sd2lHIS#~rV;860")70tȉeX1LZJ\i.YK,#*ێ)1hH AFYwfOy,s9>) kD0 :+*r<{/_ںشZm;ܣWaX^Zr=8n~kQOquM'6$+FI;:zѸgYZ  #7% ,HOL-AlgebraHOL-Algebra.AbelCosetdocument.tex7zXZִF! L%]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?gDŽ-؜ j Fa-`E \p= eY ݘAe#T ]:g Q7KtueIcGVC#`s,JۘUJc0F(b)/߼5ā6dm(+N-Vw)N{!޽Z/@i2Nn| #X/,K`"`!.Q1wm#"4/m멽j1``Б/Vm qzk>D5sfY,:8v zWx)ƸL|^7tnb~b1h'9dm^çb9RLV-sjig[5 3964B"A4An?ڨRZ="QW`qsuKDc(fElMkN=kԕ8Er(:ZPtK#M% $HOL-AlgebraHOL-Algebra.Multiplicative_Groupdocument.tex7zXZִF! BBL]A-MՋhvG"uIBm5򊂅tyJ1b ^'G5ka ~[W\kǢP@>-xgs~@S>"4IW'd c-sK7(ft#p~D.ֹxYĶݑТe5;BJ|J'aY 7|`$W`V2fcf]QR_7[:$F8j=F-ШĦEtH4#TKW؂89 Q0#S7>$Q=oB!cOJ+(iUvb*,@&cߵrZdrj '`$."G!ۺC{&&lEGU nW ebf\(S9Lh䒀0blsTm`9BpsR/jLkG.uIDɿCڙѲltKW,obW;[ܼy`A`%FxEn1teKᚹQYÉ~.HAt0 ڠP<<78 @k  ΋Ck #X кULCHZ^K#5% }Ձ(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:ze1tJb_lwcN&m[b'шl(9#Y' W;J/ *xy?˾rMG܌ 7GKz)y%y(?_璟Uv$”̘\/,ݳ{D֚ U+ZK v Yas(3/Zۢ:mqm47];=mr`-k:tNcW1%tiq0H:ʌo\<ӪʑU(ǂflY#6}P}gzIʮ=ů1bK }w ` #BtsrvG gchgr4ʮT7${U~wa/c49>"JnVrӺ15[8T@dHS,4e|P\4#!] ?] 0h^Rle%0e +&uBSߦW'EoE|f-wT{RH?ekm]A}-;ry[̐tˇ΄$ `.!@9&΋QQ&(o؉wZqcO2' 43  L5t wNJ(lb}}#ڀQePIunNkmqgFҪIuUh\?[4uuAzsLq_{(&4xX':h#=2gsikR䢫}P{ݑ9*:-D JEPmr($Si5-*z8CGty7z Q@yK*V4W6>ŎDԑ>dbqcuS\uT{thFkEyK 2c-q\(Ī>&'>pr4'rs!; z?B; ur0K /oN/ovA/2⪝9+hvvo #k p7.$/9.wlB]?OƧlkxA7/MB9ak<*˯,ӟRzqh]Y~Pw?'^krp);B/y^$3?hÕBL[]l#ڧz5{YmϘsQњ^w!4Mu"VSɈe-@iݘPKL L_YpTf2䵾Hz^U(& ]کε0+~(yK >%h yXum}_Q]op LXN쯨Gt v8k"5}b1NW 5 j2΃-uPѹ[N8ixNDqgJ(ܝ1&.# rM|L4 wQ tڝK9Mo~;)HrC`~#(ٺ8`6pK IV]kpfW5CA[l? Om&mi!e4uww68>st޲hC=FkO o|P9Dri_i,ҫ9rv6˴Ⱥ[x oll6T!_D{(Љ/105)=>i!O !Q-֌n~%>|8(Ơ(Hg:S>i_{`[f/S¤w~ۦDZ&]4[!0@vk7Np! %g'p%2 Pz*ΐT6*NvM93RjJx)>LwQ_U4DŽ;&ҼAOD7ǣ䮊EZ ݾVENv1a3׻4"Wù42N>,Iݸ܎MLBg Y~\Ceo(i*+p6/_]Zʒ$(gg{/hwB mDIYl]?nCLeɫw椳,'; sNJ[}@FL0>a(Z;pu?|$.P]Ut"ﺈ50bnW@R"VY(x!@ߩ5o9@ډ~94?1L{3keclz[|-UI'HŚhȦ߼NcmģAWJg*I Dpiwun_6ƣrI*D=fmx,n[_i8VRqL'RƒXHb5ZRd-.j'(cF2HYfUB?~>B)ׇךg2I-T~o@\0Ίm[sn]Kg%y8*iԣ'.䴝L|ػ|= ҒI\ȭ T׺ayP7sϋLY0si %mUPԯ:i6E!}vnx6B~ D"v<-96 r8&Py~s{wJ9?F g9Lu:͟!-5!rc0-ܾͨ&>YE眰3}&V2Y$nvWv22e?6QwT)9I(n-+!/mU9`*wf?-{{(SIauhs{j5S^ OuV82)~Shϧ:wLpo2K00i=FHaa"ǵZGcr0wM^[\%`S%y+1NDh4(>ZwoR,[%v(-;e8]\tYΘ"+vmqevjȫ˯3UĹ}/EzQ 3~Fe1Q):2Sؑp - OsS "Kw..$[q1z}mg(}{ +~=xp8็* :dL]pyrB̿Buod Ś;Ʀ0P˝FP\5WKfn O^r %҈s)&a"m Ym hs!oLPcϤR'ѱ=,-~fO;;LXz֝߻H3j3'HarcbYˁ\%G +33n5 g:2i2 б Z7{NVRCԐFZE1Ѧbh ޢbz3Sܜւ0;6&,M{@.ۙ: fe(0wpcTD I',ue??4MJBLO}x^81dxm$OȌZUç'z[gTi_^?A@%$hep]Sُ: CI)lmIګ&it[.Ϻ8z!x,oXh/>`6$A /`< aj VUty467-,X1PCb75SlZ;2ƒ`k2#OT9w qd#wzl.B>XA97+/X醑Y]QY'& 17Qc}s7TIpPY[XEh`̶2dbyH]JXVfʌF -!pzzy1sUaNظ_a%vrF),oo|NqrOHQ+˹pGűv5Kv wAA3wjv;ġœMsIV/F*!Tbl+?D lx0p ٍ !K}&jwt3Fb^L6"hbTAEC[K֥mdʎ5:<8fF-$QS!re㛏|gH!IFDIC2\{ Py|S R}ұ1ʞLm -44nY>·[I@wWI\2g-Mє5ܤvz̈-F >Ů1?eKZ(.T CpLh]J[kk [Z,L1s9 4-PE4!m.Սۙ>\oKo}3€ albrƙFmIuKh[S 2q2my$)G$׃CC, )>L㕳x(X{&E7P#}`wOW:eBj1f8tku1M{tUv'1'5X/5Z(鱝(j7-_{JJ8sAJY=.d83L^*Y Ci&m偂Inkr#&o0iDrqgB[ZiQpTwV] 9@iyf&5j!x#0pϨG6OLkuu\ڐɂP1d $m)(ƛ3]mFOKn&#U4  "ָ~ mb2!yP)YZ=8bxqhaUs{^>5r#0r1!^Y Rkco3 튕@ .WٞG')/ q|HʲcUJJ@5Z)W)\#3W xM=mS؊S| (.qۯ3(-Xŋc{!Oֆ@gZ@)uIoBB{~%s,Oُ`]@f"Tv2e]zAgn%PIDٔE ~I*#~í 0I)&:E.kME%P"G{c\1ʝ[^{tpOdgDxzUcꦲ!čn<, aIQ@Ik[6e^amJ)R*?WMrFPCn>C==)L尣t< V\HN@`- %O?v]"4VN잭z1yc~t)gFw mPNsbz@;rÖ iwhֲ3mAO3LCfͭ)@#їt!> 0"*{T[TuG*+֝7Am21Pv4ZFˌ/uk>m AM] `8*ݖS,nHL!!I~=~mJW5> +߫vQE㿔!L,,0+XU'͌Nűßpeqw5a\t@{+hoY_w=au<#f % FSE%:W!, 6cJ CX2Jm")ⵔ^xnV6Y(,!߽_,[bA {0sU#foU 3ׯc1.{3~ Rnu( Z۰ڵB;B3ػ(/Ž PjQV~"',J;]y?)R@S""xd b\ۏ/ѣαȅdE?]#Z |q)2UK'J~!mq~ܨ8Vֹ!z6b,+ 4EbWeνY]lL]6Mڟ3qtV܅p15Wkw< ~9٩z}l:Z>5ҥ7J{|}Q/fXY4`"ӊ!A< .vv'0fl'Mw[g/f9bgHMcn1!/AI i=u+ZTtGr D3J?f!]N8)aCKӁKӠ6.Cb !tVmf驮yX0,Ul   ]]g_ČSM2{*P'^ O܁$vSgaPM[ +1\5'~+EϚ%.AbGVL([vW_B\J|*'lMAӏ Zuv-mIx#za, >P0E|50PᏃRDT|V)gjfG"(Ccbo>xQ Ý>!d?w,ǘLxU=?yIʡ>~lfƊc_7H+e"NI/YF4N>},{211ȊbYX1{fܹ ${AszR9)]~Λo^l\Ѿ"T' 7ţPSmKw4 w UAt.rD㡲 pl7.9fމB` vS锚z-`ʔv\hew:iz.0Z_ШrRH%UZ7G:mͿm236f@K_ ,5W_DB`'HOCQ^eo\l]7f!Lqچ~1b&7-ӉdXZ]ㅆ=w5J _xSSE=>p?t؃!FrFg]?UI`B .(nńGL2aR5֖ڢ7r:jjEPOsFέx5xp#ׂ9 {Fl3YM(Եh(${K.#koWj)4ʽvs]{.bdlؘׅ&EiGHNѠ>o㹲/ĜKɣzi0pǫidR>D9[?:HPQZY1"~}yGdUV #qW N>emċ"Tf"QZjҬ]]Ԑ]hbѫmrhFzx-t6$5C;xʑnHt0J?iٴ땷.R_y|h) . $ ]EZY,|b E`Sl'-cũ(eh3!pˀhnCF*h0xwCN\JU$o{; ~Q(f:cޚ5lgoȱm1} T9λD .[/h>7Pn8:|Q(?ދ>!qP@LW,FSBT<2,v$^m8gNJŲ se2%Γm˅0rK0ZqјZxmx1}ő*Y+W% Ս&eXWz+~4fU!iӫ<%Z{2_U l\ekFџ2 ?bsL<ЛJihx8M.g}?2ʾh9EBE> wsąQD &5(7lѷ9nuOܕA0\nq )8u+DKUHA,A? t Ԧ)n/.VE [~;Ǻ$rs55Ź4ʈMGm?l*>?ITf^ pJwT:~31E7]q}CYB\cizw{LU<}K&K+ P.C4uLv2܄gGH;[o΃Tvy>S:Ps~1~ 'YPȯZ"SS*GX!$HֶA'j7Ul|tZ4A1'jn b Cָ G!~@ iDE]eXZ%\ Ϟf_ ˳L#=s{1hk̤95y~_p&:sW =-8iUeyjhVljou< _%W_CFSAFL#ҴaY?ޣܵeX$۔-\Z‰6h.01҈E@X|j9qQħBi Tl!06z:@mT8g{bywpɕ‚AZjQQM⽆gȂ&QvNzlp|yE]:ʧP8ᄖ+hQyLv5ӭ)L4&Lfh4j1M}(R؎5cϘtuL2YiC{iNEH?e|a9[MWlGDha4o Z\yC*ѷ2B:k{$߱nn'Npgyh}6&|zRܴ=GB#Yf0;Ag=c;BTTIG7u05 3Φm'pd'W3/ISy f*ޙW.2%灞 }+6T('Hҡ=S&@l" 2őrJȇ)TH^ iqk-L~orlM}ȏ .saTㅜy"sF^7F>vSPgG/O:{[:0@53w}:%ڍN|Qv皂N/ pÖA]hEYU"e3.LmܒܞEtHYت_}YḤwœ3LK4S!A? %p껰韄Lu1kqpqg)\ o[cs1:5Dk5\lx,";呶Hj`g6_zoB,w;h}$BZ_ RUhJۻMb痹~"ZVjfV!=)my}r/!eڧw#XL~N@H,=B{PgrtՌ(Ia $U#Ėd>7>I5tpUĶc-oDv{W6Nyrou4,Ԓ5_gD54tဥ\MP3XyGO;7%74J2i^Dr:ą^xT* Uc"izYL.= dz>t)Cgo7wWo701UvreٽGfEgd~!D.f M#JeЉ!fB%$NLaIvnb,br]{̀SβuDk<"j,i{oXfT{t S9C:;l^*TܶjӨaLcS||0`Y/]e@ky'mL q.EZR )oHΓQ tA2Azcʙӛ,lQ|ߡdt,a(bv2r*.e4Imf+,3FI`00(7xI{ qwPx.~PhΠ,`\LAֹ(\LrPx3YbX}^ s~|T4bBk2M+`؀JKЗ3nL&BbJ3^Tv82DB"Y# 1zT-= ߠ1Z+3p<B6".;X-W:o,CE!As q{rGPݣ(=*BW*1.ag M^2-*I5%֭8ӂDup_3 P5[F޳Ϻm -ej|"! gKu )`nB~dCo 53 x@gVV+J;r}U Uf`80F$$)ѮqYkDDsNq&;&paSekɁO?ć= *WgQVEP,ɔb3Wh"*ﰜ-w{҇RNVhpb-՝es?#ik>yVZt4u5g񴯂_Έ_cW=GB>6D>ⓀХxz%lfg;͒QCM/ik_-cBL?#)0-7}1ߑ&U9g|Sf&~ؙt~N+PR: b:{| 'La'!k ~Al#$1=!kMs}Iϧ7  ~N1 06]y4@O'ʱT.j= "zub@d.(s-A:_n ^tB`.e'^Őjɭ>C.[LLג9$#B6dkHk#d}*PU+B9LnTIr{-9[)?TqlPϫj_.0XC{Iѓ2Ṱׂۘ<8zW `Rw+Hx/F4-5" |~ C5n8B&ӶK?/A Q8xİK<Ŷ1Qo`V)T4т׶WK\4T\׾,cY+25P= b tZÊIpgYZ ;9|C&\PGoCYd2Y+/&Ab'8dgZ (; &Tiɒrvv[%aND M4r_]zP>%ˮgh #"Wr T3n^d),@[A:Vrx{lW!h GrZgB(쭈$U=L(慼!()-lN̋i-qug43k͟˶ƞNW6GvQ) .<ӕT-4Xm8+ֆ a@>FYF@"Stn EvJ_i٦ޱQK.δ8GxRw`PҔE4_oEJ~l(\4p-_~"OB\HiEy 6CJ DA@^ۖ(PGqxY*Һ%g`4oX3<TG d$ZK&vs.ҕEå@ ?5y+*g̉g_Oy1-i9Lw/P"wMVGh9ꋶիTB'~yE[t썗+EI1$ර>M{d@:x&&5ܲ\G b+1#ʡ.<¬Eț>FuQ*K3^­RAl>mhzIIcmb ,w@xD KVӋt)>L.|Zo{ _A7huJZ܂|k\6e?ay򜫳}ɘx TYfCO;5BZo;Y`@PqH^/;KGyj3OtBՓ|C;';$߰:A" H)ꟁ9K"W3?8gZZ5\$Nj.H=O j4~4 U[(E8$/Fr${;}Òڳ+(k !!=)| %zq}7PKxHzߌ,ch4ΗcRz5o9˙$}D9?465rq2rO,6Ax h^Rh_s2A 0y%`/zz& qX2y%SdIUJJϱo|ISFJqqѭ-;>>ͤ ԡ6`Z2a{Q.ܸUYJjB4u%Aŝa#@dM]'W)%1@KE\qsL[,<}݈;HZ\D#zT{L`_!@~oZtZ\\[PV+[GNɚ w{fg9}}Skd,uG \ÐљQ?1@>Aµ¦v/TF5?KG=BAw1::jS27DW~Nc&KI z*GnBwomCk/b#wnFKzQY}K ф%&P7 "Y}ty)VŷK`¯AqCGB:Jr6lexB!hR Io(VNJe/">L}?C<ܜ9ˌ5V~k)rU샜 sMdUת2D𗱶82nC4!<3kDɈ$&q kUNdm^b>_ ڹ(׃AK֞/V>+"Q>ج1w'hRD^꺁$+zS0w{x]5bp,pv~Re"1AM} :;AS}:{u aљ7;@ZO,kzltך9}8/t?0txbdq^h[0h!07{׎7LNrZh,!9W4tjNfu>xm19yEgщY@>"oL'PQ$ 4 VNx*XN}|̸szgUJO\+a- d2&Y:d}v <+[pćh=|]);V(5i8#9 IPN=H @X;D饄Ѷ\X8=k= _Bu4@[˵FZ#1.++ yda'cBg}8}\\^eF~;@#"Z8⩮!Ջ#JabWT_HX#J5Tۨq|Ӂt}X&G''.m WS=7)ܖ>0p:o437 U`']w^V.6qA8Ae#^)90Z]GF;jG<SRHwT:X^B~-P *ow˓;q0nC_|y(Ym V;qOI ٯpj+믉sXaCvi⯊@^xҤHυ`vy3m0Җc:1RoѶo GPi#(8 { !x.4䢕.rf89P|Hi&*tGSW<ٌ)C@!# lC~7vY S]Qs@ۨ *ҊNc2(]g؍;B.G&ێ^O"zZ-/WW%,^$e:N@YB(|CUNti;4c)s[ux:DM80-{S"fuSb )sxT-H.tj9ثU<]BktASwo=96&W~'[ɗ{ʅ:T*Pè^\0; |bVҷނU9_ƙH [% 3=x>t/n[4`9; rc<,g.$pթ ;N !2w$2H^?+~b CqN-^R SoW)la~gص^`@s8XlXF'Ea6=7R}vgx tXBĂ]a07jW=_:? …d{sSw^$\{A*jEMA)ki \a1ƑEU o5p;0{wCe8QbgmF9$ssղJ;\j$y7X̼>xM̓mm(]$:,Nbļ,VMxpZsրiCc>胠0a8!m&$G+ò{9=:J (|Eؠw;װ*) d\EPUSo]3 Mnz<] OpL?_7t:7"xB^,=q Iuq W}nbY˟[:U[ Y9ǶU Q-0s[A'F0/"~[)0=wy6O i4EY4! "5'ƻ]+m0 }(&"n%B"WxvDA#6 B-r!Ҏjd75Fn4Xȫ!ϋAvCb?KK1 ]B9hj]YFQ} - '[ρ,(Lu%`Ci")vQ#oV) T3Y<ґzCݣRn$k{*}ʴ8M H#PuBW=c (ƿ{4C4y` sgTNڷ1"+uB;M,<%'M Y"]&u^G9gh N[,tR l|Ȯ=׆Tzocu4 #&P|\aI?Pcs/ G&4UlURKen6Q-+p\.aݰ'7FF5nJP޴_zd|_> p0@ǡHUM(^J Qg `VU>nM){1=:/WUDTHY`=aݱ40$./h$_5ѭ+@.lA^U.U˟aCC_{Tp}ݻ.G| *´ԥ< # ^3U OpM}ͮjϪ9vTqU?i{reA ܱ@tڡ/AaՌ0LY|RG8 n|s ޼\VN$50f>2[r{ Ѕ+<PCYWp/U˭G5܀. X%aD%s)#(.q)i`JX*'F T@qxi- b^I(xhVSu˴#%GA^yZKA:6/|gAVZmr1ˊxQ f_,wc] 6֝|v {DloeiLN3oo%{yM(Zx lc*-ѧSo,1*Q =5DѪԩ'%;dID!.'IN\?.O-hH.hhPC8h$ }A}O^$FrMD ЀF[p |,QZVaoD\x JAXmqϡ1n/Nl ^^g94vrjO!ȿ7C 1֗903耖)f7{ O_VJs1(";]/_̡u@DYb=#ŷ΢DBwEW$Tkצkr1U,q{(~r #<'7DA7@ӲK[TFk;q%D~Ӧ^w64;刚4r=csjZuP"ux`䡧V&}К> ~/J.DP-8`  /ȓ폇H0;'uc˨R!b >& Ԃ٤{f9 ժZwNW4mō46e|VҹUMe}i%'澍pR3d#wU<MC8xq'߲!91Lr~58D@$ fk"H`L]NpGԒ3ɳ\ew篡r;RCN( h|1"0A{%puKUc`s%sldvػ{.JNŀayR:;ҩ4$D@9^sAUG4ىhG(>AL<q .ض]ke2ń/c (gP`*l70z22ɕߑNXOTBᚫ`E{6wHRp>aZm)P}trm Dc7< 8Ax;8RiSC˪J"U#2Q&1ޒQ*VvBַIfp"-IBi4IF/7J|SlNS ! l*p?4g)jJ|,7}U[\d6kW)m1(45v@+/eHΛ ij.>Ʌ b7[EmV.-!W.K#yH{.Fb:lŁ#uu)Ϡ+}xG-%dyԡ$NCGֿ$̏| L:[B:Gc%tBHx+߼吵h>@*?ul/ SJ"i8$ j&9+Ut _@<=$_xpPH{/H6X䥨J ?蔼OG^@o4(lBwϭ&Sɺ 0zESY/ӝ́Lb Q]MfCҏWA䊭9躷eZ"~"81' 7n< X@xe9\J-TK^7l:$9繜S&)bM# w;*?' ߓ |SqѮ ΞAfY PKZhh!]T}T:tat c>Ix: j5K~84 zVV>cd6`XY(B\A0Pfq|z?qA+-/I 8&x}藕fx0W$0אLo0 ՍߊC^ޝv\ g+Dn3gjngNG񦴯2u'䟰~G̬Xb$XE)V1EwN ~kWǣ9 `0z,ω ' *i3ב~+$pWM DǼ/[0Lm v/upL0JQS_༩c11ʇU1I02*Ꜭ~Jm(PQl-f@k!8nqh7x YBldFq1Hb^#39uf# k{t 2G-EM?L(K_ 0Ⱦ]_N!BjbIPe8-B7~PQ`m遑i(neۻqsV%["/3e<}[[ym'L8[` mTIls}SE\d$QJn  *}"0pSdR5g#>WTȼ#hyN2"ؖGQKg\B_L;IZbpR4wc"8l[Ayr ȤzPvCM>/>5mZq {/ V2ZJpD܀Y݊e7;&ăc_X X>u)xsZs25-<%KI?Ha߶,y)KL{.N^g:%ſy(,HQ/N]M%3:-] ;B_n/,(Amr^'9Gk&h#NסJT+lE~k#t=3B+>W9ʺV%  uFiZf"l_`:ss!C}oKya&:CnUiW`M?+EcE]* 4hY2k8[#k^nz q_CVDq`j%cQc3W .|V/ѨLf>Dam\_ }*ga7G4'3؜*Z-.HȃE)W$hٯ <j}꦳mr 7Q,#/ {KED@4ބʊ4"^耐RNpur_` OP`{HӜ%4M6yz<>ؼ ;f4aOT%im(.oz|cקZN(+;O| oO [rzNuWHAy.LAWB {فVB렼ǎz9=\_\E#ʡHL(zN \jˆ-di%Uʸ.G> YJ2>VTw`K2C*oI! FAΙ߼Q }}A./*/{6oCdWzZt^O'VLwp"}H+(jru bkcLyrt^T9+R \ |ǩ0Q<Ƨyζ4?HO7H Sn "'ylo}2!~,4vN:ؒ٭Ɠ'Vy;KF_T>܊u zBB& c R߸_f(C[Rwu؆i ILKIo,?`~ɧH(NQk倌7e1ElVqY@b7f%IR*{51R1 ODܲLcA^?=k0Urb"I0?YgEf|"+&Xt*BfV\2ު[HنUv{l!|28$^1!Rr^6ukGźG~!9_,2i|2/5`8Rt~ֆdrNp)e$ݸd]AeF,Oۡo֕0á1%9#ٳցʅОWYSK4-mzU,[]QNQ*y58ƄGj|hsjvOm(^A ^-(sXS)BBéܚG (j*g _6ƌa5EoF57\M,q.n$'°3,ޜ!t-$dzodNII1'3CIEm{L&*EZCSREΎudhu?\A7fS'IuxqPs %$@7ιfu%s[_#q,80ha\5+e/5! -.vh'lVUs4D_2yo(uڳI!. [{VXsΨ$)0E0-J!š!-W኷Ϡ1<'A?Gbi3';(6M/æVӋes u?1_ a6Aҏ8Lxc†~dj/g^Bm}~)~^Bw:Ƙbว,|5h8LͰs.=f٧= h'C5І:~b#hcM*H; vdҵ!J3ǿ ]\ WhSI0vz <:w3H:d/L2Qrx@~hsyrWywHEwKf}|(xùA z]^QkJver_`1ov G 3- Sʤ 4\&79Y2f .H, pSTQIx>_G"],PʚhJp qȣmy2"ϻ؆!`t[EXĶ˵;-+ rt56Ʀ>-aĺ#41/N~>g,Nᠠ2~07A kƕ3m`/{z|v,8P8?yf\܀멷@\z(PecLx87&O;еkHV<2Npmc+28!dVlp@@  % _7FD2ҒZA$(WL]}BQϐ?ViM1VxzZNQB d6iQM1 D&?M%O $'L1Po8kS8[5dGe$["Hۮ9]B,G(Ȥ~4beM&/'&^bLWddzEݾՌum乛UDA| G|heI`;azb 1KɅr"; hvx`'Qݼza&#)^l" =& p;A[@f )h=BM'Pݷty4}lc0u&/q4 ˱%y{n{c){@]մ_5~M9N^.^|hVu(w@n]]dP$@ {Ą_A׬j@+8DD zT8>5 ?%G9s"`w|Sm(19eśٿ0w3z& W[YyZ6ƨ߼h>*75td̼#;8A.őfWD`ѡ û nx< (.@2~;Ŏ2V-*La%6@yj FRS?(9/Bf=bZpƜWȩ=E 5TT)ؖ sep}V׷8WM)w 299 -cH+KAD3vbip"W$_&`=yv\ kϪe "KńǢKEzNbGLBGIc(ACS~6tsQiW5>D]YK}tK C]BS-t/ ~C.<ׁajqP$&pX WT\S,:J$;C jģ_2- cȁ^$K>4`k. :?&~ZϱSAQ:}}RKKuUXMl^,+ذ,,0gHO sRIlNG8{DTH-o6MPT+H.,C]js& 2SQ)^0Ao*, gy!?qaCHǨ1 C)' K"NiR۴#,㐛;Afyѷ,Hn[[O\Й+ [C Q92$~G2^#Vqss[KXj0,.D@Zt$c,\ďw6aj&VTbp2w e:hX$oMl.X:t]_e؂J :QgYZ Q #QG #G% $HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex7zXZִF! zL]A-MՋhvG"uIBm50LEG=QN*!)&7Z=r0t7(JΤL {45Φuq`_^Cp-ie6e-xyVݷ`xoEZnb;$48DVlBh˾@s[wu"Gы55;kLCQM0!7f~<8e_Fk'R&*G~(6dd?#p6Go뮢[I-n,k8? j#1Ε`1l;$H`+-P#\Xb%4njF[WoZ3 PK$#ȳ,>R!(ݒqSc"K:ӥw &V7SO 2[N=w%PJ=w;9aU+釄ڊ;|Ŗ){^41Hk|m܋L#_ Ե+UonpV  gf}P*e6(_sl1NJ F;cL'bgVl1!7FLxp'IdUF՛<\ NI>: 9ؠ~# E07t0gv̎L}9zLKFq7?9;0AjyHt246rU¦UC !̔8հtCBB/hojBEWV<-kv p{HZ.m49Y7lhbaٔQ$se&yHPi+]A]TP5ga`N җrrh̃g8LZgEozuU#c}ZMdŗq Vۜ4s*fnh@vsGI`Y>Ni䰐s*K%{:ou>sDԀiW2uc JkEK%QEdDq (ǽe#6EY1BJ,RD"=ږx_v _.O1IvřXBDCoց {G\̎|r]V`lp{ՁP%VƢ1]‹ܱf%:Ё4}-9jK48^'a 7bPkaߦPTmc}yfㆶz\Q!~*E|U;AVb8F| > ׯYIM)Csh@^+^oôg|B-8nlqA`Rk)@ C)bozXRz'\R?O -s=Myl}ڦpđN,0\F Ȉ'.Ss( Eݰ#6j^0'8Fs`01Ev=J'sglY^ϔ툇DU$ڛȂIMxfK9E4g:㺹,?|JO)q%haYn }Nc".+ᑓܠN/d"C"}cX'(cm͗RAT$-,M9_τw sG8TEi@y&'(è3wQ}NX) (Ì,>^V"!n(N8fa [dD; Є1RXdɰu33dIp+RIu3r3SjMjgvV4ZFZ[7&my?Hi,SWXXCc&|@{*&$vG }AhJbUz,4^ms5y̔9S#R= _(UI}~n K@IL5)P>` HF '\l$ -LX|O:7w&7gVhI4PVYdФ@yz}*qkeGiok U1OE,_=qߞݦI)]s⏅2KL{.&HL/$Nm,O Ww/mU s7!3vW.ԁ!^fuh_nucW7![o v+u9wī_LGtЫbfG iDT={j= r*\tEwO5˗;fE@A *Ÿ%AΧqj{MOVxul01u/Y]qq_j`DCn&cpβx^^o+ZMgඌLBiiHzm} a(\NxKxϜD̆fی5Pـ*| IZ`D CGVRMͅC5U*~Xڞk:>MEX%D&-q)ᣡCǜp6`D^ӓ_knh2J 1݉dg< ~|- Nb4H'HGPHq+J +C7 [HȒoAp-+`oe#6RȻ kE{N]uDo@̬pLPlgF.^r*OEGA+hx*T(Jsذ#xO7.W!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'O3W \/ևb!-&a o߳5"&d:y܂d13{/)[%U87cSG)hwt9ʌ_i&s uNB']ftY%SM$WbN(ksh~ĸt:7,WD'ƿV{snN}Jqͼz5b9NaGUڟ)6 Df|OhyØr|8-D5 V-\B.b^kYM,;3ă~q뚺$arQ~["g@@WM;Fn@ݚw^^![K]y,HcxpMN;صe Qf/f  hf¿,1=ִyTڵ`p>k:2-x~~ v\+r^y3!m* Y @rQN&EulQd,LԶ$l &/""r0˨ >n, ~.L,tC0aqaU` wIQ-.@&,\ic;9U,t%Q٧:ҴqAg3@Ƨ<۴rؗM? xc a GZ> Tcn@{ôCQ `ZzT E}63`&Varg_}[wƜ+u9(.5Teu#5"h ؎ޕ΍U\v2sFm!  Ak ;7OvUعr:`B)z0($)垌;Wz?7%A'tqL.wӬ1ش W{6OQv6a` ܌/S 5q҂4C7~bhCT) 6vGj)C{8@-F)csbW= A1Ȓ,x8RWFJ(w7{=1ʯ%&å)Y,a{Pڠn6ܤ. H6W $ Dghwǩ[pi5LYz!w@8TYF];޽e `[/@Oq @ QbM/$`ގM]`Wp%NA-u?Zr5^A@e##r-5$yCP(su)Wш@"{QU qq"n1_"CѓDJHK7$xZplB>#8q0lr|"bt9|Q~pU-j͙qGS@*9'K iۂ]{C~ 0zd 02zY(٣ MF/ٜ4,-" 5:)Īncn4-M,-t͹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Ú9X`cjl.ٹtXbCma<\)ɬ E%4s7y6 ą|HF qȋWR&JsuL\OǗ22?p-8Fyc|FD * ҇) , [Vyvg\9N rl8N3~#z%yeC/i ]VׯV7-b$JQ~*Jm)?"1~p0$Oď@*7*2 =ԕM̙Bzq+XCXN8=ކ1VGhϕ()}Q̭EF%&Y)Cےz`Z9vN5 =1}aW>d.~Ik mv>#3[W!X<|M%RdV3/hK@EލEGy0"Š~n¢*$1+7afT8 90 :$2l$0.Y*:u  hm+$c٫-$Eiَ-H)RnXTހs1G?&|^XOٝ"XIK lIF Ҿ6d"M<]Z)2ɲ(6>%ۜVn ʖ6;㺡au  ʺ1&D7=!3}PTdzA#O$NTEHLwkvUp,6k."tqp^]B3FՉ!T!ilT N^IӴ^-2P2s3ql Q H)&j!#_Ǣ)h~SҰ8Rml ?=LD ?+2!uȅ)BpZv#3e%8"]ØR)$kᥚg .:F}5jcw jV}#9A'ņ8a~%q! H՘Yj&yn#dt#i W%j@Ö^7Cx4 JɔG1dJc\(+=j5bL>{}M O6 9|%q7⃃Ou_87k4,m:H&f%:,E>s>?Vu|Z-# F^ +Ŧit8ȁ fKYIKu[{A"T"ެp7ʾFBq'>]j8)G[v$MDr%ݩd_#ǿ 𦒵Y<k8uYVa'+` bV.,p۽$F (pYl]rD$ ZF#-"?t&oJնP)3< H ->0.Gçyr\t,SRd+! MG5=byϒvw]vIw(s֟1E쮶-}C<[<+ĭ1#Q?{oW4nƟ=Ic-Kf9?ʆ0a逘6z(^~ =~q7zk끩;_{en $~GV(mlc喈Txh+i7;p:"p 5IZgB*#,"r_#<0Fx ?hGZ@AġzgsD+$R qV˻#HRrRr1 hUUF b#~YJGWS"F=!hIzZpp~O{6G{vk1 ޝ@ Gn >  U>ᴞiz2^ɴT0̺lIT6xDio\q.t\GR9$g* vn)~WuXkbw`ۡkaRd^>ƻTv7a݃v^6cݪ\GnzWbIYpX/Pؐ`GUc"(bIF)rʹu%ezFͤS|1MD|v`<3Bc=Wp 7 GYTZ6"y̱Llޏ;Ԫ:.I5%rrGMʨMtb;*cqWF CQh!:_ >dz'Kj1Yx apJEwI>Ծ]b9 JT<]Jqu4Wv5QrJH0I^7_v^vKj0vRs XE8)$I^ͷ7e.-n"+s6z1O݊&<20H( 50WLl@X=&c?n@Aj M;[;HH .(I7߅n%YOPGn`ͰBJkyW;U(zKHH}} Cr$NIPܛcUAb)>ai͒ңDc=8[Q OEA۴){;uWRJsS/)38.SznܴԖer Ts,+۳2˅B x1XDJH gYZ &&O #?% Bs/^:*4_xǾ5}1ڊCuF&;ngY8"TuGk@13L9kV@<Sߏu Ǘ>"*ލN D A[P+r\ bՇWK)Po"tc>8u2Æd1t@Fn %bsxӋhrQGxdE (х| b%2jʚOdAbD`ҤBq/Z5Quyqsy9$@on cn~KykڭyҜ&̍K.$n߯Yv(T1`%Fv.>ypmF݄1.CͿip;tA?b0nI}ݳ0h#g&S"B}&GBVWLT`X6V})VMMMBLgLr.!h~M'\Jd``[L=iUyz,$w^zUS0B=nH3Mk2,X0~fzknC2eF]&VTπt}6U_ǭbM:D*.qE"#ǸZL4vV -'7Y->A]~!&N0BUC,.vw}FrGY! OuUZLmGJ [xS@(O3 vE\ ~wN4tq!~8ڈg=~Ɏ{ĢJ*CP 8 %yK9dtyh\R×-[k|.<=pQáXB'Oyqzaԣj@sP;+%>/sSp&DZYDG?pݹzf/ݔE["JV {#F)ȿւe\#U`y!cUOnGťl#Jnahj*Y QwuSG/ۙDJmĂ6hJ6p\=+r+ 'i-m]0`Ōbx: \-B}+T"pxR*Ut1ɠ[\"g5,N#i&mrwq]oMi<hIv_!g~pZB(#Se5*D]șG!XDR Hޡl*]| x~B,f;H~l,VdmYi´Rӄߤฉ!f,=.ٜ|YjRgY t^[1<7l4YI?ΥN| 0=ݨpfuEQsz)OGm"|ĤZ:~V r|щx4s/ѩ=d@޳ȯ00"z?e#W2 1X,I^9NLoj )rY\$-ƞ^/bםֽ uOJ8кqjha%GK-p8L&z!& ) #Md+D[<7ƶant{ևH8JeJ% t ڢ rDŽOmP<1(r.}RT4#7_/ ,\͊"KC/j]pqD^9ȴ^3[tD3[SQ$uUրHRD9JRJnv%ϝ}AJZOIXvv1nƀZ;I9f!vSR-݊*t߇ϼՋSq\ $TS)Xy=nLz[򧮐šGjdlSq8'޴9l.fGBe#/ +ESh\Ƈ? 71(NJNk(=&J\R [7?`00_﫽Mh- 9'I3W@xPWg`anHG%p85*#`>pUNMEwyu4v!V5$[6⚼E'%{KZR`Kŋ#L#A_R]fe?jWQOi!ęiOo,pjZ&Gd]6>E;pw86MlQ*ߛD??>(~C\#]2|IC,ɞ,Oo>phUQD۱ʏ"R!gv>~DV,Ǯ_qL,. oI)v J/ৈoL$}_HR{'ݠ [ )4M6 6"i @]6FהS岖yS0aiNȅ1{)37}B+^^tGZ}nq!y&rE9Dq0xkQ9v.MlGVc \NnD#pPO{VXvz] (Ke1fk׫^f;a6TX4.pB|sO=TG}HNVBlyYd>K8炚-;CCتƲv4.3DG`ګ/ 1,ʓpO:`Fj룷!G,NVT+AzCg rHJ TB =Uk c/D ;$ElzJtaa''*'^%0So-e#^ȡ7'J#oȧ "`EhSckІ:Sk1cXJ2Rb'Ypp>&M!7qn%Io0IYͅjHGB/;eNb+kNu63<\HE\xBẰXyԍ#ec[6Mw% !t/.v,R ST~ zrJ33c}+HϢEƅMk-1 y۾ Z@5 IKR#%އ^cĄ+1gϲ h82}uCQ.9G W*ͮjt ?/N "06&} CooB׉cr+XUqc$ pbۿOz;41 Аu)+3$Hm+Yv,OKٛ:^buNңWTO8$n < a <l a(k& -2ځEL够C׮J*!x d#r "* Ő=$56m4&߿aE$c ݍ '+n$ZQMJ=PXkl TѠ*2qk0B~.L|,1|"y)'@86f]Jv18RdAݎ jis͕JUvNu:jvxhdbMûC ۨ7H#RKj[R Yef/,/%DHu=tUO^ 3>ȊpE?CMSx;MyQ:sR _y'.HHȚ=CA90;pR^p辰KtzHYW=1l\7k0*(hG&΀E8\c6>)U%WE]gɳ˅3RKSOܑERL#A銩\DHw`Of)*N]r DW[aߝ.1 ,^q(}`O;$5mW,` њ%$2youǹLM ޾d̩3ֺ>qhkS`e۵n72NI𛠅Z\ɶGKnu:Sp C|{`H#1Nf#¶o󟔎`AOgq7X@q.S[^w4VPsdON/S&~r+9ܒ|0LΓ)dwcSd.hWTzA&Q06%lШ5#%}0nD$mg kfUD=6olZH0Zʤ+Q|ijt@Co1@h:H(Tf:@r⺸{s`7=7.[8S,!jF糳ޓw.ќ"C8Vr3=5m_6\xϲůED\ƅi"A~$(|a O|3!d_Q˙ ~$?U8-n?wdUVSGz%kZKyr2gB 4r NWhJٻҚWB?iڒt;OL2Ygasţ;+~ir91!2U{2갠] .UuQe~݋а:YR瑞8f~-"lu\q\3&=inl ˥pgnCm|5e#{]uI{2@JjF|h/kMLK#F>+-;J+zj\"ZWmfBu(RQqUt]VV::ΕbޢwNay7-!%Yn,WaM}1f%BH `׻!K*YQrYyh 6>.dqI*}`_TtXr ,U W;$U;gtl?~`a;߸O/KښѼvgG w)~T/=]u Ÿڃ\r5"oԌnh?*&9bn a~`]" %Z.x^)iPLf(E"x3W>Nn Eg!# <1duK6#pm .y*@qJQqνh Sm VMᰓXSLzOZo[l_H |E.ה|:'s- O& @ͻ\2}/м=#D̒dW9YvX" ?_KEIIx ad Lu .%{cQu`mN${BD;?S: LLZpWB-qd2MyLCRjΥB1 Q"«9b.(ːNm]^  t tfSL USKt7b95W;6$*&HeuwZk e`T@(kHUXC9BT[/VDQgYZ + #-% HOL-AlgebraHOL-Algebra.Ringdocument.tex7zXZִF! %]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 1mI-FgB\ L Wg>yK(/( cZ0@уS*L6'_Ն5r<{A'J0#ғ_YuzkIKb~%%EÇyЀ\}z`Y)_l wէ>,Rzt@%o9kra 9{%/-#ۘTu gܵi/nQ)iJ%W>#%Y7V#\>kJg7R~SN51 4gWI&o{w|e&$5I6Vc"]ƅ,JŠSAƧꐻ &FFbjGϣe*[>X'릱wiWT<ڀBʾIJ%3K\ul `]r98`{gcѲ6k{e KY H% WGV={)".' K8L#0fO" CFn &7< ?4}>`: .~ӱaX6yTWj2%Dc 2c?Wq^.l b79X\>j@V:WT &< 5oK؜ +K)pq [vOJSJB.FC!YMSTڈyN}1yl-Pf6΄M0fN$+ ۫y/'ړDD9]Ykt)l85=uY94"[V̴?3j[GL3Бy":9AExK_i ѕ\2P%덒jl T픏gm<9S!>NKz$_VU/׃dAR~cԂHY;=IQEcJ'ѧ+A~tkѐu\Qn4~$4*G$#zU%mic &Qם]a:0tNS+0BW[,5F*vZC+ #3% ,HOL-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ݼydN*z~ OJBɪye&9]^v:JQ1 s?X -wlO+SN|U1^yu1U}r?K|\сWD姿g֏o]ҐKd(7@t觸\ˬ;*)u:EͿ 3tnvyPkS;>C< xŏbyh~T@F@P4_Ө ģNz8vf||=߉߼ IcEm|nn3M_IEdi0#;Fl;LX"z|j^؈a::?=|ITZ8!WYX9{k 4øS%"z[. ­[x sk{4XQN]Fᤕe9Q*6 {{ȩ؅gM U'2&KM QjG`\V6Fp $˚/Ŕq.^DwiM:J~NDӘ!E8{ֳ Yrڶ/ v0(~郭E3_ eEDG}v=)@pLA>U* aԡ̷.-.3)(2WyJ| XJPzeGaU=T0H"%֔\yPf4s.Yyh1ߴas%N[]ɭB]炷z(`"1TM7X͏d>2.DYߦL^6&C:g0Baz+1)٦Дɾ6<ݮ*Ȁr]"TQAr68e\Mwp>P^†J,azVvy|[2jGj 6A}fmY  ҢגL<-gA}!K ^b]鿇P/`N_&/6G"@PKS|,+k0Ŭw==Itf(`D%}ɇఙ5jH:l ^pa$vUT26F K'%$G⹍t~D)b·ݟ {_IHJ#?1"eo'ܔ(sTx1r勴{9|ч#ٶe |.ɧӰp3 Itvr 7S9,9R(FvfNp9#X>02;(S|R<[yNϕa3(t]4J=crx;7} ܂ti^MF_DԌ$0pqB2,RD1xWk`FPIw$ӺA4Y8PG)ktbIA% <u1NhDp(N':Wa\N+ey9jϘdmg48NٕlNn N2v{swld8JIp]0/#aV:΃=˦Z¹s:Cߚ@|-5$ =# ) ~e5p!~L26p?W"CQFnp)BQԋgwDZB^"U,9(?5ʘONE8O6wi^ДQ ?n?/qsի* >p~Mڤ(C7*?| D`*M^}B,:+3ݛ@:d5[wZij=^&o/7Z쉎i!ȍmd"0S2xap;L/&{ef)3\ ,@ƃ*&,t!D,i#Xȵ~d\oL؆?Hy/+cm "@ &ȧ|'л)GROu7ʬXikahnNl^ڸDs-DL]p0֦0>~+0w{Y{ cMWئƷ|?//;[Pvؽ32X/q` -]{wf{VALllgiE,A7r#C]OLTAôYY4.BB2 @|/{4~swZ||%.+%0C-sx =Zg.ɢYNqV^!̐JsWŸ=E= #/ OWx?H~LJU(7 "s/)%dTޢQm0N7h#WqCcߠB7D 'qG $Emjܨ8o[ZoQ>.N@4e8pQ{d9%,yuq7o\đN!q%K"̇O"b;MSf(5qWd;)|`вFGҖf 10B9]#stTkBL NT1o% ΐI*Q:a /"d\ q}ߢP:f""OF؜Fc/l+?Y; ÀZQWiVx틡Bϯba>IG^i{LbTj/"c3ۊ4> 4hW ޥ: Uiw,嚍V=O"ϼ!eCS#ܴ_Q[y";gV_X/fl5VHr +xT#ŏs~މ޴ Ӡ i? 'u$+qBy7`sS|z6 /,`*ATI S]l`%1SF.f'n,+n3elVm߿PnQ+y6|U -l!\لgf'眆9x$ j$Ly ͞5ʔ+%޺R0ЛŪ|c=iQU*ї ,.1b疻ތ-kfi#,kaJU1:9aWY}[rDPa9Vv [2K Tfc5?u]vnkT'rѠk$DP|xn iAAĥ /oX6Y g9hWU@8Ø*1Źi¸v](;qGi'.FZm9mAւkQ)ͩMv3}l@LtmE *6 Y覿]Ö?IݧU֝xYBoȖY/?-g ibx)$jGn1cۤdqK+:&-sʭ\0f NG#q-`BLXx;3f4 ȫX{_0L֬ F=\mĄ%MY5YPlihV iYSE.t{=Ucd5cH5ڕڿ7@.v) (zc=Vǖ_'kAaEA/7&nI <(],%eDFz&IM!E9@H+urQ͗5iz}M-sDhQ }D@ƶx+jSt'j1aHn,Ns0bL!niRo~fz(!b<2}=XUTljwOjJs򁴤|*rӺ:hzœSOCU'Jvdzn_۶]\Ѳ/#TgCp[_MH,i!$yY^RR8*&[]uDm? iuP%%XfF,Fpb NkZ_^طY#To91ICemѩg޾p V/Y}+lH B&8PV1%l&0$cyom)V$E2y_/y@2A;k,|Gp7`:Wdйg`'9(?D{ʅ~ӗVpPnT.ܩi кe@FSo>T_WO8-I$1Q1]JQu-Ųr$˜{cn۰Z nmx9>A~ P<6ؒ@Lx, pmoydmk}[#[oPT3,ާHHʭ2WNrlQX{klxHg5[v1ȶ:<{Me`6p*xhh%EnS#+X^cL5{:>jBB1KԿe/J?3J'ː$lBITsOl. I+$)QThlw,Ck{㋑aqת)ų?7F'nn[\شgZh$ipmuhj(1yG[K37 Ղ= Lv{XfV!O4@i3d~cdG"S ܥ Ȣ06I0 Cb)w ,6XʙpSqUP .W@ ,PΝ3w'ժ{LpW);$lazfC pNX|n'-L,* f]7`;ZQl،g 3s[Uϟ{= `KlͪdMW箰AW'CZVi)&@j,?c=E?b⊚(C∮0v ZBwHg%™|a )d;~TU` \`\Z%^eʰR/,k)eKd{s$T^d_2Hu05eLM!DV uL(b ,eřՁ zoL;̇7ׯsIMMgبo.®9:  U-tNoi9a&0TAOwALaMvXGNT7U=HD> 5Vf IH=NsVIA$=D 7G!ɕNQrYj_Ӷ2+dTЮ+_̌&:7jDړPE\h40JNSEtg];"+ʽka/$ -p|%vߛFjYi$X$ .Rvҧ >^ L2?PZB_Cu%֩(.l0z'EQSk_vxT-048Z^Csvȗ\f|x0v*GdM嘡CA@MF5~A\׷h4$\CY8#`Is4 7Y8^) &zŷ['fV18K'@*93kL' b]`MS#ae!sIOb!~9TWd;Wt]O<$A%ԊNz7[T5t]:pL"i:9 ͔݄ۨs[qR`)2 ,*G"E%=;J;9w`2aVHǙaAkmsM^}bB|CBaW'Hp2*ː8!p\i5at1zNP7Gh- ~洀_JIf)[Sޣ7j§ uTL\M,$ V,+)OeǀV'@QT/4E3]lx<3*@4"I }0 f7Q:}Ӈk;c`=c #*4 !yN?ݸ4xnzƔ,زWGi(X$GPC3c/;c[[ȥ:t\(]qׅT],--Oy(B4h`Ps\~&*W; *5J)Đk9Բ<`$lkf_)$Zq"4;?4tp(K{8rSyb極cpJ樞~*D̔dhi2nZWe=qxn5ur7} mT 6QjPZjDL1¶F ˃iK/?SikBp葩iƔֻBgp"-; Qa1H%'A R׽0teh/8[?zaah=?uH:is!Sh(GZ ͷ1EB_Ā >2Mb$ԝ*ǵNo'fd3lT^?s_y;٩m+ƞɱ4?mV [npXjm&}ҘD'\U×rmbBH6dͭ`ޖt_ > 8*?|hT^Y7C)$ f^NKEe/^"8k ̳j`Rv5Thgxw\&*"h_FtET1PFGd67^+΋#7;?L 8v̹ JИ 5rU!%|M Rw,ԇ Yغ1J)r12ǹ6f/T,W'vv4XzadZ|м<B ̟RJjJ+\(i3"?Az0껄N\an0  Ri-L&װ?qlD@="wJ@3Һ ;75/ep$3)s<|M$t# ׍E}9jќKx0*rۖM/tO\M/:K۵>9 7bޱs)w[&/epHWZKx``c'4nj^.awr'B G!lfIR&Y;0R^'IuL+".Ms).ṱ8&\=g%t􊢎_QPf,h;:Ry$n4j%ܨm@xP$۝VqdIm4O`D? |OoH[䛣?OB`m_0u}\f00cُ)'rU8N 0!IY80 vtà3Nѳbp~Cu2QYm#M[WjK gYZ.AX+p(]i93%u3EfQy\"mA3'xKUﭶE1S}dW'-Nm6YBhJl#uOIZ]d㺫ӺM&O)|xƛȎ]oY{ZKȬd Qh40bS+^QԬ (1OE5 0:+mc-1)" :|"~sZH+9"3:"$D*QNgݫEN nP5XOgEW9#ܛp~1 #& g/ !D s 8t`Õ'^i\]!*F/T ⌯c86rlz)rF(/2v:& ń隷 wI~CӋr/A54.)XR`δuDOǓܫÉV) z0j"n ~P{8La@$Ua0| ;5j1L؞ ޸8:bbtcC2y(QXWyL PX곊OYNxmHXjCYڼ mᴀXceCKPImkM+F|`bLgy^]AS'Z=3}~h׀JEzM{Q:K.Fg Snb ,@|ebE .ZKHrc~Br`}—Lr+c4_)|`Z^L61Ccj[>̲&EQ@8l\CpOϠDϒkQ)_P'fsߩiQ2wSKŧ, 5wG?^S4|n:LX2Xv;_l}́ޠ5_ F.vuUBٱ</vy\~D?ش9K.]p}}z6w;'mV7TɊO#pө]^M}z %Gc%MUL7^̴(윾lpȬhG@b#z` sPv;HD?mրn^KِNc@~MĿzzGv/&Ads=UmGu8kp f.^ ƿJ`Ylr'6 D7+Z)#7pƘ!{KHP#ؖTgk@o; &"~[Lnر$j3ؓG9Y|PK46<@J9g.pzyho>z$r4 (RF#yM~h&>2L/]c̅%w޷dF$Px2-~ y7v~iF!W̴M³"96j׭y} i֫O"m9^dPo׼sU ׉(;NPՇR}P2R| hu_䂴Q77t ėorKaǻBL@/4m͢)=6Zδ;e#1+Х |:<~=;;VLB^a}Ȳ_ĜhLx>2~v^d)I+@;CȃH)Dn|ÐMD`;U/X"3^?S/393okI,Qc5jS@ on3 9n"C,8qymax)|DisgciAV%k%W/\\Xid֪g_.ۜo`L;IK`TK|rZ sdal֫q i9+/#aߚDP3H)L%2JPx#y$ =cY5EexʀZ=lY@(M{t`G!Smoq U 찰6M "YCԨ̍4B?ĬSUVcM'4S0qؽu]B8Sr漴Wʔp2>I{k ^z%>DKvç)-|k˞95E㭡G&N׬FtӭפDiTɚWRosFa ;bv}c^oo8CjNRȫ|8N+I l;sDTS]4:oʥ-yb1G|%\{ngQ;cmcAv_nnebוhn Q/K K6e2IӚ{WEo#Cvwϱdw#΃##Q8衦L DBW9n61o3Ċ9T`$ȁ}$=A$ 9 QU ׭ wa37OѺ E]xC_5qj}2,ŅsbV.;C6_LO\ˣx*eصJRL}1'v ~e]kI/!mrynss6C~;ݱ +}rgXԧ}?,q36Rܹ #UI9کnH>=po:< c9P6r~!e4z ')F)w[oG'cJ_`s`uGɩ6P52vs"|y*?NDo^rjՇDq{7cJ|8+/?ACiF@?YG I? si#(aT։vr}ŌU幙{{LI<iHljLXW8½ǰTBoD5-0.󂰩8vBϩnL ~#~P!9qb.8.W91N|VeAx:wgLl~OWJ}Z:#'I+5XEr AVkxAs@GOq?;ih8`Ji g9[6RI7;QāH@'Hڙ.Ф3*;܇~ KW:A_fX=ؒ ~H^.e}bal Y90uN?)<$ %~ U!,P' r;fէZoןemSMJւo6RH߿**/$K?)afBP@F }bH ڿz<=.ZOȵaT-Ga tKĖoedOd'"k߸'`(ʾy|?dY4/m~LWD-1JYvEMh6#J1:˔f2n0tN(7m53$R9vkyV,(ќ@#c.AJyt8To;0HqFZVp6awkZN+,DK@* 2CqCT@'Pf!LꋾܱcX&YۨdzVQ~,vdv]gӡQl̠Y](]@^P-d^"#l)/WΕ7ղL@6޻ݝs:{Įu<].l "gu1qkI?sd4֊X;1AW׃_ɊUsK%W`V`E1 _.}Nwk< f><(8O(Z">;Β1v 4 Uc$3:{o/!yGbA+HNjT0H(?4h>j36.|60DG5-n$CAX*VB"+(F`sS׬U@qGj)zUҤ L^##l 6{l >|Wf>a"+IB1w{e%L!dmٖ^W0[ɾr[_S_d3~GDJY3,%bGs| B?+hxge覕|3ڍ>bNR*3zGށf@ B7b )Sءs{ P v-@k ~dsܚ_@ }JX(@wP-I _űfivp 47 U,GUNh\d|)J$UKkMC㱛 ٱn>껾g8gg/q`iִڧ~qOijmB+3#Dmsn^8i_)tm~|R+F}I% #m?76.Iez\<$4EKK9:d+c cx~1݊78{qHX QQ#7)_;P:j]m;4嬑:㼻p=DbQeh!|CK8Ʀ6(D=j*\1C$<ȳ㝘h1ʙP7$n ?3kdY?rZXSxE{~cz6T<ifSIN(b1Wȁpu6Y˯dx*4Z! ,6AJVuiJ%}1Y C|ҘӸwt|X G)In-Qj#S> ^;1 &aF]AK`jYɤ = d"%B#8wՄdܦW:@)V.^~xk5$F5XKZ=с7c|_*632|R+m}YL.3.)"HV);}In?Eˢ W׸rѢ,+3oW_nJ'|Xͫҗf ^M=y9`) cF5CUa'FX1vvR>Ez7d) _1CGO!xq={M5q{i{I@SWɫ! }oc:S']!Z҉.d͆,?*#F?bEyZ|)ֹL ӟ}L?2Z1ZϯP뾚 Y{1* 584{Ng{M[$55w}2" "YzTOcQQqBqڶUSJ!ۢ)Q'9+8G?ZB b1P=q?lzR t&]óuW|02C gaQUlGn6g%K紥3aW!]|WS,`J iks^?~D 7bH59t:aOVt<w%X/ 0 /tP-Fw!<@~eTAo# W!SRCoiϭ(PrkN@q.!Y \Ѿb7VF~֙"eٓA|jFRuю8OKɐQy:#צt -;s{"gp3!zKxH͙]iYynK~|멐#"4 ;Jk/ȶPk/C3^bnE0'u>{ZMϜxSXPKp6La&kbn#vC%ITI;L^ue&r XPL! sO7l8 ,PYFv'P:;08RĵkN=-dWZܜ~{%b6'D%! 6C'ɫKqKp83WOŖTYr_dmme(@`ʁ F=-G;]t!G95 'p z_ݥ($(r)ǟM7g_y&螖x꣩q=B`sլR1]Xzɟ}˒v$>|$+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 _7i ]tu%ʲtyB⿭5HSP8# #ElX|Go4&[k"XT:DÊ}z^ 2[*tIyȸ{EW$A&D}􏉚)r}ѠϲFؠ<]6ځ@y%|*]^fh+N76`bcBh3 aHPuv6̪$ }'DpnHJݓ5Solyh|y>?n"XO22zT$דĐ3&Di-Qө"V Oҩ2 *y*A#3qE<6JBx 8)ڰҪ(c X軭dʌx3goASx-F2vZO^69'.߆B{+QmU'X" j̍c(zclb4Vi`ڽ?.#±#)cds!xT_g@K==+5V_mQG_Iʭg 1&]8d9Y˺.uJR+!N\PB9YƔa\/wws9N6Ӥ_{S` Lv{LW3J{pDLz/k|6w\M$cmlK`.sxqM zay-Z u-t`zPk_aU6}.wNyt84lk[Bhaqy,7}u߈Dzx['9峀) )LY_JAB?-Hׁ8/ A5鲇[ Ƽ=Vd !oUDď%^ ݷxmGC|4B(28(ӕؗ8c_ gadx<+DΖIA&@r G79)JS0}c杲-JXХ[4SF>3<=xN2qq9G3AS;i~0yڧ6@ѹ>.*Mcb( WI .7>m'ITmҒ}Ƞu?.fv̡,7O4ahoys/bˋQ[۪ڬ Y+ET bn8m3)Y_!xs\ ݘ?5,nqVp%9ZxNgY!T#>39fZk˶*a H/,˭d 2HOXnc#Sm>M/ ~^Իfd+6ک⺘99|=U;8p*荢v΁XP x`lPP^"@fo|d (vG A@kf >rʮgTU`rP7"6%D0pwSf;;LYL%;p5P^*9+;FBJc.ZrR l PI3v$4'@-Cڲ ":. $@Y CV-k $<4J(v W^3sy6_"+a+)͟s,y.RR=ek=7/)M+) V"bZ`][_"FAJڙh؉,P`q}@,ʖ XiZv\ w.*vft9o7ȹw/H/@'8{Iiށ9/}BSBT<[O(8^ȿu -I3a\`4~ԹyM_QUfzJD8OPzHšР]#B&_}S2*@r~ zs5'U ؕa\0 l pjv ozCB@$:B<' |"`7kCM4cɠDyr`Ry}.~VSSdEphkS 4{XqlD^o޹CۅGo`{6Phn DRq<{j9(v?^eA!N^@B,dAIz!6&xTqn6xZjqSb9Il ۏUIX$qh\.| osLz jAw'$òfcY՚9H];v-Z;?1ZYd$n骺u!YE:r #Țfb6ʵMAST1Šİ1k`YBD1tǴߓ86k_Y^VMo>ʙuѭ;{ |~15 p:FKblm}d%aa~0q}B\_Ek14)1n3t0Q0xg-z kR|A,41 jb-טO5g̡cIԦ)'^L@ۦ D6_Qkrv=2%xԍ^1ۊ'_gNpI S &Ҧa̔BB$PoWqh),c(Z8_Q͓H6?{)EIxƉ쳜%N 9_ez1Lˡ0^(.5(; zJZaiˀݒS22')OQ.ZZ۽?| nE0]sSwx*=>Tf6Wεm3RW],%<' /)CB-ٰg;J6‘^P2'yKSݧ*mZgtE Z3Ql} [@@VOpΑK>!];?~t?7} \sh$.+>{8x+&246gYZ o#/% HOL-AlgebraHOL-Algebra.Sylowdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȬZ\hmCӢ&lBߌڧns= 4+!kW|Q]d- @fV&XaMk^yHtQ TMFwqX}qT(gBM0&Bņ%{U^I~nzTU3wz%| 4ĩ/e\q|e0r 7۲H&dOUzq'd> )ک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+ ~[ޒ7fY7 + vABgeI5I-q Pe]Ú"!͒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 f#5% tHOL-AlgebraHOL-Algebra.Exponentdocument.tex7zXZִF! Z ]A-MՋhvG"uIBm5ܱ5zԳ@Hy(;ZPCa+EIG~͖ $ Lab]~ҵ{Q`jKѲ.YeY$=V?Ee!%͎-&1R1\ttןSeF)y0m>z222r-Qn#ND8vsw$o 8Tpw>)>%^#8O9%xlEH>,똵eWtZQ?ێb W|͜otц{߿. +*FGB0Uǥ )\Ty韨=Ĺ38-EӍ) gӳՁw\""e.z} 9tMxlX6!3y:sonc|jMW$pMvejٍ"ٯ貶+Nr%rL*A#|AjC]JSn=A1WxCD*U^)GIcOj䩯Dp'<`X~(itOb6dn~v5۠+ r(i&յin'tŇ)gyۭ_:#[QJ[5Z[`NׄR)f+igL B \q v!<hQYrȼFg QfThDNw`1B`as3C{ڶw:ޫjL&g uZ=|FUB߹m o]B:)Ձc%ץXt#5nW|2&y4sjp.Dl0; ޅ BqЈ𻇝w[NqTG~SBlṒ73 _DNpae R.Y9a˳EVb4 L-ܡ# 8`A=3t Lۻ3q@\L47,Sƴx~+nZ0@)U[,e(c7,WH%ǣ|9kwL%<[=iBEa&==h]l}L[̾Ap_л- z^cSc-~mZut0{1&ƨ52J4x5by KmE98%O|J@CT'+1)' uƠ;bU!0shG֔}*ퟵk̠:K]tS`N2jVUГW7N˘V՛Ĕ"w {|Z"Vm0D0yDpn||`%{jZBP@Wrt_H]|a6iF[3HKIE=] %J ژp2^˭5-f !PfQƞ:w\A^~Ld:@ ~=3^E%?ha1lQ݅$Į@DoPrXkZa.GfȵxP_븣{' k~e#9\kD p"4|@N%XQ5)tץl ,d>_콯v#Z8; D |#Ea.X$jI;r|5BY)ָ7X9H=k\A :Yb\V3'r)~(DD;rUߺ%YGVGpI EMRzQ-fȷGʠLʨaVR Iazt9̓3mu5X0G+:ެݫW ĈȬg>4)L=_nCEɲ5윙Xh zg<gd͵F]G$c. 2`wz(%`$еy^k? ' 7noʸt=T|'̄) \݇_ fi^pS/ޅx)Z<h~m_|񑇡KlID4y62*`ͷ9(,BT'iJV mߋBd,שGySE ڒB ctV;!FЪ9/3X'z,+ǣUI%x(I|A.zA$Y_<4F$ެv-9zED'T3᷁]0x7|\݊\Op%D~N 0Z0Tc!nxbVWѣ]떞}m=1``X5f9(p{}%ó~@XF!qS ceŪ21"8jj{* f^}p0x*!ը籊?͑^rn_yA(^#ג;rP6}L= _OgMJ$;jS`6L31(Ob)> m_Q&%^7rPqPh*߁ل^Qg{шϽ2F6৒)`ܒ]^a\I8MP?nբ)Sؖ\|o77Ҏk:R-VG-U e>GҤU]ϖ :.F۾{ԕSJoۍYA{@|zzKɤ$9Gjn:i5訝=]>|'E7(JDD&VsrGU4?.27C4g X< }lLȋ2h5M*2&`Xf T79Hm!]f{[0%<J=[9J|{ P2= S+XQvDX+!g=\ʉ\XhCl[dAl/Xl<ϭ 3qkLMp-WҪR*ojq~ܬB~f)kXNS`XL`)Zzi=Q*'L8R>r/_^A,*WޭAL/Ұ, hOAr 8E}5Mi : vS#BS^pyI'!̕.X q5OK+&Pcnsxư&@9DZa cydoSx)\DPJ iDĈ &WeϦJA?d=oK;4<;cwY!Jdf7!\QnIIb}ܸui r Mc :ۧ[ {T|(۫:`,gsДBswty\ww*@GgYZ   v#5% HOL-AlgebraHOL-Algebra.QuotRingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5͚z_S,vIEiJiȿUv!o Co l'oP}@x-N ;)6.3 AސVK::C/_ zDZgb3YɂU$ :dщ(o- <_@~[/)bkG<+mKI4x~Ctiv+iu]s[lRó 'N75hCS>U|HqIA9)˚5wmmbz ,A RKJ%/ k ?iGG϶MȊ>YVoWx0&K&*6';E?n_K}@  TUZ0?pS-ݏ@`GǛRJaڎ"xG^n5MtuJGgxNtO<}eeEŅo*W{mGoXݝGѹ%}\FLzUjv7G|i2kb_  hV@ʒȳ7Lgڦ=5ӈ߅G<2]}:3z3MA#a|݆^z}@rhс]]9uK<5P! z{:;ew9`ٴƑ LEߟp79K_o4 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  @#9% $HOL-AlgebraHOL-Algebra.More_Groupdocument.tex7zXZִF! T]A-MՋhvG"uIBm5}<͐>TkٯBdw4EE$JubE o;jr%V^=z8Ь\e8AVK?iޙhs8Z4[&YOrIi6 ^͢:|A8rfXJ wH{ZSEayZ" >i0N{ :I;ydWߣ7z5Oz׋$hƩΗEx :874ˀ^gt5!(!¨$ 8$t{4n I~` 2"8y'slǗsQxq=H`irB'\I{(6o[PT]u {2{!/ »DތӌSGTR)hIjKzK@z;?uDZi9k2F' ꮼrinHqaI_M3Qϣnx4s.<8e;)pV)ftEp*Qo(8IVA{ҋy-j|;Ix֘0)KnjM0H(TK԰油] z_{%Pw&䚌> (4Ny%c`OWg'1丸GkKRv«{r)i_˘~w'RV}mfux4=I9(E$-y 0]eſLMuEAe#.ۏ9y!nJ M'kܑ肂S^-~,096P!]b3)>BjUR?04!+Dؗȹ{&dD~4<ruڿMn PQKWlf|A9J=Ok+Po_u%5.ǑjU+ۃlv#ʨz]>4 𪽵==Veu z#0<x3#ʺZ_s/Ub{$L?_) 3?#ѕE#"wesZ!* Kw3] $/BY8IZ N+7>> )ؑ p G,:.0ïɲ 2#5n%t5Pv hT)roUؽ䧤lX)rK.bU.e"wE]0CH^T [_-) NuKz_Ɏ"y=[Y䗊H3 @8|F$j֞v*le/;և{I}}B [sMB1fsrB\ PLe2ˤkŒ) ƒ"};9M=d қXL 0fDӝAN*Pr[Z}/^ހE11Ά[N;{JHo^T-%1 L"rcޟ@'FQ鲰~ J,W[(A֠Zr__W~\԰4׬5b>Ŗ16WѺ#.q56ۓƜ^5)V9=ФX>E3s”M T.ͷgj" MhX0Sgݥ7q_y"Х7g/T`KEI><>TkٯA@2#^k[ḰI&lYU%v*schu/Ii5G//7 >+&`JdӣMʺZ*ƬMW&tF%]ė/1Y8s 6~yA+qk~iXO6%zq4+a\8*MFBzDTm$aAE]'smhL }Aisy= ?Aʰb|$䊈B눲a8 ^ػBv蟫QOBˆ3:TI.VLwm Vuw{' GM&*yS|:m`BO.NrO4Lb  |JzS<O:u%ȬM’|E&u /_7k<:Din^NUb̈ R15TT{*ڃgM&ܼƨѼ?bm bH Zp^54>\ 9a#sQJ{&dmX`բrj)3 Z/1(+ۉ5|&K*Ɵ>G+aӨ|C@fش;A1,{՛>_f&*^9)O枟 ȴFhDYTOE{id8uߧ<1l?jy8zKm ?!P3XU]y!fWʋhs߿ ]/I?yO1&DfbKdGÐ%BT9Dr̝?>chz'sƖaϴ k43"ψ]\y/Ʋw۬|M6%bG0:?h{@Þd߿X LιLc-܇8&0vŀƭ1~,sR5GI{ y?xȦoF^4BϷS:ʾazP$ؠs[Š #V'F<Cdf DX-^;/l"-'7NKpW5[fSh;T#'}l>_kbޯ$޲O z+"VMCg Q: crڱgYZ !!G#=% ,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/ѧrqQ>̵ y-:ٗ ̟NI)t 0|3un:`O)o!qV`pK3$nQ?k,\oӲƁVs 9i#K% dHOL-AlgebraHOL-Algebra.More_Finite_Productdocument.tex7zXZִF! D(]A-MՋhvG"uIBm5}<͐>Tkٯ2&ɻФMv,PJd-پt z7X+$~%*VGfzf[|U1|"U/sߜX8>gT~sr8U$V (\7S^2 ˗ʉせW)Edy~w[iel-zu.AVA. {nE,tZߴʸAj?}ڋ_$_[ҌFQ[+QW^cLVcHp?!Xᾧ3NL+KK6tTKó?4|ct>HdFmlm=]|MVGK'V12wA+a:?ؒ6-JLg>Rkmd1gY(n!INapCecHX^UPG)ݗj)IHuG\;+v wlBHhftVޛFK ǔ࿁lytPZhi+d[Fw7\ ! ]ή 5"cPPw2; ]ʓ&;t4WB@m'۴_m"9df E][qnͶ84YY&Е5@X& ,Cb_%B&r9%v簬P58rZs䎔 kcǙ]:bDtd!I+F Lkqv_~ܗ#l(tPBg;_mm7ѳAACOnXn/KG |S.h틏tn@B 7!ft"Z5٩DB3Ʉ=@)QHXADуjsPUaW$Y4AWQqZWO~U..S0c]&Q??AZЍj(_yҵ eg~MHyJH͍_C4R9jtGJBf.L>:IG뗜`AR)(*oɿcg'pj)lK,Zr"}]3"M녖@E\1>n<A)s>E |Wn)("yU;w#_x;۪M$btUsm#8FD5?'=l aLO)SR?6$8bLZĵX.k1k}jA##f*vUj It!2 ܒ?A){1/\' Ug0iE^uV=:wkҤvOGd?>TyۙF}/i<RF&S[4}V=`#8e B|AP0UؓHHW+Us 'oEK[L΄4o=t<"4T%UN=qϟS"C9s0P8gl^0K}+L&L3ZnpHςܜ?ÂQy}Px2 ~0&Rf(^ފӃ{Yz6Rs_oD]0QN7&޾ |c8#A>Lc?ؠtkF-OQL' wIi=TZTj< vQ]ؤK[)ԭ0Z1q˦>]iV)\y!؟z:ak(dU.x k.5.+A{CPe* 'vv#3fXwĭkp1Z Mҋs_tbϧܜlzNGAU/F1*"y.#5fg,:"#` 8T$miZZI#6LIT,Q0NNb% HRX'1A "X< 꼔9  ua.'v%~C'+ƃ<\w7#me)̈%xS>3dHQΤבy#h+$cU3WJjVV^ڜ'Hk3ul@1q9#5W?isWX$SWKc] ܟ0'7)9ĵeGaYDs# Kօwn_TK -/R#_l (6_|{oU_W"Œ# |5g{fZB`.=آvEl`I fyf]2ƍ^[˽Z11U0ɘuu긷 R/,~%7"450^17#+ı#@ Ӑµ4>m^P=!Xܥ]#rlM@>tʒ: [{ڛ6L!͏n?>G37z-`ׄT/4bu<\]"QR&4@p=9n%$~bǓPHJ%ߪkFZE [| SJ%z٥u{CI)rt?*e6G#G,*NONq# 2U;e#FH]~8?-%-xAu}椿rsd]Kv8 2Şabi<#hЦ FXf4e vX Ƈ,6݂퍣 h2\ƯKc]t\88s5GE59kV`0.+WtDK!לƦ,ϊ}O-p66z<(ДԳ!a)ft2_^`d =x>᡿$bI}{iybiK \Ϋ6$y뮐tCkm'/ @+y^L`~h6܀}I*êUD۫ -Y "5*61Q!NOZQs:M9gvDBC&`.Pu6g0}P7{s#E: Ixdѐ۪ZEnƆާVnyF4A%?TΥYyV L1y&goHc殏X;H` B&^NU0A s6o 5Xͨ7?3ȃ1AXE O~ ܆29oҬML3Z7Ewm= ڍ&$8u4'nP-(L;B^l Eqz&ЂVw3qn'!^$}w>j!j^6LQװDW*e. FgAÇcǬ`t!`CV1:cݛ.7aTC{? ;C 2y3`E'bS6!0{!Uшn++bxZ?=Z̪@6F2sby ?.|jH@F[^6v$fw@jZI˂v4;lyFpu|89,ufъM% 4cg|:jniGEYlz+NġxI}< P dn^o@MO98jm}G?n>%ǁuu< cAUP=N2[ G1,}X{W'j5%sɮ:CsEK0-* ÛchK.rMwQgk{,`!n۬+/P!Lw=`ĵpeHii7J_pld3dyfmk#8+.w2Xe*(dL_4rR;j9&WX?&  ɺFx˵$vG}}x"Y5Ys%*F.z߲O" rz I C  'IJQaA%UgA"AU(Xnoڠ$Gt̃XiSw_$r4ht|kgY :?.BAQ4PMŁXQo9dˡ7灋UyH˪`JofK(ɽ PZ'(^MQ ;~>q_`ĆlͷMtQk+`!DM4ج.Ɉ2Om4ubA?!L g7S׫'N@# ;i3,mnGڠOHu3XN4Ӝ@j|s%M&rt!eA6N6lG ЊPt?@V}F#Z#.%0Rn5F4EAYjbzJ7z/5vxc8pęT,,<'sp 3:jZO^Q%Do3FԓeVFH+v[9NgX=șXqw(f"uSBhk s!j&]d<3ī=7c\|c|||Û칚Q߀H+Ћk4ߝyXf%|D(iBY^8(ؒd*7YǛCBeu q%c!By7YzN{m?xo3e:IepM 7LNǞ#'d<"A?)eTZ--,z!ުN'uf+{'yn3oR0MQx 櫕d>GҊl4p<@&̖p&dׯ/c&T2T^u`}iz4v^jb!R,21G7˫7DOږA#36ObPd\.S M0y9DE>sp@zHs=W5_ĈLYbD 4Yh>E3Ʌ~בrd!K$c%W(7(<7)_& oXwȡUfJPA͈+:jU#ߑO+KYhx b?rD+-"Gd_}.9ōj)b;o\ד>Mt6.i (;痴sL_ҲK7^RIʙ\XxLA(;)Gg"  jE ׵{Am!# ;0- Z<DvrD#TF6<\_M=uϐq;HU,r:ՅK .9Q96=^AtXC 7C(bSKsJJ=9#6)H'ŀD/2CfH`Mߵ})LuBV!:ɇ3}`)zR8мٖzrx|;un;C54Z nLJ ֥ lw vH),MWY.+0]GF:YnKU~29vq-{[iCU_G6S3A`hϸ(HB uO:׆fQR2 Tix\?=4 ׏cWq%!~QwR3pN`Czpק.$1SEpQ 6c$hEjOaf[)a1K(8bvQQDm(k$ɿ2h[^ CWP6 Rn-5;m1^P vVI.`۳`yiaυdیu A Qv#C򓝃86mD5A8hD]i|3Qw(H6ܶǕ*~*9"0&oo67_<}vI3 MR9!.[yY1cWtGnbjrEEB穈hP0oo‚D 2_u9HQC2\F}ܿ(#B_|bhʂ:cI)n͋hޗE =F"[h(oJgΆ"S=ޡ2R.8E4"! 0_ŝX=2&OkMDd;z`NPFA2:*'/x^7I{WeXT vW %x ~,9*nzxه? |?06b؎4Hă i1IYkzR 58vUL'OJWnX;L+ȧ[G;#Z`N{ئ递w2۱,Q={sG*:, "O%W eows/q2JOgTm^qd7DJg"9nj^%)_RMQjJ[Dͧ?M$ibܤj~%CQn:'d Xq&.i֑E$. Q ]"YHN"@Af'/kј%=Cob4!L˂p)}ryM}4I4'S&pw{ށC"Bob3?7 u7FǤrE<^o٢YZ7 mYvEd;nL|6lc8_t"$/U$CrSr>^N[}u@Z:N+ d''Xrd*~J*Uʼ/M@>kZA$08%mC%돮^:Wkf.i#<סcCp=əˊ O28*L[Y\-=},A=VЛvTȄyMIVdGfU_:&<:Xj6LφOdjfUVEJTCbd7 <9"u\F- {]?:Uq6!`9ik$Q;!Z'Q~?D?M2 GxRG M'zSn2 rt- "YhL$\hxܬQ'HD!5 f~Q^[1oMQȆֆt!] W܋ 3lcPs8e㷤>szK72>ͯhFG݇C3F)6BJ }FFτU-*ӗɊ'K(Ơ:nz vMQ 4(2rrmK26 tTv5SAMLWA{ZvSeމGSN]@Ǟ4 VZ-f.l0W|-2 [O@m{"$6K2 Lo|4Z |p=2h#L#(MVv` LlUpJ,F[1d<:;M2ok&>m`c#;@kUۭRqCcd )n/:QEFy Ny10&'CiyIjƑU=6qݔ?o5!(8yy52;FT6vP$ow㖋Ѳz(oCӁ=vmbnv}{`lW%XPyLمdJWz@2p{;< }$ܲ!nef8#?ԪjDnKo:a#p#*k20* @-m7o5%Mnmz)FF\z8csw:Z!}6u^J(qڳCD uh.x̐,6}")NB z_Vg[}Ӣnn?_#ĎX.{RCm6C9Xe[7zP?H!ՙb&up3rfuIݯ~4q+ -Xm:ʯ/̊yzoeg.(EQIةg&7I5Xx~=gKGi:nC9c-⹃uA Eƹ 3ˁhzҋ_*םX9oƀ4 7Ü;5mN[py&U)GZiթ#FUwMfplHu1@(xTJNstE*,V%Yg%uU>-`4MC[YVvڮyd7WЭK">5lBKPwϙx0yQyu{bZfBLǾxmٽ_fE".C\C\E(M~{ۦv'!`Swq4W#8T6~;CG$+^?Q7s^G F׻Cvz8j/nl O7@[NMӁiI5-‘d=!>l0X{ .G| h n\7\7}.czv씄{> >`Y=w^P\w@؍|p[ȣ<b?OZ"!wEq,,yh )a|u0?~od)pa^w饛+aa'fJqLyvgU0ӝ,>2@{Pkh D]^ED `M J0-XאW]8fiBV35Us {7#%9x ԼMfNVn- +>fvݘT9g(d;+t9i=b2}-@g$_ ZC;PlAa[F#(nL{Eu,i/eg(̓ T&7P_A*mr{ sUtsܺCo2D D~Z0kͤvCE. r(r!.V? Eg5w<ǟu|)QmN~gKх)|wI~+W1@*Y^4{l/'dFfPuoڪ ˉ[HU=qpj ͎i{ 춒U$p$j$w. }Aiڨ5Ot='Ed˯.Vtm _rc쬊l e>E I+E"4A#ixO^b>WBX ni`/hBxÈK~wj}L6G Ԧ[f˛8T3#/㳔|1V\ `) lPTJ@n-e OBoO,B" Nd~Us"M 1W1KBz-D+dR3,uP˅@JxSwtzT~nD)~8Ḭz'mmC6 mqޥۿd̜֙ij-,C/áFm*="Sg]]p3ԌW:uBaǐ#07D(DyS=} +4Ts|7hs5%=E6HXT Lr-ʖJ5 tjQh0C_c~' o垂FotQQ 8 dQulqNTzAV|1P< AGyMW?YyCg&|0N~hѽ2 +,BiqaR,.ηp6LT;':(}*^&Ej^T%d`?h ;Q4#rBL"+U-Qa,:-!,x[$ 2_BVvdWj4hQ8gYw񘌼,&G!*I}1#l;\`PVŞK]tb DQF-FXE$%.5NC]*G)6RYX(( X'zvEsl8؎&ub)'ɺƨF-}[̌yNEon4X&u^?Q؉ +cہxÏ*c|<5k٠&skx%X;ej=]Qg}ũ͎-Yk u7T@8GoGPJĭ~ pf+r( ?i0O]^}%a-A~uoBRyK0kPG4Pp#Axư9L#5u&ZU&zRlۂly]ۓy*DUV1av^(`z +%#gnDe u],q^K4Ѡִx`=m10ew3~+-ECu6zJtڀa2i{  eQIcۓ n8b7Ohկ4^ iEk}|jh{O~`d`d=7k*;Ih$ uC` dE먡4vľ i0\ 7[nEʠ'v4HdF~W:xĪLk[b6>0𯸆iFfV<i{0֘Рf"ѝ(x Zp{&[ۗ' I5HTr:#82+\)0w 'Wۡ4IlbKr2 {mR Щ7k!x8>q(wb^+ŀTUHi?[v-eKWh48E|x)C\UĹbRuOz2uUcw[h(w?űW _v-+]w\6:f &IQC‘- q<~_8P~<6+a'u`܎0_%Ĭyt|oAwߌT2OllԨ΍3Y$sYYP`W/uC\qڤ%F79C8i'M(fέǞ}i%TLok\A}xΌgjv\hw=Ap)Ug&GVtTZ: uJ('[%iEʗ?0&t\}h}R/q.W2o ͳUo]`ݿؘa#|D$(Ex{nor"m!l |++RLBEOθ,p)'Q`B6u_>n/z=%Ts|jZ eIs–}ڂ3N6#X/X`Oz+O(dtO൘`7'<(t ԙeὩt FŀD}ec.1H9Ϋ/,M4O0)^܇Ά F"UX,H3pEqgWL kaIТ+2;*aLkd533p\%ĔrQP( 5>ȌD-iH*/@WtQIH|׎2zuŸˤC? =Mmv2g S`4S]1/}Si&qDHIgѢ .S%?jTٌVS.cxy=q[`/8C>63_N{}z*4S/BaThCM(jrS&+ݤUoۚyȫhfT[/f12|" tE?V*tV32f䡢rRdwq߈gm<6Pع8n_ֹ%o-Uc)֒grQ'mDv 6sfi`'&VOK4-ݤukϛ{A a. '`Xis'D"Ib GA":?_9 &ja> ~ Ӻr,uJU@ K۲dw]0j”sP&:fmaN9<8MsNi(ÚqZY|ww &6 4n'Ӭx$\ wLbjV6]Rv(PX!Dc  &|0dRt+l,c DVwnHIJę#㕅1X"q\`odLvz5YIgJ\6rR12.ʖNp|p-:͖ifXԋ>7X|H9V%Zx:gC XOc9*8R<ύYW}!_X n"ǚ}NeF=, UN16]Y4hHfاe{4jԥ*?[ȸ 𶍽MT!R~=7 4Wác{1ݹN՜Y. ]w c_FZ7 |fTTO<$^t94U>[ 1f-R>z&M٭_ z?'~ۚx ZI90BNd)*]!`+m"i7҂kR8R80ȵ׻{ 5X.eCy6ɿgVוu\&vMHS]JMyG|vD&Ci:n^r vs*izw3܅hod z.[rTpb=%4*cw6@%kXi-Ӷdm QExqLrv[.Zy"wJM5+EI TKƔ:ρVЇxMiDa=W?~j'jN #Oy[Xß2wVc I*u$z>9Z!g(%>>]-D?QP1G /+񌓑䲬B hcWfx=:Uekt5R gk+^SU”O+ބ:~5娼]GF@j|wf(Ҫ*fC;a*cOby! [/btj0BC2B2nFuNs67T֤Ua_M}bSMYȅ|8ru"4 躖PZS0|c=u@qۮ_^ dRUelE8m?p]}A}s~Ǭd5} TK/]|r??wz{3 Rvh7_KDqĕ1t_ű;:hr dŪ+^ce'00ʋsDCqH %}*63_$NMsEytT^6k4sXʉGsB`:7'Gk2;o;i籀qQɟ(A5JyY7 .vJf_|s6tu,DvzX5\2a>#^ "!k`7ֵ JP#3GiLF ֿR5>s_.)\v`U:i R$黥5i)Z| {O9]Vn9W(9l ;&A]7^)gcR1&S 'X_gkj~@)atx1!:wdP W+x Vp,?K-X`.0gUoue;?A98DμuqS";UvrAEٞhP;?hEȦC_8Tb좎x ^qWn̈́3Lэ/ݮJIuуlU&fp bMfrΜ3XSRABv,IŵEb *(fʖ\ON3Ѵt#c%X҆Xq^n0v,RМ=^[8Oˬ2sS;0z9Jf쑡x,唎J8WP!jZXшnJ\\ }:GߐŮ?!K{C싊ZrwT/O'ϾATgPF ?lv֡ro2W͌ )0Tͽ)2;p4](6TKy E7dk/(=V曆 Ze0QbbuIqT_G\Q!E%U@MMXxPa@hf{]c7b p ;iׄu6qr+o3Xzŋ<}{8{O:0?M-89tukM]'&׌+[f];bDXZ9'z~2Me v3`ϳ,9J_ Z;Huԛ:SR 6- Ra d퓞'.?(?Vt'  d3qUYHqgeok\ꪊAϨ!~gԬ¥SlMs. >ύ;~E`!i ‰i%k0dz~d4C/Dț쳘(J7aW\^?|LlB+B0-- +ϷlDu a‚uB߿"ۊx$?Klh(J J5gٳ2e5?  ?ͅ]!HKŽ_D^"k~X.01KҰ]zg/D`H((XY5|>)Q [^zÞׄp#<_sTj_Zy~WTh]fn]\/FϫrѦ[ZeLBCsTv7 f{&~$yAq_U?g>'y! T%$3ܲ}绦LB`p9R.+Yt)3ĥx}'=@;^ΝhƼ Fi5;DF5-||n}#|_/[>'* uw3,ZƂY@nȸA{hK0;`['v;XLG#KP20*%r"n6@y*uPCy%Й MQd,C <ų5=El};Ŏ2&NmL"M~yz`b PQy$1nᾭ/pdi _:̀c9kIhG 0yR 4ŭmŠjD/8_Uyu˄mE?^peDt3r0lRTVdNx>psɚ_\libOBVoKto1kMySk@Pz/\(bU&cKr pw>U(\s5O T,4 KxK%4%*e\ =e!ӐoXE4g{"}U`X|u<UH1ԯ# I|diG_*t,mq? IkJa: c=t=?pWăI+ҡM_MޑDRo!)AxJp{rNm-Yxg$MaB{TSv(cTͲV-B˚@IdR;o&.a}~8ߑv K4*Dر؇mx8ˊRD#mѕN%@3 -;'fOmGYܾSs,B\(/O4{763a{d\| Ib|Z/lSw[]pa2v|)19ʪoJ,ے׹`4yr\e|C X=((bBЖf7!doTԪ%8 F1g6nY)tu8Wƞگ<6r1;ݣ7z{#7ިWC,_2MfLہR>CF\ }m4F@:|gOj^*cAÛ t2M{YN0<}X7N2 :#mi8[J|T֯gb)nUʆ j Rq WN /f($J_w@N/u_.ƍsQΒ֮kFF hQvT< JUo:`(78o `P5x2. +gsE/yBHԊ]w|X@(K>J`#:"8?S 7̬Jꔔf^W^ܣ~ K\vo- z l'{T+- ?c ':yDjx$)0Cz/ Q$󢉃b9l2̭ RrIMQYz`[>AW{Ub ĵA}-p0VhNܡE>ޑcMӺ!U HTՋQѝ% Zg30NƤ5lv$ JWfuN%R&H>~Â:̑ G g' YgiÏם+oGr-"lo~?>+,Q Z*p8:MB~jDWhI'!3 aը$~GJ&=Ҟ,U_:`hЍ@hy!f!G1K;Hg!!"sqعؘzg:e wc Mk$N/$M@|gQcd2Z?ڟeF)\Έ)ID6-/%9d%cU ؚ* -v(Zߎ Op6V^7՘jMc"ccjt9`.dVEDOKMTYC~A80ds09L'X.] c[/?24As9eTX rz듷8%G{*YNHc:{=_8V ++Z$DwmSgm 'W-CYgvW[8ҵoݨA%Q5&aiLn",,@` @]FK# $ V>LADZT|CEgKXۛH)Ļ@0挰!⪄ EPSWQ HFiIu/gGџC.T4 v{(DY74^]B=iφ.vJG:y=)ڠ_f2\H]շsl,'@X Q(!s{JQΉيQ;,g$V$ B$Lj_F+/A:)q ?5;3')&ܰ_:Jx I8"9<v<Z;[^<(6ưwGj'c }%t_hWtc"DXӔʣ ;4S}p3ߗ2hDHh('nIڌhaC/Dߴz2T ɝ+laS27Bɣ,SaKĨ/E;hV'`Y4. D]4vTJOm<`_1Is W;iqM:Mѯ.yZ1ior,]n94:hևۡt`_M +tH뭈0{CwgT)]jfRa,OMUg3 gL'xoG~08q[WDG}IFiP6.ծ,VƀԹ ` k7"(_=Nu}Y`4$avFek.%D;^o Sm}/15} ~KL\D*2׻Jr2SyL%DgWlEe{,xYFo`bvÍo6nW}vLKէ.gg>Հ,*IjgT.C)2H9qQD:pyfԳhns7V f;a~W7֟կFeLqԞkIK* L6'OhbG%E6}ZWV># ER~i(+;A5饛wٵ)EӁ8vdc:Si'aUp?|B̈G;ED56?&vl Ϩ48Z=3ex)UFՊ}N- ~!GJYm2V472p'pEG݅b+S4CK[3XָOcW!TL[MϾVi̓nMhi%r*p=s*̝vAWycOyQRLYs9p3Q1!YrT7}leuXУPZZܕbbo8W#}J ŝ&Grnx7et@Hkbz-MT\+D&%._٬lTo XE]#.$Bd5ߞ `E&y ՚Eϸ:ڭD]*`Z 6۸h?!]qy6[^dwbu*y; wuu7y!X O}P`hiHS0 fA:`@,3Pl *ka5OtSx8?C6Èѥ$d9X.H8m@*cGg\;k]rj6*XAn.qlS\ &U$fq9=w Ol3> :}z(qePumq|>Elk !M!xЅj64LD6Lw#ÛW}7n?G%k9e;!/„vb)ELwNx*0@ĺ w9cm'ww^NHm Sp:N!.Fp=ZV֏ f*uQ?h^UbKxyN][Bxm@Mr`"hS*N&q:R]FV\To&d i[xB9tÌ,ćJB:4z mTI(pI7VUzݣ9'y\n}Mrt_X.XlG25Nd|ZLYiKrH-Y7bv<~tC+J7vicE-:W)\%qE-_wS V}Dkzd62\/@:N"Cӥ--h /987ѕwT) ua,0L $$t0C I[??b5XU@igetp+ǣGaVvk q9A._3M>f_8Z=\Fw}t*~8W9V!O8]WD:XlN^֮P:)^oP I2(-Ð@ `Igz'CµMS.̌kPl<€b<1i%7ÇQ VG "g$L!41gyD.hDMS޲#M[쮳yBDWf!y6kBD}XE]2+ r n= Uԯ+n•Vsy ?=)e1 "T4]7dezBب`la>|:4 6:crWWw EEQ\R4}_b**88MjbQQ3tHprP}a&T3j7ln+>gKGH'mY=Y+mNJ2 +7(D+G PWr "Ұz굪Ν.4լ&.8SzN*:5JY+#ζ;SUzpԔl/HsQλ]+Gy0-+vHMz{+.;(]HT Ϗ]땠}T{AӯG a_(i 9b4UV}VꛈvI8G@sE_zK5*Bs6)|}Uᶗ87ylo;ݶ`79zqwjC,4QƒoK>MV=/;l@7j5ÆJm5'Û 3#eɌJ1ع:R}/9Z{#Gʶ)7X6iOy!ݱ.nB ̽6UGK(>aXS*x_fYօEh; _AKoBLL99{5ڭh"`z3^\rD!'1 \q ~ګ8B?wm&*gZ*<̴ܤpsa$ŌB:Xr,G gkM .  s}+hvB襲@ 'S : w#mZخOeD_g]$?I^>=%K°~VK Y-gYLzRY;^/&'%Cd%[rzw$Tq S> rvX pDa&ńZlV5< &꼆SJ˜~~ %h!З6Ԃr,R<۲ZgOwƭP>*]NkGC{24@t? Z)1ٮu* r0i%Y4q$ Uʣ+\ý2 Ya)Fl^)M^&=C:IH<R{&d5i&jHK9EXo+A {j?5jz>{X +" 4% ?"׬ʇº>շ O{u0R;|c~ {<Em:^h55<×trj2үQdJ)@yUi43 X|c&V9qz=a9M{%qC:; C05娓l-^no5;ܸʽ*Ԉ#;>!FP1ϛMd[&kxwX9Ӎ4BE-<~_a?^R{.yA$%Ej89Z[TŲģmnoFHtdE %F&_ci-]JL!ӫ+ѧkXxdqwŽgofk5g~"i%N:I@J]^67p!|ָ֚EM\ݘ hnA+2+M`ln'^ܟȩi1;z2`UɞHL (eԝ^ڍXƔI+Kt;<;@ qXiZw_&|.R\9 n;0 'X(=ΤċED 'S$6nhxÿ0ɀ&v&n[,/eA9v}-5S 걮xTTm9:n$06Du՝CIb) Gm@:m>lF]@9J yCv&V*MpzM?kH*YrίW yr#A1A#4rE^vuʔ; nVҩy+[lA.l{IDژW * A {AdLxkE{lW#nj_~I}H| Q?KZrv(<,@sOς5#C.*0Ŋ?![vv&Z:]kǝ27 Q{y#$<ʌLMm+^;[@RMvv-Vp!t8M;4I$V.͢W Wqb@UW0?נ]"%XyQi˝&b|:k>A\Ւi8Γo%kwUoE$u/e %*'//MyEi%c=܃UV_02݃_`a>iWUCJYrYnA9cw>ϳļ&h9dVO?>)B@vSa*{<ѽJS(.kj wԽ_*)4Z<@^8VH釣<1wGD";a|[rƒwYUk7솓"1 5swɭcbt y'[z̾C236XoKSOјdbq֛Z`b|x+NĢXcVg-ݿrNyOQcԽs|V]KYgc9Jݐs LkR"-QA'N)qwy=C8ً13ֿwaJA6:u|@k5B~\ğUUR"Imw!RlΕ|b td\5ɷ] I"Rb|oꍈZ^Y)}J6PiqTH^Bh9K0<ήf +L*,,%q?J΁%m@ J͸  HW*a9&@s`2@9ON0ç?FzPYI_:1ݻi/_fpDE$y"DA-rE{_ozܨ]"k='CD|y/=. %?<͎>V[׹8.p7"PDKC@m9ܳvuѳ$ S]vOZ,;|LE \m`Ħ1OqA!qIo*I?A.pazYV $RFvX~?kjU2Eu#IoLU4׳^hizn@9/j~&ObBm)j<ٳǧhIMjN WOVNUߌ2,Qɯ1JvJȋx[̠1:zSQHW܁:ӠTsTS51|fYTQuU2հ񈡓ؽb7M_  `cZ } Pu q:7o.h،aKVxc Y[ke^RB<Q+,j(M:v˂M.o2."=aW鹤X쳲įv@]Al!_zß?VXoAF,j`g;Ko_>l2?mfbRkq_( )h7O촺 @G t{dã&^W= 6A }k"4" P%_>J4G"Q jgܐ2郎I+h^pwdt:aYbq۞cM>%TQwի-d<=0FD%SKJ3zUI)V\Mə kˋ/1w(B(EVϧH-`bZKpFWXmdD\m"WY,'62Z@p1(Pf/),gS(=Ө sBB ZgI۶wE̢tq`>3.t"z?z.qm)f5W5xB)(A#Le 2`L),Mן*"pWB~qEs΀򺾩a&PnAoBeuF1+>kzX E5.N Io3G&Kg:ȅ̞ބ@Lg^fG[٩q= [fm+a;6*kYI%B_µ ãW4kZ@ wU,ߏ٣rk/p6UfN1"<\?`n$|9C w!H8È<[LΙ}h<+t20moЂMcl xaښ4a'Ft%)v7f}9izk&]@`Ϭto[uPwaͬs3(5p*յVl1eW9]3FDl#W1gSkf$ZX3~?iA|M3E0&MnEX>S w2 HDɻ$/MMa/tCwx͂F%}ILevHF%s٧騁ʝNսd]psZE)/A>d:;u)<,3_R:@Ir׼]@@0'cm"њΚ9M%(6]|_&>|}U(wS%E3{| vM7Kvx' (`=L>0*{ {VU@(L fOUm:"J|*`?AywצjT}:_~ټ&|̢=WKEbSӨ;ӫ-2Uּi/ @ppmTF FnJ=UIY>ppQMR}z<LjKpTwfJWOqlqb11=~CCaQ~3îhJ~ ͳsf|@H(a)ےqb4(eohg0NCgf%C<aqb-B>ۊKw|Itj;0JSIϛyҼyT*WOfEZuzT$[>xOB\L:z2čnx.Ե=IX>P(l!KEv$^";9~G1pf7UlSc]iA&VaB:kfUd2J,V\ЃO&QcGK]/G^dc/8Bt^rĩ hdv"JҜM;%j}m"!{Ɵp*&Uy:E)EmMq/,"JkZ ЉFͤ[`0vz_L5 eu1zC2i˔9{?e pK ٗKUeM %z Z2IuDWPG«f9ݽ+I5s%?7 y2hg4г6U-VUk1[.I 8:/ L@ޖ tK]Viio4qy>0`C%״HW+: : e Qp <8B<f_׮g\ n >~0V@`#􃉫$>D(?H:IB yZ(E#!|.u WV ݶ //~+dV'\0>ek-vXF7mGYICNQDӴ͆fZ߫[qs6H>/uC+kd`z*8V#x2^SsG8K*(pѻ*.y<1?bpI;3r?sJ`1U⾒&rBO+G0q#5=W6ZB3bAzrZC~ySkMEOq>yF>l4,l8o#GC~A&&#iYt^}a?ʺKiQ~_:"S*L4#)©h$}xDsh@맨w$y u\SA*p'\Ki{̠N|7T,QݨP8U<5~+m":EiE^Q[V gX^ac)@fM,232U6-ً:oqM,`Cʉ]nyX=y`@"otF=QFx5VC@Bck`Y[x!9l=@&̫TLR\[9!Ht0T6kx갤vcLs.K6 }tgy}.5W#l CD͗⏝Vv:$-țOwR!ζycsFi`q:H&Qnģ([D[bվUN| 3wB cGID:oۖ [hWL fYU5a9hLWu6_ӘlLQyĺw15)wO"~~o$%Iو0橯S&TMb嬦r"8|V>0% pIsP.8pL6W8X&"WO5 @pGw5ƒY^ qxe2υ*֖bb, J`^gn9oT&x0ix) L*MCb9$Wլk>.}N$ D68ZuD.?ReU,xb( ،+Za), R< ~׿[{S,D`N2HvU q=W}q*& `xl?}*m,]5,Y 32|cbުWUL`& $+| 7bͫPnj!urqXb ,Z Huۛȫf=S&uEZ0eCS[8Z+ei4SX{%XV',P#Z`(XKa8oY>GArΟnfY']tzE˝O$lK( DLsXp3-~e"CQ.֙^ wљy񐳌6@qO9U &_-&|jB,!z]So԰fC'P GS)P: nvqX1X:R[ yMb#ɭQp!&Q!jy0OQ0V6LU%Aռs@U$ZehS(A5I;!ݧ\#k qKS#Pl/62(ԝ.5^?u/sD0)J?vKӱr[n78 1. `d#W eWzzJY_.-RNj<6g8J J"q{DzLaĦ4Rw'@43BM~6@11}\FnMDv\ nC{ќ0.`q&6_t唝%oQsBg`;&Äa /yWQۦȅgHGXťRc=\^ _J=u_ sܓ1wZeJ>G3K+"_~hZZ0qճU<:c;~O,yF̀ґ]fYĺm43K>@lg'zMgYZO* |]RՂ:,!;ϼMT#KKpϫ&r¢X < K`|. `d^-e3SD1v>K! z;ydp-G?]u9y w +L&~,1| CL`ȝFC?5󴡹gj1J,F*U"ʣr|Rd:PA |gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8g$eU:nl;^1qB  h-R ?:̄Ah閆ͷ2]q"Ѓ5>d:2-"j:qudŝd~Ze͵=~) H -'*yY:@f ܑ/"Fd|cZ2iW̥C <@w* ?)sK!Y|6[Y^!ԗU۫4OPm2=#Fr'1';vR)-j6.i;-w{2kT9(aYne:p$ y9gYZ7zXZִF! ]ŗXi%;zMeIu dYJF)uJGw;HdA|YZXBE!Taq DB8ypV_F6 %9&:8@؞H4ҩzl w^%W+R滵XSQޚ!1e5JޢvuDde ݥ1?sN֊p<fgXTռΣ?ֳ0D|MVJVIo9Q`+Z/#4:?'\TK =rc[.6 ,5 64٨(Ym0[? Du =jmzS[_rI4oja.&Nf}uA&ɭ +eٕ/?o[9.N83t ǧ aSa.!}/(qtI)|x뿔*F;Bj7 靰 kerYe!V_h֪?E):q: d rrWXϋ#F5Ov3``a!+l"X +2HW,bGġL#DžC5ZsfN:q1@V{QT)u>:_EsNϻpŔiZ0 /C~ a(o}iWVJvşsm?Zw|ߍqI)=uaR]ބ_t,Fʰ;8{Ck)\ yϗYܟ;S9x&qkAES~V3 `,8FC|U~L{r]H5{= 9ݟ|(.:6IZ}z -4=S8/C>4 R1 ^x ʭ;9$h 1^T a];27яoq$8'wWk^2Ϧ} oe$CKPԴδ/ 3ˮ$A Ӗ_Z! th/y4lBq(f ,.v$cߋX9s a0mA_%ike^3:$d;}Ef!0%n۽h<Bj6%gpSlSrУ#]Tz|qìo ݥq\W ɕ^hp0o~?g29x_q$~"ǎ@|CmG#n{ͬ Ԍj[Ro%7͸&W5dUbJBGHWǓOFuJ5ў$#rYjs\໘Pp(ɐx\.Kxdm!*(enhQ˶ڡTlږ1U,0di0ߒ& _U*0ė-q+ܜYutgK{#\,cEtdۑynqyRHu؊y_(v'T#4{{RmUl29eI} ~4C>qt3iG+_Ax[xbMߡH8w79!"ˣpq{y\,:ϑF_'&V, e Nvq1*_5DSX/{\wTfci=# \[_3dZF*ʔ}5q$@] _ mÌ45p1GpJ,1f,T~5g<*0$!Mͧъ.BUT6w1pڝ3cm`݊O)X 3 pz\78ԑiqSS`5u DR K 21lb^H~>_kίwA;~%8#<K]ҺV{#$B.uG| Ot]?#R`cGa{q7įun?鼼Iԁp#.4 AG'=If+!kUSs'l~ yyd^:c#2x{/$!;o ieFe"ȍDi՘ ;hprݵT@߂M}`9n;r m0EyOw',Q&Uv1ZIݐ}>$!Fx6o LmF[GTGg8%߶c-Eg LJ??(r=@ [c^8z, yfgV%_XaGAzz! ]ry믇Sˮl?($5&?+1>"A$Ld We˂]\a7$@=-T(=[J[ORf\ɐW1jg75Uk[}_xY,2R'+Y|&^[ZqSȢ!g&'ˮ~lqٗ-: