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 G;\4< ]]Stone_Relation_Algebras:threads=2elapsed=59.926cpu=111.912gc=5.380factor=1.877zXZִF! L ]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQTGKXdRˆd00kT u?Z Pg/[CÑ[ ͞ǵ׳JE‡99|>#q`:ki\H2x9)Z1{JZL3B[)7 uŎn.ҌtiPphMkrI%A(@c0iЊ@;,{[`yA %b!,SEŘ`Y cM= MO6ñ۳rxPڝMhw?]^7$hhhU@)'tngx7ʂ |FP3ܠ)CŚj q}0k7&((r$|+䫽`/\bljQ{lQ,o&Xrt汧tp+lWI[Y:kXZWTI$03 sK@;SJmK5# =éqJX쓠5 0Diji1(gII`)‘}pz{yJ1ExZ$! ׫坫jL8_t5׌K{F7lG9[*\M9O=tg_zvbL 73˯76~9< CPEᰳZH絔cy(/. "wti O-Y:eD? 8ڀ|ai(kHT>83,. &h+vN}qX@Ef.QZd֛AEx_ ޯ7g3s*o4+4Ez3db+zU3t+fc2uIxUeY _cB4pu-qD̶~8qLl 0f$"U&>9aOĆR7gv|M9DYR> ObYWj7Fn:(*pgF74/I*NUoS ^S^n?.C- g~rG敒}Aŏhlw`!vM]9GC1nî:X$ڲSb᥵'¤]dx*݀{-"W8X#s+}:3zNJK;jZf]uQU'|H3!Q "\u]1pVDS`!PnQRw@Ӹ[݄1+!~9]N.ґƝkEt 3aqIwt7dƍARO7I_ ⨗><G"0 ~T3. X̱gYZ7zXZִF! 4]ŗXiɟ3:WX2V^M '7xwB.]Y1(ZN-X#ٜ}9*1MSRjD" %Ga=P1Q9`}v-t3EwbM ϠlϒYuugS\:{G3< ; Stone_Relation_AlgebrasS;m% |Stone_Relation_AlgebrasStone_Relation_Algebras.Matrix_Relation_Algebrasdocument.tex7zXZִF! Q!8]A-MՋhvG"uIBm54L&H *IjpV:>~OR]o/Aq MVRyKb LKI]o2t|Djm!`}Qo12-%,˯]J&&- 8a4 t(IL(ǏNEgUSNe=}7M{]= 4EO@=.ÑGN[Jm2_6':eYo9{URqĨNHeGUZ8;&kiNoxʿav!|.,3/H9iEEJPHV.ଁ,SWox ,j ;O% ,Stone_Relation_AlgebrasStone_Relation_Algebras.Fixpointsdocument.tex7zXZִF! "!]A-MՋhvG"uIBm5kJpl2 fY"O]SS' CU{ qǦ57s誾@!dn>|,wʲ.~5{tpT!?u *} s*vR0S? 8MN<8pR]:ʤ&ǰT;&PS۹|/Qnic KJuAMOn`F?l6f]ٞ.,J'F;oN{-n -aT(lW Z`Z`{q[  HF, BU t|w$^7^N3umA>6 Nix;g% Stone_Relation_AlgebrasStone_Relation_Algebras.Linear_Order_Matricesdocument.tex7zXZִF! ']A-MՋhvG"uIBm5hq- IͪśFұDh g OxOha&2%yr6/Q {܌[N ~ KXf#;x(/7rAPPQӥH:ЂʠgPKJYhIaZO߿/̝;P(G WU )>OoEM˧ .(ǎ"-S#sZi/n,WQy6BĜ TmdLC|ʊ "TD7xo v +)ېRZۖFc~-x`' I\K/ S̑I)W"h%R nHMd hB1^ǶY-@T,َ`Mot/\zZЉ|B nD'ϓ/؋&示,Fm-a 5Eұ&a*Dwl5[x:i DVM aN]@Eȅ%+LEs.zukdN/dAaADZzc_&4*xsEAW:Oq_e5'U6V`#׻R$\Ԋ!4S#{>HN ٝJWm(F(۾0֍! 6Rcl9~+ۏmLr<å`vԱ =pqzŐXmI aOAox^"v̉#P VA\[">2R^#v$9۫8 J.T;v=zTI P\~92u{@ď|ܪBb`^"y\NWriJ%tl 'e.eޟ[4 z#G cI1.Ss8q/HvA@d.k=݅5Q=, jߞVƑ%HMwyML..bwiYly.DY]RQ\zE{>Y1yERH9ԩكɘf<]4"7VFp^3[j[)q Xǣ \of $9v ,+,ش Z*J.uk)iEx >#`He6(V^Fa#X UКt +j6~V:|p@h2JE0*TRH2כ +,5c1+;\xK%F>f< әZL0ڡɒ 14w;?%&@m3ᒇzglc2U4EUzEbz̘Ft3Z3Q+톰S2_^}{ܠ>}=:d 40ifqEwj͓;*b]?) H_Wr |T'(H5z-Kiؚ5|06*I\"Ղц4j p|\lcj9zZDNp&`X$dHQ2jόrq)g)t drqb;>AFhӆ3 ){PF:R(*.ڦ_Ax][yިfF_EK'ַ)Z!sOg(p5E=^$$.#@^-ڬy]ӈ9+g{w;$ e^ %%h_@1!1P:ﶓq̹:]ٔT 4tr9$S\K]yG z0RBlp%3^"JbqsAB: \O֪YLf'ib5v* q)՞ ;,YmpfZoPR\Wn4\/#hێ&~KxJdѹQ~n \9;Tx T|O~Ia1EGb||Q`TD xnrPŊ!_pF(;u`x'a `>ܳJ[aNQ;SЧ`b͝m"k%[E8XnmD m -Su%V .',ne$JfSܥT8bxe=HjЌ)O!nc<ǭ!|Fd J [/@͵4G[R b(?AyE._zr!wogL~WDW I*Mˤ\ a,~jzq_y>9+P,5\vW-#a/V$~H$GYcuޝz(\ k` wPӚS? V0s}&6hΰjԏC?RT\}s|%>aL_A eN2Ix`dt,݇_-Tn.H4J2@vU{Ucr t<&ۥ5g8r0QRϪ-&4,IC۽xhKc ũ)@qȢ{TT $"=l3,$|Xw_F>2-Ocy֟uCdNu;.YL3q5k}7j4m [bDЊ-g,T5@ oSrd M%iQ-S3W ?& M{"Owf߆fx9ͿR)l4"#Ŕ`6BP"c'U6Ayn=j3qp=r5P`T^M7=&OW,@X-GF,fR~mn>@N _WD>?>WJُogpzn:Weˉ?0λěO`?u"Z&TpE]cEZ}$!OrCUbxߠ1 ]h: a곎G'vw{.r~]ϊuݣ{"n b۳ss 44Ȑ4b׮*~wCr_ {aj;4 >3ԋۓF“\ĂR='QգΥlnźr 0{8=gpn9n)]Yv2>`"R"XugΕ(K(`B4\!X\nll_5[tESmZR'eネԋb7Zj%\3dGsgxOP ï?hb;Y*qn|EW٥1JvSvvx'g\2*+LDб#IHcx]V=V`]Fͻڠ{wYaoP+6@ڴ}r; {Gf` 'jꠔ%E` _$--4|6+^Z| du.NlID5pC/(9[ #|~x[0(Sd4% gRTr> [/|v:op0tz3:O 5^\9 Hpq9¨V8\6fxN0;5ۈ0GxjN)7(S}P2?H;Y@I#/G5u쓬9Rr?Yފpw/桡9X45!ųd/v*¸SD+R4hM"k_3.9H%{I4N/ptO*3Fˁ- Zl5EkKM1d=ۧ=j۽*l0DK2g̹5I@iΩЮ1jjK*vi\X'ۛҵɀ?G:0.uEJ|SwP|!dL\t+ЦB@V~l+CI'Ȥo4MTy2rO>6(G`PJ-2O0&CKK|qH<4GcT^ЅrcȔ e,QV(Ka uzSK9ih3tR2k2*5mA)䣸,4ZϳOT.jm1 ;Xb0ՓL~rF wgH#AϨcRښNGQT|PB-!67Ydk-]yO\87 ̝$_҆d*󦬗.Q$j-xK$$q3)GZ\t|Ek&@f|9GH<ٹ;N77Y6ɔ;]${b'M_1"1@D^K2?EPaT=n.:0JpNd/3 Ck~*.a=e:"Kb/8W8kҘEZ.ۥMQ< ֝É^N?GgqjȪӴ TWbx  roگR,8z{:A ٨)ocIi?P { R5•dNx@~ܡ S,UBue5K@pPxHBu2U4J<`\**=5R ÂݥÞK`dSGy*sf[R)l %]#bҧ9jC6۞eGT_ ؐeb=|. 4E3G?`!:CC&TGAWOC=2P7/`PfƑu:j/:cdÖnN{HcYD6%+Sl/QҒږ3u2-r@SF(R[aH-`@eqEJ^H8:æ_=ho$ݹ6Wnl!8jt{Y6ZR=9_s1xLs[3(_lsd3X$B:XwfFu;|>_%Eؑ# 1:7x8}=d5  ìp>ՇvFg ^O!ne_i1-FB욦?1lFp+i(x}kdC3خZn!eJ7+d4UWrbz;$رPPRˋX%Yp_@=QH<Rnp+1o 'DZUq,SP|%Zj6m N-̓'BwaO~76V7?4 ~ywTH{@01s>:|D h)|-OYe<@ׄ4 &i_ҥb<ꆍ_Mu'c%)]A'`P](=0 Q >ϋ^H rUs~2_2fヨ^hR6i|ٹlLD8y@I%0qv7~UMv_cF\FٖB56*F--nyJPetϾ-~gF @$:u>,>=ifIAdX=ϊ€kWe ;nnB5cV^q}b`A8K%K3: .\|U?2)SwHHJgj0C%f Ol45,YE~5ޞ ɯI&={4%x<weQ&/djc(ey/KW_7Sְ* {82]zz=C3򸹺:onk[3j=kys  х\2-$bqO/5hi__"D0-z+|Mr"Ƙ^~/6B%IF`Ytxn`u蓚40~> }9Pb %Ӹ$G &>ڸ繠KC:o.Zŧ_!7*rLP[ݙSq/d%s3r>TAD?җ'_RJjVZX;6c#Ԣ<ӫ{ܳXk"4e}jQ#]'H 9I0*1m'saST% #OFHOr|.0ėRA|ڭ )Dvhm*Ӎ7v"t3Gפ CumFM?Y*q@Ǥ-Ġi`=85B(җou(قu5 4: FۂtCڻlIEoN5 $(kBOi, 1֟сCû&s-n Tj&:Bvy^w}2saPW&|4IfRecRQZBfcJgoS<}y:їst,yS%s%:5Ռ2n<.-^gP}3({k<@¥z͂:'70MtYB6d؊Ҿذb>䡷GV? !W_, 5f&S0'iOq{V&F@#&ϭoVy5C몦"QZfïCТ&bn&BтyV~~4P|FSIh&7FjZQhWQ-]"MPR%M ߃-T0@5d8LO8y/]PkZDj ԉ2}uPB!Րh* 7wZ$'Ρw=nG ~°涵XGR2G;ʨG #l4=(ڌ2絤+z &Qǘa'e G_s v-TRCĭv3/U%8FJ4_n)W,iK_Ef ^N(x 5wo)4v7=Z?g!;3LICRg%u3r]_珡sYxl{t->In&\Ee-|TANtd>Y*XܵwoEq+q5(ŗ-<, 㭫54Fx4fm}j9Z"X/`/qi"@pQj8clE5 vuZ+zLboS<5P^/`.na5/7GT6u#d^hL{hqzu";[<ԓ텄*8Sa'+N,d/^NFŶ w`JlU2n2H`W-I鿃hkŒ=̄h A|{[T(mrnG抨Lu5r>N^ MVy 5"[D; 숞}SU(E]P ͏9$ {Ɗ9%p"D KHjVv8/$ܹU+;7E6"=<;d{ |ô1n 4?K쉘qK?`k٧tv9 }?KJ@&Sηx. EPPjPt$pYбg+Ԉ ԊPVSM*LV$$lHPޙ w*=qs#:A4k g?b@8n9.%c5JﭽgsHlןcu)F,'Ox픈*5Qe(@M Q;(Ǐit]<ǹVo`~p5w<#f \@&t7،ft66^At#4訤CgynSY}O kgYZ aXA7&ɹ}+$D[׵XsLK .7hԭ|?BA蓇֭0 lH: aIdw_Y\8%EnC/O"| t^yVZg?*?2%in2Gd*dRD!|vp刪c $~K" CӰ3>E"%ʚ3M)<E5*`_ج89SПEc1}í2f$O`K͑q{ǡ/y7~~E] GS=*XKsWu?0їtfT;E bbhHAdOkfFQ E}ʮәb}WueU#*&y)׈AkޖdIo >_Bf7NmHe#~.)zx̏S'YގWmP ljᆘ"S /Vqxύ$f~ea-ZȁfzQe)?J_b'%'`PVU>gG/=.^CUAq]5+q@46yޮ/%5 5_Wb+dͪH*,)h6)gν/S~#_4 t\@Уթ.2]ځ׽󨨒-!0j G`losnhԎ\JrҾժSf|(gL'cQL=_k"FYb|uN搁i6Od,Wq"SX2s})*9|',T}tBn4./5*[eT` !I{' eTCEnxICiWH?ެ5MxXK$K۞ڒsP]s"z5ag4rS'bB@GWv#l@Sh2 ?M9$' 64U5ᮝRӎq%hjlGlT^k2")hJ&TZ`Vu4?IEX)eǥ7 @~ˊ@nCWn7ŃBo@u}MYAzS)x}j#RRr p byҰX <ڛ2j!n/2 yeh1ڣOP'H,p  mX̾ঌ3s0P 2f-A^P~>47H˚<)kX<6lHFOXܕ!T4=%BR4c+W4h^)K_ە˞3Gs,3 z3ne(g|+cZ5|t{(b çSl7m;ھd:gIz$~O;?ziwbU&q8$ "=(Z<R>|Bpl'c:w %DP8S =dQR e[֨h6m.Pu2Q^ 5"]Il" 7V=){+F)͞?g)\o7$جR"rHk2O`rLL-nzdRo?O#IW/z.~`vq-@8SE\VwT|'p)x9h`Q͉?yq2BZB\)R^4}jyL,XUݛ5HG>͑yQ2s؋2Q"?WWf,vJ/%.Yx zH0|2r)\b56=+#<.ORb:p,Ń,W[:\q@?əߔ-~y}ج,bד٣ ݶFNja#j (+ju ŬX x*ta:+6"3u%"y+Fh {d1yp&Afq۫f<|X@ rIjXҧJ0 C a$|aTcUhLrÿ.£ ibuFĠM,0Pm^Ĝ@ z(h^Լ1vq\v|9#L)RBx$| f帷 _F@;{!\RswlszQ^Yb^d=MgmgB %NR2[ |WTJ77< 4 - GzVcjYD U6ӅhwIvv_K&9`eˣP|XNo 8!E&>{C5AgRc Hs)I̯JbK哎N)aPbQXq[HJLi_q{l$Z$Nc WyNE` MEM.5⩕T0,ET}9 ݳS-3Y*Ѭ ?Ed gS 2/ 5`* 'zb |w ʣC+HSJNr^-0tC>T|TڇrE(!sЗ,dah/au&x`p.nY }0Q l{?952d}qtgV d6+'M? `دjE"mxtۑL?}/ZgQu>1(/=8"~N/Xel埝ӷ <u5w{t!fJJ.mx L\!k%ܓވ́Fj+y"PfR)r-?c#@<^Jc%Dz.]e6U$GrUN jc䖓S>JT~/.(:2r/!:R!VtFWE>~Ssv@1+YjJ$1:Tw'm zq>c~Xp~tAx=|F c:hL`; 孑PP]~߬-gSqh5s+ƒמ'vQ!:)u:DN੍`'58[UmupDnmƿm}]N铫fT!/afu^%uڡKo.. "AD/ T@bUh(djόPidZaUߌNSb.E*(TL@EsQVK}/oiUz \[z> t*dMi[l;SU_߬ĺ&0Sz>7uڵ{i^Lg./t+7XX)p~BM>_/.(ۣ9]/!s-Lk x]K[&ibaʲIa<Ϲfqo$<66\iJ% 0<)9 X@cN`49LN3%l ~ ;m(I(G\{+1`@ߥ*ho8*G > 8Uq@=Lh*٬nD ϳ*fY) N}3)* o IP 98K!X@v:AǢrJha0-MfQ :~ҏZ`kE:Ri1Wm>Yphx\9}z**|KtY~2w`F{m,}5꣊ - QXF$ޞ\CA~W3:RpCFl,Unv6ED4QRU=$W}Ůɓ F+I=;Dk[f_|!b&kXMc'sPi'y8BѭN 4; Qky`4Oʴ5y\?d29kʸH&ůIbLmN%wNwVQE1fe@ы4PgRcFCĿfLUC1huv)Qj|fB4/2?=h=䕟[O,7|"XMJW`;:k¦f#G.AB+ԠjBW /ڠ$N$ygė슏ד<ΰPՆ{VjܺXGe,~ie 9k@u[@O0AבW bf{1E}-/AEju$!3Ds[Dn_!;[=!C(#dziVj'=КI&~^]ٵIgh^`BarO9K:rjC)n"g|e/pBk% j,uEW^Ϫ T1ES7VMA$U:OaX_o t G>HjX V;9ao[tb:1#*Gx+l/D >uuk dZ5Jn 2WPv0TߨWrX$,S㧧r0/EŁz%M B==4VUyW )z;AHô7P j%g<- M) /H-[N0gry#$#*TK}%/!{*}ooW|1K?TPj@@)7%IHG ue P +얍fn)IS MWQ5%c70P>oڀC?5ގd+3jDfRR ݲp\, %bD$Z@G1^OE1RA21]fն~rdS!K}F%W.w`09\B3ҿ`k xs91kװq*qk85S%UUs(XPEFr= :Bij5_2q0pyؗU"C2m%cip{&/B/I^PՊ+O8ҬfO*uޅ*'W%- )K -̲C8,{`@&:Cf؂Ц$b@/R^A@OEoho*naÞ*k֝GE8g*p^q]1C3_E8+(TRӫZHuVuds CQ$[?6OTU%뵨G VHro%GQ]/N`E:LD;>*( ]Uq IayǿLA`&_߸<ŃǢA[:gvڻ=nVڵVDxV-F @ :̎PT+gG%[/;cŅsk*y;VǠfwpj?+Ь]GgTبpad&/6Y0&SZ%M!7 > JDݚw,65˙QfQm Ųs ^ryzta踍k GV> ki)o=eMkz{I퇖tr_+NM:?oי*P폲Ee\&X;u 0M0lfaMid&t&K/5Vj5k [רċ/B^nӆd  Em$1g8]n7C.H }訡Gn.YOr'xj[fD.jd*RC#Ed ||#QJ|ٍ06e t\򥖶#*uL0Qkލҽ bכ9H|-lmٚŒl "I^ 2s%&80{i(#sqÄv 丈i<΂* -;WOdwe.B0.j"IS(< qʬb7BV3*&o\mQUGmFY)3"7t>e\ҞW:$}mAAQ kɞ ɨviƬ{X'=_12 -_{JF1 BLE{^5%OTK*A╧ܝXF<Hw n(zl Ȟ[f|UƜjYo!c`U ?ؖՍ&y :i6i3 J@>C$1&*x쎈G#i8:^gR^^!ZE[:p*߹_PuiA 6Dkgޝ`e<^udQu n`> ,^[wv.ԘdQ޽vkI"lҎM'T7 (-Qہ0{ j(+N*/6N%ͥYQ`a#l$9sҳNG> U#}d.]df擆L-Zvה0t*(P~f"vB湳j$oKo˸NA K L~kz357=9v+{w^HNdQ>$>/f(U[% s4g]Im}Pn-M2Ιj}p^uL6M\ %f6. Bk8{:7H. kmY![2|JB 5z̴{\K6AA0bEz>G4d \oNv6^7j5l$;UC^AZꜙGC>Nn{cYN?`if_#\ȫ|pɚX)Cu(<,91yJ V$DѠol,Cz^睶b5ϫѧv/\\}?WЈz(ˁoǥf.([zw:  Xcb 'c._̧g~ 8!CŨ)y˱)?hb%&],߀$a i)Ail<I+Gl(7~=CnQbHLW%pfYa~N?%Pl_ۅ]3/S_U(ӧ;(8B~W~J< f˜(̮Yeikni]EYfý,qTc05C9N*{ (9JV[3rI!KL].hq1 8^Dcn۾c G{Ģ:. NoЃW|xʲàՁGrG&om,]P-T^1 q -*TO $Yo|pK@].u6F5w6J~O.KLCkՖZ{Yr5M+"&~M%WCux l $l?Z~}+:̡5Y2-H|Z'|.cbsE Q5LM5;׸<7ŅͱH娤Ȩ91[qѥ`wBíj^Z#2/ؙ )!U,"*z v?x<0@KE3n'hIbg3dK^hs6|>-tpPOt#G裐[$y =2j%" (- ׆o6gPK(HJ{5žissRTOr$kuc@!?IssՂпM2r`$I;NtDGoQue_FTÏ4˔|=J1eL ϐ4f:L^%) +HJԒٍsmK׻D +>Xc9l!|JSGZ!ɬD(=ge8_il!BY+֫xmœ&qeǓd1Ư&Ԝ'i(Z:uP2w޺}M8 PAeʗ@ZDD7֭~$R&o?k2)iLAss襀gMkÚ2ۣ틑6wN `7 x>*_֬ >M'?->VT)0kL5)ݱ73TM.c\g5X׵NYYpVA3]Ћ2Ik}?Z!k(xh?2W˄<۲$~̍;ϹDU䙪ck}7}Ph]͈2 dmFPEϓ ALY-zX"eHәXg+/C>6T՟29Xs[!^^h,Ilw*m2LQEe+Bf$'װ6--l:q H ^̯=~ѽH/ oyGVm=V2ZЄx^?bm9^yC:wہyof\7k( "Î%A|øJ)2r6ⱼ'(zɆEnbzE[[ ^*Fkw8Y+"ĦD^wG]{"$G/ Z:?eӝo\ +h叱ٯtD82Jԉ9u]V,Ay>p+tIJEt;~GK# thSSMهT:I"XR9bynJZWU}+BRRȜSz)Y,mt[?ėf(b!?Q~N=rdx/hB~)v,%YʕvS[`q [L\lY`WOYzgi;@ g.S#c'F }/8bx&j$l d2*ȹtmœ*1YD_Wzs44҆?* <&:b{K׳da.wяLT:[fF3܃K@pf&$qw{Ó+lXld>7׉yd`r c)|j[;yz@(\L/$zZ8f18se<W64rڿ(m]zI ng83)%%6;L^ 鍣BE'nd Ro3Bٴh7ݳ T5$Uz3/q$(,*$ ˠ$gh1V:m :1(Ce`"v';N ==Ύ]91 *&I`dC_LӐŗ'{n|Qn0kӬB ش$F{O|y !l(f 8ye'CxlԦb=ӯ7vAY4d'̧#bs9P%:1!{8'ႄtTh: iGHW=D1Ky~t ҵYRM O~@2u<ŒC*fU)F$ T#h)P͎H{ͅj6L +Uٜss`T6eii/[Ĉ\Y]A9 _@_!L;DLݙsݗ-nXMCL6裞`g5wQњq魃}Qv >cTB VnI FQƪ/8%o&M-j8΋vCr m͓KWA fx4~.slĐ 9C~/9唕Լ ._:!6\Uʷ+LV)4 6Ї4Z:mNՎZj9&3@ƠMlYնb3#UPTř>ǹX/:gFMq tL v^,暶̌wM|?#ODJNg%g Y${#$Gd2ONV=H| hevg$yqv̼Y@LfD_nG 5(TV?rFt̴SZl/a]Z3+pFzy_!4>vVRh]{4 g^aueGԳ,TnhQ9: P&ŵS6X$/:Mb9%6>}-= ?aYp Џ_dz#7d_w[ `Z%lfK"YZŮڇkRxjxEU s$od(@}2N-*=z{f6 $G̽Se _DFBvu,kUHKiv 쵁DTRmdu. - kY: 5ALlI!}vOlPbZjbBq>63=tm.x7K : lĕW+9Ζ %齒1 ŊIQ.Kˬ,CvRjCxs@ gU龒ؗ19YlNtk=vA<{MAnKа)Vu3U-NF0N>'J;-uF&Ŷccw^>-hI  5`>Q$K0Zp,ްU6N3:λo<|maY4iA!Nr`M4MVPu&jwS# f’.i QY"pގ@/,ɒj(> [6JoiwYo"߽"OQ :rJh9]]pؿJN@ͺԃAv'djBRN|)dX"@paM0zf^uvOc-*fcamshAՊq{r(I3Y(9L"=4r@!+1 Mͽ{.0=Y4qCd79jC&ieelpylE*qM@ݣ/xe.Zu{ 섞l"Jm~%cuSW8ʦJ7 GY].ѹp=c 50Ua[?'zugNBmأ"7p[@>•pqξA% IF4eHO!=kLK[gjЋ)IG YϙʦAsu wLj;93\غRMg}E8x΋$e4mO%xmL8P+ތu<'WDzƏ \!T"ZNh]j,ImPb/o o3Rt֊n4>wFd<!Rq> 7? ȕAϳw"vc`|_WAdzXH6}Y:Qa>' nw=M>;8Y]j'jAzӢ8]F_ҫBeiq9xz{IQJ7Mc`C={̎jg! _}քYge~jdvh;i ⅃^~u r bzx@ [Y7@? p@F0u‰B[jwWk3gMp#l{t3Aln4pԜѵ&I1t@]2OFJ\wֽNl9oB752U1Wl!9YYI-0t$RV6Sd;"ڤ5_6< JI*&, TggD^//Z`2uY+n˘bG}>1 )I̼W૲(6jfiXF7BonboTMlx*F,ۘ`=]lo~8n֓DwT <ZK챱wh0SU1 شaVjpADhưX6Ȇ_z)_*\b lvj7]~#C^]E0ݓƪ/Uy#Plg%Dd2 _\A˽ɎppQPt}7C֟XhVSS7m Ad,u+2p&mޢnB{So4sU[ƃΕ!g4 4&Gv" '&ƨF:fBJ0@gF֭B"~1R7NAv1؀y;ȁCeM㑸BѝlJ/95py&>Hq|@D߱C|G٧ 7MwnZ\DrHY> tST+e|ͻK?lgևng,kO@e6]"KH|PCu&MD ͒OI\nbhyO$e/m&`lمq)gp@.ӥ>/iKu>*ٶp4~ˣ?P-A:P9qF7]-uV {hɸB'ח)VBz.%U@cVUhc2x֠<5Brcԋ#m a[87 #1o{9{7Է( sjgf)<]DS+j́iuP첿H.<<.ʦ(C+̺nmY4бK 埘a[kҲуǥ#/Ÿ RJ-'ѦHS>X%`N7 \22n,ugPE Ķs.VIh?o݋;Xz#W"Lq-xŸ˨'dz6}n-A"bI_[Šʣ  ,v84eiFJӊ2;N]8*q]|)>.W{?Wi/$u S;QgoCk,!@,M\F%g}n/K`Uɹ-dj K3<IQZuULN)‰Vv}!䅄{7s'm*}I:k ,d}>I&εƙ=ϕz"jK?og>%dv"Te;fWߏWKCdWP2W8O\XjcYDe?sXL9?0[Yu;ɨɥnW(CG3_*Ψ`_׿;v?$AIAwcRza^`O;i܍blOKH9qhsR$>5BX}:& ^ཟߣ4")1ԴFwL=uzwy{vOJ$aw<=N\LPf(RT)seb`ѹ+F0.y7p yY2xj[mKMY\pR83Js>dJ3P^ԫ, 8k& z:KK%a(:ZlJI{5Dc4lD$ﻉs=vR toߵқV"(͖}ɣr&I#R轍g955UMT@6lKh!~x`2wZ{G JVs~E~[€Hh!w|Z=٣8yJ>z ף'Vצ,%v:e lxRng3[`CGRA2Jހ@5TN o%{ O_IU8T(tmC{rByw=9@6?g?ۂ)CF8.3$ 1smܓ!_+絀1n2Wam,x57?eBR\Yflq]\*:#(a̸U%0Uob9Ezt-N]Iءz9ZHEVb/g}Zƍ0U}$.5.H6ZG"=E17qL&jl[GN'[nKvW͡|oٻt6WJS lυ8'VYJRصrzrf l#o&/hlQ4x)3!W {To6p󎑔qUz{N 11o,?\Q8&Ӷ Br ʏ=φXTL~Ԥau}]/J+JKhs x=cIJջ7T#zd4΀Pq2߼#{ Yf2 ^IK>>7ӈ613fo+^,=CgI YM*u?}p ZjDA~ޠ%@ZN效(2wmkih%8F7^LnTȔ^Sc }(0EɎ} Vf՝X+>ň*[p~$SQlx0{Q+64aYgzzzo9?Ʉ*߫ gCvOcōFOƒJzol0IcaJel8vh4akvuyHSKIrFK%J.p=$Sݮ<͍2ڀzZk7֙ZHxV=Ο9kؼi[?&%C>(VLYw"lZ{0e3O]Fj:!Nogk-orKj$xr /O~|޷!Ts  ]:bmj KJK4;mx6o)r XޭߏEc r[xs鿟 6Q:^#x`iJ0dQQV,4J dmC(B~ Q{PjMF7UCY)6]: P͛G囦fJ ؓZ/f|e(?m]h&oBrǥ#CO'5iJteGj:/¡,zHtr}9zqe(UŘv+-QN.euR$$ .-5|roOF28H1c oR +9VY;msaT !!qrnD{ii(7LG 40"9Oqu$?1E( KJ|G ^uƚFm#@$;%Xr}q0Gfg[`֑|;uEGc?IFdگL63S~Q9f76Aᗧ f}iXS{ #(E8X y,nwCzR dK ʹFk?T|xYټk}RFA:*)nj:K3"8^sxUI.5!̹;|`> ap G7NZ.ZoVQ:wD{]fvdQL9i5g2@eDn7S!i^5$rs\;?6 1>N^G yhBy-N ;^'oU\aj9 eLN!g TytW@خtDaDem a@BUޑuo}%̶pq¸I# YDP @o1iZϻߪj<;K$l~k#dt88  ܃Pn{\`]' 0Ϯ]k;@=Q0ZqزO~Y &[W@#; ~yiL\JU0+KVJ;26瀖Jldعʑ9rg P#0{/ a܎"އâOL,H"yV!x`xL2`%x\Q1{pCa,Ksƒ8E^Z: ef6w:`P&EgҧH#+g3xRIc_=\Al4'&Q0& ׃48QFm3DcR^-=0qב\tg0knQw[zn%126*F-Q*c"<1VeTlXmsZo*劲 ! 7Z%zViu ?3vTo%e~$(; P# >$ W/nN6WkvO;t@^e_r 3ORwУqc+HW5-oQj ~63pԻ&sQ x &I͙xvx7LY,W5nNK>SW0@/ȗoSM9FrvkI 1A!Mw 2`'S?R{.eS9䂉fBC@yM%yGI uhIi|c4%*ei(46rm9':2'mt[@&ޫ;sR^'J%.sK4հ+:ABQNVqlBF0cuX.j>as"X0zj%1\E@1 yd L9Nka-Ek^\˕!Bwaќ!xSEሀD#v l`[uj9ƫ&Kv͛هƦ; vJz2vS`S^ƒWё\"mDvMjuVsGeXyu+ڌßG,|-T{p*ZCtxЪ-աET8KR89nAv뺖9X{ /2Q"5 BڙDl ;(l7}x}G= B.ohL+m im5k֑Aj<.pNo2Jg|Vɽ`35!(2x@d-(& _ݑ҈w0bl2/l27 R|M/[r 7e>b=f.s`apRPYgSg#߁$VAu,nٕy܃c }8wt?Wu)_{g ծN৵Ii^Sc(IBbA>+9AjE$VÔ eu8$8e'cr!/$֥A<-J9o({iMY8fJqVRh}8F:61ü M~B>LM.H.mK_w%[C{4G?*=9Mŏ+ S0 $z03}4^W!RF .4\@$??&@E^@{$Bn!9>HlqJԂ6y [pE`d^ZcC"je(lw:k+!\AEٻ! }Ɋ})9^ߵT7"KMiu1Ϳ:lV^˰U>1w$gRG$"&KZz'$&>9sBu‹=jfaӬt1 G c^ 4*uNgO"O |@>´dg@v?p>^|Vˋ,oQo.<7(~`{ ʂ㍴߅,sO"#k^mae{;I<:6aUPVh z$IM;K趵wD0@,~A* #t5kHHw+@tP"<*@UU2Į;QL8ݻܩ T.sϺ6]nHyNYD kPِrɗrYAf&@G #d.Xvh;x `V"{ %0~/wB=ۑ:zZˇk~U{OB!Pui+0HuXnv3D?Z2NweїzA}%8|L%4%IPC+:VPss9rTs10aeA pɼW0:`hjcDo3`f=~S:䐛CT xX-tf}Ng,߯h;<]~Ltok.ܼ'~#'MV> EY4)K"P8| F=, MXja],b{L+,W=Au{6^WͰ"."xXsQ p^5XJͺǍ#E;$huT Jo8cAmt"j'98"gYt@tٻw[7tOD~,KůV\ ;+`,kVӴdvJAfABxM;Me̽aFD 6xFtE[w"3pM2~i-QV(:G:#Ejg 5T7j4:DQ "%X81"6/k;hƭrɋZ[+s*~:,͔퀙)wb#λ2,ÇYtVCh1iE ثXH+8w!Sü剴"leOQ.t9d ԷN{FwޝtHìh=K&_- g:7<2KxF-*%nj.0[XAUX{jdUY4Hy(4ZKi};ZO2 "~hj+yLXfvLQNZw~פZ`xQLqtťw%-\F=z5:2%Xp zҷQJڒ2=|s%"ɱ )Ë́ €eD9 ,ըZC({{G-iJG`G%ѨKqϟ{l&Ѩ@n/\ mWGvFC@ޒQT%2 .}rQܒnCtٳx`Ȓ+9M`Q s"#Ɏ"ڃS( D`KFУ/o\ wL+]ri`uyH.>`"L"`uᲑ fYΨ1.\uk_*:B3P:N_w_|{WNRv|x\OA]Z(n/Q&g]8&TSVߕ—MNɾj eLتʃK sᢪ Q`G1yA k9Z諻NY]7 Chh{Cb02z1̂]] Ǖ2E< JrqWf6$x\84r+`}8*E!9-15+Ks^yp nFo eǟ!RL9?CYHF! Km{WVEʭIglS3f+PqzJ;_zP&Z쵹[(z|4p2+ 0Li@IMZ0J'0h۳CqG(Y进GߵN~(b1nkeU/ҹc}R^a qR͙ n2 8i)O^rKVA^C C&RÙn(#-W}9%s!l~!>M+*i]_ !p#h 7sɴ;<;o!Ɵg<6nRABΏ&*Y4 &^ܥktv%>b{Wpg2,Bcy!-Š|,&(#F׺6N~J$2s_}bpU/tG _ [d#O TN蓬f\%>ǧ(B9]⶝4[D}hT,m5$[~΄ۥ2 y\2$y.$4zVS66v2ܨiXi"5ߧ"k>ҁġvک=~&2l$>5[(k,&U .%hK&)e87,Iu#]>h tKN7\R[L ' xmT,Ȉ&u ԛvPP_n_*e!CtoOOnZP OK>N\|\-m 6wWș*˿'Ϟ͂Ӏq>,)m Fjbc2?EH Nf/I8oJʼF&]?X&zLZ) zAժO]t?l%De.m" M\j;u@Pԉ!jl_VV`/f.*B\:x፸qu#Gߠ"*}Nܧ'$s?Its4;ermɊ1J/(} @4'gf!; 8.]|w4l T|Ĵ"۔(uפv?^oLHe--/A1?נD l2lK6R쿦X,Q$vU \5~ipa<T+vwXY8doL֑MVx re&L~1_:Z=LrTMZ/?vy0Î9I3fg&Egqz&yFg](.A/PXzm CRz*>,vdXW LZ|[`HReݳ']kIJ+`5lEްhW ltGF~2ѼĖmiA$?I;S#FjH26`|Dl M{fNZv,WcFvP%^1*Hƈ/|s볾>g3OXZ~s!H9?N,x;š}{&+X47p%ƃ.7A"\G:Rk  X۱a6S$W 3Lk$5|\`̜;k$R*~ \g $ .*[J ^A?{2*a{VdH4uTc!G+>`_O 4(%CߏY!m(J銨_ xyTة͚#}8pN\6׆_']O_ /aX~{oc7FBb} np= dytҦ{{dyt jȈ┃`};X^}x~#eJv(,[EB ^V15V{ Ma^ .c Ãm[уZ/;Q 1jZUHV+ Q} XM_w[bۜZE:\Nؓ>|]OĈ ^77U8քM`¸lj:w \ԯ"\"n?%`Mz"pʹ`@9kYMIB(9D7ꛦ^*2NC 0fsvRy2@.l-6pJ"00WܪF[n3sV F@{AYƺ  [xOm4WǻN`\Wy?PXsn@ޗA_$ j֢ z#غO9G,X4ܴ0[tJjȨ`A萑)]Q*ۢՙ0ǜMLO(sxNH wNDS)VQxNЉhW-Fd!L(u(IUQ'fgVv䋠3s{fܸ]۪9RS`b?;cV0."=v1s-YKb 醛UB^Jbl|><ŷYn'X!o~@j˲YBBg~U]yZ>U<ʂw*^qBڼ!d-: J:ϗۭmBAHԝ.m q'J/B:^@ 3?X>SsAc|H gY @a6NHea]NTLƱ#ۭ(SFt /\_M kF(N؋Ű4aBjv`q l7-GckL5.32eM, Fu*e*mY2ј; pNN6>0ie9l× ,oю11Fĺl^*f^۟ $(zP6f\mQO?^~BnyCs]r19~jYd=}R1=Qb)u(Х2/e dmjCB%#-z :ydM2F ?+g " l˜WGqD>xհ,N% 7Pcx={:eE?m.S08Qrg<]<cbH \awJ mE ^hYdM'xz+k3E2>*"zn"%!M:S܅tVo Y yu Ơ6Wn;8ւo[QGf db+ eO፦2?E9yʿljY\=7fk>;1ɲWMB",|%Iz$Bc+ [*$~/?HF wҕ .$>0*}oOt4Ynu@Ć(A޾3F9(/& x/ڈ`õ*F|#{$xi}KI#+yH(wdi?f7&!ĝBk{MkV @L\ \m9q3QZLF7$xomU1#hX@RtV@ qL @uHR[wJYbQ/T&o ?TJ8V#Nٕ>ߧSiK9b-#`Uoc*767[0u+A)IJ.F1Qg\!U|L(_ڝFϫZw=3 orX_OWAURDql,ilNgB%] S:./iADi{O4AvsHM|GgYZ S;m% |Stone_Relation_AlgebrasStone_Relation_Algebras.Matrix_Relation_Algebrasdocument.tex7zXZִF! Q!8]A-MՋhvG"uIBm54L&H *IjpV:>~OR]o/Aq MVRyKb LKI]o2t|Djm!`}Qo12-%,˯]J&&- 8a4 t(IL(ǏNEgUSNe=}7M{]= 4EO@=.ÑGN[Jm2_6':eYo9{URqĨNHeGUZ8;&kiNoxʿav!|.,3/H9iEEJPHV.ଁ,SWox ,j ;O% ,Stone_Relation_AlgebrasStone_Relation_Algebras.Fixpointsdocument.tex7zXZִF! "!]A-MՋhvG"uIBm5kJpl2 fY"O]SS' CU{ qǦ57s誾@!dn>|,wʲ.~5{tpT!?u *} s*vR0S? 8MN<8pR]:ʤ&ǰT;&PS۹|/Qnic KJuAMOn`F?l6f]ٞ.,J'F;oN{-n -aT(lW Z`Z`{q[  HF, BU t|w$^7^N3umA>6 Nix;g% Stone_Relation_AlgebrasStone_Relation_Algebras.Linear_Order_Matricesdocument.tex7zXZִF! ']A-MՋhvG"uIBm5hq- IͪśFұDh g OxOha&2%yr6/Q {܌[N ~ KXf#;x(/7rAPPQӥH:ЂʠgPKJYhIaZO߿/̝;P(G WU )>OoEM˧ .(ǎ"-S#sZi/n,WQy6BĜ TmdLC|ʊ "TD7xo v +)ېRZۖFc~-x`' I\K/ S̑I)W"h%R nHMd hB1^ǶY-@T,َ`Mot/\zZЉ|B nD'ϓ/؋&示,Fm-a 5Eұ&a*Dwl5[x:i DVM aN]@Eȅ%+LEs.zukdN/dAaADZzc_&4*xsEAW:Oq_e5'U6V`#׻R$\Ԋ!4S#{>HN ٝJWm(F(۾0֍! 6Rcl9~+ۏmLr<å`vԱ =pqzŐXmI aOAox^"v̉#P VA\[">2R^#v$9۫8 J.T;v=zTI P\~92u{@ď|ܪBb`^"y\NWriJ%tl 'e.eޟ[4 z#G cI1.Ss8q/HvA@d.k=݅5Q=, jߞVƑ%HMwyML..bwiYly.DY]RQ\zE{>Y1yERH9ԩكɘf<]4"7VFp^3[j[)q Xǣ \of $9v ,+,ش Z*J.uk)iEx >#`He6(V^Fa#X UКt +j6~V:|p@h2JE0*TRH2כ +,5c1+;\xK%F>f< әZL0ڡɒ 14w;?%&@m3ᒇzglc2U4EUzEbz̘Ft3Z3Q+톰S2_^}{ܠ>}=:d 40ifqEwj͓;*b]?) H_Wr |T'(H5z-Kiؚ5|06*I\"Ղц4j p|\lcj9zZDNp&`X$dHQ2jόrq)g)t drqb;>AFhӆ3 ){PF:R(*.ڦ_Ax][yި"_fD9$q7|XisYL $wi R^fzFS@ ȡ&X=2RUlWݾS %P{h`rA{$ qAu8(jX:xESK9 8'H(.AN}2gO}Vi%b^Wo#PمhZ܌LROX*^Y Vh;_% 4Stone_Relation_AlgebrasStone_Relation_Algebras.Relation_Algebrasdocument.tex7zXZִF! eZT]A-MՋhvG"uIBm5ť}(ܨȄ,l-I^ƅ&=jo/Gf e[3][um>$~ P= K +-2S/IT/ޞ{}PϻL4t-!KaK#$9F!oD<DiñT6p&WebU9j[:! TÙI vGlCSUA8i].F04":l#F6]A\az -L:be{H1ҭ^z,JFr >G㼀?Py؜xE~c{_ : b]L& IOЊM!qhA};4(fV7ţJ/D@t9tҦ%+}V8lŇ5S"#.^ }H>TOHK86s6Dk?BؙS4:M}e>,JgQs ɻDî7"l vR< '%D@eY ͂N#c5|j SFѤAw ٪FMz[A>N ՜[,^lZ7e-w 3a?HJ</J?Yh1t\etrZ: =(.?7,ؒ$E]l mHb96j5ʵTCd~VJ|K(G bh!T+jC EmR }qA,DVw*ދB{p<,Hr;$Cj(WEloz8"0<[1h˝2=:Ll֔?>餇gNzk/3>q]|j.M|yaV8TJS$U_;&RH,!QCS\@j`p5T"ld.X7sC8SLsRO04%sM2A Ǿ%dMۀ4S; PNaY;*k_`!/u_ 'eHrFt1Z _ GYN4FYjI uߡ7#c5mB TNqB4=Ԣ-u8ee" )v+t&| Aܺ;2t̏ 5ֆM<DM51A%Д`{K0:Ļ-k8Iҽ[x0;a-]2AڐV((T$Vۗ+P ^o@+EpIdS9~R3G"PXNBprmiN'KU6 ud>B̐z U1z95i\lJt8 q>eg\0l%M[ߪ84G+/'"}f$G09`}msj7nͦCƺzquMSgj9}FO QJ3z;&ps!+s:WL^0Xpfv(6:uz B+xk#2y 9" glC&CMiS/i5htpjWgD/ aC`ڢ_6 q'$^*J _LجUIU}KvW@¯l˂eBVpKu7u\xq4#ar <7fh\&V)8|!}GLUx^k >u|Z#r$T̻lo=>{}Ƒ\8IMG^KcI6tZyĎXl`N ޖW{ʑ!Q@ύ?)<RpOH1$^~/[zw<4M(ƃZ,7o0%Z 7ܗB-vY$ SZeiVSf6':Ez^{΀Xo;_hNF:*{jt8h~^IͣdJDjEӰ`RD%wqۯF3@Bؒm`p <0 n !e>o)dV _e(Y2rC("=M(GՁƯ֧f4I N@R]V>##9U[۪ln^f.l|գ0NMxA^<>bDA" xE"Mߖ]ة7g-roΗ r^nTQ"pҙ M3!xrdQH`ɿ+LʭIΊKjTȬ֌M'd†+b|f;onF5j~Lu+8A0N[r.$hho@ ϟ{X@:(|_]¡Kwla+)"w^ha.YE=5ƙ/p@! h9L'XwϪ[ƭ8gV0zܠg$ %M!qnj ,u>0FA3ZԹ5ԕًVQG.ۥ$S򎾄P_WD20s_Zf}_YMI1`Z^\F]&),YZ)lzl9P1Ptҿe侧Y8.|dǦ*tB$LZfQrJtj=oK͸Ngp#F6xwX=t}rW3}Kl;[Ղ p+9E8"C'dBCO3sPkX`"5IHD7wou`sbYUn:^1# =gf8JqRK]q։oȞ&~RϣyUrmR--VG({}_J"o29[jl/K>`T-]|#P۱nN@G6$Y(0QۘR&'j۵gIN+!tcx֞̐Xz۲&Oi;G/ARQ*!YW#neqƘɕ=ZZ#Yio#|56rM. NP=Bf<$)^iC-&ALpOEe tץз>fPCkԀxdf҃\K}z>ͺ WG?e(]RjeB(;DVjoMR˅symly!HJ+D[^pPX!nJ,p dmAs+z'[O l[,9o5XQ@T3nhN < Hym䜥m(9T9x?ajG|G QOّԍZe~%81FE^F _me.HP"_%7ps'}"ו$^mBt%$8}m~>A"ZA;h Jj?{8h֚=󦙖x%kjN!.RQscrLpRFkCJT A{@+ w ^yq\wܓlvjbC|'pjLR*|{Bv~(|'4$2Yr`--F$ܾ7S*ZiYb:|747߃Vl3fJx$\Fa,XQ Qs^vUlF(2S~?[QĪ{o$X3`f ;*}vO w~p I{^L=;6)AрގPcBvnԟ /:)(Q" 8L~$5j9UG3UEoeZ0"$(YrkXǮ v!(sB̞WGy%1Qj8+59ޮn tZ斡kf4 D$Pq4+K(RN{a'79l5V1_}ٛ3wҞjC䐾=d7`  ۯsc`hLq4x?S]&Oy~3^A0LĞ)%lmV2? ߊ{eftFU4Z`6ERRJ9KqeT 憕c%(dBn_)R?(邓 s®5Ĝ6`'wJI;(BL2ډ; NT? xaf}z H~k02ZQ(@sMi e/7us u>sYTm8!iCX4ߨ6+~I;,ZL82'(r C:_r^Ğһ_4' @aYGt PGm%dMw$do]tA`Z'C ulVI[@aɈc]L%KI.bfeQЗ,$eToGh:H7&ɂcyEq*Zz@YLa6?ZyWCLI6D5a'p*} #54g褂)B8 4bu^BJN A}q}Rҕu}dOP~csi9>?8ndc#2y!ޠj}k-M*;;'j\,2(nG*jRL{:W ՈImbtu#.񜰔.C{KZXՙ6w쑔msO?7P1!aemKJxqb6E {򛮌fSP0dGa'5E`6OMzDZLF\uil J}̱*H먆{)[VitTX?ƺazIJf=%(5yz\ungKۓ}R,=~gBz8ԓe J=RX!f82]8ge~ROi_L?>vO'n{ ņd†.5yĚ*ɑ^E1<L[k@PUFUJ͌ly&iW>v%$q F7D;wqe6k뵚a⩞Z:/7,A-4f;hLJ3ylsJһ$Lz&hbż~#bv{XCz8ε^etO2b2Tw\|]Vi4[R5(g`RyYOdH\ #D`l;Dr#ٜ5:kL;; oe$dӻ+L21tH:]ħj-Ԣo/7ޞ7hePN)զjA B[PBkB@W?kA&.4Mn2WTy<g_`,SD%O6I1ϷсÔ nvxIvK.59m(E sg}}R!&;;:ب)BhYxwMwhNmbϬ"w5eYe6xhsu!WtWa,m@+늈6ȜDŝFrzm[2nlIjT# O{.j$LьJ |WŰlkp`>8їhbE3Q0EbJ(>k!'? δ30/u &ȥfLo ¿5e%YO8;Sq6fW#.ˮ*DN'j՝&cE-܃W4{vZorGcÝL4owX ^>h2Gcqxi1W]&NCFBͣxp8B٨"YŌ0 )%MФ5Ĕ``d Ol]YIdux9\ւz 7Blыt0DHBx<906&vŐj&X?;c˽O wW(woZ11& 1mЦHFob]}N\Dj&̪ê:N76O/\0wq@N~?N)nͤ@\ wBOKK~K%("BzY[+ կ@pڙ[|.eׅI-儏ɫOa7I U!m7 k@@h![.+T'lZ9eIkY\G@!34^]eɏ+Y`hhEuY 06wv͂S=/Ľ%/6+I=H*nҿ/ݸ$={hdVW"Sr C<-Qc}{{uld3LKD558ѤgC#xC B~-ւX"}19fU*5~x7.uq%\)^eQmJ@.m)|ZFBk~]-&ATkPemtG."M#ϱE2<0oɬav hT dԌPYh'!dG=X &6uWAF* z>O- %S&;wKHb|@i靂1۾"+z@+͟e-NlfB鉡u\z&p)V񷘧?4 ~^'mm:Kk{" }@Pی%J^STi^=o9ʮ|ъV2a`T*_B;5 M= pNW怔Vg=ӯھ*B g1Eh-Em ;WCuܤagwmL%o⯁aO:M=1$ d-#6!bAK爪79'vfGH㖌CFzn~w.wML8@2/̿(7G8Dߏ YuDq!dQEZQ y8ҚiFT!!{\!1ul7Px>Iڄy1[?voen.pzAf!E21P|u8;n'Ԣ*~bYW+gIv t_B"`j)=Ȋ dyaX*a漾6W`griU/܊fm3B,h8T5M~H; o2va{b-E0ֳ º̣_TjOjnaYq2uu<>y$aEG!h#Ŗ%EE1b~"Ҍnҗ8D;Sz.iUg=Qp ,p@8؂iO}cV&+Mb?0V$ R3:-nph!vnicc˓MGV#4j M3u[.I5yi8YL3CVΒuz8*I/)6y}[r"M̰³ f8h)9Z @cYni3 g3l%Pnu}WÀ#l"Mץ&'撟,TFF"1guW%iw(['1GUHZQHcs줺Z~i;l-pM}`ۍmdw/uB8g_g$߀A6ͱgYZ cc;e% Stone_Relation_AlgebrasStone_Relation_Algebras.Relation_Subalgebrasdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ť}(ܨȄ,l-Imל]$yIelwVK@.YN1FT';KI|byK}A&MT2 646rs.GozcT#JYnB-Y%% ْ GhHˑ.> x߱ P/M7F`AwJ7_/PTgsB)%P>.#W!uWAF)nw5vNDPHʑ7Nc#գchoi?5gO-t:HΚXV&/*= Ӕ+-aBN*VS5KzJ=@΄UVfaIX7_ې!$O`qi&}rE%ʼne.OMc*WV}sC r :}`R""h9)m`HM} ;;u%wb3oj2E+GM'O"uN95L4X_ DBrvPJ\@-rMFЄIru2@<{.^7iw,JYOkd3N hjzSNC/WX rA>\ ̋|סwz܈'Z^ZAT ̚_rg 2@\mϗB@+4o3 q9DY`Dnʁ}U+~zڤ&X?Q;xi4 ;B\zNG7P-SS#q*d%h-Hk1z#q,"'$SӐEy_j6?ЉI'}l(ȺڙY9(~S=q4:PިC!)pg5Y,쌌xDpcqRxjzCU?2ɭ7dbc=✖_%ig8WPT%ycѽ[:!I>щ /̘Nn"v;dD-0quKqBF-yyO$1Gsɻ\"=@T_@IDZyeR^zp$=噪`!sՃ'b:HO 9,xzKRS3ub .Xug7/7 09 8mOb-V6d* OFX0<ϓ \ 2҇ u 7\@( /g$hE`[to:8xώ>Q,e&UE.x% TxQ;xȯccO0!LT0z92QANPN%z5Y٬ܵ(G坙miجl: 3KO; v{!Vuzˇ)d2~lT#' zl=?3UDH bӟ38zRw5O.n"׸Mg;?EVIߕcu,×1S:\.:dZCPفy,V elvw:chX.X[\Ng2dT<2c ,mZ \#ZQ}t#h/6Lu@{s6D6od(k4? j01 ǐ'OeuòܿMִqPY_bOt)WD (Ч_s[].5ے ]5;i)6xqgòU4{ב`pڔ\N ?1LsWേqt&L4QFdҤKf%W4g|uޖb~i?)3|x<^(k=.7!oks7HKN(,&L]s+JcS.x>*Å'Gm*\,9rn&Oxu%θ_c.+zp:\/@ kimY7eų xX!Vwr&i>:~`Yv2*2P$deE[d4&qfB|-z]4@nVY/.C+[ձk˜M'rtȦ.ZdyĜP =z:µxL4׺s;y[fNCYowPR{GcF)YxOOGHi,3ŦwxZC.g1#iΑ\θˣ)9#&) N~>?%Ĥ'a68 ^%\)OTanw_g8n jpL?A y(ߦ4)B Ue0W8i-Te$3h gQE &m'ʎ3v5&=F%^+'1`?MlL4  aOfsuNZ`94rHbKN?iuN#VZʉjmJ&ޘ)YEI^oz`:la'g$#"dςfآzٖTwaL2;2ҔH!b5<̈́4mdd9cހ6aQzlkr;\V옳laiG2JN32bzIMQT`SHfW%03{7Щ7q="T Urh.)% 糰jUF ?|;gap÷櫿 4`6dLW.dq>K=׍n ~+c)|D^ gfaEab1J?]6jUԣPdق^zlҚ cj[g'u-j9qPt1 3ò!e$mY{j * Ağ/2ԬˠhB}jks4V7J!00 L]Hr^%c3l~26u4k}\VV6G:9D 4 Ov˸˳߽ߩEX{Gw#gVH4Zy%.3!Bs]is 9*PЪTLhM ,-%^B "Ҡ20R +#l;l8t.4t۩Cc& _d5&u3:Yt%0 :ފ0c$S:߿MV];oW?OF.!pK6{~"Aw-WڈhqO*j*.<{mt*y8Q|?h2YN+ f(~^ 4{ > !0.ֹyDHQ bzsM l]{zB(1[4+e‘J\FQg1}KJvzg$1͍Dc:MK*C%d ۠#&Gq\3Y&pWasEo!6u?K1 xN]1V'ɏ5^_`_Q*e$!\Ph$qY}tGnlShYUc*d݃e:d}rWnr.{⃇p_թ͎1Q"iCN͒`{vf;g2=P8'24)EC-2еq#g#0yZ?c]{$ZgCeŋmo w$ijiC1߰3]2Q66ջYEOÆh,e9LN}A9K _Ln9>9MR=-Xna!bv\sJ㠑Pmg&Gbw޻ؽ-NRMoqƀ4RAy=F]')$+J.g;7CcJpfYU| ԠRI8C%X,zR= K'Kp=D` Ȫ؟cȓ c 陚i:hju.zd[E ~]};A6·X+$Ҫ\݃2Ud eWsFX7gH}ԓʳ>6#ztnθ U <VL"H`~(שC@VC }ζ5!a1׉Gt!twHu-lLfI#YNo=E}ݘH ^g  4숗꒳䑺(O(8:7.+u')->^Zc 9|<O)9 rBl 9,{@;RćWu[uT^Rv[x:\|Y}Ԅ#Q.",i4Ien)Q<(%\(:(+HQ-r"kNEqhWG"Ә5w %bl+ w/s΄E|1ΉiDcI‡ v+ROueӪݔ2<|HcboFC}ԝLE%$Hi!ˇ|,)V[YP)ik KѰF闙YF[T=ݒ>l(FM@qA( ,xVhkdKkw`<(