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 9t$,l ]/ PSemigroupsConvolution:threads=4elapsed=22.850cpu=52.272gc=1.7207zXZִF! &o]ŗXiɟ,ra@Oj ?[P)x$"CAi`qik[al@=np UH,[LXe}Ie 9 PSemigroupsConvolution^9m% PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroup_Liftingdocument.tex7zXZִF! A]A-MՋhvG"uIBm5D"@87yqgZ601 *?ڊž1gEǍ2-q'¯jBD<3Vұ`@2k^+i\pv9 8'C> WG:xVN 3%3'VxcvĹ0<Ӿʯ So b[qFaAK'"}EW(׫ Wgʣ3&UiVݧ,7n2Uٛ Y'oUbHc^=7GU"SA~b|P"`bmjfRgMF/Au/±<2G,&o+J߭jy0 {i0*N zLj pKkX yor8j,ދ_(Ku,~hB _+93b&)R3j38hPYaz?ëXB(=ؔo4 X R4FMd>~I"Ou.|: / D)\#[@|nC޸û 4Q/٩e7.%7H5dvL0l+4y}V ̕]!p5=*,¶*TⷓG`s`be'-|"N?d}Kjи />yWߟy/v*x4'DZCnor-֑B+ ;&.3.HT,8Aee1a&_,7D.dBmCb8TƓS.`W5O\ܡuו4?׆QDՏCUs5kJ s-uoHhǝw>{{ ]20=Q6*-\! uW,GLejՔٛ Ox|da. \/sFHvZ֯ X*Y Tv߂ףF2T0Pn?|+r5w4?iV |9@=z`p)74{R5~GJN*L{c2_ml`.rseG{y.WܭE _:beĖf6pXeQƂ%_Oߗ F`0gE9PrToȵXɛF63Wڨgn?#Po vut>OM+RKp4;R5:Piu^qY[CQOɎ*x~5Nd k Js>?@4OI^`ڼӛ1F*͓х\E b!ʘa67LAF"MƖ_9MR%x.*v7c-wHec3wRtE딧4I4.R7sz"\('gAYў8H#E \[ rh;7DF:I0[seoR420-dcO<1aE S-K}a:ҥ fohX`3p}4c?Po~cDXJz;m 57hS >C|*L/V`E90[㕤zփ,63[|T$gqV c ,eQ\=ոlR?0 aB6L6G1N1HlR3~`ב4˕Va>M(]9UYSyg!Hq5P#)&^vbuPhoiOeJ@b* +dv me/Y}8ʨ jmv[ر/E׿N ,=X A,Fk|fVZ}gӈBQܺF}Y jdNZKpG@ oHshFuM(/,i¼ E j([g|'tu% Wk!?#eUٚM@fc ƙtD\s^H,8p =m,oiM+ 8aqϯ8ەץa&OyNݐQ4~Г}ȳo6{P0'CcDEΎB6KGC͙``е OlCWSy)ڏwD9 24BrI7.Lt9T\I1".5l>9g}Ox↑u+#qWS62pC׻pv^:&u1>o9|[WSUcXR-9b%S*)&P6 Gcm3EEP;l͑TIU}Xd?:4ް ;|wx;$+0=Vcdt~ HT ^m(+k ޱ#pTd3ypͶb gbju&/uNf"fSqXq`?")9L}CC^:3mì"-1 kyI i4|lCD^ D1P0t%Z,Pӆo7zKTOXjZ(M {5o::E3N_9`Jkt7- /UO|E^Jf)HvjX_!U"V#&bi "aMmtZ Hf'?RwFLb\j2%dahPUMP@"úEo/pTHqd7A Awz\Z-6W!0]@qxqTXD' |e:zrML;R#1vBV@)/Ke,Kk* ue6.*`A)h8t p~v 1ؓ'$H99 Ч3&ӌoq~BB g1k WWf Z.Ϡ<#ؚi!CВ۔M ?c6:&l4դFF4J lBݵΟHozs׍,52 }Jd%~VjS6_,3lɖ&q՝!i5,! Ax&S i51qj0a.q܈Ὅ toepꒇM԰ο n/j}8_b[ u͒g^'ҢgE*=QaR1C˿~VúiYa> <9SLTP"% )aӎ6w}C/{zC[nҏ˃2Ce%V&XȜ#,?1!9KkAG7* ~&zG6gp{ [Jr- %„Ay)Π}ՍÂ펏B++ {bA7x'6 wd[fĻh= ppÏ#H#qw3a0"A/5a54MFX1q9s$? !o3le+ ;|~]]%>͢#v %'a`E6 ᘇPbvw+=DxbSV_QRo`tY=xɃ5'/1Qݧ@4jfߙ=U~ j橍yEݕ\1 O.ceD0|=@NSCN᪂ /jYf#:vg52HfY V@M,GRV/7b?ସSqZ 7qV^|ᙇI-{ė4dqJJ.AM%œ}fu>/b2!lHcЏ tݤ;Ԍ}I"wDaE6*F'[՜19Rz_5Mb}*nff>gƸ9̫;C52EYjܛRI0Fg$϶n;fX%l$AUa[>uH̄iM ۙpltgW_'= ?ҾJIF('ATFڨs^,ki$ՏЖHb%AѺ":<{ *%Tt/ HHQMkoRGD2z=H ?m1{VQ_wE!;b~ TkU ~.G 4p yqRrmP[: u ZK\YYKC5/+%d3u S+=L7X+֥0:z$CG+&N-.mȑt+#I!{O8bl $$L%Xۘف`^<B 5,:f߻FmN[5=fZfJP%’ʥ3_U0aTNJ+ߓ|s&nH3ȝ\lgb7E0znk:p?GiܩB{H: Qa-Б- | ;qEH7Ź]LDeHh^?m؋Tx%q 8Ԋ]4\h!nG6w]Q')H.T ˗Hx=n׬LRvɯI|F 2ob}nc dt)ѾtN>=?l \eF&!E?&yh. LBe[Ϻ^KsF^Y&!p`G;$o0B-pקYa t(G'm* Xt 4hS($\KU{]diN+}vJ[RkDUoz=b)+N4a_L\PxW+4m~$AR21b\fϤO =kR.÷x'!H~KIɪ'FN1E͚0\T~Cx&eyle6,3@'efj:-89]g.futf3LjWW[Tf6@y(YZFgr0#֖Ҽ<d C( ='L2 =/0X\+q>sYK ݚxC+װv1D1c*t|IyHүEPp_m|LHYIoÍOVJ^$ȠK͒vh ^dveSN[*9vd%\\_{Vť$Z=lG'k/)v!gF^Dj1=׵1TXp1<}!-ur7QvSj5ɚxvC0ݳ^wnWQ`~))^ԵkҺVjQ+Wսͷ4)Oƥ7U@^ 5N+{c6@rƆ3C(Q_2+ 9M{熊` Ka\(A!qJD a,;ɲHCLu'!$n瘭vnѠb$ޗci:UuؒV- 9Ͱ{m*мhd΃ϱcm/W2U+Y6C+UJ18eX,ݶ\Mq1ZXٛ$-uB"|Ct jؒ >A"Z{[kl 2 McV2H\v;:@Tmƈ:y-~Y'[DGiAsa~x}l%4H8"y՘wDϤNLKRBQOY_HRLJ>j,~[*]@Cf.{ zUz=wYnNO:`v$zt;%װuٛ4p62*LX'K':\Bx4_*<74nciL,uߞV+ae TDemxRPJ/ވ6 $%Rź>eO5W> _,hs{%zLԂިYؑsٝ#04|1˶ԁ'6sf!;ob(:9C x8)H෫"J'(; ͟;%[*&ZzmJu"޿*a^q]{@Mn~ 52 &KJ7ɂFh_9z%j쑻J];&EB,*TG`ZPܚD)+Oc`<1w}Ȣ8-*Dj6iX^bws(L/җ=%h% zg`n3QΗ-Y b*uxq*7ePڈsa4q2Lcj{܃M͗[7f ͆i?/m6K,7mėw{e<&Թ磛Lp:Suh X C*_ lͦ _ÓFUKm:IQm^ _\o.z:Za231PO0|1zcSJF%~dp fHpwˬ:;'Vzit]IڐKYk4C ˆkB6$/8Qji;:q+EM.ĄDX7냊@5rɊq!7)'S" _cFT qVynl\X% .Z p;d4ȭfuWLGTM]NU+*sZh#I>ȋٺB {̹(^*x?%l]jP.vhHm`tJx ;HHQQ1WK*P9Ǘ^u0w`~O3 nBh[f_y(w!Rn_q)H:ď/q.Df7(,Y$6ނ:8cAj4iA!}1ޏ[qnnDuJX9%lzEt})aζ@#.%}sv-ɾUJZ.i<+ˀ/N몭-:^2U&RbԚsA?//Fdu!)6[(ȥi1)XE+]/ gn?_)߫ r/.T&yP7}5')%, ӻ7`0 |)O@i|Q"*K954/RSr 'œ ͪe^_{=:&A`nx").YNfJhW6uj!=n5B8 ,jovYz'[S  `Qv}\cnpp}:-"v,h/?aȱK -@ז?fK(nuZ=fOό6̬xt a@A[ }ib/8#yĚA>]w0'qDr~p[ u9!.CjqYƃV4;\Bdm)|Sn; qI~8@qe_$k+3iIit9&N:^]"B=QB鴹`(RBf9aϪn{?p~{lX4ɐ}s|1ޝT,bqjd~Ʀmh*qo{sEqsnTE ﻗLX@g~_X6G_WKY¨f?8줳rނ%tIQ k. |X ^V3t1 ^D}sť+}V3R؁qiA|u7  sQ'Hd-WV5<.d>W{#U@$)gYZ ^9m% PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroup_Liftingdocument.tex7zXZִF! A]A-MՋhvG"uIBm5D"@87yqgZ601 *?ڊž1gEǍ2-q'¯jBD<3Vұ`@2k^+i\pv9 8'C> WG:xVN 3%3'VxcvĹ0<Ӿʯ So b[qFaAK'"}EW(׫ Wgʣ3&UiVݧ,7n2Uٛ Y'oUbHc^=7GU"SA~b|P"`bmjfRgMF/Au/±<2G,&o+J߭jy0 {i0*N zLj pKkX yor8j,ދ_(Ku,~hB _+93b&)R3j38hPYaz?ëXB(=ؔo4 X R4FMd>~I"Ou.|: / D)\#[@|nC޸û 4Q/٩e7.%7H5dvL0l+4y}V ̕]!p5=*,¶*TⷓG`s`be'-|"N?d}Kjи />yWߟy/v*x4'DZCnor-֑B+ ;&.3.HT,8Aee1a&_,7D.dBmCb8TƓS.`W5O\ܡuו4?׆QDՏCUs5kJ s-uoHhǝw>{{ ]20=Q6*-\! uW,GLejՔٛ Ox|da. \/sFHvZ֯ X*Y Tv߂ףF2T0Pn?|+r5w4?iV |9@=z`p)74{R5~GJN*L{c2_ml`.rseG{y.WܭE _:beĖf6pXeQƂ%_Oߗ F`0gE9PrToȵXɛF63Wڨgn?#Po vut>OM+RKp4;R5:Piu^qY[CQOɎ*x~5Nd k Js>?@4OI^`ڼӛ1F*͓х\E b!ʘa67LAF"MƖ_9MR%x.*v7c-wHec3wRtE딧4I4.R7sz"\('gAYў8H#E \[ rh;7DF:I0[seoR420-dcO<1aE S-K}a:ҥ fohX`3p}4c?Po~cDXJz;m 57hS >C|*L/V`E90[㕤zփ,63[|T$gqV c ,eQ\=ոlR?0 aB6L6G1N1HlR3~`ב4˕Va>M(]9UYSyg!Hq5P#)&^vbuPhoiOeJ@b* +dv me/Y}8ʨ jmv[ر/E׿N ,=X A,Fk|fVZ}gӈBQܺF}Y jdNZKpG@ oHshFuM(/,i¼ E j([g|'tu% Wk!?#eUٚM@fc ƙtD\s^H,8p =m,oiM+ 8aqϯ8ەץa&OyNݐQ4~Г}ȳo6{P0'CcDEΎB6KGC͙``е OlCWSy)ڏwD9 24BrI7.Lt9T\I1".5l>9g}Ox↑u+#qWS62pC׻pv^:&u1>o9|[WSUcXR-9b%S*)&P6 Gcm3EEP;l͑TIU}Xd?:4ް ;|wx;$+0=Vcdt~ HT ^m(+k ޱ#pTd3ypͶb gbju&/uNf"fSqXq`?")9L}CC^:3mì"-1 kyI i4|lCD^ D1P0t%Z,Pӆo7zKTOXjZ(M {5o::E3N_9`Jkt7- /UO|E^Jf)HvjX_!U"V#&bi "aMmtZ Hf'?RwFLb\j2%dahPUMP@"úEo/pTHqd7A Awz\Z-6W!0]@qxqTXD' |e:zrML;R#1vBV@)/Ke,gYZ ]9[% $PSemigroupsConvolutionPSemigroupsConvolution.Unary_Modalitiesdocument.tex7zXZִF!  ]A-MՋhvG"uIBm59jA5+<].QEqBQ|)L6{w^tݼbBy;9܇MBzo0dc6|UwEʴbH?zڵ:{; ÉZCɄbuSG$nF2BC ^m;\URME7Ճ)V2#A_?^D(d;nOn,<\t<^їb'WҽkC|ԓ͖džڌfz",0`(׉ nQQ %hk9tɱJUC23Wt@^2=GE~I(hg̫`\,-'5m6^xf&cB<Dدa3eb0?SM_jC&ahŻ cP&1nq72g7eavDQ0\ 3_{, GCsP%XOHv 1vwv(/R$4x )m2&`iMitYNsE{SpG|gE`;a"mS[CgynrQ>_;`*@ߖGc=H`%NOpƞ|L=:=:`k]@j7([( y(V|+.xGcxBę懃Uq8Mkr,L _1& qT#yQݭz_=UdQHVÕ:ZST;#(H _oSihS-o4T޶h% 6Y}ݟ_+ "p62EfJÁw)=3>4Q d7EaADЈdd4__%1Жwy£eG#7v)h{+Dt٦&5"0T=׮2w9LjhVY29is&ư LJ0e('f%SwuaMb끨C?쁹d3 sEo[E9 f؉;KNmwUɼdeAC4Q׃4s! c2pt7"[D3//Ev{˚߳`&Մ%( &oY kd|HvoK. [?A4g/\Wױ\(ęC8-Ć0iށ-Υ.^>bw['qLJb J2 ۬?*ځj6g5Id] IFk%۪tL&fS E>s-Ps?c#F<Y=!dK.!n^zsfe(4Z"'XK4]{m<α˪_J3p"LIQMzNmIᄹ-`>E~]ԧ8Q~)vǔ.sS '7 ss Rw_ aOo=m@m8eMcF6cعz=j|0FEbU^4N$Sk,)gҪ³A4B s,Ս(zyY2ɱۋ &*G?^VS+Uz?Tw-ĥ]AzIJd< fĨMB+Gi|+KYrˑ|ҟv0s2/[DچMq. 0ΣYg' O|IrCֲ9Nq$"A$`B7|$%q.s{K9-Hk71B#/AZ4+g䪋:M`yP5&^L_Eķ%Hɱ7O9wk@#^s@&:y2+<6rwON@Մ@Җ;0i+f6&u꣺+j x5ӊ媉h,JNq~;ȍ̀rMP`TF–=FƝ™P+7k31uM+Н(b~pAVM`P U!خ:T|+m>d +~>rʚ4ÈA2~3fOi>PNƈ)ḌXk>Eӷ=AxQ K AP7.{=BFTԸLEB,޷9*y]1g*@uk>)A `k^(A-*kL4˟ݹ)t4a,GJOǂL㥡Z=D+[ kz;KymAGjKcB3G|6sNokA-t3mع13%-F(<@n'G0lZUN|[oR}wu /+6PUQPPǺFM!wfU oKZ%,Aw }nju30Z_r*d'|@wMPI k8~Ax>ՄrtitELH NV?,0{a2u/PyeKI{^ 5Rr+>yrn"d1Mr>sߞ@,A]mk.FR:q))ƏEO,)HD-NcBA.Uh,}j 1GLhX3".q!f0@i ~?ܯ{/‘:)&jJ5br--=u+0iuɕYv?j|σPהik8it Ѐ&}[I%٩BIуZqA.j+#0p$S 蝳Cj'u l"'0:'5+t>x_7!;/EͿce]HO],gr4vĞU/su56Rz|GგPï晁yڴǓsfY0hU:1jBW8VVUS6.%7 ]W&wNU9]P$RF`[:Qܿj/4T'8G)Vt,Hz9fē]1mhþDܭ$rQH7&. ߱={@^`zG8?ߏ$TgCA.楓m/,vT׽z>RSBw QSm6!Y<ªP/qkd5.$lcu [DbnZMNrI*ѪnbJPe|p`|`w (I&xfNd EȊ"42<9j;֞컉|}/nn:d_V3=o39ku)NvǟGd!- +>ͶsٜqeJF2#TzuލR im؀|p>(BSYW|wh~@yݸ{E !_B- DkBsx\cكR҂f0os$[voRm:D<Љܰre,~p xun`Mz%9EMfizI"߷ˉ~{N#nV@m̒8Hc] xddKG<##" XdFɀL}I P:vThHW, 6hAFR91w*`x계Xbcc :P` <$Î՗qЖ wL?5Q⪲YYqűE_{?ىzJu9A^Odר8</oadhA_{ƏsgpOӁSo{-x@->CV/tS-$압z"E8"|:Nel6k2оpn76::/P]B}qD!:XKf`'3w~Vu_z8҄{ܤu]IĬT2э6r$Nm97Mʅ?FF#{,מAt垫^@1.f"FHJ^i&v5 G!>,EIm#BK>GSQQ Yh޵DHmf{Ǽ!nu*GV JXoz6׳h%9Dlu pdE{-8hޑlz$bwDl& mq <иV] $;1$Wf \x 4$ b6fg='?ϱXI4I RCҋ+ڑk˩5j(i!߻ZP) <қk"Zo Zۭ&IY[Sr0mX0N!o4ÂBCnYDCX,זdbʉf-09[C)- gzTNe@x +T{.[Xub_IF}F1O2BHКҮ6f/":f94QlVת<"qܻIu>%E-|(D.v=-z6I3IA9@7#C5c*E=$B by4%x$,[r+2O"HmdTtDm3Q x0`DfQWt 0s[m5󵖸N(pgܽTq6 D 6t!s-u:'8j W",:p3'11lWaG٢&|zF 7#ݘx&]_+=cVXʃK%aYIGLuOi(m>]Oz@; ap2[$7 %dxpQL’nJ0ƂwA]`;L`dZɇ|^A*DkD,\/omgJ3t~nRSD_qr~Պ,{~AP4I6J祥E2m[^VƳpGxHGƒBџlǿW+̽ 2`e,O4ʞ2,tV4\CCȈ0?9IpϿ<2`^nظ2x/Uo Х`cg>,NLA>*,JW.ͽ6.2/pvC9sN,_vԴ1OP:iEqkGܾ]9ِ(fAV.N+SEQaǸ EPmz .Nm?aaU@Tv@ yv9iދZ$= SsgR@4ɵPy"m;,v+ l+5"yN7ޘp'¥,7@H]XfaA|3 =C ZDvMgJ"\9B D vi$g_GtM,YG<*ӰG>ar6|ܯj5c,9WxzӞ֎Yp yO8U ngTՀ_ag[ѷCiZ}//n_z"?k#V[ /XVdpou&j"SKH>+a['|jQY>(Yjq,E\/BRF+/=bHЪOŔy?=:<Yj]~$BKAȩfQ0ntHԯ)UG^ʪ 2Ӝ}yhnkTMN &jwJqw~g}AD?u@(>Ùvx#ϩ`<;FFU ƲԿ%?>m)vBŦU,Gd^(2Hant}Y34IW~F{b^8݋" Bl7%Wh~ɽ^*՝g"#%%t&nҧ @sc#;Bx E̘+o3;s*5nxG Mn_醮?)xV?HK;G`mz= [NA?pN.XjQd$,=X۪ꠗ BMC"$Jh3(~l\+}0>|U&iǎ)WlyS(Ơ7#:ζ_r=v*<.-v(=*^*|_ \OwF; E4@,b\Et?ϷyU1^ڝ̤8T')٪Y4y4y8i$(6F)ED*^vW1P4C?Λǡܘ1+x;jz[?Cb?5zr?멁 NxͰӱ+p 0zW.auҖ9ވ)B!<3"YGe>.P1,|YǷs[s)‹kv,y="o41 MήA;PjkR͗4SJpj&yaֲb8vHXN5'9 ,4|h&Q3Y(VLLve>}zPDB¯ R}@#,.*IsKݸu99 K5gN/^hТJyydoqe#XlYZ7t) "EPcv"ZXz T(ɷ8F+J,K2=pr_:=0efil.aw.n_/UnEE^ʛ_VW{M?'p0% P;֥Iyeǃ9LJ`|mo4Q!aJ/ m-\ kJl{4NzA-e!Sqh4hSSs uue%/# H R`#H^Zr-Qc^~Z޲ik^DQ=/ېZ޲;uz- Z P@ϨنÙx]IjF9d"dJRll0CiaGNjjن>7LC94sX&oh\[Q[Z'MsI]m0:25U4>D#"̸*z 埭ݎaO!=9[P^:O1.NDG6\vo͋eLȼkbߋj y c7VB%gYZ Z9]% PSemigroupsConvolutionPSemigroupsConvolution.Binary_Modalitiesdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5fa1MI[t 7|rU2qCkbxqڷa+!elc|_,"SVckӏ}} Pťt\j93ku@&?arzANO-&{e?x̫ ҶN6]..'5i0 ^;R!C V2Yp'x~wsb-{iKD*r)rݻ5l⎼Y:ծF&̾ у )$PB97z; bgO*^=fY}k[>Ƙ|&ۈ1!, $C{{ (f`}ll󺃻NjW^kz36@.I1`X/Mnں4ð/R3V Lʻ\Ao+\` N?%c@U&k0ڶ}:3G\Ŝ'epEX59ؐj$>v;@~Mjnhr(? m;k9 ;}am̏G6[U ڡ=`Џ̅OQmafx"h !u6#h-ͯZ3WEBgM#AUB.>M@lWc+;33»4Oh$颋9LZX6xR{Ҷ]87VXzm|YQnރd>@AĒ:9˃ÿ %S.j;fjj4}g-ô/Su”dҜa`=Kt'Dz +Fb ^^$EaِLY[nz8B68bo$zAwW(tΏj2PhlvANH }*uuemc|.ryEXaJ}-j$c1JQN]o/8LH{Jy3ПH2cUq~97*yێ^ ۀD;GZ^,bY|@<6qhÎ^>|t}(ɞ[_Sovԩ/ AAu8'د X`%<9/-5/N\^G=xuvv}Ԟh)g^j;&+7s =U<#q:wLg8+$7e<߱Nό$ɤ9Tn\?i?MeNXwX0D>/ZeEO1wHtӈG JJ.37pBS<mm $]xh$\i_>=_ "V*"zBC!**),]Ea{?%䗥2DFqU}T;nxjR0B/}i$+չUih[9MOTxY=8ZߩFz";i%Rq>_^ GWdf:q0]I;vѴYvyo p-"eML:}(^pⰌI#jbÖi4xV6^^FQ?%~s|jpśbu,0G) "5Z^j[0d!A, T  KLSs䏉J&USW=*dq]V|wY$֨Ӷ ;?kQ?ltנN{qK 7GmϠID Kw;G&?=w3-w‘+7=GaMȀr9ԼK[I$Nx"3`05vӾG˱: Av THh %')즛]zi;֦`|w-U*l@e .:|aGPlfN\kKIẋ"bk) DT@i|_}=0;%wP҆p /x+)~_ siH< Q3 LS1;NaF@?5`pi:@BNnE4 !eIiu:pբ3#ASI2Q sy\eIXxD6 S d҄•ܧRln<&ORű'xPӅf9FuynXwt"OiBQT񪓂LiUkww cpm.aU:fQ*띖\KZ9{_(dV/.ƿ/O`вz&qZ9 >کbvV#@3B$4Vn7  2m"%x~4jp|~[B*2+!H/aŘ)雰i%R 6/&5D| Go|S`1'sϪ+,L GHtR7`R"ZcТYVEL[ֶSg&*"e8 K*0)EH7=> ӈ;ƅhvn>%s WE*ƫ>^ؚ| Ite|N>kQVtlO$z}}-y@Ey@Q"/W.V:zwp^kӀ"2N ;#M*Q۔D_܆42C>\@ݛP}^ɑ̹|}2Qэ w/=,Tטj_")6;+Tx0}%["YP|j:Y9ׄ;w~TB] #I3i+@RԜmg Ps}Lϫ6Vaun\!D$uɐe{HMXG I [>+8phiM T%ʁT-# y*BE=HWѹh}qB xt]W\RD!K8$QgthgIVb ֊$2h Y(7ɡH}$!^{,dHh0- f@wtjva5U6d Ă×U&1'|CkwBJ IiF7_PB4l] UwV/ɐVT(Nk]ЇsUU k;zegK4 너8ڻf`NmU:_ c|TZ m U`ZoϓGφ):cOc WHDJҾ/Q.(d+' q+qBmˋKU5F]Ɇ5㾵 CC E;N>I wĠO;ZZQteP8m YRмq[P- B+ efesOL~S 1ϺIee *)ofQVyHkР_B%M.v#(CGe6z\0S#*jh}$);OoB_"K)yic jfYmjD,y"̂xOִsŧwiLq!|+ڧ5%g,J?.6w垊_X]u g)I]o3`cws.I,61'`ي;gY4oUsG E9Ɉ͖Z#CkJk# R,.KZ]WӞ?5]Ȟ"M+m7K.@>E!&%j i!MU.=KG&go{ZcGԬd@9}Ρ#J|@p>jfdXsPi ;4R7QjFi.w6;u+^f(%qI(!؋vk7P_@Ka$9QBĊN'g&2ĉcvT2xΰ M4/;SHo:m;V+Lp`稪G5> o[~,XوlQDGWE1\=oX8< gSg8hnsyu s%[D7)F& !B_T`*kq铮\}e?m>-1F+frI8WyKXaHU6SOX 1|*(n|P=tZB v'[A2 g $[Ը;{ 6q,E6p1&JWey޾0X, a-O &; [ų'#&w{1;~guhSFIq}-ԵL W ޗxE7}et nED7h3t:}K"z^L_@-y'{4tGы& ٵ\(aaAH6ΞT(~-;[7W&+DK'WC%RB9Jq_n~+lPYfQYz#*DԪ(B[S]נ?faW Alj{!p*@gHMoRR?P%1Qn$=P [ N/ {,'< C9dxU@ v~`s,-B]+ r !P@D,R,jfo.sQa fiћ#o1dZQren5ၢRnZ(~MՙCHl7{xSI&hFBJPXdBz 9J?ȃh& UlW@Vq'J}3L>؊*nɫ1^Ψʞ&n]>r!οHr=חPEmߓ;=Zg1ԘEG}ݚ֬< Cڗ`OI3vyYE3w4^C?L3g/,;HȜXW -0KU~fo6{?d+CwkdHvl9~rOn^1L< :e!Ik-@,암(8|,/ܮГ5P,VbaPM#uUX`T.ֲ Ń;SN#i5svt?3WC:W:W֔iLxxRrFՈp74t*޿זmm< @9ج>Hcyw+M`/ ;5۽Ya1q/;x8a$ެ8lt^'fkHPHR uUHTjn]k.g^Ǚ}^6_$:* +ʴ Ke+BI\P+Ě7W\{R!crO<@Sɲjg׶CMh)4y6jܤs;I*; ~ Sg)'iԇCAspw0(rmV1AoZDN3٧>E88Ke`. cAߗ`Ӓqg!*׀F?CLf^(@rŏR;Ї|˅$?&}&[Ul, ޸U#Ta;ϖޱwAqRk=g4[8gI؏hTk=q]$l@tx@IS;6<~CWJ ma[$eGv)_ӥ';QF{#@k!M]bWwwEDOOj j ",* 1-lUe|7QC;=CGl+˛V 0u)f#,)AtK>sԑm4Si^ʞiwiO\uXx$VsRˆr^r r<œAmXn֯=E}iq]i,fH.5@oP UՁwk/-&B!|2A\<83jo=>v\&՛љ[ctM`B  Pr_XJW̕DMPGb`!p+z)9;F4NG[b="ߧИWef,`D&m4v"pG?nŕ$UwxP_CNxwRIQy#r3otͲ'`Ąy8<`Zk&.y:e5MoTlԢ xʕW&%[ tp8 姿ea-S*z[FKp5e B S#zR̳!l`cSh`ɟ||M/‘eD]`ށ-N.&8RBc.ݖQ%iBIgV}/3(]O! vWn5 T96Rsaac˗ӏA}Wk•+@[X#*0w%?Y]*Z-ROjk +ƃ9fcT']T*YJbP%i[YjwW, 4~t1.*Yvo*s1EP-9)dͪ_B)6p5|ePxb~ pvl@ }B&c_I]^pZ+׃p g V=ѫgvj@OP^k : I" ڣ) .ηQd,nRy N/%W[S Į{ξ|:-iUG9ǂHG-x| Ɋ*Rk{tf̈́7,ۭodsJdۤHNS %I /D1u0[x.WJc}W)t_Hh]܈Xd]R Ebp̌c1gvFt,˙.>wV=\||8[pV䕤` Jvj?+B&~#@ qUl쁷]7(c8C=rp`bo=4΢5,lgL&jk EfSu;O!-Qz 즿&ΉT="}Do͕-CY̟^u8TYݾ̭uBnjiuSeQehqekf*@ 8TH(D*-L;_SXÈ\ؓZ7?mK9Z3 U.LƷEqF ZT/9 wNB}>b+)Q_!렑e`ȭ{ 3۲ a2)=H[\-Bs/Wk.Au([I ,fW5\d?r>@,$mLz@K6Ep*~N@ϒ$0oׁµ]ʂ*г~x#@9ةP~G;:r8k,e|)p,Fwvl @LX2EuB)|pkm.W#&Qo l% xn6R3g:qSNZsq1]#s$7xȁa$OdgC wT2Xb$&H ZQ[.Mn2 99Ģ<>ڇ\i .~VtbG$]٭/!h1j3aEn;41z^lSブX0IREZ}:)fg6Ԝ\{trh'W66/mY;w;}"0j== 8\#_9X}m>nApS-MY@"}Fo9ӧ:[94P\#^p}E(XSw N>LEl̖}:. K n1*߷Oo\(QL0xd+$3ф + &a,t(+Z9YSMtlP-)(բ X1ے%W| r GAYadYS9dDڡeqh$'sH;K W,JDuI%),+V xfPoo1xP 8Y"e6Op\ :g(]^yA܉<4PleP>umd/aO:HݱgYZ  a a 9_% PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroupsdocument.tex7zXZִF! #]A-MՋhvG"uIBm5D"@87yqgZ601 *?ڊ_-NH|O!|l(k9oz^MAJ#DZC(d675͗AQHm;n4m xz ȶ\ x2eMLMxpD(J!Q"<[NCAk"yn9H\eR2a_~|ڍYS<6DaX̯ t1=o`T _mw;aV,LedI7σz ˦ d_:v# bci^ V)3Ow"->uSJftw¼.kH2cpG!pl_őjv.h-vlcvF,ilQ>I0&8dj}ޛGQKd;ڭ-M+1 r@2 V{v"I7;SqhA5׹( `u)2m6--rc8_J&5#r86 A|W&0YÔ;t`ՍXbD*qo?pʰnyb}PC27s6eo|T7~P=*~çnל8$I1z}ݘbɼ؍ UW.s!nEm^_L}8бhQwM?B7Qpg{`kz8aueɥnuɧYppsA@hETuQnPt^K(+ْ'}Ӌ=q50~LE%6U2:ib].ث'1U,WPfü#yT*')Dr?qx!}pR0/dɑV5nOB>k]"m /]NcE6y}5qtH`VO%t؆/U<3^OlH9Yp3. oXzOoF1D:! YsJ/88UgcͶLR D0=sEBYS3v4?#ߺi?X>V¦|+%6%;SKivD`Q!]W:Z>4 +:6VibFf!aC6k؋t܌a )s$g ;[>o祮Kz;cb)fLMBc1r, 3Y* y 9Sc]syލ+%cmG"?C !&6a~BbY-G^cRc4Wݘ_XGGO7QBZX*QT4fz)DgoeCcH>ih23vJ7n5Pz_n!2zQBC\/f;SS`%=w&*1tr:5Tq'6ƒeAkx^ m\#VWW+g;!A{czi_ʆ^s{@K[PuLM{gYZ7zXZִF! 8]ŗXiɟ\?^3 40)2XՇNIC& Py1S2XWHmOR^1ZU}]a>2R.j՝CE[uI}g5j :=oFumȆRd]W0OYՄw'~;aw =k}J3Ǚ3 1׵"gfy r T|El.gYZ7zXZִF!  /]ŗXi%D4 ۺ{(:1?![R&]&sUWqy~{(p FHpR.8ӌctmRףx;n*vS\Ȫi13dҲNbӚ*cxt n;60_YH*> 9,{!ǑHk.Xp_rff&9zyA_fbBN t^ u\G^wmŀۇ8jp%Y۱57v5ԟxf>#;udL'!Dl%K-eIuDTF^h3Ҿ*bN_[x?-ҩh߮UzW^]?ȇKpUtT:t-ͭmP<~58ZFOC ܸ`nt٩CE!PC1S/8?B}I(0OMg;5l[ӊrPvIŸ%R=~.m(|I,ʫ1W}*` (q nGV~q4ze]f@@1% {vB^I k.ga?3m@W)"8mۚ?!-h6 m%3o$U!S potz}S$LenC-y(@;TJ"<GzG_ްg"=)>:P_د%.DQBUÓXܓo}ZEAd؛!p&8 1z[O=X&H1`pغX~]{y;{tT6-G'3[mcx)+$cFY7OW֙aop''< ;(7` ]FEzB"9P: tc08tBꨙjDwJ]XBE(lտ$3 "[(\Wѓ)$WB. õpϞ*hU؇Pu]@iH㬣͹q%2+_DYQ o[pwIҜ ֿ_#uu};Cz.e6sd#{nLg-+~*))**Up̌>iDAH3(DM`|2]#gXᄀՀZEX&*ѥZ⦕1q}5JXĶ5B:O $#-t' "M|* uٕ8 $|Kk-%ota<>oPLJ=KS"A@-~p!t]N2+#)B*rOYOasFG!6aL)z4e s"0+RǢԩ0%f٢]Cv4Nemp;A Z} !\.UW!mj;_Shl#7qfQqHgYZbb5b970c21e9f7246aa10e1d2788905032a80793c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6