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 LL17t4, ]% Transformer_Semantics:threads=4elapsed=14.574cpu=40.624gc=1.1207zXZִF! ]ŗXiɟD U$Ĭ.&G|\`[v9R^íI^w /|a@~idng*nԌ&V;pH&Ǐ$RdJXy8&9E(:rU:Nkωi!6Whʌ՝A h'Rħk2,\mZlV[, b=4l*-"9|d ~Eٔ J=ooLhC[9>*}jNwMQ\˝f3>>/ SIң~e/;ZDFZ%pXQ߯L?%k20 5%p @9m:s݇7gZԁ }۰-ȓuI?R_??PY—A#Op^sؖyZةi& ړpX d9}p@۠X]X^c+:^ui7u/QZhq*)p.4f}T59&.gYZ7zXZִF! 8]ŗXiɟlΈA-̅(G]9c YA}xzL_0Z3>py{AUYJniUFDp9HաLcgDk>;-\H_ds7&qe}W$ ҔX/\UPwVB{\1\B]]W/ZY!]G$MtĞ`̙LXgYZ7zXZִF! u ]ŗXi%D8W6^X q:AiHA G(]n4;PgrFGN~="BN.ѩvD!2X h5AL~≘}de`=C U 梘E!8>ds"[+ A_f<ږpNtdRHn.(?ͿgcCQ- C@"=1WL/{6r7$_QQ-:WIƄn+ HP _vH \7.gTk^h׭bYϛ !mmZX'T>lkVS)vzpdJ?#8: q3 pиU(;0YZVQϮݧ|_`<$) `%%j7OZC2T+6V*.xݧ`VGb$ ̓Zw[5%wkP U*wQ=p>TUUԕĵ_zҒuIjQIKOcw.Z'oI>l)բFb$Z'XW=0KGwَ:|ЩUy< O96F T'3hxJY8GG>˼}wBvU^-Kgߘ\@6W.Z#t By$EP`4X>y>+UyګI++SPq)~C."M(O׉*VUƻwqz; +6:9:Tk87>bU_~'to_ n(~NvV嬎7ƤLM9e# 6'% @I&Pe\ 1qK_Anx*d' ɚk-jʗՂN#Av7K¶f2 QH_rڷ|=#RՃWI4i:b4Mv,Tf^G]8<x٦5Ͱ VT|;n*qm"fLEᙂngW`2\d(a*hbjEګln-74&3wٽoH!?y̗6IZI}qQΎ/Z _?;򰿷f п[ªG9(^ guXPKl.K_`eBNhMIT6 Bz8잴BZ sIG-cQG1&aΔs}D>5m8"͸21j/b@N`!qͤ9DUn7Gv Y<vIuĬ28ër\*z1'/Ƅ h+:CxE:+ڬOob IPJBӷtla^Dk-NH3Ko&Q6ia1x|xؙZ @WΒyԽZEtrs(b]jTkA,Mz7@, 'O/Er{anyYqϪ"N}a{nOQ٦='h Zy"36 ӡJ oI)Lޕ5`QT\12p,j=cOI97Y/ҹ!ũԂOXiW3vޒKd.Kӷ8=c/DB=!Tns0^WT9^gYZ44863fdc57e7617915dfa5fd2f73b72842784381c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 39cb08b8c00e8ee3df1645847ca97d5a4f639600 49b9c9516030e5d9ca724ae199eadb2f695a93a8 7 Transformer_Semantics*7w% $Transformer_SemanticsTransformer_Semantics.Sup_Inf_Preserving_Transformersdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5ȪnիqqNc'$4΢m@g҅2&U ķF lQU/X Kk&0nj:/mQBBlaY|/$pRJ7j+{Kk~4Y yF'4ġ]"R&FA{8DR!ZSYQb9.?F7IZ"q9\J~ȟ?JOCvG[1pccp@Ƭ/jGt O^x1 T0"ւ^Cx`yc =\gxy~H=OősċA]'88 cJv+Oa҂V~>@s[r]5']V{vXbi-b5kAB<°VHc!?oM)ksPS?'iHEA\DP8ѯb(C4\׼07MTl_\b_z{ .j'1 S 4Jxs*{q8#ĶY©?I'`t~VQ(Tg I/2+D-N9&'-6 3S3OMޏqnߠ0~[[3VgD/+j}{/;i̿&7.%|·Fεfq/*0,k <6f;S)h2Q:!i,MSb;bf`wFK6. O7w> prQ븡rL.,} TZ7]|[P@$ub׆Iw"^8 vwp8\a ѡ,?vK0難":n>%zٚRcf*LįO,zI9j@b d%_ ^lDddt0F1yXy   RhQ7a%Transformer_SemanticsTransformer_Semantics.Kleisli_Transformersdocument.texO7]%Transformer_SemanticsTransformer_Semantics.Kleisli_Quantaloiddocument.texM7Y%Transformer_SemanticsTransformer_Semantics.Kleisli_Quantaledocument.texK7U%Transformer_SemanticsTransformer_Semantics.Powerset_Monaddocument.texQ7a%Transformer_SemanticsTransformer_Semantics.Isotone_Transformersdocument.tex[7w% Transformer_SemanticsTransformer_Semantics.Sup_Inf_Preserving_Transformersdocument.texqomH keJmYn.D}'e1)[poE}vKA8{m>}{͈l8grl.͹.L.@%`\zϱ%1}#i\|M3 q6xR\~gJ?mMaew olp~,|g3kξ] KS ׄ+'ւ{ \*{tQh4~'-a*yE)甪/O%G6JMi8|Fomoh2lX,,JCwHf@ŶOz"gɾM0]=O:3T 挻H1>BcC#8x3*v7}Zz_ j/z('eY%QV !}7a:am(/gWE݉$lճdXfs*MyY7ȣP,1> 0vծS!xГ,/Ls1̓/ bO~Y:C6#6d2rf@/W[]D G"cPOSصyhboRwh@Rc C Vj8!N۰Hz)_QMPZ׶ϪkzO䉍ՂʳOGߜ@Kg?tsd+`>G2yLQ`͘FyĻ#aa9H6,~* xL*̂$iwҝqbRQY&zeU dB X)  ?#(Ȫ9тm,'5ZeZ;tR gl5i%RspzQbOXުIwtXF8- jSOݽeZ&UjK=z~BgW (:/h U]7;!iu?[{tNe_%8 }+|A3D -0MLɉԾ}_=@QϹL SMϰwRM~:y@mh*3;}>2kPKl!ˢ6(e7a1q'#//K0"jZ. 1M eg?ꈼONt)eQdbq3{ҿCwy^{-kQll{j5eJAdXY\|]./ãk8'itcd t4G*uRb ?pX8NɕkIey\ẍ́Z (YyѠ n|[UqWw/+(_`jYt;?,Ěds2у8f\L0ʿS[hVV~:e6ƴ?{B!ˍnExCV{!n[rt[tj#Ws7/:T*Dc˱¹ LTD'ڽ%Lw0 Q!GZ\b="&ВkMc <ɼmhf?$sz FZlz>L諂k]l^GYOfM+X, }cGXNټߣX)izD.q dt+=b"#Hōn1H=Z%{"@ZwކقPb&Sb F/yy -=#^*!ib~kIVGY\F5bHD?7wP~HxHN.*_Ɉ6~Az:/Wu@aeh2K9Q6ЫK8 ծ67ܖ()>ӲA!iT/W~$zZK_r"Ӫu,l /sW6)u#m5[V9/xR+z7=\R'5(0o]zIc%̰Ҷń8[{6p/&Nwkx䝃¾$(\]åqy*@R3!Q0C07FVYTg7DiĪY5]ydf4FtT]p- ZG~k94~֤OpiJovC[C#/}̠ƵqeޤPXJ8p+! K.j[ij}V^H"Y,l:ޔjWP7`IKB-_/YeĻcV!!zLr'ڰ{"iRI;φv!/$m/Z[1" ,D`*sm}BjZ"KjֿJz^(gYZ%A/'^ %9ۏ&Zܵ~.tUZ{XHQef#׮\WC~ϝ$=eoBXcn[|+Z7]S"ʙ&̅E-*Js|Q@X  P= !U)PJrCnwK=I9n[Q cFW,L8_J9>MS-.@ Y3WLwb f|l|~Xs,NY݈X8WdVYa8 k-c< z+FUs8t)qSa/A]dYNA*Eah fl/Ҟ~kX`Mi|3[#)4Z$"A\ShZЈW=†ZO77Zڕݷ?ntw, dnV=!ZZДLO K uo.)"k)K*SV%}/twQMHdS~CR[tkO-˺t/dTʍB-J; Ye|ZZ=Q%X]\SKHT}SPAmw!dZ:wa7y>Z]|0_vd]wv9Sy.ɟHwF迗tKZ:Ԣv{jTL)E3R@4sDG`w}}Tc҄%ǩirҲq5$˩߀ <}ΊtDl ]ӽLA3BƦ>΁ՈZR4|_OٽA<ːPca]dDFJΛra0oÉ[̧h"G( Q5Lb g^[S5dN('z$y5|C>CE"0SV.3 "W U/KVʙ > _ɠoR8^%Uq 5dF f4tWiTnZ}ꝣ*}*?F! "(wMo b)+6=9>_\ O9 뢫';%FB$M[Qv26A0؟ l:1 |۶XE6Lҷ_e2Zz|șz}F`Nl +D'jtd$IzXʼ~J>U\;aUzk=PRxUPΥTRSJ*,5SbWvA _J3yg)҆.d DTb؟ (gSG@KS\G~՟: âcEV"+]o+R^2BP|~ M͞WVA7uaqboLFqF@oH#V4DD=q򂙌6K (//F>nW8n:ERi. ~mZ4B>hoA`i$U|dVl:=s.t;n{y9yn5|Bq[;DpKKu`;o)RuUs$ j8>Eٔ(L62C::K*!\Yl`Ԑc~"Wec[9xhKH[]8_g{淸{oAABvP+!k397_4z it9-Z1Z.KAJ7cEɣ)#\~?`a㚻}YohR]fCކV?b* i.r秷&If!9"yE'Mp0L}7)zZ Lb#DJ$`矬+购VgxhoOr_gŲ+Us D y|vL_9-+Y]o8\uC}:*.SzNuŠ.:ke:Ō@l+?4AwC<{(9bτe&az6f!%?;]g!,$r/U{o窣[<4p0ByV6ōYP|Q Zs͙][3Bn,ǡHRԪr?oRcm2!y^Ufû SՅ|`&9[r:3deE*C9?yS8otX&\;?4 )B+^Ț|MT)QS8&C/a9hZ …E_`M*^Vjk&Χw݊,/D0E#LH7c2[#s|OepԇCKL/N@W)&u-jux,G .kQ@Ip9"KMq=¢Z$zU*S; Y%]=eo1!b\\A` yV&ԉNd3 2fqӘc0)H`O[ ʋjG%ߧݺQ- Jc&pC}ay>EmoIA8:2Jր>9aV4}k`d ԓS#~d VyP/])a2K+w3죆'*PӢ v/:ZI$)|Vw}4uP>N9eG230ҨU m3NEIh3tr %Ʋ* sQܨ|@f2xx{psQX2ċ?[pX! !U4qmTxf_7.k 3}v= n&,K12ut#/n6]'+ 0|p@,$_@,*VJ aU=h1jC|$Ѐݝ(d-Y`3Cbx~!:<{D%߯.x!%u7ҀŏcB٧ ^:zb#|oa F$ftݵRͰ /2 NͲх~<&n3eH>2!Y&قŲz+N eP])G ',}Yrpv0=UYP{f^ J%5߱gYZ  K K*7w% $Transformer_SemanticsTransformer_Semantics.Sup_Inf_Preserving_Transformersdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5ȪnիqqNc'$4΢m@g҅2&U ķF lQU/X Kk&0nj:/mQBBlaY|/$pRJ7j+{Kk~4Y yF'4ġ]"R&FA{8DR!ZSYQb9.?F7IZ"q9\J~ȟ?JOCvG[1pccp@Ƭ/jGt O^x1 T0"ւ^Cx`yc =\gxy~H=OősċA]'88 cJv+Oa҂V~>@s[r]5']V{vXbi-b5kAB<°VHc!?oM)ksPS?'iHEA\DP8ѯb(C4\׼07MTl_\b_z{ .j'1 S 4Jxs*{q8#ĶY©?I'`t~VQ(Tg I/2+D-N9&'-6 3S3OMޏqnߠ0~[[3VgD/+j}{/;i̿&7.%|·Fεfq/*0,k <6f;S)h2Q:!i,MSb;bf`wFK6. O7w> prQ븡rL.,} TZ7]|[P@$ub׆Iw"^8 vwp8\a ѡ,?vK0難":n>%zٚRcf*LįO,zI9j@b d%_ ^lDddt0F1yXy{Rlv1 m7U% LTransformer_SemanticsTransformer_Semantics.Powerset_Monaddocument.tex7zXZִF! `]A-MՋhvG"uIBm5KqԚt6ba-k-Rb',]YPJ2_j쏳^W wqw aVGN-:Agfz&&nrXdEb 1 gb7!!^*^MmbDx0Pw͞pOi_)jkF1&PM4ָ>MZ"k(KQc)u'\L9k.X^:fM؄_=`a8-_ Cy)wNeCaepG{@`i4+%Hٛ ڂpڂ+K毁Yo͹H][W 5I4FGdUT*^[:R4>i7i;?hMw)s\%fK䯽Q4DRZJ6"Pڟ"O@n:OZ 1]iM#W۶Hv?8"K[fGzj)L k_#zXNP_PډwzˣnOIߞd|`&>L BXeFȽ 8R?4v2‹ zVņ"x*b&0(ǪGز.;JW;1q Mj,Cz*j۝PpI|Z6O)Y04k  G)Nt-gX{W_^:F,\Af~S ,bn`Ɵ\\W8+CL?2f#B%z8YrY8Q6IjiдaQvxX;|fqozU}i{yl]Jzע J̱e77zZLR_.lG7YUrs" X>nhx'&Y9קygMHvEb.QR-oiSS[2Vπ3}7fGo FvȔaDӓB45)fqa}'߰&tx&>G@Yxv%\dn;kl'\Vۂ~u^e$LԆlOlӛo#u[@\Ue\S[08Nڭv64!sGZG4xiT)Hٔ\8c$A-^7bdg^ӾG wb#I"}R?gE{GF ^Kyv\)O1 !t8ެUOW@58XA09C v:BO kS'b\C-b24<ѥ|/m=\D^ rOQW/[[kvR6sڑ2n7$^9xoMh2]Dl1YmBSo&eg{RepQVMO%/gBN4YK1apvkSX7Wz,$7GB:zD|X/K"u+Tdmg irx>PvDoiEg.݇Cp"*Jvu?:YUy[, Хd 3 ׫X[hhJRr#5o[-/,zT>W7 R[ C' >%Awpƽ\7#X.],CPЩgn)B (Vk ZVi`Z_$ u3&58ЩMmboػa^B@j+#ƚu L@2i=Ag?7|xLXםf#;˹k_ `Scܶ>Joܜj:9Q JEyH&k\}o44ho,ω"d$lߺ/t(3Rp륮Y胂a%5pYh:qt}y:QTFtpUٍNE]n'7 ,rH8 @>CkA{0%S6>`a4Lv:L [.pL(C+G4p"ss5m޲B\e| My@N~.z JXa)=e~i3wq!ufU97zGњMӤ߶*;4-B'B, ~K9?\Z !6:l¨$%|:V@9 wn ڗ[`n%(N-LJRi l3>E̬q@\0p-n [9Gmq0.jCZ7ZkzrBQĬ>{&ޡ 4 Hf D-Ѧn[& x6KzآFi\ RzGSLK_D5T$k W ^'w:`\&YC05%X'#i~ f ·5ę^Z|T(-'_ ޚst,-We<|:񓡑-eu)ِQYxtڳW4곶g4&t?`:>  2NX#xatR9s;U9/nnDױ$|6Q(1qAuVxEabyB}XҢ@ yǰ&enrwC S {.1z||9T;/ {Aya9]Bp"suh-NNp؊5$yOȹHtA Nmsʻ3pw#Iwa6;B߶7V݁~f f| >K+si_Gk%Y$J*j4 i_e'`N%]C-MȖxF|3h՛/T 2oMz~Ƽ`|1U$"ZД PF`n |3ogΔn5:h@ÉqG`:+q5SBF^?:<hYVB35㕹 ]P= ;i,5ɹ쀃PrٍihJhq6pz6> o͂XĎde| zc~PD~.v aTؖg0cD}/E@K-9EqݝVpؗP6 Es &MzN,0CZINF U^*W}=\ l)x0v}M> 9Du"H1% ț%L=G\FPFVӀE[bĝ ,$ ͥw ;[}j4c:]NМ $CJ]P?Apo#1M yfSaa8v?Zؔ&N!6?&0"R3䉗T%@45R]q~?;*O[Pc`թdJzjm;\Jq-I~4%^h(65[㢅S DC8} !dZ tS6E'E3@%t[Ehuƞ(V3l Rꇝ֗pE9tZ 'ő:TK56=ܷ:bLN,Z#L-sB2@ߊ9GIʉsP-ٌ!p 7TQP&nnzFŭ,V_Qk; /$BݭqTNż}\@BKh|f92#.'bW5_D3VbMhS,Jjϔ y*Ia 8&/m)W9XNU^+8U?+yc]֮)mXY?je?qkt0AMˌyûw4LF ? aY[  CډrCB p(R+&E^@ Ȯd`rj0$ɉZ.|\k &WBOhz.wOHT.Nc/zl^&>x4靦h]K4:$y%OgCFFZ `e~uuUH 4jQ h* £۫̋шCv dHeXҙt"!D Ly 1~~mhCWεX8kݴҁ5/J1}!R-ԅb( #+\6A!E^OqHZBq%P+1T6D8&=*~b(ժ%bPXiT+R`.PqBO·ȮBIʔUI:)no4!+UKN$$Pt3(]۔h}@c;r^l`H=ꬽONFNè"cWVL^3?vJ6}^' FmV.|@EZ⡯TfXi%/Kv4*e=Wp)M7CZ3:xFSfkl*92Fwa/US /Y(qR.IZ%=(j\G<f8qt&s5ߦ<{ m<^^TPf3_tL V j /)QJTPNsg{p3ɬ^ׄ@ t & gZzJs?vx,#x^oybDP,l~* *&v cTuQXҕ=t*n7( r`"@Ip$_zm& A7e], ~Y1gتu#a%v?&6_@/u5OfV=\ h\ Toipgrc #y-k{mJ\@8i9]*3 <x\GNMB?3-%*cn>Zq{;-2lO{1;Cd?|u|q8hhS;y/B;[[tY:(#]R+\ps[?^j<| =>,LPZ-M3EEX:`9CeZ]?V oXB̀,:\x8l))oLI  0IVPd ;L.lx8+*%GfiYB Yߢ:0Cʭ,*Z %7i"Sa!cnq1וb=AסB1n/T%]iNm.§t/R d6# ;(>glRܐ${`P}U%kΤ/k򐧯%# Ze}h*Ҳ}&-8FN_G3Ѵjtvg)* @l<$KJT!u-\)[oOPn8X˺$qM=, \l~G!;Ko?{~c!\IBN] {`GXi_R@Yܲ+eF1"%z i^^WN& 4p`i'# ;ʼn8zƛK3I-3oMF|9hl%I@/Ӥ%AєcetMsWr3,BU2"9bmNiJ>;v+V,8Zߍ׼rw*1<?))tp p%$]ıgǯV1{uNU)R"f2/38Ͱ(TJY)I 3hc,$7ollAk6X|yDe+&-Z/DC.4XK ˹T_HnQuUs&BB-Z8nS&K3xub| V [ ȍ߸6#8 F\v!;UKק`;V7ԳMM`p*= v7l{YM(SA{< CpV_r.8B ΓSAy C qOI`Ȅk-TiMZ vagŹҗKP5U&G %Sl*5a*ֈq&&wƱ{;  /hL_Y@rN W.3JkxHP8K&ډ]Ǡ_'tH\a/oT+LB2-gfK.d s 5v-zb30 |BzvY'{ ڧ#A0/!-I1u HX{̇ʲ/nF9*~5ͻeD-Sޞh7B*F0)9I$ZMBK[S\M>Q6WI0"X<B\sop0&*ۊU=DRRYE]#RU{?"q2L;8RcV`k+l ? <07)ڿzcG":^B&GF4᯦I7?R0?]2R,_iQxlpTt8G ?l:dCq6"ĤBNlqY4ÁgT[&wllxR"PR%]=]@Kh{##4%5B|s-O20fCuw~!>XT`+/V Ztw%+٧sZ!?: q;֗p0 :Jd@|T`E+]2n]0ֺA@&!Q餍9m^9HƉ[T{W??UGIw3wjt_`EL, 7x덚/vuЕ&+ 9$Wթ_%W_Y5%݅,PyJYB_abqς7eb^G sCL[^$]G?WbɋXF;N枠 L?D)ۏcy}NTeC+k6i 3ˢ$wqDc;a"n3_=)qf2ɋAd!o~ˎ6"JH 㡑':=!~*R(13&u>J7 KWX R9MdgbzѝԗTd&߽S9:="w_8i1tjRJ\ EB쏁t\*)5|S:xZYx;H'Ϛ\:uUό=jmVn QlС LeXePE |\؍{N7TN.Y %~u@|5RouŏT$Vu~sg$/3s8IѕG] =hx۩|%@88rκƊQOG^@ %Jf!:pS"ڣL(˺:vw͎=Z q5*:ެǷNĪ"vPe&FbRWl=R\uQ Q۝\tB=SU]A\4M[3#^09|)O [!QE$/^s!EH+3g+(M*)f# woiWu{ [oFbgfk TN\lO:}~]vʌFHY38 `F&wJMXX o\]Y9Y6L\we$-]W| t &Rz %\7}r~Zֳ\ZQ~ᶿaac%! M+ȵ'sO @u7pnreyQ6CS V 4D `TLbxe>gYZ jj%7]% 4Transformer_SemanticsTransformer_Semantics.Kleisli_Quantaloiddocument.tex7zXZִF! w]A-MՋhvG"uIBm5ži`<4ķ3+1;%zW xE$ogζӦ/WxFeT~i('8% %vK6&|r%J9q֊; o!VǍ֚GSk3E@fOy*aEu< rۣNnHň$^r>_cJSsp2-n\څG_f O9ڗRް,qyNV&|,th4ĒxpqS=}} mdN&>7 FYl@ۧfG]|w/ c7Y% 4Transformer_SemanticsTransformer_Semantics.Kleisli_Quantaledocument.tex7zXZִF! n= ]A-MՋhvG"uIBm5ži`<4ķ3+1;%zW{ V{,m)@BL 0MBꮴg0NیY*\UO Py/ ]TbL1/OLSQi"~ѰP"ĈVɮvxk !H*Hr_] E9˳7l4.C<xi VTﯧ4)j?C$D>IK;6f Zc\ W\}G6{v6m8a]ޢTٰ T-uTEF}ߖ:Q `n0Q;3p,<Yk:a#*x4{oEgg`rYDSsg8SH*Rt 5C/'d zx+/b<#C u1a.5p6Ge[RkGBhMs.U2 Vbq cP9zeT)/PsڦU;u@HJ  /E삅SoJЍtf$tq?}GJ0N8"V3IZ4Ku49[O[3 ]= ^jW9\ADmuK>G]Q{~F0Ԗ_p}Wǡ (.ؚ}l4>zǁgheSSA|.X3`@'I0fq^S-+/ .P I *B:BZ@Yx)PI,4R߁E0_j='e#:QvE0og.&On-b_mn*1 v:DfjF= g%1ow&p8{MQYYҥwMg %VpS=x[nY4 'q+ 7y[h{w;afpV2;+]0 3GeALn5K SU*:S^yk'>Vƪ K;@?]K8mmL4v{@rD,mLpGGBˎBppx/9I]<]Ң!2,؝mދI.sW"B~/5ڸR]͊z9`}~{NS4 9Gz4xSDQWY\) Z?񭼮GZLdBX'_=ン};*L/>/|*QWg]рӶ4G6(3b9 G{'@a!35$C&K½Na"p31l"SSظS B3𡔁|ËƭwsWu~1dvՈWa JnΔ]V j :(GcR>4LӅ<ˣ6-.s]-)?+c3A}5%"rv6\LFʬEjYK"Jo1%n,_E2=R,̿*+ n=e \Ko${7L?XH41D݈ QgFZ9Fo Ֆ dSKcҞFV_ZJXcФ\R0UVV|%gYZM'&tG%m JO+ (C-M_ظ4i_ӮVdܢrS?tS9PkM`hRH[r'T1甑,ۦrY5|m:LX$ף+{YcP F' 2MlY)K]cc/5jqcqwg48}7TYTI7O`B,quU/G1(Q܄W' =M8:(*e?y(AJV{%?IX"?j@ԿHRDэolyMZ~s׀ʀOҬT#Z#|ܒ{>mG>+`3-,̮WKN10w"diw^@TaŮ4oAYC2Tbrvh 3`c"݂\۷;!6 ivX(B(Vi!I\ԯ4 `IQp^UOunٰƌlw5/\Q{)g|FWX[C-59Ҟ ΞmwG|4[.?Raߦ&iM.p v1dH1ogS1R/JKQ<"K숀65㗸yMCoE()* O i| W!MkvĞ ̜J||ATőN&{f<\22 9b-baēc[g_W71ui)'iu_N \4orMӔ 2V"Q ~ .\(ICM}rC$5 |@Div#s"EFvi#B 32Ña8Lll$G9Sy<_3)#.״\.)1!WT15o5!_|+~·20l- ׂxӞ(F~&m3ȬZH=,ơ`RL.f&Ei46M- 5-5M1}ڎ 79g t3ɅaD%}=$gy{m&:'pd76'y7Qm`EQ˵s+I%:A C gDᚪhq: wTrIT# շSkw뉟 geXM8|n۩@CoPnfFD7|#du|g0JmiQȱrYlF*0^Q8FT3`.qFu i.ob6nkrV7zxT cQŒ3J,UVL1́?lUmƩRAJw8 ߡds`gWHZ?d0Xm(ZuO@T'73~!dm~oITj+1)7 xg3W ;է\H y[\LG7~+ A ͣmh}̀Dn24aeZXރ(WhU>0 ̃&Ox/-At iɣv&bI܃wWbBI%}a jY:DSH#}7)ЉVcab&s4|W ܍'?J>w9MI Z),Zyۛ . Mn]{U̴ʁW)RϗyxKз>(LOd8_%v,pAh%$HԙE9Onʴ $lhJXus L UVň_? )MAck+pI܎w[[y((gc%Ga/̬W1hؼIFnW0Ek"KYȮ _Mi@KɍCϜ _K~[Nt"52opAR_وe-UP߁{ DžBƢ=T9/ sR+ذW3^;>Rp!e?(\Tivg/Dsa6oc ȱպ/}$ĭEvgñ.K<sHT/j>v oV4YFVH%),Eb3qw^"1As V>fc`j.C@k?BHx#zxc(+V?6ɭKfJ%[Tt~CMFMS3Ҕ&&O1_Vλ10PLt+45".nS1ٖ-&Y)v|㌄Acë>(B-egq&3!$2SgbnU̹KUq&  BIK*?*$@$]혊jlsj. #9[|Ȇ%ZVmv1H[?~YfW <Ї -,/MA^8$'$"ǜgNdz")g1ew>h,Tr+߈&P<9QND{uueK8بx7"r>à}Z`B/gNBݵѯ|f,w Aݧ\jR0޹?Y,̸0Vm6'C|ƬX ĺ:2kM{BRnJoV,~]i: ÃxZ/JrR!yŲG@?UFoK N(OͻӨ'L;3$ Cʵ:3?5^ ieWa@bv.R(%B)h:R{k;I(WՕ;jSlՖxzHG9A,DA_c!1,?k] HCW־O(ջw y8elO j @W 7 iL/9lZ OD'4*G\djN`= t Bʊ~n^/acmEy~//|:Lbk.?b$pşe nyk=!YΡڌ beD?)N ^ӔqwR&v}=*i -G:hn*BnP92}"?6724\KJb}y"BtT#]Wlõ;-A!;x^G5kC֜54CojH;KKׁEȣ<=LLL sS~U,8~_:uUkkJvh:t/f\S>?TVymoTg&-JMFt٘a.ƣV `oR !NCϤfR|("`-r2"uvI #?gYZE,== o-P.z1UzKaE"R @h ^'LuM8h8E+\]L?O1in<9_cnH[] n.{MG;;g*p;1zu~Ƌw6Jױ=b`21gy̴_\Xe:]Rnv%ba:9l\i`IطA.ndCQ2h#>>@;| PZGx8u-,e/;c5#qk^>}pħZyuH!f ԙ:w1=\S 9s>a8pַzvZXW> 4v/i?80Z5ٵ&HLMÄSQtĈD.6ˡ7燽ܞ2= ŕ~['2H7衒2/s] vZ:\Y5RRWTB|q_92QŪ@@q9f"0P:h]i6쉇z~h5@4xYe>C1W 9`{߇;*ص堫Gz6-^R|9V> %  @&*UhdHIi}eETT/k/TkurI)޳ew\WEK@ bt۪9oneR$+ղ׏  xdCV@.00Z`3@-t]5Q;8^Y6aڈbaΖhf!uYg :(d5'nH`J NnK9?fgB SC,M<ʑ^r 0B@g,Usp'|>).W6[ =s$/Ǣ#qBVr/ԒN#' "Qbq0HiYGBaxUJ pw-/|¤ȦWSmZuIDad} F2\LC%onV #qNm*&4H>;siѭA^ZcHC%Mد?t,/%Dw2m&IZ[Dfjf1[46 tv$V:PZ-2DӜw$}eK$KJ`xZ*)b・U"Qv/+F2Q̸<@di\eثH\s%02k,yWe "b724ڠYSE=!loKvYU«T<9(5H"aTqlQ7˭fm1l^yN'ClWc> UYI[4Ի&!7YT^S:KŠ0?=2w@uh˛®u@L9@*z GyG*uҾ/T x zC&9C$7n3H "5 4op,7f:RF sq4/-}pߕHE{Ȕ_%a&SDrz}C(/lgQUNa4UI ;[O6~Y=>-5.NlآFS 6SK[ }$_#;,ޞqTR_WGԬ)MȦp;c|tPfzo3GAh(iAÙY JN!~8CK6U(v]6dJ (Љ̝)# h(Q "Lq*u\ۡ*e4 ݟW j.0!Y}F(ʽ bUk"c ͤ X2W[s(ddNgmëMZw( ?vD`65WJS&9XԟWOMU81ZlsQ*kAj2rtlᝧ(ѮPƯzõKz*-a03 Z:޷7^Nӯ.b/j@v~dmT&3"Fҋ|QάpuA'JOڧ,zsj-2ͷWw'R@+IM-Y?(`%[ei5yX64ɎfgJrO=;MqxK uӅ,Ӈr"D RჀY{HkT, *}9{%-k>Աj8Cjjw9lɿ]2njbG/yG'KkeD/!WA& d;Sm`?Lk,W@SwD 91Pp׃LH|V´klLfUW0SO+P `H).̄,xA0/"C.tc[]J^z5Z x;! ə W62lK vli-6ܬ%dI-<`q2U$Gx\Ƴžg4fJg=˶W8*&x’VސFƱrNFh@X&{%J#R h]a3|^\PRHaK ^A&Yz&UBdJ[ɇ$`dm汵 s0TW&aJQ'H=_ݗTN''YG<,y hȼ2a3TZ-^1DMÖu'sWd3V/cƮ80>y|8'fê Iq͊UeM<0lRBF800MJs: F$ox5A,Y[YF|bih?pUcD!x\aݴPo B[D5@wkp=6¸2Fϳ}KM1*+30gG:/_X^0< Ovakj憇#')+zU;,5dg1%9I'`Ĕ3TarMݶQ0E=d"sK:D5cE)k+@ }iB.@Spv3\2CIo%Y8yuS=^O(FC\7ơOnſX2چAU`2GJD*<&xR iXrKN숞dq9PM/tzT>DX뫡[ԔCtG!ƻFjSd<5Oy߹9ϫ0ETcOl`nqI}ytmCqjy)lcZhTl G0*f"wJ^7%]fU BF<ůVLMD(UæVM)y TjD[r7Rc.T Ȋ`§]cv#XPE6 NSLSQFYE~-"FRL)_؉;!Sl8: ].l qģH<¾FѰ9g*"^Cꑦ^02YpTk3fS+n4ӥn'D7K3b,V()ޣf4%\>e h[2~B·eDž3mGc)S\6 CXocW݀%+eP ;ς@d4@ܗ% pMl𫅆e8A9&$k>rs`ljd-S:l_Uwmk{#E5錥Sg^t13Q^sB< ;ۊ~$s -0#rRGs%Mk12q GEk ]HJRѥDjPkrf\f|/^+(f:iɶ+I%R5eNȭ)9m'ќ4Ja,S EI1r\a4*ӛ)됧 yW?Dut*kAÆYfO cD-cw;D_s;0uhͤ1í!ٶۡ!Sa9*Qel,z&HO9 :κUf,fP|aVD`p&cm?foì4/qRJI=Vi`:QwVB1#l 6,S+z:3rW`$i)aHRb"uBAυL֣ p,X{$7'EY]TZ KRQnvH4U:N`QNڶAGswӯ9c^[7eض^p@0ƒڄun|oAz2FNe!޲;9'(!Oghgu%zT` a:2URE.JD+Lbݬ-5*O.%1Eۥ+QB?Mmp|OyՂY}U `Q${w;A؇.!E6nl+v͓C g'NA7 ?`CAjCȶQK=z3c#vNbtA15uJ_(  i-@(48UesW 96]0"Phk:" ^"Rؐa;xHnTݼoaɰ}3$sܫy zwZp!%WE.#˭IR GkW-lfO}t1 ]>ny*۞"+WZJ!H7jixvz' n}щ嬱dRҎ02u ߢ82"Qxϯ㧧rC0b5ISR7iD*/bulb[mrM~n}Zjz6hgp! @H$Y%%UCR:ສDoH,.B!5oTع^V^sYb@LmlҼ rq$eJ<^۪ D½ 'bQ ꚋPX iI"D)6B^6~N|-꧄T_6ucWt5wa4+q0V QWę7Ydյ|ن28ZB ѼxC$@!(ԤJ٫"8R/,e2ʭjBg/ϝ=0#0gk胀<૦Uߤu!!k@r~h]%8u)!qϴq1Ja DlxP+W7̪=y;%$ d\O_v Cޣ[ȎФExNZ 3k?dA9 dn {f 4b` 3Uh .2"9+Ŀ^2u473]M3*Bt5vk8<=^ά^È2uJ MA1ҬM (\P1orH6Ө&g<`@¦ ^21vPgRdqw8(|he 7Y7Xu6huhސ kWc%h+s\*0YCh= ,l]gFaluY˟\`Z;9;},*vj~!9j~ Xe;֞zgoxjt 娒' =BIȅd1`B@rhTwΘW7(0?c,V&!RV/Rf9Ѐ =6 kg]Prig o#t;VLEhrcjNy_Kf,X׽ʚnx(N\u$fްŋO 9"uks@ν^tRPJY%A8w ܀vj[ǴD^xa=hW4Yڍ$'-BnqU $ف4T:[+Iplwqo1tdld- bk_u3.x2.cAK VPo7RW&u危!xtpd$G-u᪈6\HI+ZGB PU$t!jvPkEGEpY\X`F#" va)\-ִ dm*2 8A¤ӀF2iQN\7%GrJ`ݼj>+S7}2ViG:-`Z רƿg=7Sl_iƱipp\i$o06攊?ЕTaJCgd_ċ,rcj;"u<%'ǔ̽ɵMkpqHBcC .ئ|b`n׃0£AnNK!4 Be$$*S^QzF1o; k'K ^XTxsg4Y؁EszWV|=Ga6uclJCh͘CT饾w.Y"CZl0XA5,XY0L=w5A߽qq8Dž UpX`Hw 0hR_+=Ȱ@EW"q (\'Ul9gm0=g5.k%EW*Z8ڮV ]ZDZuha`OSf5=ޮxٷw' >sP.Z<R&藜n7L><1:ǵՎW}q)E6z)- !an.%N ~%\яG D,=TKQRlS(aw#A%EA`n5e(._Mrc 9ވp | GTv74|>?<_/eݠ;:X&5G]WQdFQU}(S/C/2A*?9d<[Ӛy@; pc晩 䈴T- LDqfVώ\ɀLJJ*8_5L&1Q&͂/gHhMA#A1 u`b t?8^Zi;'] ϫO=+8.?6RWІk42(hG 6ʏ.=eM#Շ*"n t@&q<]EHRZ?/Jsk{})[P0 [@~K$ e/HE!A![3XUTP+k:kS͚4 E/fT}VwHO1Zze62ϣv[3dYL:UTzyWآ8\eh&l7)MS'ijG_[