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  LTTt ]/ Category:threads=2elapsed=4.774cpu=9.096gc=0.316factor=1.917zXZִF! r]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃcL3W(>$0H"k,#lg t]{ğ%Ky$FgUy8(* BMp}Xd (ZcڪyIT r&nWzBU*PYt}6.xxDҩ 9ZTGQ2gDZgYZ7zXZִF! ]ŗXiɟ1˦r!st#?9Ob(}tRz%Tf]pdeHOGXfRyxe.^9;l,y7_]M9*/р"bl2Uˆ*%_CMDcwY:^sdCgYZ7zXZִF! (2]ŗXi%; Dfgj1#QE%GP$w>@W^E`Tީ!6ҩNwջFS 6, utpgfO{X41Nл\x-?"I;(u1?}O;US,SI[1ZzdnN7TI. @90{{^&6e!DW@ypJs݇kg/%$RC鞐1;@sR!hLc{JU]3g|;hmʜߪ| RP_KW2Ԗ_8L_L$wj7=N:¼36KT4:rE *geJυ#i$`J"`OlX)& 5%5r=sg=J<h5$W'-t'yoh4xhPcǙ>+:<e0:+Gՙ]I5DM7'0oj _ o$WЅ+0&t\b4Ǧݧ 7MY HI59I*ȴBĩ'W紛h1e+cnPt?e(R퟾zA40!]$/Ks{SW5aVjoHhau'3h;#E%ué4Vd>]|wX.p1BxIxup{[Z>_1˾!5crYU3O!Gk0RS58:Asr!vΓQgL!=QgYZ1d8ae89622fa9e3cbe1451ea6450189970e3ce2f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122   CategoryV+% dCategoryCategory.SetCatdocument.tex7zXZִF! ]A-MՋhvG"uIBm5\7uX ao*Fn%)5/=G38Naepܫݾ-|h;/Rv㫃Eܬ FY.{Qy8bTֺ}"fbf98s7#Ɯ|\\ B =8AYAt6KN/B.$.~ 3ۛb%yZjk 1ͫlUkUO_ry "37Gpc~B-,f,L( Ӯr $O\~ lYsB4zKK`4c\RI C a]k5nXYFfxC3|;,϶: 2ÃGh(B*J 8KNKE_BDAnSu*Sh)ݼ})j% $4o &u3qJS蘴{!j]^Rw '*gt^-P\LHjqPXbPk8h6gr'=E^ћC{6gx2 q:S2I1#p1$9Ca3̩D gX!SɊ,+ଝrO(+15 3ӑ0Tk$lZwnݞe8r-:wdW8}zfM\%c)Uw?_2iozU {2DX3ENcxT6 .J* 4~ta'xnD!a[. T̬[;EXd Y@ocVэ lS?њzͼ}_*CN%w*u] E,0켡8{e~_(ԟYi /uv|eo.?i{z|`-[nWuřY55RZP*n1VNȘ1cLGi1{= neTѯZ3d\s pڥ];aC9; %#`΁w+"saӠ6EfT% &L  \%w:RuiD-'@8<)cT"oڝ@[& 0RH\'S'(Νe>a˞lױwv*[c %V`p*(ꂑCPSlۊ9^A>r @ VqvG Mo=PM`cAs'Gkӗ2JMCYwA>#fMS2]`dC9 #169ǛrS"R/,TmbgAޏLYeȲ;]b1 .7Z`IO#MsPb(1{(C|;r2QG!hʃyje Bvޭr>sn#rޣ aYcFo]Sź@p~c{iM:UNV~'4*u˴*ki"[xc]Pխ ?3ozc,ZtʚW~BI H&PJ% WuP4EoU.j}c/q/UmNOH5)fCm5!Ajl_XNr{ 'Q[x+_,ߕKO] KV;D!Kۯ(@|qܬ A h!I#]K'@o9i}]eog峁aNAF;pfO\=[w\`/j6wt!b>Fj$_臑4AfoaK;X{fw$ 7+. mNa#uo.%|vO_Wmh[дJXݜEHw Ly^pU!.x%8" 4̌@A[fnNT^8\IZo yZ2:V}ʎܹnGT\Pj6u3I1k܃ơheo79g=U!/6e _R}dX-`?Q s7)H&!4>wjc߾Ⱥ(?BpD?X NC4gM15Jn/ԶȨ݇Ya/n+<ebH8QkG^|A%n 139y,u4_oG?+g7 8gIiWE(&`1S    $S+/%CategoryCategory.NatTransdocument.tex&%%CategoryCategory.Catdocument.tex.5%CategoryCategory.HomFunctorsdocument.tex-3%CategoryHOL-Library.FuncSetdocument.tex+/%CategoryCategory.Functorsdocument.tex)+%CategoryCategory.SetCatdocument.tex(+% CategoryCategory.Yonedadocument.tex^:`z{*RHԘNZSxϞe  \SI9tjv (KXH! v7S֛=$ڕMU8{`K?1~$a.9mDkժK8o {x ,ExqUxMT\PD&`HMgM ﻲ)sKpG9A:, ɌΗ*dEH! ^b'1V= p:bo^邞v[+v1ѭ11}B> 49Jb VV8XytFMLʉO]a=@M>PJgO*8]`={*oStwAmEdi3$Sx`\~4NJ?C}:E>M7\*/Gc X{ +:>aAQٿG'^dyoJQzS%Ȕ2bvGMYF8l%f@|gFҿb] Z ī/+h7U( ˇnݣ'sksqLjXzΈϏ8G^+c#Pj [Yڧ1*mok~YXU4% E$dTy$?cZ}%qZxko$ND̉z^Qj0~jIPٱcՄ~ Lw(qLwNa?t%v#:XrnTARc?tlh$Uz)jк-'i\V~,E]ц-hٔ1[{8:1^޸.UV?fއEIU1QoXEgi,Qp(B7ܽ$K]73r6lOٙ`V$-d{SƸ0q}X7~ ~@,\0x]*[s[XJBZ ڪ+)8c^(̲ l@[S俽[;hl#McNƈ v-M{|% A_(k u]JN|Gw-ϡYl+{~߰iSoɠ6r! 1/_J@>pCsۋ LZB x;?,*\`)aD+XI$f UgR׌W?db;Gxv(qU}Ѽ<@3@aΗN}qMi}'8d{|,X cJm]n|"p|\|jmow%eⳅԗ^i XdO @0O~=>XPx)[u0F-}B$*Рdx8AU#i*W&/bO:EEg ~gPy!?X* ǛInv~f+2x_'s 2gצ|fUP{G$E54 -(x?3 q +)N٭01܄iA`W-WڿQB3Lx*QյjÀ/o\QSH,[.tۭ6oɈ&bcD1|`v]IuQwJJ~mk( f&0Dqh3HsG _n/ UCxbEqzIEi8{+ަu ;ׯ)8隩3xe"40K'/C/R{tHvE0v[ܬ^6XȾB?=e*{ts@lY#zt!7񊟔%,BpvԊǢ41<#u 7q|ǮdؾC+ðF2ENdԫv%A0!+j6@_{. +(a y[.aj:,TLn=k}jdґWe=EߊWC"Tz^yDZWB De5WӥB3;KhP4eUu!wNdS`{9&uûQ-dXf6VE+bXi3r?;ED"VQ\R@(6`832SF$z*]N4`QNkg=Sh4W˜:Be4Ifݗ-FxKx=r U d#uMHIY^q? ZH840ZN;ϨmOl5i:e[2s7ymĤ  =,O{&%c/ua~όV-U)QGt<XJЦsz_4䩿ǀL1– om8<5θ-s <t0QR{8.-hcJDƜف듾10⪜ k%+{ 3e]sĆ+Wm`}=aϊt„L}/{e (SB9KqגY`~-ޏ[&SEs;pC继b_)TJYuS)8@BKr|" UF|}pRMT]w;r(΄w@y;NЅ汱ʌ֘E7xU=,;6Vr ])z$GZUkS nWe4)Z<)a^0]Y-5`rqߔ1omFBɒ\"paweNwվjT]hȣRK4>p.)n$1ZdCD#tu)88f(M36+fpȊ>k#||zĵGfgÔ(tT#MQ"p'$U0dD΂t@=b*[(9qBQM{l.MݪyiVF!ljd2^BL4V!A$0] .Jezc`E*y )i/Ir!UnezBpA KߥCf4e9} zc.>y'B3S/ٝ5%b%{4R[F22!NbЧ6JF2o$gYZ*N6bĨƼUBmJ5_#Y8! VQ>V\mĖM^0^MtՍ#+ח7S &_Rm|楤ɑNv |a4Í`.%'>Pq.Ldm^jkKF[Ki7@K%l ^6H'x:NMMxlI[; :HWк-.H[biʥ D ۃnL $8_T S<CL=ؾ[~Cڥ'ĝmAwh<ʣylqy7 7|139j<<>Y'.[} g,qrOҢbM9{JD:}F9 6ڲQX.w:WBS-: '!h,j|Sf,Y@ U 9c 8#F`-v$EڜuFBs[vhN!3s%pW+$ 7Q =Z![j7U H>7G*\`55e!vܮ~M [p^K:xdz^e@'+Ld m,1nPz{6WV/. >_>-ܽ0 ]9i$ݴOns%Jk F-7چ.EK74;UΩke[i[(oqY6%ffQn,&m,P;1YyYnRQ3n,g`Q_8}EYG;?W(RsR: 8 XQ[렔J~F 2A'ik|}{Ժx3s Wmзι*Z=)vMΣld- pCNt [F / 8I=ũŠ닶Fy ԮYʹ%k͹'INm,L)p z43A]vIh{jmQ heA{ P!O\vK׊-;Nm? uP/"߫=+{ /ٽ;hG`^e0h1k4_AnPQ}P)| 9<9,V0I>Wܒ4tĈ d-oUt+fAvZ:{~IZȐ~5U ix.q^oR h9FCC 0ffg~vnz葦|7)29Q>ߝO8-w)]/VW|NX gȧ(>j\%q-m ;rĬa_ɭnV]pf(KoOր˜^ N%`sMGb<ibiVbu#;[3֍;,Q 韄((i2&,b!6d#<%ڞF]W'LXCNpb(ڀMNG8*~O6Y"(0 BꔢVPJ' .AGJ~SO3~]z-jF lYy7W٢ٸ>IeYm,2$*49#Icdx?|5v tDs韇)+13hIgk"CmGey jx5B% 0)5}3 XCZ؍gk<^I&t<~ !*s!LJ)5*! =XYoAÙ;0L%ܬ[]h$N3|ZV+֪PVTF ')o֍IUnL Bvt<| WCʟUܨ)om6m,PM9oK $MDp|}-(˿-XD/W[r춌g*}B~lUqDTZG=]AbPCJ"I)!R2~sxBJHYi#ǥOB i8'r2HƦaGbaL%?u܅/~;9#۞cC%7/:}Ðq<.<-fdN[NfJ#h|?2k>!V? %L_Nm7.*m={8]vkVO ~^ Y(+ 3Mhض D(p}VRIh~#@.8¹f %%@f I*3s{w;YV~sn wr}cȎr=0:91Q s@Q[.2燭LL= l".\FA[= yGy :*685}īI+\MRtUlw. j^ŗDv"!؍4tZ6ƔU2\+u'N;w\qƻ`Hޖ(O"ٞ$(ʹtGa:>>> +HB3rI1n&֧WZ:HEr~)UuCT^bs3KUD"޷14a'7Tmb]#ą#۪EdɩaIo sEؼXVF3+9Zr5=h,׿sN m^GCsR=-._E÷,lb%sN'=  `G<bKyԫR֩*٦Uc3gHEKȼpɲdmVǑL-%J%©B464FXq/RH{dϼ_ѹ!}FGUwN.+K@bǿ lL'\滎DwZŤ'()0iMǨ*7xkpeQJ۱5(jv}=phdG2Z<f&~tx)$}V#Vܢ/|@b6ө"ijgYZ wV+% dCategoryCategory.SetCatdocument.tex7zXZִF! ]A-MՋhvG"uIBm5\7uX ao*Fn%)5/=G38Naepܫݾ-|h;/Rv㫃Eܬ FY.{Qy8bTֺ}"fbf98s7#Ɯ|\\ B =8AYAt6KN/B.$.~ 3ۛb%yZjk 1ͫlUkUO_ry "37Gpc~B-,f,L( Ӯr $O\~ lYsB4zKK`4c\RI C a]k5nXYFfxC3|;,϶: 2ÃGh(B*J 8KNKE_BDAnSu*Sh)ݼ})j% $4o &u3qJS蘴{!j]^Rw '*gt^-P\LHjqPXbPk8h6gr'=E^ћC{6gx2 q:S2I1#p1$9Ca3̩D gX!SɊ,+ଝrO(+15 3ӑ0Tk$lZwnݞe8r-:wdW8}zfM\%c)Uw?_2iozU {2DX3ENcxT6 .J* 4~ta'xnD!a[. T̬[;EXd Y@ocVэ lS?њzͼ}_*CN%w*u] E,0켡8{e~_(ԟYi /uv|eo.?i{z|`-[nWuřY55RZP*n1VNȘ1cLGi1{= neTѯZ3d\s pڥ];aC9; %#`΁w+"saӠ6EfT% &L  \%w:RuiD-'@8<)cT"oڝ@[& 0RH\'S'(Νe>a˞lױwv*[c %V`p*(ꂑCPSlۊ9^A>r @ VqvG Mo=PM`cAs'Gkӗ2JMCYwA>#fMS2]`dC9 #169ǛrS"R/,TmbgAޏLYeȲ;]b1 .7Z`IO#MsPb(1{(C|;r2QG!hʃyje Bvޭr>sn#rޣ aYcFo]Sź@p~c{iM:UNV~'4*u˴*ki"[xc]Pխ ?3ozc,ZtʚW~BI H&PJ% WuP4EoU.j}c/q/UmNOH5)fCm5!Ajl_XNr{ 'Q[x+_,ߕKO] KV;D!Kۯ(@|qܬ A h!I#]K'@o9i}]eog峁aNAF;pfO\=[w\`/j6wt!b>Fj$_臑4AfoaK;X{fw$ 7+. mNa#uo.%|vO_Wmh[дJXݜEHw Ly^pU!.x%8" 4̌@A[fnNT^8\IZo yZ2:V}ʎܹnGT\Pj6u3I1k܃ơheo79g=U!/6e _R}dX-`?Q s7)H&!4>wjc߾Ⱥ(?BpD?X NC4gM15Jn/ԶȨ݇Ya/n+<ebH8QkG^|A%n 139y,u4_oG?+g7 8gIiWE(&`1SڴC~趴wE\8ʤ  AA</% ,CategoryCategory.Functorsdocument.tex7zXZִF! P]A-MՋhvG"uIBm5q\:S=7V^=]3x/ t1 S"-١!P.eB[Y1Kmmend s:P>VSGK.NMZ.iP MP%@(@Х+(SpxЕYPٯht|Yjp|&Ug-#l$~-k(,@iE_]Nڈf/b p$+VWBx@]*M<2*;Ѱ`_my̕E #b$E#ePd!p/ JI/,VGn{L!'@x,ܒ@4{'M|K:K"! ΣDj}vn?zvY]s۾qIuxYp7)q4ŝ \3$X>_ȇ^s'(%^6/vj*t'0eZf M:q" KMt,h0z ScG_scbؗJVh}mKhux->Z:t=;hU\JeU ߂*I?E_{E%7{fkb 5}Oa֍;{ ./b{|i?:^)Kn;-;G%#/ 8T)TFdK=uE*ƤSo(y L:֠U'w`+dfj 1IaӂMfpAi\Cn@m'{Mm kISy͕O#xC'!j6f_ KG$&f` FٳTo7H,ÛZƅ56J/V}z-bt%EĆf[ ;iu:"e뚲ۯ4SRSzw_yDè"C۲y0N*(Nٙz6E~R++A@̆+XEE֠* :zITGK9s ֈ,3k똠U‡(#E;֓4B Ƿic M)d+(ȧꪦ CߣORH$t5* {m'%q=/ʻn@K08eFy1$|TѼ)&?;A˥k|K npP_:.%!':L3 X8BغPae`0HuE\R[|g-5Dg;3ȁYlYdKwQ<^sv{8.NՈmڣ!)_[ڎ4':LWhjaŠwT}W͋cB͸ o2i`H#Y k`LZ>p(%d*`bqiqK6CZT`(>f _%$5ؙ3gVhp=a@~.u`봠':QYb|6kC_ kD&iGθ ahDS;ugo^̸HW#UN5ZY~kD3/[b|؛bM7-Yn̟ȋoVt 4?k1 Z6J.TɂxMmw؂B4 ՌvSϤvdyqN DsjWAp]Y CƇԕ8RC&x$[T*- +#4kf^HSNM7˜5K}Yp;|Y򒚩R:OlURZ^a4)F>Jg5Ƚ32:k(pi,]}WCG}} įƲ0wƄ-)4 0(DݍfY~(Xt^T,iݔQ4vhqsVBBϟػJ5<=ִxʹt(ܰ#9!:۱p5  M0V$Z:9}2ۣJIc")uu[5&o,0l*46GAA~^c>WZ>!p,& X*)7G?z_3';_[E'qSŒs!䥞3: \h|EWcbH]EV >tP)oXqtG"sId 78l0IܨȞuL0F3I~5x 2Ή'CkO|SʫuG: :e)>{G7WO+CBuL K)u#,#GXO;@X}HLigYZ ,_|o{NO[a[2*p _N"2 h|UI09 p)ֱe)GX%"T-oq; ErܽDםٱ>x&eqCė)1>(H M'Jfڧ+wUTGrPw(%1_\;Q ߂+H'=!߬j ^?% \?F)h'MTseFhrO s/-eL:"ݲb#$5"u7+.6Zg^^rR!1 6>Zȹƒ#Z==u7Kp>lEJ.:XFtDn381xF-(s?/ot3 5#H&)<ܧdgPu^w ;{ыW0E!EhQ7V|\Yy: l /shJAצ,1m*h? !7k쫂F{x渉Sqc,?G!O4TBv4J Y*Nqck)S_ԽW'q /G8Yʕu_rg#OYLu%Yo3vƳүۑ DBh`L!yF'tխQoakBQ#q>l;Eޣ:\ w%اB–wYGj2]ֿ-M !.P>+SdQ?>K¡ ѷ!k[iaVj2!%I/1:&g uO[e N!hMљ&xb&ђ*8U>'I[ ء[^9n b$@"q$a&OnLh25Lr/~VbLcla \鵴uҷ3^C My|8 tWO͈⺾>qTFr@Aqu{@z@-^+ҋp֙9 Nk/DG=Bc{!W%7yīe7wZ@ظhʹskaG@I7eָ7vbmmz9ezR(Iy?- CRch PX Pcc{? ;.daȆC|wUObQ3Ɍ@1$xx`6kcI + {F,n$&@V$u·>*K?MUiTs 6IP_'I]nC'N{)'M;*$8?_kTR!l jݬFh%0||" j)j') t-f)( HL`ynTUۮx^  Ƶ.R`7g6/4[Uxۑ \ru_/ʈ#-75j#q#oȴL_K óTm^3M yv#|akRzN\Wu/EM9@$/))-A24Z$e M9ĠYg-@w.r.eE6z')z,KhSХ3ڍZCI@u⨏aS3xةv$C0{r՗@p PQ%;7n34<u3jFl[s½K\ㆸ+]񯟚,~M7kjۭ'V̴ Ϭ| n=n"">2CA9!?.J ;\tQԹ<R b3[kexe}$(0\q(AZߪlBglp sz;|ԯ" <~̃; Y_ڋڻ9rWZt'ȫ_TʔDV85MIT =qb.]NMb,b7&.>Q^[QritڹHET'ZzVuRĺ)X,Ag;5w۰Զ PZ~ gnQ^=K<؟Yx_00TGBf'M۳BgbQ֫tܘ~BY*=xRԄtLuZ\El;.Z7غlG ba tV; wb ~JaKճ=I{gݫ'C8t#A:&`I`'g161{!+tk\Zc VPkTf]D(^ )sš,=9[p04jlȋwp/܆ŗ— XIbqOJFʊg_T20 ]"W7nq n(\\~0CGVo";>8=tʮXMj%; Kc B'i5j.0IK\OInGXo ,",plG m$ctwТE[0 6376 =cmƗsK[Eg}\U(x;Qu ^ O ?v4tX8Gu]s,/ޗ3I3CU4NV8H%>K4LS漟InzEZR{=?:船A"`$g*y37Ô(OzSt|ˊ-&'=CU wPi+t E ىY\dTpeQEݏ{E L£a|v[%˽R׵У0(} 7(w.r7&W<=7`)S})r 9#'$TGb'Z0v~7Ltx2eTz ify[ ! hnj\j0~6xm̠=Hy"OVirdog]NVۙM$X":p*ۨ߰Tݐ+r^oFtj>ux*#`K <豅$]zMϊ?hL Ġ̂7rU:9:A ˤ`-{~#6K_b oLt{_q$]bҀ JqS5.`OR3 .N`ȲCŻ+.vG.`_n%r";hކj=c5nU)Uy Ew7-Zdp@f?UsW֧8j`hD IT 7j(l;Gtrc8*X2C} dGP+-v6F hYvzP/OR ,"Nm`<`#(?ՍqܱmwVK*jE5l.Lg𦁍&|"U3&8Y$9|y^ GMZQ tꭋal~s(~][1ʦP2餄{ReC1seU<|,8ųJKدՠg7p,{]{Vl{⬊۸Z萪" R; nPJJ/K9W"$]♃?n3f$\ntgnz0+$oS]XmWz:^GGD>[[E Ҏu `D+CL .#88}Q=X `Scnp5zƈ>j/6wcc3ȱs{&NFDjs-g 3ݭhF +,Zzu_g%/7sgrұq%RPEX _ G6q EZK*:L f-̅X%nM2H\SnT gyFP;ǔ*Ůb{;[8ygo2W+ˑ,1#+qa˞8iؿ}s,z[k2H67w*y,ݚ̓~GÉk_{YY#֑53 ! E4=sh6w,{&*mS0k{-ɱLsulB`JXRwB]L! ҬO yt6?v?JC\8r3t^UdN!´7`@'B[:k+pf`Ne5mCpS Up%N͂w#6`=^_BIĹVu^#rDIX>h1޳D;*$OZh7{Xd9COY,9SC85"ur,xD)9N.m4SDxFhQu-YӸ:;pIw_I$B#m#HO&8̸*du̺U VV7}8 'P$OޕQDiΩaT9QeVGo,?:6mzer>y?Z:;977/ ^pUBep]L)Io #"QD"(I]aYqm chZ+"̽YV؞˗+5֡#ߔ%>hO0Oni%;VҼg5n c5br=oi+GWxF#dV iF~?ϔQ'R~TN4uo*`-os=$/Z#J^0ޠ쭯̅24 p&k+ PE OD&}$R,@vmm!ChN:t)2Rr|ohǨ~ʓ $ݯsQ="55\]'Z*$8yޜ C:UPCve&]I!d[gYZ  K3% DCategoryHOL-Library.FuncSetdocument.tex7zXZִF! $]A-MՋhvG"uIBm5q\9!~Za&f * *s7˽Ie~Nqۧ9~i$K} fGM=A<-.2ANq+8a *ZһSؗק/ %}{VR^^: nspeB&BAA-O'+ӸMd{o1Ey%I^ݔŦ^&M(Gwqao`tvټԉmۗrm\?joj"frZB ЬT9B׊O*6H+N a%*mG>rƽ5#K#C9&`ipHn'o^5C۳<71 xe6Isu"ױ{[M86c|ɣWwJ20n~g5]\rM+ky:7!phQ}iJY]'7Ҫ y0"mNnwfÓ[2 Fq1夝!}ӵ׏ D3k}J.{yfpXKqXW$_n-ɛ BJŗ|FhiCOkҿ|d KuG!_=0Ӌg%.5) ^cʂwy׊ș^~<"mODs3JuM~<$x;z'ˊ#DgoLnCV1Tۦ7J{q|ؠ^S[Z nIQX9@T/gx@]gA>\`IX8ƙ H Wv-Zw⯺qo~?K'\Կ;h*'"Q8/4rA8 $|1wXzPdEGL4HS{)z(R z;u{fJ%I KЪnNW.%}0]O=Y5Pi6=K2X8W-pr'ބDٻi\jslѵ _5% lCategoryCategory.HomFunctorsdocument.tex7zXZִF! C ]A-MՋhvG"uIBm5 k A,gqP!z!@@Z(40oBvvXbGA.qmTYIM6$0{$3shvUΤ*vW) t֮)D}(^ Stߐm)RF ,J6A啐F!cgՉnjVYk_d ]ƱsmWhN'nH ^)/ k(BϏ[8w!jPOtnS41K0XDCqN)pS t;-=AhԠMxk:P;J&uH/eBD|͒JC.Q!yEUncD7R*S:t׌"p \W^d'/S&s74F`Hܟf $2HpKnlc4POӜV {Vb]uzWb$iғyoۼ9,SH%iOԌ(͢>D="Wћ*&&ƣ/X1apeA"))幏,N8鰯)yǮ\zκI2ՑfS_'\vk:7@F,]axc7a  %]AV*`|,8E׏sI:_t+CK,DߵA?t4c &]Maγ/~Bn;Wp߄^u5m0^'؟N"6N?>A J3ZNUB uqB;iYqX}/zɸ+e ̍LVR7|G4Ԫ)@*5PQF)" xV+H$.xP" XZ̊D@ZCyr|ɀ-1@ʚJ6|Zx'oG\d/.wG g|HmQ-y% ;6 Mtg5%p*W[UY:\(kSwc$r,NqDe>hl=9Wkj=.[KPAae1}H5#;b:*'q !1hT~"}w2G׉IWy9&[ Hy[m#q6l3l딻%kkS[xbԡ4Cߕ=Dj?EV$*f -Lf[%L=vU@}&nb}6"ofNII apxux>v}Mb6PmR9XL9) \XuШLҒs‰]?ѷOSKwPvr0S3gm%hJ8*'j_)KKC5~-HZΧECj>Zjꚯ,}f&ai#ӱa".rpPז1[}@9ߵx[vvD<26Dm]f M>ԧb݈~&:Vk*|߂f;<<NMe09>Gl.?|>bʼnd튪]REg@ QΞƴo$4&Tڍ B Ns8q/ъlnyFCͫIڃ&A&ĉAћ&a.cjBG*uc6qb zg9zE-ØT#XzO43] KfC*QPZĆ~$c*zQWץ48a_o_b֞Cf8CW)APvqV)Y[Ĥid:#]ŅUj6fo/ +QST4#G@{+[2sW(:7{jf'@IeP" 1Cbqj8[Ϸ +?sIͣ P܃M1O.qaƖgN!3R 7-E?uX&_.خ@Ƒy ϋܷi9騒J|*g[X = goj heFRQ!fFSWwqmK MX!Fv>OP?Y7 =Q#3@碟/kZTJ-vY/Bu;wTۧ۔AK7v}rZқ3]-Qы Mʄe 0q{]&ߴ+X:*:Q2aMw3gYZ /% dCategoryCategory.NatTransdocument.tex7zXZִF! $]A-MՋhvG"uIBm5ı[ƒ^M TUkQg ɹ6ɴX5?|}F<,F( eG_:gl=*?ѐ r61䂠VQPx_=_7*lA,[ JPfauDȳnA<&g{5 9yH艹 ʼ@J&]a];Z@:kC*{ 49iwNsL ֹSЪ`iBV1MӀT@)w%:W.Y7kJ<QZeSeʺ:f2o xՙ_L =6Ьr)`> -zݱ۶C )SCi]m@Neը+ڡan8m֑2a0u">-n(瞗s2nSg_.CʿՆ)j MzuSO 'ylCa A1^qriq;~0OnTmP>D<AO<ɛ0)\fn"J2+@ jjugYr  3`JdmPs|<:Fv/2nG-cse89?a',w"{ ȏptq@W繬 2AoOOj #vm[`?ꮮ#+R|f )PRkdW,^ώB|A-i+p2&j9LAmחn%'@i5? ^x,b҂Q-MΖ)QcvKcQԞ[F=|C,Dt=mP߈NignZ߬zu||Ա!5`v ghB\dM#YUўj+>HBDtj|sjzA1m=F}]E91> `+pE,~.2rڡI1۩8梼^7fW'6;,RhA5g9dvյ0~$-#PB Q-2A:ܤ-YDc-C@B`Pw/,s*~U>߿; !2> #ʚH7t_,䋒E%x(bL| ݴ`=/!Mx.`y9]f::"RU8+*j*S$U`G_H(@rӧпfB͹t&h"ߒVv7lx(t-Y I7̱gYZC%% DCategoryCategory.Catdocument.tex7zXZִF! L*]A-MՋhvG"uIBm5 ܒ'~U $aS 9ТJqŷǦ bR ʇ&_~ۓg$x{3a_EB_} EZD㖴Y-ZeN" 55 g‡=i3SW|3ɴ="r2謳&)" % S =&OL'M VGA[4/F"Q`#ZF6XO8 Pe 8*ޝ1K=~Jn= {gGWӚZNJl4rZKAzU⁶qBFm_?S`(~Mcr ![nP/(Mq!@6b4\7^FcJCR]?;Jt˲woj w_հC, wT[o5mB7t9^W8AWKs''!Xe\-'_l}R3=1SY$7S#fQ1D2V3@=S*':Y>A<)n6l4iZ-6wDZ ;C"gQKOo0\ tĬsXʋ\`$Sw pPj nP|9;=1Q\ X>YʶJbكF (w.j.e bD5FOV7ĔОݒ1]b41m%zomI^gnPX}' {-%;e9lzE D` US9!c$ݬ Bq Y'W^\`VW] %詎!,0ݎ\(i;ʭX R/C(I z~! m9Հhp^v6>ƧSE PF-tAݝ\;&̼sX>*7C]pCi{r ^ 'X46}Ko|-|sŷELbǜ̾?B1(mOo!$ǵUQ#r&?n H:RsDbطW%S>f'_풄r+nq`oZ"ƴ\xunC(]Ӫ*vap!FŐL)#G{@Xrnrada~1w|+FKlA@QKk{0(? zdX sϥd]&g ̇TY;4=H2%6H{m &H׈gg`Am\Y1ܰW<{X6"y}^I-72Xl,iz+tgYZ