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 ee t ]/ KAD:threads=2elapsed=135.722cpu=227.752gc=14.152factor=1.687zXZִF! f]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeLK: B io`udPms?:yNU/ 4U,-xv1…guLAۗEIŴd JLԷ}J;EZWHm1U}]T+,E ly2m언 eAxoit+QҎGH;^EJsoi I4g9邈7{Wݑ׷5>L;yf`̈v>.37ĉ.<8%{d҃Q9YU}).`2 JCa)dѐ1j9@NlkkjsIܗ&py6X5T+${QL;xVg M20XLa{kDW 첧rng82)+W4Tn[$e !sҤ"c"umtc~ hזFux^o0 ʉ[p0-L"\úv~.>T㨞eEv\t2KJKczG/+auBM+ l)F*`e}35iyy<#d!`6mE827* ު1#LJ:w!ص nW,̟жvX.ф Jش 4u3FҭȬmxz298x$,?XECS?[S6}!MU[>1\5|g!dy (-?qijzAPhb$ ğ`tpS3*_'Dxmvgq3Irl>v]cӝ~:ucpxsX6Se@%7Y\@n/Πb{~(S$ΟSꌧ"Bҹ&`8 S1pm<:V,$qte80uM7g 7,OB+<D%#đj$x}FKJ!bSoC/%&Lܲ䡋ܹIZf=ӡBDgqOqs4ɇforoU`=0jxiwk5F=kGfPK r!q/;@ >`nlDd=314+&brW+pSynI6PXnY 36MkBw`~qkr(ӓ0.K^?9c.]!HJL,If/fs O1SuSnZ?op4XbL2-.Vy9[LhqJ0k4=] eۣێpߛI6"}u̳kpA~W]d~q  KAD|W% KADKAD.Modal_Kleene_Algebra_Applicationsdocument.tex7zXZִF! d2$]A-MՋhvG"uIBm51VU,;}oZ߈0D2WgPt-|Gwh쿰)wЄi'شQRg[moSdb"3̊jZ^B Th5ۡG̖(G[ĘO FFGM!jUh.׆T}ڵ+ț) Imee,t6P:I$ª"t*=Dz+i\MsL41~jM^_T)G/-RɱeZ Lвʌn'O$ wBdn'2qѽL$GVO:T{j*1i$#s`> $ &N,X1JD`vXDeVo P5Pu'#f89ǽ!`dZ(W1$Mܘ6]UbV$l|P4i,ũί ǵ/%]IjriN)v1 fQk"J\CuMn!~(zbyP%4=~)#~i T5M&X_m/ |6{4Dl 7 ;W4}W-q=,*[DXk/Bdo@0AWQ%ҭL0@ըbI[>a*sPv=L=Xsׅ|葉ijUyi *g+ƈO<\,G*d@ kd`Yr+uT rw1em*Ta#;r(_aIq&F/b!'cxzEwv$9 S3diR5FnVV70rZQ3*M I$p`%y(lXZZO ]y܏ԊyڲmRw56'`J HmibGr-MmX06jm}3JR 3ҙ2ɇ67?38Gα}ϓM7!Aҁ G3\V%6d=,XU@TMMݲ搷L0o6%Wx:t X2B츰mbGJ=եmx55Yn4c=Hɮ%ݡit*L\ZEVEgkrkε#2Vzh5_/gYB(]ɧ?=\@iyb%T5u"i ^\׳.\L Y|alQmY3_`~잻{µyg0N zmҊn1YSLY;e >;% ,KADKAD.Antidomain_Semiringdocument.tex7zXZִF! 83AP]A-MՋhvG"uIBm5~|{ r~KK#Gi.5 ! nP diDm6h^ɍJ[gh*x1J>( $2wwP<׆q2j_Ft!VPniߝtp |ުZRw3tجÍ N e 3=tٳ\<46;?du{`RʖFRh7i4[ nqn`&䲪z'}gym&?RʺpZ},g24E7r ތ%UL4hX:Vxӡb   'f U 5} .?%KADKleene_Algebra.Signaturesdocument.tex 4K%KADKAD.Modal_Kleene_Algebra_Modelsdocument.tex -=%KADKAD.Modal_Kleene_Algebradocument.tex '1%KADKAD.Range_Semiringdocument.tex 9U%KADKleene_Algebra.Kleene_Algebra_Modelsdocument.tex*7%KADKleene_Algebra.Conwaydocument.tex(3%KADKAD.Domain_Semiringdocument.tex)5%KADKleene_Algebra.Dioiddocument.tex0C%KADKleene_Algebra.Dioid_Modelsdocument.tex:W%KADKAD.Modal_Kleene_Algebra_Applicationsdocument.tex2G%KADKleene_Algebra.Kleene_Algebradocument.tex+;% KADKAD.Antidomain_Semiringdocument.tex}gQ1nh=Z\Qdk<"vm Xʮ5fNs->A%Ӷm%ΏvUK ^D9;xqP +~8Q9%bBvtE!͖ALP=$xz i u;5\GQy:FnIKgHOHqK:MTypK%Ԅ&!_ط`:y^FfT|Yܟ4aWempqL1=e-sӟ'qgjw ?D=HOrX6XSRu;jc7|KB?;t/#(}ӳ*OuT,䓥3$23kHͳ V_4h=q+| `n$vS3:&#:ZcQ]dLԸhØ32(U +}:KYL \c:@zh>p7V٣@.IRДG"™G)󚊳k7_0ojymw2!z2io?~5m/m V<qX3,V/4嘾3Ͻ>uhl=ώ&JmNu}B( ܍ P(HeJWIA)֬S :Ѝ4czukxKvs ?Y"0 o"ݿ?&U,WGrh]TnGAsn˅ R^UZR|R|'3NɄRlTa0y weGosM?5SxL|сz)dbe56#6j&kzϿ$~~Bl0 sm>Sذ4?l+I]r;qI0,Q0g36[2!UC&cEppa u9Oɍĭw! T$>IKڬ$Hkt=cs9-Jϭlkh+vB~ za|M fZ}$E^굂r|>%⢙#Qנ٠lشucdWT!!秾\Ղ52 ĪӀ [ Xkc6hd)Los幍kdn{tm@q-~|T 鯓-ǦP^'G>'HlF1.p C{#n\;OS>O1!?׏Xhע+Ti@C/r>u/l2_5Z.|Hg"Lg 4 /Ҝ[Hn,,)dP:}ԫwde 芝&?hvrΫuj|IL,<3,M7+]A_.]&UBlP{KBMњ&-ML9>8zqmQ~n?pv%1gl/I mOa2D jp0TS7(d|tgHe48& kMb,/\7 T%Z&GX'-*Z.!\UG> [ Q9H!Ñ6P\:Άg0g1hHc1y@79nnRk1z*=;5":xNɣzWS }0{kEf &:[ #$P[y +;ǥjtfcdsN lj}_v;:UB'Ea<&T~Bt?]:q[<{v服f!- ܎l5{yIwssDGP~d~qkčM7O5s ,Վ'oݝL}ZFHO:.mBGQ9Z!f!%^Ms!(U R|c\ʶC&=.0ZNY*5d#ہݒKのuN 8UyuAlWHkf*ikY {T3whZXlv*oW;jcX{[ AfjW {`haf' ]hvt%# {bFQg΅k߱ 8~)2ЌJ rԤeL tǼCYEidS()4~\xqqבGh 6JYGER]6#VPL6i8c`u N4p'2YLf2:9bT?QtV3=p"P^94\> j W 5scGT'SpRQpǀnt]qlew3%,l}16֓AOL3V ybO׋gmv7Q.?eiOS4^.!qz#/f-w!ro9_?/9R1T)JLv$!V[,汕 I?XJ’g_w^sÆzE8a7vus`W'a{b}) , U?]^bf'_ W1 B~/nmC8;)=:_tӻkbܢ EKRQGd!l53PB]Yz߆Jq [;A){3Rg{tpS`|o +S[56L486q#;C/=Y3i@me͛f6@p3lםXa&B9.q"=Ɯ!&0COWi!ϔ/}~^X@;;!k1X^6T~dsgs6I Ri#$LTZsrm*LJNX*n7 0n-_S9f"#Sz!rR_mz6_/C%c@cwwhv O4(@y2(繚zH9'<O#V-@)"_^S!\3JֹuȣƜ-x+x)Zĝn`|[4cIproИ1bt|Uja퇚~XMetO4CqhC">%ìX;`/V?6I2vOucٗQ"t!rуAQbod'tw&qh̲J zf iHG-, YF!jМ6+(,<4XɮxMės P۶yk1#w"ErQ!:!hA&e$TLBlQ|OQlٮɇܮִ>0kB=1IGn?Չ<: eO"{ #?1 @I1d.]"ߑBK~f2頳`F_eN|A٨laW3,!0 ɻO]{y stc5Ǥ#Tl3 aʲMZpo e~~{j !l͎c&`RX^)z3ofCg w|Z]n];u PxQ8_@f@/wx ɕTӳLS/^2BsI8ꦘB!vXy6v•YUrnT`cǓ;arqXQB ' JabIu,W718'#/"xA^![ֆ4nwUvMɪy<+ 1ud±[c4@۵ zngh4Pܟ>֬dp-Eb3٪i7lD4S Thxh\"KP E ~m@.`K<#7z6 PÖbFdIpg}a]a. 05˶e1yMS)C?߿R̈ڜk>X(jt *^C+ 7ּi$]ܵ#%zGM=^&ȟ-z 8v5Pq'I,dR9mQ7)*6:g>OѨ['U2ѝ|Sgik#،R/cXt+~%ZM]U@+^޵Tt3ꩴa4mptJ!@є-ֿ!/ Jvtbe80TWW.Vڶ(کV3QgVARWc|zֱgr*SގV²TAi]~R5" G"Fp: NeW(u3qxanxL'O)c XStū~q#`8^qzNǥ<tp )mf?^·أBFDA K2<,KUMW=}]ɳ?t2;<@FJze`ߺ]oLܩ lޠŒ1WQeh}oN'',`p=R69M{ktϟqp0FAaNuQP Uùca|kwhY %GeAf"9jo3Wѹ <{/ MO#l=hV̓]1>'X+p:grBj=[UvBߛ?k-2"\3݅}Ӵs0eD@f|%^\,841*jAhcjV_fk`p7[W˘>y&qC!oE<>)|gJ]9޸[B yњ1:wX˺eI1 j Uh< v薝㮅"f>..n5Gb#r 79Fԭ4+j r5F ޹;KF Z?^ڥяÜyaPIF s]C.e`^T[WzbgQy~-\bgi)9Mey| /{x3$,.*7w:R!H+**̐=2%I1 GJ&7TGl` !I .LY\|TiQ̸2 mBiYXL./Va4.ȩ5x!é V:|*O[!r:gb;SB望Ι,r}+/H~ t~aLY.l3tO~l)MeAz0{ޣQ`ڽ T@HA+>S˽Q O 4ř2փ'cYT;hŢTh0=~?tfAԃ7*?`[^M~F’Bڥ_3fG@"r̳~S#=_{˟\0D7䂕nH-+8Y}JFvƣ 5XcO_`m Ʊ`Oѕ@TSƅF.wBy& ˘) f=FpQW Q^+c+vtc}MYB,Gz& OeF[xcO"-bV4}=G'dm }&7d)_4Apj2\̽t# r ԗ͜(ϑx*yZV`'f"Yqpn, crT(xEqLz7r5ʲeZ@midV0 1ϧ!pړ"{s+vJOԇ I1B 1k 5&Hn7t*>YjO/~wGBTO<`TN[‡qxޑHpl!8_m$o,h?ARC)>UZ*V` ;} Ugs:QZ -h "7/sbV)a^@M$QؑoL1]3CvD ebOwD᮸:[u^0^GM65g?u+[ yOYhBU4lt1gc-o@9̖>k'+RPQ+q6?e@!) qib8)^ͷ\y<VsO>:iBM}E&d([q"94!\_7fm55DzH>4z{hEi@;ZɁ r>di4fu_31LWDrAfy7zf]LOʛY {n*8CN rj%L}CYnu_]Qj%GlKdJ뛺O ij u<*L3kL0$u,?幕rvKlʩjt+wNš-qzK}쵵B z69q`NxfWySg[? @ʝ79|\x^ePyfHXI/TRPܙb'̆pTf;I0m6'o݌0a;tDjU\|MDݨ˶%[!$s }+'ndZpZ1|(`0A klG+64 I0ß{;q6esk,L<G{ i]lQSg-2])Ehޭ|ޏtfoSv-I/W3щHUG~E/_4ohlQ_D6\>(9n(- qwJ-|S揦1TEH<{+ _GL$an}E}VtkA$Yܫ`u]DKTiq. d`d2țt[,e}pqUs*`d*֜2)D 1Yv',$[{; ~O@3xҞP2זũIU>grD/W{KATZpnR tn""UTڳR7LxS)%]JJ4VD`ï͗͘T]^lo$ u>x8 ]rKxF嘢 (ۄ|X=ޢdB\4.랜dwL܍בZ{%.| ڈyp&z4P7VxHQ*OdƪBbPԹn;`L%OhWVI<+Wݕ)xi0 P o./X.W0 mܰ@)a怰+J`ر4N+bU_#I*Kaj{7˃tKx@ ۔;"a&PگV])08w=cojֹRnTrS~X`Fȩ8F 0wR<%O}qkS'[)uGdRgq~qSJ\DsvZ`M2I3"*"v28Zұճs0f ۤ+qJrçs>@8+a4N.L7WVhm嘈K} @X;?s7e |c9P^t1~ӵ|{RU""M0"!-u( UeIF2Y!Si_͖݇2K4҅u{3G\Q9VAԦlX|0ZflI!>?bs9A"LzEhڏ5 >;}c4,^JLWu@DG i+*/^/.J0ǵҡEף:/JB}’ElajoIu p5kc'K}* ƍʝ {(mةwl3= VYdRcc1]0 `\i=אHIdٿ$ U{ mwN!0t$^=쐀jEҥM^ƼAAڰ:;(q,FnI&;-63TTKSUsw:+E Pu+ g=/+dQm뉣A6ILjU=}U 7P{J" #F!Upg!Zd<})FB67G**Q ~hreooe9c$֩eFuQ}lv knuEAf {gEWrA)Sdc ]jTU9\hη".}-zb ҇ӄ)Ipj#X0~605xް|kBnYSI+[8%q/@I]2[ŦB1*ނqÈ3GЩ%0[pvʯN!) 0 R6D16mjN|&oq|\e`>rau+P/s ׭^1sm>XY?u+w$SQxֈhO ;Gϕ7ۈ&$ŷipI;%vP*-B t3,Ed<2q8/kނaw,S6o9^e_q\+[ .cRd1p߳[e93BP8챮U/ҴN2 iM4ؚ}LOpFj#XStgwVVFb2mۤE<麗 oDʮm3wW,BvZ+yϻzAW IDw! C>ۅ̲No+yD :ͽ{3CqD6h%`8 eFZP@KA< aI/ZX`~@>Kp'*Vz\,>!q>m5QMIz&E( o]/Ԡl30>#$L3<(菱|@2~ j!aCɸٛBc[mW~f7lw 8JcJ=5l%+l+u'gUSW ;ޑTatj7V5 ij -y5ିbfiSs{>:50/up [i?` AfmKh9˨IZ= UZR6g\U?ScN鹩VO #Z=y;C;C_Ws` Uu+Z9JmZQ3(e ě,>.G;Jf HK bt[`r 뚐L "4lP` q9%6LR-=Qe$B>enQ7}J4gg?ɗQNb%|Yp"%LٖC1W@ː 8M^O;%bABR^n0Z_R#6aJt;ifI^̰lKB#*a>J"93a|m}p58Fm,5_W wh.XR/Nu쾺o]IWCj!k6Ghlf0`~XVs FdgkREl( ɂCh)B߫d{![+f\z2e&S7p +2Z-; _@S ylQ-E̕j'QhҊ* =nWV՝,@l.#ef&FD!=".985d U*v?%) kӢ$⼖@$EyH߇@-*\T8sN&=*H'%}A̩;Je2qSxƫL$'u|_>LI){t1! tXW9۱Iڞ|9R]=)И@oi|CdWu>Id ];^aI>~FCsYsY=Y<,A(&DA7XkVԕBT@`A:z9ΞosbE|W*-Che/u`ϻ>MѰx)e?kX8gVY.VUx4k? *1nFS#.ײBybk02IQ4CHes)SۆG/>kriԴ!Y4_6O( *Dmyp,!hleZWb#WahA(%eHfj *rt qLB YxE`cND4P4׷In)H^\>IO:FhϘ2z)(&CcK^9 s=neOzK/=bqP*/OB YvsR ɔHqC@ߩzTFn諸򾵵җ./:> wD/!f$^:cBb8]]];eq}&h8טz"_{npXm&\sխU,&ohsiC[ ~4Ck@!ND=J %ZHtaQC=}>}yK= xKNzÝ. WCk :+o&n@jO& d}#U4g S"7Nc4d@ޖUGH <|7s[h^ɌX:),ؾ? ,ّ?#Ѯ Rʴ2G3ME4R+"gCUWk}Օ/ὔ漤*M`[,G@]j9+/&'VFP(u{:ɔkXCE-. C1wbD]ka׼ nvɔ cn@@ӱIXHH1E4E`|CIzAx" :8uG!.۩-y{ C~IyW$R`LǂԑsHwr-8doGrjB1r5UT / 9ߣD';Ofhݮ𪴻>rCDXVwִ !sFX-7Ƕb(W+Ytxm@I`~Ƈ!ӏ/ t,Z~!r} G7zD- I!ydW mx5;[2[Gfj; ZwjZpb<2 ʕM_]*.R]yW֭cMcTAP׌ ;'jc3ENt5})ƀDУ+~(|j*,%\JM7ӃsH|tdUI9H(:n؏X]AbLW{w{@Q&u>DO۲Svր/ׇ Hs,)DgBڛK3_vD`8jw Q*Q7=;T"QR0efeD.Y01/쇒C9u9CUp҈dwؒЉ 8Zn &}KAI>##&DB51g.WHftȋOԛLov_yHf V`Ǟi[&xIV2yns,u4h<_++xGxc9å~4_qq| Q[bMZq ijwnʒM޳Y필n.@/!*{͹T z&ذd H{Ŵ^ *tT{(}l'QoOfDBxđKo|E(i7wqEck]c{ϞhcoPE<$۩ a u2)I[::˟/1D5biʶ+AS2k+:«မ:QPۣځAOcr )BՀKjDג⣉ki$ң#\VoI}>X< '_;1`u2(olQk3 sM9';,MNZZ5ܸ ]euQ"G"#FQ;,Ski ƹGux{%RBwȸ Ti[k?P'G;tU9P^TX;2/$S/Ӣ@ p)jR?5@-,H{bZx`"L.;ݬ,4վkػu@䰌k7e2!#& ^ou&lX|=5g<ҋX` `Owm9đSFAtkzx+Btz[i4yZS o"Mf/99!| 퇍*ͱٗQCe_Zu{B 2|yිt睰̷goHry01/Ҁ!'${>!Y!T] +k0!" :,~ 7{IٴdfX)>hu_ͻZh#0f%APX%^*9,P+$$nr-ZU~T8B.)m)sj I")[E@cFZ.uD!q8gwxizy$5 vV: G#- 6>J:mglf{5ڨV,uypN1 iszot*2B/EC@Y ;&Z%޹.*|dP8A[wXfB'3Kjϋ+HhTӘDpM/,^QpucH{n $ywBw]aDׁ,!RfPt}x]TƤJE"X R=]!&rV)s)IXɊBpucSګFu #,:FJxBWo47[8N"=׷(2822kҲ _+S^Z8'b~ \`7HR*b:ˑ!mѬm]wNTqwF`=xqKHïxx"ZVpHǃuH|ۑb>%F”f$u?$E9>bo1osus|K5@-IU5bwh# C^ڒy?E+Q ȡ."Γins"eN z(]Y'9rT0{&mkCȪuȵk-L 1Ȟ=Rx^0JëYac^]]NV͸moȸ^°̿.7NPliYycQe! !/;W@&-JO48fjMZ@@MlLOCԦybuWh fFحF0Ax?(=];ƐaMW5qWDE]qGn#/Z ua6Bf.g[LISVIVZ -RM<,S;v=ɂRZmUͮZs. +1;JeaQ)=bdžY,ݥ{1U,(lۖBу|`\\jkz h;ވ~c?YFX=cH>\) `~n$ UT3T%+v0"[ibfXG~ͮ'>cFeO0#C%!PQxYi&ͩo3WvOrnK o"G\;EtO#1 tR_x]7A6ymMO1C^ 2>d$%dfr-oN/I~}ĕaZYv $Gnͽ6CƲ՚c3m3s g@@Y#iSF@NcwT R3{iUmPtq(O[e%2#O. q iՊY>ab^\WIYg=-ڪA7ֆRVݞHdw͢ȇ~UI&~3Їr RRjL6.7w}# MbnǎR/GJ:wL rQ}R"y`xijAS*9t|p-j&i=i8L8^gdm|seϳGH"sZy%KapwoD|' %ƶ@xh=oBڇ>l,z.j{?0.FŸAn|(]`1Ɲ-oW{Ȩ=806:Ezn-q߆m kw `eBLcʫi oV=]%)t{QXTqVaν![=` }F1nØ 9~4bcBn"f>ⰼ&q;}"6jW2uEfUumMEA>$R[nnɻƃ OV?aYΝvck7QFػYCdo_h6GN`TKC\k'e;F@z. /k)مw7^)2hFwe|݁rOᅤ7Ajee {DA-ET WvČD׶xBrc#鄞M=JdLXqi4n/ u{7g2#HcM)iK~ |?mܤ8CaW$2_bյT ݻ2d2M>'.o(1NfA(0vohc,( z(lP3=~z( Y 3îqaRY˙ZAāBz0{- ):-X`_0U(*mjRclN=RؔeԸSyݻjlP\O 7FJJA(A&rFq6*FǩjvqڽI9ü-zB]fcyH`W4ej͙yIk aA)bđ87!GmNEݾF-gIL򫴢SF|Q_VKheŸڔu CdHH.R \N|E28+-bs(@ĝƔ;VAĕ?̓FwY_mD#+5!@i( B„6R3ҨZN.m2cßr?}qKj)5{5e,x6R2vߺX < f3 *'G0; \#mIe*ʊ źS4Ml%fҨԤIĹ^LY|Ls/;d&+'{; 3>6OJm[bv Jw6 :\hJ;-׊ICtqx+[/|÷8=@;KZ0O$Cҩs9tUuѩ0ʕD0r@)7: 'mJ>_ k$|)=ۅCs$OKe6Xt2Wi9kK]c^HZ@#BrlҪ;,&/(bԍ7]vOv,M8o{h26)±1Nv1\` <<_y輪57j}9xhCkoS7UCŦWkzo! YcvB9e~BYa:zlHc[0 ~“Ddb28`xRܕP:ePxɈ6"Ɲ޽mqc#GFluEh65+U[ofEIf=V4:Pz+دC4g8]#Tԙ@E@;k 82%󒦨:#،]1L&qXmq;R2xO >o8 %&HSӍa'z+8Xdç$2Fwf!T+?<[2?$ VX8y;5 f^8vC+@h|muSqWi$f %˛|BSDKOQATLkux5".ۊ8G>` #}ӧ ,_T_`b!6k09[Fa3" #i5H[1n0?(/u@6-,k:["6:گZ59$0ӯ,\FHEAGD[:]h }i~E" Xx@&z.]zY!%Rض7!#5B\J驖522*irԤ;xԤ^>Q-$&O}7OkQA/Q7Ƹj y6- ױ(566d@MmcEL3R5N" C1#aD>|ր3&|YPzJ#pzŀ_@a>_ZzKA#N/%X%.Ӂ<85 ~y8WW+^z{z'„ $pɐIkKRhؘ" 5<@ɭ1ZQik/hXKwS Fgmث4TGZ W6i];t|ӷ^xoC ,)SA `KRe5:?pG2"r_X hխZMʱ℻CHƖ!si ri`VGNqH.[F1K|Wo2}O:Et"ge0^ǭ1q$ٱ;̎6SHh}6Xt Ἦꗓ+Ҥn+Ԭ(Bܟ6KB!$\4 Z ֹ70* EiHt˂ x15n~agYqVJ6J_X7MVtrm`w6kI/ȺZGV]\ <ՒR ZNpvLp2՛ 22+AStKؤ9X[txd*:Sl-f%ά2JjWY`4Vuhcʨ 3yLVɑꪾVAf~9L;hN }zX ^d7R_؜*l6TWIW0cΥB Z};yHj\<yRN!e ''ut+ |e6 P꘻ Cn7͸LY,CLFZ;xP`Jysb20J5Q]qxbm6fVlUhYN蜄lo7nGK*]3sxkSAS?`"xJf«6`IX|><@mXE`%3P¤7.M;|`kYf#x{Wuec|{xIN4%$u?ZnpPnl8|WxC} .Ek~e?A vw$K ݟ%[j0 TKYY 0r_ieؑWL]h ;0f S{>&d|&pjeq;`. T1I~SnamnP[GuX~ ,5~;8Ǩɖh/5^ZtulxGSoG3`Ll !`= H,ܩ6mkq 8ãD}%r;)>-NOj)暍A_[l̵ &:E *c4$KbNGGmwcHఒ='aI/ JԆ4/Pщ{P^(3<.c@Z |b?:nIDde4WZDQ$@@W ȱL|{}ʟ %̣gi^34Qp ;!}Yr@<_% yުClgw*:v<?Yu_1S qqYrr} 6- [D.ߍX+TDqV+,Q*- 2ߔ0 jdpd#=W*ܸ5i%3Z]F\hJbz)O<7jr5^ 4D XEc/Rm H,{l`^ xr)oGVpݲ?j,]U"[A-ڷo<B`7A$aXFsCʌm.3$ߓ@7Tzۉ`[L~d ̕ ij;d`K睪xځ@,f]#JG ?Q6 1X/trpGj~zgC~E yCʢ]VTG&9wEa?-xS:;[ő+.7}b5Ęl׉vеb ?k:Ճ%#XL+x:i$F&#gL _IFlmA֓F//yװ)Wg7pwdIce l3.1 ^:[۪}jeɱ&Q@Jt v,"g;XkܼuJQMׁ=j߰[/'@8 9%8ie:w>ru1DЭ 0BNYAXKeqcun%ٯ8"9Ͱ漘}1ǣ)šH \>^Kگ5j +^9;"t[FFuH_K/nCF^We65N·,ha˿_ mgYZavbLQcog-a }"d eyfuˏθlV+xڃtw _Z^ yWYͼOR,la8#|⧘޹yN"?YOW#- ZVB5v4UWJOZړWJ+'կfj|p#SHRV3ɖW|&pnl[( nC%#voX_~)*#Nt{mEObJ&\Ѷ9` ֌;)"pOmr)K ֍,g.¡罨$# _27e0[;Mkj°%x6W֙$gr\23 nTBF]v3y&vYˉ."V},Zλ^ġ5)Ʋ@'˧tR ]mNaW g4H[;Q2UBԾka*`9t׭^]p9>K"2()ނaFQƮ 2psE^1jwRƥcRr^?B2GM8 ɺ[J J00+#bJ~+!:S( 8RLFZcj^.LJ-NaRKk f>RzׇILTZ>va0%$,E3y7Uݩn ۻ s/|On VK,jGԾ\۲#Y-YX{BO{Y2@&R+rhw!g-9Q8CUQހTaB}IT)ztqz(jQgX!$9n%, b@g9#ҸfK"jcV%<@tPm5<}9*CN}z+G Y4.GӞLlA=u,4= VM1}'ⴧȮ(:y.qCf6N =isi&h %K *[34fxW 0Sݠz"c h@OU]X=̼ܳ6i۽"'$ oNOTLȨV a8>BMXIp6窷ݼ̗@Ք **&ż3`ޡ3Dqںtd7Œ~7y.&2y/+0ИG~jR˯OPQDPg@7HN\ԷYFOZ<|cc|Kڪcb0cDS>+MUҏYl)$31߆# [|G›0c+0q>72rJj0`ڱ$ЅS{Zn3a?AdS{b߸>Ym nbgZ V%X|چcnApU{DY籖s55G׾BEfԷ"s Y@B~[W=r:"~Y}hB `W zyD=^,uJh %~_}$py" BU=e.jrDʓڣG{"7ifVY{YtxWG }Fe,R7݌1yPg+DD[;vw팘^>~ƈ+ 6 NMF$_CW̉5p/l&ĶTBH;UoD d[2lV`G0@ 5rf1BJ!#Uxh_Ȳ4~y;zsoXd-9`!w6 skE۹C,$.-+@zSd(ӲTXԹXq8FN|\Sfv[MXMSMvDV+ф~>EAli ;8sEgziqWLKXfp ]`\\i]j# RMeLƶp֊fЈ^ 2*3pԁݙTgkA A-=dLjӶhxƠ@_=pUb_koh-UY#c2QIiiz7틌9ݏ*<+WuGy%p.0cZ20ř`o85 }';IRYpuDW7b,z5ƒү# 4ߙ:AP]Zl&=p.V6@NX^vW EƲXYѧ<9= 3^/>(I61vSIpEk! U+DZ8T7T m2&ⴿ66n~?[Y?@N0^HAICݣ,Tp1E u>܁./;vD$J NÃ#Ro0қ+L>DdU&0W-dXbu qCEӿm`ڋzd}rt" Cf{7?3ιz7{nZqU5$ʐ hQbD-0* leiZcB/^|vn85pԑ!^ЈF{raZZ4mnfSU@݁\ qH05LQ&qez ]msodN@Rhތgt]%& wARG!j%狊>6{G;E:SFtrV"GɎM[@9#}9ҭ:=MԨ}5ƖS7[wt?XDȩ3YB$ǁIuXRU 7cO]\ PXLpz%ܞ1ZWBTOreD]\[Vagӈ\C^Ei?LmԥQAdtnJ/[M3 ,q{MN}z^K4hi8i0s c6(ҕb >Z!J[I{DLPDx< c J*ǟU 喑'k{?Mە?y{)-Sc $FMl-bVF}PN'0fݞromk9ʆ'9= eQk5h 3Nbߎݖ@Bp̺@k5@x,K,hʕDH?‘tڠAϚ[eNQVF eK;q~9'׼jdWF?Gufװc (EU8\TȒO Ŧi1J6z)au'Tz]ZɛbmS*"~l:IJ7g-YM ,,G8.-x6|{zxt#( xrլj:e"W`ܵ!YV_N|XZ[:ČWgpEdf; w ~F H3ng'=kpJM (pLڻ@SNڷ-OȁkmVݹEJ8:uVni* F7w=)b9C;MN1Ѿ2X84Eۀ]GkLMrpܚ1x/˪%);hyNvTg`xۚUuo79u"!eLQD_Њ|F hkt<X4&٩+}[P!DQR'|$y^!/q& !6JFo!B AAյ={3\?RTpӮ YFVrJ_l&qo4u GͲQ>忴%Je SD-jz`:D*58ks uLezeQ&EN=gٳm}HO%;cAʽ? Xd)!7ULBB2Q憌&V#EexTF4!̌y8°02ely-t`۲3VTЊjoX~7%>"\_ | ظY; l}%ǠixĜ4ہW oNN;N#@~-(_/HXPO6dRcVUbZWCzdfd@=ɴPY|+=|H*JWƔ{յϜ$"j!OA#oyʦ^ a"U9ý}ajϜf;*B>R;kBp{.im djo-4yMQ(|ɍ5w{S[t Hrv]J{&Gu4@'A (u?7ȱgY jzOHfjPd|6)+8 FY V?k+cudvQ!%k^m8 !:%2q~79kgxm}$[7 'tapC@rk@O?9EC%U6Ql_|3_{DbP7VG0 9Qξ+bm)Q)oɈZR԰0!5nR,D vu샣VS? v^˹Y)h|) F%& QrgȉM(`MɷeE1Wn>hH29`I$k{c7&oe} `;=7_k|&U7R'Fc˩DNF<[=*9b5U1קsx2-.'/ 6KW}zDە4NfJ pgYZ/,jit$qQJGG-a\H_~LcSIŋgu!,QMyp{TgN#A8chOСz oPnIXU{,@ݤm emZ\fߧGVaB} #`hsSyr#:{ kI0UV֛2_X%#tGGx}.~ƚ~v/κo_q![@*>uvl7Ku\pFi`NK 5 Ѣj9?S)=y</-WYl :Hv͐#`P) jQcC>Dƃ^,@UPvj=R+EL[6b`u2dEdX~+TwmHc k-6p-cSӗ] ^U >EwSaᇬhÉ>|#" <0 fՠ@z3sJyAZ3' n 1% ƴ@q[Dx/~ީ7+fD]5^:On =,}eB6w0=n]~Cd_Ax'@'zm?%C |^̛+cNo(2IbxO?uBbNu>z,/ơIEROɎZD "a-3a#"a9~;8CW{Kk4/{%&b?|lG/)"GZ„Gud5ൾ[>#L/c׮KV6Iρ#ygn7eE&W>2U V0?cA?ɕP˃{y9qf  F?>GgeS8SIipYvt-S\"5K-EIsҮl0sqD+1Df΀X@ \ z1{8?+Y lZ4ٖ.W\]C9JjSewSH'nR{"_OEV/&Cb={#vqrA~ d/Z5נ,/o/E[Z")U[˞ы y3* QZʵ\=sl0XIbZ-ty뚌 Hv獰Qh@ YR#0!.~T[uH堩 4:[uZ} '8V7uR\Y`xIk. `g1g*P]C۸5+]J0*.HU%,CIrhv4ȯb^II*Hȗ2 p+ U](u[ܴ*h_*p(5/o-Pͤbyҥ'LJtް`>#)t-S#|R@f`u𐵤{dcݳ*c >V͜F˷|AJIWA`79&ęGf䟥܋Wz`Ep 6vGtE' MuDzZm7v]6x,(6NqzuOn:^az՟',`6163p VM?~ sģ% l.HTٜcYx1h,Gz pwD-5մ,;t&B@CMě?mw`$ja{*U.y W^QЌ0(v~u t7>f9,ƙثigt^Ί󀯍w1h#t|,5T ^UiqJ/ZO/:je'aY:g7-,nfk}"nʰ2&_*ԈcKi!Ot@:+lӋa k"VȆ~6֩5篼 =ko E0aUC/Q]=Vw%׎4ж^_fdTԆy75}b) ПeQA@΍" CLiş(c+p$¾JMӘ􂋝@a /<YVqZ7Z&ެ^$Go90\KtJ泟N/Nl.|ECتQNY҂L)tnb }p1˯4/qS5^j5!8sno@HlbbDpXbɃ vxf egu=8uO>G\ 'N<̥^έ _ .,{an,tDP0v95<۱4N^cFl!0 ;m牕Zӡ,^tNWSijU&/e20r^>=@4t#&`1vt#IͯsB@)69OBH\w87.p 5EniC}@K,KprǓSD'2#CtNʉ[f, UgdԫB()Q];yLQ}i9S _;|GV"X$EgXTn+ݓ `T(R|yׅ>XVc:ƵdkݭVm ˌj%0s$NƳ|Wv_˾ j }ځ ŨQM--cM  ֜9o|k \޶g#G uݑB&d&cy1ϗm>1ap ‰45%W]F٬+ӷ|9lׁ>az}ݏl7Vtz*u^^t"H![炏SjJ[>9fNZ۶ a:.VsfaEۿ]=D5W 0TdUJo o. Hc~Ja3Paqx6沬9w!>jX7aLV} rr}5Ѱ{+y H^`lp-q9pZo}7'Ms~5~aaպgot)t/[D2_-OPBZ:8o2ʔ!?#_m\%{2(M_ aا^oka!$cwQݑPȞr0^|ezG m$c!iXqau:1jpӊ#4q\gYA5Sq׳az]^.XZd6 \>_-Dl>,~ZT5mGxQ# EGEqo9v^l8Cx1o;Q jA[]qG'v$fF3|VP-ٓ5Ԉ4#=׾dC 1Aόn>IB3H7B#)"'P<ۤ,a|{6(!uNBp&IJI/`q5̳TP?7h܆=B#`XhCȑhH3vȄB[H "pk30bw>ͫ5j|x_nO{O- [0͓`zRumn=]L.%Q 5̀n3D ۡ}&NFpܤt%ܬjIL͉chͪj OEi%RHQ oۇt41%"cё^A6r9۽Hۓu m"haHj3b0,l~Re\7X$O$qjR-rp=Ԓ &"FU'}Rd=/E ""<DžUa|gdmtEY9䌘F*?-Hd$B+J0>k n&W! 6VEahVK}x*~ޢi˩jΓ hDHn!Ğމt71Dq#4~:Oxl(7Vt`*qMKƧ)dY,"٦2:!3WIŗCm}gOL^|Giaz򵞺@O7W3|;CP&UaR6i5%!㗬N,q@.3ŭwtJD-\^BV道"O]ӘA3?hE"3, V>g;oH+]~TX6.uN[|kE~ɽA=|)h`~Œ_1ڜ>U4OH<|B(k;=qU{R!oZo4&! XϷֺvjroH0gH+´`laIVڶ2s4@rMNG(1T[?!f@l 86蒵_'fShڮ%DVXlhNUu2u(([^;d1Ҡ//"G@# {oYJCm})*K$4]9k0KJ93?]aꊝF*ٵGTz[q7OmM܏`uDj|1]׵Pz*{ cS?0?pfa߫DԟzUNhb Wq ~xj_)_KT)OG29,H?Ӵo;B~L[ nnib|gEKE #Tc_'ߡJ ^>pTѻtɨdz/ĒF%2AM<8Mb|Mpϰvp q M ? ńL' IގtS$`Cq~\bލ%jX/b67Qh]cאᄙK\240CG/27ΌEJͅP䛔H[2y{x<< 8w)wK)|r+)Fʟvx T=<5ꬋIO}Ɔ ?挕7uH,BnP4A㖞2'4@<$iCohut`zKe(lLa(sCG~s#%7DkFTb}dORj:WEVŭ'}K`؀@L07l`Bh}=g&-KՂ>|M (ID oJNfpil \<ceRP)\WN #X!4k/ze%#.Xz,խx I<ȢI9XRlg!0ɓSD;0jnɃtx3gJN;{i뤓܄w ~ eT΄IU$X:!8Mwg-6*$Lr+M_@'&4LVv=`{U֊ ¥R@@S5%aφV߸hЍd3,a3ҵRThD>xLSM $JcM@aypłpy9gjT.Vݲhxd9?Ka9l]4d2l; $a$y8=E!w5 %~^B^(:+vIuh_Euԥ=s\ȣ@+PBʜ6ןl8PtQDe-PQWӽS#{kIM%\8'K̟FD&D mhF(e1jAPǝ܅clv0ߍGjF+_&:,a }S iC 8哥SώkPwә?L^ZVa VT;cTٓүeطB P @h| î+yf[4^e4kIR="g6Jrf LX̬ax 5;? jqdB\9?8ʹt/5^]$@Z36 m+ᰛwK'  Dw̑ BI>܀wݥauT3 g?U**F}cLjIߊK2Rz($M%aBjB |3"nAN:3t非r6\ jY I@8B/  ;/4axk N1DkڀED?sg3`%9er;';ͤ:$o+ΠIEm̥FS@> /%-WPHmYeCTbxӵb/tf^}NzY_4|i_rb ;): 7@D 1YO|w 0sfGpG0:GhN'!ĉsy=AR&ԜXeb>~,'QuOA0(G>*o<<ٿs Lhk̾5R $ɚ[,s]-3u]/ȟ:|%RT7(YD@V++W-9EtFi"WݼXuqH tqI?Pֵq'&`)p56):H3D ծEZKzF;6|Bm(_i=u H u3J^I17QOyB`-̧kD|Tf8 Pl*\ Z??ChA ʹ6_T.f:,6qKᙌrḱ~ ѫH4A"8ک('4Ӫj&3r<]q Cc}[U ^s`} NR^ * S;ӌpɞzOZE' ܢgWy ||U\ _@,>ރ,3N4v)!# Bjf6}X{AyTz+L /`7UYA6h腣W1ӱtҝh.{f{IСUX^::>W5x":]t .G* 99AhGy+ԱCnxT,{rohx^xPKsi%w~`.QԤYܵh}5u]cGo"i+[_ꗘ553@x ^Pv0CO[]ٻ;7H{o*|.MYYUc8A7 fa0[lUWT7 ׯn{5Z?3 w̽Fu($KR[ 7j=.3:-h!40+HΦ"BSeC4|!~`v[es˧n#UEx; -Sk4OͤhtØNt`F64QFt,\䒓M< M6gVy!#7#_(9β$H_ӄTuB)u;Ӕ&+SZ3c&ܫ[ 6P.C [:awǴ[wR,"4ݝ#zֻU4*Jّ]-aAՏ[|PgYZ  |W% KADKAD.Modal_Kleene_Algebra_Applicationsdocument.tex7zXZִF! d2$]A-MՋhvG"uIBm51VU,;}oZ߈0D2WgPt-|Gwh쿰)wЄi'شQRg[moSdb"3̊jZ^B Th5ۡG̖(G[ĘO FFGM!jUh.׆T}ڵ+ț) Imee,t6P:I$ª"t*=Dz+i\MsL41~jM^_T)G/-RɱeZ Lвʌn'O$ wBdn'2qѽL$GVO:T{j*1i$#s`> $ &N,X1JD`vXDeVo P5Pu'#f89ǽ!`dZ(W1$Mܘ6]UbV$l|P4i,ũί ǵ/%]IjriN)v1 fQk"J\CuMn!~(zbyP%4=~)#~i T5M&X_m/ |6{4Dl 7 ;W4}W-q=,*[DXk/Bdo@0AWQ%ҭL0@ըbI[>a*sPv=L=Xsׅ|葉ijUyi *g+ƈO<\,G*d@ kd`Yr+uT rw1em*Ta#;r(_aIq&F/b!'cxzEwv$9 S3diR5FnVV70rZQ3*M I$p`%y(lXZZO ]y܏ԊyڲmRw56'`J HmibGr-MmX06jm}3JR 3ҙ2ɇ67?38Gα}ϓM7!Aҁ G3\V%6d=,XU@TMMݲ搷L0o6%Wx:t X2B츰mbGJ=եmx55Yn4c=Hɮ%ݡit*L\ZEVEgkrkε#2Vzh5_/gYB(]ɧ?=\@iyb%T5u"i ^\׳.\L Y|alQmY3_`~잻{µyg0N zmҊn1YSLY;e >;% ,KADKAD.Antidomain_Semiringdocument.tex7zXZִF! 83AP]A-MՋhvG"uIBm5~|{ r~KK#Gi.5 ! nP diDm6h^ɍJ[gh*x1J>( $2wwP<׆q2j_Ft!VPniߝtp |ުZRw3tجÍ N e 3=tٳ\<46;?du{`RʖFRh7i4[ nqn`&䲪z'}gym&?RʺpZ},g24E7r ތ%UL4hX:VxӡbwK]-[z7Ւ,C&#D e_M>3qU lZ_YiO3yҐM#c +CP_Dh!lwCVN9ފ2N\N~ bFD@k_$jX~[0ܠ?@dό(*Z5?rӊQndy>GT}EFϫWH@Yz g}ڸ֌P8L0-@zڑS,et}qR!CbVz(w7j>5($$|*LWw:XϚRjU(e)^'9]IJ90 !j $+Bn\S F,!΃ϫJr[sq&1ő`P&N+ C % 9.Dl[{O l Л\j&9B-12!eVX#PƝy~l0j|f mEy눑RH& DfO|^I vL}U O afδG_ȆjiHJW1I ~/3^}-#mH5i'U2,ҡwӆ w@Br5kn|k~ý_ۛˍf,YY>04XB"E͟m7q_$*J`\'j&'Xcnb% D!'vmѣm"H0+a'°z]S. p >q) ;RuuƮ*uNˀHA܊|462OTG3ZTMkb?eh8zfI3hBn"lg)*E6pm5 /W/A@p⏞E6tD{8F_k=}-kX?Xi a߱PYijQ](ǭ}nP0? J7Թ*{jDZ+&l3 DXLrv&C  >_VЩ:T<韇4ú-O2n;5a{9-'"+K՞+cjDPX/[NSa#n|FPNJgb-jwze:rkkq9sp-Ɛ(<=$n"M!z:.)tWRLB5L9|aOsiҩkGbwHQ: N* aN)xj32ޮBz}%F&s W2+Ta0 b#qAx-w:ՒyQ6'G W} "S,B\ x"A@u)#ZÛ{ GLVJ3֗z) gsBe54[GftshM*snGqV4n%̃L:IPoJ.@[,!9E S NI4Cz8*GEiZP|FnQl;E0j<.B$6?aVkގ~;:*[USZK0&{D[SQg| 3h)3ʉb)Q|'-%Zz(] <)v8./{S-CQ&}nW oW L\M0I.qCW`Xi['aj!*uVBR$kw(}Z.yrMo둗!kbNYR5^^y.%AsqfcVK)uYVOYl1Tl?}@N+nƬwx#*2IDQ} }@A{`7ߊ98y"%0\Ic~#/-< 6aR7ڗrb ;{L"b%IEJ&kirj? {=T]I3]L( PV4jڈ) /5})GcԞ'aqA&yDt+OKGu=j2/ o~q#r1֊)g`>h8#E .˪ߒM)ь̻ *.~{bJeZR)rbo[P)25tճbPD>OsKt3`I.(m?Hq),vWv:lL!x;fZ*Ќm jF 0G _WQou6W HHT@?Z!;\h+fQiW#N^1AvK7X1Ԏt=:eYRhpjMUp<[¬,)UoF)im]͎<1 j\(-R-ҕ-R?¥{&pU8oL4acV|)E6!B!vS Ioգ}aۯ FbV+pr)Cb-1&au:&gΓxJЮa>m߹mF&#|XdL"Cr\ƥρ*X[.Bw)(^oAEUWg89$UF>"-6$>."vMS; g̉t_Aif;2-Q.[B Qu9{ V =\q 8NJʔ 4D)3HM3wf{>vY*fPgwqwNi 7dN> ZǸaRFu_^&N]HKvuyaR3yed4xe.j`u.ʗs(+5@'i-u9VS:Lwxiǡ/%<T}.0?gh5-3Zȩkb]PRHVmlPR&[i;Lw=c:1lW0)h7 J{*]MTbokR6 va+s[c.lgRJRlB=Uh"'8f#7( =GkZX~gj"qc;bXחV-h%k A@߫k7͢lCc'> ΌK-!k?yKsaXOPC.K#6u˻sv)gbH&;V +:[就@dtDZm|\"Md8DE,\w:5f$2\żQ;V`q|%1C؆hHP# 8Ƃ*Lm'PQ6܀Bms܆ɡ:*zgLٲ8v,s MZ.EL79;,!w`Niƭz&fl=cQvOGv!"AW74.##*:$S=j >9Ϯw *̝=6 a6SՏ[Eٺ9hV7ΏXV\Vb`ta1d+UDw]o|-7 E.iqR_ nc5 q'qwN&qD2CY <)axQF;+4[/ &UTj33١/{{:eg.LJZMn*g6DqdmfJhэQ+C+lŹ7/@DjPcz[At+zu!/;^j'e# JE';f`^T "UNd/{f=PaD)*zL?P{~ͩbZEAF؜9JaFt hjV0jo!=(}mOU`f)$&ֳM 219IjQ ;LS`v u%³A^^7Kـ5/-y խ4HqC>bCyH/nk83[C< )T3BtI(tQ' !~@L7M^ҔIp5T 8>wJ2GV%* ftm6(;| 齞ڂdZxg`4]<[zG}M>>e T6[l*˱F{3J,Y6l"&L-B,';}ϛ@ق3"V܇CVto>$8Ƚx){]m Ĕ&T& dm,݅5pvR=lDC?By.@|SN'9" , r}YxfꌗNE>%ƢT|kYEČ]Z{0 B&# #BY3M \} {:*^`AKEBZdٚ}I/t Dnʼn`՛k,lH;M:Ċ>Mc"*J 2Iu駰66c)ScEE, RHܟ6y[hF]1XA~rTqtA[* ^弝 ,0gUv]ňxIgǵ6V4")@'%Yz+X,83܎Pt??'u'ﶶDl&cF|dI݉b72 \ƗuHL ,[.%~8y$4Ro{Ʒĸ.#RyAv)}Dmښ$_gÙ e|l `dxa4/l;*"gpr$ nbK]L‹'0H-WL VڭQY$MZ9rB7̅`T5(Xy'&NsTe6ru& 8I^P-k4/Ik"=8f;5?P8pVqR98+8TD.cHt& +O9O7K\]) XTXn*[: m<wS۰`WYUvxy\);{1/d5jnHLgFc9tws{4*H]! $DCȀ߈JªJ Z3F&·}gmH.ba^K &Q"zt@$/{}[fV|V,.9A?^w( h !G~,4}m)A(!r^u]ȺcG`E6Gg U < {t(VHh?mU1/49i3jB cKCVF{o#ddqM~?WӳYKYB[]d{q&=KM@jvGB94>tåKxbz0?;}'VGyX6\#; =8tX4vٓ6&-Sm?ںFHPPMw)=>%9]k(kCV65q2̸κ~֛tg*)l=B }X OJDs!3Z_\&` =S}@0iSGչ=y D҉Yl  lwY#L6$dO QQZgh=Ӗ.3ff|)Q)gĒ j0m(*v۾ӏ#:Kj)9'w3節KÛsl!%_yPO'@0$,(>{N9Prx;N^jw,'5,[ǟDߢFi.- K9MTZ' V&xW,~Wܸ/9FAD a;҅%xeb>v=1^LћmndbfL1 ȴCr6":ܻv6c<#boQ7ťY-Ԉ,+MHT'Qտ ÉU#Ԧvȳ[`of>ʼnu htaNjbՊU?֨6<*S4!vN7~ʣt8w&w|4iO;@qnӎ𪨒*# 5:N["Z/г}+ޕp@9˪~Xx-9Q 8אsЭДG8f%uį0TF3(d_P?@r@ azy?z~2}h}Y*)w8??Q[÷ Ybqd ᜰʌ6T_!FM"oEZ:y\V?짔5MW[l8\D>:G+.rڎK#YƤ~>ƧrP#mc :iKM"ȧ6 >nCd0%&| jkv#dXuXBzVK $g@L)8@?`OA|e)Fo7\l<`ŸvA: >-gShhׂs0{DEjs\N:)z>𡤞 Lt!j9 "&D445 (~ΐ>8MBX^Ο#lg`YsT1^|~?[2 >sCUzS\o1k>3ѧ&b0'Z. p ,Uܫ/`2(U=w$'d{@[/A'x_A;~=4J Mu끷~ m^KH6!hiBc'x_ƑBPqsP %+ ЗLp Nlذh+[D.N2`Z;m&haH`dK9>V׃|曻ܵui|i'[TJV9 吰ي{7Bd>~-=}W vIov &uȣn?`\YTKgX&|[1͆3rT2{@0-"0>D_:+pqL~yzZg/0W]ϘÎ& ?ص Bm|)ڥ jwK|" utU=G =)G8c1x3t<ϞY?zÇs- cݰ_e6Oj$}͙̽%7c".th7"gȆ(ݝѥWk{8I_F]|#}Y8jCHR GtSGf|Ts@V3s!`ƭE' ƀ˪=;N?ǁ: lR#^e2|f (LW¹۞#Z&8\!.2'8R|K#@GW]gk(&?Nks>+`dzqLN'ɤ*tOV[M%=G!C [jfB8;5h1gѽp2T ^DEv/uA:3ʠQ7^:y܂+؎XmIZQ#j} "KXj .[YE{eҢR5~eWZ -oiG:'{b0~}śgZ^gJ]e uj4G wi7ʑSSոEraSn{~, S|:f2|J>O ӌSdʫk59gsM!Qt~`=ʿ~*n>.{HB4Bk8lÕ-ρξr)Zϒp}G9 scT!֒[%gQYXR[CDV}װ} Ot^=fʧFsl q']D~'8=2B3;#gA1n.j#OM!Thy<\/N#B2k<$mq[G?fKiA0zL.u|L7}>o)譜}so(VolE2duF'"ׂzKxA|}÷힄ob|@C 1IƐR ]'=.V;n-3-VM+&*YW?܅))8%R*XiTk(A81ND)` [JztȨ"T7' TjkSK|N^g[ͩ7JRWv>+4*- 5h7M3~!Hwsq O4%F/s lM; #;  Τ`i<8Ly+6Me|Q  u+Coilb49`$QtW]|k,N!V]66@6}^LŌQ?r!qp7iN 6Pmm&QftkA&C @U NW51Hg\$UMEMfفF$I&oダ˵&ԈFɸC Wb &uo\R^yW(Eܕc{y""/#s>d.Eu͘:,@Wab? ǃ+ǝyх*IњI萝 ax煸wjZn1&yގ*.ByGۓl Ox|ǵ9E4ۭ x=OB{"m6ۓIy3 Dm &DqGw~7W_"pKoA.M(|W 597ظI,UB/ uുyd_'NsI)a`yn5co\vC8C.m"B:/gH!1Sx‹63?8@ [|9")NgTۤ-^d2` v\vk4: $ϵ؃O-(ϛ{ApX,}H xJb7xO8z6~6g9:l5## De7S:f˵hY=`)䵂i[&v>?wj">|G.)mr,uT 5`ebI1_Uv9DW7`q2%G[)tA|X\yM5yD4߸-QƖ|-ݺī1nD]剾~Ǎ~D3S=|2EI^DJXFN5#K-^e:ï߮W^hDe(V{$cpiMmixK0IVMWuޣPtVJy 5ΔyV%ۛƆ1j]5"#3~/0$n<а:e07/sQLHo4DMU?TO3E[3Oq0vc吁7p% p!RU%ϰػ89+$0Ot:\ô{ 2)hiE~sh=.kb?, moW >Jnzr~Ea`iBiwcׯS*F;S(v A~<ĦOj@~A7;:Tz[Dw.b$=ZV)q )BЇOHIzC*(/޲Yxk!v:Z1zk2dvʿLnlzv t.#܄@E97RLnwdc +%^OX7[WtRGuM:ׄ7U6֬-icox;6X֮jHW!]"|Vgp_A|f9p |.=c1SHKo3oNRhrU1[-<ͅ8iVAuBu S1Qe '`܄թt꧈Jk_բr/I>.rRKKP;/5,ȪUJ.p ]nTvC/`u`ծ RE Jޖ ZJT󻤭|lOE_o{ݵ)o΅8/ၙ"wA|t;PIh 6е3*3t(Pq&| Y^:#[\k ʮeD_G^NQ|.{]7}I# {cdmU2kU1G'(QD, 1Ű4J%A׆`CDb3^ P?D7Rb}RP il*wXocы㦙ԏjaw&ݮ=!N0lA'Z =3z$HP4lE%'_%8=S(]`3oBjSй x &i?hc4QdsRE|}jt?x"_ h; YؽsJ#::qQF"`4n CfX($V?&BKQ`[Tj _όzEװ4J;El̳'='`mhIxбt8nGG#a[uyy_`6']-M|,f6to<=, [.g0l܂mPʌ^Ǥ Mx Z͑ͪkj95O#HŸFrJzIXwqT M?+Q.pØ8$(She2h=5d@jNY>9o9 ئIk1}Tz<{DN6;p{ (׮xsK^(~g+w5;-J;Ӹ]?e Ui䍣aKa\SWêʋh fguhT5cc-ih-zL0ZJ%8uYU# "$E}ݳ|Z$6m.,)@ 3R_ \}{3? }.m G?8A,7ZBWK{Uu97BCY.dKJ>CZ5%0W[p'QtVn}N,@&!>"ďެh'ps*ԐJ1%U礄7a4%)OW}I$%6~Eo{f6A78kK^] ċ9aI?`(TTep8a5tfK\Z"9* 0ЇT~HP]-Ii@LBVdB0gnݚ4Fq3q_yV "aZ0nI-h6b pZ;*ݘS%8Ͳ2MzSQ c'Nq[v|(jTPq sirtnQVDS3"pq{ '@DBKZoJz;`n^r"foDN8sd|z@wX;9# sR#vߟ-*dt{ E'kTRx|3. Oug+7 d}jKl=PË9.>M/f?j9noH%霞[[E P0?V1?1}E%\TOAj K")aNEj;uSė]|[".?_#u(_pkMD ʯ-mνyr=O+%-026<>$gZC56-u!~%?2.׼B8d^/J;M;'P#hGF31ϊ7t L2 L+}cH+ZA=#P1'A+kcvP#sΏ*oyzH-ֵu2J#e땣dg]fH&rxF&0v|Us>r"(rGr(o'`zFBqh kgBEh"$ZyYܩJ!=Z#"dƝgG+[\^`Dmߨ؅R$$mIHAv"zY/6[݃*A{)|1٩@5FH;W%&VM! $_߮ de^=$d9~$\ QMMOU!:"y8̬߲Aׯ44>5Re$@oQ֐lN!E";K{r9& St͆"y=Q L}6PY~FmIm&Ьkh}SyZA>ϑ^pZJ @'Zmf'-I/ՠ[XYQH.؁ h,vxR[a{bE Wf~N_тB[~rŋ:e(åI.uvGq F8)iڬIbkجp;h ? DL Y(4)̘Ϙ\Ǧ\ T0b )S @J;ލl/9 JuHd(PσH5g{aNk؆_{qR;7&1KoU;鼈"qE{3;mLT6b4K@ʧ8 ӌ'ͳ4lP8""@4 VK!NFa1qN\Oo;4M۞]%`N=O@xQ\IC, Y]Q4k"x+fy]E@MBC7յsNKu"eb`0ј)ӏ/51wVNx$4a(t_,?AvVKq fXjf݆QDÏRˉ`%}6+c.-:7v*Φ&09r)e8N&! :l.E1Z$#6,ˉY]+m+zH/.| O-?rF(+lCGc~;0Q1ю5*djp*,L$QyYm2җC3LYCyN q~s<~Itm|]4O 8_;Vu ktJ Ɨm=TWgm {uAKzY'eAcz59DbUxg T`x)8f0W{mrdJĠ`&T6 1P_L柱okd8dz.nlD_f.Kѣ+ ¹L2V H{wMqVϣ}Cԑ;$ͽ?L>1 Kՠ"cj2. Ԕs[@`r_ɿ \Icf]=D/ ;/G}KH~Qb(^ Z֡ ӥGKW%ȶ{9H R~ e6sS/+a*hwkx TN^Ogjk1鈷j(rd}&[A;~N&3+1Dul4#YQXk%?2lΥhEH#{Y;g+'_gn>0k(1્zz% mE>jܗi!b_ $QmTz˝/C$I9;=k`D:Q(k :t*p 5P, ACR$HiI FaV?ˌIw)- ԄْPK=S¬ f+w0R'^ *'(u\FRdv1o>G PN!9 LiGTܦ5&sH}나riLdWgd(. ?sƼNj R[z;R{"v'> 49?΍$Pj]Oy]S+Xя%}T+25Z}tl<5/#[S\HE ;9.h' #o ȶyшOUIk"bp0QtP@ 7% DKADKleene_Algebra.Conwaydocument.tex7zXZִF! ༗]A-MՋhvG"uIBm5T$J9l7ǖkAv]?y`=՘{ [탎ϋؘj #e\i&&4S?{S)DIPJVkn z.@яW h2pҳ/?tvoGNY gv|GE7l#ѽOR* ?ө8\v~OwG݃2%'>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ڌuk?JG6aVZƉ{~w4% WSp^P+br^ѐ5ޣs/@E5 ?V hoYRZ؋Ė't_sq!*ܘI,60 79JU3,Uy͋>YԠ5S0k/랻T4\v"&.9J&dsKOT ȋ{O\Mm;i[A-a؛iԎu孛&;f":"5P[p*|V2L%:8&\"g uHeY@ &Qi;:Rb$EʆM \'Mh/ftl@װ@0 вy(`Dv,e3dLFN2HL  ^̬Co~1,:*"g 1u3 y U:c]:1+CJ }cwI OH4cCm我גs\u$OI)"u*9/0sP`pV 8Yś5nY:!ImPتZe+R=F'!z Ax`NnI%F*6,gˈx݈dƕqRPWŌE\. ۋtMmMv-v-4Szzq׆*׉1ԬXʾ')~7J@p=RU3c/v FAa9!C3ljtJbxV7wDzGFy\zoKqDџ7GOikͩ]l p d.e*5b%Ɍ5 װ|^^jc y,zA QzT'ϹElu(8:"LOݷo 5^0@on8eIE?bJ>Zz4`+ &~9LOɖNo2X'0Xc8^wj)-E{n(Dq/f-Ǡª Ȧۖ`4G[6:S9^ HO 3.ƩD*=^]J̓.eZƪYVt|Xj# od!׍}&Y0Oa9Ս]^3{ 3֌rG*ybq΅ȷU(,HzиYiTSқXZ'):Е p.TE< '@1Nx'u,6<;P^Ba0p T[ peL.Hŭ럹tS;wg(og!42Ii+U!ͱxNV8tpV~S lю+Jzbڟ hz&as ƦyZeG@J<`utV`&!{Lsnpu :Q*<IqS٣DL:m?Te#&h-"͵=;In;xayB{gAء%^7hd&2g#|[avZqIml2F^sy<@?msW85)M&uI\ow^?5pz40Z;[$ʶmЁ>!j(\z)=tXsS5}]D +1Cˈ܎(7 x˕hOFr؎(OL. Uyd_4~@Qϭ}bAR;xYdw+ sי#*؏#Tղ\5?4^]i!9z!8m1sH`[r+{sbCƒgvs_#,PT4Ǚ&8eҢɇeY->y,4[({_X##$/-LE+ki(ܼ-h b,CUN'E5k*8)t|ƮxUeC\XsuϽlj%8;bxFvS ϖ)F'쳡h< s@.SOwœ(OoźRe]!g~WBKҔVb2A ,v@MYlfU@bCu=\h n~ ޯyB.@w4yFJ#,$؈-.Nr8D"T؎bp4%O?})t_ldE-q}> }B/dsմHAWE׫~ɋ2{?1hmsqUL? 5K6Fѷ^`D Qxf>&.1}3u?ܙF?p7+GZe%)7G8a>;I)qYeyLpf'!ɢ47Zf:/9k֎q+~^{7="ْ[N3:J:z;Rb XMm _(q|?j_Ha _Ft UM(i\T/!xWy^4 C&A.ab=b B%{`[[c=|!sQk"|YPn9)hCIgD3fm!jAJ[o˥$:,dJ'yZ 47(b"W4Tn23f2bݿ:/SP_cxZݛ Od>Z;zw2'3N8I}p/E.4x!;~$) U4ouϱc6ظ)R{dou\R>捓c_WK1ǯ5컣k2- kIO1FcdZccJozÃ>"NeU{BS9yXī:n KI]^ ;h\,Iu{Tn@bG/J!M_AX)Wd07Ķr4 PɫS@c52ݶ4KMHADa_,eLeNa* mŸ:w2?4@+fuۨgx;2螃Ms PSҗHbieþ[:Br=/eIݗ}FUm:IWXCżϔ8t'Xӱ/ڂPaK|4[: ܚ][x:Z'E5ZFy=bA#(>Ɖwlqz٨ ͯikUjz& >JpI<̧ѡe\>H)77ok qS%IkPЫt:Z߾nm/Wbʱ O&@M3lL9Fa2my*&.}NLDG8h*0~v#e}(^Wr REXN +6e Bf!jJ1)Q0F#k##&$sC 4΅4gYZ ++JU% ,KADKleene_Algebra.Kleene_Algebra_Modelsdocument.tex7zXZִF! BM]A-MՋhvG"uIBm5ž鯷5b} ~/{' Ԋh9X]MK`Q{[4E*sx, _ח;ʁWsdU{̑=u"ﺇ'ґCXMUߗ3@|,fχ/8Uot\iW+7#lebhi Nφ}=xwp T\Th9K ƍ7Gomˠ4hœUwoh (@ǛRB@4M/٤rFɾbԘ}KJHU,8LQϮ7mfAZ 5!@V?l=79>RGP,&l[^O^bPDT_vAoENFQĹ\ȵCl!f/.\Tv/k?2YÓ;ԾU듊{1{#XE5r (q joxˉ__OiD<~3攻 WeG6PUs~NE#a;yC7ۆN;zh5a=3Yƫ`b8(.c@AF(iCXQvKȏT!? 9ȍm3!`O?T~.A%rEKlϚ`!y1C,~`|*k%,u^q?36uV';]a; a)@Un8v7îKNJ9>ꇲ8DO]i\lu Dxf}ذ1NR|֢]].CAQm{yUH}0E)XŽmuށ1 ,E2Hu޳K@K^ _8<sz>UҮ`P:W\!P]fu{+Tulwٷ 6ƲjPaUگ45ط ׳s8NK`OwZc)FQ2!s>xjoLߵB z[]6ޖ,p"@ۆ6ºuq~^.T 5ɖe!1KFUT*xbiA`ig6vp/QCzW9}v|f0z s-^)~b?i-.̖2;Or\yz9CnC:-ȼ ߩYZ<`[&_n΢EMa)0rUeNޱ'}WhxxUvϪ% 9d(rOH.z07r{Sf)]r[A ZR*?^jה#T=^h+Zarpݑ`tS͵`uA#ƒ⻞?"&WvA V I򁃢1?b+@tMEkȲv#?:ETnǟB"'T{Ci+L_o%lƊ{_oo,TWfizrFn:~Rj^#{[Q7U縦cUܞJv̙;_ uC޹/Gpr#Ӷ׾ch$B=C[j!s_?~6`}P#!y VoͭLQi_16LUԠQ%nY~ Ys!vBq{ʽSsAHrF0`-|OH#7B0>\KY 3xLa2.fb޻e12o:cX,x1|O%Z%Fzd>XPbVAaRT-R5>=C>7z&v3(yûv_Z|Vؗ= ]] 1% |KADKAD.Range_Semiringdocument.tex7zXZִF! o 5]A-MՋhvG"uIBm5־^/pS v(Di Gukf]b椿З|6HZi&uE^+?[g<Z@?[ f|Nͬ. y"[4|, og %Z|Fo4dh {Ew5nUjhk׮ȁՋ+ǖ` ooS2\z~ꄋ Ҡ͸!urL*Gq/q'(d?F±ƕ9s6{0-u8dmBb+-j\An IQ[EcZe$܄3LH_OwMN/vuY8F)c*Mˢ^j>t`,% l(Bϵ|F$__R!RvzT@IbOoH;-6.eh,"H7-mW>;hI39,(,_^lґJt\&]Lj4 f,dė:)<`+}+*,jpxb_QŲAG\1 m4= <JVJ χ<52;XhzX"BBѮ`F8gop?xb ',YT*;lbgx{&߁"Rֽ=C g_x.ie0/u!k"GH!E*)X,fV~y3sdwGnS*.h px;-d,ʼnM uluCXA"5#9Hzcߙi@X P%y+$17N_X ڃ ȎZ[E#%PzL(^kH"1ܥ9{1~BkW_B<}B#"L/L+K~c.|=aE#*%A",,snWQJ٭jUuOASᆬqs);0=xZde цrޫ%:m"{$K{+:hcZh'Et쌈.ګ9К);Q#/XÔ9btI?gXG[ BU34JvCUTܺL~djmjRkd79C`8-P"^M׬tMn&hZ=5N1ƍa6Ř/] j>TFAbh6]NqV.Lڐ|V UEbKҮX"!$ոN{}XZ_"GFtZƈ%d$0ʺTZ]K\E̠&(|Ƈ2^O!(3 qћ FްBَ$R+ؚ |o .֡Yc]}`EH SFqT`*;{"& O{דqǰBsI; Ԟ$;!N55,:Cb_g;rb >}MCȔbx7e(X[773-H% ˅Ugwl|i袟t#AGEjq\Pz7{; $lhIS:G+19C98oiG.j"fՀ5ъ焼>{iK'lkVO5i5 lھF/Rzi9%iyDhF;'[=#2gYZ b =% tKADKAD.Modal_Kleene_Algebradocument.tex7zXZִF! Rr]A-MՋhvG"uIBm51VU,;}oZ߈0D2WgPtS4UZz5ؘ7|lu~ؕ_EɄ4zBFֳ'Iv>z 8zx0GqvO՗X=aw0\ $89<ՓFoN7Oր:߾B`Pƛb אx \yjSE5j K3@Wa:&tCr+ <J—*TUOm<h=|H%_*yg#QIQ*3hUSBӍ*JHF]R# q!?}̋rEBa蛨gTUeg׫;`ɍAKR}vG巅2R1ӯm퍆n_S,:/:^k[FwF N~ )"?՗RW,59B0mj7zZcs i|`gCJF88&VOs+ N 8> U5 O L΁9傽a+v[(4A0 ,uC6i"{|F, z$}bv#F 'i8d)N3Dl7S9f5aD/'`Ls2;0+gww ^]gG#j. T-)[bCTpƋ|cI9w'YbA|lUNʜMaorg̜vfF4"P]c'gLuLb9xhqXL8RN:?7Y>E1fטEqD^)=GbZ _͈)YX1moX.VyFe`#/L* %1oHv,+o~m? ͊vQPL^e_sJ݊?VJq0ԮD{{hu'r7g6QGL!r=M?E^J t@)g%QP(pgIYk)bB^+`<Ĝsey~ >U:aN-ɕiltŊ7DŽ ID }`S㜬Q:2 Ks0jftv}{&2M'xx'(p{[re;RU*^#ڶ*( Fl+7맼?gC?@I݅$ .Tw3p&`ۅ/o"~O)hb()U.IAqbV/'{i-M+$P0W6x&4%Y+lcK\htJ!%~R_2B͋6F9՚a9;'O.I|1}#bWm`Xo+hSON$A`aquj9=*Pu›WOB䲭g.e(⾭f P~tkx!O4eqAxq(czݫB%13|=)I:P`=fzK.~**J}]B0Xw޺Ǐ?z#X_qHBxx4"saEڤ#M$"Mbngz#̠oQpJ NU e:ڕ6!$; b"28 }N.H獵7yo( -- q&BK6*+\-yK<(;L6t<mR2Tc_tѹFٷDM8fNXZs_nMHo#ǘ+}jI T%_]*+:3b]̭J!;s#!P`ҳ斚5liLT'K;*ع"Pٲ;#Ƿu\"Yے,7]Xz=ϗ;gYZ s ?% KADKleene_Algebra.Signaturesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤJI"E0*W@2n1;r\yEayp3}j_V10m߃7H5~DT*bRk1rAu's'\Jԯd|!ZB#v9L}unNog_MO֭ogX}@[Y Di "['ˬiP?) tƹ7H?DG.h+Woqo?XrӘ|4Z>X׷<Y|" }'V2r(]Ej@S)dgY6[`2/Yl[,^AY Bߎ*89͑N7Ir9˱I-ohTI~9R R`g9G$Tv(:P{|$:Zee6bw^:ȼZmsH3m9_+@vVV,կPa\h/A0 9J}ZqWY(~9rLu<+ϗ (-| $x?٪I煺j8ES|.B2奈ç8JwCqvSeNQzbynv׼Bь1~c%<%q%DHǓ'f]}[GX}^lrrMD7)q [uW8CHj$6(4!*DX;\sHlF!=Vt$X}D~u/UU\TKO۾Bo`j0i5GjCѡJ Z-lY$Z7<ٹQ^K'l6GgngԄQ_N/1HlgHqymJ C,$,Ȱ|>i渂7PEAqf[Qd ˜DNܐ2?V[uDm+$~_oz*8yJc;{!d8"S*|ZцftPGg g'͝*CvNt tϥ^гEyd.BUOIZ6#13zNA[~]; W,ALuA&Wzɖ\}"Pt+6Ii`ICPJQh6Ћw($T;Ch\_Cw)Yem&űwR-t:X' 6{\)fc p.*T d^IĞ}ZUXS{nsT!CC}IH U(ĺ ]li;zMvƩnWgVr;gYG|!SM x}gYZO&];/||O;V3n'<ޗps/?(Q$P=="X)Wȱ+z XE+^MmXQ꒫9In\& *8~ yF'p}1L^%!ns/RMqkFoo,f"RV1߼ia*DѤȳC+vΥ=gYZ7zXZִF! C]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]w-ق+8qkdr{k~s~[p= Tà+sĜsx|ܾ*|@rXWa9&Q+\Ѳl45+ }QaJc܉<-ZۢW7]'+ 䀿E@CI&ګBXL/}W7E_Iي虴6 ُtUkp qw]2$o,kvMӂ Ss6NyY'_'$ C[@oLl,nLIO0"R#ߟ=9@W'{dar0+l74n;Ӱ^ U~͸J+W#ՌNX̻Lf^&ΊQc$fVOpɖF-'W<=_P%Bߙǣ{m++6 SKM Qj@<shߚX)/[>cbl+ _oM-YSWޕHg -v}c2uKɺ֕>9>cUo'.QT6 [NR5o5u\&ZQo NےA2=k(yQ/GåKSRDtu[:ljJ@z&+㗯D_,Ͱ(֛՛[cH#!vB$$eR_cOXܰ7TִWzWW1.\hlgGbbHA5I~ĬpyS*di:ֵt%E#lpZx2UǡMߚk8|I޶Ǜ⏂ζ!i,LdY6u8R-mE@O%xR !-v7yKqhuO~E݉X] ނ)+FxK^•7|%f!(Vp!M0 UG|V'gvN7eXm"Ɣe ,WfOdHص,4 ,AJLuGy (79 9#8q%Q 3~3)ϟp^6{ Gi>݀ VPlH_W)S&1vm9X=?d>M39Wxӌ߁޿1te5玮w3 [`n:pt;oK8KmrhA)8=䨄*s(Qṁ[ }S0J&{0fwJE3`@}[-hӒl, w(xFB|qq" jܡx ؿzp߫xg3lׂ5 \c d+-I)_$2rt .Py^Y|.Q{0.zAAd+^664dpYd+^gZB|B\2YUSF)0KλnfHJ]ȍ3)?Eނn@fawar![z+ZAqWLB׭Wk%x>돲̭h(I[xB>YHHW2&I۳7d4+NQ6gs'1g<bx{_IؿzzN1w$}PCL8f^5b!sH}dy0 } vmR{C%QL;@b{)WU1Joor}Zv8#>c ߌeX/"Mob>/1_!]VIDd,I._eZߞ\E@[*[* '`t.bKa6m"< w Y+πTc= \=zYk@'Fg?@IֱG@镌b䌴#)7yzRcwYK* !zhg}a`f`}"sUq7` ^|\Z6f^I 7"/:t7igv9RevA &œ[>Q9 G9d)hǝMV.Wn#0SI|/Xl;ӡP70=o*D ;^sjB*7Z{ZǨf£#FF۫_<-'ihG)AZ7D˙rK`Lm0F}hݫs{{yc.[`3I`6Q.Ϥ\7%?Brd(Kcu{wL֪b!%D%+ilPI{c+;\uO@}XX H Vl:F ѽ?{R$A-V%ݠ][e}HhˋUY>֣(~N\tO-*F3O>3^Z[WsªCkih ZoSR /0[n5[M]B2I(t /{I#%Û0gx 6 QLƮC02Daxو!vGXo;x՞oL)e툅vY}+p}- )|[8Yy[kPwgX#k&ώZ^o?;7Sa( jIg DT} mqYo|| KɊ ZTd=0=S 6w Ur!@9/n9WuilC)3}м{#o5LýGDK+ p.fY3ηqE_p*2}4x1HhEgf"W|?2&eq%"ID^d&N{'ZQö[ؼ :2ProZ\&ŖN=lI|)| þ[/CRx,& z!&O <d$rslFLhזa7z>um!ʇͺ,T4N_ ۅ3-|ygtO.mB|$u뮗hvr_tΖRfl۷p#0H bxT wQODpӏ ]U; $id:ؠJn‹P78~urW3.E v)!};e{!nz]v`ovY8} HGǣs6}!1%"Cᙪh҉3r-Ymฏ膁!×˻5H:=TcW\ V |6~'WrJ@@ojoa3y61"Ϧxzi' {2 U(0=aΆnު-,Wf%h%?g8UQE;JCXhʄ8سŎ\!U/$.BV}/<>0^YQ6ԉp/a%:P)%bkl8?uYBPJkO$+vRV# Cb ~n;pFDGw2l 'ޮU~ߓg)4 vu^xـUbJ&R۬/~f sNT1r;Cksl~FSc ,JTljοFi;Y%DL42tqִDoɼ2A%]b^5}9Zvetxuo;ނFb>~B5jI\9|mZ sA|9vؾB jrWo=]PYvpggNzbGM2`Lsrd`ɰw.PC3t~T}9Mt:I`?)ϭl!.E.dGⓜ <"DcְQWSvHEbf?ew5n_Ų#YUHG!Xm%Up{NbX0$.X5).y6 hxC[E|ǤG$bV~Mٙ=m+EާbҀ`xH Ak$KumaL.!ƺ #@ZOumEy(NjhUb(ύ vd\/|R 5wvVnN*y>ݐkkjVjWX5?7٫9*xբ`X./" ի~xt u1? q# Z|D$|8"=|^AAp< VVm5 6sI5 + m^Sg.I+r8lk;##*]n#I7҇}><>I}gf;&&aJ5 '@k~:F \',l#)a\ hWb,%t\'9Qߨh ?vzOwmf:0"TfmI.'b^O d0ݲp:jLbD4 Ř[evvTҡt]_|wpyLi$k!QG@/gr^UZ%scJa"$1NGS`^mTJΨl@Bퟘi+WVQ/G \49$s$#喣veG]n$?tSu1>d{Z< o7/{B5Loq7CtuMȘjZȊxM{Vؖ*. w"RPƀZjbl6)Ͻ 5^C [ɦˊ"A wxB*s8ƅ#/D[kѦچ/Y6b.݊?dtO]$,mkXCi=䁭^ҞZجou-MXV]ΫRv$*W‰?Wd0P,e, =\s/SR­BDj7wp3=`qM(Sw;0.PӸ 8E>P%-[r*kPz]40tkL&c-#6㿚x."lФ]όʨ@*pj^g+['ȂBneIiPyX3{ՍBR-CAP0!ܑ[s7=gi/!pX]}'ElNūch JD*3gAu8d#胠6Zqׁt{>nEې(7$9Ƌ ȱgYZ1b1dfae92a82ed2b84433a1ae1941a3dfbc51b030a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122