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  5 5@#tt ]S]HOL-Algebra:threads=6elapsed=29.017cpu=134.028gc=9.224factor=4.627zXZִF! FR]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5 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"??=<;:8764&     7 i d7 fm:  4 5   r 7 .#/%HOL-AlgebraHOL-Algebra.Sylowdocument.tex6#?%HOL-AlgebraHOL-Algebra.FiniteProductdocument.tex2#7%HOL-AlgebraHOL-Algebra.More_Ringdocument.tex0#3%HOL-AlgebraHOL-Algebra.RingHomdocument.tex3#9%HOL-AlgebraHOL-Algebra.More_Groupdocument.tex<#K%HOL-AlgebraHOL-Algebra.More_Finite_Productdocument.tex1#5%HOL-AlgebraHOL-Algebra.QuotRingdocument.tex1#5%HOL-AlgebraHOL-Algebra.Exponentdocument.tex,#+%HOL-AlgebraHOL-Algebra.Bijdocument.tex0#3%HOL-AlgebraHOL-Algebra.IntRingdocument.tex/#1%HOL-AlgebraHOL-Algebra.Moduledocument.tex3#9%HOL-AlgebraHOL-Algebra.Congruencedocument.tex 1#5%HOL-AlgebraHOL-Algebra.UnivPolydocument.tex =#M%HOL-AlgebraHOL-Algebra.Multiplicative_Groupdocument.tex .#/%HOL-AlgebraHOL-Algebra.Orderdocument.tex 5#=%HOL-AlgebraHOL-Algebra.Divisibilitydocument.tex :#G%HOL-AlgebraHOL-Algebra.Galois_Connectiondocument.tex-#-%HOL-AlgebraHOL-Algebra.Ringdocument.tex0#3%HOL-AlgebraHOL-Algebra.Latticedocument.tex2#7%HOL-AlgebraHOL-Algebra.AbelCosetdocument.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 *3ȀωYl[?V ўΌJl%xY;P L >Sr~sEFL0BuԄ.8nfRUE_x8\Kԡ$^W{usd)t݄ո4^VαʣУ`|P{⁊vvy> 9_;(Ct^4}ʆK@G ڶN 9үu{#(c$o|u2cե;Uɩx~urjpO M4^vhٻo7{{A N81l9D^-pm!KiTR kԈ+氫d磞iVn;`)!1҅WU +d:pt&kφWR ~HnArŸT )ȋ!JMl9ጫxW 𺭪Yw13ڹEqƼ减ϭć!kC#N%Y*,>Z 7۶^J~e3}{e ͆}>YK a.MDҳ2fz,: z;+J@q J$\S}ώVyS`J#ֿ ~8" +ZNáy6,zqyYx%J.&.ׯٚ D>,4KRmEEEgGm ư0xCo)cW?P W5V Eby8%9^V=&ݥe$2̜>^tM5`c 8Ĺ.?GeV?~)$%C4 Utw+M8'%䩥@+8_GFS}fr=`ۜʙkI}ʛ:YK ّ{}4&X2!^:c,<:Ќ{=0*AQ@ d`V-xO  uiHf,Njeڍ8`p0Y M ڝN h20 NtcqYxU2SG 83(`%+ppt8Gڮ UoR3~X?y"{ ik~)($W;$GkPvC萌e":ΰGJ6x}`O稘u= 1ɁQ?`x:=h_=5%I]k2j-;e2 l*經~`j0_юR79c*yeLuS]4ޔX#J Y@VG+; !\Κ: 6w%N ?):I!].c\PеI̸\q`nH\E!Gr$8׮!#-# [/!q1^F'XpܽDUOm|c+.}Ęc4K+?߀Q|9@TFLH#LKAAQ&З?&Uߠ$n8dR R[R1AKp&[?S,m)xp!5AY^ t&0H۬Q}7v^oVzwlP|..!=eF0OI s 2ujÒ{T/̯P"G?Ş}'ړ8N!yB!Db.lSoߩX W\;B*E\쥨V>H5VnSđ8Lut'.ۂj~6DpA  ׻W4 ]m< {1]H :BP,mhN.p@YE]^NoJg&o>)z6~4/BtUJO  blW8Hr%d: תē(2#sV^Q1E4|~F{(ʢ븈|T& |Pz&YY:a„E99*پw|BBćKyVs6|`aZEcXC;ˣ3F^"ClMM}>IZZ56,Edt?|0Fb5џz$C .:3ٗ/  qd..5FpXS|Ic9 b蓍0B腇86޾#{MM"O)Ft\#c̴5c1yz $KP6@IުwPTg }{kH4!3.#CUJ@ pu^i#ߖG5n\cg7X1uvVY:㲊C#]'&anAUwkh'1lF|'zZNmv#5_yk\*,s תz3TX>W7QyhE=I!!6K1ây/x(]xó"jma&z _JI@_~bkzzȣP%s޻jm]YgiM/bF6V\Ϋ FҴJ5щJR1 6d dFIʄ# 3~vߠd3v9w)=_0PU{YQԲcN*XGF)Dn -))$yPI0V=X|\>vSkDv6 Z64-@R7 u05iCdnY w jl19+`"f',!JM$`ϻ]=e)E!p@;4 oNc啀RvA>D 8kjȅGm7tm|H߾UbU&K,7gwR9h@N t{*]Fm c+ e?]k&{(D}W)2{cbmo}34#LSabDd ֋,#ca 0ߛiz6*Vپrk1l렏SKS)Ȉ@TŶ Ћ7L: 6۵lJTe cx(oöt7fxǤi[8I ֮ Z~sz# E9 A7 v9f&]t)gبO*C:RiE=_d.&qn%y%vBB)l'7#3~2(ɖWU=v+redsu۔lN4y`OE!a!}&)kꀴ<6#;ht?/%ƫkqRXxP9hR0sC~SDmqí/cԊ &>?![]pN(vJ&K2+~X~I/Y öOɨ>'e[95p-EgrTPOp TUsꜛXqDFtiGN´'YTmBxt޺_(X]NbH~Bos@y;r+Jp).Ȅ¯F#I&K(.!JÏڡScq}[hf7$P9e68W#rhc (KaksL^ %[@0='l~pSÞ(e#ct3_HNs < t3ϬF,2qCêʭD="Swds$ ob z]5Hk/YUR^€Fv9WPd `R> 4z3o@[,쨇6DNpG\9AQ7Z r~9{{Vx`oN3e-!eO].[v޸;{6~H-1m/.)gAtjRmԼ 2HQz8Exb055$A:Е+UM:"(r6 ~+u![*.,N< ~HCQ=SE,K0C5􁧩2|-(ׯ_HM]PO54jm k utjYJMN@ ]$Kjk?,b?7kUlS~?J~D$ɧdv@_iqu4^'U)ʶ'@ǚ!:Ǝ Kr"]d"+HkcSCUB >Ēу˕КͺK-2PoP%`ݫ\һZiR[7V.~,CY5u?Ҕ39jܤ"Bz_R־H픿jMAH KHF#mD="nu9f!kKu B ]EB׻8( գ|K\)SQ_dt%;+2K?$}Pfc' ~V[ã 'ĭeU[Y|xa "`D]润 *AJ3Dc~ }[V^;jnC/hUr ._?gv}cxL~Hƺd! fhP)jTAyH;H_3m~7ӕL0T jBO0 j)"1KyV`5W=$"C5F㓌h^̇xB`I MN!Dn6/6's`a>P=eZE)MxES@6-Aeb, ?)byd:cy[L>WNuź0kAshT{_M%V%nC-[o%LU..w38صkSxzJVf LBN 6i+0u"G^y:To\ 0&gYZ X#/% \HOL-AlgebraHOL-Algebra.Groupdocument.tex7zXZִF! ;-]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܍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 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ń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.W#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(:ZPtO3!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 :QgYZNS+0BW[,5F*vZC?yv-nRM0-\~ͳFoSƢ&:.v*xWk`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{ɖW G6@'4ĩ3rd䰊P<k]-7 4c:SQx @z-*o`KvB{c3.JXHS'3nBpriwZ#TIߜO| uq*#X,Q*<|?7Wg m gx_'Je[/Z2&MV < BΆLwi71RΝ&%R2,>p3 RAzp])#Cu'J'W- N+;C|BNi(ha7pg$ázByN֤xTH Vj<: % =vBY[V$Q6cwς:#nHhgAENFf6͸z~*{3$,A]IXi5"q1^.Nfp6 L1QCR,Q(Dt7[?xY1Tgq#r[lX0]#Dx~RYjO<^^ cp:Lf.Cq-rq:W 0LZR0@ !I0Ə$Hԁ_P8qqP1Eu EBؘ\$ou hh>NNJW'K26g" ә|ӗ>AeUp8t\i:ί=k^GQ|`@$Z3mlze*0K4L$Wq/ݬ!M_W Ȍ 9[!qM;(HU/1$=&bJdی ՄwoYGc(߆m4rxaK"휪jfSuwZ3< |c!]Q# hY):W"Vu(ÃآJ=ŇJX.O $5.%PHL[I1$ ]ҊO.:iKݢ o>9[_tESE{[eLAWF6OA\;4_)((xԴjwMÉ-z 5ߴB'A`@ۊNh|vU7W.+Q雖B5QBl1YȉEꡢ<[!D# [Ond|"U|xX4fͩ[r=g1)WkվJ&,750F**IaW| n< NVIv wsKYx҇*6m-Վ̅{ 죹݆ ցςytnQVnW}[ -/LZ>t)`` yӦޣԇH15.!3]3[רid16l (?|X~0식hTnhW$>DlZVszOO4RY8ׇv{e~1Qb+G6pPjIT֊,-~5]B \"4|߿ Q3ⷪ <rVH:.ܧM}QN2;Q: ՛pC7ˑNk~= 0 }LŗZFGOS+~bH~{Nm*taUnJEӂ>usY3&~Xm:>SAϜ=j3.~18 [=SUӯ;Q+|S +n j⎎/ ?O3!.}K {A_$G-r_?H'(!y˘ "D}'+>-sM{zp%.@1%l5 m1sQbU6CSvA|";T%|2ϮxF]59Ki/%~$=#X4QZݡ[wA&px0V뗚K15C6.ěD' 1W0^ s/]IPFLD F1MW6ܓP -'ob6=sQax:)KC%V]ׂ۪_Siߧ62/g:ޏU|Qqpʊ 5{j-s]n%k>JpPAT _jR79u3o![5a5ds7**c+0S^arw򲂺!٩<^U+m#1CxZ}I:5hUl֢͈@/$M.weaN~JfbTM]{H$L'ʧ[hC$ğJfirGk,odOcD?7LMt&q~f~dGtQ$]-?۬`U P*/G tUy-5Ď"}g;\ܵSXq7{DÉV[Ӡ됒Q q9nPVp˛:%0Y&ܑrLV-+UcE e}Iߒ;r(+0M'm50GvB s|B7- Ѳ>2C8?֭D`GP,ml(7$Y3RӉ;l֚ʄϽi\9&Sztv 8>yDÙ@;p3\Lbڐ&nL\q_1;D0J$GC⯕:GsN 0XYv]g L/BZ*M+#RLW;M]ۋߗF=Ê`|BJ v?JqLp`KPu2u%p5`v;KRYmW7Vjhu~hV*{A'$ t簎|)4waR 8yp/ =\b(s\[ sX%~_" ;6k|<ȟvL;9DZvY1ߥ1؎S[lW&N28Ȼ%=Z \۵-wn QП[N)TF:Eg[M"" Rj 1҅xln=|"}vz( OGhzNߞ-{,窌D63.oO:$~F,ں]JVC!GOAiV>ҹA,wo:7mzg?E4HoH鑋l'5+{,nY\%GՏTtSW)G#m+,mK+o]yOjsC(7I}]O>@:Ab'x7QvbYicLw3=c?Dy\/ D@ a1Bߍ$njbߔ,pqc1gz3o!XM杴<%G k#&DFďbGH$0MwLfWȯhSRӞK8ȢeKhbekiiXW46"aDմet1_Q AۍǯJTC %(+ $N g;톥A s,i2sfG;ю^jOn"V;t<@(3ȿS񬽤ZTck˩)2*Ps%MR^`&F湡5ڏz7IY+Rq"w;vJSѐh*J"[:' لHBoW.x xXSBPS==cJJKjK%,xo H+ ij?K.(ο!>eBJ b Ӧ&L.z>zDIiA A2AJ¦ Z3ɤ_֮+~ &@z/z]:6NS1> n1f|K|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+RIu3r3SjMjyK(/( 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:0tGw+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'O3h!y/ZZPwXp(bIT?tJT) 9:dc-[QؤCMX BIaYZ߮'AÌx\=üȥ3"mN,nSyH" ېW#$J9q$v.HkmqkC$9$|Rڎ(m$'Ntޭz|D3NgU ,@ZB6 L WQTrkpggҗC8%@r9t`Կ8AE1>iźޜ)vkx3D;@yo"V&* 3%#~ M->\kjSn ^8K;˳y8j08{^!?Jgm{2wdܗA>gAbGѝ]Ŗ}TK2#)-Xk+gK9~zK!#}l3;oo0Vg1Kܧ 5a/>v7aAEuc.'M]䅏c]["D=~Pvmne#a,jJc=~k')nJ /p韦lDYjlT'g\_vzs^9VVFޣlNe%/2b\WPg`! PH|05t:%pٹqKOU=kR3i-PQܠ &g`Y#JMg bq߈ZI@x9Ei*7Sbnt&0#+AQ?M$mlH>Eg,#w=f2'V]}P#*sdHZe:( K.Ñ}"z(`Y\|'4";~y/r\b=;φ~u]Ѯ>#3&^5ǎ2 rÁPZ}/oB}K3S=),T{x|)P_US0E"`jn*,ڂ[ٚ,&C.4?6=L4)9ݧ㓏@|pn*ڟ)P$'` 8ci_jxCpE|ۤt:Xr!.w&Pp,2 dbR}DIPsX[-TGBzQ:\r k̉Ӹ>';f%<\ ioSlg4XV&+1#yYɎk'tkEdwP.gEWO2/:J\,m~Ɔ)A;|.fQ[eCPx":Y`''9)ՅʦgX3-\-9f5PfuƐ]51-m4> n{)K5Umtb],FGebD5 Fqa?Th-?]B#+x%* 5m{)hmX]K1aEQIS(xU Puܑ 1yK#poUd1L?^vVehi^+ZRN4,d.}/튳q ]tp3EPP6_F=wl4:^n?/=Iz76A)6܊!8NGo73 o8;43"bTm޽ u%ZJ-ܿ^bNwk{*OMo*Oh(:d ޳~͞uR7ùy > S.f> 3mZ5rjEj!$sZ3~8I 6% ' ?J<:^IY FN:P)G #]\sR0'E "DQhq+t$XϿJ&t "P ד/5JbtZ,4 |9)3 ^jPn>ѵ&unrɚ8+l; K~lAk溫d0aRS*{ȋgmwsGψ-hyFB0^-Am궛Ț~}V[/=hӳBͦ:w+|´4{\-6;'MXmV,F_ tƨ k7nB>LjJd%p'ZP6J__ ͍ʖtK( X e4j>#HkuuH0eL@/ Q~S].zKnw96jf<C2Q_RDs Ǐ&V1ȨN#1v0G0yU^ud䶳<mnD_[|FNRB=P@YXtY!T UwSq IF$N󈲽ěV`Qq2qPܟef*V_¯Fq܉pC+AUPS1:F }K~$VV坚GM2Is`XX9J[o~"(qm>D86 /g!+k5|e #֖蠩KI`; eoGLNl5mx8X`]z^4 $:e%M}Sc\RV[gZ_ål >uƏFqԹ{#U& j%hG,=ymx`ūlLDHK &4QOtƤȱhЂG=}s- {& .frC2a~bncɨIۈ;ӺR{ ֔سxyU!cx{ !`ôIFqa"se KJUTeȩz*q+$Zun9ڰ=X|M R}BrƄŬ^^}hZ \A0dnrTJP7# I˺߫!Җz4dtFB6W}G,jۊXⷿr[E4Q%Dw*]oIR{fD|jH },eAYjD!#"@k|YU}sFPQ'GL`$t+LC4ᖎ:?.a$QNeLmy[I;#Š-Dc[\D>L+]m|GP F3IM/ :Pt姒"\||*F])]Arx 'VC@,iQ4Բ6ہp[+3hn>sMAV}OzLCHXn"@[2M`S2kKEG!o'$a$I\x;وo]q$s^q?+S*\QTH=`%ic33.A=2 ~3X*k]ŝ{^fU[r~~Q@)4t`~xa$gO]*t69tWRc.|{8ZɠbUtLLmQWO]FC&Iu *yϛEb-҄A\^d8D^vm/=nOYqǹ 猨ve8RCxԟG%7H>s0_( (jlb15gE_C>xm)' 3Zk*̫3OdK@]1'mrA~<'M MvU]oxZY_4|R@'Ya(.>ϯe$?\4neAGq2gS"̣x m*lB?#%X}C /#O#E8QHn]/%ںot›9< Un6iJ2j !9/$d6)TFw6_?+@aH,q*(G||srAzT'E!]X&G<~0c ݯυW>os`jt 9!!͹Up}fktCţa=ǭInY͓vPJADe"!y `cU`J}+%ՔyvuNe *[uW7+$tUۧ !xR}}5I v~сTyꋀ~'2f2OGV/Q:^fl6 9+ +Fi2E$(X}j:aA[Dmzq2 )#Ŭ1_Z3 vaM` S/EC2NM[lS2.7و7{ \ʛeTst4WGd%@u h/t6bdڎ_/M9ɸ.7vź`z92c~Uum֦~. Kvq1RO%Z%SSarqHܣnODuy-2̹\EfyXѽ{V,Vgy9X w~.Pn.h> "@%tnٖsiڥ g b1$qeBjiwLO m^%cU+"~%?Vt=EhqVزӢlMVTș󑼥N9=', Pga8߭JԂl'GQ`@eAx|A|h34#{I[_"خC=\ pC+&vQI}p< AX^iV R,z,so1LW&ҳ*3U2%Xh =6Dw:_{t$2jj?^v(1#n㸣R+"&Tk%;_ @@=n ګohFՀoևڽ,X6.GE5$K14Qzk^YHx2[)Ӻ}`›_~'\øʥt -sHLDRt̅0 \qqw[Ӌ3P]>hمWByi2@9CQ*n+ׄEGpLFє= .T×=u׸kvh˺q+O7ex\׌oxgxѺXxGW`*#! **n$ [BiH.j@xkMb<J;*b"{H"IXj#+ne-lBU_ Q. JύT ŷ.!o;2¢[.Nh-]1 ]l a|MľbhsˠE^PcJ=LA%#a5+ſfMy sJɝF P5 xbE1( nKU5=O[*o@LC쒟+ A LIL=pyal@x|UF.(Px~ NSpnNɆ?\kN WnH/<jIق*>|&G7,`3tɀo΂~܂9Rs>܁SXoU*~ˠQۙ똝ۘgq@/ABM/J%;GVz$[tϲ p%VHVra&Dݗ3tܱNvF O n[ßV<],ѨJ]HU:y>O>#wSs| hz[m9^]kRB%m`muw[H Ta=G2Xw!  ϢiZK w95<cKQޙ6rzJE2HO@WO+tٽrhSk[:ۨA+/UѺ6q>c'oPG'aLvz0>#\xnq3mFN!/hZHщdϕr֧͗I@B[% ٤wg9j t\Rak¹B(D &^2-D,ֺ1IdvgːsWoEed%2+Fz-MCa1ÓG*:!~J L9u]ޣk,hPCLHqk^%9p̍*@+ՔXd*6h=,ՠ7d읥Ƨ!=)<Ὠm) u 0^n!S>`Dc%ڜgC.3 NM$G}k0|׸4HM=C!X Ζ.3nJGyϱ*}ȆڒQMX.hX) B(pcF wIR;s|@jn_j_$"/AB ƱZG4N*qioÅ7{ zЁ+y"Ŗ2SHdZva=笃9DI5p^`%pO|od+~;Abq{&\%aUmNdVV;QJ!Lqf I>㭰eR 1Rz|Y'(.S^J`H$VzZ&vOƫ&ao%O9%  &l Z}'thhRҲ$(o!\V &O=X^qɞn1r<' 2d@omU \v +vs.Lb1ה5ciQʩi>=J0\ |;c;7F`1r:ӷ@=6Dx˛%R{+0z9nXM A wPr;r ڸ* Ԫͱ*h9C"bR ;Qz+a ny}ixA{W)9ےƋ3kR>6$?ɝ!^0 wyH7p6%Lܺf]WH/$$q(P,i@S*G} AO䢸\+nI0kBcW𵶑olMݣB8D z%,[\%Bm^Ge {7Iw+eS_zx_wO衴8# i}חܰ$5&ARk) P O ?j_"!͉0Q-_;m^w~%1&),}uv7ʑTwq ?GssYYgВ$++ & qo@.*sQLͥi*^t1@,&Ij 닆]Qc]eRm_RrsB-gj'+Tld痆{3j\]Q闑$ ^r^[3P"EiXlJAOTŔ6gjk;3JQ[]a nxgqf9RLk1&3E'uwwR!DU N12ou|n;~~;@))]itA * M{U+b zSH̐bɧT@Ls멏 q[JO\3Jd7 tbk /HwToMcrn[#v:o} ?usrO,#){g!Q$D{<2d0iPXrBz=s WSIX]-Ͷ ͘gŒ8dk:K9+jnE+ur+#,E#SgM%CKFjΎ"ƙ_@?yziwՕj3FR~JFDTHn5P[/l,(2|xVBgf_ʐA5avcdS$ ȄY,jhTSY&ȨpRfF9[Wƺ$ _~r )&*&;El= ig1(P2傭}h$gfZ`S) o{~\oSc(!?%H wa |~3-@x~Uz7PтW}y2Q$5CEPnl UV%S3*~y3FlOIMFۻ?I"x:~~w\*ͭ 2 @E󲏪Ň9x"Ǐ7xXԔ^ ᴵFW" mNƍs*ʚڕ3-!;S0@ZsOثnw6]L 1F͛;_>Ԥ>y09R!SeBX53 IH |#ۙ%*h0FgG HS~ED%Y`KuG!N1Hnmckz<璓2v HA.PoSw*$3D]F' dO!qA#r&ŭ__2SS_[-LaX+/:nh~bClIM/`w`sVH ng'=8\ӜZ,>MGE?θkfb< gqqw/$"u!/qqd\FGrKWwU{*KߕŻfkfyI!'$P7&l nEP1@(kXXmr|W>ʣ Z6A&]F1pb.y/N.G `pVߊ%e"džMB%!bKZtba=KMu†Lu8UNyX*bU= K0eh8e-])|e\OuoU4p]իaв^SP& „sOn;R^](%Άq?KdzI :Rc^2CȖ dlur£kPK793#;5lZTl15h[mꔐwߺ{ A.*j(7_O'bdМs\)ٖTT8ۢ mΉ@` gpx>?ԉTloD܍b\WW{HT%y q ȫڋaZ=#6u^qxcV* /=#@F<|u*i>y 6l 2X,m Fl}ŵ#‘ke'c8p5؋S痂ӵ}I^6l *%G }RW@4i9bQ#ɀ|vt4 Vd,׌;- `OoT!Ȗ(_Ƌ'Ӵ6\PBX8t@9ZS-U㷾|=$ HKg)zpޘ}Ufd)w8 -=29Un 4. Շw`Ol6ýRIͽ bl9߇X5m7NBIM=i *[{3Jm3 )?vm Pq5]\М2t+dCL9@}Y ΙAX }~VܿEpiy!tP,rJ{c' ۶U ^Vן̚ ^\eKPw2~_O _~2rA& , d.'# #. mBD`\.uT.;VHj-(Gqs8CFu@lj*SZlE=Tc Ma lh:;pwTd4\I?{I/0c+h ȧn9eQ(O^KOIz\7pyɷ_khGgc$s(ن5EO򆹆T ed"){(cFy!U6!52"H:jrL2x6^♌4XQba8oS=+&ye4pU)3 ##ꍉԑ̏hb==% 5UכeC@8'&oU"U`u[nn7˼;֏V x.<^Lv[9_v.)8uyGh^N%D6S7'ڠʷg8Yf;r70{CLݤP4 ml٥Rs!#c4w^1iv v(c$ƣxm*E ӎm!By%UQ+;fLg4Q= ‰gUuOfn_UGp;ky4Q*(s6}[}*N=5fW=]$p"cteœ56 *Y&b}9'Pμ`z9&aMa3q rg\pF-ʻq=x$܀_ݔ-HtE5ߏs6%/% liŒ'Q(aFy!:'6ħqOY<2j]ӻ-C܎֙$4ڐ:8q:V1P*ҫ)ׇK}8'r7D8%n'$0+HT[`μ畁lAܭ-!-%E>9id;P*n-ܜ}VçMW2Wj85tFtLL^Ä|&u+lq+(2RM;m\YP0YFTey:O$OZ\uɖWݩjuU4b^:<@ ek}O}T/{ы/#>HG:!NP Szw)5fבNOVTS( /2\kwЬ֧ Un:3d!o{NxTʬU)Ѭ+cʸEWџpBx!miq!>U|ӡ?*[3_\cX+ͤr>7i- eE֖]tGwAԝ,N;Ȩk Tq \>rm;|H`!|;D~~:\T# U21vUY`sV4\ӄ'D~tM{z&eK(+k!ě(zY'45ARlTO>'osБ sw-~Q-uya&4݆s@Lu)7q04Ga0q?OGcDT?*\78SR>95 =y2!@HY su1#%l>!H>GAktAe2R_uEܦO|>@9Jjj)%\ فN7LG;ݷ@'8{ÓTBu?]Rڿ'S_4Mפ)m,"ݿ%Ȳ TMF4 e"- ɊG`%PuZSFz_"n]h)-{6,;FvL-@ 7KQ6 EB t W,E @zNK+,0[$fRF:kҸI*ל_O!4{#,%ւ͎>L.Yr/i]- |*f! ^C&HYb /-$Gk2ns_zCė@"&kwȹ|7IiJN`X4qJx\-(#h~߹?;/v|$T3^&Zߤ=aKX^e"N̲Q7D1>NN.Um-}HM#j@_+_ԫ$ծe-v5SL$Xy.q^RFsrD&[4_ZoǠ#qM9꜌h%(^td'o=O;G>H`ZKjpJ*V'8J'2ZHϞ#igqEN[9.*y2v>ym-m['l)@*3x;;iϡ>v[)$ 9--d،a2P^u*˲%:m/,\W:vD%8P‘@cV}ϕsl~HowQ11,%ay *rOU\~5E꣑yʗ$5Ƅ)L5d׮2${~b >O346,8}GAE x iei<ˉ<ȗd'M[E A]t2V y-bz'Eޛt]r{$%bx9\|0Kn%FF7AX|FB>PLl [uovo}1@b)CE\>+ M 6 IikvY\kP(^dYe3TؤGd9̖rxk/ -ZftNK\ki+4y8oqTSm<*;k, ѥL:07Z,ya`ib\vYLw"{vcrTIKq<1nA}nlSO W:r{Pбf2 fiP`n>>!WfKC[K$6فp5:SuҽhmA]3 I$N>:%Lǰ4!83!˨ u(?x>wFR-xhs%-|k/PD>KfbZ}ܷ3~t8R bJP k[Cxpm3jdIoOBo3 o}:Woԛ\5SnhM%0*vϯh:gަ /+jx"BzE^% r~ ,zy>ϱd)DK6~ѵ^AËT >:\=9/?`Whfg*9–YIh=(Iw'! e=wq@.n%1YCs38<4ZO FK~/ g3uByX=& Ł&|-IfaBhC@HxI_f́L/-u`ZS1xYol9Ag <ҜT JBy% 5BZ0h7[Ɏ̭Hg#GMȃ /Dphzap)g.Rb$b*p;w z1-M@ BKIga'f zK8+E6_˅ )BQEx*P`јh =~'.HA%ϣ?"!Nl >CE8Rkߐ_iZd0Q=֋ BR[H=n;=$k!N >3QXX9lIdm顆 £G z,Lm,hJnÅ_d]R(tcip"q=f0[\Ѫ}쒰zb̎b~\]aFMJv8sNwJI0|jHAij,R6&{h5z4]o*knUTު3uMZ'Dдx#3*(0 >R.Wa_( Ky09:s1|nPKq+z#О^ˍhz֟4Zs[&w^9YDHJ `:_7[YGJ'`2/}>HՏ`Z$W<s:ppc` C>Y<'%rKی(OKz޽B._{i1ʮ BY~7 sx[un4o5*!cv㰫uȻ0ݢl4z>iĿA>*V3LBRL~lhg=O R^5zD{/4 =mB#vj]2 Z3 09RofwjG\x\4U\힜Al =( Ti;&~l:I\,矚K*N0a -# =ٯC6 n+ "gr8*I ?vL!x <1 uJ#;"]3n~zc;M6a-]ձ$)hPMjUʯ]Sae~S s"@H:^vCӳFje֩;|a:S"?c/7 ǹQVQٲ(F(s`9~ʧ? `--lH @u0TG8+DSZ+ŵZ%k9+:rtwrIAX:QnyV~Z)bD);Xt$~ hv Y9/q,8%x/6kצ K ,ݥ.<8OXX=oJkٚuoN|T=s\K_iU@mA,9lX[crξd SAԳ(#sp"*ߞhx#j &Z0yj9sG{O7|H’pG Ac]sU2\ث_xN>x~?I2捸el<4o_Svgл?i㦺 f]YႧYL8^ 6B&arпv WwoX&Ҋ; ϴX}t0+a?i>-x 肈c3ӮN.xQMuD|T.x8:i*  &uGupEB'*\<2,A\H+qDa6,7E#ل公H2<ͼcsdH&S -7g4M lf ^6_Z-2>Ә&S{u$# G\W1QeI-~~@@xKc`&<C5%mz8֗󬡱I)E,"@=kd@;Ɨ٩@W6ӌu2'Gugu\7ƚ<@=@z庂aJ1U%8$U o9AwɷYAc#I-%ߺ @xyBOŒw$Oy8Y6`JӃrB0I`2B_F-^ty&"O \Z:NnnwGRa8.koͰeX[>>eذ`[_f"Ӫ+ͳKZf_γTٓ;R /U!ޞ3a (uiDCW_u3%ׂ:HpcKL@+#5D]LvKd6 {Ph8ԆKZMfv*9֦8b"V[%aJ0˽GznVRg·9ڤFyCˢ.jXӐ%ajM"mB}˷(@TnxɛnF,uԈ'N"*<u]/ ['HY'y'|{D7 C*h~Dc=vj͈ Cƽ$ p c#0QTc?F9I{]UU  e4/eVWcGx9NӨc?.djDH |/R8㖝>_vs!A dodyj" uGq647P^N1ܡ^I:; 7ksUx_I|Ȏ^QV^ ][2d䘤׽ Ҥz$Юx:&H_MR15jP^j Frv_GG牘LPiK3ONF9֟V1eu=U{ x 9Y I O\nzyN<+S^]CpQnOɕ-~ZyǭW~ڢ9+n )UKo,9h-ZŔt3B)`z7,-<o]%;ͻΏ/a=tg-2.,gv9CH"Na*݆ɯ \3g(&J ׃|U7_vr*̱kF5?*ce]2iHFḦ ,[ofgcg~#|%N!TW$!6c ti܂1>úg_ 瘴w!=\bD%1IHA1^fd5*V% &wBF5Dyf3\jMoa52~2ض$/Ϧq?B D+Rx6Ef)yDYEiuBh,Bi]fg\%1H]=>9϶3@ñȘ@ȓt _ޔqyo~µPOi`ER>$"wDƗ{+,7hn Mo᭪Z1V(;lqRŤ/VEs6þ?Xiܪ} _vx>f;$PU6f$$et$sqXU$?ٛn3cIX'k ܿQRS 7Mcl! *QIE (m6Z{7GZI %9=!>J i:q7k/@ iwtqPj~mo'g׀WmnZNr[&().}諮<;L+ YvcTrH8`OC3GU4EWfⴥwȆpD UwkQZoN+ˎ(izΕMOeK,HPQZ{ci/Ș%[[TzLQz$ysPǙ oJ RL8xH6iȚ%E:T uSՈd~/A(n#]w=Y,ۦ6'XN3j@ ;fغ/ ?L8~Ŵ47AMK{єEaG7'`T*R=G8c ukC;9^XkEjdn};&\.>2=姵Ov`ř%8WCKϳX3Łhx}= J-zbkV)xу65& ϪQBkRz}Jnȇ#c@_/nyY>^$ǖh5)ʚ:sn_:UpQFEʻm^iYtszloKMѱ`$-wwLbOt>#qb !'GƧ߾̣X:1Czq*]g7+$j@L|0nEڬd6^);_WM@lxЊ^F^jo>pLԂcXa-GԲ|n6jW`P.%Q05tAy-29tcjVX ;14&d5AK2TAqθz΅5EiUj,XXhYb0߄w+6~{x?+h_qrhL@L u;SGBR=kփN䋩XiQ/xѶdr,|"kU/k$Mb!wV6ƥI39֌d X(HAA --g5M,ғ2tx] Qphf/R;m4 ONYp7ec=$mXyf ),km%hU.%y썳 C᥃J %Dt7mRUH[gh@ѣ/f*POXLyDxtDڸڗȩų!yn$8;cŸS8|,W7vG~ܑƟǜP1G!ҒueNTS` \ R\UTXZ@3,xׂQ{巗>F0jZjs|Le%,+g𽕡č{&eJz@9YK;]G) 8)y B`n,i-C5sYsIY=";=XqmFJVC`לhZ^W~onʄBEۺnU>y?vRCBl֪SBn29/}cGiS,Й*iQv+1pwF wһV2)SF%R8cBc#VtJq#Ÿ@"]gAm XfAofA(!_2zbRѪUAE"Up޲{Jۙn66WmuIqĖV,p[=Nk+Hοy-%If9uG-P)&CRc$>΀uЦ 5-T3a- Q.3Bae>)\Qmd FkP l!R@11"% S8ƬcL=ÿAa6sdA$pIX7jR97 RgFM'V{;d)kLI0ZlX6XN+i$VI߅ZNrrw`/Hi9+3lvjħ ˳XNksg}^c~yb~8|[FUIЋ3^j4bVs1+Hp}OPѱYC &JsCV_|Sӟ.9M>QO)9@:c;?:ٷ+Of&vvW)?I@]1xgYvR-)D^!: ׾fJrP&"d^>^gqer{s쎖"P0ʫPib5i 70̲?jQYjV2DlU45avuj/v5C=:gR#*5o; TIm~/Ϧ6wSUqb8;tW9›50FP`7 KdZ~P!^+6x=AS\Kfiģd}:I&a{sA/;ې $PM8=ȁM,W7[i?~*$: PKVoix9Hˢb0v5G*_8"$[FQr0Az^r~'`&+ƒP|% \پ&|zMj-gmJmz]3ऌrs%i'"4NH#w.Vԗ%q"uk>eRh}nC䳮d8%VsC/.;4> [0 ОiJ]1֥[R` ; da>Ĉy u3/K.gZ Gˢ|R6c`J,\7m6 cet٢䱪:ehzoo C e&'}_,Ǝt*-f*T^s_ocMIoخa_zo Qe7*XҁI8<ąд^;Uְp5IA+ AHmy g[5,olX8gg9u^:}p-,/\׋v C(oW>qR{&&m@5[<Ի!##S";B.@9Qbu^]iWs\ \jQtVD#Μ 5gǛձ_ ?{d?^sc d/-O]g@Gȅg۩C؎Y[ Qf3C̼݀W+K ֫$p9_`f0$KCn;pnb:|TlAJ: `FuLJ w4aP2 PC@MG_F C+圌YR_n1edX8F+^#S4%hWv2d+r6as_vBX4D()=j,g*B@:v?}fgP"_ Tpu". 3T KnJ\H3"ށ+~Ql_=v%/IGOcQG=e` b˨_䜱qb3t2^"%h%%.Ɉ2s0PBh}CӛL\6|)Ta[/ں)4qMh7? by|Ad;4ꋧ-gb`f)Q32[NhO^h^'(lZ}8"+ )>Zu;9F@~c?`F.3c> zSˊՁ G~%Rtmjl5(8][!^Bku4vgP5,Uy6/@FTjY|.~Q8o΂@_=@̊?fܭnţ:ryM _؝&K名u2ruw|iJ"xcyP߀4$|z6#o;c+=(`IV|]*?`эvuֵT:B`7/w ?~ GkMR˚Qx~k?me< byx]5 AEFi ױ 5{RrJwi!9G):GLgQLm*ϬCYTlT4EHF}͌؂F=Bݐ nM͜#ٌklM\[Q# JH&C,~"~,2$󣻛[yŜ @? 5Z^)@:Kdc$ܷ`܍>'dh/_Cb Mbw 2n$da]:׆~:>EO]Fk%^5Эڃ[l_GvQ>Kd3+2p_,q ᑩOW#W;FWbf:Iy6n<\ÄS_ RG1N9%~f [ѶL"=tS‾?ݓW ; 0pGEy|Zk!Fx&.3Ƒ%Tq7z|e>D3i 6 G; Rq*/ޯ-yQc Fѡ.F1'jg1ZbB`X5Q'ţEw"JhRC56SlyUtW qbKs!>UؙS: t;N%5G&Ya<Jbj='j6F9I>["c0 n2GČTQ$keXr扚΁vFzGw+-hXaV6:C`F-̦bC)D9f6 3fL/ 6 6~o^/y`CBb3\8X"S{ (Tta+Y7/Xpc$EP-7Ը̈́~x>9[,a\_eC .>l*7,na\>)SUM7v aԳf|Sή5fLX/*0[gWkV&-UC oY/BuU^昘hmn([(u!aQt͋eQ`Z|3 /̛NrPtߡ1Y% gQ*txL^"] Iqף꣚hczbdȋ'I^gab"'@ l324,.D6cOD-tH+3SiE^OgGtSF݇xPrVͭ8-'|&G@85$%)ӿ\409q7_A 9 ا&pQdR:'oŧXr/#h˿=(!y;qa;\3ЬI@o[{_ &K…ӸUggt7GUOV0+\>K~F[CE(<8N(:1rXVE,,t<'_]toU*?bDNwV'%L?='d^_CUh-.}d`S>;i}s^\aYz/>韰"A3k@wO-hhtk$”2J!s{"6Z ZR yϐ` &oơ#˸ZTA 2(qߖTitK^Vk{ȮJ>է'y%gYZ c cK #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_lw-K #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^)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`b:f 4uFex*2WD}#7ƍC|u|};ڙ,[.K6%A %~bH E9 T0̆1>~9hn0WEX^ m_QT,"pJ;C/z0jUo̟lȸ!#օcܓ5 aosC] ?{LY_!^O+@^åP_Mv_\'?<5IKR6'?߇|ȟ+\y'O 0VstmzrBamC.PFi 3*,(gs̓L~Ռ[! 骶삠ۄ ؒqAۢb\Pu[E_94öItʔ8 k3dHRCgX7/ѧrqQC]l68և62(sN9Ϩ%xPpC+tʇ:oӌjsau7Ll(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$>|$+"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]pyr+B̿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.&<:[ -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_Bp1x3/ue .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Ρ/پ8Fh0 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 |@% 91אښ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?S *f([| S(:OsA~XJQ?o P*5:u=T_gb|脰6h)/9|"~WF8 f-dָsƟ;X-ڷ]ٲH1hi]$9U (s WRz5kˈ,m0K8te ܞWC<򄾫Xg'&Z4)As6\ZB7 _WW \/և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 >P#1% LHOL-AlgebraHOL-Algebra.Moduledocument.tex7zXZִF! ]A-MՋhvG"uIBm51Vhحg"X;f°}ktCY:Х<i \QߣQM%u@ěk(V:#ɨ1@C8 s1Y?^C|IFF>Ú"!͒rJKo-ZǍ=օRիƺ|dan18w/tXRC2>/Z4E @qA1.dVC5XW2'ɪ <2@c"'-Ո.GiKPZu`k ״wdeU4f-oXeHlyrZȃ&wyk@G90M]_TTQ ,'K[}rdӀј\NTa+NNt_ps(ڡYFIݍR'm_k j(+o{_SgA  cj B[bPI(hʵ f7ll[K,?Ähvg6}nĪ >)U0!캫 @n*0VM UAj_ܢ >F={<:iSѽ!8{>) AzVlk}1_]&.\mOb+w_J;N!A-ƩXDeuX7Sɀob&8HVJ#YoF? 6QHy=)D#lE"i*cE?s!շ[@ k`N35 E QVw=]oQYi7_:0~,`~I#-NWFfQuyD+ʉ;<)3?!1o@M!̡y Q )@WPbbx^Zk\PM3*q#ju5 ͗A0rn*"G1  +v}CQ D}ؚdwY@&|8 l7ͩdպQɀf#uu7l5a3IaJ:RFM:Ón~`1<TgO/Ypˤ;t|"ύxL1q{y z6Wrk+t{4)CtӠ8~ٜ1ǫrPfR+ zSs<>=tߝh!#*̄ Z]u3fl3PIȬTAWCn*PIvWU!IB4p*˻9V,ŁGz+?!@֟@G&** qlp)S MįÑ?ׂü% m,_6;&p6ܜs+F8 ~Mt&﩯;P83s`!Uc1_*H$]fֹro#X~7W)cA).c*vQSŸ?U,]7R`ƢKM}^\m,~:55G٧q_*5sOWdM0߫D$̗߯K힨]OLVANpcTj7 {~(Ykfڈ ElǾSWw7k9_  R!C&XxE݀+lR$ OJy/pyla&y@:8|Qf2f #(cxsz<$ߘqwI8hi? Lݗ$»yoRkµOO``_GEk)]4߻hws@?˱hO Pfs3_0V~a8( u6e<)ZqUB'ǠL7tNRxpJ( s˯@{`X}]%ѬSZ5Ur*'IJ#.N t Pu9BXM5Vc*s/u9ڗT UgYZd #9% lHOL-AlgebraHOL-Algebra.Congruencedocument.tex7zXZִF! ]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Ú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<|M3y4Q,Ď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"]65 TT)#+% HOL-AlgebraHOL-Algebra.Bijdocument.tex7zXZִF! \p <]A-MՋhvG"uIBm5EGPS͖ (cȚ'+7J ;>xPhf]wU|:(aro,!NyVkܫ;G? !UĢriG{CXo_rc 1ur6̢4$o\Ll/O˾h|d^ec8H HXGP+24\IYDؾG͉N.[$RQ uhv3r5TDc;`ߍ>I Ρ"r)ށeW+)ƍ'# vUCKK+J"ŒgS姽㼄iAJM^𱈟-'/9diUGdiPn71q5 cjI]o:z)׈ Tjs7`!bY+9쑱D>$ = n( W5㯮ܒ_DzQ6ʌ^xhd-# ?S+K]#a;t$ٽ1=OkYAk5% pC\ذ\PԷɴ SkAasR$_$ O$=ח'Y]BW͊z*nٮ'H㊡qrJ(kDnCR$OBU#(.*%JRW+wE)^ R:wX5WESXprIU13*clnS:;88q\A3 B54&En<( l+_1#N2O$P<뾷-IۅUh P̽&\bzrHv:g8,A§kR=Icq2e~,zBт`en7m`^{Q]OzSq]FYf,)G Jot2:yPt٭0m%o)R )kl z[UhIQFWCn>NHB '̈Da1æ ]n?:h|Th=_P 7[HUa+ Dp*`xqkjvplcAj.X>!MW]97hC| w#d?ڠ@;ZY Hi惢,~wsnSz$Q l#5[ "1DA*8+/5/ng:zTu 'KC5sxvy|w]&v%'>Aؿ:ped C3l ra5gN A59L3Df@*}w2ڿ,/Լ#|/a ]}T~CαU:[q= xQ`Q"# 4ƄKc(#$Iݹ (S+*{n^.\֭j̖ 3kތۻY]coܶ.rp[$̾Ĕ A3eD+a/ 윹Ov\(9O=SC݅W3%\6u{({i2B5m=[pl#]"/7W>Ѷ< cG b,Wߏр+ )c6IQ3JҺ};CCX42a ')Ewi+r2]eQ+$$JE˦i_-O2v% da})AZ@(V S-~v%_b"eGwG(ʎi ᭨R&A}o}y- M>tzT!lE=6JNQOaOν|䢐,ma](M4@;rvrfA}:. ,(fTM2?z,^OڠA]kJMezW Bf@b> >fb| F.+xB@[8 %zS166hJD{>LYиP~gpY7>yO]\ tX܄{D"[ştqfab4Fcx1*$77\@Sxo>]76+ i^&?TA)&倅T{;KGY}YGM2AӴ#?Ȯs޵(ďi*:t`HR+8F~'!Iv1`ƿhL d5ڿZU1m[^9n044)ttDgYZ f#5% tHOL-AlgebraHOL-Algebra.Exponentdocument.tex7zXZִF! Z ]A-MՋhvG"uIBm5ܱ5zԳ@Hy(;ZPCa+EIG~͖ $ Lab]~ҵ{Q`jKѲ.YeY$=V?Ee!%͎-&1R1\ttןSeF)y0m>z222r-Qn#ND8vsw$o 8Tpw>)>%^#8O9%xlEH>,똵eWtZQ?ێb W|͜otц{߿. +*FGB0Uǥ )\Ty韨=Ĺ38-EӍ) gӳՁw\""e.z} 9tMxlX6!3y:sonc|jMW$pMvejٍ"ٯ貶+Nr%rL*A#|AjC]JSn=A1WxCD*U^)GIcOj䩯Dp'<`X~(itOb6dn~v5۠+ r(i&յin'tŇ)gyۭ_:#[QJ[5Z[`NׄR)f+igL B \q v!<hQYrȼFg QfThDNw`1B`as3C{ڶw:ޫjL&g uZ=|FUB߹m o]B:)Ձc%ץXt#5nW|2&y4sjp.Dl0; ޅ BqЈ𻇝w[NqTG~SBlṒ73 _DNpae R.Y9a˳EVb4 L-ܡ# 8`A=3t Lۻ3q@\L47,Sƴx~+nZ0@)U[,e(c7,WH%ǣ|9kwL%<[=iBEa&==h]l}L[̾Ap_л- z^cSc-~mZut0{1&ƨ52J4x5by KmE98%O|J@CT'+1)' uƠ;bU!0shG֔}*ퟵk̠:K]tS`N2jVUГW7N˘V՛Ĕ"w {|Z"Vm0D0yDpn||`%{jZBP@Wrt_H]|a6iF[3HKIE=] %J ژp2^˭5-f !PfQƞ:w\A^~Ld:@ ~=3^E%?ha1lQ݅$Į@DoPrXkZa.GfȵxP_븣{' k~e#9\kD p"4|@N%XQ5)tץl ,d>_콯v#Z8; D |#Ea.X$jI;r|5BY)ָ7X9H=k\A :Yb\V3'r)~(DD;rUߺ%YGVGpI EMRzQ-fȷGʠLʨaVR Iazt9̓3mu5X0G+:ެݫ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  i#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Ҥ$ :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_o9 (#9% tHOL-AlgebraHOL-Algebra.More_Groupdocument.tex7zXZִF! P]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 uFlP2A1fU5cGp\bņ7o +`֐4|ӫ6"VePCrdgegZoP5Q80[UbfyԈ JHпSS?Sk+} F}s^ағDrDʜTF>|H"6埧*$$jtG%{G%"-i[W C֑}5T_Ev!N6Tv]OEE ą5ߦ9XuwdOw(fܪBc, VOٺv8^3;"kX 'z7ӟ5$0B q+B;}dn_{hY.v-|?[2\V8&+\K 'Hi Z 4j@0BDxJJ\)s"#)= d6)ls JgG@BgݯCN \JIHε[!sGA`C@g p!ܚ}:r6yVc Y'WMeS㳸wCKA$6ԀER)$0kկӁwCg}J5tq~TD)cr1^$Ny#|uS, [r i|XHԂqY.k`hb[ 5\pbNm m+BA6StQ(5Ng_R4C˕oz5TMDMRM‡|Hzi!?@#{&-("CO {l38؈nia,167MۆTE)o 觴R?y5( ACSN9ۗUZsEUkTslwL^'gYZ -#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 _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ڱgYZRdV3/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{>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 Z1PS~'$z=U@1qBh ]P-]ǧØVKr6!cɏ}WCmYqYÙME s)B,o"im)n"Om|m}ǃK|QLzgLhBmSRpzj"?]+}(aV:O[ J1 DF"(kטXV!ˢEeu]H}.)KR7Br uLڛT # ߂>iWeKO@&d).5w>MXvTxLv&ą4XA=;jl>%_9V+~CXI%\3)eT${}TSJꭝ a Hљ|iHo*f<\$42zf֬& H 0"8%3w ugX]~OdHѻib#B#cuKPsn-7OJ.L,a{gkDϻqDӆ㶏{Sm!Mvs9іI~Cʯ -푏{UCz*żZn5H=_ $~: cH,U;~GNULh2S֫">5BCW\Bh9iR'DVMO63 ,*g?qLw{z4;#'jؙ*yZ;~^vkR}࿉|GZN|R5LXƺE}#sy?( )13͑|^]}g1㢔B>] 0X jզz$x,{p7:W%T_<7uPX_G[a$ub2u0OF|~U/X-RKe6PA}"m5U; L*}Y @U=m5GvV:CdT"-V&/qDea=X?Tm2eq2. AJ DGanGACQN@ONǒyfLT#(ΉN@٣,m$څY0yBS\l5 lJmO".:=)Zp ʊ^j|aQ١&qjQtpfgmp}${0,ƈ,"mv%6(1 5NACὑC [ Vmfodg9;Ӧ8,휏Yk3[?g('%)Kz@=dLB+Ti,>5_1x %#-{ţAXuU.]MI(}K~;a1yjM'BAW`5ɩ^0C91/HرgYZ K#/% DHOL-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+ ~[ޒ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/HX7M+f @f_Q4p/D}RԪ4׶cStuHhvEu:H@Nxwȝr=KPEM\DnaäXo3j`WOUDiM2~f+/kd%xÕ?_g|oDuS ]҂}3R_ȟ(4rfDv'j@/Ә' f0`ʕ6,!fG4寊 VM}]-{7t݈iP> rj@X[Oyln cWY^ʚ댷APZ 8lL:0s$K_'VϴoP)"1HfZ%3Kc$RQp]hJ4X2t{ε5е$& Dw(qXIIA$ko^`s`O&?Is7' b$#$ԄJ=ATHh=JX@yX~nqI@+cʧwo+|(n1k8R"*a+01Wk`F:fn CE,l9U >6ӌDVgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8g#SbOO5wW%iq+׻fQZD3tHIRW>)t ^~]bNhXԮ]Az+1Fe*S )2Õ2/-ctsQ<:UU8n ~BY[ bu L#9'={k$CJJS=MͻXV9Bml)qgӽUq'm[w^fUr 9G6+2sN;-FYb_쑰94@Ƈ9NQ]oC~(1mI/͐y4k*<bNctI̽z+(A+Nګ,Bf~qO?ڳ!s5pJgzy+A ݺgYZ7zXZִF! 2]ŗXi%;n0?M=s$6'/h*fM]Utt:w쳨YԕX 'L+Fܐ*U^X (t-~WCVcy>9ٰxӺa oPRApp;u $ rt^PaHyp\m@v|ci1 *u5TΓͻð1t= W#|"|4{s zijJŗ O'ZlA%1^n|[B`TRc<@^17wrhDRÈ^;޺)þ?мrqH7i*>_b.e-R{5jU)FI!h,K=4&yF+v|jy,W [H2~ZHvO{`i=4QeQmY1 NvcI#"mͭQvĔ!ڤͶcj$W51I(sH炈j#H>aX'C Ӏ"]R9#D$16yvRqOW9Eo"є%Y%c0QO{Ϩ^]IlLu{8HR6m=XHqʇ| b\aTPJ侼sEڢG__?fHvO_B{w 1ox0-Y(p8lP\~uic!yr '[ޣ),U酵..(%~sz)952m&vaϗn2sCMN=dzC*r`۰\B gkzkK.X#xb'!%Plt j0܀ 5ܼm5XoO"A&u)m(jRl|HY]RP('U/zHWOTE=ͥrE~ =Tpk I#(#oeļ̇6txy>$F# se8 _a0Gwom$oDJ#} xs9\48AJqn)odohyDYWVxб{pEe(Dq3.8 !@*ҐQݽYgY4n} BʉXm}:az6J2 Qo#1@iNrK*I4mE\7} FƒY߫柙39{tBM1FPyizb504]slg1u5yx{M7h}$\XUӎwy|}hqHvU-FX&6,IU/GIVyǣή 7IbC˳JU*'1Ʈx9 R*}t0p?~Y(Тz8P!Dq0.̍}ڨ~A(R6%! ڢUnh ,GhBc_i="@+<=s(?%kѬ?yd}@:·dK&TvpxNPD%㺾hKKd&p!^ A*Ͽ6fTd`:<4*GkӖiRZ<0_Ntj "* n1+gzRPa{{ZKgYZ07f7d406be9ec3cfba4ec9d054e5a35efa76575794cf8b22e7b9779302e83823a3f9fd89964c17a2 11c8c0764fd3d166093177f08c28fea735200be8 8ef08a40b4fe56919623b80845ace902de3f9da4 734e0b7ebcb90f80a9da505f6024b09defeb45ce1937ee6d359b08e5843a74109aa62d361ea725d9