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 `9 | ]/ PSemigroupsConvolution:threads=2elapsed=19.695cpu=37.648gc=1.700factor=1.917zXZִF! #e7]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2[!ӛ9w> FcVe=alH-B#7*-t/TaQuZ %9k~b4meIź@;;Rf7,Z_I?j! St KsNyB,aK;>Rzn3z1d30h=ܴ#AY\FYT/yS߼fF[O75o9eS/m?\ͮ%oRvmYvy }x=3]RI!/4Y1D@Iz =/4 Zb;xyURH|uTL:.=m{&WOx7{EpZepan3ֹSV?;k;0}eûrW*Q)6lw#:6MpAN[b1a菷j]]GvWfggf't򒸣OOs!Ut.Yh*]ÇWY3E? Fq|`~}~llฦ(,` ^t<Tn:=V37Ղ @9fQIߩ4[63+{ڏTc~?=T+XXyzVldKi^m>^f<*{Cy?C!liFj_gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PER?5m)6lҗ'e~&e'^L;:;%raӗ\bCnUE]Ml'Pvoԙ(D8&2S&^Rb&!Ɏ =Pj/gYZ7zXZִF! qF=]ŗXi%; Hq+4;Մ XH„B/م2շ?8 걻-$=zHC`ĺc̓xo;6n4##!ufJv7^ #+V$@Ǽz v9o\4>̞>\i rӠo-R0%?rMy=HNdLC+km) "ܯfƑ:;m Dtʜ Á~C.SR`0:) ҋR')I{`t6q8TR%$5GC#_r1VgTM͉-¬C2K;> :[ixN%\,ᾦ:':ޯU. 3I!gІN5eHkeU(+-!pH>feW|7rbS5~y:w R= $3J7r|.+~2?8m.9^  `i,HNyrG2#jYi;v ݸdcO07- B~5L,{u1Iv%cZi$X$m2xedw/ oE|{1iaPZ(g@Ot&5&Yu>3#k[4g#kVRWf.dP k![b Ymңl액FY某{$x_`doJ@ []/e~O6w&<9[Q;s8Tu&f%cD*nI r{M0"ZiL :#gfHsx!  skgYZ4135a32f5fdfe903ca1a49bffa5980a43cb0c6290a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 9 PSemigroupsConvolutionw9_% TPSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroupsdocument.tex7zXZִF! e#]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^OlH9YpJ9M% PSemigroupsConvolutionPSemigroupsConvolution.Quantalesdocument.tex7zXZִF! o >]A-MՋhvG"uIBm5<g/'zQzG| kox&m!^8WqWȫDǐ&2dG1Cg@ ='޲LD*KG#ֳGʼnN P{G >$_DW-r YY4k!9zcBk0eT>gAӁ]eQK01 YҳU\;Xv3wJ?D'˫F(8*fGm$l֮,d6!/4蠛HdYý 2{1$<O     flW9k%PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroup_Modelsdocument.texO9[%PSemigroupsConvolutionPSemigroupsConvolution.Unary_Modalitiesdocument.texP9]%PSemigroupsConvolutionPSemigroupsConvolution.Binary_Modalitiesdocument.texX9m%PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroup_Liftingdocument.texQ9_%PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroupsdocument.texG9M% PSemigroupsConvolutionPSemigroupsConvolution.Quantalesdocument.texB2At|R[S=Yz/VF}q.1!λG'.R=;@^$#+6I!LLX51 -}JFG;%U\A7=Sz"r8Gj$s-_3Vp}CCT7%7J657=_gWU@m_"kvLG U&^UjUIrkU JD~a 2ڬyJkIm mާ=yk//4<*dĝeG<|J!f^c;] !1t8Ek߈jd3S;Z 1 .WmT /ek[{!4W8 V=<[ޠ3i%ac]KU1tuo9\'vdJP˅aã h'۳W,pSMAbkN# "z%4" -($Ec5Ủ|n'_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 nBQ޷\lk#ɢ8QН?Fxj^`79ww Z~Io8#0XGW矯8!@lU,)r%B&j||O>{\[o ޸a> G O0lɯ{e4#{Ie@o4a8 h8DWwԯ+^!" 8J0Q~w/ۃs;[-@RO` wo6gn)lt@Z_yiGp&u-Xɢ7voT{2%ahQV/*_>-4nf*ZJ.AѧwS38OG=չ ?h!ln|P$yD:dž>sTwcPؠE 4RAQ$gP(q8 eV(.VX73d~nD -R-vBRgDg- N=j}/.kƳ0 rjSwvzH}Uk~;>_f-yfV[]}ՇqĢ^.M%p@iP 7ѵ+ ) $pe׎UYPP; /J2KhXAߡ[ETLgIaihB^Ò(|ʔN֜-2$J Lc N\(Essٕr1 /G)$FwW 0s},MX m}Pˉ;Fd?4VX YNIb0I{GoSzZ Q@SF](&Sc{?}VNmM>7^Ns{t@$.| )2\5f7 m8W7e̓HHǤJ{,ptK 03 mϛ`VN`^TP%(Hf,}KPFbԼs } 0MLrW sklUW[_]k+{6U9Ϙ\,\`+"p i׍ P_݋ MrU_[{Å <N lKeIF7zNpVJ,\2SK =r4̟KP.c^WzN^`/dЩ'wohtp4a:xbVشtf"DE5^Ι˺Iq|X3P c{DZ ZE|*` tήws,y}L5G O1Mbػo̶BIGan'=_? q%iu Do ҆V+W{ ӈ;ƅ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ɲ07]0FR0<!!xB% /bgQr-SXB{O^B;T1;C2%DӿGt>AJW#[QC$%taJ~NOilɩŠuWe6(Z(hl2^J=hOD2QɽKRXT| W6 ^?-ɪ(k/{a<ģ42])~b 9TP,%%+u5q85p Wm#wZ$ 䶂.z4rZW8"OfEi+Me VByNn*\\!uB\R2$ռaя¶ X+g?|w@97z DP5nUY|Q>V`xٰk,f>0_g P:2 \dE IvUM[=rU Dpܳ Vx!M:F_ w2=&7d^;*l ZeRB=S0IU$Xs芳3 >%WqCvzU{F0'P&bzzRnjuȯuK[\Mgs{5 I@a5H {z L%}矩}tEKg[ݤW~s+p̏: eTK ,1%K{ϐD c+6$cB egE`̴=L'Ui8ƫo)cLyjx\ ƺW͎?^Fhf8yN]?=L{fĩ>,q/UHb',l֨΄3[?kR2QplΌM #@8q}vR p& Z_d;2֙ĭAlB}~AoS(VbGt߭ [yZދ} !qR;c)[aFKetX2[>r]I=(\E2<\뤇uk^[;NJ4Xgy XbUH8$h()b . qlWfE+sPJ344}W]>GNu\RsIh+A瑬dO |]`+sנԞ/PuPnGk;7C3 >vΟɯTmtrQV7fGp\`ES}rîl^)kA%$!wmF⣓( Np~ߐ:xь4~V%PNs1^oB.~o~`$ )?yM .Cl 2#MBa\W>7DɁ<7Iϫ)rյ۠vkwxJ[R)9Җ#RILYʢf@(ުd1} pj`/x\cBb6Z#g&^H62F=n=/"`2 J ܿ  \1qy# Kg/X`\''8>*7KY~@!,=9gI7Fa/-"zoݚ0%Jd[D%-Ym Ds>QHB7֪w$>FY 5A9~%y6ϛR򫡥[G5-)JTs+sᵩ{f xPU "u)0:-#"cʕk6%GEƫ(46$!-dM?Hoޟ.;>D,}е6_i5jA|>MX,4YL2e]3 ַ([[`P|:Z\-LcmyT (GlnjMlYފD;l@Ƕk˷}C̶J+q~֌ Dͨ/3gX˃T77ͳ7h3 nzy_GІ䷲Q;^%qE*P1\R@T.Bl1p^턌's\ҭTTЕzܱ@MeoBn 2K>b%.á@"5zNiNkl/ޝV!G=2:~_ =EEz#$:|e8^dT?s19H$pW/h %I]u?I>CK7 Q,I5gI˾#rARFU`끧yd9wU|lU(1(Wi83qɸH1h2I;Ax 5^6;I™ dO<|7d[KЎe|(ijQ%%0+I2Cba*u/[qj[g[9|cF%![W;ΧVϺkl6{&st.')4'^μ^ ]t(UӖltQ O*42BX.[{;Aޣ/K u*WXl%6'& K*E'@7HgEB"s%TRPQ >@(nSnBw徫57;z5|aw$ȃSC]%O'>4O9Rp@ y X0R ]gYor7'` V3 .w6 bY?""q[y x$ \->mM{LC\s=fs೟x+ͽ'0UMi="]t:yu-v;8͂ A^^mBW-U31wyh@o w"#ao?AGV:ƱgYZ   w9_% TPSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroupsdocument.tex7zXZִF! e#]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^OlH9YpJ9M% PSemigroupsConvolutionPSemigroupsConvolution.Quantalesdocument.tex7zXZִF! o >]A-MՋhvG"uIBm5<g/'zQzG| kox&m!^8WqWȫDǐ&2dG1Cg@ ='޲LD*KG#ֳGʼnN P{G >$_DW-r YY4k!9zcBk0eT>gAӁ]eQK01 YҳU\;Xv3wJ?D'˫F(8*fGm$l֮,d6!/4蠛HdYý 2{1$<OтxLO] a9m% PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroup_Liftingdocument.tex7zXZִF! G]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+H_r4DzlgRŨ.K\)b`2&]MZzMg|#7Ƙ(8659"a=b/rgQރTc+1u'v%Xd7{,Yp-J u 3vk=vhxnݶ-045O\j);P^s]>y_ztӪq\Vng\[TόOE Sw?5R|3[f3m4~QŎ%& 1:NAxإt^ ˒C&K%^+,Ûk|bB[vypDdY"VADg%r Pqv,DCRw6>XH;2(2]'4 ў6<-,lD׆OF㤧 D[}4h&h-KfhD*p э !}rhS7\Ҟ n]ް0G@5qDۙoM/CLѮ#C9͐Yk=\8u!O$2Hr9r DZg.L(ţ2,`0E Ju QXSlʼT˨6|xЙI{(TáiAšWuB0ٺ# :TbW\ҭDӹCָрWP@+꜂؞ 8#5|7d1W:R|C(0J]Bdm:wnM1b'0REŽ,%, 9PprCxaJtY>~LǧBo*FpOP>= !V@iNlr; )jJJНtj#fUWh*O&Ue[-_+44N.3!D1؜S 7Oklд/wbSAPr"6;B'.gz4)i3'{_GkЗh{ ; !sT/˅r-~IFhr/%)DRun b/à i8'*Nt+ >B>/^t;> ŒE]&8d,fИ0n"=bD/8E3 ̚zQBz(NL.0lmGYS??2ɷ )VFqÔw:=`@V[lZ'3BX)nM _?9k]db:U85݌|TkH>S!W[|$I`M2bA.*J!0v}]RS}R<^2 m1r n4ǴMQJޯnGN ExHΝ]*+c9j{^-xpe{FzR˾=\KrMiIq gP =炩n[CU( 3f&$$V|mM&*FHg| G5~kٮyIɿҮO +&dXmCZ {[')9M,>.<E@e.6f#=HKkݧ){ 2R6OEӦlƖ6] tx >6V$b GYs3.l9^h37ʽX6 piKEUDvV/SAnCg_lE@_p"+Ǫ×?UcF֏IR|4و|{D /3 %dsb[]DBBArz A2YFw˓.4JϲnRa632;hj|d8"mMXgC0i_ݱIz BϫױgYZoAZ bdYVZd|7C3VpMeaG^豼 0JmfZ75j,:On ʀ|'#b3wz)_(8 ;A[!{"GmzFǂF4qKڨiۆ;C'/rb h;d+ u~bŏ̐[bK* 6O .W |і `rmPg鷬F$ɫJj1˘i&(kHD͊ߨ  W(?{u}0l`v&]^ő`|csOʓ*ƋG&QǍcY#?ZQ(Qd&W0E?tfg8܋e4\B|+3e_deI[xm:(ao:[V40r%KC(y  J[G-QG+@vE^T* 'egYLUC =/:X-Ol1]gt{68,/Nj0pٮ 礕O4hum#^}}-;pbO䡖~:4s;7i6(;JPJi5O/ 5W,>a<]$Bx/(j-3v>̎eiIq|~|~&ήOIhjHe^,$ӃosEؓuGnzH[z=E~nO5*HPH?u!5z_-nVN";XÊ קHW{nQCO+Oo_]{ Zb/zݏ+1$khwTRO i$Ŝ=!{iTk:9^ӠEAlOs۴*Q_nAVTȣ5\B8BK'@%k^3L۬V,rS s+POu]fY'{c- i:˟jc0"罪0 0c (Mh8O)$Ř P\TgL/~ҴS3s6?2ՏPR^MU338$!=[vSRΦ%Bw}yZ&9RS3Xyt tS.B ~쿍=L]6}`jf>5͢Wͨ7i jqLo[2 ՈvՇ LS:HhC?K79^A/+Czp 'k\VP|W&2aw[c|Dܡ.)YǮ!r)co -<(Aݶe!E>3풶'fn{>W YׅVufw{T㉳cAձZ{@lÐf`!#RFJNn pclj`& B=yE1h14i*ye9կkEvﺪ`oVlm1AHP%1^y՞v~ȫ9->0;,`T'`Pun! k;-hj|Vlu-eQrL7T#kxe_=j5Dع^{oeJ`?E>W?fZDDrgݤc\>Po2[o d\]M;)77A i6V>ͮQ Y!-06 e!!LGpJ0\H` CG6Q?qzQFo!iC/U7PMe_*vt@Dqڊ󩊀:i I]j_)xba-&.69=I0^a:9Wiߍ(TmKMvoE|ihg5dӾk0OxI2p:"ݐjBoM~<QrC1N ܼm9dѽF/%e΃[5= ﷶ+N*C~ |%,VPu̙F؋æScCwg6;'_ X9.^tӜVWҮj:{;mCor}6AWHv,PB2a܅U&k2\\x^5X=Kfa#dl6?+1Zmy0<%H2]kazJ Ota /|>rE<7 Gn*;Y-RQErs)13~fiYSIpzI!ayW4b; tJf\[r {j ]y7 N &({Ub,?8k8v \ 6h3S!KAɟ.h[%1+ ,o&%9>zZRT |Ul~vr S<Qp \`'wdN? bF޹9Q~})PIjy%njh_Ȭ";f5=xlY! \額a WkeER"U?iE17DcW^TKHN+N+p5o\}6V,•nĴb/:Ww)zXd}ROGg8ynbz^ urX!Zqr=lg(Ln Ǻ@55'xK_#CJWGªtQ8QL}r)2cZQTN( C̕@CKI+KE"2-Xg['dG}uC|FZgS$up*rQK-$v6Ad~u:<6:Գc 2(*s3ެ^Z[ L{hWCtǞeE٭OR^F?)4{滔QIc(4z(Y-]d4]0SKNzi'Z2xT wW7Ӓ4gYZ Y9]% PSemigroupsConvolutionPSemigroupsConvolution.Binary_Modalitiesdocument.tex7zXZִF! R]A-MՋhvG"uIBm5fa1MI[t 7|rU2qCkbxqڷa+!elc|_,"SVckӏ}} Pťt\j93ku@&?arzANO-&{e?x̫ ҶN6_#[/y}eH_z8x3˗ق(Үfr*GA Ba|W|swkko8nSw:AixsQ7؉ 5'XkRpQ(JXkrW=`nb 0f+z,Toj) 2GI~)?=8P/ʕ+ƅ9Bgq011F 7vcWE=V%1P'ee#9 ς*y&_|bnП-TUK ZVLYĤl53VP.aSHH=lcO!^I0T5J.ҲFoCpᲥ\.]~0|3j44XȯɀL]$qDR$*$tK܋H5x:Tfڍ>aQݦV-0 +}96@gRgID5i IX"_9V_bS3/~;cXWVb+IP`>`Wbчвr<ވn"74ǨcquS˸}6F{`gCǛԗN!&8QŁ)+FfF2AQAjs6G֌4žuO!g;C D`$JeNf/S{HW_5Df -R2P^\E+d,4ȮƓ[]sYFuLnY'לm]%=jT ti;a;Dǔ=ȕ82c=&|C8~,S5bZ[_ UQMGT C1@3wCyT2V: Aih*!ҷ"D|X1S]LpވYP/轙}bvy[J JYz4 F3T'1j _䒿ýsiL6@))nBgp̐b; /IwTĿ6[/9g13g ȼ7?Ӕn)DS$43AI%MP%<),>\!#sL} Yʰr?!+ݶU.jͦ[]g{T5nZ7N`r,8WM!K[FBb 3L)Nm%#qʟ& za0W&ds6s!f26\1GH=Ip̝}]}cLRМTW/vG|"\k^I _{p{!a;[&ƒ *8a)1}P|9K2~VA`"@w 5 4ʦ,RD0Ҥ[#z]_``o%wG~l44Ǎ3C _2Z2)]KR@DGW*qD .`>HZKʿH7AנF-`Od&Xz9`ߺCWLUX~_V飍;MJCwK-{7& Fv-ŭb=`hV}l"6=\baZTJs[ ~_:Csxt<3ʈ{ V'P/,Xe9vn*&湞*iz$1KV [YḼ oS8uk_ ;(MC"MxV)5 aPp=6X(4mY6 r9}D5pKw"sqvlJګ!a Hk %0%3"ObBm2鴇k+8ԩXu L,Ł 9 Ve^.^EЄyuFMP|ߚl ]3RFEۻw7KEKI݋dT7] ˅*}XF,ҭ8kW2jA,_ؔg}%͡4|h9>prh [}f ULSscH9_wRT@]f9~S&L'w/Ktcl4\uڸwus*HY( nZ3O+j3-]e1N޼墑9KFr* Ʈ `8k锈͇YƦݤ!ɪΉ^_Hf{M-f3;anm .6@o)MWkG < d9[% 4PSemigroupsConvolutionPSemigroupsConvolution.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[cccN+\\8ƞD(2:fh*KJ:sSvY\ǣ|0K¯N|XSr%>g10$UUGl6, ,i9WSWJ5:OH# 7!e/8ם(/D5Za*lG5h]w.~yxjeHV/3^/@+de 8;_Ev@Zw 0IۖguzQh$c0E]~;0`&mSd[v(Ȃ|*G+ /dP8Kߗ*gpN?ݴD#GwD;u9hU(6~k3KfEbQ).xA5 a 6Ҵf k{к%{ԘhD̪^7H$,cFO4GTB431D qI;dTe2d,OǖaY 1}b"@^hexĖօCzwXzqYjL%"}l&{n{Wȓq V-s\w'@޽MwDNLJO;AK4I)]rgXO/ ko6o̝&qgYZ mm9k% |PSemigroupsConvolutionPSemigroupsConvolution.Partial_Semigroup_Modelsdocument.tex7zXZִF! a ]A-MՋhvG"uIBm5D"@87yqgZ601 *?ڊž1q+ NhS̴$B\V;8hM#!ϔi- 8̂o<qӌri'4<FTm0Y'V,8,=1' 9(p8/%33d?5C̆v+.΀>%-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-(e3aBD SEQ, }q U!NŽ :2xr>$8]<ٮ␣]*k/|p "h'3+fO@Y.Ռ=*nZ`b'ugqlZk姆V@Py<Ia?4@3eZ/>|jtslSqs@,zP1Lz ֘&Ow sl K%