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  Gxl< ]S]Quantales:threads=4elapsed=101.399cpu=184.304gc=5.4647zXZִF! j| ]ŗXiɟ ^xe0iuDEazH&2x_$8t7/>vYp,՚F%W]򊞭2ǽ܃PTe%Mh2k6-u֢ZT1Q` )iPbxX x!Ϝ/FU@8R6R[+%Jn97o&V3F^&78TG26(Ҩ+#ǼCTxo/γWD&58aw-){}3?+`UKVƊ"EYXZ+WH|n{&Pev8l!(y/x1@KAʘY'G ;E$14 :V0/ 'L]3 B e@b0:L[FZAq +)̤ni,Q^25;8tGZ14R+n=vp   Quantales{ G% QuantalesQuantales.Quantale_Left_Sideddocument.tex7zXZִF! "]A-MՋhvG"uIBm5-O@W LMnWJzwB+LGiEg㱁!`C- ŐQz4Ϗ+vH.B ݧ_I p Kom )~]RvقV|Y?Ra~ݻMty$~/+UD,eXo%~ׇ&dߙJ 8VAxrNuP/0)' H/5K=*TW[ӂ]r[Кk [͉l".bxr]m7Vi<*1IVOe?zDKs(9?I ~O>KI,dpkŐ 9WΡMJj(ڟsO:[P"Wdu{ xHe7A׹_B۱%hϿfE{uzX9T4 L@70ñ U<_th?{tŞ4AlaJ`|c"普cꗳv'ģmQ0卂SGl Q+J gs嗂1o3i޳A4i}kنҪ4 aQţ%zw_XD Uyv)-y+.#(9K1sop: p@Ö-" ێP,Q7H$DU Qs$;mfdja\3Fb_,E*=X qdFZVݯ"ŏe/VFzօ zSP'Jigʭ)GɢaLVSulBXFLFh$DEv m[ .RfrK!=? a۰i<'eRlpNA(Mkw8TK0"7Cق[܋_<5@o=3cs 9[fK{9: R5/"ѵ) 8Dw-^YRgNV|_k,#H3R&<-k}'w2$:2'*k]x{y`KЬ3ǘ8w3CcE7d{V.xd1Gޛ7V{`cxy⒂&Nf@# qaf3+mH(QsD?PG.|׻=Jlbeq[(XBk;#0ŎzݕPG(;9oѥeJ?p~nIċ8B13 ux;G"&W6=U3ibHX1vy4Fqf1dl%p%'UF߯#$z}^2('xQ :6*YNY TtsfV.-pk%!po9LTYc4ֹLɭ=Ӗ^^Y?u&BkM +C5N?2~1vJL6G@G?rxB3>Y_eRf (I S6~)FS;`tUd(-Uuz_Fxv|}-+Ȫ~= 6$(Sе{@ff*Sf<a,yA|dCŀhj5 h. KM\0 ƅv?3cw"P<^ fBsԻH#CLОyrp$K!7hմ{} gfAxs}TX9E~B&2B'펚Lb>(;Tdx]lK%!{oËt5.}ta, B5EkB.=(oSi)-Ѽv[s~A$ѰNPE.b:rǧ3(4ʝ zHy #[ﶽblT) Vb2p~o [ej J !>(:yR,:BU8vD2t)AQKMB^/lGmsXn @&|mũZ hSiZrݷl~zqavn\R6J=Iq?Q8}wnZ3p~Y 򦃌kzic($ys6Cfݡy:쬎_?W[FXzέp!'_fҴ۾U2Qfːy/r#n.>- 0Q{I%-w0.u v1d?'/tENK|8kh lA_'Ҝ62.Y7R^Zw{8")Yj^0bueLCHYz{GkPH6ӋބV^䅜ҹB* )|#e|K`&5ދi%.c0"sIطEYӞT!ϟm-. ٓ\evpx==Uhb|zy.0͵=X``$_l(#w)C%Z"zj2pKF9/m662@F,1_q7첰elWO9Nreߩ8V=>b9op0#ʦ~섩ADoLU>$HcZ!m=3\_5ަ]6^"fJL 7LPBI%ȍ״f#f&4 MGtE ל]SrqhD̚jGq d,1~]SDZ'B-jkf(òwz˵⩋ Wd!2!ߨI&7+ hd1 fz&<ڬ(nqM=!8$ڻóIQ^uDNv_ı2{XN"l-g5C59Am ރaOHеT5WBNiS~~JF HJFƞ/FyD*L=6578?tqf,0# S7z St ↦(C-~p|qYPV}Ѵu  d-&g1·ё~bKU *_w %KCMܪd6] /`k*LHXrҝ,D̋!נ}9+@sxBLMfh[]YN4枞5!ٗuE= eQbv]=E3 8 Qf#t}Ti,OxEz@ܭk !T i,:;1|/3Vy4)-/o@~XwY~h +8+o'OY|mfae1c>LۋrۑW<^ei짻L@7xt7ލD;-@;2]}ClEBB!9wܱǛJĥCQ3b_>y `?뼴M k0mTRGA;xmE$nw/JBBw1i qY&SD ADy(LӨk;;@IMS_BY;xMtL)B&/E-{k9[IR(N7i;3g t]p(-kB^gLCRG<23f]4Tp@!"tA=a%+mke?ϳIVj.P;(#!P*ŀ;ЛkB|S5M,3 s$h$u_c®οcߩLf39Ms' (S+"Lj>ddqrGOlg?oN &~Pyٚi0'1X!-n:UgyeoPN|Q |ID%~[Φx㨉+ ip h$G94D{-BE%7<$[DN4Jo& P>^$O GW.ΙEkq8=YNQ0Sۑ~/ܡU\T9-dOʪbp!FoϥO{ nqʻfL ۛ>qєx_wa1{2c^* iΈ|I6kvn*lPFzeHXNPO<=ɯ%sF(y"R{#FBX V3)k5;8KǴu>f {U\j/@羗Qq<,ATlbq>ӳz?UúC ޡk(N/ ֫ޯۚqc$F;tfdz\1TZ):b4-j$T9n!DaWED}㦖 X ދX0~Cn4 )y+l>[u&.W 9`u$7ΙJˆ3jfSeiC l;SdyBN}uߌq&Y;-f]V&*d\ClDj':qK[zMsp<' =?&PFDd[(;?FYAe_`>lf #/ c(UT ¼YQ]s8j 3A鶵];-G"9z Zzwog%"".Ds/c*HMi*=RѴ_:-m9=#,{8}+ fhHo'b 7Ȃy`sn Z)ԝ۹xe5d̠tsj/5ql.{,B[(I""Gpgkؙs7Ύh"+9 6X#ybK6x{zy~Gp'п6G L;q޴+d#ˡ&%9!Y6}֬$HS"Bbt!w?N8 *9:#۲C0G;g+;O%Hޢ~~;Q _ޒ[ւaPD 0EDU"%XQ!'.BFϬ3v{Rtxꆌ_6h>٩6ŐgjAJm ׊f/JYdJ@N͇Gz^,h)A{ùjp?[-O@W LMnWJzwB+LGiEg㱁!`C- ŐQz4Ϗ+vH.B ݧ_I p Kom )~]v;TL$2jyN)snKf-u>92GP?ZɕUG 6s7hEZ7,\Ymqx2tktle}[? bW6ݛ2?M²n7`8W?[@ Wl} @x EbOD\O6=Iϴ ;Ι R5T+̞ |qj|@GOݹh=#2ԣ+SXu\}١t@u>kK[zFB|fbV"6{Ȥ:曁tHIcW"Qf\A֦WwƏ>۷t~&(u`(Uۆn#Cg.V`ɕ1)ջi?&=S}R44{U.fRzW+ì*uts+y#W,j07JJ=-E5핫G5#5 %2+F*5:Pk@$D2$ֲeq4&}rLBf ;IYMXv, 4.XqF(k*̢?\1^&9^~Hf$].U4fXrr K80--C6 UFL"mɴ]P/g:ގVw1ex [dxe5YMo'M%3Ff*$D,EU vپi'=J* $ ,XTQ%*B콈F^Gt B#GAj)ΒF]eGYCta ]&+ {,8IOqPLF}2gʭZDDBMtd  |g-lI?Q@>AOzί߉\#ӌ|rX ī\V*I6ȧD&=#f)sXgBo,ۀqOdk͎ 2)m\LHr.nBdE-NaZ tDܳbJ4^9Qu߸aC?}C spJ$xK LJ3Ohw):`2l9mTN#Sa(yݕP\e /|[Q\\.3 o9p*VJ/cqr=s\b9LfJC~Ű|Mgmf3q1yъTxw1w@ޢxdX hkBUd:jce-h`NN F91  1 85*S:$m[0 vcUOvkLItgٜͰE.E褵걚=̛N :D=| \4}c;4 *݀}Tp(iNC6B%,eGFr4䁓)H:bB}(dogpn[.,7 fPB$.o/衯70Eo'dHgkq'|ۑOBuҀ A4JC%cjD/t7 lmT!%?D. k%yv-B%50I/̹+) hw<):mc0%FXR h6~FY}|FGo<dz~LTxjY,vQzŲ= ,k[%?5+5 }$`]OýS/zsL{8U_eaq')8:1_꒺nDNf/ɸ20ܓSR<đk\avDG*R?S%U]Unm,f_8%7M: i>k.G<©t"x~4@)͠kjڌuf=>kwj\hpv8IsG W\q8@ѶGBN<#Pjry% >pwН<+Wbc5&J-I׫Ϥo#9è,>Y!מ%"`6 fXSIXU[ij>A;\$ǍCV^&Rj`#c j*Q^O{>_>QPt13._-T[FbjƼ7EYuW7a~ܬyX 9H5jڭiFg&u<ucG&T#;rZl cr72Gԟ7jQ.Qz8HD&Nt_|l#  0/ɽek揄: rS%~&%G+ey _Rm..ኴ{/)*8aW ?K~Z*,Ln:lM3`仨>GV?Nwgb6t L~P;ZLOdw7S1a};VVcbӗU`^䩡 ,R2}(& Հc&ML1{:-T} vyh7f,2qL4_V|rk _RmȺEƕ`?)xl )Rc|clx P[ʠ<9``e7iv|ђ=gQ6rݢȻK? 93| {~ejKd/*>J9 sM֫b"lgYZ \,zʗU`-J=V 7\t̆UVa8!o{N>ΏuCpK- 9=/TiwPL!"Jdڵ?w6BaمCA4mcOpE!ٮm H(>aj4Ѣ?yKiS&CIɰJdOTRn੽jMA9[z$WB/r{w8>\_P !aŨf8skC|)j,9|ś@,nN""pL ť5"E*O:u$X9Ӄ<+FA{{ 68l2+MTz)-.!lЉhx6'[Qb@Mcp$4]ޣ{è./ZlE|eeL ` Vm i39ɵK<.f7Y*ϪCV:b&y=DXr{ziқ_ikf XС0CLp)ɋ X H ~D`b|BZ1 2p ϟŬU%0`sh}|b|<u|Cc+1n'$2 ^ &4ݞE{ /DMn?,$5L9pVV%p-'G'90Cz=ۅLc1$ݠNaפUWrj~׶ߥWtOt3Tă)\O1"+%v-sJgRnQ @*  u+x SS590oIfp^Cq Ϝ2YYwŦg _>SWء}^{V>{(%ȳ,ޟn`͖>'OJ`P"$Z$u]+U[<9" Rz 5^)<əgqSvj:6Xu ucѓŌ 9\6|>`T2-׺SF{?GŘ#n͇*2}%7^qtByc Qj=0Zy)F$3&>;_bƅ*CY1sѸP;Q1۔/@bUZ ^d2 6,QC?U܊D`]o`y+3%cjlv‘h.A'ۏ/h'>Ks1o^r*3-/q2L2duGa0N"6)Zxy?Urʒ-U[5#fR#sXp cR!~`o]uS̯=%Z_Ѱlש:ޓ]ª]s]쓶bk]Եi^JɆpZOYEA-/gtW{.\G&dV#gCېЛ`1q`6́1U;L L":eipF"7x@I,孉l/X8leR^FC+׏2÷_`R7]@v$0w?m=ntUW OnBo †EbSuoSLꚩcNFvx գ'kzY]:W I**o//PO?3\pae#ʬI4:>7p=  R(c{^؆㉀Y]ڮŽ}4hKVbF`X]^XEo̞Za~o,}&"5R {Sv XRdUoSc/mӵ|dzE Yk~3/*A `.!2ZjLzޞeAݒsMg_uDz#La&##lu$MFٜF%=lXsƮ#xy9+MUq)Btɘ5UL)e7"/w%[fTT)dDr'G:ɊTt${nt!al k)}Q jM1ZH=L{aʬaP>0 gݡhbS$4h{h{~/ڈ-J^Ay}M1rZM"!;[2ƭAO#5P* 7=#DORQo٘/na+!PUʑD񊪭:`&*۸!IȘBQŲvzV:ʁ=pP;qb"QѮ>;a_`Iޝ>Ch?$: wvghz9KbI6`obþtQ:171]*FS ź* 1EORG06DԀ{ͣBew1) +Gvqpe0cLjw7p(*j:;tRRʃ] LYjwZ\bϻ2?? fWgy(`\{zsϓm|WGwgJY"{?ZyM I Ca"l#0J2$TL^:3(Iv@, 0 r[T[@B<{ٿf gXS4p`YdwgaZX{{\wiqz P58thnu9Ec:htbL5q_~9` *sƙ0sl],dۮ^yGh{reݺGԗD& niBěg0`ve]﷒8z L-, eqR(? 9S #>KpTޓ\32IL<‰C?6X,RpyZ?7s$;A) WX'HKR8OؽP /c4ɯR@t!DC$R,\%'匂. )d ŐGʷ`/ԕᐖ6[Hp@>"e.A谣UNuuZ3D(R6`]:d=Ֆ;4߄̪' F6j1OׂUn}^ϰ&!.E5{!K.Jn-wNIkcŰ$]6}JtiP9ҼHU="B26wn(\Xr#+y2:G=O0[:$P6zX>\9Qg ԶVSu9[nU Yd5%Xkt騹Mu6c;/CVx@,_@Hb ]f4V<)3cII+)8{b25@8"pm4^࿻tLZ{sdmx^i8H#[E^! k!ޱ$i阏&vZ3qϙ`']?^\4/SĚx?y,"XkϳpajOK]$db 󉣬"pL\m8GWʌv7'y,rqfo(-Ʊ]v>9nU5uqmjA$@ 4)tbqS|x<Qǥ,R_ i0PYl~&W/VsxhBrLZQA$8u9(@4 V䣡wàEV74(ZÅՖ 򑒺Pi dPU2_{`3tε;DW+R#y4jS-kx^㶞G/"c21CgȵR L9jyrIvg_pGx*!)`l4{B7sڵ=s* zB^0E?B40/峖9VQC?Nowfr1BD(-ty/pb(dZSL3C`89IV&)CV1u |VJP;B9&ČiSz-Hս? B ,SDPkl>`.74{WgQoYdzQUONc 7jroF}-*#.FP |x2se:a&EoH@;'I4R+,'ӈ FgYЀ̕AEGL9œ'[Dm*uxW'|ҘrrD<@/pl㋃2n`b{",dD[K$5օoTipr~y;ԛ2k.r 86Ʈ*n[-%^(qQ$`\kv͑ңeh]~XbʼWu>S:Vwjz]MP0M%D:,T8ld\"S%rRnôhM7WF@j0o{^ԝo=&Yf#pݧ#9zzFn-W 9mX/Opfщb4eŴ년-6Ssp BTreРD.D#y'њu{Uح#7PjU*$N)/caF'nw-E9/0 _;!Db/,(f4E5v3M@9dγq -̓jeɉZ3p+l{~7`17/cvͫ=~eD Z~Q(?*H͖ tmٞ.X88eKGCW^}=փ鮾řq=Xpw5#p᠘ٲ&}Y,ʇTP+n ,͂w~+}OA=w\*eԑIJV[YRJaNv{1uW4g 0=n=q N)!!Eeq WS_6nbeF&@>9Y b;-GQN_vf8L~ErKbp2~o2Lu7y"9?͗SA(7&j6AAV͞PzMYMhBYcgJ:XbF PR j][|؞ ېicߵ[mGfL-Z,5d.S d_pS <~6D /ko 0qw-Ӹ!KDK4W"?(i.~[;kHTG@,#E3azb]dk#}pmueuC?/%A H=wĞ:]N`ۮZmCEb?^$t٣w'Vwpð6pOV#Ht _pASy# <^8vm!¡/4cL2:> GMn|>su@7ntU`} {R- Oڼ=s}? sli'<I#^~倆Om<}Ѧa=*˅J|LǮʀp?jhV(5D} ;<:5pT {%Q)@*3K|:8xe*7S` !,#aldp3ʋ9eɤ¶MF{^4<׉@MՂe k:! ~I1CMHLAdpoOA/ӧS3nec/hp@sի}‹2އVytK SYVǐA\6C"{Y 24 Vς}!WaORRcRcgYZ XX 3% \QuantalesQuantales.Quantalesdocument.tex7zXZִF! 27)&]A-MՋhvG"uIBm5<g/'zQzG| kox&m!^8WqWȬ<ʗ^D%7 zE9@0msKnshZ_Gf@Eb5u$|cPcnU`jFK,/l0$(Ӓ; S~cr|tp/|5` XecsrO/!/ϊqR'i]܌8pGNxdHy 't#&3dKGT>F:NFGe!^΂鮬4R&Y^! m$UUeFY/E2(370Pnmy1vWm^rjg0N#+SOC`D7 .a،jz<͚2Pe|[@`LpUmr2'4 \.?'dV<ZVU# 3 jqN4 uDʡLB @mG?kкрsfUS:KrLB7K*"ZG"wneo*>.^4|~JVORtd6hȸB)U4>ܹډA˒t%!/q'k=Y4TsAsFH'j8H 9*ƙEzmRҧ]KP3Źt!VbhDQ!0 ?cT尲B0T9yp=7b ĬILC-|J ͱ&$K"+aש ߎTNn==Je$7:c#:@9ў7.sEv*r}s@X'f|ܣ2w$n ZUIy9ґҾGi *"_[ j&%̘.OvcYAnd:v3ʥqCL}jMq*Z2nmcXhQdۼ³6 hbٖI!nF]`(hN"4qbw]NCApn]|@Dܰլ=xxRG+]RK祭S","cKhO4o|dTh6i,9BjMOӝI{f3q-DND0 4hxʽ κMnQ F)X.5I +A% tQuantalesQuantales.Quantale_Modulesdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5dl  ȸ"kj,I͸{tNox988rU*x7CΦrGVc& [@7pb"AtbF!B J|ϡj`3UJ&WBEz2D79n 6>j$|;% QuantalesQuantales.Quantale_Stardocument.tex7zXZִF! i ]A-MՋhvG"uIBm5'+\ivOmijkGT{ 0bVdo魵r8ׅd& \{ȣ7 X(-j3v,[C!8GϬ\v"!VW#l&(ߧͫq>܆+4,Q<>T)+K Ɖh 0J%#[(:]?au,FA>UyS4 :#٧bCr&_w@fŚ"Y]P67Mw$/͘M!gq$5NѸa~/)?Άz9Y6_1*C96=dnm8"(a YzY$=|f }Kd茎sЈ4ZZ,RI4٣ЖZ5Cp#0cCW.w؁ܐxC)-OSkd“GCxnKRCml _(aҶrVf*1iAuvn} ٟ<뛚II[Hf5久GR|6MYM;~Lt tJ*w%e; h:j<6es,v:W5I(;Tsˑr^Ȟ$>'.C;Qg)?Ru.W9ilxM@g1yv:3QD[ Rޫw8-ŠNjie]ǒoF!-} $kЗDۙ"onpcc!Le6,tӟU74:t\W̢?#VvNecx<.{_],wKM: >l%]XNĢ@KV_rX̓;p^(x8TZ:L}J!ᑬHb`U>ЬkVh n&%h:ŗ#MD}\71ov "3hF+DVHaگx'my;}tdIg; e[yZspQ=|tCMjzI=RYY\Ȧ [_OZ5N਎>ERY)#tT?9S)Y:^ՑD@-x(5Yo gЫ+3'qp߽:?TX}˞c.&y1!6mcXV#!c;5h ZH /QV_6efvcFq]Vښ eywIRN|i5Di^Y _NVӂtX>fCv8[8$,(ׁqS}0'Nrd!%YBkU2yJcĪ &N#I8@LlCZ%*SΞ/PcPU!88f{oåSlv~ČWgPjp-TnO44kSXL9m,b(W|-@82h}>a.`C:޲7h CBfr|b?r1$\tXо₰!Cs0&@7lY{UG5咝L>u *sq2pLyC2-jQF܏4,_ Y&5v3;%%]2aL- U$w8'G تd\ہ%3)X +s <aUgYZz3o96p8tN~{"H|!Mݬ,HoOyt4 4 cCVHB9(q+p5Z'diՃ/`PPU.j{pK< P[5= l-09IAhlo̙) d0YVtVZ\$%^P '$2Bl[X2$;{jQBDW$X1ɠ4 Fe2 ik6[sJM,a3z E3^2ݪP qzEػg=%_Uk12M3䦺kM 2#ؘqaѾmoäJ鋘p{bܒ4</wcsKet(y"N4,>C3rHu71qьSCݨXRoDY5fڶA»Zع -y=)?|5Vea _d 1hvxPq踽H,y>_[f HdTNL,@z=tgD?INʷ(_62 XUXُ5\=aGoEڡ,CyGi=ҐƓW]ǬsTnO5YwDLKrt=6IDtbo)뿡.I+`bmnX[B!w}קb1V4znqFI'%sU)ݒ3X,CA_s]rʪk|==&gNGU .h5rO xh@`b$^ y{NGUHzn^PM,(s劗R]ƩVq @2ьmhK> 3{2X {?)]gk'_woo|h|m)փ>&<Z=:=`^} I&K3rWk'r2}Ot}q 6Wy2J}#;2~ ߋ֩r$C3ڦCHD 6x3?Y4ڰc@A9wюƗ]]i .=$ xSɠt̔0IǰZ6V# wԲrvإ* BsAIDGIbZqԔS pgtFM˗nW6.FYWɄS 4Kԝ1=1k} bT%/u();ɍ*])h>\ 83J([Nq!N\( Fp(K?71̨ƤyėK[^W"(iM qA%^ladRkEYt$w kY2O)z`p}p3uRTzXYrG7<* 70I-]kkYry΃}~0(poDTs YJRSAq?dXHTjpxytԇo93]e$Ⴏ]iTUԊR\iƱ Ex:/j[C!cONf[)U@΄iʕ-OHrz~<`iRL`ޘ \Ѡxi2XC'G{sbt03zpª=+bzR"ǭdq>nHE{t$PbwL&lTW!<]!My&Om1(LiP@R2D%}E$"3Q5LvNK~522`Tc:)uw~GGefgqS=vj. ewwEm Zq{Ab ށ8H{N "8|ҼRan5=~yTK=={Dܲ3%A/)QA'VܱEѵ3nFg\6 |4VR qyd9"PCY}ҠP d>'Sxk*m1E_&VR"E~ksVbUlF)- e~oʨ3 hgq|1̓AF!pҶQP}IJ\QzM&TcV')sS6nXh؃ cpԀlIݟ =h~P\1U橠>6ښeT '}xZbAT]vjUG=lh[ ʏ>sq^)OҬyAbŪG2FXҗږgwx+ܘ6FlaaTK{)ڍ![ѻvEYH޴h|kEyC#jG?wZ]4{cc(Dߙ{n52>6 *':#v_ ǖ'J=;V Q7N)8{T:faL mEu=*Ӣ xpG EJ3&е $ U9 O3Sg1Ԑvل x ܺ;Fuȵ !jIaYT9' ϭ#4ٿ n}5w}GJӄ~Vܼ*9vaM3?okBWHeBӵ DO!7PsD"PB X yfۀ8vl ~cwaf)U(Kj V|ԟ dO-uŲ!mr[2J\o!c66rLd`{\|H^ (q[,\&7X$Hߤt*$t,[*/yN;|[ ֭)y 4C6wa-g5 jkv\$#:{[Hlx(4wTns/A^ys bq ʍ\i rKɟn@>,Mߌn>i0GĤ|q!{(FSEz"|.)3Bqڰ@0TVvt Q+ =[ 6pa'X"hgYZ C#3CO G% 4QuantalesKleene_Algebra.Kleene_Algebradocument.tex7zXZִF! _/]A-MՋhvG"uIBm5ž鯷5b} ~/{' ^3FDM}yҏ^5óF8ѿ$pP+{a܀81[CzNeU$> X2B츰mbGJ=եmx55Yn4c=Hɮ%ݡit*L\ZEVEgkrkε#2Vzh5_/gYB(]ɧ ܑmą0g@3_%`G}8Ҍe2եqSkۨNZ9^XH>d-39&^PoI*P0&97weO% 4QuantalesQuantales.Quantic_Nuclei_Conucleidocument.tex7zXZִF! v]A-MՋhvG"uIBm5w2)"Y4"_O#> #̳Hmz,٫,*n12UiBtoW #9\H1To*`NKg퉧:!]LeGiS9#[Z&!JJF k 3Á_,*j_D9?f^A UӍfDbPfv!#!(‰+ejҾY6F!EBuQ k^\5UR4e)]:zIB  YaEGb9BiIYw3!]_bkH PqR_~fS?tWd6~ߦ#LZ?% TQuantalesQuantales.Quantale_Modelsdocument.tex7zXZִF! ? a]A-MՋhvG"uIBm54U&|^S"đj#_zʮgɯ L?HOw4Ev-s^6RsyI%ZdIH7=19vy0 J UxU뒹3D2"^Qmo0^vjbkNUtnԢUߒ ҧCxlP$9Əbkuy4*җ+嚼W|,V =|`.$%1$u'^ uJqZᛏv&4>%~9>+Ķ?y`Kӓۃ)\}Kc3NT@iahga TwDH{mz#(K?r[[;}D1ۊz@E5VًW"5߯@5 SM嵁ɕ#р+TENKySg޼C`E[kR_X--37N$״\EDF a/hj&H QO0SG!y26ws5gD*u;9!XEf G^ϝ ˡA3^QPh~*إ ZH/L^šI~* &t Ifω `s:֊u 4m)ǧ1 kGQ@#*McCV&&3L8hלc¬m8SZղT(c_xl];T6Pqzڪjbe|`9e-3d>q1u5T2iLƷ v4}Td ,/o7P g~LdH Z K53т sUPȹ_g#OI#pܗ*!5)"h<2:wV{  6\9l rAb۸ ձT X-& } +onB󶲴q@e@Q_לBQ;EE]۫+Gd~ADTz'NF. GmS䮚"™GXHB]>MuQpV1 ed}% #t`'] ݓU_ K1EB.:-kJzܱ7{}ZV* nm/݃yhkYԢB U<ld18pA r`Ҳw>YFioN?{ $G p)Ƒmr\_tV,uL;l>1 Fl|:&c.['bEգᏩGL\'"0GWkA #H8WI|-Xz9+KΡ#3xmǹE`'`gDI/1J=]b7iL@J nt!7\c:HXl\^3p/s"~M ݀&L.؀k[ۦbsi 5EQO׋ɺeΑci5Ri'S?N f_U&VfLA9vj\56@lo fؒDzE1}}H %G+}ԩ?d뢭XW,2ZH;)vc?퐹>怼α@KPϖJ}=Ex_w'٢i"!6ԉ<#?v#%]ixpx,Tm5-Ovc=s.Zw< Ȃ]CJCAc}No%Ԅ6]X F]D8  mZ BT)87 $bdi:. 3V xFsZJEB&ϓ-l8>Vo *ĵYRa?Ä7`<2ء-)өKk֟ڀb19哔)rHh8p#j;%qGboY<Z#|T@3HlڦyhQѸI@'zaYԆz 3;ko檧.giǢj(-s{Ҥ+c%6䟈\V|` tŎEp,S@׹j( =ƷRCia@|i>I5!V@tp'򿨍] JV ɑ}:cɠ_0 |C#{5t |Ge#i?1 ?ɟf(G+zXRU g נeW ~~=0-KLVX7<U#MDu8EP,'&dG KJ DѶhOx$ $?ԍ~vtjtH{rQ*ڎWTd"G'HP3)@8ť%$v3^Mh[W,h ^phQC`dH6$Ohe‡]`wn/9U0,59wzɟDZ(r5u->IAVyHKrr*?\oQHwVp@r:WRlDʾ\uo>%Gz`'*}Ƒ.(§۝ޜ8mvplQ#2+^AĜs5!Hl jZBq!5Vch9]Y%&;!mD%afU׀tL Ģ<h-*'g-FlHM_bU8ů@_;6?]uS[^#qVU6d&0Ycө[:@hh(A3Zxh+{Ѐuƺq2Wok -p35RuA7E I%GGmV4ߋp AlɿUeÇvyz++ThAG SuF:qR #hCyqB.Eʴ8Hǿ?ny2Jvd4s-. {m溜p~CՆ]O?7%F%Ks@qqkYs>O+CZß|㒜rꞡ2Wn ~H?Ȉh+^HJ–Ebunmu˙:}Y̸09@*8+2Lm ɤzα| ڳm?؋J+ raf*wx*g C3S bR0!'Ͱ 't̿w B$|xАpT]=OOwo;qldVf27åm9G)GJ`)a[<p΅O_8 oTgVPbکAK긪\N ن5r3N {Gݻ6WK9 jN1'C,#/Eȃ*݈/vmgE -QC;s2L;G ԏ)BF)H4s GE)NzY-]JXl^& ?󆘓;:* wR% X ~ç97a, LNb57ݱoF ɣiC+=yqnsҫs-? ڣ%t ؋eמ ӎL`J-j<9k"0}xyJjQi+ELqu+NyV˨ci&}k9wxexW=Ƶe K& ͩ"#Èw>j=:g1?|֤LDOE,~!%\6Z`8~rB3)ZcBOg?uܘv|Fj6De@'AEһZx]g~b &VM{Cw##[<Ⱦ/խe;;$N< -sP8C [gnE`Nw$0x7`N*ÔeFxvPy^G7X9vp : %ݿr`*Q-.Ҟ$TJ3̦"Bc83K b~ގ7NZ\$Vn&(5"4tᅴL 3 ȣBpCu?`Dx{٫ .|l3Z/3#6kD%p[࿡Ns}60i^MKd.=鞽Q5Kݼx]l]NZu$VBvYy],""<ޢ V<[H*khBBP0*u,b6]Re>%6L]r:/Mtw$D3ZYapFfNiYrOfR|ՈmK P-ƂuW UL+Q!TPa\YJ~ |rpnoGqwf7> N!hҖtLnmiSqհ7x]RfPۊ)}:Yv?? $MD@VJ'3*?(tԥ`7|^]M܇IGYA`;۠ېĹC~Wstu'ԥ/-b̻?ͰѸ=\odf=dR}͛ɚ@Gfݤ#R[x.Ap.&2q$wְ4}F,ȡQeĘCT_UӰ)p fZ DY("iqPG#7FuU]kaEكֹ GR&08Wrr LħKO<$acfo>gUYH\bj38O.^ՕЀKV$EN /(tGgp>eMYؤX/LDZ>ۯh75*>~k?ֈp/Q 9B7.PH,#R?X>DpƫXk̕y:6́AR>L%Q)HW%&8ڣa:/cP v^$ª躓AoDrB?C_ݱ^0ɂ|M\3XJ>/(_R./B?&o$B⒑L[D7/#u*G2zQqbX1D޻&s)/=.#CiX#9ޏ;Fhj(`8RYfݘm@WM̞'_Lt2x.JDvm' g㘼S_#앍29_B'AJJ r$1(G]0bkꭋ4rф`Xu[?b1`3pI}@YL 7}ѭН{XKkTj5G߫jfOoô,۽`B3D1;y2UAԶV* ƲQ</Yg[ec0nU"ew|kbeřcx',OID/O)+f1/f5~{&jю:SdvIye$/4Tg2D܄l)s[)0E邧5(~BAm&oʯqn?Y1_}|SR$!% ""gp7fH(kgް}gO7]zd R!)0rNfgnH..c'RHOձd+ _[v>Wa%.<7ߎ|xucV3! Ddsb W'2/ԖG]cO2~lZ#v_t3(1YÄa;OoC˓H}Kn=ELr/13;y>Ӵ탦.%cQ/{I#v  œMVmҒˀ&[cI5* Kg5Vy<#,9R+ ލ T!u֗˸!|B>r&櫮?gYZ'ґ=30:qFs|uPM~~/WM:RA=cm&>,8#$5{0(4»\ A('0a/7M\bo˶qWRS#fljLuKqDf?9C UFY\(0VR;rЄр^ ǚOLt=C J_ TX4iwVsJtX QCYlD H?"^rVPݺ]8vJO__dEQP!VyĖHp < ^-ɦF,)Ƒco^s6=a5@urt:Lx0T+˯yve{:ֳ;s~(%BwDM W,Ȋ6[)!13q(+AEwP}ZSQoQnGDn'1s$SmύcOdוB՗+_DD!Ry -DUY+!akGpV 0Tk>xǁR:wo*0\(wtbU䫂d\AՇ{뿽FW, yC嶂A)fTϬ=_TD1'tYT`ވ>²Jly;v닪 (43?㕧!9/KRmkmN 1޾x\UTc-wϛ<7M6d+$+ҭmF֣꺠c"c~p0 ɀ&2rE8"8h䕁z@s 9mEs~Y CWߦZS0s=$4`^w]lyqPњ̜Cm'b=_+!|N^>Rs^}9썌@M'ұ^.oԨ}]t_5,ikl GYt` c-Y^BiCS/xWXw6>GeRL&Q;2#LSLvp1ޜJ5p|ץbvn\BA ?Vo|ptZɀqAZ dXFw#9qfqoTJOf*Hځ[ߛMr~OLQ8mw:'QX)CُlS=y8̿:@mLQ @h9$r8w"iVͲ443]'Y5K4pw FUpUٓDֶFj!nuئC`asӟlvhᥨ%"wY~̄0 k,2V˒q@L5c9m,(\0%ȶ$Em[IaOx9TqvѮi!xVshʖ~6bĔa;Lz4O3nЏVԲJB50QŖVQFJk)%J1S"w;68f+xۡKt6R)Plс+IJ;{@JP; )Sf,%͎ &8M^[b"`ogԨ7AzLD[p'\>76>1'X4-y^)[q}s@I--SYj O"wPuʿ4-ۼ c|WXTtnOd7wht#&G0LS^|ygg㙡7[ߛ@A1FbFͰdQWB:Gy$oz^Q3n k焄^}%ҍ eLfRXt;Zru81˄qPmv}XNoH헫mZlLaEEB7*iuv p~U{!R_]ns[ws&w0Ѩmgo29AX8[/ i;WL9 `{M?7-cm0)s7EC/-U*rs}ѕ8 f߄FhE LC"4~p4c袊j->vҝEo[F=u u˯][Ey<:$Xy#S5*g65C}y/׬CQ%vA|,Y0FmˌݽZ"H`Q3D~ ha֜#gdp6$q:k?mx!mt.uʼt宊#L1oR7};f20naߧ|yvBn(MT@ʠ9d.EjS6)]Vt Yxx;G^/#s%~+Sb$S[\u!qt_5͍O5}EMs UTP ZZ l,BQc$=w,iJ!y9ZK~Sbu/H)F:Ѥn_cHnYgqz>= 0|Iͪx)8c00q<ƃ/V4Es?\om83Qk;ٛPo#oߦH}+q}΂:O 0 ~hvHͱ+e`ڴ1ry8k-n"ΤS?B\\zβc[ KNt1mxZh`{\c04EKY2;kfl5,mYj s(xL84$-kTDtqh %1ZV~ś6JFu$Y(wFD۵ɧ^R4w!s;+}­14X?EL}`.gOqCQ@(Fnv˒m`gP$S.O os6>"_]h綌0s 8 ]ktߖ/e8[[tA.LQ)2t㦓 |W|P sz=s |p̰p:l/AjA_;&i?>d!ikdV2SNħF3݄{Pfv+S@3A%W-]bW~n5I,^jK ʤ2#$ ~jkv˱'+&I`Q~ij*.B< ˣGNqꪰT0*}6A=k%dvbM"JAs"&=h+4`9E nVS7v*e)S!GxvC HV<1OKTit CBKFK!M^iv  +1q҂N]>ӱ⛾!g QM@E`,=Fr朷3-cv׻h)edOkeBDFOadBr1싹:F}Y#KgGt\sHQ;7?fڷTd̉#̩U2#37 Q(!5&dy#36۱$sUsDZwg,޻I7:#?ݹLJ{eXm?t1m7R2򉀃2RU--9wbey3^s @ ݢV c!s㪐Ǔ <^ORUQ!>P15~;k$Uk~M 0&Vm4HWjv2Z }^)•T1THlYe\#:w;|!;̓dR U+YSqxlNH(Z̧bx+7@]"[|yZ/8WK}"oݥ4'*ZAhX,v-;Io> x$e( KF$z} 3 rJEXh6u "0҃>#WT'oY3-pTSD{~y<y.B|Es^A?;2,`T-XE&q]/P@v'4Ԧy}VJ Ür-HE@)]ujߵڲ2N(r'8Dg(9[!4wIOςVʤDsF|UՖt^U,a`,T7 Ыm_r iQr&~Uxo|t' \:/FՖ^mvqޜ`MTbu]^7P3^DSh$4tbh-0!p+Yt6־:*[+9xd1J+RgP rp/V3 hW 2i Gx$|7 C<M^@Dwn3?ܞ3M7u?[eڤB4n?*&,26"Rs‰z5nq/ W u p5]V4<+`/^yQQMo}uOISA\ˡ\75 ZeAl H[V}m̝`|+>,1~?r(bٷ",Kv? [)O7a(K z,A88^<:Dbeg;" ف#Q 7Jo [V?q &7 _%.b+{^?l)g%__К>ZW'A` X+~Hk{GMI}Ou[7! Q+9CeX|#w]f+;l*iDj菝v:]:GYn37ky"T$5zC&.=3ʁhl1x&qV{"Ʋ{WВ/ =W2vKQcZ,O+'&V&Ӝ_<ɰt_g$)1)t5 gsk}BMFOϑ֛ܾgT[O)WVu$Gat؈(ECƙ/Jpo^P=+K삘 &.5l/Wckk$EH' G9][xk Vω4]wgmLR'BJ,Vg/t5)M|{O$f_p P[" 4*p'a1R%?5+|uACʊ&6vw~։ 8+,膓h~c %fM〓BaMl1]-x r=#1CR#}'k!f#r+\ ŷg,AN'qN7&i`xz Uۜ3LMV,o A.x^K-36byҏHTieS/lM\)ol>dpͬB*f%7_| Oڹ\M'EscKE2hHc"da6t [x ҄(vGkG6_DD5eqT8R#DGHy-nz)RϠ1&j#paF=1)~S2yXᢿ@zO6r#<(Hc(g&v&TBlNA4J( 6T#֡auմ,-it mT_[SaXT C>@n[X\ns*CAT~qaLr/vFH*2i;3j@wBWʁVIgZ!*r3oXTrc8~濇-aO>1I~6iqеL*:=:n8فh¯!)Æoݠ@m?[{|} w|ń#`oZIm?Ej wFGѵ,M*Ј:uE@'8dXc#lϞ8ϪvJIn0 ~YjS jF"~kWCxXֵ _FAa ꉺ\V~~P=o{3:() iH-Vy̋ݙθ6T3NW A=ԯ\%=ؽ * s{3ruu]o{#yH~C$uL-5yi,teHG[>=i9GEC=u;lsjM ԆKB,+Aߓ -+>gOai0*iPI(B)f`Z"%ff tJlE+:XQ:5(h Ac٨q}J4ȁN6>)krv9ˈ^bBS?s'W}ֿ'ulP/v:mgKqR`َ ypˤwdJW-27'|RcWnaSM0I"-ɦB;"A .ڬL:ubΘ> Ue Z'>kc09Dx~Ҵ=ɼa AIH?xe *S#,PBewޑe9 zS(\A:ޑl7jv;Sȋ"iѷ?d9V%:OA.5B.q߉I^~[- &9B܁rNRauy͈CHS-IӃ?Ɉ~|=!Hj h ;Tq %SYu ѧȦ'hUm%4@'r䈆 C&$ j,h5勃!tJewh,+Πë9ԏCZR|)25D~:Ȏ*O-"q=?khkhKGtKo^06uҳEղWu - l=_x ~n_J)C>/p%kPi``gٿvK -SZ#W@+u -u3cx[Ϧ8Yr2XY!\uÁ_Wf8 ixnGC'5u?R,\`5.x@|*=O͇14@ʻA 鱛Nwe/[xN觮N:+=D c#_]2q׍3wz+E뿗Dqb($Z'Ymb}(O*-ކD064bMhl D]>>B?z ΦYaU S~񈜆GwKݗ@. K+].c ЂpMdSAZ FY)dOz%YK9 \mQm2)L%!s51L+ sˆD5[K4ɗΎK{ؠ́d@u|>qnh.PK:@ *krjΧn9v e64Kv>: KEN׾ .rF.n8}a!ްA*] _q$/ϺNs@ko\~S`rU jpU/ڔzPo3Vi[BVB=K(_$RFrcdGi S_3h펣u8y,^)OL{)!xųj,ˣG0aCHɩ6>x]!͇?]lZ.3~w#rA3'<666O^A{OA+l$/[ph}eIMLj!=3bHqX=KGn6g:d1J[cꇢ:\D' DXRn*yxSGk%V`,'f+ꃰOwumF u=fő GۻH<>)2-~(0)W _ gYZ}2^2"RI*Ԇ)=TF&ZoqOY䟁ܚs{ތoCl'Gpecr·eƄi^ Gk{Q,<"Ǝ_KF`E'?AR(v6+D3 en K]B`u;O&%3a ֝##nuS,Zۚ٬A)4}3'DyRR@la4+a/{jI mwpc&Պq}yEL&~zZ4LJ#XQ.lx_P,Dd(u 8ĴhmZ[$Q#LPV_9QwP[f8X󭘸n.6[⩑N cn`ul,ߵBpT8y>c )op&O⭩SL=A-QHS /kus,[RuSMNg*^#Lr8vv%- |8*G:Aksu."w͔`}3"yK0iAO\fu>EF$T8@' - ԟ# *\IDFر*۱{#qQdP'5e)v.^KꖜHS0$'C N,Wp`{W|FdAtfsM;lU88fWU;pv{RG [\%@'L^*\,.^wǔ ЊB[BP;O.תHb;e͵ dRj[]|ٗCU]~ީ~vhD$؋DS'9ZAv8C0ӯm .~ݣ\ib9J CDM^ZCO#u'Ttlm [ڂZ}vQ7,Q1?>=?|re1~4IB{fiRzMCjpt:-CǰbO[8B剁K^{w2@ۺى!+Akm5õ(F#Fƴ.MHkom(}%q6noi|%i O8/P/8g~ /x($Jth: DWfq\goTx:{X=\0oX"sl+$E#^!f;7H+O2svG/V\)Sξ-5F3'Ĩƒ ӣ}Gu$e5gYZ7zXZִF! f:]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]ˍվi4Rs?(ق#Ϫ*|(a3Ҥm%"9"ܴ-ဪDP8\8[E(!u^k nPaJr;3{v,!Tx o"H_Z|=[l<zWu ?Dþ]g}g;iYu ILaخt]sIɜ*T'Ѵ,;vs<{w-_3(+d%A'.`Kn+s*k^߀ hn$>tOyCD5xv7' kz3}j8hr}-A~8,V|':_ksBc rWb;3=>}WUI|th.:yp"Z3xRNļ қM`A4PFZ[b*&ᣭyyI7uGi՝-Ma ""0ZM"jtvha!HDÃ#V yן cC0O0R:/ϐ)tQvy! Ep53ىH]wZȁZ]!ueT%zBH! O3vL}P*8fXZ 艾Q/6  9O:woaN7?-](1TJ M=ʑujL*WFhm v }`AԖ:7z H̤\ W-ؓ)<iiꭲȽEH.\F.pđ|Vs"CRc@r[J/IeJcݲM &{Y=ٙ8,}0 ԓ5X1yM:KQ9St)9LuBxA-N+-Kq[iNU[]J 6#H1d%Ynbs.6]>)E?ţO?yӄŹ˴3?<&[G UGh5iM %sGBrf)qMGvH\tm"FxwIpiWA!7Or_CCރk"M ۢϮbt؄@}X(l)S!7FjCu6) qV}SNBi*eHʪۼUaYXM?-V jeun.*ti1'Vߏ{,s߽͕3|8Hi_T/c)j-;|,kCjUxqtIR!Zg\0J9!oxԖle$"9]v 3a,+[D$s'sq)O;ua:2}|4xĥ+Tp%zb`{cuOZ|Ya/ڔ'f5QQI4 4AݗLje'ATO{螥ɾnFggP)CV CqB Uu]th`0ㅒt|ͩel1m`4Ƒҙ.4[pر ݡyQa*gͼwvF8QRYWCBcQ6v A dVń5:7F# z^ܠ&= Dnpܖ[gN 3{ g׀ȩC ^ȲƿM`6@gAh\̰;𷅺H)H$Y>)'Wܥtܖqu&XIKѯ*PZN2- kny1`qۢb t]q^QNC%[Q` (U4Xv+&c܃{+r ?nKUh1X!@&n؍-.Cv;D KG*o`ͼI`! 6c>E܆.L >8|MGD?eK!<f:V_`AuS=%Kt϶5~UςP}*aI-H2N0!={! Gs~ޙZϛ犱-GCڏ <1}:Hp bn݆ZL>fúMg"ų̈̄?ΏxΤ9Jm#kгP5<!?#P};^{&S4zn`8pyPt k: q$ lN7hmǽ|N)=m0~9".ӦgMy3(+1@]n} &#/%vh歐73upz{칁qN ~(\u,ðFl|G=Is~>6NX>E_=un2C}oWu hOo0 TwHL=ƍS SLݖ"Fi ժܘIvXGƳF78Ǖ/4\w_[Q׈uX K<|Uz5ź'B H%.Uz@5Ub-]"V!8| 6@(>im o~-`DL:u6!4|g m(SVi1~UšJKKf@ڹygx8}M86/)Y7tfd:M-)_﹁Maڤ;/J/:(a㔵>Vi?:aNr< ^ @%g cӲ.8^x~!mW;ryLR4*aEɑW+PeW/}W= Ekr)wd28dlbn 'ΎC=fy ]ó> jnV9@Cr(6a Jۧ"}O$}k67^a ,eɫI;uf<:4bmh1@*lCtq?ԤhrHw2d~g' p Cǃb޺dT5raS6b+üKjZv m}|+3˝qt |`,,s&S9Qu+:ګҺcG-욢K.VzύfD9$tO] X]i 5 ϟMZpa<OB9-XJxT6uC6>"Sfu:.U6 '^1oO"u#MvV,7*}S߇|i"̴@R]ܒ;Z}XQ?&(/rSҢhEžA^p@AEKYIXz%pͻ~0/$cs4`&T}7 ϥP&hx&8)~s19R^L1O*J'-,nwT?L0D\.X7eLudh\vr-})ʖv)4hB*(}{8AhA~A@$hVڸMʫ-<ےo 9rkxQ HwӶfhVglt~>Rn}gm Z/e,T <_Dzj!s%)VBE09A陒O.s7 ݟW0dus{׺$ ǖ~p` 2UOJNbί}'6#鿾 ޹.KGы$FS; zdj@.֕\+w(&ʱ{90Z$b">n?-:Tx t8e"k-l'Z7,'VeřųpU> LD2>vnƝ2kpOXb aG :pf-slAԈڤxAcO>C(=v,]˧FjKiV:`p3a^8|w ep£kѲg6d"졇H3 rDPs6Rgs23ի%#C-w(| EP.0 d#ߥh< gh; bDv"=OD*C_cYնز<6+l<'ރcO##kLOJ5;T9kB9y!+Eࣁ/}2^ݎ"P5tg뎾VBK_w[AP"^F0B=S,Mtafu+W#{=+K'l1o|74Cy)iUwK3) __)@ yyn;Fs$s1|``+G kt.]HUgmXNܯ9 MJ},+'K>Lp':t$nx|t˴Gb:Vö; ]7@ LE5+ `*y뵩=gRL`DSxrll8{}< 77`©J'gWb D3МBʲX_=~N.@IhƩF{U;<}кJf^fb;*? u:z +_lΘ~)7k`ݒ q zu1PsڽMEc]AOHoԭ ~q 2)+ Rj8foe{^0Fy = El d* o9>`>Bg`[&Az#dr;76S 7{@Q)FHOL=@"q[@!O*8mjhZ&nRN d! {:zP8,&+ UxoܵJn ȇeͩLB#Wgq8T=Kɷ}[L }qWbH$I''γ?WIdpgcQR3m˝ <[0DΊaBRm[VSAnV"Or(ѳ-bvVBT~qT0EID}FÄaf-Z]BIҗ0)kmOnOIA1 aO5PҿZD%cىuSwƣLMe;me# 4t\(RR3 ^\rl|H_soDWQ?=#dwPHcPyV:iT),%x<Ͳ'羊?Y7]Z'r1a7CRZi6;^ 70vYf{t$k hvɠc}V7$RK1>Bb#m`5B,tix+Bs{m0J_i ZUzel Q$a2z.dݩ. ^j.k_dr b8CLW0QZ {kq~yGV8^jβ֗姖ʐ=J{ ~o#6?i٩^WLe1vfIFo K(KRZ\1:?!e׀SZa[tW 6iQXG h)w lhx”tnlXo;zsa0vbc1=Vk`䙩#):DTrF\\kr|}=Exc$Qh*1 \*&<ۚVD}OGh8m\fcwe܄&-73@a,27W73C ;+w (s<ዾ X^ v]e'ӥ`w? ǺeXBiM0urA,, zt,!ĩm˩=dOFSmsܚh S` @חn5_bD~0U2'0TL=k( @aao~X0YHܥDBv)?~c6 ( 4 b8B36.1#LaL4R-*L%/6M) XI@&x#D?i+u@XN<$$VDtJD^=0'֞jL,w )$kcM@aanJuZkU--_V d{^.h뇞+YQHFܳu&I"ѩT_ wOl0s)NGRǜ.#߅pq=V,髆^ 2)JN <) i2%0y|2~˒祽nOnIz~ۅ =I_P!/z1ߎ5L.F%ӱ:O.X*/J[lg] I c4%=/p C*jRTK)i_Zu`e 7| reY x &05Շ#CH,ه*nb2->PLvPnUC0y]OA;^G&C(ӵ^|{gh3B4t؝RF lly\ u-f:9 ܆TS"u Vi&|cS:gb9Ϋ̱tA>،o\tgsc ދ"֯⼩,Z*B{]WXXMOe)8btIT,W֯u$ 3szIhM8?SeݵS$5ĬKIYYj0zk>P0qW\negP"%Zz,L ]vQpzdW:Dse!]oC)0!W(F 1*L<0F8pwqb1ǩ4LCs(qIԄaH90D fw5+чقF+!p deTsxu5>e |S׻KRTwHpG aEV]AR{x |͆1rP{߾רE>.\\Ϧ38!qsy*9a:3;( MgN5=Si<2ݿEw':}kOY_ tb7/*w[]WCl-v ~dkN6s?D[?*N&P,ݢb?fit`zOsaor( _CXsuw| v%3f!(ٸ:u,NSt6 s"x``tVg]!X`T ,a(L Ba P# *-yy ,Kvy\|ʣ+ CGqdUf51Q}QKf,>YФE@/䍑.mKg)15.7=Mq<θCe>&xHmU7g- *n!|8̄ S R5=: I icnSIZ]p8ŸYB䊛 jf۰-@rOz[s(?8%˴sxP2CxO: +"`&ID@-b7+Tӄm9:\ >f'T0CCZ#nKf+[:ߪ nFuBqXĒVZE R4W n4s_Ta$ q߬dd:Ր  E,=C=>$| #=@]|wܞ' $?fp4Wh_bޗ0x8ĊKwHMܩwEm#漺CƖpOB `ߧZ DJ [/gYZ069d2cc514ded3bb368087af34b90d9247079632c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 d358aea8e4d69f3f30521cd28c13d3c2fd213721c85eb0ba08b071829f454bb07fcb65cdac8a4326