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 !)v\\t ]]Kleene_Algebra:threads=4elapsed=46.317cpu=106.280gc=4.2567zXZִF! A]ŗXiɟ ^xe0iuDEazH&2x_$8t7/>vYp,՚F%WJ I` ^{(Xsa65c^M!;D0pπk%֮*jJ'1|WaFfcݼ?7\:|N최4m qid(@xƺ38e[EO:Ύ$D…+' y]is32?MQӃXUz!=zܻ1 M0]tmIҿ+t?B&Gmܾs1DTB*W=Uwjcq('C`$(JWKfM`ԭ;  _7PzjᷩIugQUvM غSy rE6e&jhO\\"M #v]ZRș%PƓ/6}T5)lo8,BcT91)qЇj{3_꒗S8T/^*nEɇd8ߘRjiZ=ө?MHNЋ egv}i?sLn#Fk9olVlc?$nv .7=%ͽ Hxҁ:C4Zf!NiՎ.K 00zv`̠OG0KB}x(E7r3uRufd[<ܧuD"CgqGz3n)Y,7~pgSin@Z~8SzWξYc` 5~vѠqFӞU0yhB}iZ}޿k/*g쾱BX2;y{+?,!P2SjL"b6L#FPc].\%,M4;4ZHR693gtqXT[+JnYSXꖤ! 4]GbrǂSH&sld&MlֲɬKO/ȁg6y- k5ďilx4NeE:BKDB7j[ͽA6;75.v⁣C+k4JV5Fe8;Ӯ%@Y!BްbORn wp4zΊ3P8RRx.*F`wtӎpw5L!<']5 DG(oD)a9\2Ŗ (@Uci+lۿ _~D%oJg5UA}6s`*=;j<:!MA| *Uw0.%S}v.[ק$VMNFñV4HJ 1u ( gYZ7zXZִF! e]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]nPd%Ij`6n¯[pPfxhGSJFv.+!bfA$WB}BY8KoQJy"Ut'x'$YN]4--@ ߍr8KkBG2Hunh xGf)3wb8X'=7˫DQ"4gw4ӇvvH΋Am4]g. \q9iɍP`-J{oq‡bwXjT>DC,ˁyS!wy4 9'Z(Ek|mbu'zS9݇e'®R<Ū>AFLoOocAQc˄f+.̲rՀ6`F_ :+|9f™bNOZ|I5DS_0=(Ęu.;= ӭzY)Qn(YD: 2r/.Qul)̷1$9)is/BD]o̅dLe-Q r"gLs4|#cz Gy NmC\%!==-Dj0mg5uP`qVEB`9`z$/~W_Wz,"BJfuȄh~3E{0$˪:t  of[XD:\L${FWj_ YmHl"SGZZW{{O Go1)@9ktЧ:d} ]%D:f򳏺 H^e8|>Nl3D>w\%ge{RTMfS{5m<%<[ҡ ye۱5zRGl-?u 7dJF+ LqANPn4ľgfjS!Vǫ{=Ӽ6N,cS;{??~`~lg@Z=9]V*JGѾ8 v[}v(?$|g,!\vBnɰ^+w\-W}ݐ7u&DwE[1Lq^J'rA˰[3f"#׎ İ~? C=c8lV}Gj9 jP-uDgbUkŨZ906  ) Kleene_Algebra n)E% lKleene_AlgebraKleene_Algebra.Omega_Algebradocument.tex7zXZִF! FIn]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}.ٌOey=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``5Ml\y=Eٜ=t Ed 7#Pqmѥ6GnN&]&pLm>KDt氂& s~5F䔢 -5A9Mq$dvޟ2 P$Umu߾Hv1IJq@fJ%?6e`F5GpoM4hKg Hٺ$4cK:J8וNs!#kX+ғ-bqLjo*;a W͒>+55n sO0 9cdg1IIMB%/8VEwn syS]K7 'W2Ly,9#H ZsI6ɝԺ#zsh)$36)oagpy_,{{~ ʪuj]R1Mu^Dbr`XG>fimn/_RVsC<:ף?Pctp}uDl֭˝l_ML5n2܌l!>>@c|d'wa5p fε+oB\V$c :k~w^/_iApʽ5+lcRP;5Zz7;Y+VNz*=eN }CR8"9ekQ߉tBm䌈n<7"2:_!pç s48q $VDKi&Z ȐaDC ES%H4"IYs l`Y}f.gTFJ.YG_.XF!QiŃ?l)x0ݔ(QdtqRzF)C_G{Tzz u( k~ {@۬6>zǒ2?N~{[A4X5Hg2\)##N_j&@ImAkȈTwP.(ܓ7DL~!/ӹ*4zߊ+:;]"} رrg6ziQW]]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]Pz!TOwYY?iu6n(ilB<8[Nŝ>]M[)p x~/O$+{[55Sx-|u C8ymA?lEB)T*>x؀)!go{8Lu!GlEZ;7f}@{D88 nk|^ׁh?F*Q_۴, F}T,Ϫn+''v/Y4ZS0*:0m//`K--Ġ)>NnBҏIW[HvCЏ5Te"HP[V{: Ui(ZX@LU2J6;Pl6;kq6d203c };yDw9უIBd *mB^4{N>.Gś޹Ʃ/OAjttp#Y`'kUb!^2w܋;  0ijȁ> %"8г@/K$ȥPl휣#p+ۦŞB%)19>UA:Xwy2Bve Q.aja1ܒ(-YI.o/w#PyKa>"}}$s2Miȳ m^9N!= l⊉I^U_I ;Ce(JşN[ao]:h-(=\})8k޲#-֍F*xɍp$L(F| L'0uӸү5W['^k ֜? q J0}Hssc u&J.0;]w7 kKaUլρP/•.}gYZ n)E% lKleene_AlgebraKleene_Algebra.Omega_Algebradocument.tex7zXZִF! FIn]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}.ٌOeYnڎÍ[ =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道=,`!8ФDf7γ(V҅,/&;BYQu4RB5-B81LSu]rU]c؂cst6]!ӢA%_V9hyТ!Lr4Ɖš7h*BkM#^4j,)wM'ugEDh\⊶jNoޏ|AZSnC6,nx^w"`Ϫ=҅!948b'eF>'+Oytk'   b~00qxo/CDU40MW'߂(4?1X+&g+nVg6K&Q_NJwyJ^><GXp= q> r]YBUo- ]ƿZmeT⺂ڮ*ب(]V9/ٮ%2[m;픛byeFuNcT)g1JJ1 GdO &ӥ%ݳC{NxQPA&,ȀG#`&z2Z%^Re̩ٔ\'Z8 pH 0ܔ'qfcIsXsL0tOG:^R0GrAVqrBV.:WeKiڼHVb}W [@=\:{ wC?3qn)b-9mn|z8o➫lgO}h:uI?3!$ߎ!B;Pj)pXTbg0=C{"L4T e^΍Hh7ZIWkc҃,8 X;;0xe;DP=PS~?3xYå |_R4x/tFjsʗ|}րڬ u^7?',Q䄟g}4@t"F Bx!p?i\u9!RvVA|>?FϙIAj?hF "0|߮ቬԽ9#vqF_k`(i$.($[/iCNP{#2*BDC_ '*Mơn:\Fejc%OUj 3s|V |h@k\H-.{# L֗,N }+ٵVP'@޵~vR&CUs$QKq-~c :>169,,azS(̖PRL`Tē h9nI!Ypэ1Io'`vF<ۻ] E\) FMXԖpAHY*&M44~,P7] [^PSg$4l ,4;*S;!vAl/QOx 1.G1±9BNLH(WM0 ?RnD _OCBىy21, 77Ur63G?A>UW t:b{z<OyAA/[BO|LY0~ĬsCd?Ზ1m'z{Ow$WOuާAu M.[[a}Vm3WX*oQyȳ2nm&٪4gqٮzeWΓd6qPRDzEj gżK\ :j$Grڣ%ö@ȓբVy~ejJ" @(S F.Zͻf5LmJ r҄ 5b^ b!xdl \lO.`"YҨqbI6(7^pZ.P z, sž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 N )C% ,Kleene_AlgebraKleene_Algebra.Dioid_Modelsdocument.tex7zXZִF! #-]A-MՋhvG"uIBm5آz$m*㋉ًR O a&@DvSwA)S<&ky$JZcބx]ߑ25b!x?}1fWN Uq=a_4ļ%J4hG( KN%s8}. WoIOuHk 2 g}Ld,)HcWx5T*~;eP#AXT#TqAOjR)Ű#&FuY'TuT!vo0ͤIe;mS4u V7k gZ\ 'kgϨH1=g%aANJ 4d,;&3%'X/WJ˼E%v^ҟ-vӝSKQ&\,,2s4W7K>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 7we'ґ=30:qFs|uPM~~/WM:RA=cm&>,8#$5{0(4»\ A('0a/7M\bo˶qWRS#fljLuKqDf?9C UFY\(0VR;rЄр^ ǚOLt=C J_ TX4iwVsJtX QCYlD H?"^rVPݺ]8vJO__dEQP!VyĖHp < ^-ɦF,)Ƒco^s6=a5@urt:Lx0T+˯yve{:ֳ;s~(%BwDM W,Ȋ6[)!13q(+AEwP}ZSQoQnGDn'1s$SmύcOdוB՗+_DD!Ry -DUY+!akGpV 0Tk>xǁR:wo*0\(wtbU䫂d\AՇ{뿽FW, yC嶂A)fTϬ=_TD1'tYT`ވ>²Jly;v닪 (43?㕧!9/KRmkmN 1޾x\UTc-wϛ<7M6d+$+ҭmF֣꺠c"c~p0 ɀ&2rE8"8h䕁z@s 9mEs~Y CWߦZS0s=$4`^w]lyqPњ̜Cm'b=_+!|N^>Rs^}9썌@M'ұ^.oԨ}]t_5,ikl GYt` c-Y^BiCS/xWXw6>GeRL&Q;2#LSLvp1ޜJ5p|ץbvn\BA ?Vo|ptZɀqAZ dXFw#9qfqoTJOf*Hځ[ߛMr~OLQ8mw:'QX)CُlS=y8̿:@mLQ @h9$r8w"iVͲ443]'Y5K4pw FUpUٓDֶFj!nuئC`asӟlvhᥨ%"wY~̄0 k,2V˒q@L5c9m,(\0%ȶ$Em[IaOx9TqvѮi!xVshʖ~6bĔa;Lz4O3nЏVԲJB50QŖVQFJk)%J1S"w;68f+xۡKt6R)Plс+IJ;{@JP; )Sf,%͎ &8M^[b"`ogԨ7AzLD[p'\>76>1'X4-y^)[q}s@I--SYj O"wPuʿ4-ۼ c|WXTtnOd7wht#&G0LS^|ygg㙡7[ߛ@A1FbFͰdQWB:Gy$oz^Q3n k焄^}%ҍ eLfRXt;Zru81˄qPmv}XNoH헫mZlLaEEB7*iuv p~U{!R_]ns[ws&w0Ѩmgo29AX8[/ i;WL9 `{M?7-cm0)s7EC/-U*rs}ѕ8 f߄FhE LC"4~p4c袊j->vҝEo[F=u u˯][Ey<:$Xy#S5*g65C}y/׬CQ%vA|,Y0FmˌݽZ"H`Q3D~ ha֜#gdp6$q:k?mx!mt.uʼt宊#L1oR7};f20naߧ|yvBn(MT@ʠ9d.EjS6)]Vt Yxx;G^/#s%~+Sb$S[\u!qt_5͍O5}EMs UTP ZZ l,BQc$=w,iJ!y9ZK~Sbu/H)F:Ѥn_cHnYgqz>= 0|Iͪx)8c00q<ƃ/V4Es?\om83Qk;ٛPo#oߦH}+q}΂:O 0 ~hvHͱ+e`ڴ1ry8k-n"ΤS?B\\zβc[ KNt1mxZh`{\c04EKY2;kfl5,mYj s(xL84$-kTDtqh %1ZV~ś6JFu$Y(wFD۵ɧ^R4w!s;+}­14X?EL}`.gOqCQ@(Fnv˒m`gP$S.O os6>"_]h綌0s 8 ]ktߖ/e8[[tA.LQ)2t㦓 |W|P sz=s |p̰p:l/AjA_;&i?>d!ikdV2SNħF3݄{Pfv+S@3A%W-]bW~n5I,^jK ʤ2#$ ~jkv˱'+&I`Q~ij*.B< ˣGNqꪰT0*}6A=k%dvbM"JAs"&=h+4`9E nVS7v*e)S!GxvC HV<1OKTit CBKFK!M^iv  +1q҂N]>ӱ⛾!g QM@E`,=Fr朷3-cv׻h)edOkeBDFOadBr1싹:F}Y#KgGt\sHQ;7?fڷTd̉#̩U2#37 Q(!5&dy#36۱$sUsDZwg,޻I7:#?ݹLJ{eXm?t1m7R2򉀃2RU--9wbey3^s @ ݢV c!s㪐Ǔ <^ORUQ!>P15~;k$Uk~M 0&Vm4HWjv2Z }^)•T1THlYe\#:w;|!;̓dR U+YSqxlNH(Z̧bx+7@]"[|yZ/8WK}"oݥ4'*ZAhX,v-;Io> x$e( KF$z} 3 rJEXh6u "0҃>#WT'oY3-pTSD{~y<y.B|Es^A?;2,`T-XE&q]/P@v'4Ԧy}VJ Ür-HE@)]ujߵڲ2N(r'8Dg(9[!4wIOςVʤDsF|UՖt^U,a`,T7 Ыm_r iQr&~Uxo|t' \:/FՖ^mvqޜ`MTbu]^7P3^DSh$4tbh-0!p+Yt6־:*[+9xd1J+RgP rp/V3 hW 2i Gx$|7 C<M^@Dwn3?ܞ3M7u?[eڤB4n?*&,26"Rs‰z5nq/ W u p5]V4<+`/^yQQMo}uOISA\ˡ\75 ZeAl H[V}m̝`|+>,1~?r(bٷ",Kv? [)O7a(K z,A88^<:Dbeg;" ف#Q 7Jo [V?q &7 _%.b+{^?l)g%__К>ZW'A` X+~Hk{GMI}Ou[7! Q+9CeX|#w]f+;l*iDj菝v:]:GYn37ky"T$5zC&.=3ʁhl1x&qV{"Ʋ{WВ/ =W2vKQcZ,O+'&V&Ӝ_<ɰt_g$)1)t5 gsk}BMFOϑ֛ܾgT[O)WVu$Gat؈(ECƙ/Jpo^P=+K삘 &.5l/Wckk$EH' G9][xk Vω4]wgmLR'BJ,Vg/t5)M|{O$f_p P[" 4*p'a1R%?5+|uACʊ&6vw~։ 8+,膓h~c %fM〓BaMl1]-x r=#1CR#}'k!f#r+\ ŷg,AN'qN7&i`xz Uۜ3LMV,o A.x^K-36byҏHTieS/lM\)ol>dpͬB*f%7_| Oڹ\M'EscKE2hHc"da6t [x ҄(vGkG6_DD5eqT8R#DGHy-nz)RϠ1&j#paF=1)~S2yXᢿ@zO6r#<(Hc(g&v&TBlNA4J( 6T#֡auմ,-it mT_[SaXT C>@n[X\ns*CAT~qaLr/vFH*2i;3j@wBWʁVIgZ!*r3oXTrc8~濇-aO>1I~6iqеL*:=:n8فh¯!)Æoݠ@m?[{|} w|ń#`oZIm?Ej wFGѵ,M*Ј:uE@'8dXc#lϞ8ϪvJIn0 ~YjS jF"~kWCxXֵ _FAa ꉺ\V~~P=o{3:() iH-Vy̋ݙθ6T3NW A=ԯ\%=ؽ * s{3ruu]o{#yH~C$uL-5yi,teHG[>=i9GEC=u;lsjM ԆKB,+Aߓ -+>gOai0*iPI(B)f`Z"%ff tJlE+:XQ:5(h Ac٨q}J4ȁN6>)krv9ˈ^bBS?s'W}ֿ'ulP/v:mgKqR`َ ypˤwdJW-27'|RcWnaSM0I"-ɦB;"A .ڬL:ubΘ> Ue Z'>kc09Dx~Ҵ=ɼa AIH?xe *S#,PBewޑe9 zS(\A:ޑl7jv;Sȋ"iѷ?d9V%:OA.5B.q߉I^~[- &9B܁rNRauy͈CHS-IӃ?Ɉ~|=!Hj h ;Tq %SYu ѧȦ'hUm%4@'r䈆 C&$ j,h5勃!tJewh,+Πë9ԏCZR|)25D~:Ȏ*O-"q=?khkhKGtKo^06uҳEղWu - l=_x ~n_J)C>/p%kPi``gٿvK -SZ#W@+u -u3cx[Ϧ8Yr2XY!\uÁ_Wf8 ixnGC'5u?R,\`5.x@|*=O͇14@ʻA 鱛Nwe/[xN觮N:+=D c#_]2q׍3wz+E뿗Dqb($Z'Ymb}(O*-ކD064bMhl D]>>B?z ΦYaU S~񈜆GwKݗ@. K+].c ЂpMdSAZ FY)dOz%YK9 \mQm2)L%!s51L+ sˆD5[K4ɗΎK{ؠ́d@u|>qnh.PK:@ *krjΧn9v e64Kv>: KEN׾ .rF.n8}a!ްA*] _q$/ϺNs@ko\~S`rU jpU/ڔzPo3Vi[BVB=K(_$RFrcdGi S_3h펣u8y,^)OL{)!xųj,ˣG0aCHɩ6>x]!͇?]lZ.3~w#rA3'<666O^A{OA+l$/[ph}eIMLj!=3bHqX=KGn6g:d1J[cꇢ:\D' DXRn*yxSGk%V`,'f+ꃰOwumF u=fő GۻH<>)2-~(0)W _ gYZ 33R)U% $Kleene_AlgebraKleene_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ŀT )G% 4Kleene_AlgebraKleene_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&9:*{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"gv;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~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 Ȧ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 N)5% &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 o )7% |Kleene_AlgebraKleene_Algebra.PHL_KAdocument.tex7zXZִF! =v]A-MՋhvG"uIBm58'*q-1>Ixst*)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= 0H|i~ !Zd'.(y,qAODy#YU]Y'!|^he06ܖ \=s矄~cZ\BQvA! ax9V44\M5#Mf3涳j@cv@D;:MŨ9&O}ξ2]EoqӺ37и] $HVWxcbȝ:U(D$Ƈ`V̈́q#[$h0IR{oF1QŹxIaGRւҥ `#`W=PWU^t- :Z.$Ä>~61tK[-W2QYЙw,GO{R;BgYZ  )?% TKleene_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ĠsrKP9lRt3؉Ux&loq6R))*J,h6ﲾN]t>͍QW lH^ 3a:}Me~|?W^Mc3)T6&M]se#f/2 ‹Ȫk̜gn3r=XԺ[ßm?<){;e9έ*45J!j)YL$L=XHE(kV_BYA17vWG˛U=7Zw I[\}c5{"Ǘi.XX/-g ? 6D#2 p80 a\|C?\̎I;W2Z*tyYjL=µo2kVY 9~o, ?eI$w>IqP%13KmP0Tsf|W:9«Ű_!7 WK]a̬w` D Y-RxF@ \ơ9ɤzjW?k38s/1LF>`i-HGpQn;m~͗Ip/*)Mݶ[VJF #cwK~*Y`nLLȁSN{-}UobIxssSfn)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 | +ZfUf4| _ɕ? 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 { )?% Kleene_AlgebraKleene_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\v)K-zdC4%Y8ɏl~NEú])]|I BjӔ6<¿ 齓]?CY]:X%'=+!=Y,%y1.Z N/70de hO6'Q:/ |ٱgYZ[>"6#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? M5yBih[;\ FYSNg=O{Y&D+sM^:%7/^Q,ԺSh~ yA 'tRX [muE^%6cku!H@83~1SWIܕ|uY_F]kcqLf0՜ ovN|4gL_SZf'anqоRX'Lٿ.6F4쨎0Pd߿hİE\QZt~QÚYh9(6nZL6@QL2nc*V[RY+9hܲ'w\gv{p K|/T`:B};S9H ؖhV/F7Lѳz@6DUIstH=] ]] N]4c]j07< .\qd}tE"p0b3*3$+t`xdronu``BmZ-!]7b'oe0ԸצHttzPd2X!Ky t!X8LZLe1gBTx@K"RGUՁڐh#x,U=t*N clyU&W]ߢF\zÉ#(u(X/gp%`Oy_,nQY_eo'ri$H 74Wć#.b8'YK ;`B8^{TO^zt2~eLo7Noa?ZAC95N獅quB*'U)*QPDߜʄ98e1{l6DTGX_˩^~']H'<xeIEoQi8D0~ko\Uc\SՋ2Q++/艼Nx$]'Ze.] ELg""]9&AJgg:>XJ<[V^ۀFa;}Co FLJ#/ՐGƀefoWvvqT` c=I"B?xzOp怕SZ?KY.ˌ^w<nQ fzZIk[eMX2W' n`O[ăB AW(HBeO=s\ J+w7B ڰ'vq&dO3BɅiB% h%ypmIuѫ7Pa&p}dmTtM}"+nJiH2^ݝ魨SEAd5[`Hⴷ >!dR+>fv(- ʟmn;ʅT^>~+MkuoXEI=&{|VĊCNNod10Bj|Wdg!h-xlew0j;hpLA/ z&;`@L#J Rcho_u7J,HvKga Bzt`QV/unG5+z5e[iL~lW2} 5uj NWA:mF2|+MY"8Ͳ`:B0^@/ErߕeIQB"=S0 ,nbNLRAbHĈCZrh@ȁdu.Z[IŅG1QXQQ='[^W irh"ĺƒZ-P"ZݷL:/C1shqF`#m7VcD3C.G@He^'l1c'SmY)c;D#6B{l=K.-C,/˸P?G|` OEHzrE!S$~S*''2<ƾ-z?J肍7v봷ijI 'ٕ]O2@3 Q0QG FmF\hwKcQu2mdT6 K͟9%#A0( 8ыndVgK9O4d_?_]?l 7 @:vT߷` NxYtuL\ vϞ+k lXb0lp-EWRwflkH*FBZEQ k"$$BU5H{آp$V߫[Zx/`e?D]6? wd^?^u f ;v-uLi/Ȧp} J+N;Y HYK$ z@.QD࿉#Y{ r &5]7(xR׵臨v6w` iϜ=Kf/Cr(Vl6N/Brsr62*$~*./f gYZ vv)7% $Kleene_AlgebraKleene_Algebra.Matrixdocument.tex7zXZִF!  ]A-MՋhvG"uIBm54􄉜|Cx̫GBtj썃VK>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+MH!`"q h-lOpPKxwWBoEꆂm<[@^脜&ϏuiV® E>/|GP_2=pnys+É'[x˷os{:)IKS4:h\ey)S% tKleene_AlgebraKleene_Algebra.Omega_Algebra_Modelsdocument.tex7zXZִF! 5Ir]A-MՋhvG"uIBm5Ł8%-Ӣv;_ON N? VfBhטRtQ|kn1^?`| ,^>ҋ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%Ti[kV<ہJp8sZN@s4 %t8$WDj*ІbU4t"c>haIP5 ~d^H@B`'Gcxr J5 ]>H[R^>Rd㐵;BLˆ e%6=bPTp+!#=RrHItDF-[M ^M=@ [K ^ `~ 8ciAl~)ms , ]f3犳Z٥Q: ' ڔR\ t箥3gH Yw_ԅj}`^;3"zh?ЪQEt>*"bKռ/0D"9lj&`'WZ::t+vuVY.y\kj8b ėVX6>⡍($1"]5 ,﯊"XmO͚]|n]b<17QaΞ0$|>D55-RU-#*I)EDH/IJ/'HC,dh:nJϓL)̓VJT\FQvHC?`;5#'p}t%YL$518\"]l bG2׮bO=bzdK4[:* d}U \4Jl&PvB&S^vA 7p*c&<< plWF$V$>5;\*e9 sɖ-Wv#ߑο4d3-pTif?x#̘=HǬO7B{a ^Kn㑥Ï5h )>R.[>y}v;ڱrK=5/tSpxk7l!UQM \Яpi1v-ˋ¾xgw(y̮R]8^(LS#u{3b1٩Y85/D*q7 z2Q 7K5i9 4i$=~0;E!n=Ui<$a5( fNfy !] hbGk-(7?l&#"uWz2!,vB?&T3r ƨKLosz}b/qF B82J.޶r`MDOE\( dˀ\QuBBsLV5/-v;<N#:"DPpWB)q(Q*)r Z5SPzkQ"adt̿SլUc+Y|#vu891_웉3h&St2R7/`%B랎%hP>97q#zn>!E ҵLLM9R]$k7duM?4UQ HMZ؃f#`y^0Ei ~"N W3QYëibd%YTD4Q2.D/L lVͪKb up3p 9)m*H3p*naE b\Rud L/JksxZB[_8XAX'm"B rr)L.@zb2orK7 qŴ[M |J=^1=*-f9C:Ɋ. šSY: FGyUZ@ZFQӊ /\vW?lVڻCH F뭊Mml| j%F#*ګaAI+ ᘮX~Ɯ?>•z;Q &N#Iqc8Q!5gNbks]r V6P6 =n1=?!(sI)$WWd.A)_~4D(R9 >Lk#qї- Ŕ]Z3i%vd|M\P?wWZY/ aڹ{R~6ͤi(£`L`7Ƶ?7&ϻ=Ol 8e^Ϊ5@Z^_iW]*Z_n亷ΤmpESGSe _!(cR;jC y8Zf7;UZ`0̂cVn'MX ucGO/ncZn`lM(>r;5z.ysKHPsgHtXJxk]KlcO}RW$4{y+]ZhD2ahɉgiƞVFf)9h@4'ϭ0#hn}ܽSZ*|^wĵ0Yi7ǘNJ=AO~ ,T{/deܺaQC OpxBT9~<5u nXQ 둯X+y]fk#DbJ FArJV'(nƕm RQֺx~Dh̺ܰA .9$UCi&SDvz,zJ^e֎jU~s] v0dYΧ&-$P4Z!uM 9Ey "8=ku^MAvDjʸG>%Ēgq%$F7w~lc0t!|r>u$V^EE惾Ki_LsWI-ɞx~V̭)VOKB|ҹT_p5Ĥ.m!l=rtm d$UC ‚k,C.[NP+Zh߿>m{V7u]7ESh% r.䂬n83o&=i7)m ҕ[? [j,&a;kVŐbF@@?F?Ts?јCr#,bPOF!pcL /\Hȳ55; ,(O4dx Ff&&VޱgYZ(џXSQl8\6 :\9,x\B#Kp{ovmuG 2(hdľ-9:~S,oHL "e@US?@擱䌺&+4$1 g|a.ey ^Ww!|^QA`4a>- `&ն^}޿&wK?jO-;3Rc \eZ%җȵc5Rgqurw쩩M, nh[E Z؝-ojBT9pNGqx8)v 'bYсd\{wz~}v3gnߌ]lxe;ҊFSQ / 5guU:c0wd>a˭Q|y{Fi4iKF3&g$=6+dJdtD۵ҞV!i"Zpq0Gb5ytʹbJLîۙ;*gb o.N'3 AG#T?|G閆MxAh$'\ߤc}Ϗ:wHm_Ď&bx{Oԥs)w4:lUrƿe9w6k >S' Q>61M;k29ߪ$%6(t5!Y V #hO~`"ER3@$ؔJ$9eM:?~6w(lMo272!Z$e0{M\<68 GEy)HL Ԙ|}fC]Q蔵l; puJ4?,1 LU2 dZ^=zrIIH`r86P lqT7qf2EQLWP^ӂ2yqG~_mP$vCLV?vmTr1pB-DWo.-Udq: kY/nzKx ̠='74 IZz z5W\a1B)EwQKp5͊cK"J'Ԫ@> Nhr}i>b1;Jld$YegL_6!U| euՎh ޜpY>٢߸.K.z* lFLAZGf!iJ UiGn˚KsPS4;CFz*Ԣ $f5< *%Aд[x7-^VB\Ut1wCUVwtc@v>#~g9U<7@p$d,74oUi} }EKȬ2 B-+*koQ):>@eVLΤD'Òb})zxc1}ƅGBFCҙ_mbE~nXި"53)"Ezlp%.wr7.TB(hsxI@_U"G$k}N4I[H'f;$DޗS8L`l R {(٨n::ՉHAĺZ*F.+LHbh&X Ȁ@\}L*p[;ؽW{G0]{e}$p\=+ī34DȫW"E