SQLite format 3@ .  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  @Idr7"I4QwbC珮ĊBy80 :&^6boY&H-U!b!"٩g粋~aS*|.e$+BpWf.3r>FAO=.8Ռ6*j5ر>"%!3Q. l'N vH{4WVܥ>\{fix$gyF^.:Rύb@* ESd}.m!1RtPLx,1Ku2<G1.6[5i<] d- iu#]&b>uޓ J >D!MbZA,'@v*+s)vM6Wf]g#X)Y1U- kaxeЭmL(.EDI#OkI}/aHko~k0i'r4FO CWTku} ]ap4A9{IRA%zc4$z O\QtE- 1b#0Hw㧐h凵A U6^RN(/~<⎣ !v>Z~z`$?kCG?dP-*&hM[14j'՚N!ʔoLhy5_NᇁD6M6R̦!I){ 5t.Bm'h\n@܏ߥsly><[0'0,3?ɛ0һxEtBĨ%ɤǿ]\j Zq`,M*͘3M'E@7̤[ T8c P{՘;BvڣєC qPM}c=sȚMcix#P5g5 b .Ox9 0H?dnh8Ac=T9&"5Ȋ_*hϖ8*K;o3!˟?^#^Ғ5AԏKB~)~_ϧ!aU54Gk0 КhSlP-r)&R ;km(՜ j@J!Z]#&6DM9۽gZ lQNb?KǛՅ<~ z<0YO>])Uquh&Z=+;iJʺ37b}$y9\_ӳV_rL*6OKP߾`. 1*ks/Np| E=R|~)BΈZnMZ!㽼"f[]ubl*uLc,ڂGu&)'uCzPD~ [>`1 $Rhm/,>?S "q`㠛隟L#d,7`B^K>m]C\_WzÔ D;V$B q0O# eTSWHMA'Ni"?3"X]F-*DߑSCQ#ơJmAf: mT5nu)LHF;O9B5Yu; zIg6( TJmv]&GS XPjsTPktw(b 5]ѧvm\ePNKA D >-e<(¬Ot*WyoD|d64ޡc!$)< &xͮiÿX¤'_m$XCR09_e?)xl7#m0oZf#FYl j գۅ/i;zE!ν|\쪋ϭTDcrRr)M,#H&4!#d9֊V[cRJ DQ!*pJEjK}V}`R.;)EgPbBƗ;v连v CxgI{%Stone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Kleene_Relation_Algebrasdocument.texkI%Stone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Kleene_Relation_Subalgebrasdocument.tex^Ii%Stone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Kleene_Algebrasdocument.texWI[%Stone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Iteringsdocument.texdIw% Stone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Matrix_Kleene_Algebrasdocument.tex+X#{TBq'(;g?w<9>5_c|`j_m&1},\m8=d7@MKZ❒+qi3.wMpf1¶5:A^l$k&\j E4V L>O1`Pʈl>E9XF$?.n+)/-jݜV(h|a+%R9'5 T [ > 01|q+76K~E?dOEnZm?sJ}nwMcs}eDQyŹC"@R!x"eSw& 1 s:!,' PvL~?*q7ԼxMl,+,6|RPz0V炒Eo`B[4S $1^qN!l@DѼZGCz | Tb;A5'GP=0P{m bཙk u;CDj,k1MU>Lbi<8qڼ7+u(IANs# RT*NQ1|Saiȧ#X{jzoPz)]>$hJ=>>k =ST!¦'WSs&YpI$Ѓ8?}-aj>{^E__Q99 3 6c)U)NL#M%c8*(|iC畄-nL*o@0˰0 A12U:02#!^Л0N!‹ Hi |v]\-BsjO#Ũ7YfGEc/%\57'X>S:{JD#L:-,kSc2n_px |hӱjFFxvWEcy{U 6G}z@[܇QBL0 ]Y9WwV  W)Y%pxJ/fGVQ\r ߁ofVspr5;km:D+c{f|kdajm@ve@79,poX̖țKVzѥm{yeC-th-""X#3^آj읯Z_HcԃmvRX+6^{e+fo@2"(S3E(V8n_ 5]N_ Mm$@6Ǒv0eN8$F(mGH@MQ@B@pҞ5 HzN$r#݌T5.i+0"hXcacHf#WI˼%g'*DmDN o6=t?PX# \NvqDd Te!PN" aK!3΀)15?zeLTg-UQGR׫.Z:#JMH6۷Sw+c(Fz.]\LjW߯Cj`t-now>oZ&8-kKO~vFR+z,UEGYnS7aX%&<8 TT]S&'خ P@R F5b~}(>4⃭fY6~]ֆuKs<MHUx< (̚5M'GP9+q+$ƣ4=MGg]62lz(h4eqȀ:]Mhݘ|;8T/F.wXXHݼߜ#[hDQ{R(o-Wu3&gkbh^?73`̤'4nv\ނ>g$a6c{ϖ e`pL=;=4k˅om,1bO++%z.`Ŧ=A1^pGg_qȇ9@#EwB${tR0B[[GQh] m~_ʍEAA*ۇ s)+_ ~A@ߥ㝼4_؉0jlBӉBNc\x6]~wH eY )F+3ƖQ T?`=.ɈL Ty.6%þWӓVp6 %yp8|$"`ɁubFo\AHML2Pg|$;NLf)I59 =%|KqS o7~C  '"qHAf~nUI auG!*΂xf-g0 ok@6I5C3f> {Ev>Χz)k8J{)*vSMmG#ЪL{4*Z]\;coKy&D'E>̌1K|ZR5l[tܚq- ²7e= `tc7'0T4i.#S ì"Yeӈ$`n;| ݝ{|/G;+`=zYs VZPPEKS(iW 2g$A0Yt B U;lR~zu2\AaqCU5RkP "9o+Sy(M<:7R2WA '!ed3zy+, y#M`BG:r0)Hɬ+M~E6$@uX_KreE x(AQ&.9ڿJ?fԛ0]\"5itP.G@ũo,C0"%JCjubҢ  I ƒ\c"Z򀲲5|+{٪d'uTêrJFS,tt4>m#|dM\kIFHr,zP|5Z>!*c<| a]Ҿh3qaR:/۱~YLjJ{$I@UBZ +TL&pbU=Nɲ.׈SyFdL_gϯ`_%&Ҋv a@(oeZuMΏn?:тݪ(wP*='> tT-]V @1qZqҰԛs^X\!8oA,i@}98n7ˊٺN28cQ@oˆrq˫}rW[j4.9Vu,@uw,o(ֽӴdynr;/1I^D9'JAtnל_ [gAˎ~ fB{iNR@l]A~kvք[:()>:=7w zqID'?8'+& *ͽE*,\r)8:F'uZފ6>yCo&b)s/LߏQ@4gMS}Ӌ=J|;D,jb_AR}GCp] aGRˊ  @ivoƣ^<*8gw!M 1B# a+c$79 p {}^3(/Eʧ6q] !M S9*qKzP,t u u iTfAv%(p".:sr.jJNDƉ"B;I"E-^\` !qsub:~qL;3#lBR!.r,)C6Z!P87(M:*C7jB)w)u"e {[,QdC;j$(r-oG9 ǭQh1N{ Ge`y?_7m7٪BWK]@)R7dp&h\xQ?}Xw'}Oy= cP J;Hsf {YM7ޘi .GӔS-ȅSd75pyͬj*e`ңM5iudZfkǢ;rAz7lV* lc'UQv=qCfxvn7mYCTܱ 5Ť'"Vj5|CC$ ŌL,4K*Db nn։nCd`7شzj>zP Pt LË)旬FI3)&ѡ&wm2d|'ގ "1 ۪ɚ]q|QD|:/."gVe).I2u ߒIQȔv]fFĽ@*X`awBS#F[(S4"jt nJUQ.d92/ !4EˠWvM9 i?R#}Tl(maj1 Y1vZK; i,frZ*`Wn&π@rJ y@J ]$fu] fJfgb$Fwg׮BNJ|(SN!CQZ-2k̰PCokS#xd>fX(; 2%Ֆѻ`&1gmEqņ]9AF{bv}'D;{Q=62gAF9uG+;t˔UlMT 7yϘ馓{y4۩ibvxA@^ыrZJ*4W^|m+ kbw;MMYN| );纁H6HpLTu2+ W7֞bdT[+Z9#Z‰)HB,y )Iup~#A8 bgw\v~1&Xuzׇ{gy1dc5g)Qե(-]V+{4:0>E#z-],˅85냌RL0<%5ML\i"3Gc{i& n$жnם(=^ N ~_j>#tr)ꩵ#!\{m]*`$C ѭHXIڂk-xwզ1Lu!^|2U;+~c+ж@pBT],"i(Vg} OCN x}_C:_9"rwbޫ7?W 89FP*h;ȑB&[Db0\@?QsUj4ؓR]FMr_xn淎@Trb4H \˰`h|SWy[>|${jhRD͒Za]H%Nkry\=!KLqCkY0rO~ۄ Fȹʈj)KZq"מ=S'BTZϿF%lWZVtlvB${aO93I8M`])m˾I :ˀM|=g)9a{c]ߜs<Z5."U6&Gc='C~eҎU64e[wOW3t%LiGM߄B#0ך8fCSRʝEK"e(̍tc'GOWq~C5:#5rq ~I/ocP'8۱I?N,=o瘙u vfS7P+v d4xjRuk mYMޱOEކmgO|owHZ;Hj=Mυ.]jp۱+i& e: pGu]~F[Lb]^KBdBl z8BI0CJϐlYRxY01}US.;k84nȦ,rC.,V9B,g)9LLr<';&@gpb":# Kf]QEycMd76r6cced' m#EdzGMI!ok:Nإ@¢Ȑ~-W;Gv{"7:;l1,HUت rJF?UTW4A60 §7_q ãocvڙ 2) oAR %WĚ FO^6nX8-2 uro (+*39|3TݭÒޥqm?QU,F[q2=˕&{J$);>i["HqrBO5҇C'jpernAXT¥Xj`.ʭS?bǜ 6at+[ 9:1UG2zR_2ŀ`)d@ȆJXg37\tc[= ܭF*;;hkY RV j:r}=9#:-y$>/2Ȼ -$#B\ޏ㾼`䒛/%K:wޥnro)+G$:T=`?DtM`MTJ-[݊lk,zSLAʠMd`pxeOߟM᠇zXOvX 1pۼ8]K{e鍋 umH~ iPpv2=5 `Z71]QH$uܱv\,!W(A^̟Rͽ)/dރ݇FRx>"DV6)`cHrlk H€h0Ҳ-~8,uogfqrQ/B0ݩfwk%@`WqR7F%w2Cۈ@]RW.aKS=`U "4T@Rlja!NdJḱ@ J?T qfwt?oṈ̃LM8Vk~5:1^Šr<ԻaQv+<48lpo% ^CR{Iy443[Ol=y ?XkUR #۳Y`@[ܖd ́z ?h ڥN`Pu*[U381C"/F}Eu'=[K[yӱۦϚt- ϖ@A]<Pe5?3%̇ZDxOlft15U+T:$"qA.`I=7(mCFXY74nLX{Kj=A`8wT B- "] :_Ը,-_TZvC7C_Z]8V”ei] zŞBpv5I4 {P-׀| <%.q5BZv8w-1Z΢c=KC jC$n {ش ![Ƭ23Y. S~ qE}eF]k5(u@$@SO丿CFݵg.zHM݌6|Cl'vO0tG}wW+Sh^8q|ҦST¦n×2S &}_3BŸ^pa8M=NRA=-9\xx$V7) c.\P \}!1AtA RS?tKw[]fKK2-Ic"D"߶7(T 7A #7\_` C.jB Pq? ! ?ָv]rPXHpU7(gV$؞c٬⁓d᪜1_=r!&4м)]n~-F6?s ehCmBYh]͈ t<؝G }h;E˓Ƽ_b*: ^[;6W DG(E~ʙq:b[>< skm"̲G%oh1/=K0CunltWNmZL?[H'Q-! H}Ua!z=zAQNz%s ۲7>+;mO0ٱh:I)\ P9@e;zS5úoyJ,[{ȳ 2ʺ!Z'u{GM_c#]TBaR|1 @zE2S1H5p;F)Z'wT_2I!u:Z/]hݼEKni|gUrEU'Q6,[ ,J1-,ǭL;p謶ۿ$J㪵-e*.TtY˅&ɒJJ_Otn:>ga Yrx zZ#C<;G2'ܦDe=~(DRϨU%eK<{u`. 4!MRXLz0>~G"H[Q.ojSAukzd,h1Nɒ" 6Z(`C0 ~p\nwY师n:7MP6a'&ǶTs|%=ف#؊K:&Y\mvnf\ف:^n+UjAmfTcQOfZcfg964HL]q%;<78-q;srX2pଛ xlyc(jZ@wP Ȓ |mh fT!i- ftqRG7pIE7 Qc P} B {T"-!c=nnI+vjx5p+i'"h$'62'w+AFA0Ӯ؏ fl<յvw2W=ż? i.Cu!y''Mh{[mk1!S"QIh`~&KLfqYK1L!*MbMK%4\*tKgHc%rr6;z:H:.D[ߗ% G$}Ya7K'𹍍VT߭*g,\^6یb )iuVtgZD{Pa W+IZJ3- DWOan~` YIh9EZÍ<|MN QlJ[Zxa y/m0y8XQt-8 QV4쮾CЭ"#?٪;{ t-l3]ΈBȄwn2#4*/)ūEVS[~~ ;&R +cbLXM[~Cs-z5o h;ԶtzAh(vW` >*&GQf<.|bZOEa1ޔTe{@]CȨ +؎L- өmFG~)f^C9_Ofq;Y0{۶n[ GP9Dn^^ȋr%|Eo3lq{OC;;Υ5-]JYoJӫDQ䷊Z-D3;PH:ox&ȗPݵx>-NjdGw|hJWno hA*ľcӏ߁q2mP~FM?!??1X`RIbq:Ԃ[Hj ;%yxy!NG=t5ʙZ%VEZPtvFQyWhS,|Om ϑ+V窝~;`<~@V qBh?ֆ|b;c9UU"FZNQ!@X=oR5;au-< 1n\'ZK]B*bnG8#|ԓQܸ 8c(C@Uy:eűx%WYk}yw0e0a4g\lkh#NH9 nvoLJw)/`@vÅ ? ˎJDCjᔆTUQ M[(pn&jF"q吭C('B0P(WM;1M{>ѶWΚبA)BtF<~b05>"ێ7L ؼ) q}B.b’sԪNŪLZMEW{CblŒ &;5cˍ(lU7/Ƥ س@u$=[?k| YydGq􄯩nX!H6:KϮH>/OQ I L#͚"z>'K0^*'Rkz``x:ʋY%U󘬤}o1A_ fv\UrP"&^KendF}͜,w^&@&F=ф-/Jjǫ% ~^Xt۰ŞX X ^VX#r`:^./NF,ϸn>^kKV56tɝsĥ}7qK}ҬJN1nz64h.>C -?B j&c&6'6ᔱ] /%]P`[2\?_m!x;dHBB$>?QE:8́ rR _t=}NYQG?x&RAPurHVwy '!1n@0ѕ:NIWpye ? E:#bn)jUUa7ڒ|eEQXuڱ zi uC >CPؾ.=o.X qYT+pM,jX/ϕ= 8#6Wا[U#wmٗMNwqmSH޲fI4'麟RNr\W,j 8&訧;jȡ%x!{&Uc)rUFIeވY`3_$2 ҹ_ . ™'aeNkHFo6Uh0p~v N~N<k :5)[%'9GƽWXrnarA|.S-kc{ mbo MJ@E@- UӇ‡LԤw鲆¥L_~bQVٜ|neS;!zQ @,?2(*|aLPm8B}$G% Vp*5a~/ ֖9Hd9N&vPኇ*h:4uApvܸ/ }Q3q̪`nGdS.z Q\i..i+*!> X"!Qlo*ڀ-J9 }})#r9'R:S guXb]On:.xVJ b;o&U8X\REJW :0ߚ |cafƜ,۵ށE S5|^\&UEhHYe*>]&"ɲ&q oo]ٰVkf^W/Q3DgI0fhQϪ6DGKgYZ T:Yynoɠ >t.~5b`F8}|,7wv h#![ u絊&6)3E :YAN[o(m;5g:b$E[V"y? j h8g&樊Ə!TcX-J&4^cJ>O2($SM=$A-K0tûGes0sw`|wޡ}_܇7^xw +Y-Ph)Z3ZuogYSƥ1ChhZ͖&g ٻ`zK i> ̛@:>A=9nœA* \]y/NyTVp x=}(jU'KmGa'O'ÓuDW|O9IH0P7%ͿiĤWmOuRC4 NY:TʾPpu<¸ZL:tUWqCN\[wI(4_nGA_R*ZXsWWuR ދ\UԌ?(!_ZTwDZvʂm@pEvGj>8q'9 WϰVt{jvW%ŏBǹ{j.64e;ǽZ~Gw/ȩ3i_YMz c75L+%gYf8l]ِxN E˾}d5#1g! 9`fTtNmˏkM qSZki?)daD錡qZ_?t*9ע%]3#7Q40*ڟfd%~7/hQ&W [f_j$b ח<(j+ԊGngb]VF(_QӖ=\9N]tUs竜90wy lspk3P./y\qSJ9򴂦Q?;@B< GRH ]<ɗR"wG$3@>'ҶLB q, ""'t8@J_pr" &KVD옸xY"L56? x\x͝5ö!;^X׷^\.$}p*Pq ƒaacA4pBs砦'B\#-p.aG3ZHչLQqQh{=oJ%˨ahXku(,_Q:4++-J&.bpvJB ;Z5M~ Z93d܂CCPXk?gE7UM)J`sMM>B ""9 쥔NAN4$7PF (Yk^i hbە68)j&q=1Wt$^0R휮.ZqV6ۚڍ|R:mˡw=,pWMcj0>* *Ln3U>խhM-A 0D3z%rf'xκ$c~ '<=mQћ,,?n$9]bXΘKϺSmX-svE{ fjIk3& <]5m[K Qv2u\J+ zj1h_0;X(0s#9` ΂/V᫘D+ V%pjIL xKR>L[lD;W?9zaH`La" :gORj2jB] ypX^@'=J[Mmo완9E/vHck,~?Gr P}:W5p&QTa,80-f&Ccǭr]Y]~|v"QOm#;Ө`W'Stı /ڹ\%+zn2?dt 9Yn# 5\0;0)#(&cuw⤛wka#?oB*>&>NK]i/*p\cMpCtSB}(sVy5:ѽuo3@Ͳǭ$8eWQh^^g惺> x"\Y3Ð 6MEO$4(U%6MHV`K\>{Sa N/!3!0J~cPD*1cx הc,J' Feڀ jgs'{ԗ=vG0> ryS)~UShm`{6p# hؽ־>r+3Zbޤrts=3@R|"9@[P_aQfʘ^hփQsȯ0="SH)| S*4&^<I9URW6P8+%\c pڎ\yq7^uwg:_aMD1$A Ъ`R-s<_&D9F,M<~7^qX!,pde-!' }s 'j~CJtXΊ6esD5bXgMW˶1?;=&1ph%ǮhGbAl%s/D2ejte#O`Evn!Dx_cQ 5Q*d8A˜? `q,?׺iON*c.#v@?wdV 0H<)AaV3]lLMo ]'ſ`yb `УrCڸ5?s4_L~?zoy4hmQTXZ= me{1+$!K*mnƃŪ]Zܮ-EtP3 nhE `#6 P8.eOg'1)Qͨ&c4" ]c_M[MH{.!Pi JFiML,u"xr&1[y|Ni@yՂ>ޯs'ok"wN?qp꺯-TⳘw "M"]';V~C㗙@4b6p|{SACqǺ pFHڏiaPs<*l.g98IG'> \ߖe$RUH` |qKVҙ IHV + ļ<'n5%dm DLu('~h0f6gZUT9z: A ":rK烅xdS/Dnx=rk~SuWeH 2h?AD˿:(ͱHdb94բZuO'rBw ,iQB?y|xnuߪyi5rM:?E4%ph(C=#~r7^!3qCO|HkÀּG7—Blt0䐞GI S5d0ҒG_QnV/댬/ԵCVqjn=86$',(VZKvkॸqaN2 1&:o\ވx13[(n3oL4~/v'%ކ/).'Eȶ1v!1rP$Ib>[tTH`LŰ(9G>ԛ ?PPCs/J^#18S yzXΜ5|6|vBuJSJej3UpRB݅_\k#i;-#V:e_᫕iM%'t]ȩg]<Փ7T.ϔ/^NP̲5ݔync9I=zbkRjIfA+(o"zMy?v"崬ibihqj$B *zfýɢ~w5lڝe[*3) ?1kt׸Cga|ؕ\EԶᄓ:?a=ZЀcN–S*T25pKuh[E"WmWgR)oQ݈gxz#᪏Q'~[S-'nF`# F[Z:_aٵa9p}PIJvMy 0ItMANa~9t:ٓZygQ/Ġ*_,H<'BHyZw.壗03,qwG:&8|DlY18U*vNaA9)91`BۅB`i9:~K`+b&姢lk{׺_?,\[ QNT.v5 k,=80CgA5TD0Z4k wkDZtCqsE$$mC0RQS.E; b2DXѼށ2j2-sTyKx+hֺmҞJ|3޼g/]׌ *Ȋ)W,.HTt2o`i:7/䷅2%c0֐V@7ӖwPir7^2bRm@opRw00Qhk+s&Hx"+|3.sċ7K6v1R$2fCG{ʠN\V)T 9(l+S%`h $<&Hz3Rs3OOɪ!EjmEF jjں}dG(Ip-FUlrub Tg'm~D\ͯ|'{E5 JYX<2i}P6aمՓ(#"ljZ O\5ҋE6(Ru195!U x~&^*v0 j#_wj>쇊0IxDt$:4_ "74@3[Hz/?;Ay G#1n7E_e@:)v 4bm; Mhs x. IV)0b PT!dRKLefϻ;x;I-D^_lIp爘4Zq.gC uߤyb+]zlw`NL"4%Vfr' 94 _j{9>WxHq",c)8kJnl]w[+}E)RPDw=$\O]"/y=T5!*_{CO<"0e=\;B&p\aHz텰P HJ1ugYZ O/LaƵyvN2[Zޯ)g5NJnƺRRn@`^d)%NǷTu|>ztQLj΋X^?D"JJ:Kl0ا\PiFWf:Di8`njF2NX5*wN'5hSp6$\4Eԏ~2#[ '@-YuN[kKCAHJs(e^^ÉyI&NvJW# tR7*;p]P{Y8^: G>*/m?qVK@?lpdj2  p!:"UW& ɬp,u;?JZsji8'EeS}]Z.2$戠N*:qzti,*|!:NxA0MMaK8]b'OT\T˨cDb][p⏺Ԏm#wˀZn=V3w$>YrN?@91kZQ m@&)v{=.s_/5X.sȵ./ހ+fˁ>Gȋ\0{ؿ pe?p>qOukKMM jk8t뵍ןg(AG=Ci. 漑Қa\+t~B#Qz ,@^4;-+~.$$HX \Ir.VS`[¬ ,~~zzυL1Ա8OUi@ݻ*R3ɳa+!>$c${@Q՟Ep*ݓor` B;BH6?ⳣ9Qa(Wcօ nxh^hbh}`ˣ`s`l4g֫pH+Gu"$Mg-%Od% |09[q/=gD*+r5pJ9 .NMI/\ӹך]oޒ9j]*e?wKyM* -td\RH`q d{zޕM6#q}SD)L+"|-]ɭ/oe` %ݤ6:xm{Id w#;ݪit1">brăG72_(RI=A3Cf#dAض hL`^8fKY'6 a,4d)ll0- L WI04s=ۗS\ BH^ IG蔑~{u3>Nm+u0Oݖ:aɍF4e/.d _ ~TajR |PVxWJ,Mfh 鹣;%DŽf;k yE-hHb <.^%E;tU_R8H&-XEϜntc؋p:4*: B(%6w=DvA;XdGq!uƻǠ .$aSP<7{Pvx`8e 8m)*7}q>ԅ7!ڜOliok!~]%XV>mkKGY|u+ @i ܓ*Xj^D@^yVncNjPⶉ +#SOت|cʱ(M@E%oSY5_d9s*eujxčr:$^Cؒ}kAގ 2?!MO0.̩p e!n?ŀǾA2+9w<ࡡ\ bsCQ&{bo]>ocF5,0M<Kً4 j I#E: @ g@2dJ9^"uʅ|êrcJ}Y(\H&xw ]l#Hé`A]v)JW;Ps4}L !cJE.-@5YAZ0~)_7eſFSB_"kx^a(rsx#7GZ el Lj^C!_cµax@S8g+-oR~쌧GMK9OmxנCB!wHd>` ga|@"l5eVך|gJb|" 9vǖz+yJ@F-Z35SO< ` J!ÆVxy)zw0{xPЕ`?:zt63#n2 6v& \C_BCs q!0ٔ f`0vK2*,!>O>J!Ӆ3Yms' +ccDh@t=uebȔ@P]jmN1VG_ nA[<4PwkX,WˌU.tG/쨷[Rdz{Zh:4#1$c0]jr]")5Eh:CBIFb-kd69Hfe&ݲWfl̈́:ʠ'XZ-<:* #Vl> H3< >W^kD%6Xe-%r 75M-uɑ$6h|oH޵ o+|sohyh)w#&@3bMQjij?1:Xb|,6A'=Wuu7d]A͗v@n1:9gaRraN 'L ÜM!RfqĤ /wxr5WWZtDeFϔgX%eȈ)!ܹXx"bh;HZ 90l2, Gʺ|wLō){5ϓ֓>K7RuqYS^4hLrDžOK [E/~ieΠXc-|Y=Zp+-@8^bޞ]iRi۠x#.[P嶴GLj+`uEO4~ _4c5cumF̊sICx>rCͣ@NMҫ~!^+ITx&usjov)A-πW<Άxȩ'j 03(KTTJl:6餉$`ڂ aJOf$(ˈ|XXܵ!>_!&) }P̤hғ!.YR8 cۅW‚3L[l'i!qUj=uxv pL([$åk+f$PPyOmHy)>o8SΒ^@K+pPh8FG%Ny/KX;S;=|8j{9naKQssyb,su[_VgP+Xe6w=OqoUPŠurv`0@4Qqfٚj7K4)oc !{zخ9-d-3LόiϜ 8(\?9L>?Q!k ?m`sIw}y)S}'Gjy'Ŧbn2#2T1gC`Uꯟ̆QO{v Ukmf<ҖUbH?xn=,A;簌<Ґ2D7`#W`&oJ^oT~J/ T6畠ɗ˧KARMlr~kMdY@<g3+GٛD";Pxa%zGs{k.o::&#$M/ 8`Ch~n }2"Bר/XuGwTRp|UmXtmJ'>3M.g OOz 1!mb\0M'_pE]\@6/$+T_{Lq|d+#Q9v#. Fld4m*V9:Lx3xf.yf$'hXW%Ho\@q/YhrE]iza a I˚&->Au%>{rn - +^jtOLc3ݎ]~S%9B&+/3LZ|zSd}.m!1RtPLx,1Ku2<G1.6[5i<] d- iu#]&b>uޓ J >D!MbZA,'@v*+s)vM6Wf]g#X)Y1U- kaxeЭmL(.EDI#OkI}/aHko~k0i'r4FO CWTku} ]ap4A9{IRA%zc4$z O\QtE- 1b#0Hw㧐h凵A U6^RN(/~<⎣ !v>Z~z`$?kCG?dP-*&hM[14j'՚N!ʔoLhy5_NᇁD6M6R̦!I){ 5t.Bm'h\n@܏ߥsly><[0'0,3?ɛ0һxEtBĨ%ɤǿ]\j Zq`,M*͘3M'E@7̤[ T8c P{՘;BvڣєC qPM}c=sȚMcix#P5g5 b .Ox9 0H?dnh8Ac=T9&"5Ȋ_*hϖ8*K;o3!˟?^#^Ғ5AԏKB~)~_ϧ!aU54Gk0 КhSlP-r)&R ;km(՜ j@J!Z]#&6DM9۽gZ lQNb?KǛՅ<~ z<0YO>])Uquh&Z=+;iJʺ37b}$y9\_ӳV_rL*6OKP߾`. 1*ks/Np| E=R|~)BΈZnMZ!㽼"f[]ubl*uLc,ڂGu&)'uCzPD~ [>`1 $Rhm/,>?S "q`㠛隟L#d,7`B^K>m]C\_WzÔ D;V$B q0O# eTSWHMA'Ni"?3"X]F-*DߑSCQ#ơJmAf: mT5nu)LHF;O9B5Yu; zIg6( TJmv]&GS XPjsTPktw(b 5]ѧvm\ePNKA D >-e<(¬Ot*WyoD|d64ޡc!$)< &xͮiÿX¤'_m$XCR09_e?)xl7#m0oZf#FYl j գۅ/i;zE!ν|\쪋ϭTDcrRr)M,#H&4!#d9֊V[cRJ DQ!*pJEjK}V}`R.;)EgPbBƗ;v连v  ~yI{% ,Stone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Kleene_Relation_Algebrasdocument.tex7zXZִF! ˟N]A-MՋhvG"uIBm5ž鯷5b} ~/{D-ĮU4G|qV? WcyM`~ў_X6MMc/~?|7XJ1ƈ 21Uguf7W1Ͱ6q>[xKV s2JN~ u6]mײ\<8THD {8 ybU,B23wD/ xi:E B m!8i@~W{mC9 ^?QCQy "΂̳HUHWv@-4z&epAw<2N=5l0I% Stone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Kleene_Relation_Subalgebrasdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ž鯷5b} ~/{D-ĸ.’ޱ38H\W mAIކ5mJُ<"'zJt(uۗW@HO` VE+2K0x/*%2|]]H\N [QG+ ϗSgB3UtB%Gє l" --ԭ%*q:]܁e*w>rgGR$@uP^q@ֹ {r袨ħZ8T,bxMj?l=GX-G+AM[Z/.<~<)}G G_OUcw$Wyp)*hTdª~"f=RY׀;%߷B\ 䐐7n'8W#8l޹'y=Ó5 U"M֞I,}y'Nh .6G8[*A;Whޤ/,P3~q͟f1#W(|m&tħV+͑ΏyA=b[XͤƉf&QS\]\A 'L7 h,Xͪz Wo:ֳRi?)GQMkQN%z,{ [KįS`*'ͽkئ`|Cv Sb@Bdms`ϱؼIlLL,E0)xvP'u~R"8kM &}ձTW[ AITs*\ȕC0#F Ӿ ^M䮬=`+O)Uf"Sݾ;)x;\dK447%Fs=j);{}gYZ@Ii% LStone_Kleene_Relation_AlgebrasStone_Kleene_Relation_Algebras.Kleene_Algebrasdocument.tex7zXZִF! X&]A-MՋhvG"uIBm5ž鯷5b} ~/{' mgڢq90܊Uӽl:<^5\|9\1ڣ;;)VTjZڨ5VmW| l@# `|sZzF\y 5PߋRv0ܯ g#;_~Țw-6Ԃ;RޛUU+eݾk贈z}-np jgT D+~ FTNOpp8,o@E5ݽV§5n)5VS->8.9OGg@$p=ۇw֡Y9"R+SG9vQx=i[rׂc2*Q-tHԒ?LטqgrM.Ad(H 1b~*]mppbtx]s@`9113Yf !S/E]rN]l 1+]2:q۟Sbbп@YTspwEa$W]&ڋZX`H .S#çގ^fϗgBv)29{f?PɴDz{qp̙v.&0 ` ;qtGv\@E, [7eh \3?ڧ|^oF)ܳ / L^樟a^ɀ`ʁ[fSE7DBŸu6m<5QÑ̊J:>y Y|μQ>5m m WO0SK \_.7Rd5~f᪎1V1hp=7YQ'b';Z xooTgqwí<\~D?]!).#+c}͕⥈kT%ZTAdw-h1 ϹϮ9)YX eA%zrZ&qO DzzC1i5HIQRDt>b&Ru*%[gs9]&3G"̌faИ(X_ Oo fC-k5a0nW{8 V?X+?{b Hу4b5< %oG0S, ֤q#>j{%(Xћ^,=UF7xWVe`5DD0llSԭ 1`ݸ/VB [vPf`{t4[4t\ ǐ=@suWWrRd7s k'j֚uד3ԎmF^T]fz)H {ДΘ5S4Wií "EqEZݽcJOq1-Nk PZdzpҿȇyq)rM1G:Xe꽥4օswY[,eV+Z؎ Q!Ԣ!sȼ"2BR6~g'$ ۸^?pc/'T,kkv]VӚݳL\q+JM&_NsfտOnklr|̾Oܰ:1!7ЈmfWLA yU*BS&Ksx텺{* &^+(m"9<vl@qcEO7QT `=kSP$ =i+)4^Ll#8MxCLգk`Utǒ= 0!O:i0tv.TԱN$L#9fI:;'7*zЊ;o0YiۭnqՖς0bsRϜ Kr5qgf иT;}'@8 '2<"cwq>Zlkjb?t.dfE)bh*$껩 !s)Bl)LJ) ]zƷA(1aKWԳ툳[{G-o_\ͤ,>_RwD@ӹʯ40"O=WPqEz>_z&v RQlXppFV[‰hkݼZ'.b#J{WT@-|Hb*1F.âk@oY%8W#v*[7z<>˙{Uy H= 6G4.S>trEj(:Αė:ʀ=uGJCߊ0GZnNej-2 K y<.gV /k"rR'Ls?V׾.,!yêB^imbL~2Y7{ԏ dC"ĪG )R%er:"ICn23Um܏OTF u|?t*b" d\|b)6eOmH:$`Fr{II١-kk@K*QWd>bU >;0RAG@~QK(sm%ͨ!VO=!AN@T^4ˑGk_Q[m@ѹ̻q68Uix&4¤F-*i pV4sR *l;Ij>"JV5w.BMh%ksУVs"3)ޔNO7Q⊚CQe,#)tg5")'`0SW]dO =st0[#]DvruV[: -8+p`V" T[DKk4\V<0'a3ݳ ɑ172_ҵP&"Vޛ:_жcS*~֜GtҞHPܩ9/M&HC_lx,PGS܋Ԃ{Bd6LNMR0{U23Ri1/0N !>戕|Hb>k 5&6؝qAS``2>X|h[“ߐoaۉ7z#JC NO`r J [xVf[Nbx60c-Ϻ1q-fFmVHuj>=sHK!GS a$BtcWyœ ՀaS֝)\"wtȁvݦl1ȫ^ZwMpE"-L5傇R_[R1oR[aO?|TF?_LƏ%S,N'i:1 Ѱh*0o SsncLtqxV2$Vt+Q۩`. )׈7v6#(Tiъp9Sc!6/ڕ*+yv&{-ivDNÈpL yqpY JIBwU nScHRfz]B-8;ȉxg&+Li/ ~#X n(oc^(U&0ULJ bݫhj'Ǖc|_fP~lql BJz |x r?42&V߇.󁢔,fE;*XxN$Se+նmF^|%eo{}lyGJ(S\KG! -{^wX9 ޸ &[Ed}V+3ŷ #OOXaQZ m[㡖Dn̏kFt_A]]k*.:6\MpAH@9xޣ9c`pԞ>KOH,+@PoDtDBT"Hd6GU)d\9J`ȦlI}|-f)bh~%e~NAW!.ü=SM g:th6RA7/Kd(b 3*Ok'RbaK*%m$%1"L7Y^8|~ʑhoeN_=4'"O5'oe|zw] kQ 5Ɖ@L*r0ULKt*;Jۇb`]5 v<{o@a_nJUxYVP$ R+ģ)(X"@ |Ri6kf61sp.";Ami1rQ?L0Oخ5ַE%lx8wLW0JpCha 8?iGB'Z;5$ +bȱA2pb47nߞ#Q*j:Dqh8 O7BBܞOn'_~mJ:ޭa4"6':D.;OrGJ αjN?D6Cy5?`cv$5 3 2;yS( ǯ L a4ϼi!g(chqq DMw)!K {&` >\i܍G_ҟdV./XSKЉUh\쏅WMqR̩Io!muS7TӤ)ړY.^(P'[ Fe<A;f g!MD2u95CXr?d5"I<UoLC]D@i1d*1գJ|#LZS^9x5-*2p5ą3OB- j(wɛ}n&k_UͯfͣZ9ճ QLO ;#ҫD{qlv]cj.T &1甆LU ^@OWym 4iv(hm,2b& K@^v̝m&F. qLYK|[m1|C(I&q);ϛK?_E[-nqۿKS<^g?&ӌ×$2bI3eXLi$k /T[TvrWܨ%8[Z9/8t"j+Lս(͞7D,h1hi4t]zyҖO9ϺI0Ĕ\d U کp% j$gxUE+LAum#3ڣԄ W 0`FwM mĤKׇ-'.KpE   2S(j|#3=e5V5LmVJ뒥@j ͹21]C-W|wO{5)ӦaOsn_Uw{$^4@I@qXkMw)kh 7X7XYdtLPu&GYu:?;-6 vݯwl$G}ZX0 nnImNtE>찷lv: NgP#|_vR|tykᤗ-'W!TD@A/ 5P,9z%Y+6 !7g릾Ogӛ Vi^mY:e㴀}|Q, UIjG( RJuHڨI] sG_%r8?{)G!b;8 U7Km57g%"Avxrb|ÔZ/^^t@([G vRMZ98q|嵖`3|JwV-" .QKgZ3(W`6 &ڊ]cۗOq 1'y _āɝPݬQ10 ws ]>ӱ , us8V|̉Xg~^a\T'NKM96Eفp-. w$/=~qqk6U4$ݢ@}DQ5-%CCA5EfTJr*/B? p^m޲@p0Mo N :g?tsQ)lODeCaC\B9ἧ,>U*# ;&[.E%#ȎDSحᙽ8;9;5$:h .:o!!FZr]*a0,_Mz˘ _w>.+LFEFi$1 -ԾASź%@G44*BF&cm鄄 ^f(Bo+;4NjTIR نdz QU zJ"BЫnA~\_%䝯^B `>@Hɏ)Ǖ[4?W>J \p?vW]XȜ23Ÿ؅i ʱ˳(Nm4yv>JBI u `fΗ Y osNm)Zg?Xi" Ó/qQ1@*ȩ$ ~W|ز Ī%R"!E{Ntj \%$;[-cin7A,p.glU<{-2׽A 9Lm"h2a8ŁHQzjJ(YYƱ@'n[A[j68e@'oAc[~_] nvAnv),.9]|F Ȑm}g?<YjPKa q &\3+mŤwꧽڲ3I +7,O#(|ӿS-OJHI@ŢcYno2lKf6}r_.wST;g]3pVe$'r|95(6ϟzYh@ʼnܬJ}k|\])RuTR$LHJMDE;# 8*/4u,Pop(tckYG'sG>Y]'̮ ? ӃkE}f`4*t2WexFwɬRAbȶbeoǖG}hj2 G5 YzfqTrukjΐM(J>A%9XVE$( A֓{_fdsGƳD8U{2i0`xv[K(ơƠcp_5iɿؖG1Н0ʭ'+R w؝XQm}H%7>W9K5B,!fU@H5(O}Z[.ay(SVsD5o 4Yeʁs7j@stغw1ҮU{vQ8]`>'ԭ\`:"!罨@MԺ?aԩcUƱa":஢n̋j1-i*m"T.VƬЌIǿ,7%ᶋ= =`d FEA0" 'ձoct/$ ˍ /_gf@VZ ͕ƟZiT\Pu\Q:FEX9ߎ[a*rCG= ^T;,t˲$Ό45'cP ˑcV2.\_kRl9hÈ{iSfN}(ZDuu"?iְAۏL:)^Q O.*H~ i2pEVCkMn?3SSzaC"FJ P(#,g)ք# Dņ!i(ǧDY|KPs|ޗ̔/Us ddҎ UdzkDPUk֞h?Oa!i<Mv&Wjd?eUl7?CzD'}77@aBdiqlsvˤ&Tomluos66В:3=j]kS#H{Fx`kqQ hSo+%aSd꾐PL"잟5@dB9н2TI6d&^_ e eG7 מ"̽wB[×@w9Du;g C]jmoc7*vl6N8~æhFnD?bD}RB3fAX(Iڏ ^Ğ@)˜'f~#G&U+X2$y0'\c QS7mT?"lH2~~ oTMZDt_V!9Ey7EnBNEA PS8 /J( f܀9R_]u_r\+he'5y~[Ʉ - OIЊ2fFN3ˇHS Uc$+<-#":'43 S|C Y\TPF>"?ߚ% )my^􎔙"%~ Cybuc ;N5ROR#VAټ&~3cjB9i֨. /%t)E:7ImU°&\X^1 5kPbAt8%Ό{jB$DT%;kxތZbQۋ,Tc<]|/Oo XyZH|VbOkTilz=BL%~xS²ޓ- Z%Û' ҧj9tp!>"viߋl*!_9U|A.d{% ڃS~}}:~̱Xϳ%ugߔ^D ՟&P@K{ZAd֙JH Cb=nO/y?LC~Mj?'7>m?ΦSD/'dghr}U\!?1ifWJ6a[qNMڕG/I EFn>Tn.=^KNBbn]K&M xUߧ` BWBUGsan2 ךbpq(p>q_FUvk;J-~bc1d)@!9H2(?0]4c™?5h&!P%A txE_נeqyLZҤ.p5riPebHW7^'$+(ӂy廡~E W=v\yFo;0ţʡ8x.&;o$>m]]󚷡EXz҇m9i2`-N :W aXza6Ϊ(0にZF5T4pu&/ V 8qʇEa4xѨ=c֝rf$w=U䯨3If>nG@Q]{)=NTIX{L̡i#ZwBkh^n ^]lSb$I~= TE 0{E Ca׈__XR3"_$b{!_%zF ?tʎ[zmƂHp.'k~{<$rpi/lo] ,vaCУNyڻY 2 ȍ"^{T.ʪlػ\M'z(y3әm 3eXԩ ~7Iiv̚X(Y+98^᲎n֕}G6mV9xK¹;3T/=Ym'[4 ̥O?3B+4 7i|v'J*m]K -#X&g9 >Nբ6G19*fr@oI[ M[ 0^x?pCAP$LH}@`=*7Fwzr?^综HϺ2tނ;kA0~6cwu2ij|@=G>?Wmz72kw7{}B{xY9@&5%xtlv.āma') ][BIL >Qv]QRC5H.P <<+=vR;;-9`i#vs:6ťrݺw)'>;#Sn[}{H+:m̗/qS+*~Sb3c:$eռ1| Xxg!ʃo@3({A) \䌡xPAoHt2s(!?GRB$l @fP|0~H3ِpʧzKgI-]z5ͦB_^x[{gĢsIt.yn4' 8z-ҡK} b>%tδ+@u[7N [+' S:DXaE;cDn94^Ȝxkq'<)Ky|'0PEi"sADs[mɕ!nL˂r/gUL5c `W+))tLbne)I? U \ w<ݎŽ% i#B+.އUk"1!W@~2>NpIЉtvWz nz\$ >=ޭB }?NX**nRrfR-".fbuЩPc`07Sjr5J Z<љ\pX?8Cv ϒW55]+5P`߭ISȕUWhne]T& {pK7tu(Z~f?ضؔ ]?&?)v4΂h* JJ@Fו31~T] ʞ SԪIZRc".a#KET]{py_}`[ }ϊ6obD?^944}*{y7A,J:$'HuFް`H2jh?s1 c.~ZV/x)*Ԓ]M։\v3 pJzLO~_x3;`# f4؋7FXS, I NpGz?[`D|YsYKTQ- u[2pLC: ZZ,4xe&>Hɋ0#m;-uAg%"C fW0Zs5l:; K9yW٧?xO䜉m\UMg1χ {)j|iԏk6%j H{}kjW Ux; ~aƹ*p *D\hB ShyȰtY't&m#[|1j^V-MX: 8 ywC^qxd͂ pٚbPrRfh-ډ)0jOVxvn R=m凚4+-H?#0bXp̔x0 \7:6P6H_fT҃G\YGBMHʌ9Q!I磶K[`r99OYU NhVQ&:rtQ'UI@@W9ѧG<ɛhLÑ+@IAۜg4 t n뷥V@Dzxr(ڔYS{5$5($nvVV& AI.ת~|lZZ{ :Ѧ^bOBw.XnrXfX@g&h29#͞u*tzE-2PKY,/0.t`P]? >\IN}5v}T0Ud0G3v%{i?c3d ,n\ r7TVv㜍M2o՘o[5. :2=azjd+XWR6uqr :W)蓸WǍB,&b$|\@^3.umyj"ep7뽝)ARN1 hvv_KW\e-Ksr~X7uTHi}#XZǦ}ŠU(P#B<Ϟ BU^: (r,n[qnWߝ)8"9yƖ}q~zKuzwpp_28)Q(.Qʱ:*RF3ײׄ& ӬF\ =@|82GC%P^_4,pBX-T{ qwsr)*[qy\Fݻh 7?v*[X+u^魶mbXket r;>B~W~Mf}*` N V-H>[3WFkJ.44 CbLaMXW}pgNX؞<$ߨZ\LtA MF-'ۈ!-i πKYUueߐk{AfeWLz']Q`JmW]lY1a]DX|c^Ms`FJ|PDP쑳־?g1JNo^,l cqѩ${0st1;oa@1%2ؐ +JL`(%lF6*ť5Qq=^ʒx+@ӮADD]e᜶-qS3<8sjͿdJziyHߤ#3(vqCSO L}aɗ;Ε,dd/`#@c+>7)4btXP7[s7{㑲RvcO`RHkc?ԫGu*~#K`~FVY)'^ng;`AQa¾ëFB f P T''Hr|%_3^uȥd`?V2)KO)va+X` /NyrM ԠONUKlJwȶ; %u%6`՗aiNZ*K+g+Yބ{G$5^*n{N`l^ vfgL*`E nu}BS^gAfF/k.dS S)0&> f*{(aExavw~'V??"P:LF_P׻j(xVLΈf-|ٱ`d t@g9fҩcq=h"P k}׊„~7 N/I!tCM7#ױՋT}]%*R O X Gmbָ *ju#3gϙS|W(iUs- X&o$YKC͌\o;Q/|AC\Dp.DD;UO,NBɄbω:mDNr=;bP< D7UGIwc.s^[ig\<B"oW"(&C0 v9o vHC֩ -tfppNqwcg MNDŽ8=cAJK͝J|\dP~KG5 19XxyS!*t Zuo3tn5cby.f\ޑ=0 '?ǂNm=F9ߒVmEi:m|DF"ń9c oi"drt6$&VեBlimgrv/U` bݞRLNlVi,xBN*>q1>ίN"L`xAZ9>:jtUG'agnY,Iy* mқ^l@:b}-GV<ɫB1G!PnpU+њDv "ڢY5'Z_՚f u8u[̅Zn:VHnafGd =]N(S,LO<'!C mj0"A!ox!)L5?+-pa@B iv ɽDsF(rk*;bI9ZKV!PrɢbLds𛔎L9BmJqqUȎP(_߫k?1Zr5e8]5b7fbl R7&]%N?1֒Sn \#SXvy^Cl4TAQy 3 bl"'E-!rqQla`)u'{j޼ ,z+o,W ?4I%{s] (Z~ ,t?9P^r}](G]daZ2\hzrmkra1-»HcXXP%NcR Ga>@ͺ$}ۏ۽7Q8Ƌ;ayz`qDЎz7[ؘOl/ R\M>dCI8S̉jjN䏴 K| J=fdLʽxYl\33W3w*tH!G:"x:`AnX%q񜒧* }YeJ`sOSd:ۓ2djՙh?ahHҘ"*0a{Zm,7K{S6!+hlu"lFk1 S1Y}V9 8Gh!Li?7'wq8,?1H eB` OsԠ[@ 6HvXRӞ9M4PړyL`qZ-Rs D@\}b&ќ030`賓coI_u!ˡo֯?zV;CoAt` · mZrʑ i'߫wɷE|aňZ3\jfs&B *n}^JBl5>uoۺV=BCȶcF,bTi'/?pWWϏ(Q02,?pFNk}tSΔ1zD6XEæ\ JU` ,dt]ZZl1khiF$H3K0[$@6dsfF޷#;jkj2.`4 HK`vO>ߎmhfgzDn|  1Hi*>}ŭz5cS`LHKp+cM4@*#̢5A~du&,PLH9 ];*Vc ͦ_ټ_GZ贡HD01/\y?F{A1[.%ۦ6(W=$ Vja'!,e":IhF|Ac]byql\%^syQz).ƼEcCCO Ot$H|c{/"Ϙ1(2' Tucj=Z}w5I[JNr-ʞ}>m4IOz`t4;ma^2te_D%i>@;7Z>Leu3gAjۼBLi U?}m^fPBD4.:ܩP}.˭xH_Uޫij \k]CPrˎ@[W%[We4LYyJm _+OKjzdjI.@>+͒Ɩ*I,Re^Ǭ/Iۛx0TO#5*Аl@9Pcs:oz}{1[Cv"TZaWJW;~o#3UDaL?u75/b*0<>RU&9 sv.$S\u(nES\H NUzfW#uMh*Y8M ˺B?DN-*g/0JiY<~u\+`W{'Ec Owg~N_]biSnA_^ ֏+w'[C1,jO:F.<=RsF/O>IfJ-W;)OWN7+NL L#\`z ƥv΂f'H0qx|ItoaAXYW̤nN|k1hn6uEo~Qi1~!̆f':ybB_jzުBOy/+h~&?JƗ n9vYp;fMPt\#x'pzPMNfXRy7ax'!" a'O*8x = Bx[jOqWHvl $~"Rq?U `$;~lOno}<RTȀ8tt|t9ٛ, x53@s\; i(E2"!,=2mgb JTN ?8q(>yuڇ-IZwL}J# OHY.;kL0u "uߋ2.O`EfV$?KIƿ?(V^▂lPkB^X{cgt+7{AFOoʓINtrf oFS,6u(F+#<NEtg\xDn*=ɜEgGC%0YٞKuNMYjFd/YS^1 S|*&z-rwd\|qGCPh %6$ܧKB?Kw&0Yaĥ6Ķ) pq? `Ų8U Bʼn.-hƫP==ƌ]򅂁zAjj[2ֹc_b#x T$Y]hw~04qBZp!*jRVǬ*&>(j{Q].k\@;N `f}x@#e 6#!5ߒ;E砎sa}#C•VF{"DƵs\Tn|~ڃ"c13ˇGR!D=ĒQ p#A>"7"bOy1t+]9_}k. _fU>兞&"sB(֦ʯDL%UViKwpa^8z>"W^Bv) i=|:j`udqVP+: {6?z~1$'PoWb2q-O 'T\1ƟN ۗ%kYSicUNbF;f{=ĝriX?m21r!dDrr5}&yoU^xů".#6֌V>>nW다[8Lzk7ӞBWQ^1lc蜕v|b`>2{ׄ2g5Ʋ#ֲ'*< {Ra[I oݼx~s&"OF8C'(. ˉ5:H dx WշøuU}D; zuE;v5!ԄĉTrW躕HCqI{gU:k5c7f֨3rÚД|hD, F٢ñڢ՛rtF{I) f1Ua`" B?|)d.v,q"; < u3x//>62 :6@EڼJLN D @}c+nCʁvt{DJCYF`n`熀za݋*gJݼI\? T#ҹr!F}B[Uklf8΃c™B,Q$d:1oG3lt1W`M%=ELT1%M_S2zi_;T/xfpΕ[J* ,릛84s`YjV3#%/ʏkC?3!+#+5S 3b2\ npCm1Uj_fʧO':79aLw陋S6W&T<#}&RmKSed,.5ӳw&F:mu xK5ʷʤzV4|XvTֈj*e}-,[; fn9Rbvz GZ1|oȯ=V*4$@ uv \<_5Hgˡ&jESbiY)\+k\7KWB{i?/+HLَT/V"@/ t .ch-̋&*/N[xAT(!,T }J ":fKV!=E7ZMt8[Ϣ3Ц9*}ϪxB;DI1̧"dnYɃLt d[D9e38Nu =;|fӱ͸͵!u྽-[0<9/` HE~|P 1fI)2qͤ"|ǎpJs0\žU]R h Pɬ ,W;KsDפ )µ6/WUq% B--fafL?NDKbn6haӗ㜊Gdj TMOf((1/S<>_AU 2ĺeGYѡpnTh!8%I Y Fv$C i_sK]^Vs'mEyUyf$b%¾e5/ ]AEV;۵Ձji!U6JyRxD&vw 9nnFMJR+hHѝ :$%>Se5Upn7J(^ m45QUFOdrNI]0_1t/ m\G@ć$f$ׂi[z Ye:-DtpȠY-$ݻDM c7l޻ׂqtF)G5a 8Zi@5gU$sف׫*冔Pxx5t9^5\f/} [nIE{ie(D(h@ֲB#{lt&c-zETS=h1:ҒQGEp4d&T'VJ薪dUR D3z]Yn1!`^rZ3y@Q "rY 9*a+R,UoЄx@s:zaO U *6̥63`$^E;W_ʶ;@1_Y_43WW@U\f.@Z}dYtF8r\*R]DY5п Hܒvr+M}I1qF7qR?T CTg"q e^l2\% .>ɯKjމF&lͰ'ZϾ:oOl?"ًD4B L 6*vn隃mU\]C hmڎQq-h*ZQ0IpTWZ"3+3Ѱc&#sT,+B7S ԫ] !l›M}j;8{&~1ΰd"tKB[ YL"k`Mg|-) "AZBrk[[6XQuoU)Gו<sl=1rVX< Tr+R@Ŧ=km\'ԂXQ0Q[&i 1o|wT`Y7w !` qUIu3Lo?5A@TH`RK;"*Fpd.%7[J!mkٛI@b:0_5>#$%ٌI!&0ڈ7|~*[4  kO3p{(<8+7 K!ݾn (@r\):a䉛&02e {,ps;XGIt_]h̖>9Q N8eDalcˎrZkG~maV?= 5t~ȑ$ ywڪip!d'jcrPGr%pb2?;inUK,8gDG\y Y]||c^37KIʙUt;!@C pZ)_$!L&ӆӦ΢N0pЎ\|^E9cP"C'r'e.pVjzB9%BF; Pw$?ު'1FO/ ŤB,RU-!qO|KD09/}bRSd%Qi:b.4 .lGx2Tԥb0!'P嬓 & ϥлf2Uzvqk%pTa8\zF1]EThEo]2㼄ۍko!Jb1#=g:TҾTbÔ\{يm.tO2B¤TVA[1Ke΀:vC2㰵~ KlaP~TV:H!D#7ZIp* S8v]>_ɧEi[͒H,O#+ VAD%ncMdUi1n>).FTJ4gF{Jd<6lVN 4$&3jD oNֺmJ P5V(2} usޚM"v]EҊ%0cQ7US_t{o\iNrSB*XɅ& R뀶rt!1&ۨ"<}^莏L[MoY:(|ZST.ȁKh0L'{Vo}OLS5ͥ8 :^Q65Aʋ6@v݇e&ZT65mnj" bײ v `62)N1֬zzG*wl]p>Pѧd~ \(bvB4 qSr0tŐ'GWy*(`4{$HnύeY KT7?gq~ Yޖ+^YA"\=R0V+ | ȥΩA͔e=DF3 =䭳:'o:f1+^7W끌' ͑km1Hdq5>ٌw}rd^;| & 6f:SÙl{S 5\[ HkN#GDػݝX>@ZUok0;Fޠy͇Y[ I&!f.!g ɉfP< &I%EOpCI jJ u1L`L̹ ;%%N6|Nu`mQ}=KjUd`Џ"tSQAq+O!ںJ2ۣPF@jπ͟o&o £Sg+`jm`ٷ 9 #E4Zx @Ń#"_(5[][+ueRRtWXO?k6:v,''B:KEܷ#^w2gJn9y3'H$ h hLS 0BS wg`i=oxC;iL,)up Fpfx +>X gN쫁kdgA>0DC=uJ9`cʆb綝V@FW}aXnsv*v Mŏ)χS嚤Nv%}"@75RDoһi7"b)f2UaE4vlkHu~IalyhDх2Ccc'_^_!q9yyhv.pa _z@RxrS $JZ jA|S ?u}R?Mq?ߖ9Eܱ: gM*&fP|;d<B+ 3Dn=oa%lVוbة8oߘ_A3 gŲ y^ Q ǸL\l(KWR&]LhLfzx+TMYRp\)G뾝pբN#g |YE}& ygӞ nhy+:ʁ v{"rЏϮ%0GZzey-*Z׶DoyLjum>hTZڹ c!4Kk7̼qU!\,ՍsrtP$/d7<=Gt7Q[26|DVG$;*Zy2WoykQzJ) ĜJ򑴒|騡97g.7r] ȇ@Ҫ$-~w/ɲAՏ_v6ņl'[/YaB=>NV EjY;r[kzDZٯ >Hi#u3"(UM.Sc RJʅUWD>c*w q[Lnf{p3v+֟8UBJ屗 FC86" }fzq˙җ Z\Mp0 mOoc%hǀimqҤA5*4rd/r2TFścXf<Y'Ax[ɶ#6N F>^0m!0]BFZI4zQy'oxDۚ5X`ڨw*E3L CNbcS -%J3;w!Y7)K۳H髨FQǠQdy'VV}B 'yo%ٽ{m?&UMl73ZfK'%؏=_-OBRbz24Z7#$2s^TV}pe>4Fs(yM(TഭzD]v62(0 ?G:>౞+<&πULM襇f6=7e%hLHJPFi)LPlP%[:d<@Aحg*f0ۼTp_kEAKY.>}i.tC j%Hu\@cn;A7 #nvjxl !ѹ19,|lZW1E~eI3 V 1{>  I`doHW,F }34ez{ $ޤ/bM܁$ A*ґr*T.?W1GVsrHI[UOA$|I;B頓P~Hm[#6D.?c Vf2kE 2}  z{jUl;MI"(YheX.k]Ŭ15ه +^֋m*'ݛbϷzn<gt)ҳX}p=='?{iyˍ EQf[EAn=uJ-bB~@9ʱD o_x,xPe4~_a3@4D]?&5/,vZXA|4V=2ލ{=l9 YY~2x9Svp%>$: "^]PiIVUN9Zd~F)jR,Gg5p^_*T&BY"]VC+FϳH≕0$YLM\3EYa&٣;[}GjF X[iCCBAE7~MѺCUǻՏuƚ?!33H-jo˅Ŝȥ~Jm .%a,tOY)Q| sg|ON:AH("]:X$-[:9! kB]zUZbUO'vuwhW9N);#~"VZe[ڷ%[g? =_b|R:ƫ~\52P!ʆ&W=ZR@7) ёh cp Mtpf?Ե ̐:HHX^# k w|X]4].UH9cogKƑFyk%xjڀoQV3+#vu&ۧt{/U_՝''t`Vc5z=PnfW.?FĘ7Q+W c辍MNReNrbct̿ҵU2.~y[ ϸ=-"r ;:RFa'2Igp*}?-d:7=oZ^TbYyfmBf7e_KUj4"e=؋yvrFU5}ma oqJ=3Jhɕ`P|H]%®0u&| xz+셹rڻupB> ~j-vւbg8p/|R Ԁ2<у-[)V|ٌn.3vk;Mo[iX0-||װOgtW(XG3ٴi,Z]{ 'fEZ _ ΘyVN$CBĞXug_gYViBjZ&X`ybnb̙CS `@Ehm{ .5% bXgZt4BN>Trl^s<8meS +>6!PN֐jIci2з+ sW2֎p|nA1Ը%θ<ʹ%.6\M+i5|y3v~%Ʒ0z ʢuw Y7.rep[y3t`!Ѽp|O"d`C}m)H6*CIkMԮ.Cx0 ȷQ[64z?a RjdGZ O;Z3by\W[&oWyE!5 _`Ny3Z.y$rRrdjv`?#QMw5qi|8: 'Wg?0xe&심R>X,TH/=ː9w?Ȟ'\D ,AtbLşNsPI}t؛^ޑIRt1(()^QL>ay]ZQZ/t:_/TZ8wtz&Xb~k$ٍC*`%>#GZ) RS94:Cg\j!o_,zKZcoڛ E|:p윛{^VYhOhv8%'6$D圇+qʘ#]x,Wsbz1R'tX)>.ϰn6#i I@_i(I݅WbV)K]M) ֘D2]{ [Y1Llaoo#1MWFá^{_jØM3}zRo򩔶d !3q.btupHS9 `H"VSd.[5^b@0vWvRk+6C]>5ʲ!Kͤ $3dsRos]?Hqh0V}d`h/>RSR);w`,-\AU_eN81#30eEY!a xb$b9LkGp&KߵCku4M_jK)s PtٶpV轆z_vkK-D޲{D\@53kYb~5ݒ lCNX P:݇kW^Vhr`-3i5P,% )Da>Ho))_ GL3#SA/`TtY-$ܝ:ISYy "UxF|>!؋ՀՓP`-YEy<+V?sc,>RE#woD Z2s-q#='TlcrUKp?w.wo@޺P($ۀAJ &PTmu0L,4^KHU_v7ofgV)g࡯Ge:FK`;E Z'Y=bCigӝc/a֒tzcT%Es]a3LJ#gl <| 8TMZX'`RdP$ 0/8O[3y㤏vwQUߡR [[phd@8Xh\ztṘ'#η{_=y N_8o{qLƿ[;c$w_zFboHVT չ^v@.`&nR^c+iVPh UG~ƕX_a/ 0ӟel}!x sʪErRWt|yK oM^%gAܣyк/-Py"eL(W{+(ևKKkZneҡPFmVbm^;xSձt&aI VQTSjB C׺(H$E5<[FР?q ~?nEf2E;46)#j#[:ÂA)b5ȅn'?MvJI<.b5.}n_.x4)OC7A E`B03}+rbjz$5fÍ+"1g.<’n"'4$dvˏ.dJW5)OTV}J9Y3L@*W1+ˡE1=;TX1"؂2qsj=jbZQ`Pqȵ]af)dד$ddoŁȄ)^Krm )8&dEV9f@d ^Ǖ# 4yˣz̹'&@I-a6:Us"[=G16ݸQ,ѷQ.xƅ+oudSyDΰ=APa&FZL|}(](V\F#4C$5 nq+?%KKlB-1oSG :d^ X9+[Mk>|:FV#Ƥ3 V4e~PP$-@d491 qQCIbA_ uV픖DEf͸:|O,| |hQ6l^M4sNPx׽ԭst2U5,x^&QƊdx_}-_H=2HPiktěBHn6`2lCi.ݸ5]T4!4ї[/V⨡,I{& * s0B8 dQ,=NJUUd;:{#@5NW&::T_ŶH HXt/K.z i݋q,h*<VvcX6NP4yWjLb \롷*f.0|ĕ6{D@\BCw@ViR7/$gYZ@z jij=0 pYҕ_ H'; mʼnto˅4ojM\5+[q3|*nֿ%6Irw'#Kh ֣Q1uxu<9t7WXwyIx3Z`[zQC:o72gUf&{$BmU#V19`fLЄ OX.7LHdZVS&FYܩm0(?&̈́OO)|n%ǷIJ> Hˌv3;R+^_ AěCPa)lh&D91L/9poج&*R-u+ ;tH j_e+!e8\tAjPIp4eEl[L=wTbjBJ`Gj58u Iw"雐 $U8Z{7#3qW͸ { 9XM&YO$ihEW?Aqd$Q/>1L d d[8{e>_k;MktdRjãROagrqHVrd2j}+A1:|w@k? |\#@ ̈́Ϊ}ߌm0Tw;̕V_IjEd ^*;X0}WM}nhӿ(s|R -(? o,{ԵܠYEH@p5w@L>xSp''%jMަM1r&>nZ‘h.z@M!vNՃ3D򚁕|To.lMJ#/ȏCƲ? łeiZ6SMZfQ)<Ifoe.j%4{sOPT,q\]S= B .#?-PuH$J?Y$WppuΓC/j!!{ &uQ@Λ6,@../ٛz'2(pQMgŰZ*wo{((^Kdck{uLѹhw-ߚ@T< tpTzumǿȊ l[+2d+wUx`rp "_ɖR W\ AaggHؕaEi5Bq X;߉L ,ddV8#$V!g& X$ƱgYZ7zXZִF! ]ŗXiɟ38)=X<\3~Ý2. 䴏"!} /xJVb&>"UяEJYs>p^"<;S4?X۲iyֶbM@f挍!^w+Ui:D+ϻ t];`<ȒXgo1gYZ7zXZִF! ]ŗXi%; K hC"qaU-S~?d8B߽ q;뮯~.,ȸ=B!hPUg>5fleFZ.`b.UwȌYGj^ vv JP41v`1!_&'`cFUQ Q=<,]"r#S@z0O Q]a٭AdPyj $0fXdxb -)pWt =\C)BizLMNuLKδԡZAC_ Q/[vuKo9ęʼn{!]~Z^.]45H濺]f4x7;nvz  Ưp/1;^Ce7GJoц` ʊKS;YE=4%$Hn' 0'S%\=@Z h?dbF&N | h$icR,",(랰AP9 V+y%(4B\Ur]3,3: "|g6ӔRڼ-3!z\Vs{*ZH3j?)b|`q؝i|J)599!υA1P3 KojM)w{@?[Is4UIu ֯ 8rJsN2 ǏOC,@0~+hry0OH.|i-:gWw ު@%t%}Q8W񳻵&ŰtY+"MMk/nm-w]U9CH2@gc,Y>9;ϊhƉK!;0~ͧý <5\]G;l]ÊE 1 J:#vy" HSEHɅ`nm4;MD$_NN'y >eF;졃rq^ Ϩv yފ wt{=hr76'Gᄏ +p[5I._n Z`qӤq~ИT.SqyAFX$!yim"+$sJק_@ʣ['E_ۀ೭r*9b!`F!^y0Zhr4賷lm}uPP gsv%h$jPN%E4YNyCv)6??rK0>?z9iBZ"̨ !!Qݴޫ"K5tr%%Bxy cNlɰm/@Wv묡TbAc5} 0(+dܞm5OVˮ*X^KG'W``WݳE30AuՖ@

