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 }}rDtd ]/ Category:threads=4elapsed=3.766cpu=11.536gc=0.2087zXZִF! ]ŗXiɟ  Q 9!d%o=zרC,fS xu*-* ^ש4%R(?H>ͤIhyQηh=c QYadަ&BH^F+-:2pɐ[8Ƈzk~o)Pz2;dhAvo/6PPS~r7; NHXP#e|;4Dfшtۓ[5g ,gYZ7zXZִF! ]ŗXiɟ1˦r!st#?9Ob[\cVJcl/ȧ_N]2}(v0RUOݩMuKTх&E*.09!_VS$ޮ2hܲ F ?4Y4}% V f47TguMz&c 񠩹BDe"wZ81݈H>Ȫ،)UKf`sXGn83=chy7p6ŚH~>&JJ1?e5a|=EnizyJ[5ɮ褧o=bϾrt8Uс@/.r1"[nx$nl4Ccm26K 4Oh-nPi/o_[,Z,G E[,DJ`P繰0S Z`wR=AG/t"&OLfVYQ%}9l08@DuE`5J{JvfI= rJ/"BDU@R6n~vr~™28gXِPRJy-CmϤ"@|c qLh_ǖl˷lǥFiK98mbV|"?##N~̏oV?nTdʙa꼯rŽ``(O9T0`jVYQdj4T -DD^30J>McK ƞ}8rRQD*qM?S >rx}Q`rl(\<(lTى%鹣4HZ{Bu» \I84=*&JRƵ35%U՗-bfҮYbY #E >[vvG@vS!jly~SP@.#ظ!#6dPm u(]P8HgSgYZ9c550e7c0dc3aebfd76d6bc53e735382898f9f4896398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49   Categoryo+% CategoryCategory.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|;,϶: 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+^?}W/~_V+C*$l?bx*Tx菁 U=awXQhǽuiT(R&* |J] Tvg; cl@)WQ\ k2͝hSz(V.1k,l /גI(S}=o"wl{ \"c;}.ju=:H9>S`ctXp蛽>P8 բcgtNhdULhl/J,Q>5E') $Tg>ǞLt䯊ga/!Mʣ*Lu.Z)g[.r?Փn޷ɕ 5ȮοL R1?~s~?󿢱Ly7B%}cv5Ž^hqVO}Q%}GBUqǪv_MǓKqqĖ nNQ7xx nkz%ט,x:GMҍV^L|;OD3S\Xn.vꆜR[ dZ"xCl@(6M4+OęD1=4VAaɜӺIԼn!>N2Pv)UɔPւlN|toȶ3KV Spih7(~Lcs;$dsբGϥRd(ݖKe2rWi&Fюᾟh[x+S\o9#XPEs/V6䐯E):f]->2)]se%.xu;H5d"76 ` % fAnP PKzOl7*B\Tx{_wHYztx &4oo _/񬔔:qN98-4>𡰟ꫯPrTQTT6 sʞZo.2Hwf~q/LjO)AlJk$526@&wF `]yS:zX唾$JRwh6 N}l_7MɂA2<;١KY?B ݻ5DU/qohѶ.g8v׵JF>   U)-3%CategoryHOL-Library.FuncSetdocument.tex)+%CategoryCategory.Yonedadocument.tex+/%CategoryCategory.NatTransdocument.tex.5%CategoryCategory.HomFunctorsdocument.tex&%%CategoryCategory.Catdocument.tex)+%CategoryCategory.SetCatdocument.tex*/% CategoryCategory.Functorsdocument.tex*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ȎP~tطj2suNJeuJ-2j/<R/[yAR$ 03vͮF|( !EmLuU1\uYn;dk˳DJuL`t6Ii(CTԉijxr5n eV8?|!oL<8/8I1UZ#)(}QkA(V*=3gY_(83G\<;HDlrOr#m}hNXw(+Yǣ )>u+gʆͅ|WUФIUT5 .\ 6Cfj̭tMT *Ǐhs#Rt΃ F׉K6@hpA[ )gD 9t|asloqve-fm?kR]G.d2h^WKGvq rRM { #R*!븤2UlCSɡm4)x`Ho[}I*xvAn6^*2OXЅ8/H؎#NdB˕|IJ}Kʦlx .b` 52/[44@lɎ.y'7p)+ M?i&Д+Ě M 60p9pkԩΘm{4w&ٌ߯rBpAHIE4M2F#n&Ds^Tr6]&^Ol2`!y!GNS:hȜ (NM#VJT`y-N\JxboZ3%t Qh^qIQ5?AU%Xg3Ć}2?P >Wv$/?VP&)RtiZYVzПDN(ƒg}o|C+`M1O_/ݎ-&:ɱKd*m Ԫq"j:CGRkV3;^vzŬm\?Ht5fn' c%3g ~b]4]],8#e=Ώ3񳗍#i#5xz+֞zQ ځ0!Tf=4F |9KtGi2ir˫0MR&l[Ec'[M. D.yd?\]g3 \hCl{<4VF9oNS5ZIF;{+( uZ슫l_J-pL-*8|*ӵ٫b+ʬ$ZOcӹf̓Q1ߑ[*g%\s)spH9dMkuTdw|*@V#1Ba]F1N&e}:@I/N<*by@zx*MC 0T\Cf.Y+1?iWSN@v$*j9%FO~k[7kT ?Qll>.q`nʸPI!;oQ!LtSiw/,;!\)?I[6$\(r?a^9IT'{.0`VlR ,ɵA1S1l)6d g7T5E&HɴF7=BAn8z $^r\nj60dHKǹ(hA69/;ry6]o%#yGF]4=Q]40D;C]SuM*"\j$d4FQ1X!ZgYZ TDTo+% CategoryCategory.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|;,϶: 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+^?}W/~_V+C*$l?bx*Tx菁 U=awXQhǽuiT(R&* |J] Tvg; cl@)WQ\ k2͝hSz(V.1k,l /גI(S}=o"wl{ \"c;}.ju=:H9>S`ctXp蛽>P8 բcgtNhdULhl/J,Q>5E') $Tg>ǞLt䯊ga/!Mʣ*Lu.Z)g[.r?Փn޷ɕ 5ȮοL R1?~s~?󿢱Ly7B%}cv5Ž^hqVO}Q%}GBUqǪv_MǓKqqĖ nNQ7xx nkz%ט,x:GMҍV^L|;OD3S\Xn.vꆜR[ dZ"xCl@(6M4+OęD1=4VAaɜӺIԼn!>N2Pv)UɔPւlN|toȶ3KV Spih7(~Lcs;$dsբGϥRd(ݖKe2rWi&Fюᾟh[x+S\o9#XPEs/V6䐯E):f]->2)]se%.xu;H5d"76 ` % fAnP PKzOl7*B\Tx{_wHYztx &4oo _/񬔔:qN98-4>𡰟ꫯPrTQTT6 sʞZo.2Hwf~q/LjO)AlJk$526@&wF `]yS:zX唾$JRwh6 N}l_7MɂA2<;١KY?B ݻ5DU/qohѶ.g8v׵JF>AgYZ @%% 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%zok wwp>a!i ؋M (15ڬs_280~XW&# fI BDd /,#0 S[lXF%Įw/[Ն{lgNۂG/qPMmACSNK{k7^ό( `\E&LTRju]O2~DRRͼc}N~f,6"<@: ?Rp 5$\e.&@>2Jk*tyJ0 эqkV*@}@b=EN]Щoh=tG4Qc{;[!56L"HKM`tvBIAk쵱ϙ(k[/\=||Fї):8VIwJhHQ8 _z@FyL:lhzz1Dg3I oAD+P,-84/㶿DI/Dw?msH12•e5]~ӟ"l⩥x>2; ^}w/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ץ4ksཕ*Hɜ~gKiVΑ㴩5/jnn$l5_r6$p 1fҝ-kF6$lڀV,EheP)r7;/M8X[Ǎ/,}y&'>8Qv3ۢ3waCaQ3ZdFE$w] \I04/Bu|EY4Y9jޖ{S3Пg8\;9s\5F/[nƏ` ꑘ>ko {]UwRHC$PͽOqm3Pu%Yr㼟 !9_. 0II3JI7>}dV& ,sT:}hY|S.) QBx#Uh9قD/:6[ YQ(+ڀrU~GڷKk5> p0X, hH/aπ %gYZ f f{+% ,CategoryCategory.Yonedadocument.tex7zXZִF! S]A-MՋhvG"uIBm5͠ȸq8quqo5O85o" [.d$*,RQNۋ!Wj L9eJLvjR9O#O%q'lD|dˮ:NO܄scS_&-#^Q3 >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#:26!" PC.lwƺ᱙?oĈRʡ/ʼnۮ"d 0[ВO#ŰCv]&x\Vʦ),FT!$Ƣ}ֻX%4"O4aQP=;R e`ycqq}: h12~|"F:uW Tp*\33Ģ,@J1tM{we(3^%۳0"VQog.Es`*ϩK/P!!~Vj}?wQO'l,!xrZk ⾄xk6-UPY iyD2a */ |i¹.a9*RMgW3>[_о3`l8}th27/*YT1Yo=۬GWaIUkQg ɹ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 q_ޚS™-ઙd{UF-Vɨ%7Ǥ(o8a&9{} Q*pp9 ǩ$\aABޔZD.reAF֠Q){d:(tu'/1tj _^$fLتToB5(})`4EM͆iY2W?8dU#HN3Ck%D A$NExQnsfz^y IdoͱgYZSpꞹ_'4[]0eVxIGrTΌp,.j3@y7QPn!lgj/q{Y_rp&!MXI՝{_@ET?k0Ɖ |*rad0mbTtmyY+P#jӺZo%{E /?N?XU; eyOx~ cT!n\ ~k=^uA\0$k{k5,fbW@>>Uڧ.)k7X=d xK\Z8C{0H)ۑ-OBfw 3L,rq'y8"gS JlEBZV hۖ'a(Ѷ I=1i5E6!={^b9qñ ITƋ= 8a5NFdr/c73HYmܱCgE?)>z>[ⶪiQUYUM jx~ # ʷο e #u.*.J?BQkewpn:lJ@tHbNlۨY-:šWpySȠXKEgxUV]Pj c3`$uOB?v@v'|@F!&8sKVvZ lv,9XY<@ A1EGT_j AHL oPGVB^=N3di!X6"#ź!V7 O^ * KEb2c[ E*ƶ^pn3 ?nwNγ(nkml]e+H8U.Hr,MYf hx"P5tiPwiH14k|xe'OLzvjqɱtCz92v!yoi}cyry!ʇ(&%{/~ oeT&*Nɬ%~Owju@7%`RKHk< b jxg6#o`/=4_t,GkGu+5 #oD+h~ro 5њ3ݏK?hXEwp9'I&S ??>辘:{Dp QvyN"}/g[0x執iefo_$Qz|pыB:xtC=!w6"1U]bGY9s(Z ޘD-,95%L>E!Zȑ)D!Ή'y3H'/ Wf_eysyc=(niXXL!::cUej/H|Cār0 Owz :g~#Z2g4!5|]E!vJ?= Yj)ZFUKǴ xcozH\''VYAzwc$;y,i 8~QrK^2qkwXq ͏Gߎbմ]ȥƆqE Uhw'u $ 2qa>%mEy[7+Rӫmic!mq+fʭd c&# ~PrE-7~uW*-V{vP/mtx_pF3:xw˳^Ƃwƕ֝4^A XCdq&(yz']?_oh;f*J wC.=7k(ţh#P-A7b?VB~dCш-W X5O2LInx 9wIJ*؂9V_I}>jcj^7B9'hlzL 4¼ZGX*-ݏ%](ΰJ׽P6nQG{^}1o&k/е–|/hq׳]b?C,])E>$o_kx} pH8÷۬j֕(+J/4u,`G5,>\IG q U7 qxIMgGv%Yꓻ gʘ;kUڗyf=K7i ƾ83(:c:ff:-%W"9@۟3FQĶYc5+gn/lv%LLjpج_yQ:~-PV E"J5V`KKbM>(٥l mzCX8μw'/p!wc/:sDܙc?n|0JQꇧyk8[xװj6kD{jEĹr5 Of%Y#Uնql>:M}#t fh:t,1t}R (>ݏC[g^1'CիX=BFi E!zb.R@)x™c[ dP YW;|ٞdD 86 ݮ֚Dyu@7Xݜ߫=碠rXui,4 e\C2u} 07}&@٠!='/5~n :2 2gYZ 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ѵ,_|o{NO[a[2*p _N"2 h|UI0ZEӆL=jvjl^[\hf9Wm&.sFGz,;^|t3Flc!aVf,K Soy@ C%'P(X/Bj5iş'|紊MN l8bwlOD9ūmn;ڂ'|UÉSlJ> (>NPS-YDPssJ km@YG5rfdXA=kixZwGFh-iӁ M~! 9#в $D_CߨEuB,[A G=7q&qOHJpJ-,*wĥC䒭VIa0vQgNNLyR*jQPc9W (죔in,Ez2s-Ĉn,k+ \*u[wvztMW–]]{SJSI֌42Ni>楊M欐_k`TLN&mSÊK]W.VV\6XDdLQ1\ ɲ~o%m<Ѿ%JjZ$Fޅ7< *):qleoB[rےoGcy7 <:xgCwI:G[%:$∣"Qgc{] P;Z/20/s*g'L'S[>N}A yvޢqP ~DgROXqHsM2Ug86FKnB6ם/ Ęh SFaa{3=xMI!9iڒ 6>V64Z|a .mw"|dU%sͥ`Ϯ}CTԞi7ZƶxAVfB~tNMQ2Ko&p}K3!BZqbߣKKZH,!-rA[f7QlyNpVpy9W{|(Ƭ,|3O1oTH7F;bCԻscImmEՋeDc"ϵ .HcP|{er"{9@zU1ʏs9E*=:(0z*<QRw}.c^68+\eDw(^c4y5w/iq變q܄g#38M8`=ʸp h_EPש;qbͶ> r˱8+^h)aTa,Ö㱳1DHꍉږ+W4̦h- fve ]p)䳩#l`+ŁQN=6- wM$\}=gXDjr@46#7T!C6 WA98 Gp2o EHZU@֨QwԸWoMװi0Hc/NUɐҧv嬒Ogq"N}ncZi plx%U s<N´7m sTq%c[ԱҫjQHmguKgԯt 1=uُvHH &Mk(D`ѫ8 K岯H ` G髩r7s}5<OVeo3g-s+7mvl=QhdZD.lVT M.|4vRs*ݖqF@qT7W9]d(sm O'O&8S,\@Wɽ)9}ˑ_w&օdu渻\Z N@F޾l"P~WsS YY+[U o%0a~rP@Vݕ+rAyͫ&8; sQqm-ޞ һ3B^ r s0L+$5!)I5r -;chY, ̈́E*JG[ TWJ߶&<K=", Uj-=%([ƇReޢ6zLIrN9Mdn Ֆ[lyCv[BN;k)ZI;n5éHnzjIG)vNn\2=Iz> @ꍫ7R (SHoc?`Y sYCE>}W„$ơl-qڙ{?'35(iXL*(/|w ?ڔ2df3Ϸp_co]tc- `cEƞm4WҸ@9ԕ-Kqk"֒P;ߔv$Bc1|qi>.=rJ)pY4)[;uAB+_<lj'_9a? q"֔ghIc>_;;f&7酕CEA APnEح\F;T:͑۲ `xHaPT~ICc*!f-r&y\sGx:A13tg96I،g;'M[nD9ma MC @yvLn ]HÓXIVK i\o@@i<(Dsսd[ڢUc* 7^N` ui>c!9E) 7U: rLìRJP5iFqP1AUd94KL m[3m8FdX&20#VXĤԭ\샞iGAܧ>||0HLF,%6)o oD.ʖg^YJ)C]TD/Ú lOYApی|ɩ^XJ¡}t† ɻmJ/!ovIk9m)ģ¿ e#ru6% jU;jLugS*ʍC˩Y ;wW3h<tUJH+Vt0GF;1Q[[|?ɰYt>lWU7jr.*n*k~f]نva&J:zNLZ3ܐe;ꇱ-p ܊RʇlZ3h:"̦v+dDy)5}*W_I.fBbn֟)ِ Ƙ_"ij]Aճr%uu\(S29MA_}zx/b2hcKuO|6V2R٥v ~txCDze42[Z^IHß;Ӥ kts{CH@9h{ap!/*mP~{{(dsރry<._QJpnm.cУj!t:YTQζhu$H\)n&ռ0MViuKTxr 04%mB+m%#z+frA<7,-1{&b_ލ]J4+&GEUTH0lZv{89Ckc?ZJn!rim=hGL?b2ohXYU"*BFAymWw-dIW& Wf,KXA~aW*Y rI5r*}K~ȻI]]NTw^7XTLzc }ԶB@uwɸi㨁i24W2 {?˾5i^|H(/]UF xfk%G`w%HA̱1=iMR+ *IzM~'=ڳ[bOg1>fg:o=$؆H+ls[s.``dc;>ox4_XQJ 6 l𫰺p^ӿ}wy*%b}2QHXADwѺu DZeWE݀&@o&J6gx w16)"Oxb4hI%si *z}{ĉcE^  AH]UXn06DgF-̂5L-Pf 0[+>M%{"} h&acĺ V(VUnP۫YSKRY3Gܗ,H 'rw.MҾe/E쎯ǻɯo2z/>&5|wU?7ō'c8$=՛0kgI ѹcX$_(P  Hӆ~Oy+3"_1~o3Q6j'Qmci.A>Lg-g,Ra+Yfƻ,p"=.s#]<8k]ĴMhvAU)Gֿsx#xFZ"v}YBksm6Kn^W~L(~yߤm1iGҾFSM\+M;@ ]홃)y.Y X }hԠ%l6($"yaM9bnM]|HNLqoBf`%)Y~ؘR$qabWf oGrֲbȡJx0<ӪG^Z|5)[{ C&. (HR @tk :^ޣ-i3Բysz VKȂ-8?P MegJ~ɖd뱧6u|BV+THu 8$SW!&a>:nЊG_C/qu ȜXJ] "7*IN}M >Q0I]85Y]Q]ɮRfEf`MPdkǵ}gX,kz啔c,TOP`X{Z,5Ȝ<|t^?GLUMtwl:lXFLv qe/LE>i\Pg[A9! =$7KcΡ]bFPGomDN|*e̹F 1)a"b惈HHcfۙbuۤc5괧=>LIuW5.!/cz78h~y[kt?$$LK]T]g >^ez:`ʽT"ݤJ\9R" {a D }Jm7c[yxAZ$(V禩mn |ko9YPʍagzJm+qtEO#ZW]yo sa`Z"yO_Y|v,I8-'+tB$r4`1w sїgW\ !a=OXj0ȩ4SFS2Tyw*nX*.l _wp݈L#vRVee*&|B+=#VFHϢmJHYD8ǥͩQq]h;Y6[JրOMx6}wG P ('ܔ47䂙cZ"؞|jђMhr!?n@񈠩u +:ɇ|n[`,ݩ^d.6k&Kݤf"y~DL"> 1wh "<]ݭ c<0ZÈJ(ΪV;33 [0&o#ENLaNjXsE$ip{ z7amds{;LJ56I4PE^ 9/2JB7%urB*noXh\i4#$4PҢ΄vn?Xlkj>J=(X~E=<U3_#2LVVjUkm+Rg:95hHEAdwbnz!f9A9rkۖW0uBq.=>zsMgqM+C8b15 !%\Fc_V37hKBe[>xՂ׮[HdOVWV?v\TRf?jg#k_>m75ѧ?ŇQH[K} (OZ6+T˕<8*jN6w+o ]g fݪ Azrfgj6C$7:98Blb_'xOBiv%ݡ(gwr_G_,VŠ4BrBȾzeE)~d_j@ UkF klJ>% ϫ׎c )@?R)4J'Af,Yb6ؾ0a]W^ HN>a &l#B\@JC|P=mDo0m=Ոt $@L -MMf-:'t?&7:ms|{?/=ZޜOڥ""ﻛ&{CO=IUvN0D?g$g|O|bXn8~1B=ֱѺ՝o=]֢{7]q+$-DoorF_F/(SU^ۛ6[Z)0K<BBm窞pđz( 0i82-j2`Eά;-P#ȲrZלJ:9X_c@D;B?r7Rϐy{"hd@BMSbo,!Y.-Se/y>>'L3K KU[8fRPx@ؾr;."P]J sq酡OLwX)Wx1<fΥq~!ʱ,ϊ][~ A]@V$,1tG?*xF{Ѓws*৲&r0gXM |f?fmS.M$7k7*{ކ5 vi/E-i4 )%KJ=0cΝ2t-L>eL5Q`28nf/nRT .ͽZrєXTR`tԹT8k(7˲~}~@zTI5k y Q "_b6|[Gm.M pXnHE (@!c <7R:旺A&sA;uMo\BK'*^ޡz4&DdSD On; r<I5L0c~>r( ުd|KU hZb-Bqnw󳊊"ʀ>CLrN7DV%w7rꝇ3J͚YûHKJP hyj}>?MV Vvr"~U"s4  i3_=`sQR$7 W-OXpAԪZth{7ttp%}+VVJnRf8,j } wV4Z_qA[.ؤZwl X>MΠW3%Kh$3X+ϟX D$C.MG2;{Z2^`z!v6όh,*Xzv /vB <<"$+Wƅ?\+ ffM4 g8sdu`;,6I :(yr?4." 9^Tx^RE5яmBr&}fߥ"9sɨ8Il:`iP,y)>xRr'ż;M>b@& (d΍cxyK1T@Nw,GM%ꦌxc;tV̻?GG*B O1(9Py^Q|\.A`ݶ/c9&G Xu!*o~}qdrǻq-w!@lA֑G'{#5&f$a#ruj{YogK jN&A v;'p  YT1g[ +W&ɍ_EcPtH45@`sp#EL̠J CuAlcƞkvvM.>N`qk0)4CcqzOa۱0Ty!QpC {:_ egYZ L 3% DCategoryHOL-Library.FuncSetdocument.tex7zXZִF! k/]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