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  ^%tT<< ]/ Hybrid_Logic:threads=4elapsed=24.097cpu=68.100gc=3.0927zXZִF! 놟]ŗXiɟH)0%oHfW!z#`o$N@ #]^Ytb?e{"#ʈi5dG|# u_/ԝB~\yz,Kk 4_I[3wd켟kb-GqJD{z!<HW/2՟iW`+ft;@.2hCPd> %Fkd-#z&+v C 32Y#9 ř'b`v-S$>I24O-|&|3^)*xdr'O(L8h?jGވ⹙%>{tY3hvSQEW{2">osX,KzAP4 % Hybrid_Logic  dKEK*(&DK_Ht K9H&𿒋&Sd fs.rm.8SLJHFy?ŪIeNյ#Ш"A[[h!ȼmKwYs@2IGILQ'%1p|i*G:9  љ{m0m ^g\KkJQ75i;E75zC`²{RɚZ 7V** qw,TR #۰ $)w96E\P?"(=|~@oq|м 4hWa%aŭ4;F\<X[rF\X5/E;C Q> ɠzrUSz;hq\Q5:fs8?'ˉ.aD]7՜΁d _BXrCLih쀸;5 ,,V,.nu5/6^"k ut ԦvU%;[mOl`V?|qn8d[0ISr'JX+þ8*wpMخ53W!~//3D#ϓ'9T$9hO`-j'P|c w{#Bzn~BKҙ*xq4ܡ0>> <{cJ!83H/ h/R'־XKIJ%Z̬9[b%ҩ<4t!U.Vk橫a MmKJٿ\4Sυa뮯:kU=T3dOEѿ}5ӕ<<7ņ^ꁁae jLtZԠMt0hPˮ.P s-FʼnHp! ۄg`9ɮ$_URU6#@ُu^5N Ab,s1GdSG/ s[3zb:8 Zj`>Kܒ`QO%N~h/o$VJtG3^30L)jx*D?Ս;2`ꐽ8wYH&NƙO.J ~R'g OFNI84Lhe0 _ djHYoK7 /RYz EDFL"T\ƁoFR[e; E[#;r~:t[َz9Lrc,/,jx ~Hr]TN`YK 8,yH8[9XcSѕX'pĞBAqN-߻y 06~)@NhB؜ﳏ(hf!Yv5j яL;g0IB jɴ|텕oB_f$T]D8cg Y.e#0dɨVq}dEU'(QLl{>}5zae5jµY.K^,É^xDCL;H\[''p8=j)+_"$>sF ^-czL+ct!I`GMX˛*X^&Ih͸KaITEfCZIC).Bkt\FcG]GƼbpRF#3=;S4Cjzs>B oz{}gn):eK0|Kf g)hOW=3Hѩ`i=9+t!=[Փm!p@HD]mh3 Zܒ@E48LDbP7bwWEGdzѕIGy\YY*{ؤeʦcz6^ި@!#LImuݿ9bwAm*\*x~vyaO7(TNyi @M@dvep]qJM\0Awgv*]?z$Ŋ%zkOcK.k-Ax"B϶SמkMR9oyB| Cy8M(mSMRX9[ M`%F%9q6S<=-L7x]QKR q96,pMzE~E&[lɟo3Ў\٫SjvashXgrCUIDXV?^2{fІcCㆣ^ Mt}hC8A(R>@`CFssYn}6E#7"ۄd f`U €m(pݫ˅^ӽC9U'Gd<-c0EnzxZJAjķKfvAŕ6ӛ:0liipz|uUoUM:ȩl?=%Bgbdz0AR#}o+VU<,rU6 WpvbC^7}utN*Sl`"__.}mz~w-wwp+T}#+ {тYHf&);jwX.+]{1KJLQX^IT 9a#8Bш!9Em~z{zc} )0 \|]vq-LsLM4h%u6H=tt#t(348ϸe2׮Oń(Mt#5 cnGG4d9gUb1MBRJ[cf7&CiD=du)fw=]0>YWx OA>>'ܦ%$ߗ@Epi4:Ql QG< 3K2v}]f=۞>&;W.&bh0V5h Dgh}^-x"JIfà|uu A}WtZ&h4WcRn Ԇ4ƿ˕fƯZ)|nE5obT=>RW¬ .$Z3; ŭҍӜ+ ʄJF` MAC16u$9p@>HYcFΒUei9C{?.TlC )V$K.QK}Ֆog#{9˄d+-Y5t kPD8glji;~uC ŏ1G2).C ֪2jO P} vv"qhqbfQF 1L&| 39j_'up%:@~-G89.LI./ٰ+a̓j#bE8$7ՀʦNtksR姒<" 0v-51 ╿OsV*ƠC:ι md"xk^]Ea+k"6VG)лW[s2HF?W(?]M=Zlh~2Iܰ|z:|mt {4蒹69vsdf?fTm1T2VI޶ P +.yqv)*&\~;3,WPQkm\lgӿ_wXe^&־ Dn kaˊ8QtZ8Mw۰c6G%`ާR[m%Q63yD,>?kݡ .N*=J4r'n,"XO>!b"_,bۥP`CY2ݍcs$Ks+o/׍(W31)^(ۧ O5" 2ԶCoAo 9w XNL&У3%&~zׂOEɫ"&f`U_#J@\_ɮ%@c:`m՞V7F |iZKw 54>䶑]IC[-+:Cu$WEmjp4ĽS<6*[ðNDP?V?xHB%AکPo0D!Ê#ڃu)0{"%YN`-WKYMt|aN{nO*י9~ ;Oh.¹/( TWȏ̀`(6/ѡ" Säwz)|RL,(!q{¹ wHȬ%ى?H2gZر+vdIt~m;Dq 4DVޗhIPq ڼi%T2h3;wM0$u(U]8l "j*E[qM̨'BH؉c?юTz)<!ޯgqcد]"GlʁjPw4*쨋LMU* [ɮc$'7qfjʵ6z;լJk bGbmttJ+PCGj#%MP_LƪI9'!/u1,#,408=Wk-Ii)fr6};H,/ΰB]y79]-lTK;Ҵ6ttU:jYXVG R DŽ_Vה4±Ug͔(2v:(ńIk {FX>NKgiFnUDrTݢ.K6; j8*[P9jyFJ\Cyp Rj0*ۭݶS>C(Ok%bC2::(` 2ܜGڳea%}{=~aؼɼ&dS桯Hq:%K[B*RiʥbpbQ1Iq]STY^hOǾI3/~pV=uiaynSAg+?z͘[]O׾K!e3@Ob?oOXN/[UuNObtDc:* 02VH^<\{I#^ܐ^#G%5;PZ@E]gr7~1.<D@cM0n oR d>A.,2Y=g:;_$au(;%1ݶ!}+hoyƕIj|X(ML邳;Ӈŷm?=ғCOYhJgD hw߭YHDNw B-4ZL.N v.|Ԁ?0Al anA`=o<$B w w;Jiv^À">2LW6pZR6ub.k"*piWTLOkܷtJnY=pkFAj$8KclfYʮ.Lhp<АfNH+Q@B2iw1 |3'=9V-(=0ֲr>Ξ~_q'BI `.}*R)wwrj؇.ݣ ?iEAIgG`%gfK;x BGyZhd \`m/"{䔧's&7KJ*0 FUm :zq{[uT*3{ ~;ÕbAzyz-B),<>*oҎDߜ.[>⹦a!8EMp4Ğz"NRkb父A=@ xƳ-HL'WBFP3`8,Z/qwJt6nc"ݣU:MvUK==~/Aʏ߽5\ 3C\hU 5qdl,;Ht"O@O7W:wks#|hx{)[JPIl!NC#ρ82=/m&'.#9Pm,~UǽlY$@+2w>2uW-HDt~-7p,?g ~qh7&:^]X[Y}Xꏐ$8|Y͔J>zP{8D(~==XhRE q2'ɹTF>ixZc-: W0!)~\3Dts@?З-(I?>h1%4[^vQ@{͌x[{3^8Ro#Ì4jBqFHnKLi82#jVQ *5҄.F}7MPu~*D&=Ez$Hq&#dMzN$P\mJq. ,Tgnq {_46h\irX~dbI0( IˈTl C< ¾Z^ 32%pzd)ةQ9`9Nb,V##i/Kg/?ŸHN]EUS+1nʊ%t|5#ƳCњ*YJzqeҋfUKMʬtsD0Ǯ+b83ѵ$?LJ})[mM+|O<0HJ0v3ƋM~I!# V3O-^;kz0]8gL >'p.4sg@/[9cA+~IAI/ uji(i'vtL4!Qo8sHkw?dmw 9xDv$^TG1ٕˈ"o$XTg!ku1o ޖu (*:kMhhsE%)`z? KQ\ۘf+Bs%$q_'C"{<5,IPB E͏%STٯi=Uo-4,Ґq1nJF]#[!ETMoaxt^&x'x%1`B Wۘ_Q+6c(dz]>b*.19sh.>a8H6KR1EAܝ<{&yg}Jp%ŀe &}Pzwggx.pO_APњA;ϲxij5 b6S rl]ʃC>3%ohw"PNu#@8>)VØİJYZk|AF[hhgгYO u 7| 2XYE,>ccl7[4eA(6!q[h7ڴN^)!#:B2r%RBlTgiXrv ~ϸb r|C ~M:ӻ AC/C7IEyW |TT9S&a`gnE5.0Ked4=HmBɗ}C;P] MYϕߗTmJß^9*k@ykljE?|fIC;< >͑,BUIe*kt0͆]gxu,voDq$ PSxGu=D/1AU|b,"0 SӕTnr;1QEM ` v%bSd04gٓpD=[MewVWHO 2vfURr%cZs= r@h3Ď! OV€8]Ffs\+Plȑsf߈ah9w ajO!#'pW<}7il"K;BB.<{6kڛlic\vɾ` hϒm#!yIؑ~oNz_I>0ɫm2Ng羠<`iu=?EeI*`>?ɗpH&&xXh5먺I71w 4-h*rv`Yaf: e Lҳw >gƕ`k:Pk^~$gtcE@`7TCiƤK $Įl"VͮAf,󽙚 Q4- ?ű`OH៦P ,oEu>LIJi8tFLqv;yCCY#>,H9䟢I>Zxthz RI/S!}Z>eUe{^$53vjΟpy#b/Zd/5|*t`Uڕcycy%&q > @\E}, +5\Q*(-GY44lLV ⌵]C|$/vʟ:>"eϲWPž>E oMriMR~upohsP6}o#?p^PNnM/Rk vUb  ULbi[k%lB(!بSTiF{s^0SF;/OjJ62T_0$\tzc.:ɑi$LL"|i3(tTxjgqUNJ_@33РP͆h\'RC=2m7M*Gmn]M[Gelu T+ %fHRtk3=fβ Vq\;S'*"ix@<,zJ'OeyCI,#hsP[63`ipG"uG" }IhK1-N~:UO6HtMpn&E#)}DB[ ٜdRnF#fL-g8oUhB|^,؃\82iek@vtّHS8:e \cN]p!B3k3^sh\bl<ѳZBOdPZXeyew˷N)ϵYMI{Q}ֈ0ֽЈ]#$="]yx^M(M.EMJ)d]n~&Y% ƈo ncsRC_XۺٳV&9'C!t}jSg*AcbS$3$)Li<*d^tn=:BY ͑8zz(4qe2^";@ uBK(徆y5$|J)'u2c.U[i˕e=S/&*w OK'wW2}loj#pCHM5zHF iF"\)F`Nhv ev.HD*g\Ht0m go|"5 a=cDG__<Rv6;+8IT"aoEMZ#sb:&^3|,\ mFeoolxV9wP*̀9m&צ&t~XT"IC<'2aؿB*u  L}84iC#)~t->~`]W8Bfؤ9m$f>D ffMyzХ'>߰Vqګ7)wp1I޴w+AJ%B+6?A@0v/LA/#{5CaJT,+<ʒSZi 09ڱ3бs'D`9vdղN:{B{/m-=?#!e*|XT;Lޘ)bpu߽疩c9;~A|ǁm#>$D)iH1BU ܇\ P^ŞທOWMCvQ 5]ִ磠'"ߎCB2941VX^i;3?D@Ok|Af6$kp縤D;4vDnNidsOɠq2XIZ_,Z(o6j`*Ӎ.ot9N^n=;϶#ɋ UaH-,7F2j=FGp߃^FONɜD|GYuN{2@K8 #k|3 SsŒ1uu;aL%:U^ƙ_7gmNzy,MEK,=!f'|ɂrF2X*.̵_"B0;Eݱ) 60 ;.G?|; 'U`}5x(Lv>kkǍǢ(7 sew?, k)'8ZFȫ@,ֱj&#K? Iɏua 4pyM ik<$sqKu@Ҵd\2%h~FfPh7 bgYRv])AIW`Cs#v~_欓W\h|(T ;ĞnFfmiu1z%еqVzPMn X¸ީ`_V|XyTc8S6fieYmza"U\(>cMM΀%<g1^gHoFF2}4Ƀm`jWĹ2B$ҝa+WOmtߔQ*0Jܙ18VN1ۑJ^yFq8 Jd> XtQzGp,=~Ƿǰ\E 9Of>vF|Y7â|Y/֌YtA`.#?uiQIDjcϋE. 8BP7\@֚^ϯB:i@5ĦhLq\-PsrE!xױ:Z*JOwT]|,x<(LTQ`*pڴc pM-rI^L+#WhHb&J"˛knD޵7a_<4I Z >kEdgF[xՇĊ %U,'~^c :T<ܺ$4 1FLXEP%Q bZgC⫨qPc]VNe·}&y#z h4FLفpHzC햶^k?1yfMz?Lqa^J"S0uç\^Xt70f 8$vWtc/Mb#M#㒥sߠ֠e/[,r쾑h]|WT0w$SWD8#2 K C6/ VdevŁׅ8OJ Dq7EQeePg6/֩f8nąP@nGo Zo+ԴY,ī[h$ Q^(9LY9—GfJ.D"Rc9ٌ9g爫A phM- ه̑Ԧ# QDTrro0;l7KFQ;q ZzR]sHv yW=[,VRCtRɁO։L[CvvU?4)}@lұGuIteӔNxY!ACk $U-v8enmd-ʰ:8Z\=֚|;Z!/x8k1{e3V1.x 5:sdQtq|wu _@L\Mgs;U/ITNuzZ?K4Ma|'%_̸v vawzŋ4QTkc0 .氣OBf]y ^Uk*R̞JW o"=%4j)~&k C-J?ʰ=~HhYj%rE5yA/|mO m23uiψ$u:f۪ǻ *P4Az t.^[md tMA(&ugBPX'b߾n6)M IN{-9/S4vUxj^ն+*Zsz-1Zc]fif24ۈҟ;"{K1qhVנQQ+ wt]<;鐂7+oL_G=\SH"8o([rO9w2(RX^IW,x23.]>/ z&D_-ߝ)LiT) kұJU5$ŌǮcfQS#U@ JfG^Bxw7 [M3mlRt-/GPQeۺmuj]-qn87Qh Mr-Rr5> K_0eVݯ6uG,Qz]\ZumO Rkp_J ɨzY9n&V1xw UxoeNoFWtN˜Rj̳r$h2|r٠ّvWƢԾYriZK0 K3Z2J ZmK ^,a ӐP~-z̋Z&a|_-":'I~/m^1ė𿸗b. ιnQ qyTO:R6*꺸?D/6"E -@oJ8xтʶ婍>S_Eί8Djxie xpXO1-՚uK?SJֆ[=' ]tU)p/V!KݔR=NY'}gɟ F`L=8y1\;0UUEK1 a< \Y&m.vD3@L<>Slu;L(?g*'4 M irđ\M @ː^ v&WF څ1\Z4D_ѕj%Ix9i̛󠨘=5❛$0N餌dm%4bBp8:)zAN[fNG4<@e(a=- a:? 98@d6S-jW o%&21"3?wAR)μ/Hə~j /VW,rAy?N_tGqqwI "y+ 9m*;żI =Z] xyӡh@ePj/Ƶb^9tc$\YlUEr9afc$Q鰅Yѧ=Q1BzHB ʋk ʈh2UcV4fR2IW :=$'KkQ]̨"M%) ӑ߳5Lrd5WAf7ӵ>8Q R !iJHdE)56Sw|-وFPJdLj":đ&J&M}dI+y-\9 nÉ_5!y ]pxxJ?6`Dmp<Z۱MtTo&pGg2m "^87lp~1 C2i,jt< 0y҈Aѧ ݹUir軏ϝ4{=e>`9G[7x E}.P4h'9#PQWil>;?_~\_r@/ %a܏ˤ(Kjn&fV&vmywm o_ D" -WCSUe  Y{sSƷ0qrv)0S-a'-\d c9c:Vi!`Ɠ^Zj]y WMc|4D2$c#E[IrY ?a٣H}ǂ [g٦PqD"x;˙=04oy8{=pMJbP qeRMSR\,neʝgXuN| ȖHRoe #Kd$vT7  A7K=b]@G4=7xٵ%E {kJ(6n')o"[[kSʋcP/.dK80-8N*Ni@5Ǹy>OJJ79tŲTĎ1~mƂ>P=<*AגN1J2۩hMS\9FQ*+{м^^ȓYշt=eÔ-֝<):>Mq:şIg0q117Mu\TFyB( ӧz=oCY` ~e.yֲ3`w˳IBY*PaUy{/&eP=T-`59YTQ89p2Vu5+6zCsv癈 -ScG8q`q훿-R&Xٸrll!USRO~HEchSP&ӽ!B){3B" RQqG&yTƍy|S44. vB}IHZO|9MKLWyndĜXkH>yLP-ӑX)٠-߼Cj3ӅS<؝+|)$Xb#TXUdɾ4>;R/!/# XiLȹ}m|FV,|=o h>egz&`)jz ccҔvN^[ZxsL,_DH0K.Ťg#(Jg_ HӇ#=);ƶ333Օ ζOӴ h-o% Gy*ˇŭ-G6 gۉv JٱW![eY)' يes2#U֯É BLmx¦bZ|~ !QV`"Rc7fXxyW 1:Un[Q?UځK!%timзGǮu ]YRcV : $$07EhOKGSi~}~cUe'L C˶ͳe[ ~ ظ[j`1x4Sqj^j?Ba٤ ޘj{Jۨp}h{4g#|σDp*-u$(crEzd< pI. \1Jq91Rʓ'.v:$ba Y&.ea$f@q~ /GݱUݧoYP^~7mL[ ztmY3QrX]:lZ[$kVa(Xw.zi Nl, {/NV::b{6frMCyb60FՓ̮^GWAlpq'yI"7ip`3/ K>ațMԫu#e`BG(#Zq HoCp̨ilY0-= /g+D4&Ux0|-8]1$lg'w,9<]ۥ/hJe"1(w^_ rW#N#гD&`ػ,=HEQ՘O:&Ukƿсv0@-7a; ivjBBmX߽K6 NgbxG5IPP+O' *@}]D2q&̄-,&;H8eT<ݯYq"T9SkUaKLjk"2~E)L,5W*b,l`B^}JTriTDNy'$xK`]HY],&b?(`6`~tgC%๽L d`)@ ùRg: y+T\8O]FZoʺtSDׂ+KRf-Ҭ%caZ?鬎OR9xjLfƓY)ӃQ{1JZ9WtMzDu_`K&4^37E @IŖZKέZ?Q(joD{F4 +aq}547*>]y5Js\ &ČBqT 6 `UT@"Gfo^J9,D/HdɅ0uA=V rDI眽EZ擒l;M70ӝP>: s}s=S-)SD*|B[sx}, (%f58xi,rɂTVbYbHJKхct|L<{ WKrM-fKDrP\Tзg_翁dñIj4Ǚn<2XMBYcUSJx'.(bb5]HnnQl?I1$).x:gUō}lm!Z6! pSY4, .u=1B%Ӽݎ%%}Xawȵ@eF1ԬIՁwC]^ENQ *& ;u|QER}QE۰ Ku nʧ88s@beTE\QeqMTtaqF n&=7$(ןFo#:kyۿcD1l==ku;8n87^w?o04dU:V YW3.W7.8KQ[9Ljd+G]JbL[ݸT5g[JձRf '.xyRX:7o)1d#&[ _u ~zj#~F.z.AE+zt0 2Wd/ ~'oѳʞk+}bϖj"4laza2p  +*sa֎>qPwg!pF|Y p1WTүr~ԮGKh&4J {Kz (P .He3ބxW.Y4ӏZ-w ]_t{d.Of!M E\G ?dZ"piϜCAp]^R=pj<1 z̉:w71.PnkI's<@ >}S@h.$p?xvD;>P0Cʐ_^J!!ѿJN1qhp%WV&nOd,gy2n恍 شs·4y. 6H7*⧼"Ŀ/ R_y/,V)=y3kW1V9)2ڻL}f#>H+`4>ʨ(> ][G!)f3@9v&]dr5_`8~ZZ=^+ס(vc}#yBȯ^b@^;:e ĢqkH$mpjr %yJ 9{I"r.A_5%6~2d N[e0^>,_= D rl}p`F>i^Jlr]&,{!ZU~'1F;OpsKQù2B|E-58 Fwπ2ܦ 8z:a{!ԮBOP+ {ι1L`8r@U$]PV/adN2#R'SH0W,f̖%oBV2~A<0-B4z&͛T9$S Dx"QRYK^JT̩ؽ$3p>]Svue.Sŕ|9eQ!k>,XhMȍ4Vi+#t0Vjl J\${+hj_̴puc{r>@1ņp5/_RRl_PSۺ'aM= 4lϞ퀅@Ht%۴pw[Mĕym h)HFRRIjw> V|6GOEbE֓oPō. w2I2ϥwчmXd kl |!'d0m$\ќq(BQS IBAH^CvYLҊ7}jZUȓ E|jpMk]QW HWMz˂TsQ&tNzscN˂9,lg-P0F]@וЊFGsV %4RZI%f'\LU'Yr:&\7пI7 7d}xZ>Mp5q$NԕvS,?%dy}H/ʳxUEy+,Z9dzoM*yp^Z 'G(Wō|K|5PM xvh'&6K?U^vxw|R|e*IC݀ (Xxľ YqB}1*8ws6)݆ðo|X+ۇޡu"uQarZ%-ƃWG]+خ?we!xe*,̄ ,t—R̵1?w)v?`FQ|Aj=KQډͅP}Et8ظ Jgr2=829 -&ṟb HQbKe#@xȰ{ ۔wQA.]&T9~{`v) @OI?|qq1cuE孇H)Ki}E(JkIj5))G},)c2HD~ŧ@}(eCtwYm9Mx xgcDZ/ߗ=|/;9s=W,JՐSi9W ~cRK}3[ ĕ{1HEAzb?Āg35( Oӆ%$(S{-8Ę$ к 2Rdw9TOwо ' U8?h_rmVsI:Zגsm"=@s)O30N|Q$^Q(%Ne9GӋ]9?šB^8 X'- 熸(,eMU֍] pGI!\V9ҨZ}ޢ7U ҆hb˩CLG .M7F~M\[ESDnIq zboQ_$BB$e^ dT"4ڤ?0Ҿ!ߧ@Sm{`gֶ*CDfS(ZkY\y-{RaIX&h?_:$.{Տt4/lLO"nk "Q-LH`U< o{\rʃ@&>$gXT((,7&czח<Ѽ&ɮ;wvvHMH͹VY\31lec[&ty*IA%D]g(s53!?ekhH ւ,% {jvb{Y~ĕZ@;>Pe /FnWM Asgؠl}& jZh,gaޞ86 OkiewEXQQ%Ќ(3'pao1%dk" %{Z?QadG.}+jq )FeG Qgp KKg=JYѲzNlŭ!!)ctU$+f_ {k-)Ҧig.A^ /dlQSOy\6Wϱ,A6/wGOYJ{U&Ff] :Qdgk#5 LC+%lc<&$/{WE4UmRrDpr$mNeaS >ZŸ1,Yc^ MȌ|hQawͤ@@Q mk*:qQ4scq{ ; ה]. =Ms8]J-`pJk![\W=w77m M"͓;(͖o;ABS;<81BߐAv$)vOEM_DTHA{ѧg&9w|1ٚBLg#`K"^{L[}yF2{#9S ՘]W!Jl>q'=h!6I*r)Qs‡"u\*i`6.C(_rK3BuP@s!e+좻K욲m|3m : 湕Գ_&j&7OCL3lYCr%TVBԌtԦߢIWH-y^.Q.1ؐ3|ZnU{JX@.3{D3nphDž91:'ϢLƅO_x9rK'?:Al0ZЂID׎MI\TPceȍ6 :,lr\`qR(-;c[;}e|@jle󃄑9*lH B28."Li|+G\!.bP|51N-%` yVh&~DSzR=S6ZBރ1~K㉊|OP _){fQ͝އ帩kT PD.3_j00H Aaj0\" { Qr0 X܀M4&JhhXt^4 o\*@rpHP[0_<`AS|ݵj&0mRuDmfyvO8k0,T1ԖG]2*G=Bq3:NG`(QPqgKKYh8d<+Y˧9&J5ZC+M~ʍ(jطj+uPQ=!N޶r=vx&kRhg Dc@S׋-gN " $ҡ'/ 7.6mՈ $. J`;`Ѵ`.|}qbhDNQUuHIa{oz6@"pydjCq]@y 6GWÑ W;)%iу&ښ!iib_2'dѥmzJcVI3Gnk;'L1 FeF|dSA ؋p^j93 L[o?; @B[9HN>o1IQ=lj||\VO Q]}%]19Fњy Zp\S 4nzI;x4-`V !{yVDOdWUoBI*Ud HZ*}1WdmFRx%A& =($BÜU\\Ck3(u:)`hm*O3oNTD|tT izpTz!`A·?s\N 8Vh%Uxa5Gz9\:[kS?šSHD2G0yn!JpYlIQ<R#E<ƶ`Sffӏ]#{i>oʬe6[5&:o† j-|$OJBRUeQ*#ZC-/@]g[ɂyrR"h֠O-]w.Zn2^~e '>NՊ;hk*RCĜ@ŸDлZN–"7L+}Y׹1_ۀ yMjtk8Ԧ}5cO8ɍvQMgaiȄ}8t}$zǛ(0R[QC=rR~Ob i jKl{-Z[*{#=NGLYB"-H,\)ד9>9\O 34I[#b3ܳ+.@HL*0 blg`#ݨPd|VܔbNP2_&o>>ω6E y U4ReSqEZS،4 n~~{&mxVn{@Htӿ|@QHZ #(8ڊB;YZcYUw uS%f>2 Sn{BtN%aq"Q_uj|ڰ; |kLB[U>q ß ʾLc> 8]69&+6ӷd)!'r}} |yGYSjWfJ xlmXZ\4 ԒNwM*E jF'Ȋwn\~~.>]?̆)*NuiJ;e$ԔDA%.Zю-+fP4<J{_2N ǩ"42/LIR'(޶ Bp4-(u!_ C=$9hRrXwJ+8@^\bIɛ~q$v |50w>G󔤀׻K&OPvC:wЉc)Z$KB oA'G,|B)tz6IkxYyTzN1Y#9)˨U'L٘0k+7wz flѯ-Ltron]dkE㡐H&ɵhJ1Z7BBkZm[s(Tզ~+_XD.Xz}Kz74lfj!l!1-L @ƛI\L<"DNYյQEl+?t/c/ѫf7#e ƿ%C矠@BJA-#)kd 2 &P2XE{aVf^{À? JHJyuUW1+n&*7i)YƟ:Y^q-81$O祹u4[蜙D1;4,h6z訾1C`A!h2) 3M.\Ϭhզ;UT;^>BZPz?NGvs i4=K^/*c*7UK9nMnH.39ڸ4qqJ Swm4Vnߤ0ӱ; i|ﻉur$Xi (%)e+3!m"8w?KyJ5J,.(__쿿` iRsI3ƽ  /L;yZ":% T.@ٹyWIvJ~` "%}W&jDy2XkUMFrg~|H{Ȍ_[}C8u(3UrS\XMvVBfGyu*ʾW:tT{4d6JFUsOs\Oi`t[BGtbU=UOgB;ԃ_I?tL5Yܤc1 KCULj|^>!UKW嗦ҡKR AU:US>YKSv21ѰY\6)_Kt:.yD<&⥣$n6ob!=*6V̅:KwV!y.]L(,kS| qm ;zEq𫮯K@;\҆ZI|qgwHSX8ȡYR˔=܆ O o*`w/Nt 7.p'nU@oM`P8HJuշ}#f#J TYsNbBނ8.$j[Q(#q5 ݫ1(/P8!ußTA@yn!s)d?*Iܼ=JeC1.h~憘UBa?6ӥ8:!Upkkۨ}?쩇!fD2ӻ&&Ŏ4&b}}_*[S7 /S^&.GKſ%8(*Hʐd@ºuE!; 8WxR+v-"gQWH-0R$R:oyp2NONVkY(-U7DP75oeyxDD,, ?s455&}N0(u9Yb#xymMZ酤2Sn>iՖmyrtq,۫sN)"߫CxAb(>fZ&g3+;0`G `Qޙ/f!6EFYJ+/4sQVot;B\!E҄(u[ '1t@P@ԨE^Mϐq=уp};([`ٽTDYr_%w`φQ񁙊PԯUrW715|wBt ,:$͐p 5{{>!Z+3a"H+12C|t <2>_FAO2%-+3M@VVăK82΂ۮtDGjy0@ ?Xid@7!@ɣBrYJ) bcsaZν Iv#_6P~6gOhWs\R/װj/5;DOzL 1[i Lzr$̫h|sWe1<` 4c8m#ds8t.7~:'(RPQur{=r[H*]s;S ? Lÿ T(]('ixEQd SSx:^Vn3ޝC#`gn%w~Pox' .{L^ Lvf"% (#X5* #xrzpWixd91j*eFDͣnXYá:ˀ?n,Dx.kh-@ ~G EC[+p42ޅp;ܼ^H"1;(s r5y 1ү}3j&6hԥ@|AD+EK ibTQl۞9y`ΰր5aٰS[$X0tWyȣ)ڝHt U /5 =e0o"qy:֎;Oޓ`)C\'g͍:+Ytl&r]Uxi^}1M ϸ*_gB!B+"x2( T+jZH)G {8ZK$x "uk!<5Ỻ ڕ8GR7ݱD\| + 3a#[Iy.{33>>2S(A*tAPzjg$mp<; X+]y;O[JŽ d$k +3hٝx"۞ knI&whOlWM]nT(ӰB }^?Ŭ2 -bqrق*w:UE/tiB Ёd竲BB J<3ޗܳHhuRlN0UY%JjK$f&^F{5 ?y%*/(P蜨t["!1(!@FU荅K7xDaH!ۢd]_coI*a*Hc.:] '֎_sNA<'߇+vak4 /v\MɓzGG/$%}V7=EJ_}fU="w'Mw+?e•(,)=>Bar4hg>m\se @o?$@+;\FQ˹NƧkV | aH\!p 3=޿ٖk5'4TG*?&i ѻ ;PIKv/wj0:Uh<ה^zc Jt-EN" ҆V>a>YTz&.憮w_f^)"I>iuӁxp< O։h_lu>DevNrpCxݓv6eJF.b rt<DHb=FapǍ3a#4QRƨuEOCf7sJ27eAƁqIM,0x4soT` ЎN].+ɺ`l nuP6Nl %eN&.z}+\E#a(}.2abY.fI'Q/уj;wHrVjJSc1c$ۿe~,? )}ɭ;QF&dpL=nsv_/`{]Ւf$ J8}>guv+al4b ~ҟŮLIdt'MzpWpq:z ,ĻH̡9a-7"X Bjkdlx &ZiΪ)*Q"nXK:_!1zB[%]YQN8BYuPe*?xGl)SSs3U \Ҕ,$\0S OOnOz~##cޘTNΤҝ< M?5<KwG901|hlWXgoԨRZjTSI~*OEtɖWEDI}%P; -! 4]Ԭ gNl͎טHĺJX̆mQ+00ՃpfN6@*1wg}(+wLϸFm& ǣxw @xsՓsjEvzeႦ6,C+. B`)R1vT{+剧ؚgoͳ0LN/َ1Wz '0, )(CI3XEF_s#8g|"w/|:yAaP =7Fp9C]R7c(4~&MLcn|$C{Jud/!^/&~bzC, } j_5ҊZ*pGsl"j{O;OjsXݐ sf'.ڵA "Hsj,>x!_çf񅆞{xq8Eqk8*ݒ3 Ȁ50?vut1T}Xɨ9jY'Kr51ٞYQP7@/ `tc!zGCư5(e?!S֏l[PŲ >NHYy|@ơj I#cW../n懋 )]@'bg֠@Ph2e|QNAB0ښr]0 *Js(^u^=OfH4gl^D1.֫av#S-9ff%22E#++-[NƗ6nIƵW D.)'6es̳3X?q:T<v!oŇH3V?bd߂vIx/&='[Ql򯎴2yd\׬s&bu]MP9w@}Vdli\iLWz-=5%8}TRP3).Tq1%3< SNM+C`&Yzٹ[t cFIWC$'u@'u{~Gl LE_!0gYs>J%u0x>rԫIr+""gAyWٲ9/?zp 2*8GSH42X¬I_FG샛n@k1fH76hK95/?E9 uM Hs9$2!4􄿲i :VPbI%-e]d@Vey5rJcY\"WY[@;+pjkNVz~Gjh(gk>(27a>$!ơswR~V2u7] {P'Π*F'е cK1%̖nd xi_ Cr.VL r|;]!O*{r<&-%XE5vh5:oxWS뾲m"_5 н[k|+I|yQ3D?g:t(ʒi$2 nь^1Cbzi%UMbҳ"j\G4%PNu_nh1²S|? )']«)uM5_bKCBOuk"Vr^~*]<#b9;$.$YY/Gq4P{l[s*0|9.vROZ8ў]PG\bi'3F"g/9|ym}y WxnUfK Hn%>@h=iȧX:E&'a1"iܗλ+`T]E~o0P1V|<&oPM,8I<f2F,>rHM9:J\:(r{͙/Iz,/ľ3 0é7[CA@ROBPpqURVx. 7Uj>򈺰4RN7yCc|_LG*UEvU58`ЌÆqץX6*|y)HQ Ƭc8xҨ`|37?qevL|r\C~- .$Qpl0;)H,;3&FryzIqkީgiyP@(-yO&b2YV8yMڊv}|z{03xԮDԳk,4 TBKD˄#guT0,Bu4HBcՆ*;c5s@slB"/c)ݵm A|+ez_簱ab l!)>YPQ2?P헟R8T)Hw㪝&0ya iCc'Wdi3.[k6}|EJ&o:bKF>C1/9J@:)&q<<7H/%[,"y:L~ <@=GpN] -(k}9^Tsq+3:gA|QP93L+_GH{D}HvP~T_"!k!!3*Y;/+ c}/s0QQZKYbi :yrL08IJG!n?Q*l+ r++͟&'ԸJwHբqgm@ I( OIXʍ#8ԽyqNoBW6IY,H$mk)jtrSHUVX hjM̪j7hd$J HSi7-b P5\"d}! ydxqΩNzv|1o50 9EȓW  :{R ؇H%HAvx̸ާPVuuBdj(ѱ{)$'Fc8e\Ͳ `ŴXcDC|t֌7~[Lr8f.іk#iJ̈́vz7ĒW4B>MΎ)A@PV~yS#>66Ä,26)ib נ'&`l@0##Z $?"quʴj ǒwFP7SCHMucv"&GMRbčXcu\,Jދyc2qy+5qwz>r^*}se/Hm9kL=VHzz?dJxnA#X"Lj_,qU z:JR: erxLy|aB1fks^땃>m)l&%  i˶ H>5BD ˚U}2:Q~`H,Џ(=a]ӏ7NLưr^yw Y `yTBEn`I!d+Fsm.L!=j>}Y^'e(eէC|x҈E\!JOXPrezCI0~pA^@ lS+6w+׀椅V^BDV\ꢏ;ru+a%`wIJXl_N'VVܪYtq:4(d-;ELiUb PM aIlKV*mAzg4>-CaN'8@~,'?#2<.ӄYy/S?6- j7dZtBJn&{=*M݌z>L]es{`gC}s$ QL}\FdW~"Q)wbA"Xs  @mʌ{h/1l LBԦu6QPM[Uiu(` nzmQ%ؙǤ^ ^T506$YOY/{6pI*iĽQ+Z&,rBw2xbo?ߥMd ,?tn9k䍭G JjXrذ{zWop/ѬNyo ,j§ggP4b*vZ6y{0c>Li6PfƸW{<u?!& ٣b(H;ybMˊ T DJvmƓEx#[8u^Ҁ4%1l&?h --)dd/w*9J~d35Pn{Jsy%~,L@4Xnn*2R'; +Dd\lU^!̫ul._"=p*Ҍ=XOq'1%ht YGSJjMr j_l3@2i6 *yFP{wv6YAT IP)y.4n-xDcıCy!pP,DV ~έZu @ƯǓgoTX˖~RZ) ;r;OOll/oY4ljPz2H.A]D49'<í˻u_of mS> ӚL{i+ŏ{&l|844]N JH)ѾOY>ԃctvs[)<`dgvφ,abI5r1r8}]kdxյ/_7o3"u/ьZZW?Wy6E:C*bpv[K+~l:Դ>;r+>b3Jpqz}o8?G;kvO=Jw Aƨ|0yl d ~YF7(XymF9~2ķs|w!r3撹VcAC7;֟"Ir׏oy8r-S}!i1QIy? Q¶.?U<;3? y&}xwi$C5a11^:!3{KY`f4_,8ڬN_f(#ηWn' zc&W山zab`It^9FӭTpsp׍,']AdT"e D2m6(n7o /Tibog+ɲ)o6.mπ,FwSN}w1YL$KXyW?,Pq4v<@cLl.0j ׯVgF=9iQO״!o9 FfF,yGs\pNɌO'v07򺎁[kZ;UUm VD]6;6_(sS1cVQ>I-ՑL_gXwfsW3pR={Z"+/oL#Jɏ) *sZϲfzx ^݀ШbՖnȾQZF.[jTnNAfQ3G#*E T~6GJ Z]>鑦[,[ MD orVieA:Zyxf]?7ρOСq ğ%O>d' c`,;.ſfu jo%~lØbP|qPV|E"9=&*oĺ4?^ȯ}-DE:`O:j3sMKȸr)=bN #\ZO@.V"e!SZ,I}Ckvc Ԏy+ShәR]=9 LHc見cR>]k߬  Q/Xo 5n>ь 9!^遇 oכ$*cˠsttsP0zå>b@ bκpu [`[`׀isUZN޿\\7q8|=ݹZon2RFaCm0tU+y9HrY)i[bnIZ"e~zAobydF.@W @ ɎVD$MpL0NTu X͖z}AY*Ҵ5XX  SywN vx(eKDZrq7]qv$uWz0ߦ= 1 :,F^:΢z;jp#̼d".ѽ/CY5o J._K.p  _ 377a!|c{,R?iuNj]utZ0)4tUR dA/|EzC{'B`n]C-oh ͡n$U&'lT]1VӕrLqs++"Kfpk"z J*rvSE[O[0d+[]G}}s><%@,KHh\aoH7 MB!:&m+sw0F.$g2e4\ΰ鳣!dpU骎Ⱊ58Y)>'ۆC=P60<@eΚ=iyp^t5LӘs%tdFj6%VŋX#4?("y۴Jͭ`&_,_ɓ0Pb-2 qCeT:y3(ę(dZA~#=wgр !tk>m%g-mbfWA$X'TkJH8-b2Y@^PR߼^q$u},r Z;tKeQT-_>HХjHA5cy]/**I%ϥ-M,O1B'd›Y+NsQХ; {G{C伳姧XPݣ?Yt bR̅ݘ<襈˞_D+ qv[FU߯>t9\J eXm c")VU׀F!*S*wv$]LF(Аq*oq24/Osռx6tӔ?CNI25mTNa s}E:=5ĭ9v· }Va!:.nZ.ߦ24") ]poM5dN%xXtixT mY`R}_|^4j֟I@}6; 1#34Hy+5-n{~PxUBPTʟ bpo[FIz^JKmX,\س ],wC1i Nh! ĈVA^&TdFDO^F-اK6KReFL#.LccG&WNɹT<;n:Es ֩97vsmNvxbʜ}}h@R-Y~"8[o#S4Oɬ'5k' !(x9SvxSf]Sb[MBu({Г$`='uhQ!n{7I}Gsv W490e{`J#jìSqsnmu-h4 OBNquU dN;e95q9 t)> W`Xd5B)ӷmK^?1b:-^d2zWN,H|yЌ,,?B=eR#\A`LLxqT\ ZX zRN9 d<ӹL6`5ր^thyM@>z^R)x %}LEPAvhbNN'E$NyD5muiJꟘ9/h>P-] Ex-9s2m^sێcIB.xg+kq$5 NKi;עjww+"r ?7y I';R pC9PigW{f_? 8fQW˗y~#XL(ԭHW!eѡ׳md!_*8Mi}wp U 6{=pD \ltat_>LW9t+PtZOs?^ƈ)DXW' `XIJ 2KsP8i@K'7:7"hT?!gYZ7zXZִF! ]ŗXi%L&$Jq-bķSmb/ug P'Ӱo[7Yh"䢩'aO/pΚH&껪 "%%ڱ>1Bm~~bIQ:'xqw s~֒S҄QWZ}^Vdu<%DY6TvpסX%QI؃``3ZE4T..d⹭EA*ˍuX:?I* <⩻z𢡄GH#qb rkrt+=^*z KUjQ=:쵼~l1(4 J\Wꥤ:I<)pьۯ]@ _{v- و/&1~aфpqґ6 6{c_P|9zǗ6WK90.'w4lQRg]vbąR,8yZsBrP > Q@z 8T3Iݪu?d,7<$o$`$g_kPh'(Ǜ^OXh\~+lS6oAvaeA{fDGSJCGA*%s`q}sK>ސ*9;[z 64I^-#D3ؔ۵՚brEq0 UWz/ˤIM>gaPX;=鮋.8Ar>6}6MDk1w2^zӳo?qsB's3"!P\+lQԵ6#/Oݢ]ت`R1Cu짹@S7}}@,-KDHhp^|6" [eD{3,KPJKwQ`xC0{WR4g^΁,/֧z,hu=EZlHUHw'hWwE,e$nnv3/g iGo"GeY]&3Ҧ})my~)ܰ=pKI+-@_`[ӡ-z-p's 1 7徹Q8*& OI`C 9U'N7taq~t'q9eC{jKv> cBtc>+>fr0hIbk9tte^UU 8 َQ*1k:Z)]7s~/I DV| ٩Ltn5\']xcAVGCմmO1N1"0<3ϋ )#(cr-X_.)#YmŠD8'Ep'fR_4s͋ðFavum0f ;q£N?A66VlV]/gP(Me -)nVXi&(i,7U?\rX:rg[ y'|&RJ+Hf_49գ#E8={U^:Qe vRpgH6MQ̤ES}E(j):[5悲J7=CV[>檷l/΁BkO'!Kfp)6g]4γ}(9~ '/`sM7<8 !ЂaOľ=쑎'$ #NX5 QX҆6%;yZ!@-mn{X&U]|[7KP X8O΍YmL7ߨe*,g8ՙ4yO@0 Qn_wJi^CN6a9/#M PY*@SrPaAhXD:=.L*aK e|a#}j u JU\Ar\#7 RQtQ&QQ^XX ޸uC,<@tuΜ!cs?<&LZ.̖l ?r#S  Z+ X߾%i*-w)%:,6pO7G7_=^/AmKQB9V7~N_rKBC |4+ydGa,hc[Q]<(VF"oƛ{[oPdTqOdde\L;Fmص7-Pߑei.//gEޏnUgYZ98bf8efc4f28136317366bb6a0e6f584177e1ea79aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535