SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 CC.9xT\$ ]/ Jacobson_Basic_Algebra:threads=4elapsed=110.291cpu=142.460gc=3.8807zXZִF! J]ŗXiɟ  QiƂnBL&Ub-Ga}frS(g&wi)x))0Le"*f&>Of0 #-J%e<\u ) ]or:똪k">}78>^>ka|a>m|S;/kj %fm H yN){Lg[v2,(.iT8,۰O 0R]ɑe[!˚k2A^*Wܖ+QW_/W*D5oJ{B0huP~v{BLt4„?)*Țk/k:O*ZJ<.t^!. yBܵ1 Uxq4u㻠]pk_#-Lj"F0v}jANJOS)˵UHb`P'V%qF?EƙbmoIͱXkn/ ͻ#K膵νXo hRpx/]bNOasXkk$uD1d1:$`ͳv^NGKՂm#iّcpf! P])s:S]lV8*rx'UyupF`{MaߋmLH^sF2D,&rh$D 0<a wя 圾;QrФ<,V3݁vD+dKwQ}7fP۷_ߵeM zmu۰D橍'tdxVQR],yYM\aP4@7M@:گx*[×KsS,eB|ƘG}C*OUP_+V+ -^Z ЕYgYZ7zXZִF! P]ŗXiɟ1˦r!st#?9OfeV}ʌNtD AKZ1E" onaWY:QI/V:f54mKRIu+w '+`28y0]dm8OeaF5#<%gYZ7zXZִF! "]ŗXi%D8S/ G]XIDf_(FV^ľ ' a! ⓑ6p[r&kS(Q{SK#jqZe޺˟_erx]ɮndt K)_zu?MvE2319w LTNO襎Xc:C{7rjd B^/W,m?(_ %S ɝ4a sd;yh|`0+o QL2rHslpP$ٕ*lbݣf>3XQN+@g9]|0" '8iUhb7D6 } |GO3JaϵF8~ʦu V<0y©>m_a4[1t淾Qy*a!4h ;ROc9:ŦwAg)TcK|?O [?_"gvBǯM GËGc6NTш^-wo#WUUbe,bX'wXEyƇ./d?mДdLbmTMY,vVӖ@3OmpZuO~^fWlq0rL3Pw{O0l v|m頥3`*ֆfy]OE61Uh/qH~RCܐμ$fAq~(w*X<|xuv ƄN!/M[ J;7GBgM߬<4U=>j׳9?SoBbr <7dO0;FnC=M;`w{2󕼬g=es^W"Ώ=OBQBjr{x.%?gEޞ汮4Y(aj@輌HgyVzd\v"U<vϘrScQmR?D +zb=QeRYČKZHBFDkeIf&,4),lM)KQ;(hKaȓU1lAa$x-ר4EQ(BhdUhkІfj|uF.il.4]/uՈEdg2|r7V9V}@U8ʠhiKnJq=Ԑ?YzXHU7oc:]$3甁Z;2#qH8O*ڂr۪o ~rTVWKV43+Rapz 'SOu= Rf^pGȮN=>)ĿBXcQ?. n3hVM7Mrq:)c txa u ? `R#h'7kK}߈aHpqlcv\ ADBsˎqi׀Ŧ.B^W mgzZOЦ#I{ +xw&l0S*=uw-&4/'?=t#yG *z5C(ZI,7okm`p^YU+{/u燃F.4c@gk R b?EgfpY5e!iԅh!:\V!fiuI6f~f^ydƵcT0yņ4aJ ELVL[ɌςmFϖKtI$:t t޵i. XbΣbu%t I#nMF\ cŌ-G돣 ,w'Wϴ -`UCX'6Qk|Ddeҩ|B Y2ɽQ a<Ɉ`i0rOx=7r6mkR|-굔^n|%)ȷ,QgΡg)RҖ"00[v sAD2ceD/-"NT>bB-(-1jJ\x|a c/Xu`UIW>7Y rPzAHoXW9RCOV=7 p4gRDդ`Fu<?3 O>dV&3;$|Ca6AovfnGu ֌P{72dyɶaϷR㝩{ ]y.=8M=,wիvEUNz!E@_njc*ڋ huŀsɢ JCGrA> Z 93% DJacobson_Basic_AlgebraHOL-Library.FuncSetdocument.tex7zXZִF! k/]A-MՋhvG"uIBm5q\9!~Za&f * *s7˽Ie~Nqۧ9~i$K} fGM=A<-.2ANq+8a *ZһSؗק/ %}{VR^^: nspeB&BAA-O'+ӸMd{o1Ey%I^ݔŦ^&M(Gwqao`tvټԉmۗrm\?joj"frZB ЬT9B׊O*6H+N a%*mG>rƽ5#K#C9&`ipH   0{K9S%Jacobson_Basic_AlgebraJacobson_Basic_Algebra.Group_Theorydocument.texJ9Q%Jacobson_Basic_AlgebraJacobson_Basic_Algebra.Ring_Theorydocument.texI9O%Jacobson_Basic_AlgebraJacobson_Basic_Algebra.Set_Theorydocument.tex:93% Jacobson_Basic_AlgebraHOL-Library.FuncSetdocument.tex'o^5C۳<71 xe6Isu"ױ{[M86c|ɣWwJ20n~g5]\rM+ky:7!phQ}iJY]'7Ҫ y0"mNnwfÓ[2 Fq1夝!}ӵ׏ D3k}J.{yfpXKqXW$_n-ɛ BJŗ|FhiCOkҿ|d KuG!_=0Ӌg%.5) ^cʂwy׊ș^~<"mODs3JuM~<$x;z'ˊ#DgoLnCV1Tۦ7J{q|ؠ^S[Z nIQX9@T/gx@]gA>\`IX8ƙ H Wv-Zw⯺qo~?K'\Կ;h*'"Q8/4rA8 $|1wXzPdEGL4HS{)z(R z;u{fJ%I KЪnNW.%}0]O=Y5Pi6=K2X8W-pr'ބDٻi\jslѵ,_|o{NO[a[2*p _N"2 h|UI0ZEӆL=jvjl^[\hf9Wm&.sFGz,;^|t3Flc!aVf,K Soy@ C%'P(X/Bj5iş'|紊MN l8bwlOD9ūmn;ڂ'|UÉSlJ> (>NPS-YDPssJ km@YG5rfdXA=kixZwGFh-iӁ M~! 9#в $D_CߨEuB,[A G=7q&qOHJpJ-,*wĥC䒭VIa0vQgNNLyR*jQPc9W (죔in,Ez2s-Ĉn,k+ \*u[wvztMW–]]{SJSI֌42Ni>楊M欐_k`TLN&mSÊK]W.VV\6XDdLQ1\ ɲ~o%m<Ѿ%JjZ$Fޅ7< *):qleoB[rےoGcy7 <:xgCwI:G[%:$∣"Qgc{] P;Z/20/s*g'L'S[>N}A yvޢqP ~DgROXqHsM2Ug86FKnB6ם/ Ęh SFaa{3=xMI!9iڒ 6>V64Z|a .mw"|dU%sͥ`Ϯ}CTԞi7ZƶxAVfB~tNMQ2Ko&p}K3!BZqbߣKKZH,!-rA[f7QlyNpVpy9W{|(Ƭ,|3O1oTH7F;bCԻscImmEՋeDc"ϵ .HcP|{er"{9@zU1ʏs9E*=:(0z*<QRw}.c^68+\eDw(^c4y5w/iq變q܄g#38M8`=ʸp h_EPש;qbͶ> r˱8+^h)aTa,Ö㱳1DHꍉږ+W4̦h- fve ]p)䳩#l`+ŁQN=6- wM$\}=gXDjr@46#7T!C6 WA98 Gp2o EHZU@֨QwԸWoMװi0Hc/NUɐҧv嬒Ogq"N}ncZi plx%U s<N´7m sTq%c[ԱҫjQHmguKgԯt 1=uُvHH &Mk(D`ѫ8 K岯H ` G髩r7s}5<OVeo3g-s+7mvl=QhdZD.lVT M.|4vRs*ݖqF@qT7W9]d(sm O'O&8S,\@Wɽ)9}ˑ_w&օdu渻\Z N@F޾l"P~WsS YY+[U o%0a~rP@Vݕ+rAyͫ&8; sQqm-ޞ һ3B^ r s0L+$5!)I5r -;chY, ̈́E*JG[ TWJ߶&<K=", Uj-=%([ƇReޢ6zLIrN9Mdn Ֆ[lyCv[BN;k)ZI;n5éHnzjIG)vNn\2=Iz> @ꍫ7R (SHoc?`Y sYCE>}W„$ơl-qڙ{?'35(iXL*(/|w ?ڔ2df3Ϸp_co]tc- `cEƞm4WҸ@9ԕ-Kqk"֒P;ߔv$Bc1|qi>.=rJ)pY4)[;uAB+_<lj'_9a? q"֔ghIc>_;;f&7酕CEA APnEح\F;T:͑۲ `xHaPT~ICc*!f-r&y\sGx:A13tg96I،g;'M[nD9ma MC @yvLn ]HÓXIVK i\o@@i<(Dsսd[ڢUc* 7^N` ui>c!9E) 7U: rLìRJP5iFqP1AUd94KL m[3m8FdX&20#VXĤԭ\샞iGAܧ>||0HLF,%6)o oD.ʖg^YJ)C]TD/Ú lOYApی|ɩ^XJ¡}t† ɻmJ/!ovIk9m)ģ¿ e#ru6% jU;jLugS*ʍC˩Y ;wW3h<tUJH+Vt0GF;1Q[[|?ɰYt>lWU7jr.*n*k~f]نva&J:zNLZ3ܐe;ꇱ-p ܊RʇlZ3h:"̦v+dDy)5}*W_I.fBbn֟)ِ Ƙ_"ij]Aճr%uu\(S29MA_}zx/b2hcKuO|6V2R٥v ~txCDze42[Z^IHß;Ӥ kts{CH@9h{ap!/*mP~{{(dsރry<._QJpnm.cУj!t:YTQζhu$H\)n&ռ0MViuKTxr 04%mB+m%#z+frA<7,-1{&b_ލ]J4+&GEUTH0lZv{89Ckc?ZJn!rim=hGL?b2ohXYU"*BFAymWw-dIW& Wf,KXA~aW*Y rI5r*}K~ȻI]]NTw^7XTLzc }ԶB@uwɸi㨁i24W2 {?˾5i^|H(/]UF xfk%G`w%HA̱1=iMR+ *IzM~'=ڳ[bOg1>fg:o=$؆H+ls[s.``dc;>ox4_XQJ 6 l𫰺p^ӿ}wy*%b}2QHXADwѺu DZeWE݀&@o&J6gx w16)"Oxb4hI%si *z}{ĉcE^  AH]UXn06DgF-̂5L-Pf 0[+>M%{"} h&acĺ V(VUnP۫YSKRY3Gܗ,H 'rw.MҾe/E쎯ǻɯo2z/>&5|wU?7ō'c8$=՛0kgI ѹcX$_(P  Hӆ~Oy+3"_1~o3Q6j'Qmci.A>Lg-g,Ra+Yfƻ,p"=.s#]<8k]ĴMhvAU)Gֿsx#xFZ"v}YBksm6Kn^W~L(~yߤm1iGҾFSM\+M;@ ]홃)y.Y X }hԠ%l6($"yaM9bnM]|HNLqoBf`%)Y~ؘR$qabWf oGrֲbȡJx0<ӪG^Z|5)[{ C&. (HR @tk :^ޣ-i3Բysz VKȂ-8?P MegJ~ɖd뱧6u|BV+THu 8$SW!&a>:nЊG_C/qu ȜXJ] "7*IN}M >Q0I]85Y]Q]ɮRfEf`MPdkǵ}gX,kz啔c,TOP`X{Z,5Ȝ<|t^?GLUMtwl:lXFLv qe/LE>i\Pg[A9! =$7KcΡ]bFPGomDN|*e̹F 1)a"b惈HHcfۙbuۤc5괧=>LIuW5.!/cz78h~y[kt?$$LK]T]g >^ez:`ʽT"ݤJ\9R" {a D }Jm7c[yxAZ$(V禩mn |ko9YPʍagzJm+qtEO#ZW]yo sa`Z"yO_Y|v,I8-'+tB$r4`1w sїgW\ !a=OXj0ȩ4SFS2Tyw*nX*.l _wp݈L#vRVee*&|B+=#VFHϢmJHYD8ǥͩQq]h;Y6[JրOMx6}wG P ('ܔ47䂙cZ"؞|jђMhr!?n@񈠩u +:ɇ|n[`,ݩ^d.6k&Kݤf"y~DL"> 1wh "<]ݭ c<0ZÈJ(ΪV;33 [0&o#ENLaNjXsE$ip{ z7amds{;LJ56I4PE^ 9/2JB7%urB*noXh\i4#$4PҢ΄vn?Xlkj>J=(X~E=<U3_#2LVVjUkm+Rg:95hHEAdwbnz!f9A9rkۖW0uBq.=>zsMgqM+C8b15 !%\Fc_V37hKBe[>xՂ׮[HdOVWV?v\TRf?jg#k_>m75ѧ?ŇQH[K} (OZ6+T˕<8*jN6w+o ]g fݪ Azrfgj6C$7:98Blb_'xOBiv%ݡ(gwr_G_,VŠ4BrBȾzeE)~d_j@ UkF klJ>% ϫ׎c )@?R)4J'Af,Yb6ؾ0a]W^ HN>a &l#B\@JC|P=mDo0m=Ոt $@L -MMf-:'t?&7:ms|{?/=ZޜOڥ""ﻛ&{CO=IUvN0D?g$g|O|bXn8~1B=ֱѺ՝o=]֢{7]q+$-DoorF_F/(SU^ۛ6[Z)0K<BBm窞pđz( 0i82-j2`Eά;-P#ȲrZלJ:9X_c@D;B?r7Rϐy{"hd@BMSbo,!Y.-Se/y>>'L3K KU[8fRPx@ؾr;."P]J sq酡OLwX)Wx1<fΥq~!ʱ,ϊ][~ A]@V$,1tG?*xF{Ѓws*৲&r0gXM |f?fmS.M$7k7*{ކ5 vi/E-i4 )%KJ=0cΝ2t-L>eL5Q`28nf/nRT .ͽZrєXTR`tԹT8k(7˲~}~@zTI5k y Q "_b6|[Gm.M pXnHE (@!c <7R:旺A&sA;uMo\BK'*^ޡz4&DdSD On; r<I5L0c~>r( ުd|KU hZb-Bqnw󳊊"ʀ>CLrN7DV%w7rꝇ3J͚YûHKJP hyj}>?MV Vvr"~U"s4  i3_=`sQR$7 W-OXpAԪZth{7ttp%}+VVJnRf8,j } wV4Z_qA[.ؤZwl X>MΠW3%Kh$3X+ϟX D$C.MG2;{Z2^`z!v6όh,*Xzv /vB <<"$+Wƅ?\+ ffM4 g8sdu`;,6I :(yr?4." 9^Tx^RE5яmBr&}fߥ"9sɨ8Il:`iP,y)>xRr'ż;M>b@& (d΍cxyK1T@Nw,GM%ꦌxc;tV̻?GG*B O1(9Py^Q|\.A`ݶ/c9&G Xu!*o~}qdrǻq-w!@lA֑G'{#5&f$a#ruj{YogK jN&A v;'p  YT1g[ +W&ɍ_EcPtH45@`sp#EL̠J CuAlcƞkvvM.>N`qk0)4CcqzOa۱0Ty!QpC {:_ egYZQtR m(j! c2 6^ͼ[Ugv\w^s=(xܯ|lM 4oa@p+4~kg#Pj;SP5M˗sRBxWQ\9Giϭw$8o}VG(Uo2?}~uo^dm\ADڠ=Pe:6W:1ZQ}wfgwCuIΑ 1qDғXxq%jMу {7d2P3gd-TF< %Y[8tS\\>agNjcѱ_ %,児K ?p=ߺ:{f<`Zd&VS87dIBvx LȾqEj\ xjg {t+_,jaWv 4DL ̣Ø|^ [$^ {D HFCl'3$"gA|@DCeoY<{+Nᣓ =9PM+2)~8c2ӐBc*b(ab߇M(y+hS>_RXa._0䮦yOS\lyj w4)\A$zġO`z?G%~2.؀Dz?7e%*? Pc';MW:C4E,5P.in=VS ;;s_'v)im @#Y@.U*U I|#g1!Z?OQ 6sxXj7aD /J*OUGSoǽH}y=-WU~qP$N:DQ.WxZjsk a&n?"5i 1<ȰfǛieQ/}`6>pQcެd: y耒5ҍKql+ʃ!rBnЂqd |{ώ|qSW4Ȳ3\ 0 ܉P+HQ0tp$0j!=Nfk@;rޝ pZ[ D:pI$0Rkw,)SK-7wa(Ł4%gJ/P Z{ҵvC5SH ~4jALN%sYqh&SQ V7Ϧ`o \:K`!HThyWBѧ ]z+Y.ϽhtVSpEm/ROF.%a{ S;&z8ty[I*co'β P#giFA 䏎!H TC(B p7rAhw˂nUl Aj$YT;z? ^W"^n2E1ԎZV<&-?*m{.uOiDYtrIA|*uQ݂.\Ub Ă b^e(v?;xsBg-ƾex_aEQTtoNT|}TLpGHU]M-HݫB~:)Z=y4G&uoQ+,m< VRW]ia%=NoUU|(C*wHs<_m% bJir·7jTq> ٹK*dL0l7XSTu{<\ M?OgW⽃KofP2!/1}Jši~-pX̣[~m Ѓ!a,`5DR(z.̞892R_'-Y"QFWhv'_^ObQ;GsQ{$P7obV$WADZ32Cꑀz)V:l6܃QX[Oi%ƚ-4- q nEʑbik?^/}\*lHqH \&qL!.Gj{'fr8>'Wv Xg3\p(~ g0TMʀc&Dyzwƅ~BVA.Zã$_T$lN/ &>LϖUˆvr4K\"nP`~\De=N8/~~-N?In8*~]55ZU!vXi{jc=} ͱfO^RʹQ.L_$vR0A7Uuк+8Wb0$M}[gA _],Rs7Ԙ Q*FT)^Ds}yع7#h O|TY$QO`K/sWiA"#WgY"Jb(+?6"Wa *2{Q`gȞe˷TD'JCjX, "{7fii!`.읣$P%9C Q®HRZp%wx"iDž >Bp h9 RŔ=Ԛe× pS$r͙ ] @+ϾHR׉k]N-# }5@\=/jxL$]<=-B:p-t #&9•֡ OQ!"3ЌB?rą8sVp&(gAyٴM B+CGk Ki/ D}$#օm3蝻N0="m [+Ө/~\ܾ3u@U:h8"HH~j:Ap;$+ǝD29ĮoX0 ֢F[tV}aF}<7ac o!³ ]1m! ;X87*fG VR%|/f{%<-bq 0op@Gpw)1Q5=^yè2^KȺt^,qN\0R\='KoVZGJR5cmz"8q&Yo`I` W=WL?.md5J+q dBsO6I5++幈 ~V%xCܝSxqsLRkD&Ƽ 8vPgYZ[-_,v#{k[8$ܟ?ʐ`7e8,@WNR>o?s4K4XciJ,kP֜=a0nPyYbۻ;)8PI(2m=q"sPsn55E [k2C|A 툑eb2%i~[@֨OA&0,|c鳍/5bZZ76ӚIC ~.#3/3wlN2 uCr Ҍ.| 1K8;Sa쓗[KI꿅q_Z7%k |-WlV٩HMHܝTk1!ҤY5|-4,46dդZ'1cZC)T Hju9$b~를Ϲ g]8pٽ y%9-`_Pp:bPX_9 e)r!/l`:ExEF Lho)bJ@^Q|)g{.rdܳǵ'!Ul? iRr HebxOJ~oO𶆦ȥ!&zЈwyE i]!8Z^jRl{4 )]-o.Vns e:(= B2>cUe?të.,-aiHr v4KZ2^NK7Qh$L)HiF'k?ߡ{ʖ |@L(eH#=lURyrј_~&eKa4ͣo#!-~ڲxc6ރܷ /';3B^ i/ťm08>WҐbђfi)Az> O~QhsȪp8>0dviͰkopm=(`{SxȍDOLd 3+`Ynmk^-?,< D:^՚#1RڠO)Eh^kF (A`VKb 0iHIz@I)-Dycgbg T+o`:Zx}KbqE-`E$@xu 2 +l02E69>?["kEEFh,(gyb n^;Z# W. uy"Ұ¿9`f |P%[r{HJ"ц6a]]W$| 4MV .WIaҦeLirE6Et4.Ϋ'U+flv@Րjy SR[""{hgY/1 'U=e2W0:e=O\Kn D$t҆&~SNl|&BCLBV}2@NPH'Uâvnh:V^Aف|͌ZNؿ|Fp5aFD}[D/ >%}Xm|w#! }Ee\6wzUhZnq<+/s4牁*"v4)A$̥Iռ&D|& V,[lX`a-ͩ=M7P-6g\mHso w7#a!尺ԈQB@JQ"YBBm6i($Mv|pi Ta;CНޛa4+\ &~]d_E7tA~t;$v d "î]ۉ;2"6)lVU y{BҼ9kgbZ?TO`xv̈%Fnf lE30\N4զ-d(O:Nx(2?b E!dz+Umt&ȳiVs(|DNĥO}MS`*8ԙ`<,Jȣ=Ǐ %z#; H"]`uO5lktHh\rEM=|-G}>'֪) 2iedm<Mr׿׼g[Я17G9TF"tI'1Y ~MK Z30V/W%\lʆK61-|Rt.' ֹ/)hiM R\?{s_~-I;_O3KP#>:a"%^Wqb^ fqSr-۲)Z_.D D_r:x^,SU+ ˕Fp/QXz玦K‰^%c7VՎ`z""IW#‡JC5V_A [S) y8ɩ Ք)sӇu^&Dح US\`5\-ԣKm52eU7U-VݑTMSsLgf!m (KkpvuJ7:=H 0V~Qn jC0gGʸ-XW.V<pVs,@?puL$Pku.jwXs |lnݬ &3Ka3S:f7貮DSz5ĿHuztd:-^+ %U%-a>~}5spo)VU2pꐉNӅ7g2ȰC&>g06],ldYZ+4psC`L/(5Лl/|ݳX2Oyr9}F+g+2d?zt "Zƃ#| }Pzjr ?Cr&z_KSiX*\SL>NI 3'vء(C n$tW6WiX\S4Bz҇`Bsg Ƿa6r1)孡$$v(ߜ&*”nFP_9ٞ (W?UHH;ȕ AI31Ε,.z)m.a=2]n{\Q}p ѥq%6n/ jI$x)t*:4tcgk 61e:-wߡA,ǧ&2j@_&? \x⩖;Ġ/ spS/xXeC*~u .hRB7SĨfta4Lݶ(cZ6s3YE$nȎWapl;㙓l%O:u[h`*Q`,Iٓ;|I-RȘÛ]QMqk iLޖ,;5y􈾰~ݺ*:DBK("=?_>z8Z>eB`{kRB a|ZnP/(p? $}AZ~5uSgYZ ^^'9O% DJacobson_Basic_AlgebraJacobson_Basic_Algebra.Set_Theorydocument.tex7zXZִF! /h]A-MՋhvG"uIBm5#'NQj`dSIR.c_Wߘ-}m2߻w}9?w4 E˒%:>kS(Q{SK#jqZe޺˟_erx]ɮndt K)_zu?MvE2319w LTNO襎Xc:C{7rjd B^/W,m?(_ %S ɝ4a sd;yh|`0+o QL2rHslpP$ٕ*lbݣf>3XQN+@g9]|0" '8iUhb7D6 } |GO3JaϵF8~ʦu V<0y©>m_a4[1t淾Qy*a!4h ;ROc9:ŦwAg)TcK|?O [?_"gvBǯM GËGc6NTш^-wo#WUUbe,bX'wXEyƇ./d?mДdLbmTMY,vVӖ@3OmpZuO~^fWlq0rL3Pw{O0l v|m頥3`*ֆfy]OE61Uh/qH~RCܐμ$fAq~(w*X<|xuv ƄN!/M[ J;7GBgM߬<4U=>j׳9?SoBbr <7dO0;FnC=M;`w{2󕼬g=es^W"Ώ=OBQBjr{x.%?gEޞ汮4Y(aj@輌HgyVzd\v"U<vϘrScQmR?D +zb=QeRYČKZHBFDkeIf&,4),lM)KQ;(hKaȓU1lAa$x-ר4EQ(BhdUhkІfj|uF.il.4]/uՈEdg2|r7V9V}@U8ʠhiKnJq=Ԑ?YzXHU7oc:]$3甁Z;2#qH8O*ڂr۪o ~rTVWKV43+Rapz 'SOu= Rf^pGȮN=>)ĿBXcQ?. n3hVM7Mrq:)c txa u ? `R#h'7kK}߈aHpqlcv\ ADBsˎqi׀Ŧ.B^W mgzZOЦ#I{ +xw&l0S*=uw-&4/'?=t#yG *z5C(ZI,7okm`p^YU+{/u燃F.4c@gk R b?EgfpY5e!iԅh!:\V!fiuI6f~f^ydƵcT0yņ4aJ ELVL[ɌςmFϖKtI$:t t޵i. XbΣbu%t I#nMF\ cŌ-G돣 ,w'Wϴ -`UCX'6Qk|Ddeҩ|B Y2ɽQ a<Ɉ`i0rOx=7r6mkR|-굔^n|%)ȷ,QgΡg)RҖ"00[v sAD2ceD/-"NT>bB-(-1jJ\x|a c/Xu`UIW>7Y rPzAHoXW9RCOV=7 p4gRDդ`Fu<?3 O>dV&3;$|Ca6AovfnGu ֌P{72dyɶaϷR㝩{ ]y.=8M=,wիvEUNz!E@_njc*ڋ huŀsɢ JCGrA> Z 93% DJacobson_Basic_AlgebraHOL-Library.FuncSetdocument.tex7zXZִF! k/]A-MՋhvG"uIBm5q\9!~Za&f * *s7˽Ie~Nqۧ9~i$K} fGM=A<-.2ANq+8a *ZһSؗק/ %}{VR^^: nspeB&BAA-O'+ӸMd{o1Ey%I^ݔŦ^&M(Gwqao`tvټԉmۗrm\?joj"frZB ЬT9B׊O*6H+N a%*mG>rƽ5#K#C9&`ipHn x9Q% dJacobson_Basic_AlgebraJacobson_Basic_Algebra.Ring_Theorydocument.tex7zXZִF! Bk]A-MՋhvG"uIBm5zfΠd4rciǪpuH휾6ƽ|W d$ZBݯm "ܘ$N-Z`1qfkn ?v_< LorMQpk'S]e& Y{u, ׀e~UcAXt.Kc|<#"Pc,Jtoh5nxlME?]eNv,ӔA KcT@k=C5qUJuAk_Mio46ـ9h)*-w2h?kzUV0YxS'}\.`D`wi9BKpɵnA !D'\< CL(-0Z7]gv%0A\-0A{5 F} }G//k*#`h?p\A?EQcwtQ"qCٚOjFuùIVVў9fj@e"`& a[T ^T}֘ݢ8p?xBRS}$1~ f^=GT:<~FW vc..ODbT F΁\ Ά;\[QOG{`_K[PQ}ǹbHyI ) 8+#\9. #[ h %Y4]%uLJo?wssfn /નd,[6Nhu) ӂ$TZ>2/+)ߪ> };T]ѹ"jYvEDJ]KK 7b\T١B6s5ض}n%EN7VSgS g6mGYS/ܳÔ )dwVL)$ _8Txd<*qW\2){is2uf/ PPmW㦆i:ԎaQ g/&ozyz P j=m@6uH{<񅟓Cm2^) Gͅz`._ԬIq.?g !b&YuŕE-eP4N]Q7)"!PҩbI%@{`ҹ ~dVȗM4UM:IUD-ibVqd~R"QڹE-+qc#d3} Lk^iEP۫j=0 :#$ xD+uɣ_d`tS?Üc>٨⌴WΨ},޲dd g2t%OXJJ4dL'%VZ!].*ox:H8R?cX@,`ۍz 2J|%L6G>QӘ@wT}-FbdTӃ-Á*!p2HT뼯^G8{󻍿_ `,iFeDE68%iB +EÏ{^3" $`(DN; U9\)uVD3 BAS M ooѐ_Х6̂ |2вj?Q+6o-! 8"s} Bq}F +a;[}QƮ1( V1 @o"qHa(pYn)g2;{:bΎd8Ax6-O]$uRau)94]C+qYsxyJeq{_FE<͸N;kB+CdE f(["Y>(Y!*||+(D#+pL D" LE]Qcn7FK0%׭_4~7!$vkE4dH2Oj!&i[(JK$J%&\ARet@r K>t ~Gɶ֭柝1! 49:b=[F}zM:'\yu r,t+ 1m3*~\ek_=nd") <"&(plm˞=KoM]-ճ~Z|VYݼ;4t:qǺf a%7LpB*xI Q;{Sw(Q(,`OAA탒u-r.eH[,~V@qJ01&B.%;d+u5Ts|^N "~˗^ɏIh d>[n![~05-LJ$y6&ڥPLm[φ!biSUk4d&u{m)C zSju֤=58t?epM\ÿ{u}rvXE!={B cPjq#o[! jEbulzޔ/ q .gYq4,!򥤄= r.LFBCs66= :LGsB4>Ty"{aߐ%3NSㆍl9uͳ[r,e`8$;ȇB#k-'>jCIJN^;A} 7`hV绾]:/Hs%K@HTA@h^2ڲq0is).+N xHvNBoG گG; (_kBWj#](TYHx0+˨\L.`J=2Pa oT3)[Qv%lJܐn @,R#|r]:`NѲd UTC?TX1Zb=ŪK.oNݔm\/^0G9ue!~ $.ɯ{\S,6PLaXp)U2rL*ॗdMLi93qG ,sWcf* X[,c҉O)Rһ04xcHB"8B6jdFS=g?p@HQ.抃tnyL& b {E(gm. {Ч*ܳSmN O!p;KX\*yMakjS+:ȭbqha$U=x:Fo^ωW5qPݮ uЀ-k:";X!e-ߞRh1eQV*wK۵:^D f[HGԲfY[)0R) f-"/cV_\f뜊8mᓠͫ!OwMqc2ٻx Rg4b7[Pa0\O0G!n&CӘO8,NC-!?!B4BOR1Z<ӝC ΂oqyc Mi"VvWXW/jBcķ7O IHK?VU1QjxaU,g32_{W`7G{.iY1ȝs>=zX͞ ^Yt^p7}nFnYusn 4 B %PPi,F)9w 9>xR&EXJ9גڏ7 +?-˖2I ZCZ2V Dך<8pS? En! NuY ~?3~Zaujp4控&QVӯ E4Fޮ >%1"[}Ot@SWwP9tVDʫU PGepb aZ7nɚcEi-!+W!Pp;fI+zї cΎ^~3&[*JM֣ 0~44D{)bl\ Fl4anAVawlnn;8W$иo>{AĞ<0UaLR5mt]!b@bx|Kyk #•z3rTGa7yj+b s>J!rosjHrV楀aDZ-6Ct'dQ%`n@'oK9~^/a|`Lw3M4AjO P%"3\ NlAƧĎ*ߊ?:M{{j /E?ԺGlIm*kߊ8\~U `{ʶ @EL׌3k i9UnW&w\Q#˗!e|TZ"-ϸʩu<a!ӫŐ?Ch3R pUt lI#݇Dϣ:R0?LsA#L^  |Іv<>YO-*b<9:gӤ ,;=XR}WmI]ogM { k\ F *s+3W'K*בqW /MZ {xH"%5U}+frPD3B8 ^L O tLfm”HȲߖmUPU-[ *ݸ##~qcmp:G֌tq6,Q3?hkzMs.XPt6 nJ56̊Oy-6EC5V_\O_6Weuow"jf=2N@CrX%:tB{{dJt ѽj^FTRR 5n o- eH[In3e^ظm *."Xɲ,ʴ6+ayUGi/<,,=7tw+FWN#TR?:5;>뾸1k%GC-]݃QJ~at{cy$Jb,j#t솄*:@51o KKGqw^"= FXvc<ޢ>c$pXesS`=?,@kEϡdPAH汿htI\5#-GYX9= `J&chK—?.3 {՗e]p{jm\v:D.@rK3/O\Xï= Xa2{L픅2L\D7{GAặ$R-Փ]FI.w/`z )B{,ұ#9Cj]k}5](̾qdI˚=hDz+Jy'+@."5*%aI/xk8?aSj{ B\C`3q' :w=rwaZR<Ԙ,f`;BLcfjl;1l Թ@c0}$2=l,v[mOݳ/WQOܱoLLj;u4=lay`T6u4$-rci.EǻXH&8M}B\? K7 6sT b/HL JpZ/Lw-&NtQ(4>6`,1a>'`BxPRvUvC6CfY}4IU2qd˔:[%K@xEÀcad8 v^bGnYlpmǝL s[ję(yC`,Fr^vkv32>LS++n (prFA;!jpcre%ōy~Y XlYNѮa1(VK# j0 j&yow.G,9a4@)Sl/)[vYZSd(xW"2bNb/KAM!.zn^0M`83"`܌ iPZ>5bB{ &)VF2e 7gJLx%l޺? QS6o8w 97:a(G3uLY_`턜"Rxt&XO-ۭ_y/Z"x.ZJH6 ¨ܐD*/6KYڕbќe1\4hG*28ɀ:S0Oj78`,H8p;/E"A[PM$bXp4WyCv&:#_}\Sh /]L>|f,i‚V\wU8(\W e"~{ab0,SacDew EL4&jrx$񣐃O'PPv:L̊⌰I)(jxsHwSLJo>iE){e~gPQ(.$?4O"xW0t qLs M,SCamĉf@z9$;I~-3 )D>Q5hT0?džW,=r{Pl.q,X)Ͷg(S6T|-Up2Ȍ̄͐Wcs `2}jm" TCrr9ؐVV&p+M…릡Ryf3FFx (:R5ޔgUSBO9bYUwoKR?ϘbVɏ5Ŵ ~_4͐ ܹD;a}IPB|Q_*3M,Ǐu LV%  .Ib7Xgx1I},Sg&ʟ PSby 8I5e]Q…zV _15ɤ9G>@*azqzt@`҄Ү}!孁=(m2c_OYnl~a+>cH kUO79 a$Vus87`XElˡ ˻SPyp(3!]V迺 d])fGuGLk_`hU܋"FrfWSc wM ++Dz=-Gʌ4JlLF-EAZ6m J.'AR EX΄UNe.g|or.MS_ ^P~-8D׌8^n[͏/ǿ0C|8z sߤ"g0w%8-GνYj1LhEYrci nuعuo&ۮؐρAL25<9 RSz /:x:Xy]X2vAlE[-M:j q3X'z0?Teҵf=Qt8>`~XB}-pmbFׅհG Xts:x &lfv z:>uOmO3h)8 U8Vfq 8ce?:7 %Kd¹sdOUP{ݓ:m:VDy6r p=ew8>ARbW'!tJ! Rv 8w\9IZ׻[\j}(e\ĊIyY Ih=p;q>W'`s)u*Jz4"T:x- ɮp8%>YX<BLlRf^c-NBgI0ԩvOvaz`*3o@3ZJ真B؝Jȯ}RP pwP<=KE&` vSS-Sp ɵ޾|iB0wz<|uq<|\EF>ِ^xٗ# Obq5GЖ]=a EtwDZ l+T8!r;NBwoKέ0r|ܪē?t;FkֲG; rhʅ1FQ]x5z2ƔsCXNv:Kwy22c; Tf!j#scհJAWyeQѣkN1r '/' ;Ժ;23x>^ @aJWMN0@t&EyN͇3Sn[02Ӕx/7#߼V7H Gpu14D9;8A}T-xv7}?2 EY/5",hz?㻝;p&YpˆWDxTciw qvW"X%4Ƭ~*6X|e'gVA_q8yy9^ediWQGΕWUxpI\ң -Pb]LMOpz[H!Ή2:ncn(Ñy9&4׿O ࠥ){\!|e)n,ګ9 Vm+V$:HR q[P8Pj-TZfersFP0U//}=DkCD")vAYh[_nW, h4"72WAvYqޣHfu51@ &:L5mT++ O; ` Z/)Sn2LȡelBB߆yh(~z`ddpBϮIzXd{EU\❻v>i:idࠊ w ̍_"Re Ǘ5K$OAM#Ƙ Z=@jҿ:.F@IrE-NĄ @:KXW$ng#Nlߖ>$<Xi3y vEE\ r`ƞdĭǰ9ߪkOfop0rFMVaR wKச$JI+OXQd!QxqyM1>g#rB/DCHطre< 54 mW5SFIk"?d_2YIpn'#6#|?-7>C`|5@%w,&#)wR ., +|uiiH/$e;z7)̂] QV% Y'raPJr'GאZ\`6rMFuQ0j3cЧ߷@`RuSQVЦശ[G S'CGq=VE A9?9U>$3[K^t څJ3WֈHU+Ҝ3Huy 9?_G# '(-LTSg̘3TRmк7,)سO}j,%l[9ys |iCGTJ* jpfΔU@8o0/ Yƒs v~1-inpa-0omD݁X9ԻH¿L^p F}D.aq.7i,erKϴ&ZrKsVq ~-#]tVn lEd2RsBi)lۯ\O-lb%'в6ySΙ򗻊**Y.#&UIk[,e6Fls䈳-B̪wAo:ܶb=!IDKFTD'W7ʘpjڻI:M(\m-tPV;RfR8&HcIKSzcZV oF&r4d,Tv>PQVm$P/osN]( }_ĉ + S|ӴXIqe0%2J Noczߏ'㷎}UմPY !W*HbCfg۩wAI^.24{4vj"k2aXD^lxάW6uI`ܻ2tP%xMjĝg SevMh{!k2~ ff$Z+*$0](EzXcjWk T&Ld켈[g8];)3IR IG`mMѰOUT xa kf|iS ;TQ꡴ϩ?**ELZ;|i6*Vb@FD!zxFX|6D=!RqmƐ,Jqh#NwNn; .0ɥߠ7_Uhq^$`G@Wjٛ4ʍY< ~B%.s@Ym)5`JX é.}u3O;g %K4T⟍I_mblgY/Hm "*QsbJlcsx4]ښWB bO{Jw,NCa 4A|J&O=|yPm *vnfF^AK2J1%kJqRP>YWEkJUYe+ԳcWnZT<#^m94J4}Tϙ>TcTsNuZZufa Le*bufFL L1b#-DWn*pj%msryD=2th4Qjږ:J <t߭+l▎ўDFS?N"HV qRxFJ~ ٌWQbPLl t8oʗxLfEѭP*PO)t8M3잴3k8HcᲒO&ZF%L4N01V d^ciwG9Y |+$ꭄ/0XVtA Xi74[%Q q};E}85:U'XڜQb7\kڋ 0Ea'#1uʸB/3'}C"> r2B- އZ\P3h[}MbK / K53{<FWb>Zč{Ok-ͦ R'8k4r9tCQ$Ԡ|h巳a PLJ[A:Cí~ORZDŽ.Oy/6)\QDh⸛!=`u'`bேLcL82.-km6ZHe^[*"\TgPD˩ϸwsh?,g  tMoĝ94,T|[\ rFz XTgWuGP*d {q*|~z@xOp?]a% %OuWi2р|[C,Kn[T-0ߠ($Aaam}_[JX[L;/Qh^;lнi^V&+1Rvx|g|hC "qg1tJ;x[" TȈ 8ъ5'aJP˄dZBϻf "`23!,WNoȸh-"e<=-XD }R,y |PH3Ug=Q8Is0 Xͪ\>Q !@;Ce#7!xX]! ^=5@!.THI ϋBAV/ wǖnPR*jUOq_Ӕg*Mx/fCK"_av#5Wհ4MWl$(5hXi"jk[7j"wAI u^Q⎪mdgV〯0D 0 ae' ItIHxB kxs坓Ǒ{'L-qG{ܪ%S`yYh!}Bë#bރ:mY:Bmx9 E>LD^aՆ=ϻ 7-Pmh:Us\Z`ĩMc1qH?w޵_~2sal}=D=:ZI߮T m7;1(d,>̂Qulrguh 7ѵ ~׹mmJuBYt5ʡ3snTpj_OgT+_]AN3>Mg$Ktu|-\fs0z ]XWP ےT7WHW۬*[g6IT$$\~fg՞-|^]>3y;F. "@E 2[c<kw3TŁ۹V w9EM7{$mCmI7>XMEè03,# 2}B5}~c\Bhx=+|ȩj.Ë|0ݗ;y.5J7&y5kμv?zCު*<  Wc !GKڱKfa5RrFBEkҦWX]oCaX ?.f-2Wn a'ՂNbW9ďG/:i#sEd@UjuDrZ<(d%a3BJdm_ȃm*38 I`,lHusS2.q./A_7;-2&ᅧF p*I cW]lF&5m1iQed~-,$9&mAo&6xͲ ! v;,DX2g7V 1F %Y:*ۦyI|3|[Qosy(wfz#:@ύB^_zS~^q3y M VT!uj٢EA-ĜOEĝi96pY'*n D yQh(2)`/ٍn (2Liǝ3DݜV6w5?> =!C> Eu䛤Cr3XF/a*5Нjdl}|\@YL} gOQ.Tp˼[GU̸ hd.yo@L5KuuZiͮʨjTC wv~ /{|d?((;UF%s#TBF mhx9Z۟̈́;Lv1](+K)J9E;aβjm/7t4Buj;ϺDDOy#edP*}rdgu~!eL P22tF>]GwhUp_EaԾ`"9F~!Xj1k&bq+;m rg DWʼnItC8BqLS\5ʂ+GAc%e!p"7Cp-HV͘+ cHwezw䰃m`R#ͪ76 BS _.ԙY38̓(pgUEU*-W}Hŕ:"i=Q8K*HFOOII7zukx >!ό4SE`"815R=V. e=s[HGzMex4S !pgh״ޮ?l] wN:\- 9Zz08&ߣf0h )EsVڧ<է p'~B;${>KO这 hmJBƚ@Dk]<(ۀV;QVZ7f4w D؃/0-r311{6oC 3elfKF]TbeTG{a>e5*[[nTe-Ĵ~2_!!;ϭ'Wt QqILJ# `F37?f ]&2&^ )'pQ@9r`&(@?-ls:G$u3H ;[(n,{asqdJtDmH@иH-̢X| 1* W?g +SSo&fDMJ.T` ˁ"cihXY+Khz|37?hbN'arKR]% 0s1h% w}vI*?x XP&&2W}vJP2OIU9 (37[V*c0k*c'#3r|X3-H~(MIκ}Wf"D4EhCsP&.SV_#R˱o&lgұcbN[',L5M켙<ԉrS3=rlv'e97i1W]P;1 {7y7rDNVoSֽ 8yNt*!>E#H ←ީi˿5`J?$2]~O<&UtG%6,HDXa .BaPrխeVTWGYUǛsή,N<2 AT0( /$hk d*ާ\`ZWT:N5c`"5!MU(_ 9-}2/4wlŻ%:NC7dA)Nu-h/@KȱF"']JGׅ?g+a㲌VusBRz'/e1 ]ozGH@2\Ml[EO*}logcGν-0mwX[8(Tw@\>BB*l XNA[7Yй A9tW';{(< ÌJ 1w3{),~r6EX. 2DP *W϶$Eb2yB[ ~/k*{J-ƾ{iV!4ۜr0HdAb "IY5mB\chpXa`pȊB bLNuy9X1l[\Jμ(X/ͻ8Fݲu\k` 03W6evخgQߥԒ7Q1)zJ,;Osɻxc(&:X}֤(p5 +{9nS'8%渘CF˙zteʃp /LeU*Qc4T+i9 '  4Ґ9/Y,͗bF[b ~LAN2 PFV3|yƄLdF#/?yƉd΂,R#y]kNe1Ͱ71l8쑡._bI$b: YyTX4x-+"tRRx'nGlӠ9yXA.?I5Ec XZ\lt {FysXM&FR$%3^I팡:i9<#SRTʅ~M; ҥߦ򩉗[y1Sϒ 9r AJ8 `:'-;UH_>35fle8@e.lX].8/eȖ\Ѵcv~P4.K簎$OH!?p~MRv4XmԒyȩUBO2Pd#li>+z.oD7Ӝt?> 9ְ$fŽDžFX7)2!J]jR o/T'8W Ջͺ5(oϪ‹".r[5!أU߼Mq]sg:I#Fu*Aǀj?x@DL%״N.0 jqix܏F$В .y<>2Y|s\8@^܇|v8] 򓃰\\jmb; 'u'5hT3ٔ]'l@܉,N?2>J><<4# RicBt4hNW`+3۶MY| XZkL3|FF[dxﰼ4}}>qxUss L;:)kOk(<߿6|\_CԤ sapF9vQ} Pxf>ߔL C^#h{&1Vǫx>Ȯf6!B򾅻`n\tT$`z+:SF IaF.ԂZkQo*Sbi{Ԝ 8uMGviכb /AG$4D|nk(DXRl3@ ޑ_Kxl xNZsV` .~K޷?wC3qK],EWҞyOd+MDGguL<'f6 ݿ\t`dPGi&U*(_j];Z;F;q7 frm "qHj0KIcj kO߂_4ön+w4)0g@6=gw*twgG҄ĐNIvP,p#9fHuH7||ӃP.C Eaa?PRE|]ftETQ}>Vf>o3a*CϷ 9V>U?  -`V)8#]vޝZK\/L#p(s|H16٠87ЗĎQ0vPR8rK{ TH]pRkb?5UZoa6;[ [/M2L*6: Q&ʟ`[I5rr^t_Y. ~ui4MKHZ``: %}3v (};SA|'|D&(Qz *@s2AAU,VFsΡ}+BR]G 2`F{#i:VNޏF7Y3Kh8y0܄ҵ?Gpk`iy#0_L*MRJPPmdCŒǃ}zFLyʇ™w(VϤ?vyK4XC~wcuCW Gq-9N-`D$L*U;(( sܣ&]5hksݔ*Rƃn_z@Ӆ}C dcGGYԪ8ԥSH z)[s7sFPɱa*Uq%]X.za\gnڙ: *i &O~[*-{- ,$@$ 1,i{tc$m&.5և,_½#.W E;#f2 7Cٮ3{/VX`0z3G X d*r 4zXTBo5Vxpfm\%Z+^O nZ/r@E^@xQ8}XQG7BY!Rh֎@^ٴ[JffvA7O]S%O Lɬ2^'8J!LeiAuX@|H~Ώº}ת,Zǧf-)TeVqL'R/ 媛W=Uց/ѕXV Ó ejˌƮx*$Q?׸3 L`h E}@LRk[*jU ۲7g͌\lzBE*S!6v?&i³a#arf80gfقo^2WiV1 t6R`~KȍY-c珫teiS@qWuns 2]-^[1s|7M@t!/:nub&H"+Av>lWU:Ve)h7cnUsۦFpq_fSj]ghR W RΛBobbj'ƜAJ M h| Q=Ζ榤x4crNRk_#t+2(qFdS,2Iq{vL@HM@__6 '&JS#&K:,@68Lˋ2%"Ƈ Mr#|MWbQ0 GNYz6LEUѺ #2n;ՔB?WSti{CT rIql1:6%4&I5sGScw:NX1l{]^ٔޤb>l̳CE6`˻;v&#iC\)gX%+M$y}3hᡪ`t1:'ƋF:H5qcG{:InGwwkvd ;GkXOfe|摐&)Q^_dPK#+!蔦z:/SA rYvuW ZrKYd$ǥ(6|ݺfhL  !)+5?exe9h7ߴzF!7EgwrڌtzJ@WtbٖNj^zܺRw/2[{JWc KpKC%sY!Gd\{OMr Q̬"zfp*%sˀS2xslmRx 'LPXNȲIzd\w ?9ap)*v$X\4*&I|97r>MQL1v(Ϲf0g6jDfuhx#^cb$ZP? tLw49gEZu "p8Bjf< Ӯ P!mĜ&|m%' ae/in`D !49nD5(Z$jGnvIbcKt(Yɔ'u$|!egyH]GkܞA~J} سTl@!PYc`UAq7/aT$0Yet!2Ř]JP[-<[& gO/h,4;"u?7 ZPnx/y7Yxe~:S{ dbl "J7V9 Kͭv_>„W^n**.c硤jAk-M9( @b9䫅Fi:䫗QOO> d' f B8Mt;"b51ic' >8|ciUJA@|2/~VJ} 6ѕ't58Ң܇m6#9yPaBC6|pAznТNČQ_.TG(yhywLjYVՀOoMiC㨖cpRR?J^C&;s u/xqs IǑzL>˻`xX328^8yu{'ȃŰظ9%1` -TgunX&*d}iXI Ie%_NY9pPſ ̒Š̻ީXIETMw XP- Y2)I2۶Ut gcRM[1]cCE=XTS O ٴa>YM4x "Ń!2 A:$LɈ{^2_yeos[kTOm=mrJ٫Bҷ7TɊ@y#*#|zȯa!?M`@\լwcͻ&\q>9/Uc$H&XW˺c lBRKKCE7D߄L8@$zAKթ_ZNo2z}o;0O<_R\ʁl`34`,oS8cګp"=ꞧ%Yw> d`kʓ;6,);A*OHobE2FrF|hhইGQjwaA Uzưq܅ΈGbcvᐺpIFN^y6z#ydfE-H{έQSNmh*ķG=8# ˋeKw &%Zg6k4W$4q[oɎU- RB$岴-i7vD=@^Ut?ry\Nji%b!zeR]kVh[G1f U0ÂB)4#7cNubWM{3jLB2 2J =K %OǣwL ?"69Γ| ůwj8GpQı ݔ=̉+9w <Лe KEt.c19Uc:|ug).Ů[p-zCr|MTǷ*3\bMÇ]]u#J2\olHˈh~~lOv& f w7aPv(F I' $_} =Kݻ_a["ZîaXd8ɽҵ2_ o!5r+%l vfdWDCCq řIEA6K.v<&Djan(3uiĂ#!2?[7sCwMUhf~Zv~<~yYpkHfR7fi@^9n:] T15n/ BTiձQ6?3ĝ;dۙ]oTȃYaO'4KZ,K#zW5d89YgVmf8ȃg:J(I$0SݼR4Px[/= (R4H93Sp?+L,Fġbk{m>h1-Sј3V9XMٱ3~fveO, V"I9*8p{+Ҿ7]= D *2je 1U%fH+_\^UJr!܀8?%gGc󜨌Zz\d&:1ىƹw%s@hY}J#o#HZV3Ptv ;dF)*.1g{X+xG`G١^<3nRw_5Pt \;+7A (Ƨ)KyfLip~Dy$BaE}_s\iSjwAѾ\8@An{L1';U4reRRл@p~3{6AH qMo.Pqoe'n},U0=uJyAZUWh߹Wל*;?BDA9HS@bϦW#W Ԗg!9{K8+ktWsI>1&Zrկ2S0&zjΑmP[_ªP@/R)o 4-vGC8}Nv"##zsN U 4wA _0ңD$?6d8#vTBQK*41}Ȓn$gotC7'[|7.,pY%[q\&ynTiWWFn/xnjf[={Y ѓ4(x"^^pJ)|DK}_J&۝Kxc)}HRv>?&!~81&;OQen&@cN0L. 5섁rJGysL]kF,xf+Vi_ o-!moȫP&! k,n5Zs?{ "CvHWQ{I ~{c}<|"-4Y%DŽ؁]S3c&)@ήJ]m*N J[K;+j@e;~ O T1hֳqw΂nxI ȅ3XXP4Ys& [0^L|Ncg+Gw:Ky_S2p o'gؔ B,;| KZ(YP5t9B%2ܼQj;FanS;ݴcE% q>.;,D&/)ɸ~ԸSѵd'WCi1^Hob9Y`Ú 딝WLt 8<-q#I-C} Д.A %bO̖KqNw`y 9R׏%Lq7uW@6o9J}L[3 ա+{DbR!3p,<-} C킿͢Y:6<#L o*&jݿ^EzHlj$ijWzW5ȵdg T:PBymd(tg cba]\֫xBIv3TKhgpHaeᄈ@eȽ]r3^nI۶4Ic,7\Q۫A:@Y^Cl1ķ"Avuᄓ(.,6 $\PK]Zֿi4i<1A~5qOxG4ϹXH@*o;[^R'}iy6@x(+#Ӂq*Xi9B Il ]  ѡ"/dANtWh"YòddH~ˠic{_vux3OWTE 昈w -КS` ma5Ք|!7PEh3L8@D*{iEpe$/fhT` ^9?)q#jm5R2yivhUĕd} ;׷/wgiVG_l9~"޻C3Qn I?,`I Bz vN}\I SIP&ǟ,- w!XihHea{7 omGf1h$_G TdtZ_a0x_wㆢRU"&?UR= V&UTY0g]~ =Ts4R][17k~mTRûe`(M/>$#'?~VpY6^Lcg-MH/ؗnaN/WɴlAڜ$KVK a;Zǔ8W3ĎIIśᓳGe4(!*Y~6?_ _IDlXfUArm '17pIA[; :kd>w¹pp"R,MDű _u_Izc-f.DI񿶱Qi0ʹ5Hx)_pyXg]A Wjy; ,L\tVKx :cgxE mgYZ6b50392b3a3fef9e019feb3b38b81164b7ac5140c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a