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  P P%) \, ]]Kleene_Algebra:threads=2elapsed=53.750cpu=91.512gc=5.020factor=1.707zXZִF! @(]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeLyKIj֝}#SP5s'j|Y8xM|ZBo2&Xā:MolxW}K}"98^0`A׊b$Uh`-.%]~e~.zk], čj̟.c$* hliZw}чwg/uޓm,+?0 #$,Z|S%wq <|ȧ C*fjRK@Ga F(^⸔myPL"$ؚu޽<.w n9tZ<+KVVt3p3t$)Y+IL2iszH5pXbܰs;U=3~*AFE^V>}c^"ػ Q "\G1s b!01lW}M1,0[ݒJ 6rhц=mT\(=M$χgؗ_.jX)f%gW(I/|RxREOʈ7Ւ,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ڈ)         @Z J z 6)9%Kleene_AlgebraKleene_Algebra.PHL_DRAdocument.tex9)?%Kleene_AlgebraKleene_Algebra.Signaturesdocument.texC)S%Kleene_AlgebraKleene_Algebra.Omega_Algebra_Modelsdocument.tex 9)?%Kleene_AlgebraKleene_Algebra.Inf_Matrixdocument.tex 5)7%Kleene_AlgebraKleene_Algebra.PHL_KAdocument.tex 5)7%Kleene_AlgebraKleene_Algebra.Conwaydocument.tex 5)7%Kleene_AlgebraKleene_Algebra.Matrixdocument.tex =)G%Kleene_AlgebraKleene_Algebra.Finite_Supremadocument.texD)U%Kleene_AlgebraKleene_Algebra.Kleene_Algebra_Modelsdocument.tex4)5%Kleene_AlgebraKleene_Algebra.Dioiddocument.texB)Q%Kleene_AlgebraKleene_Algebra.Formal_Power_Seriesdocument.tex2)1%Kleene_AlgebraKleene_Algebra.DRAdocument.tex<)E%Kleene_AlgebraKleene_Algebra.Omega_Algebradocument.tex=)G%Kleene_AlgebraKleene_Algebra.Kleene_Algebradocument.tex:)C% Kleene_AlgebraKleene_Algebra.Dioid_Modelsdocument.tex/,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 Y;e< b4X' g=4ʎ=$\&EILųy/A-_cb!9Wfu2T9[Cg6SAT"fl[ ([G x-HwAY]8Fþ/l2l L%C{=:-}$Hk#z5VwuLu ƱEIa sbT:%ԏ$q'E/ ޼ҏ3 Ou E*mOA@PLҿ*òkE= I=9KbsIax 5j' ztu{o:Pl}dcoPE<$۩ 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˿_ mgYZ U)C% 7Ւ,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 q)E% tKleene_AlgebraKleene_Algebra.Omega_Algebradocument.tex7zXZִF! FPq]A-MՋhvG"uIBm5Ł8%-Ӣv;_ON N?wH#ea:{-s]EE9u;G)Y+kT*:MQcx)߷a]SYu;9[;G,; Kci@Rfei?L<sGvSw |\EfUw\YꜗZ44_v61fw Tku]jS On64'OlRs @ԝ dWU n1H81:IErlN6 etTtU7wPGV/ '9y2f)&j8mKI@!;FVK6l'օA/N?ش/:l⇢#l]wF&_<ۭҰ&3]TⓉI{J ez`1RR_?.wꛨm i} #B497ݵh\F.[=AL< .?\P?\%a h*l߰tt&6dQV8 :^Wz)` ~"}XO|:64[6 @gOsqsֲ̙bJKW1ٙ`<MIlD02ox¥tP ݌t;z-"AOEN?'6jl=&>ҏM16% YW #qe̳SLql1HbViRak[`Q}+'yMe$]?X$抬%Z>j Qʑj.]2||UqwnY7H֮#yrm)̨q`O&bPuWS➈ /[_C޺ zUSkh}1]:P j}OVm&V/dNAU:H=i١+kE Kй.R Z*~KgJ 'iJʸ0!b3;׆wrx1pI&v9Stc\!wg1e䋚ܻ=vDZ⳦ \i"y[(DG 9+ 1掭FuC\l=Q<4CL"!|+ABMM!_,ymX6$M7$b5C:E@D e}~GrƒT)j: aD)O;2t# 3hfJvLQNI_qC;2=TR|aW;(ʨ'م2S^Iӌt-im)Gg dPV1b-k6{LNxOZPYj@.p0{gU"&0)O"4osQJw\ע;`&M,*FГpHYIUW@k؅%Ep_Π`'<卻z"%ኯ(2ۆ 0Hv["0$~ M/i-QB^`<WClȹwIϦg8C yI0[5H- yP;'~d1}.ٌOe X2B츰mbGJ=եmx55Yn4c=Hɮ%ݡit*L\ZEVEgkrkε#2Vzh5_/gYB(]ɧ?=\@iyb%T5u"i ^\׳.\L Y|alQmY3_`~잻{µyg0N zmҊn1YSLƼE~Z 3@;ǏVAߛ:j3_kMcZJ~R3K2x".g2W8bk6N{r;" \A *lBZ45w>y=c7f"V&tS0ax[i:rUz )=hqI959F9 BH{ w4f껃mXtĺIӸj{ˊ,8 bDM~U= WHE<SA/ತ\npr#dB"gIׁRO-AO,p:ލ5m5fy':D<@}?gbY0%ROa*r2w5C8?Af{!U&iB31#IPnu1u )r@ۑة}~h*;}('GXDeK'a {yhƼhDv nӁ0ԟBZyuhEV?bz@аZ04 -ϘqRZJq(\[G\J ;/{SHJ^Bx+"{efU(] S)G*YfWOӦ "ydT,/̣WhcTXDO vdb"N]quj&r(Jtg-uKb' QU,kWw{kS#d`o`O^ .e5ns#\Cft oWDmgX,`^1|0f埆~?.[kCr^T+L^;L3q%"m6?/n#We6T^9rgj_[8/ꯡ:D u'ihwP1|Ŏx5wNcsm-&uv3VqlB ;v:4WME=P"]}؉"9x+_o!9ղlCrȃ cV ٫,'qg6h-Sb4#ѧ6%T]$m=W-Vm8=`|Uɡ&at;<(B[ߓBM P6`A|`Zr4hFHq̉{EE"ZЪKM;+ZO02-(eNxEfJ9C?eLT9+ixFm<6# ?(Y :kRxRjH>㡢.xn - `h'r"Cv_Q 3h?EL G Ied>.17j&r`mXs0-'u/MTcDaH@*)`&5)"XɽˆZpEdNrcQ%"m$*Bպa~Y`uBZ``GM Ze7D84o6/Z`Mzbij~/`HPo),עe߄nH1N捊p,~] <9~^p ]xɪ8^-o]b?GԵ5Cs4ͱ?l3q3 ΢eD;hu m(:@Ш exIZ2օg`NDCe gp{G6ɍfX'^ٻ5T6vG<]50<_2Ɉ,"y^HP O=L֩ 䰛8[Ă )y"P'Ͷn7-s~5 3ytU  pA.̐f˗1"qMnHS0$|Y9DұPQnJC ? S0*+Omֲsf [3^" xZWZfЪ`2mA'Tx{HMv9Nkp>d5H%C9n'LWF$8bY` qfAZ\ip!oO_=]딺_;ǮGeW9#ϔJFsYh_LacX jk&c32?F$pןUghu=$w[M5`f6T]2Klq]?/PqOշU!;<,G 01!Ȃvy _Nv&VG9Vf 5乿,|@ۀgv] 2`GB}V6Zs2#RL1ьgYZQ75a\[Z#lPk8@vEjgɽ(N Eu4lZtpA%W}ucY~VYf~0+ !O9m,pk3 d0)!6JW;]܏ Rn!o"%w}h$]Yer3U.BI/N ;9pF6m<+*2ivJ|+ }iXyڙM>]]3NUHTg`X:i n3 SHPjd+k5e/͆!IJkC{iw/~&[dh4L~og5K[.Y\PL^C_BkXF\#>E| j!`㸮0W4@2'/!..*iS{kFc=`˴u@R w4YK.ɱ&x9p. ;`) 9ӫb1/yO<+sӞ&ZzԠ.l*OD1cbýzDsn[wĩxRm2WW7rOҷA[&db[>-- 'pLjF}ahR_>N#ZÛp$d ve=DXO*~Q4lv86dG m7@BNn.7^ny.*l1ړ#S|k]X(zrg;*|gr#wcb8ld]vޱ'KS]`̎NIlwHIjtsZ׻<6Ս*,bRIկ-@Ii}VlXk&GfȧV'Q &KN! YDo6e,24Ԅᐍ4ρ~eұ|{>SM+qn4 YF_hdljf-YH #P~9"*ze~C&$]oFLCX} 5͚G/}9)j0I#tVmC;\3jDU \ xաJ@ ҥ MвA_kLj'R^Hs5yW.גsr'2:-A\i_:&iO`L; .[>{bF>9ĄO+nZ>B aW:H ;}5H<~ʮF&X$f)j4;M4 B_i #087`Curexe$K$(_KrTfQޥIFvD`apYeһh^S~,7n[TAQbK`B nl$,TGU# $l!L wLZ>L4y83M/I@Peߍ(g+ݺ{V1ղ` ^:=TSg G-̸Eyw?| ߢ2%1kMa6"Lܵr}`J=kR(sQmPI .n0*jMr R%;`$uru|TؔB=AlO hR]Bޢ/@$  빠eVk8Od|'ܺO?TN2Ǽ=ɽRջX`έ(s"0şX7¹Щlxde}hi| =Kr8j^v2$a #;K`J(E;$tY p5~}Y\:2U!!~sWhj77W"lo1]}IlոPABh ] F;Zaz~UmKvEӯsbq  ҼFoOsKhURץS>Lޑi1gKD \Թ(-?* :%QդC83Lh,I5^9%;arS||9Ok>enOo$J;̢b'6,ڀ@:BP/%5oګ?,8OEі}IT=LZ`aJ`a˴(|˩MVUJ ,Ds?S [)]r+I0VFVR(rrog FWrW+lDκNJ%*U T6&[w.?Sht55r{We*vUW# f2ƀ x;GE袼ʓn5*sX6ZQe]$*HmPQӁ7 ;ˈڝAȻYe"-Q.c/,eƃsz\x#2jiB;U~P{aO azI)`Z::샡^i5qD涷nw]E.)M6)]>m$pQfcCQVA@M̜CVZa 0w <ҳX1#o10ieYӥ4GŒdCh\-)s6;DC}Bgk1Ph' PXekYInC*~UgbPE54u =GB҂7,Qy5I3wg~Rd;&|G؍+C!ʹkoOe@+r!9naA=y L>V) /qi%n!ip*FdҜЏhǰj/Eht=+Ga[5P'{y0Z]k҅ FFVQh X*.Ø5鸛gYZ vfv|)Q% |Kleene_AlgebraKleene_Algebra.Formal_Power_Seriesdocument.tex7zXZִF! `]A-MՋhvG"uIBm5nMJAld/kұ'XFB..*|P{xrMvsG_ːeڽ^urna\ıJmhZP yOJe,5-E<%#Ŧ;Aܻ !=E;xmCT -AuL|rA+jpDS{kŨYM]E# + (4"%R\LFH6G69h=O|#LR抛V̰[OZj M/(59zDI/m\eI"c=XSuBby&I r$)1% DKleene_AlgebraKleene_Algebra.DRAdocument.tex7zXZִF! LB]A-MՋhvG"uIBm5DBFg+%oZOzw" @Eٵn* v5-ۺ缾܁ 2c (@4MΓNfiQZ_PGU+{vHk4 wl9Q)bΞur4[+Mmw7aICle]~ko8|&) 'f1Ku^*n ye FH0#ڶW苰5Jp ;ГUa+c)E%iPerԊ`.҃7C+;2q*'Dȴ3|„Je%Hd໶wvk?6GsKܪgw=Sl۠~4% @K7$Ui-"'R `#M;Taj8lu\9P9Ӧ9woE׸ʔHa3Q},I,_jhn8Yˆtrr M+!s&RYZ<[D-l0pt2RYwA2{ ULk?bN:&>YnڎÍ[ =Q6>tkl~9ZZ, ~D 9ќv [mEs u˚e0vj6R] U2Ci~2%]Pa4q{"uQCt,:z_0viLSY ~"gK:5BE 8;`a%b;*_Vla=f!1ߋ$ZygU\ C!-Tk2ٜ<+;e ZF6^cg˝rEm$L)Ȃ_mdzt۾>oo~$㍤((ݴ(Di%^߄di6V3Z=ޚ7Z%͒,ԡLxz.Q,}"`@O}( y_'J 9kciȑ6ZMj7g/PzPm]O˻3o y|TKQ5qks25Bi` $vhi˟N=Vrrq-l:f] MY9u/׻g*1k"8{rW?x(wT k+X:#P~#8;b>j?!]\yMe}=.JXPc[Y kRg8Ö ĐgGv|,gM"/~Ű["BV|1 [s sy66F!omStS ?D~%$S%EHZQ)/q)J :ft-^y1o7HD*E8_prs"FIxD0|ٶA dK]Es;.% 64vL!\ONzZ_nrQLG ~ٿ?O{XJ هkj`~ص\BH!9\@ƿ05AaW<?:/8m>%{X~?"e`['aA im>>޻<;S8|mS񦾻񇱺)wc{w1~C^^Z0" n) HjXɕW(ᓖpvR@u^ ŐFHUw]])i-ui@T9el;cUfvV`!(]V3yL=_s器wHUgpmv k}q݀:;s6w`# V5uBqCqZMHw'`ZueIX&1^|G C:b2y'dbvb&T(uޤ0.Bt^s^H fJw WuJCqQ#0$uNW7k9*&G B 3˽_ME5fdZU雴aue_TΥΚEb#01UNҲ4oGJI{YA_  b4so7Gu '.ⷔk7ì( ArU uԢ]L 2i s Dd] Cԛ,; 67_6\*űo`Rz:bH;;ṣ(U `ϲ Fh90rl*nYނ`st/D^{, u{ ,.".d7EzW-:8j` =ˀ%gV- ֨ruoc}\`bON|; vƚu/&*Sm6Dg|Tcj')E3NQY3gI}zǎy˰ 5pRوJtb1*ĝxƶζa\~؎~pŀ#"tZ:6wRcO{OEK#3JRE'f=>=J(ĉh!-sQZ(*}Ih$I yS>mwzK;Tnaֳ[y[~(x@dl"{}ͫK,b1ڹHWR eމ(`B~koX,&ćk*o+V[$O 8%vW#\Ք=R i(uZ n?nD<F0Y´KˠP"eMU#&AO7tn2HcX "o&0ߊ-ԡB7m|~7Ag.˅:դVOY3olN{_]W3BAi[Z7=7FֲK~jf@k%\I,~}Y8S>k){^4!A q]b'QXՔ:a/))%ܿdZpY[1ףot=8|]L>1QuCU|îd_GCL3HxnoզTϤD9Tg?Fv]aV_WxivcGO@߮YN3Qt>{tz [5^e[{P@NG46t^)` ?Ժ; jXmsxA@0=4 2GPB8h@uŎG^N;GǍ?VTV QlTj8=l4S^0 $䈮ߋe@9Zig蛙~q+~ {A@kYE)mT*{''6S(R̈Vywՠ(>lRO~6V` &;NN+םJ2$\A7N\8]2'8x3vO@${Z9YO:XnD+_{d-|E߁rz&y[t;rCxp5ԯtqu8?$EȽ璛0õ%?Ue8ou?j-6KrW03YX 8]v{W,1+t] z8j& Ȥ)Za` T~q] ?E$tv$X J]%^gм9]$@}[9|ܯ![ii%4I8*ً庛K#-<H"dPR# ~&,˞'x2݅ Kv0jSil'겸8/2)5LqfsriI|'FVq<̆)"A3|l Ƿ%[N%oX+CsES ٲ_B']NW= E ÝRC( jd5oքDoO}ɕs,Z;o/ ^w.+{H 躐|$ȻX!vშqМe峘rѯrn6*iI0t!v<`uLןұ4FC"HiP4L]ko$IjSjwxPh ZTJ>/ |%J㛤5wL4i*}X+"h8BSn)*LW6WշR,{#,s7%YBVmw道= } 1:zinrP8wxw Dlw +Zh)kK@0W=\g [MK-Y8^MT:Dg([5 L,ԃKBRΰqK!e)zJ'_ޅO`f@W9.c)r$" ,/i:EK#H/8 bH75ֵ_]`E݉NTZCD$#T?? ~ki>F̕l(.t[CObl"Mp3$C(9gs ly3S%_@p_iƀ 84^܂K_y flvNa4$Ր-@ZvnCN,_>9mQaQ-jZ:2Uܓum 8^6#Ԑ-87CiAoc!p;i0sí/)Yƌ:k1E*xUMŒL@V>+d9xf9:e8npI&[a5~ܔ̚K+XO#X3AHnO&=u$yA?hI hH!ld!&FAcML?ˎmi৑u>p4!c` /O`x[]*~Ne ,*Ƈ«*{x.¼2"bcr&i+k{S̔)^Tܯ/tth϶ӯ0۞w MwC!Ec6mȚ<1l*A]I+Ƞb 0OPWkzf48dKf^0TnBRwWb$Lw'%xdc\q7R6=7;) aHknqwhgV[KGs̈x~d Ef5xS̜gf M)V<˗(-4dyyjP&?@{Kw?dqUi~ )(J>pKY[%3vAg[Azu8[4J% ݗCljȉg-c (>'"_|X$?1fG4Qs[~Fa N^1C5yq[GǀʴQG%;иwz/@.1^UYԦ7q49Y`*t o$t0D%QQU5|t!j1+ SzMנk,b'm=r{1\xb-醤ğbhG2I|aӻf4JVulP\5>开d?8cQ9\վ;n|w>f͡}TzR}<6[(.L W^AVEoJ( pW70iz3KxG{_K*V\RxG71)+!)j4N8'C.*A2(%!5@[/O0[CIVK";G"a5WĢtnWQf6j[C\ڭ.2I=xg;fͫNrwVWCzں -Gw\8:kx@=X3RdK# s%)z9'6] (Z/po(ILI>YQ.I\!~P(82IpFKU7C(w@-!Ne,Q&.) a4&Lb 4_wqm}͕+_iWvQi}b]: 0UvN(Z>8a2TĵdQ[?|eO ; .bI@uI0y ~!v8Ѵ!<^VDQ,m\2(6A=^7N8e\e񐪏]O׺X"`@$<r|)g=?6ۡ&;CY,\5{5z|JrB158cdRTOpuP fG'fv(So2$wD7TX7P*&e N [ ێ"|?~r/ZLVq;Yy)!M4_rȏX \165GϕV5G/kohHhsr?hc۸CV1UP]l%kd>@AKݻ~55Ee`[>}>$AkaΜ|V@5'@xgYZ=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!hi DKXp*> \'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   U)U% ,Kleene_AlgebraKleene_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ؗ=q ^aB}Ll[>%]@Ŭa&a]J!@jZ$5C~_E[/XEk#4v%*5q;Y$z4 0[6b4;Op53?nPVbسQ0Gf9IRLIjGØ~ 6-Q`섂LATP"~NI9#ۤd[7}dϖt_ylki? M5yBiO&d8 dt$VKo\a5ǴiJc}>v\e/p Swe:">@C7p{Cl.ϽXRQ@ T'm5h^t`"$OdY7ˮeOg.H/)SB1xc8eb$:g^S)BUH;|Kqy|Sr/ٛUd;4i}6$3hbugt\ \u'&MdJm/:,F29K~V5$n"2nHxZ&[vp[ BX ۧAtIL Y8#0/A)2EjZ"w>g썉.>EҘg2QE7 +6^Ӿ/p;%M`-Re˞^dݲH%%{o#eC^dXN˅8JՈH$/+x4k\C 3](j6Ú!?R3Xs'sGU0'aXO\*o{pV-J/Odnl DO)Y!)@F)+7rac[i,mqn͹6cUzf6 W>'5?l͚:U7Ԇ֪@fq3]؏W>Jd(sbTЇRZ-"k!rd!ho5 >rZL_;@Ӥ3U]s,:*ttū'fNl A(p3befBښQ_SOLSv潫Xqvi@E[(s爕c3/cU^\(W<9 pGb!>߹hpMJKleθ m r%ժâ]]0<ϝݿU'bYT>-^CM[ru 'uJ@3D./f E%c S9@=%Wp, IH*Vb֗V?u`A9ɯTI\Sb גGH{˔͌?[dxx!+`g RLsw2|f792}-;""4 roxA K9]c4oD7i.m2%>qsm@ဨ%z&c.ܥp1,t~&&c$6,  mVy&D>|3^:0_Pb-w&g_:Gj4Np'Ļvmn홽pJ7tKi4y['i01#algD_MoxStї  Q6ḃ*NG _$} ~ l}LQ\-23g=ŅX=}r6H1"*II !}+*YBSᲺE|4Oe\"><?#]ɩC!Kg"sxy]Nh,;;n<]s<;VSün? D )C'?XPjiE@ FX*IU#8TΛ ʶס.ƘZVksgwe;73);8":`5KEʹ*1񡰍ptC v#~F$eIln7@d*vyB_!M \=AR o\ٸ PCjdEɄöj BN|'>MRDtP[CG4`dn`)Mvn;n'ub-CMkJ %d" Si: 1&85h1zJ\xKQF@)v3H4 V\/slrZi @`(hfŋ _;mbppN zLePqUq[z>~"%+ 09G-3L:FcBZ&lN ~+㶀J &3RVb|S+/Z% f.q1p_4`C4zGUvAsN&i%_ 5jrKBB>"k߷ۨ,:T5b5TYb*?c]G&Jc~It{^i.Qw@}XR,Mni=HviJ9q&3\)8OsA%>n*j+2})l8U4i $"̍:)1=9=!,~qg~$3q *a,gF%1:dwN*C5i.zX/b.] ,݁g.R n,~Kg;xIe-(d|ځ[*3,(MNWx2!2= x*)L07G yL)Exh$F]:.Ut8cU(>@RH8I@Nw0 .Vl锭swWݕx#"7ܻɹ)]I/戥5.y wv|#ۇ9\tfM pBwR@-&=&W )4G =D |g’TAx<|:`ff,[ra|J_*x:|aHPZX&-ΛQB5_E֐Yn*sͿd=^-Em̫r/|&bRV2Z^wlMp<xےֺ q²+:wT\\5\be%hz7&\t|8 ("C<.t _ ttcΜ]Ũj.䆸p[BvG}?W;#K2?3Rv*Y-Q(5^a-gkكɅٛ*$},@'CjiiA.AGJK:f:*jSv /KUoe 2{}MM[JpȦ5uK\qKKo; (!ѥW(pu,*\Dᰜ/χ(w*U¿AɵQ7?i!c,TaeE]#{MUQ2-@~u'&7կkI[65{1LNTlp޾N8M}l=J*+y;!-gw_'Iu~dxot}xf=3)Yp mzA~DE3xczKzP o>.b_W K>T֊y{k5IY R!hH :LB: nm4P]豑`rRqXu#mjy_zW1pݐ+h;B| < m ,RuK)k o;mqn{{LGdJSTݣAJBmɒ>boucCVڗ~y:Rvgi[mމ*d5y&* w;BD,i7m%_g%W?;[5ykA1U}Ԇ.WXW?pgµL)~ح!@ώPRr8fG=w/n\V;THly^i905 8o"8DJ+M _ɕ? 7FƁg^g̦/! WxtfM8R. AU_Z'( ?vC^B1qqڧꊧR ѮqͬP?KRU:΍r/&l$^8o)j|R f=ohy* '~rht^-)3дXuaȲGdw:{$y޶PWЅZdڇ(E`j$ۖ '[q2k7c@ 5}oD&s۔׮rGt"Qr!~4!HI3d^mO(81V hd ?H%s~"{Y{.)SP|!oN_zɉC~廪$Ks.#y pr6@fеPUlP? Hv#X00)TY})\h7/Wh4(.7M8Џ-+b`.Sǿ$:PW(=m1/3F쀅=jV, ;[ѳQ('[E(nUxi4"ţ(S"myQ?MkGY;=M@vX*,U∯tΥ9$BOY$Vb eOM!2Z[w]ߣ?/OM(l|ì Hs7.æܱ4'SAA{1rk{"z[$%u!MnAVxhR [>"6#NtPl3uϘ,Yrk>5~߲{Ds[$d⩾_r &= ,QaSTTԭָ:`a M}V&& ٸzQaC#|l08s%>@%nc^nng9ZX;Ef+xƫ[)B{%Bck}kUYܹ}h@du=bI|U11,oZLZ !?=+_{QszB/,c *M̥-]&Hfݵ@Y 6 øQr9|"8b*YZ&>_HIq§aA55.CWaruI6[옂LD3NI<pږOz`*eiP=Vdr3 W쨦#;1”ߪq^Z f 鐲JH#"9L' d+1{}o<0ʫBLlz,RXFjJhHRzB߸۩!)`6^t(+k]?Yуa!<%1+H}(,AS %ýb;oEA3`X}Q5i.%6jP[ǥ=ubcp!)aFLiHpo&LڨLva\3ʱ1yY'!p,g?=v|kecG|>{ %!)$PCBlubppNq3vc!\U$wZPo_V-2֙ 3~)"!4ƭ[*~uɂqDMlq^GZ`xDodˁU8f[mƌplyȤn֡]< vΰY : 5C˞`gsiu _4 u rs1ރ'uj<]$SQ(]^;xX)뤦&4{ogkTF,դ=}sVR{*O/Uv!} v;5=a~Ux,~̴ 3u6BwyxN= \yZ0Y'O6 Btz_$0)k)Mڨ-f rDLfm'[ˋ۞O&*ǙJT3JZUHo#{'/Gh7t* rO|gxQڻj'l{\8I[1')xxv]-fkĠ-wrql\T˥97 }Ϛ2S,$JU׾H9P:; ."/]*n8!遣-LMa{W2 LWIcƕGCNԔcs.f]UГƘ+*K`$o>mӥcw}l-Ma k(`}eeEJxBVsRЏ(K_rpsmz6kM0aqXrBV&/ݕ톇J>~?PwnȞ|'E>Qq]M}[ wePdhGy"1mowhG@Z#p5G?OG1&N>*cc昣8_Qaib_=0gQ~RpLƣTeB˭q6=Yv>Tp-ᇊD2R̃bKk_Y~ȋ{/b4Z~Q ,d 6J9d^]vg4:mfL1CθqE#ƿ_::e_O^gs}f|QvG^HB!F+A0  w֧dANO^h2cp!łϺ EzB/M≼L|w^T߼;n [bHxu$p1;ޓP'9S(RE#%\R&QW.`Z)J% s>"b ^+GcO$Jy(:ɴK-YCy2XгŒ {Dͥ5w a\Cٺ!~dbB1N۾}evtF!aZ)^&Ab_{9]@2 v3E ^W0E3)չ8|&)ц -PӜYu:kn<wfFA졬LM[vG9k ?f_2I >>cGuIY Njx99Q&|o9Hl,Zӝa>AQoo Ԉ&) ^_ o+krKMLђXp9vĔ+Y; DePnlw Ne<.ubF5aߐ  ԶF.2lK|<43< `0ݏC`w+ˎޭ_xP+hSX6A5!@wdjNItHc3p.W3/̡{zU$WΪjFx!=HX9o߱s`O}P_ǡ:uvHt!@sc9y:} I:0NC|?УdrmBf”>Wg?P?͛. ;=a鳣ʩ׭J@6`TULMvֻtUeX;zR .ɧE\[QAK:wZxܢOK}13(ݚrvH;~1;n#^Th=xbqP0i* p̌B5E0p+{hV?:䄥GR}~ R(&ҐWgYZ  )7% DKleene_AlgebraKleene_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ʆMIxst*)3Ӗ iN X"OQNYx Bp-s}Tdڞ](%׹gxX0['L1@aW[۳[ţ(Kn˟0c]]b϶Ѹ9& 5]ˆ2@%?$Ex%J3} \ת25js&O396apCTn]^PCd=p7n=?|GZ3_!r!alv< үYg`,މvԲY]5Ǎm$]O`ʼnڿX^ɀ yOA# NBPʟޒռ뛨 (P@6gNPfe3J˼v#R (-y|q )^9qp khYU;12`_LaU6vk4ۀ' ]<&uK:f\\NQ#u%`tMr?[, *y 樊*֩+_$oI1D3J m"q<:ngGhܞ^-eSJڷ4{hUی@!d*DN;{䮎 [JE J_EץhM> |f[d%8odu`xFpC*=m`VwHfah]>s*=u 7W^* H#U!]VtEqsg4huS'v\Seŏ=Z ^NU#)mS#Fs4QSZ١1úCI=KJiѶrze\2(f!/I0zq]0|gq.}jhFᙂ`ILRI#$˶Ī n'8a?ɸ SJ9zfb/0 lh$hdVQbE]]b(Y&C5K&ZQR ȡəY$XQ0o>0kҵ iC\\ a= 'D-zf NLN͋rjmUւ:4&ArpJׅuX+I5v!|LRL2DcQC%upJ{]18cm&FMڰâ%=\ &y2j oQE"1|"0I $8hZAw\vI]f\^ȝ 8f*L.ud$+ -PWMkS~Ga8NY߾졒upXyf Rرd;t yECRqX/]=1S&YJsӊjO~al|^b3k1q@ִQ8Lfö/U={6ȝ_m)܋Gz:ɟGyO b8K6m7 [{YngYZ " )?% \Kleene_AlgebraKleene_Algebra.Inf_Matrixdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5ɰ +pۣ3LH/Q â5Cc2A{ݡh?>%W"I*gb1M36/~PZ/C4l_lZ>~HGnfU*$O#6Yȧ#M|7`qSUG,tiFwʅpnG8~_y! ^Xq 1k1qvȭ>{g#Ȥ)-텗w2sڪ H7QT,ÊW~]G T,#_鹅?I-{+|,laҀɁbbq*gR=_I[`@ɻRl7Bm M\qղlG(4<ap~ArP8/t$lSG?D7x?9^ߊK"#Hy)l _Z;Ɋ&XAn<{iM_؈#'!Ēǃ$)Ͻwoߧm\C i 6([jR7sWAH8ku-K %ckR4o20P6AI ^8ϐ/X3{Ԧ#u'Tu}8ܳno_NbZ年Z>[?_=e/fz-(?6DG1>2 +|%Før{Huo?^i3@|1ӇZ2D2?w:$A9 [wKJŌ>bQ6MIg*TKzg$_ k=Js{oi-=n܍ȬQ=8kG#XU$G[FٸZКˎT{p)5]{!Fn)Hb,uCBE=ug{/i#g_G:З Oj8U! Nbų/{F$.$wwj!N",㐉-q`2GjD?׎ EO)._ItWbW\$D~n[OɨH y_/*ґ 1;c%~Cz!RgxJ,dBKQ+=Hbx:wWڨ Y rrf\eC,/A ȎQ)G|W5Z}7!0]8Dv;I?3+d~̴vXo 'RǛ9RIsg^]bHމDNzĉ|Zbٲ=22ژ«qN%lLXn z?P>u3ݻDa1,Iљ58DY  Wl$T> S@qniK:" BEN :~]SB-D(@5X%|6'rw|C,*O1Q#]֘>Gb3mmH|Z H28_%|9Nm'yV FZ]^cMnth'd5x|3p5 W3i͟qqGr'akGև*xJ8e.~o^w+r:ly]lOsP=Rt _bJo5@!3L ^ I?G+AQVam %"dj&8̾SnZM*iK>”2~A0]QLd$rR8'׫zk&I}0[`,}؋4&׿;MB(;/R*qYI禁J,.n։sƨզ|j=pvmi.. 8Myv֌k ^TĠsrKP9lRtsXk.Rv./5B+'x↮H,?G0<Jb##.k8)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ҋPݘgbV{~!?l mfMyO5\Y_ѫ=5TdjUaQ%3ZH\E/,$Ibe15k;"Lu1 A4\;;~swy?4-NLn[W+ V-n/ȫxc}Q/@FFlf(k717W{c%A6pJ_~=|#Z4<ԤD0UiF5 e] @|wDw aLW 7ڟS (AlCa]DCl8S[o7wqpQlFhh$ ==6hsRԺ@jƒT)fzba9^LWk&Yg՘MFֱ|[Oח@oTS61s˖R  o1O1X7F6P'Bğ=q gKiD'-4+BҺY,7<}K{otfA^&bp"0E E횦1H{H܎}&D[Ô9PntW=N"ꞑ 5I3wՠpY胵~TJJ:VٛTROXtLQWȝ@k~DqP?S [gF&M וvtuG#;ܙh>=m yZtlIjZyX,gMfQCe5{A6Jjw5N1Z  qqvcolbJn- !x䋐KGxo5e2\ޚ ,["$6هbSOi+&:mxB]3+~O?\⛞\&;Ƅ,* aǣŖ[vraҴ4Hb2ЪN[>ͻ (=b&Bj:eT=; ٩:2> E;|  lk s֐&B-V'IJ>- {c^T`> =}Wc%IxssSfn)c *!`<'U_,:/aۆځx*X{?zmy$.Ecxn` t媵ܙ[VqƱznSPLt*\}M^C#w]&5R;{(:uZGaVNp9;F!(nn9t$ w:Fu`zAeqsi9JLaP')YgX鍚-Q Xe)ǶYe=,H7>rճ1y5`Ki8 R. 99Cp7 Q-/Q qV<=++nfA-"c_Ěa{V=Ly5ߗP7-+6qkryhoh7Ͽ<;ֲE3W$4TDŤ0)?x}D{Df`׋~ps%Mu0O | +z.SOfoY"FJk[Jo*嬐~~Ra O*u@lQ/H:ojrOiC;Z2+gYZi0& )^lgYZ7zXZִF! O]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]w%dR6~d(3XWk'3P2R p7y&TN8*I3k Ϙr9LBjtzz<1nDڂ:Ku}1ٖA^VAv{N5\^bkuVӆ5;oBTWCO.*psS܀؄ {h+z+NI~\c`4rUTۡ:wSUNڡO_p PkV 'rGY+Y}⁇i~1$i̙Ҕ꿵p-W:m0Fn:ͫc@7#oEI<m>͵ TlGQ"^K` : ű MSUh}ny4)=a/.&4۩+pԿU& @lX5JP$E)"t>PQf?iz)DzՋrvkv#,'FD]?NDb]7퉂[_Q򖄋z ca1f*v9E s;>J]AtSc#~6;}USK:Aĉܤ EMJqa3m`BGoQQ_iOh*cD(!~}¦wјA K==v{qt {:ݿ;W*\2Po\ /G7֢7̆,wV 90AYvkP|B]oY \XSɋB O)'(ɤGD= d-n֡eQ01\V #[dbkbZD4Rct'pY+N>G|kCO83+v E qM> V ~[/I%Ic~CυCy>>'BV<ـfF'Y mÛ ]$[`˼# r$٫܈eRrrۓq7ޑ&*O9eЛ!+CbLJtm.M$x=tSe;5<_cJM>L[yXPvwebN`PH@(Ҙ Z/@/`8ۅz"#GZrMӫAMF)S:oK{m:~~zeXW 87J*"x^[5.Y|RPiAEBS/eqR >c 񥙯֖u?`@۾s , 7^LVŚ-Fy6%wJ4|ÂfS~8t~1C=XTM`,IRĪ(.3 NpXhWSKei:! P\=qbE:!f'hcxP n%~#nfKOt}Fl(sb^Dg+>y :뫫Vh%+]ߤzjVt>:@‘5{(l6@-C}74O+4ƣڎygP ҂Jntݸ"tr6LT jՄBJNb4¦uRp"fYQHȆ$,I:èIg㕮! W<iugvӟ&͹a Q@W>עu 0QHӉڟ_>MQ17Sږ&{Ȁ-kGw.5!&O35KX:KJW kyʴE ^BG *sHbUГ>{E5ycΒ&fnFTVN)JޕcdmQm:< yI3m30m yG(&X RVܚBJh`Kh!hClӴ mɨb]N;^>"b;zb/:*gAAM4t yvv{_-$Qpe$s F+ (<#Ks=pD0" sA(mα+:"HUO^5f >|~6E8OjԳ!w/CJ"գI\OD a8*z3gBܩ27eijx-!BhFmew뭽l_2u($;BykTXmWNѧ!8n0Lb?=8d H- n-3z"Vi1<[ɞ!sr7 \Q,p#2rIɣ0P8l"U3{0+?f΀\.2sm42HJjjE|wbY9Mj<GGڻJQc 9#UgX_m[\=gq׹ZAqC]Dc<D>yܩ[[5TӠ0+[X!s1LX)08{A@umaRjlFQIreF#gyA0[QC".jaۧu.XB(1c-"Qn ߜ:#@g&DAun l&` Q3`(sQ3oyj4wTl5Ce'u-bg<ݴVq#엶7's9"餆UҖEyLS(͒"?SycIE&|A:ۖ`6Z'N=[LVr\q""ܻ> j%痤9msz 1@=k =8  hA9 W90