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  H H z\d ]/ KAD:threads=4elapsed=189.419cpu=312.416gc=18.8207zXZִF! p e]ŗXiɟ ^xe0iuDEazH&2x_$8t7/>vYp,՚F%W\sb3m&5a+V$5U C-6"(5hGYÐةn=Em\S`.'T}jm/Rtc6qη=+TW,6)odȒOi 07h#uRu!!l!t97 Kj)-щ-"Hٙ"L7tby^/T5@&fF3rJ^Ykr\Wd|1`rw擖6q3Հub, oh?jZ{kЦfc(VVLuwEw'o>/A+-1ggd   KADy W% KADKAD.Modal_Kleene_Algebra_Applicationsdocument.tex7zXZִF! d+$]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:tTBF]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#@~-(_/HXPO6_@-^:sVQ-M"#2t=]7|DX ogr;L唴m22_/(fKjT 1 3[߷u D`&$K}îtMn@ޑT/X`W)HhP^Ηu>PofP9Dp}]xgXȶ܈p eC{ EYpF(){vIzHNWEpl4cfޤy%/Qq \~vSn\hEb@j:~a%Ć;F^z#էd'xS&5V1 h?J%q([} *?ďn"_ú.$il>JbPgZ9\POwzj:)2 ]F nMj=(s< 9҇mef 2UcodiX8ۉգђ-`OZ+SNH# 0x2ʦCMu5oY!<PZN9ag5?~[H{0=U7{_(m0i,H6yYͶцh|M qs%E $b_m:%P˼4gX_e[\j1 IHo9RXUꞛ"ѣGEZ4;슴 Bn[.ANhBն0Iߤ")cG沿'G?9 j*# ec t2phe/o3ռ98YxZƉD$)rxPq0(RR0e//#3GO?xn_mHR8#z䐬(鑲]#Kub;`A)vn[h.P [t'fC˓z1甚,ߗ0!, 9Id of2z^Ð ||Au[߽AEN@  X$X%#w 5F᤯@@r Ncx .j–Z0M{ f9!-l^6 >7N9F_֜A!w.cBP"E(/`nT+0WUDz[7f ȳ@>Fq[43JjOsBw$ p]ʢ@ZcqyP%Q=aIj6KB&G`LzXbfBkUK|; #"FZ [dngGO\#OUnuTh8"9SLC[3@9ߛ3r6'};$xdRd9 &`5`Glz6{յ"gbJث#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_?ZmR(f4]j]f=闓.K3/rzw0uI+x'x%5%|itk4C:~AJBe9`u7F\CMp.dE+JNI~k,270HZBJCZ(ӯp 8FED{ e&g#&$PӏCXp{ aZ< ;V:ʸVo4E7DQ6RJЛs!]r=o@jϼ[îeyHU?e |~2xDp 23?'aͨI OMܙҩ̪WC– -D-&1T?%^y; e!Ac~1X}aGxQ1PFVjexvw_r^OPfHn60j.P")XKRJ,dp>M۸;%Pr:&^WwU3+= 8Zf5G7 sX׀ u#4پц?B"-1&jV!A3]hV9o37eI0=."3sɁ nvy}g08eK ~U?? e͗#A%^Ld*4+\MIɾj`BKLY~UC-:|KʀG4S"N] HP 'O |(Fzu-SX ,2XAcy1Eoe19c%zX\=TFl)[YŨ"a2,%c(^_J{Wky!qgJ\Z3g_l]ztBKJA|ZZa$s) \qiwˍ0K&wGHcc< @Ju"4 U@ 6QY U*~Ԍ1[cHIbMQ(!gratG[U<4ٖ0D_a(KlmAgiI͊ߖ m2S[7JE1H%(hŝ>+Ws1/ko:Ju,IXY`f lEs5=-D&o$gsHViґ?P<(bKD -'ݼ`6s\<NiwIlvhg;[j'F'el@( cf0⾮|^Qkt?%b $[H=EgYZ  x xy W% KADKAD.Modal_Kleene_Algebra_Applicationsdocument.tex7zXZִF! d+$]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:t7Ւ,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 }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/ZXIWgCۘ!> X4:0r8 >y]y5,77p4y$: [{WNF=S C{z=dwRKnJFȹWLUNM/* C#^аz%h҅-2_jJc) wӔyrrID9^ڲ#0طI}\AA-U7CcC~1"`1-IwkX ;Iᝒ]|(6aQ+ms#fXUҾ tPc~K~f>&NƬ&j"BO(-3<3%ڕW{v=zӅmU\3Y*5Ռv ^aDI,Ń\; ekgeC" ~"lᄝ{(FbM6JE8 c JJʁ$՚ݚO'՜}[ sK]_5J3rGW({E5`yaށT]7*8"٪1۰оk5jRT\+ [=p~&?P`u1`FV g )8!VPfpF-ytŏ8O+O U0](P͢+n-Aa9/ =ih*(My_KuLMFhJ?|龇t+)H*K/i_%su7]\%!^e<1*!z*A$? ߩ0G!aJ9&sq?!}#tpCmΓ+e+.Cå/T?/.?KLIHwՙHIEC4j%Nx|<;q -̒V+_=܅: {Ah5,)ޒV=l@!hG, yޠ un1Sj<n}UpjX^3NJ>_.7R-l_ܔSp~$d."gi2F[6aRU@8dgQfwM3,0sЖ.̮聕ܞ$8ǸY|J( 9^)uZkRjx7cnA$c41zdr6 vnGUQwޏlQT)aOFCV=B]nL!CHѻ朝~Ua+sVG3VT# @]%1ˏ}Šβ>X9ul(GdI&Z 0oB&1 .7!UaR^G9te"r0( TQTD.DQtY^D۶2q"!d54xj7 m9aؠV5=`n܏I;b\U BuI0IzT<ʡFP^[V 1k auOK S */MzGY;RL\`gםp! 13**dˀk,*tܴûLLW?ҽn(٧*4?GNamH)p%qKG{T-Nx7Ec$rmA7ŷ8蒐Fr`}5A 0HR41Ju0`RJ#hD!na{ Г҉Ůhޜ_qgdXf,7\@JDw{To+8u D0Hَ7 hVNjpN80<1>/rs[NHTN)cLyR+e.gn))K&ܿqQyat&61>7!Ixo@{mR0n&IY9u!L[ʚMOpWC2;v̀sV4?] NbyO}Po1_TDcj Hos)&O:p0HВ&-+SBC!Ѳ~б؃&zAy(;rdù4t 8HQGuNMH.FMq{om!v] >&:W+_|/\eQx :Ǩ30_)c~7^LI-H꜎g8/Dkl(J2{gԍaB >7=IxMtݰྦྷpYḺǡ˻NxʆNN߼ol|yNѸǯ͗e1#vIyN:] fcU% BtRn')+yMOEqhA;y@xz'Ԥ~HQ݀p p-OЅ4 |yʔkd͙ǖ#=`3ߊ;aDC43L̊n~ᛁcfrmNr*{߉`?ygYZ i i' 3% KADKAD.Domain_Semiringdocument.tex7zXZִF! RO)9]A-MՋhvG"uIBm5ۨ&ʔ7O=_{ `Ӄs>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"bp0QtI G% 4KADKleene_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&97we'ґ=; ;% $KADKAD.Antidomain_Semiringdocument.tex7zXZִF! 8,AJ]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]-[z~/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 _ gYZP@Bc'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 Nڻn$f5Th OLx9FcPAnuے6^.؉Zw vygdŗi'mg8lgXІEڴ\kf;@zry}˛50klP9@PI![6n╳cD_{F`?Oa8g%1IKӁ-MDA.#J:ڗ]W~/le;hճ N&1Od_8ZεS/>,T&bQL0Ŝ>gJN]>Ao)aCj>2F<*莤U(4$^:PT=|؆Z^aJfiS0>ogrF4OoW_I-%Dz&׿"G ^.^3wߤGo< DVqxqm_]ڑ#6pG٭+m9rIN+L #\P^(BPۦ4qA%\ Ƽ,^Il  Cr28ϓ>JEpydxV7qA׻"Sthi'Y@B.+)R2.ӞQ0ν*2wɈ ,%=9E3֩ڦ>kC럮 FU(`tؾ 0&NCR`=FVCT)8BIM[Hl;Bms6 n_hJ.ˢAS۸>]}9lDϣ[*Oj)A^nWj{)* ~Qȓ%pOE3JWh=lU_{~'[ՀɋCƒO֡?riǕ!WN[*FyTEa vN=&Zc3ͳ8̵EIZo# YsUd4/Hz7C[N8X/7_JvǨGRe(.y81f^Nn,zRtjoh>r7>=ן-/")ܾq K ɦ2鐗(JG&|b7`+wμD6Qz ]}Fhz72%;Ѫ󇨴gОOI\-ce8],s7OwTs,UlzHwEof5X Kt>8"8\C2$]m!Q?/Y zOU#S >F,Bxʴ }[>Wyb'DB3Ѫ"W \ ɋnbE1'JQa{H&DM+ņ6\=,oMoj EN"6)|aN([D'Q>P)6-oh! KeL"cZ #N]e#e~$/n.eUw=J.5Fꢥ;"ő 9 "Hz3|t`] W> #K;jcgM[^&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 Ȧ2@O S9gXMQV_W ЮkmE5y+9[u"^W /A͑~tay}*SYWַKγ0wFeX[s8/yCx/5z#S)b%}O,~*4*SLA2&1ث L &GBxW)3z9ш,gp1ϪV`Ϧ6-'ϫnY{NNxhPCvh\O[r1`Ӕع[|"VZQ9H^2zaҍu{kI'܏P9AM}ݘ2)_M;v.f_N*5ahAD(Jk 3-n{ 1A![w4Ԫ\ul&3uFX k\$tJbiKҙwb( M9 #=>p. sOcH XI4wkDiTgL+v>[o:_)W5;d4Sޣj067?=[;I '1Q^ڥEJ&62_% 5 LLdTprl-1O\5PK'̿2gi=&YJoj:(t\ĪȍORjc4-'sZŞiIj[b׭`㘙' w(s M0˄T]ݍ6ԋѫNU|-i4D襞JzH %XRF~^I:vKRr ET+( 94[4H(r"|.sBڞ(>>3SyZ6;.mE,:eRǰlʚヲ/X[M?Iṣ0Műfsڹ|-*Ҟ foY.BFۊ#S*%K#J NjdUa()cP<;'x@XE6YI8ga'qY;n֣5ͦ.crĆ +\v[jk:ݶyg+ 5̱Oo45d(ebh.AH`GMz/(OՀA_rʠ3Mz-=UDg9+gYZ C5% &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!hiګ=j2/ o 7% 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:*{082SrⵎE%vf V9WΧ~bk"Nu" j FxT E %~z)\W,kgm)Aqޚ˼m\B8[&Q}QiVQ\&W94`-](;)|4wTb?8 _dHd{(5F<{˘x};%N3)ܒ?NV@OE[7hB* U˙i-ҨCPHNd~sfg 6i0!bu20%X Whh|Y*C\z1K%߇vbmݚ<؎oya;qgwG/e4ñ妡^Fɮ\Ӟ,!mPtвy[(HsLΖuz%bt( y vWhF!D9Dt}/U 控LhI *p;'Kx,|`8PC@@B4Nt)dvyw]er1҃~:/;ųD"RgIZՔsnCťaZ=KcMG |?%Wq[KnupNP:P]  -%Tv\UP?`|FmౄQ [ d0gb94X{^^HYɔ2{W!`Aj 1:sqVsR܁=no@RM78Y%̕#XN^ĸ.@FC̚^f^cxxXb3oEWPk5̂EhJ;E]$m\H7ԭ?{L>ڃio5PbH9dNB,_:Rxqz-h65lίGnC7LvFÁnPG4.kjÅ}]m>$`~ mot{RY?xg혖9^gԱ*N(E[ȷ8Bj!~~f\ga+㏮H8p⧧~µ = kElzٷh87D: MiJeR]@J pYϒز5}e_AЮT7+5c`>57b4Km;LdD!W@mBo Y K8$&.U00ϻC?ʏ [E;?Xzu!YSp{٦ouFɗr[]nC) h˺eⴊqoS}Sg -BgF Ud|LPW}VƽՐdQ9NW,7R8|vzlp%uHtS~b-W@aDC@9r &vzC̗[< GŠDuĐu$4zS:qEl(ihČ}^` JZwNV w=۳PA2TgFj Ff˓L)ȃZtGgIԘ5}ՏǘJL+|bx?QrL{藯߄c+f'nkū&l?46և_\@KϋtAVhP[#]DrGHFi"w7IY{ ox !5X=rNl._}gmedZgv=IAysn1D?i)!71W5Rd¦aBJyoD@X9S%Q 鐧5n@eIG5tqg nUjKB}7K%de;0òb-I*'+,Eԣ@C y܄M2m1pnq3n"gbRk1rAu'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\v)K-zdC4%Y8ɏl~NEú])]|I BjӔ6<¿ 齓]?CY]:X%'=+!=Y,%y1.Z N/70de hO6'Q:/ |ٱgYZGU% $KADKleene_Algebra.Kleene_Algebra_Modelsdocument.tex7zXZִF! BJ]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Ʋj j˵U{/GdZ^.RrA?RErxIJ'T -.+À7 ٸTZ[WPFp9lFaIYK߈cRC0+ʾro6Tr O/Ww;2@v p}Bh#t$'BS3"Y@Մ34&+ \#HO){/R#Ѧ:^Wr9w_Igi7Oܷ2p8uWT{h,H'vRR9)GRՍa`kug qH$k"L%RB;R-x9o ZEgW#9D+ORcQy믨.:(zr/:T16Umxp) Ÿ:OOvU/A,k,~e8!7΢KF6Ag@vv]̻*AUdƌ 뫣mR^cf#? &$w**)}Gc45 PUK)J̆ W4c*vU3>@ܣf13ݲ2,HRHx͆U KbU94qUHSWc$u4ncO {?l/{.eLhg9@^9YKP1 . Bb9C7j8ĒꈱlxM"Sb8`/Pc gM0it]}UxuХA~hsF=[J| T9үZw}ßWLYi-62[Ky"}\-+o)po7(LIaL]_`ܑB( VJŀ `` 1% tKADKAD.Range_Semiringdocument.tex7zXZִF! o 1]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"BFہ>AT/ ؚ),\)b/5+Sw瀈MC]ь>Qƹ~A-OMSs:FkҸ;))])[0GJy(m>~Kфyf͒|p%cL"Ҡ2R10Z4e9)@ RQذÂ>' 㤕6t'+[> 2SGD .}SD|_fVGfAj>TwMy2F.?-?[>9!@JKBsfvS\d({l0?EV"y,y[_?"nq-)%W2awl3UMt L;"g؅ḣ V 3y- fEu(-1cc'~_)n#k Ȕɿ_l}Ȉ n 9la̬6o+m gYZ **S =% TKADKAD.Modal_Kleene_Algebradocument.tex7zXZִF! Rzc]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(@uNԫ-c8oiEV^DT3dX*h:j>7 &3}69м@q0}P)T8nJBⲋXM%)]ۤA?dvBV`(RfJ@NrTh؍\ns)Sr^*14quO1s%{d/B_}p]{xO3;r2]:^A0\5c jjUj+GXB@Dr_2KiS/u&r3ycPkf͟[0L)_b~*87sb3ǻm8lx*_ 1@5|q1*qZ"13gGжy0pJL^gXLȽ|ѱgYZ R K% DKADKAD.Modal_Kleene_Algebra_Modelsdocument.tex7zXZִF! |.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+6I$Z$#j|Pm1~.n^"̯#"b ӱ ׊%=mÁq>eTxV}1( 2Xjࣛϡ_qIMػ/~Cz98:_g$ݦm5 lKɻQz$gW>KZMa=ydFjH;`9 _JFf x gYZU\dm|hUr*Q{&T!o3 ߭ÈL[Av&s))tiobY. 8 NeH x"@l<SBaB^~glؗ cf@rϝvJ@īN=*#-_[rFRzN;SYqtNi(㟲G vA}J/ej&:wAI(4tّ k(5Nn\-vŅB 4y8 TK&y5sE@ tg*/ WY1: l_5óm,ÃsT xx] T" m%W搭^$g,g˿\5E5Vcz6+^1jelyY"$m9fky38RۤjgekT,ېB*B[oԜV?'LOt}ǀV_r"ہ\ݼl)WIÖVDQc-PYLXoJ-̩TLWn1<*bp ? mm H ,jl9P!jIv79Cd'ZJ0<|A! %TD_Vk=Ef16JojQjSa 5~ )ħu#oc HF|pIQs Z'`BlͣC]jREU@hegVԙe[4P +hPm4;]ƂggYZ7zXZִF! H]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]z9\`|3E;bqL9I*d c~ڠRH_}Zw_3V\_JM8$YsNېa[߄ׂvc2](4 / &@x8D}T^6^"½$+v>otKTZ&n,0\ZRnTħp SH@yN(Lw)][ϰVyKe,y b-E,}N[Б! ȱgYZ7zXZִF! I9k]ŗXi%D62VO.%(h4'v5VFyһ1|*2nU#w!9悹͉7l ^Aebuw@jnVx683gX%` 50@jH +H;;exeo>9pZ#3 Ys˦ r2"C(vr9ڼ}mk2t^qdD},ZC»v~-oy]$i7ߥOqˉDR8Vսڨa*TL=Mh3Ò0M2ֹdG Acy:G/n3r"iy{&%Wv)RcXLdN;x1&xo;?C,jkg?qBF/6n^WʳȘ!6UMet}Ka+-`}a ÓA=*>k-q8Pغhb_4/NZCU?S! mVR--32Z1RD؍LU9$Ix5"=4;tTQ*-ӱ"ᴇ'.7˪#OaM "[ ЇzQxxJj i0P^ٶdDKł! I KyGWq}6靓[`nr):VZ*GӋ ]W2j" ?bc Xo@ͥ里:nNJ,ޭb|~{=tK|^;Q~6 ]z1(J3P.QZdb6#hV)j\.?HI FA%h.D˥ޛ5eWo\N '*@}eFᶤFϬ&8C`*& CJ\9"H7-}A2b+IpL:5]pN'K/'k .ൾɖyT>S )ef^0Q+`ԕzsN#7,ms\u+9,mЙ0bP*Lѝ++1 u޴AbsH穋BLT~D: By(G>tgˊF>^iU^$ܣcRK/&/: r*¡q$ OWemMP@nu Qgy# ?džw@B (kV ?eq>঒Qw_9&ծtFf9Tˡ٥V=q'fg^_DkɊf;WC&61'$䗅MoaHCIBP0xdϩ:/\3+*_+6>D3jq5o&XS\}&W[<11t &_o?8zmx{`1YhlƢ?LF]ԂY1pyy@>@}N B\װ XYa\T>sE;ʂ;@fcv>q]5HLUa ͨd``M*f+)͆zN: `rN dF ؈"B^-=d $Pϰ'٭xr\f;-%Dّ~a&w7k BF#Ӓdw1vbFD-.XOH*1 ha )EblwAt#% [c5c R3]tNtkUc nM%XXm[RrY x$bhd\HQzr)PTvAm(o^7MI@ޔQC?5!)VX ";gy/xnb)%# nݼdPnYtuej\% ]Xf%WmgHn_Kb ^J}$.uqD˭N=ЬrP 匉;l$ԹRkaױ0;nJ @=3dXoΒUe^ (jb "}ctLWΗGFQ+|(+~$oZQ\t$wbZcc;b G;m[`<~7*<)S-%e"7̣jro?C^8 ǢZ=v2yݳϥq@\Z )BBqj `Kao{{zxԂK>Qk8}9W\ 'pl_!n.'t'tC`yAcU6}tOAl"ȨrX)?SdeX PE܌_dfͥ + V plmɥher {?O @)TXn`7h{K?s}[t쐏l.겐j!Vtq@]1LgpJq]/@1\ yMQY 0d0jll]i"҆F0)BLeQyASU^]7.;BIfKi^?<E|(lHf uH2]Y.FGjÐNÃ3]9BKPp y]}J%IxHa'ylWe-ܸx)Ѿ!Hlm8֪HҰFL8-ٕ'>+KhEiYR%Jabϣ67$F^Eɮ݂C+NG uRוu0{;>fwK@ 9[y%ljڒ‐="@R0JJejƤ8@L+e+S {)8`f|p9Incb 2 (I3 X>i}`Uf4m: b*w%h u'n2;}*.[HyUE - @V0 jW~~-\2jg# Y5/( ^,x5C."e(kۍH`Ne>bc0$t8􀉥:J^ߏ`pi)>,|VMV@ %z~}dL% <:6[Z47~)6S䑵X|qj4ȾC&(bMﯴwh2͌QbCH8gymSY4$c3&˹!JYvqyqX l#TPĎQGm }ϼ9+ӧ=/?LF"( jgSޚ$<#PG  q>")FR xN t)fiζmT^ qЫZC|HxF068{)JLE+ k;mIvk쾞>e}U"X^l5n@sQ3,[-;6kg^I{Pted. $/uZ)s G*X^3QF<1&~.h4V@$l<ϐ ~p^agӾ2X 0 ޶Tf@psBUȶy[ nfcVd^GuQ9.dl}0Mh%T.<XTz67EʛY̘?aQW *N7g<|ղhcB5IE(+ a˘9C1%=s58:Pԕh,퍿ٲ.cYVX=X^G+AXeٽ+ Q'Z"7Χ398_ç!џdFM N$\/J_)fa0":1,+G>"i^g#AQjS)-c-;#}uQdka(1ɱY|oD s˜#D6|'}jux%֣oD. w؏[U 苡bv> P6,hھ'Ĺ `J2U .plMM f@+ /K Ǖ= d%`̨0j%&\W]lH[lx@JC\8LDRT?a(7-jزn/u4OmU}hZ /2d%ӖhS57NeJPY@)΀Zǯomm d[TK@,Nr>D ӽfTo\S#J{Nnu*8ʭ">jt9zy?Lzk6iYDRkrB )k#Eb8KvG9v Po}L|i[(0MAr]>Vkcܜ钓5\M q6?#cd$E A2[YvVFD1ڸGЭx,F+ < `ҟ 'm5j0c)Jʑ#J$3(K\ ]tIxEpܖzG Df'UE>BdDv\]CJAx0 !"fձwmQg:{ǹ|7'ũPBETq p:ap@³tr]au"rBR"1x:SŃ .7`~`Ƨft52/BOjl^K`I7[]oHj9я=p@祆ɨ&M[]0vD s2S|8@>Uq _,^YKֈ[@'uyk_+%/_RsaEy3%h.SiZ \:װqD{pUO2 |M҄Tx?k<c#fay&CU"LCg Xy\(o18L%ôH?(V}rui#s- f-ܺ`~VW)v>,=iks1 (gr,RB4kӶ}fJ`'hzYkPnb-`hk3 \1AFTN2[~#hT!Gtݝq@C\D Alwa/ɹHr0k; BQap504D*IRj3PC]]NjSk |! 1VyY\;O,e&C"իHK$gQQyKPBaUqˡ JXNG\ z4U; [,A9X\5o _CeSM]8-*>~؂Vw2l7;lj91nL %o* uԍOP35_͉)HT,~^x#1XtcET݇9͋)e# L³hYRs_Y K!5NQ8? s] rX0Wڗ=`}Bq6kr3#- .Wqs2CO"f~`x=@S!IDdA׹ %DhL_A8W鎠|@ToߙsNr̷nԃC6vs:E&'by=A,vͩxndQSǡWGv?xMBl7-ƐڷS⻵ž^}̩w| q+%$y{2MP]̅_+`#F.@ ^1Ph(_R&},%(Ct* Dx`QB´"WR71a2KT X8QEG]MwR}+vtyW 6H ul-kF2fqVnM]G %T3Uh5vs/mޏ5mV`&I 1~*P)?%EŵԦ/\Q!QdEªlnp{)HnFzWl’Ÿe@L TB#\aޏRA=Sm*h ݜO$*u`ptF'dPTg5ًe }Nȇ0+xFvP"..avp_ϥ]M vd/. 3p^x`u }cYƖ,j\X`Fܤ jE8;o%ִGwP3AG-;SwJ,oG艍h,t:>q`ksBk[U%.5ljls2G2(ɣ;m▸f9jARˢMN\Jz@$XiAR-"u7[ B[5(Ih'qϫBOHU#,wiMEyuqg-!mzl̳Y*[2ͣvxF)?V1vG2*bT[]eh@]ɈS"mAĭa [@Es7[?aPg>k H5 n<0јӛ*"u>4ޣON!i)bd$m<پ8"ߙ7vYg d$/n^*JX۫UV%>\(!!>%.썤pzL!G]GP6e3 O`% w,A˿ Q{H릊_p߅;zDcyp;PۏjSnl暌{3^,rcܸܪ_i("oƁ鼮7(M 5ΑGUp 8q/`kXOĖM3"\{𬉫]+'*GjAxNԤF `x O9 -mr@F\R* m "4sGU`YvL29LFH|OC&zs`}m ClX{Kvg?Ȯ&;Mɥeߓl8P"y}ҌF'sh&q)j%1i•`Y%h@<չQ#YZўy/4o5t6?,H {z륤~:;x3ڟ)1 t '$)] XZ¥crT.m.( szv}oq]f mm"KU{1M#?,Cxryk]Amn\we.5(W*Z4 ן{$ZْbtkP?!Z=ev8ST٦Su\ƙX3`\WZ2d[^@q2MF#}%1y 3jc@DC?~HR0 -bCJ_  $]<1eK:ov“`>rt\o>淉F@ĞoJ]F+jxϤs/;⽀lMa 1P,;3oA4GW ʢcR wnE%+zEl ߢ[bFxT =WW/xiyt%jwGG!P=s#F8sK7,[>]$MnJ!*~t0 Sx#E.س֮bfiу0e//Fm8l\zB6b_z_r@ޟL' HT^i#m+$s&۲=f$BNO݊[[~h-1y!)ut:p2OClO :wPTVߠ@WőlzauJz0F>\Pk$ދcO@VW;M d1<6ni+䉴ׁm L%vm 6*C;Gc1"봦+Vz2(EU_-9,멝פgMj5P0k-I[ srq,4R1 ڿM^8HB<`JJ.zdӒq:p9k¹4ݑ‹$؅{eNsm}q^]9W^?v" Ƭ,EdhpbKp<l&A`S}Ph!Ӵ:3!OP3)FR;1nb}0_RVGS"}TILit|4z҂4r8 N*]8$x|<7c+$g'X]344d;@Ċiu1;T;=&iir"׊CZ:]9NU̵ |ӅvP DMV =l4tn^`}cv圙6}[ i[7Φ"AѸ>RELC -_kHʦ>o 7gDu1E:{qSM2XZWC xNjTˀr_S<;K>мD8"70 ]63.pw%.nȧI/W~m`2vmN| o{D7Š~]!z}.X[in3o L<`܈5F,wV Lqo, qzYct TL1(qW-єNif `zRu'[Tq9#%zn)ŚX bbgXs15SV{v(J~cZK=^O69=4Tv:q6*KjHq">ƭŨS|߹l]P@6-%d5MJ&5KGч Ԟ78\ Wӏ\H|쓰ظL$8SU {heކ2_pXUGSw!/XO@ih-ӓK>c4W?N-c%Z VfFסZp/Q|dOtϙ5=Mೢ\Nt葠Im"Kqc @|iDbZ1OIzw.T1gMLlwWR87T\mO䙌WVB,YYPG XluB.O@8!-q `êWIbH[r&4 dK>ZF o>l§v4ADᒜT:S'ϧ& m c;_%!'xp!FJ;(g"y j> Q{SejNjNAz.;>F<%XDr\ HOX}wv9V@HEM`8zI,80rwjOB_Yd0Hj{&Jv}A_ Ģ$x5p7OCPE9-ϰ܍&kLnj~|6֝gp@{HmDv)R T|jѮZ>E/|`A*Z