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  (1t|t ] Separation_Algebra:threads=4elapsed=24.006cpu=52.768gc=2.5007zXZִF! 4]ŗXiɟH)0!h]B«W{u f?2$ZΚv.ЁN j9k<A=հ)g޷ Яٯ2'[5/RXD ֌i.S@LhP^ruIggUpUn63=2JK۟RjS["iW$YO~~,\vDs8?0\厖U.-qWX7Cm~L {h;`y +::<8 ?ŘU6ÚKFdxB@&7Y3xPD˛ݽ@Q"TXExC wp `w5Mm%J"s Vba>(VZ[b%1ox|-4%ÁZ3"= Jj[A 1 Separation_Algebra  1A% $Separation_AlgebraSeparation_Algebra.Types_Ddocument.tex7zXZִF! T ]A-MՋhvG"uIBm5uW ~%˘ETj,RPM-?@>Q_=n7jFe7<"Ͻ4رfW) (C{PTF.<ɔN,vɬ#]G:aB;xiW:˅ 7sભ+|VC:PB >xz hfbG8æxwIsh%3_KY;RJ[JR|YGvyfpwlqjѳH%mP)~#5rf;i^`D?.a\ށج-aʹ .dX=8?۫U\{$ڢv[ .}͆wFZhS*iO#=WھScΧ>[سk &?L C.(_š>wr0῏I # ds<`.-xHc6v}5ӏ-'MC߸`w- r#jXmU{'/efH>رp=[:A K!F^o c.!8Uނu ČpnwX`ٍ,Q>~Hz2BkFj>CRhʐ[_r727 lҿ%rK$*`y>tRrHP"r~ ӝE0h% Br#5nn&N/Lw)9ٓ6Zh|ƷXQjVeAJk A m};eA%ڜ^AҶ.\l&8|KZ >CM̰17+ hLqVdqlm5dY'@}^sa*ix9zO[FDoձ NO"DZmALgp.O)`A&c?W`#)Y̬Pђ! ۰7ed@L4NU+Ƽ@&#:\7]A"Qio*U]Až?Lq gbs,ZˎĒ@(8c{wO֞ӢؕyTZO{:,1%VQV DX~[%|ldUHh1WoPzha/ꨰf}l0%bNq!;sEΆ}b/NT''tk<K@)v  p3k$oT 4];&)6Y25zOKD{_6oIhjb(:ֆk;^|B_ *uh2wN5&?6׊Plm;A(ĭ4 -qU>j#RiLrІVKH1Pիs86BQB4}D)*л R>Ϲ-RD>_Nz%\?ghipnQ/)N|wrt9@D"FR=*ȾqUR9[y*<]jhXnb' 8        s'  \ s G t I1W%Separation_AlgebraSeparation_Algebra.Separation_Algebradocument.tex H1U%Separation_AlgebraSeparation_Algebra.Sep_Heap_Instancedocument.tex @1E%Separation_AlgebraSeparation_Algebra.Map_Extradocument.tex C1K%Separation_AlgebraSeparation_Algebra.Separation_Ddocument.tex A1G%Separation_AlgebraSeparation_Algebra.VM_Exampledocument.tex P1e%Separation_AlgebraSeparation_Algebra.Simple_Separation_Exampledocument.tex=1?%Separation_AlgebraSeparation_Algebra.Sep_Eqdocument.texG1S%Separation_AlgebraSeparation_Algebra.Sep_Tactics_Testdocument.texB1I%Separation_AlgebraSeparation_Algebra.Sep_Tacticsdocument.tex?1C%Separation_AlgebraHOL-Hoare.Hoare_Logic_Abortdocument.texL1]%Separation_AlgebraSeparation_Algebra.Abstract_Separation_Ddocument.tex>1A%Separation_AlgebraSeparation_Algebra.Types_Ddocument.texL1_% Separation_AlgebraSeparation_Algebra.Separation_Algebra_Altdocument.texpUj|Mg"0e 46UaL:6t M]6f5a`]IzHdݼOרh]zc]%~| ?{Žă w6Ù&ˎV 㟪]CxbpMpU6~;IJ^E}yVuTƂVhhM!D:633C~|Ö[ߓl夡|5 z 1%xVQ/|COucMB)&'}aysFJ|K>?+n?Sp:6cxb36Ġ {|Ybs @H-]5a͑2) PeW#{w*#F2?t I`3ČrƤRWtxΞZl%j>BmLi4aGna3;OV C?S'#$BwbB\IoYf/t+ Bi<̓9^MV T-w#Q;RU2b (T‹[w"6yO/@]mL⺍$K"% >4$EAڊ!-_u㝀8~"dśmA-UtuFH#,6;t8}-A]ľ[RRGhO;q͠܇[m-HÑ`Lj ˅qt20hhL=->2>YX06g9dʛISǑ,"'Mn<.L~z-(=_8%e,GI ` !jhy:.$\bjm&KmGaEY?8ٚ XpEw4L"mpD;3KQ f(MN.[qnM#43< _b[7'a>桦PY "3(a00y`iY(~pD,n,X}!A%u& ~MDWytQRmrA =j y$l/p;T-p1(@O>~yM]I{q==o03I6KX:5Ҕ?wFJcKt-|_2d_Hd[<(~/I=Yd]!Lc'Ȳ>%E""o;P \/۰Rrv:|XHԙqCf`fy87W&bD d .X  JlQԽF4 罃*\&ts9|ejճJd@it7=<-g1 銏AeZDH`_ HޏxL>M `5v;<*g'ߴu .;o%CRJLqTXǂřVhith?AZ"i;nFXHc_6ˈX"Y@C ; \`jD $B3)X78+g5$Z|3sb6[!vtyy6BWwZ軗I]"z}™x?Gڪ@]Ae0E-Kr=/%"lii8 亍{oKV;E;^dSv`A46Cy[l 0G{qAhܨ51^7"G#Eo+ъjZ W(x3f?ڌMAW1P}ش`6QzHG3ސ^/ ت!|8Mao bfPҌkZYzkHG!'*&dcïeB:{Bl\W4-`FwS 7MF,85CILh qHN]YӀ/ ,BgV"s6a/9ޣGQZgW%Z,7'}p܉Aa KdEIY QXWH_=>It(ed ? F9ZѺLÐ]+Uj390[:BL\rJ6ȸ^ /!ƪ>3\ b8"(0I]SM*Wbm-5ߝ$v:@?{=FLJqqDf~VngSr"1$Bm0ZeUJY]̡p`{45M'_Xjl=xfNOclg ) emMmr?C-,/h Mо:zd/ cqn(>I*eJu\}4D*6V¨\LU :)5N[ZY β2s<|{lg#"3lT{ AƺFP36퓥߆#"5J [Qb=:}B!9_v *,Y/*ޠ]a`d(t;/]z@uxF{{5(d|6%]I-WG%wF9.V#Z$k'J`g s ƞ,51B 'axŹ Ono}x_-SWxn]xRBqJVkE+ Si21D2~Ki}-ޓq;eH zSb*O`z~i1_*7" xaP; 94w8H>JٰC@@Z:MTFҤˌ{E6<3휺AxtZq_ e#8Fڍ\nqֺy̛LX6iu'PMIq ,շ33 ^d7\fqf߀c?t,&d;YH{<˫a7Zl˞ `'3@7wqtEFănx0m- SĺZh'Hʪ=l6|6dX4׆1-#&MN7WY)Ã?V>jY^5s׋⪾!l)K `@ݸH!GUd3 cej%b3X,H $Wob|1}6^O%Qw-[0~2s wFcvߔOI]OŅ)Nl,NԘbC E9Հ`ᥱTݢ^ٕ->}^Z_pCRqΕIiM tt$]|6.`x ӛlu/iHt 34e\M`ܽ8%g,s )*LSEkIy* ێZ tJbV^Z*z]:w w@OqqCV1qLdZDӶ ɐ1"2/ 4Fn%EgYZqYϘt7b5nhJ۫]6)ɑ[)bH#m.RGwi}pW,Wŷ;mGWUzW=0 ӳeF9#9?̜o<*E*hd" $q?Eȭ'ʑ\D{.62 ʇʪI!ukvVV/n6F2Pe0WTKj& 9[AYVVAƑs;aY%cAH&p${HlY5:?P/U~d g]5/}{k vt8)Aҵs:8{'N&/ZȔaHJ'.ƹ7qVr.īxq0fHha8e{#z[gSY%u_ m-4dxz/Ka', ?1<sT!DS׸"*> =~"vba l=sB~Z>+qmK*IƚJ֙7+\`gc/^..#[(˖t4)sևӕ}~Z5v5Xwf0kG؏UGnrѮ;h{66"Mٱձ~p!/kw1C+9GmoyF^/63Q3B#B1ԽO19Or1њ>S$,vrGZG]3 &Xd?ztkޕu'z'bb%~L"tߣ@ 4y{;+c[6>c67t!0xs~ofj(Gzhf&rm)I[frgO018{P5ofm{5k90OjZnۑd!Fև;w%ƪԮ| *IJ>蕁ϳJ؞qBہw꿇;)k FCUx|axֹpf CtkkK#gdy2f,PqeY/pb=& >f]澉WF9*(<i@_SGNzCJ2(1Wi}c|8!՛>% Ѣo g#>&gT0[ wW76vK=[ZR븫?c+=fn ̯Yk[i}[; bLu~9' qbYBhÃo';=m&j5r v*I)yNjM2fօhe)#cڕN;>fmaʛBMějL7bQ+RxX/aݦt=uWVCZD@=ƪ5@ h +,F3߸ u Y GL{kĝC?Iƥeb@cawLj%{C~~`P`8$r-upT=Dapw=pMޥk}@)Z@1 "/%*B✧l(׌!P!"+CˍJC*59UoGd׈6!󍪡p"yDBXBlx^~E]lY!h$eϧcHYl^/XQu\M*{ (r/yވL7w[ 5yb_R￶N?u.X$ zZDk Gdf7;X6^ mii OD]"Janz?a8䌭IP1K!z" )nPɹ{Ȩ% Kٹt1j#H9;e$ĭ //.$!Itwa5$z_)S VY ρ#SV9-k$X6dlbiSWoOGB?7p\x J>FbjM V`,Sݏ#B#9)-,z' :2u$F,Jm>>ecbsa2;#oKij5R lyGh3 pCYvgUگN%jUڞ{ؼB63fƄso {iٟ;atM1(՚vxߞoZŠMl39 5gf;w7dw3_%%f^ gYM kKID;W (\#NȄ2W>^2[ou̷̖pq IS x( CM)*5EɈutx:.f D]f79Gdox#vmD}e.-JnUQ#qjI[j~yE5VmzXN>7+PJ-SOPݟK@n^ 53P3-&ߐctG>> y]+,ׯ|%&CDžċyDM`.}c֯4]YY/Y|}i^,?~C9凡G/QeUrG$,ek>0KgYZ # # 1A% $Separation_AlgebraSeparation_Algebra.Types_Ddocument.tex7zXZִF! T ]A-MՋhvG"uIBm5uW ~%˘ETj,RPM-?@>Q_=n7jFe7<"Ͻ4رfW) (C{PTF.<ɔN,vɬ#]G:aB;xiW:˅ 7sભ+|VC:PB >xz hfbG8æxwIsh%3_KY;RJ[JR|YGvyfpwlqjѳH%mP)~#5rf;i^`D?.a\ށج-aʹ .dX=8?۫U\{$ڢv[ .}͆wFZhS*iO#=WھScΧ>[سk &?L C.(_š>wr0῏I # ds<`.-xHc6v}5ӏ-'MC߸`w- r#jXmU{'/efH>رp=[:A K!F^o c.!8Uނu ČpnwX`ٍ,Q>~Hz2BkFj>CRhʐ[_r727 lҿ%rK$*`y>tRrHP"r~ ӝE0h% Br#5nn&N/Lw)9ٓ6Zh|ƷXQjVeAJk A m};eA%ڜ^AҶ.\l&8|KZ >CM̰17+ hLqVdqlm5dY'@}^sa*ix9zO[FDoձ NO"DZmALgp.O)`A&c?W`#)Y̬Pђ! ۰7ed@L4NU+Ƽ@&#:\7]A"Qio*U]Až?Lq gbs,ZˎĒ@(8c{wO֞ӢؕyTZO{:,1%VQV DX~[%|ldUHh1WoPzha/ꨰf}l0%bNq!;sEΆ}b/NT''tk<K@)v  p3k$oT 4];&)6Y25zOKD{_6oIhjb(:ֆk;^|B_ *uh2wN5&?6׊Plm;A(ĭ4 -qU>j#RiLrІVKH1Pիs86BQB4}D)*л R>Ϲ-RD>_Nz%\?ghipnQ/)N|wrt9@D"FR=*ȾqUR9[y*<]jhXnb' 8:2{naa04DP,3DvO) ##R1]% Separation_AlgebraSeparation_Algebra.Abstract_Separation_Ddocument.tex7zXZִF! "B]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ{+3`:tUW;-jekJJ0F"~%!Oaʲ6YIʐo0VH ,QwQ<]@>T9xBomȭWQ-'5eu:^R3 [{P~5Љ\.!aj2p.:k4_33eC \0$@DTdZ6"\S]mfTV=iDe RߣLW7liPo0N~ TU4*q%@䶥<,/@N%%6R$N5SCh0Ri,O:_,tuЫW l:{\ 8퇀 =aINaG¼aWY[Y)}ͬbٚ%Q-B#?8eEM[ B]9X^D<$/Բ9߄Lε,#!ֳ |^1 $!ڱe~-7QL$} @|Q+.Fe56.p`BJ4Adg@YhQ"z(dyZ $14G~p¨MգP뾡y x)X|j `|Bo'3MB5Q(nkJoի/jŜ[Xm^fqxln 1:k" ='G.šf'p 7FV#0@l" eF!񐯨'}8_m08?.8 /ktn9dkJHzY;}9m_ `C9Xq+oG 'ۙвz"!1'.'_5){Qu0z%ʣ1l^'Ji-@!> kHNw..>|y,Iiʐ__ l" 6>HeMp73)\e>NN-;ZM?Y.> D;"5Q|I A*{z;v|D„|#y脰ݥhK3CɈ/2XXixX$d$ aM=_.܈W*BۥceYp :\¾Y0~J]]IWz2oa^ Ex9?(g~ gu3i!qvh&n җb7'仯+K6~"Cr_.4 "fA/ Hw K- QR)Hp0biH"+E&CHj.Q/򚬝| fTX;a7 %؃ǧϒSua5/61Nwy|)ʼn: FG( Teo0_2 ㇛@?.f_~Uv)UY^"rG9;z *۵S^zݶe\Ts.̼VMoh B|ǦucbCNvq_ 28Z1 S*fZg?LDJ!U}._GI'6 |>T/;z6b w:+(": k2P|J8$Y?_==Hハ_2.cd8 Nߪ1Xqm8zCSXAhU oEI(TJ jɶ'|Tp~fvˢ'gEfkxjѴ\g<@  __!0>f5dxؤ0`GZy58QC +3 eAϘw6b͚ﮠr?oʭQrcc1_[{2^e-aLxd'=}mcYND!_J+лX?rHwma7V束Y-jΏ4Ƭϫ*LHYTՍiZc@a%Kj}Cy wQYzgy}rҜPVRۨJ U}AҖ3k̓QsltA'br!D8nV_}q_`m'CzJ_ܓ(LQX ۝l mw Э /)U<]s8=ԹqcV nW& c·_o[?f>0/~ecc{K瓎tuxFoR4+}uVxbC'-vEPgWߊTm'݊}@ -pwf$:x}qNҩN~uXfpäp)V=?Uk8V4t4g^#kʳڍО-`qzLhћ6'h)FM~ߦPk 0W?_/.؊C&y;>fYn [e=+ 3+Rhf&u}tuΞ!F&쩋jЅڮ=mL#P&,#(A L](&$y+8.&:Q\K"i5 G kۓ1,Q~_7:MQ6DI컄4}ȗ:Yҋn~E`6# (*1FaXL;nµG.` !B 0!f9e澰;(Z ^26B1f9X~ .2Xy V35(^Yv~DK-}6gktwLJ˟t0VG$x"*pGSiK7[#zPy eDm* gr d.aɲ6(«wS!{ega]7z6Jש^g ! i6cw.Q9+;_&c@+r,*ĩIzSǦ# upmfUYk1a6Jfw`'Jdf:@ ld$$XZ.G;XŋD0I?l6_#0/c=s$|SiV*M>ab@e[hcgIZ%&ӃdSa{y (uz+ =ěja\nxtD© '<#4;zYN+t^GѤ{̈K54qٞ0 S,̓&NR-R n%v5/<:.AS>Kn/w*J#,LL?63q[]bԴW\{%]jʋ/q+D u*^"jI>hVf*Íj.z'TŠ%`O]V'/Mn)dۅXTOK+?, ^Ow((ȔL'Jx; (f9Xvz CeeY[c3]'N~  DD91C% |Separation_AlgebraHOL-Hoare.Hoare_Logic_Abortdocument.tex7zXZִF! c 6]A-MՋhvG"uIBm5ۙ,H`&Š$oA'Y&͉'p #!iN=Ӥk< 7< HErnkʂ |،Vj]?w0Xsgeh=D-O=sb9g:t&Jt=)c(D|8bqGpP+QLeObeK,c|g 9*#f I{'DjE?M 8^8d}ȅř]wqnIRgbM0N-M7]+Dz-/0EQM?V\e*ٷ&!r3~!~;ҷ>!;M|d.MFswBU]vkHhbO->BK(ecd͌M۟aG:yW2 e])'<{^|`q PZz}B^jWwi=MCs9D$AMc~#ZoWW:T W|6@5dV؛f$o 0ļ~b=Rȼs!M ƺm%t0`?ed-ke?."qi]qfyrCں,[R?r@J{'Aum͂WA(K򖦜̄ Tb6w7WH{2| 3dCc[ZȤʴlrW2~"#H{Uߊ۬h/|%9+opc=20KoχŞx7vĈ^<ʶz緗K|8);wfp&!` 7FEs#7A:2Rw~*WkiIt A>1]gg/>ޱpwqb2> H$ҪHQ`bVQlfG2ow^W]t$nz',-yM*7M噵+CEH{[ iglni̫ 7 ~ ~FB@WA,2d:9Ւƀ7}SƁP ]mRuJYwVr`?v ^6u쏬%I3HS5#R@=X"azptoXX&EyNXȰ%Y*' ڋs%O2v (9¢ʦ*wئI{2~g.LdGnl)y*w:~Yn8 %m`W| ޯVٝ7<@n8M~rMY_D;y7N9iFUf@U5ȯ`5;(~+g~/jcvEq}a[ @aht|74 7fzUюMB @岙ʶ:A}B3.> 02*1-NCz +olByd8YJY՗> UÞ mQeX ݔ(n;漍L~4NVt]=lTMRf4 s7~Dļt:!;'ƧNʀ{J`zX%%tŸɼz9 O{{ 9l|x[ƉǏN;D?ZG.PN1+e ~8cUsif^{gYG{jesXOzS\L?ajiУK3>3;Rn Eѣ-Qx)wDdPC]/`&'Y#d ʒjwh4˧_RJZtt0y;"N5NAuR`Jy˲T=/ '!M#&sPaGdj4wP&ñPJxGk(V4L pXO~VhAK8Pwp m9Cyme(,`P`nnxc=,\wJ>6P2eKTOZa_뼸W#굼JEkqN^o>| Ibw`ut( =i^`+~&X7A[y"WE#kob,$Y;q4ra܍ע|QDÐ[~a^D@d]mzjIPEk6yM[R݀M\8*ukX:X=iwE2\>|▵DB XRDYҮybޘ%Fqⴅyt$N8O^`o4?]dޑ씱 8q?R\bvHYMε- T#;g0Uo^^aԒ9LNǏCTի`M-ྈpC{C)3"s%4C@m8_\ddWȫ,9B RM.TӚif!r~_\vUur@ (v^t5o',*ҥm=Øsw6hD爿S]da^Uʅ"$s?a?0L] ] x`,(Cz i* bpomʮwloK|.`"Z>#6}t^Y*EL" uY(N-ˊT9T:YML>ݸǙz5VoQCʄe汖 _rܛq@Ӽ<ȃR{Wa~e $+V℀S*-}8]ӔkM}EY5F#ZA4&]l̪LR *(/%.5Xo'g.]W8AO;`qDD>Yz\gwA㣇tbS9c`b}{MEl(Ḑ(Tc5\Ej(ymlسK99 9<<}SYUh3ltgh0H֜ dKF h7TV"bXUiv|rE8>GQ. !BN;Ve> ejWkoEStNy*dxg BChW:9Utmx(GYxqnwwvWZ΀oCܚPAQK^`S֭+ (ȎKH+L \+QWR{uFEhݷhApW-<ɺpϓPT|5?|zDuq t+*ķTR.Z?7&9h+ `PnBf3\Isg{u2]ic>a;tcYxp91\k!?ѭa-Ea$@E/J/IKF ބ[i~rWhHUcG.2$n|;-xA:[GDソ,N!~ B_/rj6)g~堘+VVy@eT?%װqHh u QZC-=O !hLJ%&_]-KH7g>Ik|dڝO2$4 4S ʍ>|G.X[66uc)6O94!\DG7/Y-Q`O3>̰ss\xZh=U@ۏ٠= !W"ޫdÏn=7ӞH `hYY߽S@aѰk]< m︕q3J}!z&E/g~Eg,Mh 8]w125jcE^^+dUK-W)e?ã\K;%G,\_'9ʈs\If< .Dd8ځ˵RJ 8Fz|@Dؗ), er_j.G[ _ݯμCC&3`%jЦ,;q!ETAyHo<6Jht4ˬ=>:%CQaii$}#-^g!|+3'룡m8}l-PvиM;GYdyּ֧C{*:!Lh)*_@0&l[OGZqެ>x1e]GQZwˀH4vfW6!3h61EM z I dtL̵!d1atVqr1`wk!紆`*2WGed =?s%:^gYZ 66G1?% Separation_AlgebraSeparation_Algebra.Sep_Eqdocument.tex7zXZִF! HE]A-MՋhvG"uIBm5ȢCyM .}T^NW}Ah*u-p/7mL:NL6ÿ?Jգm}ܢZ`ϡK'vI1| rB })C-e|s=3 ]'VVPI]20C0$y(`Iˣ"V$`""ط4@:l[L_5Q!\e{{ˬ6bTd <12u;DE趙 i@ϺgEX8  =؊Jߖ$0>6s%FC9pE_Ҩ"_է!܆Bf"4+1Ve::xdtLJfU[LO(͎%Ps3sxJ.oVZa&#?LBX_NE8yw fo!mt{|u\-#?a" [f`a@%0զ)Hy$KqQѰ༏FTזyiRkE?<>z%>B-Y }6Bjkx d[j:!?Dcr"v<8˽> l ޹5 {>tf]Sfr %Tv~"AC7-aԱg$6yzm7NӼ XMyWE#pJFoy&ۙ}xIF%aٮ✥n BwVDk $ sɎm{-sK^Beؾ Y$[*GFANۻʺYT@4f:o .5źvg%LpFh[sM`֜ \xOՐX4F_sP9(+3Rs!*EoMى c]-#/S_DscӐxN޹j)7Xl0 |2#mvcz0)ZI5ă[d"\eL}_oFM,+x?*5(K.Ѷ^Ue˚f2`@Nޢ-tk澯v1fi΄W/O}7[n?.#G"]Y=6cCFh灑Q/ 撬'57=>@r0khnn{ ]>h@Gʘ$PvI) Ns3V)?ױhSBLxkgY"GZfXdߛD@dc&0m-|fKV(:+y/[]2T/]:hC` jdHw_C g Hlۖr(qnÒm[0cQJS@@X6H-!1x`$6q!y{7fsճn_#DIVD=kח0xD$B P S/Zq%< 'kz-ɒQ_߉M"R7zXx&^ðwum4:^fOp}۱Vx9x9 2 +}lY_^% AQ97)I N\ghOeεYWdg,nzk$|Lzݞ@DjJBW'E!GSJN7ܱgYZ F1e% tSeparation_AlgebraSeparation_Algebra.Simple_Separation_Exampledocument.tex7zXZִF! B^]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf+8B nkbL/1RF5&ФsǍ <*$F1mg7&g6:@F#Z^P "ϊGdEɣ]6}iFb+2%! M!.֥McB9 ۵[szx/J5$xJjd+ =}s~& 5P(EfCZOu a2jC"߽~8ͤo݈hch\Icc> :;YcΏ }g8D"fJki庬I_}UW;0pM@)}Y *F>5ӣL僣sZY6'E] -k@2ڷP5@֡PW J00v7+ossɢD!?EZ== ( Te >n"Z)/1,i0TPeY'pdXg4}/#^۹1hvd b-pՎݷ]utƂgF:':w sH(J;MQ?b0ZthR]<h>{s{5hˡEH0nj.e֩ϤOJBVGW۹P ;HexuJuX~a"B+.$Bk^eto䨰rf*XF?8̾ 6m٬|eKI+=5޻cI< Bi?.Q \#p,(KF:xE8~ðTwvƿlN.` 8B„}KB\U0ZL $RTR"H\4DCR< 4PD^Y T%~ ͬ'Wr{18#.^2tVT=_.ssoqhiB; Ct5/lxmk*17Nމg]dVHL+)CKcY65 LĴek ='Y. )[Yܔ2 /4] n6uo;EX༛f$eY<ʸMlj`cxPj^FDrݯ72 f@d.ڿ>U?w{ f`(p-WAM%V?eD dXyK*PЋB"vRE7ce׌ ќ8vSN˭JVJg"aIp(K+>KkԢ)lR *oڌ(r01m]KfǰLu5!"zvFTX7ɂayhm׸(2Zﵿßzm] u0W TUjk XJ d TjmâesR<%5bHycU6hn:0>Jti.)zxN>F. gh6ɧ™fl O$aNpTqsgՔbK<؇0F#N){,3(|4eOEj Pɴ tsd2վ F{jBjݘ#hwKdF3{b̵݁KorGr eWD".fƅ_5B͸A#iQڕ{14S4եe0o~h4j1jiWc"Jc$z/e0^}v24:FV#w?0x&ȵw=4KDTD}8kuGJ`PƐt!/}Li D2W2*C;% $9 oӄp!VddY:hiCGw$1Qڭ,Q7i%k>vʹ,tH -P<\P>!c(/KEd- ^Q"뷅> cV8 T4B(}ja(-^] _9)  9("7fzMPL) 2qi%~@h HQ&1f+`-Υ߄\{gYZ - 1K% \Separation_AlgebraSeparation_Algebra.Separation_Ddocument.tex7zXZִF! -(]A-MՋhvG"uIBm5ȢCK9G6;%qO A€:T?I.{\qPc&}$|R@,ESyi J_ɎoN nԈp@qȜwudS?bb [zg#X9e|KEd3پ_1M]Ӟͧ*~h;»Wo _ؙBd3@nю['$֨st ]K:9u,P+BWw/?tLj^ myyGٕ ^TpK( >~1q c U>^xr7N^&y3] U}\*jQ#jq_0Z~@2ۼBTߺ^8g8JA!X􂰷jh4}tUµi05J4/[hfow\wYΣH WE,|5b+UPյRg3)+Azܓ |K/9b0gу61rxZ0lր a^$Ԅc'-v=0ɬtߢ}Ba|$K.i]5'JT-* B F~밂KΡ )LcԇOTJ$ZK4F#]g^ӂ{;”Ϡ\\l==z74IReK5qi%"+}~nx[ZSfL,MR9PCGctH(fE#gr(l/O`մa`b5d!ro3{4 T\d1z(d>Fo+OmV5)\,:@Pf*E0bIo-QղB n<':"d2 f}¨ ؼϐ2ė體'!W"fϋ^Ipf`0,,%uGcV.4U h1dFw/C 3b{5bIA|a XAo.|-|HB%Pa󂏐L:B&ZS`qZ5rnR|*8U7Ns22BLcLJ 8;sj^i:ŷϐkyTzɠdn^AZ9nҺo(;13%]4bEL*KM33,CE1Ō3AW sE)^B;.!u+{I6i?}~=a`)ļx8\%E pP(𾏠205R jC O4U/B4DZ4i''j(7昨XX ?Dx nHRA =aK-5ﴭ0}'ԅtKF } oGLJ<ŚDmn-j>,tNw! IPwjt5.hw}Lb2:qsY?j!GqGg6lr#U%lŽ YOð\]ruc@5Pe]6:y\[;RݮX9I ZgCW @V֦"H&nSS%0ԱjsdDiz8fvu)%1au&eY^">ͧM05Ӭ4T󀉾Mvw{*Cnܔ Zw\_>g=k(f= }A ٹ!>Oz1\ Ei"!p"S,Sr< hU.7iΉTX3 f|t9lq#2sN}XȎUd)da)5\,eDșqVKv-f":1˔ZI@4Wݍ\ D9H"yt^ay3DǣĊ#>o~8(?rx`Q/Ocb ʼnoĺ& 9y@ٍx@@{X1iiL\\gQaPot~Dn;k:_P)1V~x~6lAW~@Òuyza0"5+$ ʡJj]tF`&Vir2 9<:DS߬Ơ$YA_4%m-/玆`70exmA9nAbo4)vL,-Q/XCZ ^❱gYZ6n屢a'ar% _G+z[(Vq'@E& %O5-{}B zV)]ζ$gPHY9n@"K~+$d@mO{ s3pؼJB |9*(|]З#gu[!ݰ;6ia 3~~WOmYWmG >7G{q^I&n\옜_.q(ڍ` _`Ld]^X0@:9F@Un0>ĸͮrQJwFT9c!L =+NDʲMFOȩ OJnS?n#c a?f9%T ed7ׁ<yhO/VGća#𚁾 ԓPjDv4[[HbZS=~>69@ej)=6Art~}rٺk2T& TBGjs|t)b데+ I۷|Xub= ㎲`G$dߛg0A@3k-.2,D4R-8ӪG|VQUn$OpT-[Y+zѮ*:uI%cҭӦC|}@w/E?27xߍ];YnlC P&D5|Gr56n ~"WNAѧU^.=+.T ay+vdL; זl6˕nfÜ~_/p) <3<钲ݝ=ǒtU$Rq{Uq|.C*0#3ak{8H4GccFW̤~;ԏ1M^I83fl~^o}")'cUq2  1dtq @y br" ^q9`O={]`¹ǦƆWD Fq^4i9-ц oZ~7`*${0.-z]ݏy[}-r3U'3Zb2=C~iه˞[+eܵ9KLE i3F9C:i{y 7:/6`wl'7VZED*F}R2^aY*IHo}`_W1jΠY%%N+/}֫{.fY/ؕW,3!`elٸ$-spK&q  @VjZߦ=3%yLdKxr'+:Lt\rQsHWsmcǵ=h+Oxy_6q޼Q[ۡD*KQ "jP036mP/i-ˀ-+ǯ.aٴs@eEF?a .Sk-{#PYVKX>jgz&BF7AvW͑TsC2ovROT@ڄ WE5wR묠,v@?Ӈ]k*a% _F>4W%jCo{rw̹k 5ӕI?/|"=Ԉg=D/@3ƥqя1,{˞,e࿜ yؙ˗̈MKew{r-k_O2JJ/;sD#St:5p&cow~rfU;WY1&nO%=E"@8%&[9bZl+'lDbqH>RMf]hɕ#3|p_jb-UUƉ'M ܦeQ:?v]~w)ܖ(:3B>EC4ψV7;nFSw('Hۡw0]v lweПܴƳ/CKT~}J -y7˗~T2XPY@ |ȚnW뉃F#Qk*vߎyh6 W`3 W bii:zԀ-_y̘;&m5;Y00q<+^SQih"eIaNSDhWc/i,s1:Glz,Ix١wDձ2%'g?/eޞ>N65ԡ**9(4aNnIo,w#" VGT Șq- {|{kgN@mWMuV>w]XikskfG_=UZP8? iGH"%NQciߋ+.,T!,,7* T>.ԥJ!ʅB>v6 w;Ǟ o?j: .|n鬯e@g(1fgfd˳oFP<;3iI!r|N{&hF]9@g:I?ҡǽJiV?Un9KnC`M2qUȝ1R0j@hRDf5&*AjL̤n(eWԻ Y am?.rPLM0`(c7q0"N)1hStji 3$N!e u'/Eu5z[Xg CrVv:6z#MxOs ʅSБ+W0 Ρ/&%7?g'cbͼpի@"RBqfBp"&蓹 2DLM8w'H_<*Z9BI.rNuC?]gc)g3=#œod_kPf|ֺM $^# Y@=h {r_1[Nvy<`71'VxrK8s$YjN!j!?L?l:[ G3[J%(]we:ɛdŦP&(VUxF_opQ&{ҋ^3z^ھ ƙv: jSoߪćLL^k\Pm;Ʀ5H[ޕ"H)'"uáF4(Hiݙ3vhZ&} ,XP]@}>#O%#dqxMD֓V%AZϠmf.0 d# kgsMR/Twu>Ypuc1~%Yv"_N&5՗m* ڻ.#8ٸ2>QFfdR@ ;Lw I_W ?yj?t&_ٽ[k~ aj0\ =g`aϴח[@ ~aJcŁ s4&E`G>&OeZT + (OY>,`p6l#swNd>P,<]~"ʳJ\wwhӝk8;hsHuN |{LS]aCBC@C: NјoUA.SN' z{CEDå^:9(BSrS+<[%dd&)6QFs~ň{1|WF*jM{,{T6=wmѭt'DEadÕZ hZ~#eƜW P7-]^ōkmXvM03v?P0t W˳c??wil4 f{d|-p*B̼=. kqD)ʑPVn cjͿogtcBF6XdM +glgL:ZD` Mau`'9 YuC]S ˋAa8 odBlcR|g[nXp'$"n͚c\LjUL4b (b+U{ Ri TOhX@TVS1R[rVIt:H7V9O)E)FKQt7@as %xgAo|.% &^DOXxB P 6QzEEahs]ZS58ym#xi6&s]ƶ,{5Շt8݊*7R [ +w@kd8SRZ)|9qӕp?U\z9nad*y Rn*y7V՚ ^Uy^&7%O,B;N,aGe6ng¹PqjQz~Ŵp$5q@+"P΅ MK_|ho't`JBJҟHsYwϫgZh m gG~N(7w xH`$Cȹk+#$k%xk*mw'Q\[/ O*`ws.64yQG4~C3aМu}X1K728\b,(-8͆$,55AY)  D+!T!CF̙_Nto$]><ɾ{5acmהa;9ؙ@ 'B4F0e! (_{^Φw݃/Zr^ש ]d_hgsFqRܯM#4RB7v_til8Ϸᵿ,%>:ehU'~lBq;z5X.oo?\Y-&ǞfAKpF4 ػA,dm*HX}w;QQzUC?uV`a"L>D+R\.&E1gg2@Lu֩1ce`Gt"Ӿ ^B kUR}|UDĆV'5^ ♱\OMrU.uO-بܼüY)N|dȶE: &"IqTz/+^BlX %ř8)| 4ݬN9Sz̸/7/?`&Cμ;o;g [`+ D7lyh]<Ko3Z>`HZlH~ (y, [?Pǘ4(2(!Q' | ^)9%s2?-Dz pf= d;d;0ռyqxgC֩4ޏG:en0m>K 4 Dh2v ?)yFղG>G,H_C.}+W8"A[X;?nq{~@PܶH ᰓuR(/ZTD&_wS1{ѱ*:u^/gMT߇1*,9 J&A_wݳ{EBtES(>ZzhI+CMXOnCKtO +rm0kl?2ڶGǽ2%J*H)x-q=U;K񼻄(Fż u~D7 ۽EFqn?"CXu!P$6aTgt"U[{lNtXR*/GpK?PTe855d7 gP# m#Sޤ?*ޚran8hjb w'C9~gj"v0h.GVhauȝGCcy<0$ڂCOJM G*S`<2eL^5*lҪ{Ƌ9^ W$՘cV^ЂI*'Ciy.Fm~\m~muT9*!Օb!Q$v {"6s[d㓯'>hh.5xUXWW>hsDuWC߆@̺Be6bBdI_ K+?RLq kz8 SXgYZO 1E% $Separation_AlgebraSeparation_Algebra.Map_Extradocument.tex7zXZִF! ]A-MՋhvG"uIBm51!/.}T^f6.IVCҹW 8%̧V,c$Jz]:th!+(&4Vv^Wpb?hܦҼN멭5^yZn^k`x}l=.TeJq\tR#KKB6*T^! aB_f c[V<pzGaRGMy^EPBgR맿/BG Jw 5f}:Օϕ{\ػ ?5/Ù>|":}/9KtM52ӮߧϹ.,{;6,Pu;.=8!Uee{Z 6k[ Q\O Rimr+?.9:\h!JYkěhtzur袋 tpC_,0柝tO f}_s^,W&p0̌v|VSǬM*));?{V#Zo4؍Y,$62 l2Ӊ"YQr6yЙ)c&Q-Lj)u ~OGw,L0헢A AMckqa-a&ru @w3obY0,?y(F9aj}$Xk"+Z#}elOTPFG|3R~,!5Npq޽7HiE2sTz%N[GrW)5堆cc[rv8SX9 klj>X/qkȏwwYTk4"Fx~[8 kIL<{b"\faE(㙃*l TRX6cƵ) sS+'יqqhȾ:xdVRr=06Gg94Wo+(3kJ&%fA]o*~@Noz@ _:-Ux{X&4Iwf{58&z1* yn+rńo?r@ql+xkiDC./{E'WփMHAm}':aTU^$`0Ã\ӵM՛.-"W" 8xeaG }MnvR eGC&t ImpKEa$;F-? ͬ4HQU|2\2CFf { .n'F76"Rz~[4 _g+Q/4R&Md93Hu t8i{gJZ*"Eta@ޢmdf*|X:idC]}=0TOʩQ F56- ]ԔHk A/68Q{Z)@oY]8cX6ƜtWkrE%?A+tPIlG|$/ARE2odNny{TPN[({EOP&ر8<d2?_~i@ p,'`KfcVR`Lg;;`OŐssQm@ #*)l.aB'? |,Dk# Bٕ_Q1gGX.$o90 sG{WT^n @~Y) Hb_CD:YVwa $7*DBhY+pԛ$o lb~dqAe[+R~zz]Fk&8'&N'!k}Q PpR -'\X}PD4z,2s0cF`c }ϐ!Ԙ:*>A.ݟPXͭ {jߌ02C8ٶTZ}Cg N3 !OUt_(@\_\Fn*$YawP†yrᙈi?``Dhk':q20lk0#ÁYk>(%a6tKv; -$8VKg#b\eb^vNJ,17V 9h[XrD9o;ĬCd4=!7;@TB>~@lhIۦHř|?<+`'0@={K**,Oq1'C%%T\]$x^K-[# U ѼP#-.'Oc0>ZplsYy_j,\dnu k+^jI=-K"\ ~ A}x"E#cm{}r{7{1Y6AW=}!l@%=^UE󫦂TY,ӱaHP-\[j }r?BN#Fb1~~ɑ Tor6f r%C1l/b]Z%WMqqK9%*,'R9^b $b qq((|ۜbMala^F{ lIY{ t34ŹEҖA +fOY"Se~1 *8Cc^!R̓?xE߼O3@"pvX7K3"/~ +7.3w9^k$4u1m$$tà?0{^kB׫d\X[M!':ݱ؇BՔߤB HsQtZ޲];+/!|ۖE6nw@9x?}%yAIċR=uký%1)|n8ϯ<\"/"нwqCupQy2lzq7`WкWǫxwpR'C w38߼D|\U%LIٙu?}OMO7ȣ xѱD5 1sL 8O$<‚β@CrѨMʁh1ꍚ\*RL j&N/u+Xp0f7 3u{HŬ\|l*#U˅ {8N(\p/ '}lez1|3@O\ua0!a(j0q[&yJJLHfsvk@A_% .XRa_vf&X$T-e X`/[\t W=1+0mV6q %Ut}#wA8RQj;)jA6!Iq6f Trȷ:-5̃ad542 R]xQUI58nsuUj7XaQcվCU8b>A^;e^Y{ٟ{`/|K%풊bR)Va7g֋4E (t_vCq x '|,$p3YmHX(aU&ؙZ^Sl꒙ik9 .dHpf&s~L#->KR/dBB@KuD`PRץK@?sQWw\<,=٦W=AGx:h-n3^Nӧ-N Jz4L<{OgNhK~¿$3#}c|WY";M8.4R(,K9S1UeTBW,2Kw3;[6/|eB/tRLFkbʱ3pXӜ-2uىc4l @^활57XSKRUç Hb mdH{HƵEd= 2 r-Ŕ[lKN$V 1bgpȝ0*DM> s(!à㲝<<-,Yw m+:Q06yV[dHqƆg{L8-ΧqwE.Cpq+E|,v]fV.gn>= #ևkZ ;]DW8CݟGآʹ]P4G%󦥭hd_Mz/++e,P3j(6Zuo_4;$]Ӹ`c*D'GbT$):; t/z _&_pQa^Vk1W$T.èyѮszJd.=h"oȘh7OvƄ}<τ0IS e H &&&GH SC+|$EUXLE^ϧl$,rߕ qZ of;A??kfͨ˥JJPz)6OYԥ01(w=B we@qpv9;sufide,}b)J=mt̑ ײPP C]KԷ}ppL6P[ʌU{gpy%3&0T {OC?@C+fƃƒ W.Mvα"a-geTp>cL=ױ9 }y68B. ;b1Ujclj8N="p>m0tl 0R\ *ԢRUQ.,hDŽǼy^|[k/ŏ#?b02ܾ9:|e#0_&v7gQݕJOݛ"Z&߀t7;@7S\?ܗ]IYq,9ҟAb}Fy q}FxȾս/=Ae "jfC[ tן} BS"tO@KŬa{J&vdgMOv]α>zD>@=%v>> yƄUedb5]/M쨽x쉙)<%"y|V?WAE\%3'`g.㧮y:$Y*_5*,S#}H)m[j--R60 PeީugrB`?^)2.vZ!N(3+j$Mc(-r=8҇7;*I,$s&鍨2`DeAg>,(h`ʏ#@%gH1~?Ɲ"6 fk=ww:?aS1(OIўT hgQlL邂- [:>>suy Uahv1``nkvf @LMI)xj FW"Y's±' <\8gAC`2C%ir9||\ɳfWYt;X!lkQ:z 08ih:wČdmkIjEsմQ.f5{H1X%s]Lb4;Sq!N݊_a5&۞jRjkla^Ke+fWcbfaYJ}&/"2`r0V;;pVN v-YX@גVs7GՕ=M["cÜrZ_ V\ ,zPt,8L UUﯬ4+ = * :J_][ R#lKZte巓[m#?h;'KY~:[8zcZּGgAPxtrS2G%Ql]J_ gxx/k+.t}OZǑ bGtZ'21PSn0Kn1H )>IH /H񾲇z:Gۄ4vBN 毥cY^:*ZFdC5U輈2`|/2?&2 JIDKAu~s L-^u#M+$*'^AFR?hDdaHY%#@ȦHA8 _Lvh|OVvEÿ)P_Ū7DgaOCRF~IVc(4*Obru}@,'ToK$luF\il nv효>dpRZr?++] I_; At*V.+zpy^1?B9yLN0\P~QrR:m\xg ܾDr dM21 r[iS; ^D"eB 9J+ %ఇ)u$6k |( 4.(O@\ $w^ %߂שkH E0ۘxM֑5 }2}!ONVL,WYDO/ܙa,Yl*ހnB };}g7#מkdg vJ5AUsp!Rk既4%IbISu-1v˱N j\b on#^&lnh6&!.~u MuӉѵ>kIJ) 5,8 %Н"9a6bҊ(v}0r(J.[5 x/ .H ߕabW^OJ!sͲ{XeO0E֪-GC'ק ʍ|#<綾忨#w :Zv]&:`)w14z.8aM8'fPcn i-u1;`FM/dA.pzyV٧wPPV+&o^?6[N\AaԵ ^|u2J Yza#;,mt|O2 ۴O<9$՗׍gPO@pMgbECn0̐:]W†` V t"dUCTr<`=C0y-i`F3>5p-#&YqZ1AE" dB'{AGS#񘆭qP:^rՆ+ҝlF2͋\Li_`VaEi{+@" 04뵶$u&" ^p?սt;.`hh">'9eveZtbw aBըe_Y_wLaX+b__pn(x(Ņ.su4$_x ?bmGrLjUlcZc98g0e.hy8l-X o670{ꩇbr 0Oؾlu=#Tgx'?J|%pdcxlw +aإy87^<d#>3"0}K2\vi5}U!/T.fr*vQM,{n€:Zhةr< ^2!gć;nOUǼMGjțjYZPG`l82yFL c叓 6 Tstᬫ}~(+9/v$u'  2MASXwS$Pi)o|YNLskɹh=vYaKB>K7!ŎABu܃e̫_s)ȭ㈒OthE5벪MD LS>5`{6~BfMbb0b&x#r @dC @WZA/`iN G~d*zz)0.xP CԞ(cŋjOܕUA.>2~`Xef%3D(-یBnb/vi(K>ng\8J7Г)jim tndJ*[Sٻ;4]+elH)s7#$l aBf$K.|hzgwkݎd tk4I, e ޅݦUsb6Vϡ^sYQc12cuevK_j{XHK%~\YFbQMu{ ﲨR0n>'dbخMWkš3sQ / 96Katسϫ !Vbhz"`03AGfw]Q΄ PAq3Wࡑrbe].r^Ti1+ٹhCRST&h`+M.nqޢ$%^k\WuR*~VHK2хNYu@|jxk\u)|)ehf&z֌hMȺi7[g8Ce T3ed+U_y:{}ڏg ]~ ֲgwg>,S [Hl%u"^ y"Pj1W_jb ?.p&V_"̙G= UqdT&OC#l2nZzƕLWB;J'<RYDIoH j-aY d)85Pp?A? ѿ/v(hq49bPۈg# g&gl͢ۑM?L0ZeE,4ڽVϗCH\{wDJDag0o-7kmg?Y(IR+S`riYͦZl7uTY N23D?3W|S1j.]!`$>x5-ЃW5|aqt13ΉjN9՚@YIE>T} )}3>-ҳ8 N$ڰ=0V(ezDx"YuLGjQP5iFb_)KRLRX*+ PoȂ;EG{mt EF"i~)g̎R?jSd\j(H6 >@ Ȅ2%8ž O?XoaY`I-=~Ye,I|o,UEǤfW3*aX]7\4U.N(8GmW~Ff. M: ǫ޹4>e/;]H.0v.\> k Ǫc cWjӋ(")nfiҦthF[_ i-E)ڎdHMwt!=|,ʦY':|]ME}ӯ^$dˆCk{, ʼ$|p1y˯xiթ>}M5^U]?:H=4Ī$KLA;O+f=EW:Lwe>MO@ a,VNW-5ڌۡlXr/Jv[7Ba׊nMM!*w06e0G)ܴJp\MP0Q`OAmrÆ j75f \kQ e1 EH/7G3E=I)W/J/v`%ϼ&} kj4:rE`Oq Er+SioUKWU(*,ғ~J;Vy{k X.\E-9.\g!qdC=" A=">+  01R7 la~J4@}@T8jH1h}g2Ij4UP,{K`<4|^URn)b@mɨaSq :gzUE0oG#~d* 4v@tgYZ7zXZִF! aA]ŗXiɟQcegQC#M?Цe9 +,[`[gERS#v}pd ] 6koL>u'$;ȕ&b*'p\oOH9U>##ΎMd)'A (-.Ɲ[@\wiEPlRuPa=@㦫DJ]wIR^Te pйUoϗVjT ox/NCY̗o\ d|bhWNH̀'mζY$L] `֘hGPPegYZ7zXZִF! r]ŗXi%D8W/9ꏖO}}/2]muN-旡::7)A6,wh?W ;((q #`JΑVc)jެSt>KˆP?P?(FPT$0Ƭ_c k%`ϚDK?瓥笂 Y;g70 ! PR DG + {1W-qrGA꒶2&كf"j7nؠ聹~38JmDt,W ׆3'v| XL PA{L<Ȃ4|x ִ4A=1Z2 U0@x9iҸimtPkl\nJl+,*p(tYavR; K`n@Qic$TFU!.kz0eF-\qds$6[a3,h85RJr9*PWN ^ ya&6<9_BuS̯٭^(؇X拤󇓝l%שcyc!=2gamíi~,\>f\5>":+O-і8GlHj/YAv(U>ؙ7-b5ĊGF̷D;(0#2Ԙ4,DY}ӹD\]&6X  `a@OYEbP䒌*8M(7s]\|!dK2,WL?S$k%Vi'rCt)տK@ɺ~'>h70سJ>8V3.qV^իsNqmvxg/Blš> 4@չf߰E"a9% [K;%LLύZ\5ȭ[h[: _6fLA+͐NYP#J 3Pøœdѿ??ouE%[q^m*׬#_G (#Fa،KǶ\~!C8]+m/P]aᄡ3ސd{آfmR7' JN=g^<$2# 9F\tD O\ Oym zl)g6v&@#DCl肝`p {?{Y5,<. ~wR^íC*S.gA"˓lm(CAB[ }P{͒~AǙn qu:§hwʃn/y&׾$VveCQl0:A8i;4[r/bGyŕtU *$sUhʩSrl.Wɣhh Wlt]}0"͝Q3됵8tB_ |=i1 VkY2k/0 ny,|E@Q^Lx 9ZW70m4B? H*kŅIMsu6tF4:(CrfQ.u29Kf eÍ)!m^`pT)kA1iv xI=M yEQOLe S"$דRԴ V!+O