gqJTh43ϻ8 '8Q溉o<,MmҴ7ɗ*#Yn[eT1,;dt5[$8.27ʋϻQMp@rlj%! HNʠO}^ (u%-uC~lƓNP1{{v ~>-#uJ`IJ5YӠ(I~hyz޳rv]P1 .!~=U LNoGޗdtC9.osz[zM#e.Z1# qh%PP^r=mg~i0u^Ok^Df| =g~wܛ; ?m\e'̘Kvؾ9"N )呰l,C$?<{LQ7mI쎂̹!cj~ޭw<%g˓{=|z\`ŻnfB,] { _ǣZIpaP[cc!v%5uP'jXqw=":Mų©IQ~S @n4**ڼ3__1 JӦ[{*iYgdM"`{y9J!N^Yş*q? -DLh 䱛#GuD: - ԀCsH6.a\.@$v_h3va`K|;9DTBs?VxAk>'$mZ& 0KȠPI}Gd[$ڗ=Rj tvWZqݠqEU/m$JSZwu"4LUM kB3g5oT1 WgMq8*s?)Tzȳao ,n_5mJi(Q!i^b܏IM-FubbzH9)+Ʃ E1ܯD@]8~ <vZ|d:mod&ώBn%XÌ0x>c]q3-{u2B <͓ Dgkgi6YC=S@_9i6@3elӂ+CC$&yEM?j{+d9;ݵ)_:_|e"⸠㾽li1jw6mTj*BlXA!^D[N,}{~=HIQTV0Z^LcvER8v2aCE2ɢ~iiS⯪ڬW۔6ɢYKXL$bI4N1E*‚I}ڳ@[lnH"L04N=mU](&uI-PůD[ȩmARV܊gʯX(L^ 3 R핕J"T/tmjnUSlS%\o=Hstl#VpAmc93@kA_wba#cn#Ɲ[t`KVᳳw2l);͝S()9+`"q p9^G@HJXhQ!Gc֢X3% dQ?[\7DK ftDz Y)ߛ3%6 $*Ȱ! )*z 'O S>[vŎ("ChH혊=^v!);R+7X^,^$d Y}b5Avp80BNŷق,Н>gaE;*SdpQ& &-Z.\T ^9O8#M?y7=rϹ]>v=NwGyLjb,Z p!0Щ $#j# ~Z(!odq; tW| t`7@9@h>kiCF@Q \$waNHde`{慶ge4O@+LcOF<>QG\ WD`y ?}f+QE%i~Lwg[?ԙ`uE2;Y ȎX^ uzNFD1r˼u$\E'DIpId;cÂ~-ڸ܅g/@\w Ya0"Q/M{sEoL<8zGC-%״tնGC/&