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 889td$ ]/ Locally-Nameless-Sigma:threads=4elapsed=25.900cpu=91.496gc=2.6287zXZִF! }A]ŗXiɟDYK<;!lFb4fIRM֛ŠA&{Atu!z#B:u`hpS̕킅E%I+ްf/>+ a{!bAVOړ0DcP%U8<'#M0x*PP]|gP9^8yA3i^M g7Y"J/=f٘bsGFV\k :4)%4sC csf @ V" 7fQ\ao)NUR(/J޼eRv%{ vpue#ԆIy1ǏEdެ?D'kUpa_(2 f:_7[!AuŮMm$qrmA9i㨀8_ޥo#6B"|s7.nH2%3<xK\+.el ne9> =˄x#1u 0OۋGV16{0&B%"+[m\!1 {hLCZncp_Sd:.$s 0sJZx\w-hMw#q]vg5oУ1R 2m,p')T 4Y'IײSG0g(k w;ՐpU [)i, t&/B`S'HJTm[!-Q?OR edU/JD$Q=9(?udo՟A];P6>'WE4PQ c]. \;k 0?(`j: Q;? ŎS3LN`ofB']h#q)~"0H [^'büvŧB w+ d"ݥ0/JMܾrim.좺S$#|E wb%7t\e(׹DO.Nkո:ӑRJh *+3-u4-gϨB*qT.萍\&F {\d|g(/8WRM)Yч/6bLN.y+RlLN;h6R0)p 9޾*4^"[FuݞNzl!WC,T71p6+?pR21UgG~$㯌_#iF{}@@,O}Ȑ"&9^J v&eRc /YfK!(T1ר9T tv6ɆT(uOH=ZC47{HE>xU0Fr.Ijo@ (+אbg']/Q*vZ_0ܥm_JdV&ܤqmEb Vs{hվpf\m&*x`4RB5@lܔ_$}*fEn)`4;8`|ːӮf˝0Q8_5wgpO ]rF{ QyqÒ.M eD-![%oUrAJ+aPGxjXeb}H/TGAM;פfb"&!}T#fOt Z3Amm.i=,tB6AõO`XX/xD3QS3HGdBx9Yxޛk2$E)yo#ENO`h܇Y~H>&0g6 H)`Go0sBY5qc2-(WOk|b.qZv'pYF'3^&/'2Rp.wz;=毈x~ۂfECcD-@bu0xy_)c(?dN;y=)).pjON~RUqF$e3rwxÄF &3C.>IB"y[oz@AG.CIn*4<"梮e,ΕOZȻ q:W5myExh>oϏnMqk gx WzI#ɞMr78UTټy > ZTF5?b9Yt C,a(>!8Qt üiZae%Z VM )ȄC˫&' 9{Si=Ӟ{&Ob_6 9 Locally-Nameless-Sigma  HcUm8tYCno'JTcdF{aV(@J ,A|:$`1<*>IsfDl&xbZ9us#<3?=aRs@phkZP8Tţ 6` 䳨  Lty nq%a*? 'mjzN퐗#CX5cm&ǜ%LQ h8zh*De2Vfj!o.Kۦ[jn@vW՚GjTSEё)'Uw)dOi+}m\ݥ_Gy:S]CEQ0?NE2 m߶t eň"!v[A#([xԜMy=$F;\&Joޠ~5I/HCy,О :--0TR#`E(y˨29PK'Vw3tbН&e<*@雐FCCM4&d|9,q.񛝡U:5E\B\@M2D(q64ˬZ橲p8*quAJgHFpRm/1Q e`b S̥AMPUkV‚緇ċOErIYN}a L)A7(Z+5d2:E.x c83;U *>Bޓ{qo9 :Dzq0{TMЏ|dH %'fPsDlW2}IV7.H>DᑵX'992XdWY1|-V%,yor a6UI6z.(!ڲ`)eb>]3ٌh"kl)3C_30ƶOlKؤ()l R]Sqh/<[ vD4KVq'"g]z$e㝡x=rHLLXG "PŘSMl-Ւ5E(#+2NjWh]`&@lAD4tV?8?얞=wx`{9RwYr}\\qH!6SGQrJx~6HS=`o{WAyją,&eC$*- ._$ Vޯ$%v@';$g7w ؽ5[lړ[ 8MlnB{D|5z5)VCL00V/$7/=m>Xx깚Fehһ`>aiUrs~O70vju:֠mAUXA 13n{tGZ]ȵ- z'⋼xI~l?2oɁ TCVDa(o`$ =H"Rr=6&+A8:KVkZcrÎ os,#]כ^ɳ'᎘0CGM@6FH.p NyUm% W #RO2hsa%8R~"9RIu)KRd1Rˑj'l`xk(+VS,φoŋ.4s<tmͷN#0m02i~sV/yJ|o8N@9+-`,|}˸@O GtcgjxʌeE~ _Ԁ{s.3E9lōh޺5NS='L{ ow͟`m-pZ3:JZPm_6~eSuW^+JР_ ;ڦj{Tw3&Xf@H$e x/JЮ^e 1-0Ix\ǀiFJYۘK30f(QHa"d!F)lD !DI$3"[!L CFjkCzNfO2ݷ3~; ROQ5OMkD|D@ڋPφG/5Xi}fpK?ͥ,uPSNJm ['Y_Y.̜mbqi9Ǣ=%wM%Kј/A<8ƹxI;2%\HL'aInc[}$ W/7~2 I6DC D}0IAr[O:^*mh3k9/;OK߮#qgSq2B!,!Fxbl!6Ud$Y~E #8U?ݰ9RPe^1L8瀶HW3j4]yq^}!ب6s.2oRs9`tH'0}}[Ps\ *ҡ;Dh=|Mϕ<`VLfa =q(*sR)R&? jHZ9K{p,3y2}<< )~J|b5ulg6q3(~T&m0+Ӹ6XŴI =z"c,kVM|ŋC 1gREv ]\Ow-7U[>fnD*q8M7%޵cɮD3< v`M 4֏ Bw*[yx 'V-y> _dWf_@ 0BYG R߅j:S-s@=4vWIdTp)Q8y7UƩzl#g2>&N`ul w]`o U>4K|nHJEtܠyRqV3wsĐ wڶ:ϗtϜ?DX{UW?1\ib_m"8R*|9kZ8l\?]w"Ac}FoeZn] *ݯDR1u3)21|Bƨш`*fmgbK ZWW)Rꯥ;uuMكVȘM:0^{&ʵvdr0oSw$7":F+ ' .1Z^tnNlEYWEai =|}UKZ$,~J mrZ ܅PBcW@kQoctU6a '.˚4c;HF~E">"/w2;4 WE>}偖ImHvE{NTu&|(8Lc-26s/irza~fM!p~z :6ʢ$RlP08Ri3D)@z ֒Epkh 5I=>G*'.f@'IS4nl; x5̃xJg4FŸzIbCOz_I s/`TCRfd0#].N!^ExwhΆ;glT\Y0r;GkZ40$ٯwŀkқʭ ?Tb!ԚXivKHp%/y^z%0q̇@uR#^q̌T"c?Qj9>#RGv$)=,qL|[z(hyi ?(r10 b 7?#oG T=Ȳ"_;z[Cx)Cqj^+ϵA30ԱRvdaŹٜ (#AtJ=zߗ|meMa^ʏcg406Os!Õ5OW5bK?j1@PxJwZgwpꤋlUo- ?s: {N994=$E<s9+hu+-uq<c!#,jzhS.T| ~`r`3oAvEގ]9^:|uv]֜+u~֧$9Pq.yydvD#.vCVQ_Qrzg͹VXDm41GEORN %j!jD(׌g%Ab~]^&]t"H?Ϸs•z#%_POݗCXWʚԶwQݘA 7" KnIrA fV;U,Q4Ƿf9bSw [}'^g s0YOIfqH#E$ia}(x_K(f$с bJ:LȾ!Hw(-9r9zȈTy잀67nD j";]YQU۬TH̾wWxD?H4C?BQaZĎ5UA GuʮR._aW6^mNh$~ JuϙOu q̭|-9;%8Acʊd)38Xf!4焇 ]睓tC+7B'$ƝK<Wb)=Z:rb>I9>ķq~*ӝgݠf799V0utQddkF+`|]$r -v>G%tDSyD,8j1slMGdvXXxvɨ"&d>)97RAn[aj6C眠:{he=WbjWHNϴk(p%[M~NERX \|ǹwQF'{(kR`_5V%S-g(ŠZ*J}2 j/EņSaK!PK8jwМ \@cGR05MӢ8.f8Je{˿Hd[7 (^:"̉0gL^f&Ө66&o):{ߞwg&oSX!MmGb)(]jXKHk>ɸ(8=bpqiC+FIZ;W?arߎZpI4x!ߐv +-,Tܲ&nuyfw#؟C~Q|#Ћ_>W,:b078?@jPr 4- 'W)!܅셠%Rt mu.@7Dْ͊|""e&ofk"G?=X;{[MQ9݌yi7>(wj G"n<]ܒI'mn:V}Xw3SAw~A!-XcAk b䪷np-lIh.OEJqIη+uC-Ґ߈AN8}Qu47>d(Cgq Sw zD/tXy:t@W nd13}chrI-'ʿGsA̼vvۗ5흳O=άenUs`9v}GӄyOHfMĠDdt>M2`nR.P2&?iH'8賖z4\6c<}@?%KFLR52,,e͝-gS }N4†;&[h%LJ7K݈X}㝶~3 ]‘֫"Uk@ɶCt^w܈YmPJPlw&f ]ϵ$bNXзR{ã#S@mr0]K)dVzu@KH$v\RsY5t |T길M\MtAM/o2ѩzhE;ϧw?=Fr'jO8 jnjMܶt=S.S=]S`*T}ˮrcYUofbmɩ`0j3'hrJ&ç]/ +j~_SmwF&l>ps cQ@/}%^AE޹~ףsɛiLɐ cb)}O_g;)v @*ܑT⬨(>ؽ>u#@;qƩ,B?Y(`@tMZ4U# [d9Fi&VGefU$onTs;8G33` J*G_# 6@kDU kB5e LYy0nv9\Iw'M12zfj .f$H&8Lx/GcBdh X ƛEҕSOALKpH6p0}j$DS0dl8 mSE)gcKJP3'wB} .B P֍Ę=$e,/E}0d6_ХSb 2f~D\I?=g2C!ߧK ӑ0Z-#_tί`}i-8_RrܗW^ B]S|6j"J^%koTX/Plj}_Uܰ&: ?pRA1+HJ״|/3+罢T>suճsی F8 M"ֆÿ=0{fq ?)h#svN?9q.,ًP<g WhwTb`JelDX{Y؍?|۱NрS9zOH$ki gx Nk|3j!d`ҿ  ele'\O,88ʵ$Dx%yneSY;WD!&k$ςm 'I s#MTʩiy1{|WgaMyW 2NBds) R3b*1 0`LxDr7}QbZVZ2GĢa*!Δ8Q U]x+: I=.HX67i?ս7D?S2J9%"z:VLKz{O -yˤ;%3$MKu "oPFB]%Ä0KqUzsVsxg5EfOh+F|z5Ms!Mk>͚Ty`SB(aE83c_)oxȪP*3qZ.n*{TR̒\H$_7,/i!i$;!E!F?Кg.ڧ> 5}1w~nBOJ:Imp,![Szf- k<.5 {Ө$];P sɮhuvoZpLRp~Gld2!hv48 >(6@8Yf WSs1[r[6#A(~fd IWkB#wSLHxUyR2!;*/\:o|;OBv2_Tބj u$9DojWou !"RR,W$0A{:c%ΌU|(u(Xg?p-ૐGIOE^^\w]͞Vƌuxķ/s8DkQ8DZ.mV^{qX0 .eȔ9*5}rāI5QB>ᵅSyIjw(7=)=GC Md4I˅,Į9^(-wQ#,c;R[84l;/]U6!aSӒ&6OGz,LXLj˫հ}* 6k o96j?AcO܉cqT ѓFE7|? `h}QfRl0:W30Xр^Цv629.WMI?@s8D[oݪb}o[I90ߧLU$ |" ƑȡgcEet8f"d0h:fEPP$g ]\_ÓܲsjA}3/6jo,U_&5_Vas-E]ᡢlu%Q>f{W{wQ`(9t~$Z+RMH{F;ٲQ.v|0‚hG_A{X+M܆h'O8n-dR(Yx `ĢMBTUkJuΧDKS ,a+ zmQ x8'$Dgi~B\JwR@}:=]HjWKMݽ{6и Y@߯}ĜbsN5Q7Sg.$!큝f!?`a9-=1g:s`1MpIs/N{r,bȱsFVdu}W94oQ.C[Qszl>ٟV ~3\yV]^_mzy݁-e^ó3j1I_{ 5,8iyGSvl&j㜓{l@GZO 4܆n$Ɓ7 3Ɩk ۋ_!ىz3l nRK?(k"#w"v/qAJxTWVKj`DOORa?ߏ4CE2eWq6ADthڻ0>@(+a1Gהb7bI;Ŕo"ōH8ܿAZc%6"PmAyrcn]o^\ IGgʵ:m$T'I$ECj6Bfn{S A!ˋA:dɪwzxFZ7wڮzw7F(`e,Jl揨{E{Oe!f^Z`+OH3Zl)1saX4H@%@ 9 bu0Q~Za⡺ &8Qf̚Cb'6S*s'XqXƳU,XU%Hk˴Gm=qG3tիy:!pQwf1SX1Ŋ30^P W*8@h-ҍ^b%Y͉q35 /xCB CT_b'kxԂ:?"!Q% Jq>R|q9I*# XMrKd"i5UTtKM4>3#yC/t74W퉪]S9]'=ZyU .%!)&?ǷnLSrrK(5ɚs^ ;ZI&e7`q ZOXvG:oo2I'0|dHu ɿMȚmn2tG"(ޡ/$xȬ2):Gn.A$;zJRtqfAzXk5' _R}ӿS]mE9 0V=y!!׮ٷ(oN ]|d( l_\ |j캶lMVF mڀg $n7hPepBL}Hwn2~2Ֆ0"s'"R93[p "lc!O-d%+ƛdÙ%܆sTL Ĩ-cHy@>io_K, D < B!t?4/SlRN#JFk3rmWS^}*7HWFR@΃i׺vPv 4h{kO7rVb1Nb~0`"Y! R:{Nf<'bډmsA;qA7X9ζS|&K ISp^DqK;SQelze+&U`AIX+x6V`apy "(Rby=wH 49"~ =bĢ\MD8gɇcY7V4"CDl2 hl'4CEWmvŅN%* :G,rQgm@ȦX;Q3!]3[pez&\?$W}N!b 0f=;\{+`;s.0N.{um gN\i~_VɺNח 0]UFf~519E `TXkXD05L„ 5ETOg"ڱ|̈%9 eA`w]^q.z Dm/}t+TYV&uyȻӳ2Td5.{yÈ`f9%=d8FD4?ޑkYEc@LyDmq*qҜf|86irDZ>I (`ҵ+eC5%_+ue >^H&-h L4~4a|Ǡ'+%(bsϥ-Q2T˂Ulo?(W|ټ8Z#Z@ڌI84ʲk r~S,|iE_lv]{&>)U3ۡ4Waq&-GOl/A#p%Y5Y? $T:}R01vvǖˍQ}iF?^8Ը7@fWN{R.^nצwOt ۪Ɵu>4 8]9֠+ݦl |OW/Pѧ!jhy9x-7QNWk9hcG6o'k&Xmur%||Ai]CLUrep4L ˟lK!n(1D!8AtW(z:C'"FTQbi?cxDvF0:P;wy⛬4i>FV$aS]E#3nGagK}3'Hm MUaENLG^0m,q[^{cVyV '6+} v[鲰Nn'e͙mmn8mjxKA,}N~k@6Ŵ&RD1[1_$PD 2)YqpmӞ}S?IuRITUuAd =Ge=&x( eΤa BR1]٧O[p߿+w-ZLBRG`A:IyMe f!HSkzѮfqXtxc3j(U^[<)Q뭩̫;gwMNg2Wt-+'zڥ$%4U:ku%=S΁cAj~+s>* Q+ ]z6Wde3Ik|9?W5RLokmn~+]Oeߴ~쁳bPĉDZ.nI\D%gn?Z2Guf᝻bߛr;PeqS?(ddd pa0\. ƪf‘ہ+0&z;"op- #nΧ9+UQlI6;IvMoxwn*AdZv_y%xPb-E}tA't/sMij ~ jےC( !VȡO43m.ΰF֏yn䲾߷V |*[wF/X*?|+9 %Np|VpRL(!Y Jd-#)(q>kNqfLtG܋y_.|]VhThB-") b5_6KDl86'˵΢gЖyC@bK"xMG4E -d"HzZ@0~5BcSte)5)#HǨL=#5~@o|DSѮ [';)KTkI +&T_^ B&Rl} 0@OB Sib%V#!~QlF(߀:!!i?4;Flr/0@^ jQ7rm#Myq@sVX6 emyOʭȣjyzP$+;YTZifjC"(γA&M }38y-v^9wZw+[^ރ(dC:Ey9r291>qsElpw^oqÕ ̴ NH6v$X Uu}#f[‚ťm9ѩJV`"[*cOEC㕷W@)JlsF R5VdE?9?qFAYhA;b{x\~@H3Shߴ/ܹi6H]:p̥M,%D1 JlmƭKT/HniẍHG5,frAoͦhf|NIѓȟdx cs5cN)I5@^ej[vϑ~)SD8᪊J𔥩U _joP-ʇ|D^)앵3:}n0ss2F!tJ%bMEE9Z 83JW h R2dX`UZ n_3mq%gS |i;Ͷv)M0侚(w48nv:8,Re?d|mcU`,eS`V%6$\.n%-遣B^ӨgthAoaEzt'S r)-pLMtX U=56e3koۮF-QVOÓP%6:'"^epl9Ѣܳ'6|sc?ڢAC!vhOl]qA@PS_#t÷9Y\`38:sj&+͏T0SNSۣtD1t%ǟ|[5+@R.ȁϜYc]G#lƟ 3Vs%4"FsU:q^YnkcrI`!JgAi|dRMpi!ai2o+Ε&{f@,]Wdd_:iƷ{A@ښV#M_yŕJ'*DEY"֚QcGlPNכ20ª"OGG9wJٗ6$ZeX({⹓vv%R7So, +;Oj|SfbzB&`!!T }N0|K}b]1fm-C5df#%,8\X_ CG2PPoGAT6U)c7xդ®$L K۰nJm4h'o_cN6W_O%'@CmNG:_IImM)O2|E*ڈ!A֘9EE ֱzbdef'n#S)x܁`- yP鈓c)#PfBfs78H b6mpwqH\ nCaZ7<*^Е_BS qrr} ԁZ1%yRcIUߑifIO2|vo:4e/JxúKs fkIw@骴tPL %r:wRwϢzb *:0*R}p@`8M6,"3wwf͔D=칂:Mnd_%U>y)FfByN4,eKL}ۑU wJr8)k%4.KB$YSpʐp&>_sOχWs.[j2G"bc BQ5¸3)zm,9| &L+E'΁[Rެ/TofQ(3V(Dȸ_K3}H P ;nvo'פ19>QK@)V*[='W^x#bbZ.w`6c]%Oc`^P3&B$£Wrq~,C wMWgl8T |h!`C}Mow]t6G㾚F&vje ZFPN1lq&H?EJi Z$# Oo~j]¸K_u GVT` MeZ%FwdC}Eo5m׳ͷ[[(Ӛ_hFx ^]ufo\ `0.B(bwcSH);R; )>p 0.uTl5(e~G> 4(ԢYO* xt" 硋C| kt_}vXMqonݖ4f+9E8)3nf?YW7pu#؋:h_1zQTk"kp)J6 [49d o/̼ni{# cnN oOU=n4IW̯eo&M:o w<~0S%vp?Ef%~r/ʔȑ^yCe]eUfe5 fDŽ *80sI;A Ĵ'&b~UdSf0YMp8mFnZ+h8,C9nAbt4~N`p%0Aert1|6k1IJM+]2y9d"WLQAZ9ۡ8"_kfs2_:"åk0RB~I^ZQQmm k4"8B(;Ox*)jm'hHoP"f*6("@Bu;L'9fޡ+T ~cK7u_:}MtSʎ- uigxi_XF|Kꫤv{ PKqI@N(dX+1`1+ކʊaCA9) \.-@?)D+3xS9P^n$Db#mQv3l1gB60ۡ:|k '5Qҝ iwBc\(R&pKIsi77(EK?8@D[YVBnS 4D޼'Bj/T2 ㍐% ._L>=V؀Sե8 n[9ddT{u;m?2CCS_R ^Z]]B*A rJ̿ӳ[זtT4r|yW0 iFÅ'i "[s̠ g_7}W="XF y޼/KaL~YG3c2rU;a">zGV&aT8X$1BTj0=F1\[?\:l9 A'/1X%,,%ג`\2 *̲Yál#i[ӳm­I7}ŢxV} Kze8a6lP+@[ 77j?hhd{e֞]ٌIu/s/w,M|JM@1ӒB_7^J+=a(q _&]9׏ix(E;xp}TMs kl[&II+anFYaJGz2' Jۊ}EhW1YGscJ hJ$9o#K.\YƲ,.bvX$ʴIVjOgsVq?enfߟ JUBC76  #5 d #`51BJnrJ*9ɩ]ѩu;bK!{O_ ?JтsnUg5ƒ:M̯w&kwՏv0"F@X/&i?0zH9n>0V9`VvPL<~YrHWDgnJ#-z?LWĬz 튗7BeDFyv\~lRdx, ",NGK{f* CYZM[ zy>3gRH4"KտQ4P*\+ %, WSlɻEBbj%mm yl*,sv˦ck ]7*ݚ A+6Q^ &=ʣ 5)j5I`Vlߋctg[RuT|]3(+sZ,I,,?^?փUW GA׀}X= [0Vaq,̟NzvgBb r2ܞ,?X_o8QڅH:"Rfd%*xM[nj!|U~vM{I,t4]}2 ̮?V a9 ^M>!qM^]u[h?("a0kEEݡǠaB\Gг"# +iXYP5.2 ;th%kQ(#RڗSR JxqعK+AtH9r{fgDΖ78@{VHnQܔtxjr0o9XV-w!4j vRW9h sOXR}f'n/4 y$%l'H+R jocZ{.<L Rv A4j[1Ղ{)q{!PH&["6^\t j^< ^=  vH2M뷈$ŧrOyDc'WWDP0, |,R__jTS~p QqqP4Q-UWN&[`Pg6 ^1`("ZL|asekEf2À> %VT3 VL/Whc04Uw*յd-h3fKlD5zkBzϞs"WdW" nO(zi=B 3" 2s t^PBs2*˔xA kz\L~ۂs/hn3V:bDC@W\ƱF+oOci3r{P`Ps [{PG'CnD5>ͧNp ц;cnub`ImG+{ŭ}:Ͱ٠@݈%FM'*]qJ^e#Wo{U,IDG|)_:SɅScJGټ/K"3F.K$*LdR8\əY2Ԩ[drLewcE$eK!c a=IP=:t| "N2U.$/xjeUDme#+`mH9{r¬ h@<\aK2&5 Do 1  -ZAa%'n(4b )yg͑&9D*:xJ݃L<:r^Fj?m!XpJҗ:3xd1sLC-ͿZW>OV)[Pa^=ʧW/=EPc/H9Lt789zܿMƀ_"u=GЉNrkY% `֔m%0Xs]0/WKS_< )#X+c6+wM˹&W+?-xE 1U +wD<0.9XYpF򚼛D%.AXŃ{GK U-CPy>*̝Y' Fcx5 iv6rr櫱jgA*&F>M"f-H+9;"A/׽xU&:,t?i嘕$Ox{X]L?>OTz@ [8-e*_+ wIoa"-}戤@|nD A)јLMpn*&0<~2]ylz"FIKwC{k'd/?DQ?%1,>c 5 ĠdzjϼIY%vaZhʢ!^ !ma3n"!8I간Dϟ˖XgCm`<(kѿ2ߖx̼I{]d4Î{wn:SYb3iQ}¼hސkR0u7Y8 l>[tۑsn!&V g DM *ne U_5qE\\FTu[/LlVt]ց26p.Of+y.ٺ1ф[?̴KH " (|ZV`i 6!@OTa ?p58al(݀&w;-Du6ݦ& ޑp 7s(ĀJQX:N!'<w!t.^NY-u/u\ub{%vpI~Ll 8ix|lzz'< *wu3ZFg{B)(";U6#UmZj"(5/cOGZNؠQ7ڤ j22`@mF;!ʷK`]I 2,'vֹp\.N3;MC$5G<ͦ D\\՜cQ(l͟7`?gtWs,_I?#MB7:&ki˦)+Y21wjnA#N{|Ok4b(_$~@AT™]=P )Yz~+939#3'1j">BnWJ9@viAkzvR  :U/ ۥ}hh>~ 'DUHr6%%o_М-hNƀcÄCe@(*P(ΧdKI#=|VGQ_4)ШmgY5s`B~|Z!1@t"P5WBnR>0a қ @W^T' Ctns ٔ_)G7PILcT^fHq6zWD(ejF]2+^H{_kHBryTt&Fr#ErAl0Csc0~7r ppYmSo'Lm5 .)۶&uI3I()"a&\Eh= M"Cu? 4Vt^MZ _6( V(C;9PzV md/&[ f筮-Re7֘|I6p^/Ͱ49G'`6yz1\K\%iT~ܥc"qՑMp2 F_t ]*i8heUB&Pt晨 P~:lBm\#o'+bT~Y 8ͭ9+/ n@2߻(g,tn<3,+%dje#=`z8G3Ji2{K0$Wwyl{'s֮2Q?rZ@kV p1Lhƞpp hpeMÉjgjd.f[0% HǃLߓzCLeJMF{*N%ӂMNn*|Isca\ЌjFN p+>a{Nr}:}m9cx0f #2jF+oDGK5z}ox xbGIq'!kBHŮpiЛ:9+pVm]ڂ MO@%9 Vm) 2Yj21)1NWL#5tcHN½Z%9[̔ 07DNE5c%e>>ws8,Vf(Îo\lT#ap-Wdj2>{z0TB^ڔV\y@󿠐xNYhƄVI&=6FWMxN/%K8}t_ 0%Ar4{W;ɮwo"tUlrI$MC!Wu0TIgivغP$-8N̩TWC|FkcD^Pk ;kadsm2]xٶM@2zzZ U `L&1Uw*) @tX Px_*|ݧ:ثU*i+^[qdVO&8&$G~H7Z>9]dN5[?5ԑsnk/Pm2ng3ِf$'~߰{u. dwUq؉-iDc /=V@aoGk" &ᾏĂXap=FU|%sɪ:os*„bK(ݐJϨ!*6b՚ I&€݃39hn[L~0Q96D&9~d ]H[dѡ ˚Bt0 Z.1OSz]].) EJJ]>QUQ%Pb5̒{Kg <;L/I<PQ&w\4|A#OV=nȤtУ hK~lj[bp,-nxևSKJJLRד\|TԈpgP79h :h;/tX=5[i٩(3^Qwn*E k<Q@]#O%cGt٪gI0ݾ.7VfsNbL*T ^`eaaoqKRp;” QL23*o_LB )Śݍ`O]vjd׸Jz&D"nOq˝sWw=brVG}I&!bj@7*:iuOo"kuzOmU.q(xz^"M߸'GܱK04L|چGgͰOq9\A0|A\N h1gug Sx;{Q l)"HJ&O=Cc<[&G|tI *,Τ-x;!$WXWi0Ue}:DQĆ9.Mq́ QOeد{aɧf?svzuI9aP̤4p5?wDaֺ(ղtOU#o5` ΐd} Fct1@Yyb%:4+gZ@'AE -S kK?6(1v>@foawK S יSL;n^V|zK>)TnC)*z `g&eRq>awEǀHeZUCFGWE#\<}M6cL5O`:FYc/#шwȝb{m/ 1gToWJm*Eq@ ߎ4x">\.n0Rjb2e[[+v8c%!jLVVxk9sItgXNF. fjnIn C&@qbi.Z@(T+#sEtm#юiyxcZ5W 61sjBR!ݵoj|q)H@9 -1 R ^uu{OBcu1yE6Iu([5te l!tJU~i=1gUAپPFz+JuLݘkyr2Lp#$T 9ѢE}s[ޤ:@ܭ FBC]mp -}cl!2w@P  j_HyG6}B&f e ]$`\*o+Oy+gs昔m y+:\ΘP%cf6VRHwEVvK"i@@Z,nط,3C``#]Wa>(j;@YHwQQit_[ ~!!S .,5ʆ.zPX1:tSzn`]aOoKUoGT% #E\rOwNp8%[2&j蛺s)rζjE9Q;BR$ml|ƬdBE#;?{%#r)x"ICLh(D[ĉ Nm"ogi--V9O-L ;X<0We9VX[:[N:{A"5P3J3 ס:A)a%FXfnTi4pv9vD&" ?:Nt'g 8ioMR.)0# %:C[. jE RxјXwϟ݆.9/~x\5|XRڐٻ1 0b <)hRr,olGh*FXd-l͂5M ʢJe8U)\c5] !$(gCRW="fkZ~薰-˂*du@X:5)OG@weLf('~2yr$V8 ֨!{<@?Z.خ{ %q(a}pa2YPѹy!4ÉX#?Z+sx 8?>X`v]|u| $\lK"9MA!h?,׼ꮨj6-0-{G0v?&wzIj o.K7 $Ձ:T|̨ENLs~3}9mi9cܫ!\Dl7o>6Eʋ*E̸s&k~kwUOCUk$Iқ519;*@#[ib/'JI˸)dCA~Wۿ {4q:V)&N>t?R?;Za =nmzEo"1'8^tY!xh g)@lTZw `J=*}*  1 ?Dklu-gַ|(зL#L< 50[z膴gQT%P>X{ݣQw-%ܳU]-3Ǐurfp2D k!(T,OIeH\P T$s_qga$@ىiMB8E ,q'2A5F*857_'Y4s m[zrA,L8T)pDMQ] foV=rf./Xw=.}kr9 |@ u*N7c]5~Y:sq2xTk0v /.-{w#dds60l/' =̹xLhđip5|G4w]MƋD]>m^uOhC{CxvΖ(I'`R'E\8zIƭ?U ,ܓ2"*2 ?G˼M]{U5$]ޜM1WeؐW#'q-Vsp)+r&wAI?',Q&aLāglYRZ48ܩ(G-..=P 4XnsFgD }#!i_b+ּQ\6dch&BXYbSsQ`Ye/CSnXa G_~ІReF|a4G1CvZ ;TfK bŐ*G9TFX%@s6d`#SO~taߐ+Wa  j'zl%)&G AMלS)ͤBQCy~WVEѶoFU yLiHqzդfy Y]45'R+NVܮ2O[ Oo𕱼->҂ =ZS=ܠDI SI֐& a*xҖZzc3+{ᾶBaXkt*˗?n%7`Ƌ0wz*k3rB o&qC#G0X@x#0RāBjL:gέ(6,)}k\[lnD޴^@,yp\G$f|SqKtLs}xbW,&_~aSRS7C%] ?]mB⌟)i@>CJڵ WE' E[:ËNƒ S=⁈TGLSy\$bxnu,[A+3M6P2%TlÂ>_ nv\Jیpw| ZdŐ x wSA8K]ŌY MYy&p7ؒo H1zW²жͯ/IދrL[J[n'S1%Db~(S^7]4uſ"2 8繸hm!axY-Sq'=..$to훏Tw*.k" B8\K<Ų$]xi; LZKqXT?&Q-]Z{w1 #<6O5)Z<_pUSeJnW'ȝ[B82_\XkD?6G[0~TYU,E2޶IFw _]H'S?6h4g}{[I`M Wryfnkvn)2.B$]%78mRV8ņv'ݥCun v^J*~v{bԛg 1y2@$"amD~ħmg)3u( 馘km!YϳX$k>(s{ F̖ wY &^s5ѥ 'BV&1ݸ'zŞ> D ˮ:O|ȋ|X7R0X\AUXA.Ojs;{K 0\ cyV]`pgDN+"-$`fALL![b>n 7᳠iQ|.=E $A |F^ݶuYH)־ HN fU_34}<$E?jdhaDWvFFz^u_mK#% %;v/.'P.y9F E<6KE,>u=b-nQ'05nZ0 ZَB=zH ?lqBY-Y`;>zg; .I//O7 Ft=qYWT)vLDII<Ʈ%*q!sFB!V*}E]3TX`$:7.HNx)d0C{*!]LZP h}bW(ܖ䝁#KTNdXƝf*4!Ė .mϡ?{~ eR(U<Mf^SV +-#N`2:73$DYc)Id8Aq&2JӀg}0wEaI %(#j i\ 1JUBxaŐ/?V$m+B8]GNLkyyF(ϲΒxI=G^1c?qtJc+ ) nw8:p}/B޻߳&=MgLoz(8z#_ɼ%pӶ]KF$j`;ei q%3$&,G%{fќ`o(;=U\[D&F<2N̗ c{'9ୈ7Ⱦr  PS*.iM3YŃ["& p)q ʼEg8D mcK%vSdp]m.h_T?\p8Rh=J_N넢bdUkP20V>46.M΁SvXBpTJlPٛ%NQq`uI5- _eƚQ fkf7FM}vC+*=xjq0"jdApW`gWu,:7m~j TEXtctz _n= 邊Ry32CDGA/e$HOa@ùge{%ԙbLr0d|VoBfR duqyY _#DhY⏨<!fct[|̲P,i!*¶(ZlʕP.JIE 0Y;EX:S, DIݐtq=JbkՅg6|Qe[ J^C~ @3ȃ\_1Y҃*TT)ho@Q5iVB3Fjnt.єݯ#lDwBd1gq)gX'W*"ĨRp;@|^'&ɑ'$ ŐYS[hE:W%:yc/I9OgtRN<= P-3|WA6)fOu$ڤ;6ҩգv222h4mP7jt6]E3"ppgbGP#yT0wI vJf`b4Q#4LrbM8)ťugrɒ̜H%fUE%ǬiOXg.J6)rpJBJ - tR01I1 tү=l!jՐ2`ƞ 8F޽=-hrwTe,SÙYlx#B dR&p:柪UI>;7Ю5=Og瞖A>"r+-<h0셳K; aIht9޵[Uo_yA6ݛ W-Pg7}/`24!Ya"нK}؂-[cߘFiaLҒRzxJ 65/Yda([&E^IhzD[8I0Tb]-@qU79ZY4$HX{U F'f2)XX{O "c^ nP pE(,&wf6ْ? Bb;“$S=*.~Z{[-zYj 2=V@H"I rH<|:F;\0tP=qԖvWD1| T͎ٗg&s OC]I⋃] w/=+~ 5,CX(?L}\*D4t)ȓGU C;3;Y:,_-&^vT?N%b c5{zq&GUW $Ihg~ I%"XtUN@n_C?OԒה$U3C1~R*+v|Er p QS_z/a7cYU6b^FKAD* Xc4L 5Ef!3z}4H^]i$s7wqvn.tb@;xF#$v-> }>d8ȩxA`Pa" "LK2e- hqQkJc#,fOR==7B>W*v[Ӎs.SSt:X^9z="1;W5 EJ9hww$rSQT@S"jB})YP+`{CRYBKV.."ɸ!("y~Wd 1#[wBX)+Z3(5!P"fHu>)u񦋌_~4&NY"*X ]9QR!oT$@֟*K0=b0wu;MƆʆ?-m8BZOݾ ja jVekDxmg(vȊTz-,LmSk 5XjZ"Y%*ptd8 VQOZ0p2">" y KP"$̴˫EҍhJڇ4pgj ӻA…wz5(Twf_JmB- dvQUvʟ4/դcHa92X&[6P͎=m^RHTI5i9n02؁[ Fv⍎:@ F?B+L|uņIP_ L=Rp buhIɚ;fHg3Y>V#6Lӑ+ 'UY_ ң&U t<%(@EiЋ)P5}ʑsue~@0aCDp( ]f^F`KC[VcL+:Fz:,ypQ`fiVw%_[V~}a@ + 5pnB[{oPTe6gdS0!X)Dn cag"a*<^Bz:{ג=DުV^*,ΖI"Vs#V Z~+{dFH:6~NАEMTёF'ɁDƶ&d¬L+&H֑B*$)K{a*>.~orA(ⓘn~uuk]<:/16aE"0K K YہTQǺ@@=gͨqw0ix$ af}~t)}F) >X$R@tsB` 8&iw>/O^fxվ*)k g-%{Jm6]pR3jm@缛v*g<SpV9o یyPi4Qj-ܑ&p[\ȯ{ѥ's wO\DE/9tBokr.D ]4ⷢjO(V=\q:-Jr\]~qd7Mi5ǫ%B)è8<5i-99H@q bɠcF2y|/8rNrXdt)f 9֢ᏣbY ,'\49C2q`Xa&'v.u|iŽ'aiǂƂ5϶$OcPJrG9YmR 4pefbWXRIcjxR>zYw4@GLW YA93 XW)-N)fuB+L-drtN~NU'yW*)(h{ųLYܩ-/CjyPIrAwZ#0h, DҹJ4` C}1VBߎ'K^-Ulp,C84NNb@V8hvr{w<+0[K6E%]Hm*dC!{Oa+xkXnY0;v0jr^Qjx ^Μ0`7pꆧLeY3Vd@> Ozǁİq#cWM B {'HrbW 鑴fq.!E+$X!:3O5oNōzi#ȿcp[^B޳zPj,y>մ"f؝m^f;J,̽ߤrd~%\ eyd3egA~Hcc]LE{F(GD]]:/W0nEZh(an eb84Ŕ^'=^ XQ*QIKljE>yi[{>e T(DxzW0^5]L_6k]{FNT=O"GМ7bS`\h&!L؅9bKxaWoq[P$Vs;&9Pv -Z< v4"FIZ[6FþC^00_7S/vSts Fr =0MBp8W [>fTS( |+SRK+PJhm`CS>F:^JCumܚhM;-PrD $T֮)&۱gYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXKUS5ѼAPInOJ{5 ~߄/*bmHoIv 3W-QⳀsJu7M+tD(n+ LN5V 9@r*)=R(CCk?Zig8Ax@䫁_"d!G؛G6dĻk}k)J.m*kogYZ7zXZִF! ]ŗXi%L& dUz 2w5$ˆ!%@[WQ'('r;s*s MW'o; ƊXԑZRZ x>W 䓀s V2XI?C᤯̚(*ihmAjFgLÏ7b=sX_f>Zbu $ r9q$jm占,1 WA>&"jiAa̱j\QdB{` yzD/pWe T%$I B3P 7*mC*ؔ_"fx a<gQM?-;ҊP9^!F9S^H-JAwtii`'jh!)nwfJ 4&q5rJO"$+,VNFRo1x^QMR"<P0U FSGV+h ɝ2-ôh+kLQ<;0!ah:&KA}XWʼnQl!N8$ du=28}7LY@M 29^XJ۲8y &^${ xlnPy6J )Myq?[=4ުv+HV3}2ut0i_]X^elGUA ‚8B4Bq澤 E9>Kq.g7nuy1ߏ¿򢼘k .y':RmCJz%Aw|?M翑+ tyh7H*d~{ݹr^BxB.-m Bo5ub\}JJ,䶌>a[)'\C`E)*W鉡x͕'=R[Z j~R~!caEw KAPSb$ j>G2 ll%벂- XM yn.?jlLpԉc UD_+lC'S\vW#+otߒ]Avv7/:*ڕIyDlT'{:Jhe@Yv]p .Z쑪 t%R&K֓g 5h{3꧶x̼9sUaQR 3G97S%Nrq-R}Ls]Cu`i5a,b 4-R<4e92(ۧU5_n! Z9s"#N֤  ,b3YL# QL5qLüsQ/C xs7\0qEu679x{C ʅ[*<~UY霨Qvb^oV%s$@ǵ@Pe1BKwL~׿Z\:Tu@:TG%;,?5{䮜w8Tf#NG Up+{CIO004@ioq fj#cv?@Dl^-BdêX lֻvXm= fzIE00wb2<6끧(l,pzHP2A ME*K3z<|j'R)TѶ[f:{5mndqWy}agC@O迦]{TVTvSh"KoĂ7%qqֆ6Us  c'IV-!oٰ{*\GM!rp!H"O%&E 9Ԧa 5zJ/[UV gRz'&'BgVHg/t3mlxq +Pҍ@E E ȝmtD)CIXe >(D~mi7"acle