SQLite format 3@ .0:  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  |%T, ]/]HOL-Analysis:threads=6elapsed=317.246cpu=1564.632gc=59.576factor=4.937zXZִF! iN]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/DLn))FMF~4BGΑɣbC6j=\ґݼ.-  ;e+Yg۱zwh~S/o7ѿ* z?icIz{z(,Q3@V "L)'7%!;s^F}Oz5*NkʅG]50{  j̴ڋ!qJFCL- UC 3A!AmzGPiCYRjAvӘx)du o9UELmoׂ/Y|ںF,cCsrX1`^1}x>N0;5Oơo-Ϸ1V/T"/;; ])Y 4x +I tse86߬]aEO3K7<J7F9cNJ$!۾HOR,+'[3})qEivX3I 1uF,>zɏUԥWaTk3ѢZkY1VmV*1%'3}q:(fϮ%_>a+%21Mb1&Mp3_rK9z@ Ed*0MLr)23|GM,sbfjHɍB\P/^iGee`ՓN\)^@Ż[4frhN#ȗa2|:N.Mĩhd>Iζ7>?#{E#ř% l܀jx̆f(Ҝl{F ي 2)MެU@mKݏ2C-|Vs*"݅xS)fa#URR$[cQ<>v?^i}˪XI)t:A Y!gV7Ą!%qnkJF i vG. 2KE '~,n^S}QMT{_EQU:/WAWU T@Pf#s2,Ц8Q'x9]~Y'zBS=2#:ҁ,¡&N~j;ο43%`gЙOpm ywArFvGvN3wiV"rdH2:ԳۦfIlzJp̓ `H?JQ|Y0Mw,>,Ƭ$ 3<#yj4qfHəs=/iRYG=k1v 7`RHPo&gk1L }rȲf~E(}8rgaE5#tޮuD*<⤂$J'bXs?`p@<\vIؕ(lX8gJ$f_TDz/C~d1Rʟ9 PYji|τnh^0@ZA]wmNjI L vdO bFnW9͟ +2U atz`e5 9<"oLe}xJKxw v\nNao\+=-&$1){Yz:A_4{ MiI*i?k:JT䱛 A;bttuXOɒNxH0ma 4n7)HۯE|KB1$Vg„}k E) M}2N͊rʕ I;.εW~tM]!"E*z;0~g}km8^xP]sVD3R(n?P,{s:ԋD4=9);Bq&`HY6mu Mtj5G+̿m̛^VMœW{k—aZĠ╮@0G+䪜Np7`(;N`FfXαP+޷o.Ǧ%9P\[iI ۇL & a5EVȑO|`d(GZf:(E!xX\k>jxO0L,;ƃϗܔd=erAo*>Gvx~}"o3B;D5\a(^YЏ"ɛ*B-n<~͢8o~1JEn/ʬgo^pzW:/"4/"XA$<۹:ae?-KJTshlS͗ylqBkdӽQ}&ĥ۹Gr6hs|s:9 9 C}|Q@ra-g6I]QGT2{KC9ڳIJĨК^2~H_m^;ӨXYѩ~d׸/g@ | R;݅܊飑D:+mǥkſ6>2gH?ߎEhd2LհC ?+hi+Ws>ة-{eM@Ji2m!\,H^ɏĘ&2iݟf4/kӼ::5/"oxY:ޭ ?t͞^z \$lJ "3G0(Dzso\-.Kt$4VVzmLN{oɿ_YĺCA|ӹo\Ҧ bSkX<}AOQc Edӷ cF׼⧬_$8Ir럊R4)VCֱa0`2ZQ@Fzr⮵j,HLʇedc!KeǤ 7 S~}Jdr!dYXg)ɼv<̓poÝRR'Ɉ٬caZlP$A Hl, n~@;b[|"z&-EOKl B3=g G8nSCE}8Ô@}y:Fy8BP8#5U,\} D*(ܺ[Pقqj6˶fB% 6)89,Uh ۣRN ufl0^lK l::41N .F ~2AAgjͼ%ƹ1o)ʁg1nbLƈ?MjJ&|jk n;׋3M4~_RjC'ly pE$Tے\#1:cO{^_`K+k/`Yj6ʐ: 6]f:*`Pmf*|V#FEnpb%3pdj9lt'[nE\j4>;)[[c(ZS=<-=[uQ( BsGͪR#a\_cH@WjWl9= Oe-1"耝 dkL<`b G|{tj 8'Š<Α^A"L`b8;doz Ud?O;Ƶ{\D.:0%_sYI`^iEw1?0?]ڄRHB๩cxIFbuXV~Y QX5AuC߽A$HFPe[&P@@s83PH'C@geѺYH\-aسiJƯ5=Q.+*@Ɠy~h{֨hxPXqPz>nDڠJ L[nDETRBR pSgc~L;"cqqBB ^F 8?zDUސ1s C0mŎ_?6H"*$P,Fda'yiiL/lJu8y%S E,ɰbx 7 Mh0Z\hyrBƓ/}szF$7z|a YT019T4ois[|V$4}R&Ս)kNPn׫eV⬬JI{E:;mk<@]"]`ަ޺1L)!;@b?^BeD 0[w>dqr!J p1  tLz9sq 8}hG @V`6),d4IΝլeسq/clEoK"apffSY۬!5-G¨G4TFk΂TdYcunڟ׀miZ_|œ0/OK67rңC>n4HUNz9*-*#\ T//%4PƝ0g &8a+إ W|g KLrr`vf"nK 87V:{-bHAy|.Y$-L`,D:@CT#Ȫ!v%pSBkj*Ik ޺nVڃ^8!SF<qr3n% ,_G&fn=6ID5DM -#B=LY Zl3Zu>~}TL%p Vs+0nP}V5-sT-^M Qew}5;|F%jwlY&j@C;"׏YXsy=zAe׬ho kj겹w>`.O DvF;]-ρ~e!; @Tt'ޱA_XfeU `feC\WZ@DP .SMY)EYzg7\5ᎴDG;6TE}]yL zLm#^?Fޅ'ttT+7,OH\q8 -qlcJ|U`AI|xxX,շ8?B*GIiԨIS GƸNhϘuDZcgJs|T6?hv03M`wtF$9,A\544yq! m{qG߃K7KPһۿ[ԑO諒@H_dt0Yac:!SEN&1 4AVC^;\#݃).ęRTD?|nw;oJ%ܢ& Gq a8~(_%$ :$yZ9Nem]Y80%sA>Il=K0yc ZjO5RDܐ_eo^[T iRY͡CGo8t &0UVs|vt冂xK8`yRbİ-dF{S*Emۨhy,߭+wɛ\B46JO4^z9Lyia.rd(BAѧ8{R\./z]FU<$bxO zdHGR.Mʹ{K!Ax|Z,B;_#]Oӌx9(JEvP^뎁>c@.xA]k縑xA1w$RUL޶۶aC^*m[t@Z|;:dzc6N-33<:YacA> Wq+d+zp=Jk5j*c'aDr$~p\Zjj T(P 9;KEڄˤ7]C^< . 0uIѡohiWOA@qŵx S[qYedzld= tsQ 2&&D+M,kU 9eC/[JA^e:L\ģbN n&OKvbhs[ɳ!a`}-W(wh&o sĘ`+Fnp6~>j(j̝Ge+\y:13=5΅ Ps Zh-ͣ iDΓq 5m vlسBW Z$S'S譀)2*gG:N&-ts2;FcF!S3R-ySE h%s0@{q<65r\b梅9 C)X|Su> "RMvZ B BڗP!JȽ3q֙`XQ@l:(nt*ʪzp5񸄓W:@,1W ;e'S[ۜ]Xh q1YDF,FzZGvbhXl /(ca2Cd- DN'~Dh` }4 Hm3 ,ImLRoRiyert.@τpWXgf P1f05uU`nL'1+ǣ!hZ%jCb+ZZWGpG.9|- sI aʫvm3vȈ^u+M! R.+Ne?f%b\.7@/\AY ?Y{z)y)"AjV& O{T^!u|I5۽`h"ݷ}7j ~P "sp{/ꭋXY$J,|*qO;;3Q|$OB小t%soLٺeB@[uB53aYW/;A}ȯ_k(ة1yCe4t/J_o9^37gfԋ~z7a4*e+W-SOo^ efDevUØSVF7aS2 -e8 s%FL2ɷȕt[]/cG~P/qCl5.<^)3T7~;(7-!2-S2~'ԧHmmaQ%;6TTs?יIz#$m dF| y䱨$Ϥ[:<*cz< _XLb̵|z;p3̦:eQYzcc ]dρy37wp#B;gDh4] xqAZaSY78d“VNQn}hb,Z#<1J0QmܢtI@έ^} s`X, Sa^bZm770tط&r`Q6"Ʉ ``rkF{#L1yE yt$Ȋytt%;7 TQ<R E)/Aİ R+B$.d֠YcnfZI`0L&,IκkF ʅHۡyOҜW(kb!2#UKhݠJ %8Lf4WeֈӸ`aESmܩxLӰB]YDeΧt[}jD@C)lt;INJ9ur}۱ cZG }ӛQա +Qkn83\fzG՟{FS( q?>ǰ'M[?S{ia" J!NyWݐy|SBwL)R %$0 {\]@K[0kus?3x`D&7cH9O m >Eﶩ!"37& JK&!VU/I{I>&u;0Ӈ_Ë/b_U[ڭpWMJ&zz@*q3S96n+Y mnv)eG\_>wF{i0kI5ʲhf> }N9o=lhe[_ =Sk,-6 |.^raNGDf鼠Ƶdfͩ$5?\TJ6T0zx j9^Eؕ=MmX>'GQ& (t> +2IG&6*YԯXr9S*m=![wurK>JMo[5٧ord0H6PQxJ!!JY(:xZH3+/__ \jx\قݜ䅛صէ;Sl!8`EF.ƾsń1;f~t5<*G~Ju lnK ) \5ߞhKײGfi?r3خ昰y*4IQ]@lA rbiXr|h+j^[Qh#Zx4=דd*O#t k,ԬWCɽDsNUցh6LK@0h3C.Q f˺Iw(|_RnCTEBXאjVY@.*2 9v,qpI+|X};'go#`U,fR)/djwQju5 uth3iNI[n ]kuZ}H)rMg 705YPZPkpO͑j^ӪH mViS]Ŗ+K޿]\_GN܀QpVy]+!8cȰCox<Ο5t^8ht5d˵\T7?!n'@B padɌ314(* X'yGVoZ *a]Rݾ:^JL:kV6frKj^r/В~9h>Pt6:˭ߎk [;v jBʽ*͒ק\ctRj=p'vD(YSFfV0s4 xԊg f7IUi1#E P bzF#0b$IZjuQ8&RJI Ҙ9AhkGѕYU&g9a,Vպ >]/9 H6*;]Nq{Sѭ|Խ,:;N +2n^ 3WꚊxyůNe7+O[R>Eh*ETOVP,SkG8G]ߣ`j Ft{RaB7Ae=KɐغFhtmg s"LeFİ~5+::+"~\i>O[Dj5 YNإɡdaKa#=2;kxi1ߺ@iH7@߽K6(k.Z8B?#m:`Sh;q07,+d7T-ท'=ol.}jZ"^ gATPݐuԠu%;0<ڟqP.n|L[Ů5Oei_\SBV3юWUWuM7~z/ x7PJªO_Ruxlc';9+?pS,$1`+*^/KZ7y1ED sFvIs:3S$0ssGh 5ɵ@vTLGHHH& 2XQxu'0}Qq0z$~^!Z¼^8/سngïccl-8DП#kުDz T7aaQtB.!:aCsh] :~"Xba/:)9f3܍✄,]&EƒJ>{_hmކ?<t8J_l V 37 :REJ<"BkC#6XP&7d xt&W{Pzy@GqTca+P\I̲1ɒX\MvCgG0BnSӋVPfp@+tyl܆Q{7[e Mfvg<_q|/jBE:sy$*4T\1g$"V66׍bN9mS/L,Q̩)Ѿ/T)@lJmjʥ4>rA.Af\T^g>zeoi2Y`F]Gaan̵w+.,qØR8I)9>'F͗PT߸L#E%sb'\,eO^_OMb!e5GQ&/ hB5u/rZ§&NƆ6C7/ղi+]anHmަLKF,C"D39;%5vJwo2O17)Zih=^cc8~.G^T''Raw%k$fֵ#cnQ(l k]  (nś{Zn f(R(2.?7#Dw0?%r#N,YH5.3x-dɊ|9GbɆdf` N+BlMIϽq,Û187І=_կx5w  L]&sN4sPTv)R^À3vm8ꏍ,sB*#^rJzo]v v_*@ kE;6zOc%WV?hG8^cW^[-EtP?& 2OSadbP-NZ6lFݩvˆ Jqfp><.z*x* goVk.J;fi ʶ/8Jn:K)6ꃋwx{ɊCX Pz"=vv G2ɭF(;`P F$[yg.Kmo\jBg%bc9?\ hgAYƘlaޠy|k\/8oEt8 C!kE<"HL oV&o7eK;~Y/y},T!PPfjמ!20Zq5W$ xEf!:X4)W&rVLW 9o)G5nM ~7u؎f KHQB a3@-;T0sדE%Tr5 B?uvnzI$ꇰ>X>v_$`;-&-_bv Ah*ĝƲPj.vS3=Lҥ%x^ʿ'ǒ=Quf8(34CFo##a@恗A5RbMAu!t2Dm%bčGCKl>'j1BC0҅kxFQnvygQlvfu}, j٥܎ ~ B$,l ^œ WPT6B2t67gYsfSoW?uQyeh  ߅<&A,HP:5i sHD]h,KuJw'qXOb׼:.# :C 9Sh'(u˗)^W)ʷ.v*ˊ'eJ$ѡs1SWQ . dO*0Qܒe iQ:_fۯ[]z|+(LܿF}{k^8b{14m^o%RT@b=2^AZ2sb;odf[p|y5>$XWe0X-4CѷS9T+3BZg _ LY(hɠy^_z!ӱ/AA&| @/d|;MS(frMn(?h ڞ$:J`5_4 >,_cqIpyV E\G-ΈwDW~#Fs,ᱱ%f |w)t _:nȂȋ~ Pk܆)pW8`*z/{ɬEQD]yW>r[簾mz|$ۧ+lMQұKf OzRg=SqN:ZqLcs6pZDbpB t6drgEV* KXT lʿlU +bDLс66 іfX!S?QB} M2/" $. ~97s"_rejks,/6{#|* ߳]5f6Xjv%v^& ؄V'ÒNr+ey>2~m̑),!C f슜ٜ=`K?Q72o.cg9;I$ԌdYfy?`4؇G%UmT4).;"O0!&(#71dI P lrkᱰ {(3upHnPAF~=BU~6bxC4uܠhN=,2Fa, nH>P:maL~Ӄ$f luI"AxfJK$f;T@-SQxj( CV8ZjtNꉒ1f n:M v]d$*5,o2lY= Mu;Xf,C(p$(a<23c `H~K^1[pьO 3UJ5a(!L݇e_ds{QÕw9 kX ;4Rg{$/=t y|zǢX<;x-!<囎lJJJ|%so8ܹҦIt!iԿkĒzotp鈦pTwDzUK[oǂeUu¯"g9}^ _ɬ +'!4i ~8`d$@ٻ:kp͚?ԆYR4_F^2Glz@omOrq3jCO uDO!Off )MlydAv8!mMY+<1@r½0nkהJ=ZrHb̩Sib't]pˁo&"`32W; |SG&k Gsݞo35-]I9{󴦇C_Wg<:6x@|v+W6=*IAa jh:e^'վ-'wvaaW=澅K,hGyIi#$]q}-X+;J<_vk) Mξ"Pe4(0i! U{~Nm:tM*aѥ7 =YJ}2,Ҵ=x&ˍ;}cĩ}M 0-8>*G{;w_B>4FnR&FZ '7zĕG<7V\KPaA՚=VUOXdSIj,Y EZEfY fdL}ݦ:PDQymxܸDGΤUWZ8? n;8?^DW\nK7bufp6RTY0$7qt7(翧Ajrk3vbdEg6^K3z#{AZSTa/v5`ޟEOI)Wt됺}kM`W3 o)v<|ۙo༒Fe H}ˀ5)u%KE%Ӹ<(WY1l}G^B\8k_D^9z"(5pA8Mtn-L T0O j Mg0 M=wBPuVnշz7z)"̖o!vP3#H}QKW2C he k~ULoGr6Cy nG!Γ6r1ݔ-ϘT?.>ڿ!i6mc(,b=9y[9vތ8dGN)`ұgYZ7zXZִF! lP]ŗXi%Bɜ!=,` u0T_JjäR6+_ ݼ0)Ӳ-mFI:!*ܨ! L)q*㧱Nץ9VÙy_.Q3-V1Q{KfhmvJ-R__>*{ͺzK-O2)كk n4:?$+z!VEEI5.K8^k -VCL"= 8sz_m !/DyRǗr!۾7r & Po:wSێ tK,&ҟf~V Sfß9Er[O@^ /)|o'ANL*jO{ewjPH9wn8@F(@w pY;A@ O]S$ }[ /QKTEp/#Szs%pTQ0zm_F'jtaf(?E$ߨ62Q)5OtYl?ȳ3 5&q9*z/@&(jW{'1S:eIyh 0| DGhq۹>(- 5gWR>2 N> Sq7G N@6;,UQG3Hlӑ:R3׉6np9a!JwV9$z_f7;EuuwzD/Hρ^$%+vY< 6R:?rܗ"h [L<*LE, W/)Ƃ4>1XIO]%Pv3*ƅnN>6E=[gRܤ7qv5F01ÿ)k %~47!݊A/=tLRQ e*fhfRδWTiŐ1vxUШomNTݝĝDޖTĔeT&)H:?!O =< āw!c;8stU_$a$4J֟o]: Jēf,2vqE<éƵqdP] Xf2yza$[C,DJԜ7׵Gmf3^Ņ?r:pfR8w>Wov.[f 6R.r'<1N~BD`` B4.+?9augq?t+KL7φR$kK70Vr/@> 0- ~ֽ0a@}Tu;;)]_s+5,&䌦"1 (z;=QsRRuDQ||rxDtl bo<2%/|1 %A 熀\o:ņ .w&(YJ#M"ֻNGRFLN^خO¡ o;~du# 35R|'$?W6UA}p4 95+ǯ/J`Q𠟥*3+5uBp \')z_ O,.^l*Aa䑔ޭhKNoOGSOGq +/9A[F[~;pk$bM"Dr͕e Z tHG}:l)a2(14b5RvDu l)}C=7ŒV%\Nh'Vp^Ul9f VC[tLRH-pX-w *:ґO?w!Z`>kf3HAl^w(C]GO.]pN>!A6(hH(|hUP҄6 W5Ͷ5o19X@difj~ ^.9U찵t!!÷)  ]◃Y@#+tVkt}0UoS)^=$bxL;w3vcnBU0ꦽd}+h S]u!MɼZͳHFUՎyts+K`̛룯fbܥ5? ` "3(SAzp孞s`(^Sz>d|$D¼.(nxD`!F͗x|t$LF K&/m?FDZڏ؎vs2/ߧQYgt>$c[_Gړ ɠV{àYsц9u1Tಏ,OMh"{t.icJWfvvNk٭IԪ Zʎ=rdu\۾ %P%"=84p[(MK9$ϼ0%i*.kZA)_m.9ZwG=PDsF>U8JC:9ѨdXӆ\Π2kpSJ\"nATaFoe<t;0(;u$!#alL%Iע_s"M-U}HG_ޓ\(5~ZqRM}v?rt857T~0remk  kŦ;%DWM1: >˭n2S 3DUΙDa4BYWTGG؆qÅGΓ0WjFTy CQ6W[2]a/8:\" fW͕*HR'-GsūjhIp#AfDBS4q])]IKd0pjB;"e,ٷx< ʃ'~풻Ø=~2<-3 S@BPq"/W1s;0zT]OJ$a4mx4.7Ko-D1wwb7+<fC~%.ve=吖ĆmFBn*IЫfsvl/O,إw֪i]]uZ0`o$%E1VnENa#wUrDc'fGXbIN0/S#QXgjt|KvsI$8O!cU:`VLcg>/酭7Z"w/Fe/϶ 8cOC9uPPrvaTTjW/$["Qin ^Ҕ*mGظ9JJFoɦq?«_s"f3&DC&}0 %b\-2+҃1_{sLY+ֲSCBEvTy1(wߥJ&M~nDCa~ۗ9}{٫{)2^3%NBŪ#o =R;F5wmlSIx~.o Ƥl\F [vH>Sh&߄C'+ РN;%S4Y=8NE@S8%#k?;l꺺2w\`b`5tqM8M 4^c!gHa`Kq-I)7xP4 yG*椯۠[E|. FXeo.qKŊeQmEzX:|s=lo?'{Clc2BsU(s\D(5[t.3N!ehfGIaU1t:.t' ~nv:go.g Mw1_1{Qpsi|Y FD͋w6[K\n Lp׮"k\10 FBp:VfGǘ!V^4yNEx̃C% ɳ3PWEFA GgG;U+<([K|1}.YeHLx5"'ˁOspX>K"kxF>ewmfVq͸.rI8~%3s_RJ(9<CMۨ^pVb3j[;3 zq ۉ˛`z7}}8ϕHlV,;7"ukvR:+\7  CBd5n {I M @j)v7l&|wcjD $8pM'&:?len%@s\t{Tw,,cm=V0_j3pY,܅C?N3mT )×Ggq/Gyo\ƹŝ>zbG5:"s,k'ָޡF.L_MH=-I(QMdO~/ᘛ)أ7gZfKBM7 !S=Cت4ɜz[q noi\p~%O wQft2P}s oG'}\LT9kP^syÂ~5 D AMYuL7 3*tݴ 0pT)ɖz`(~<[[B"̀!U6#nL:g.|ዸO)ۑzrދkm #MhJ6gc7ZqI4OBo5!cNLe鋘K0!Et^}k Vw_6hCx}z0@}éx܊"O/LA'f|8 %&:mW-ya#n9'ߕd&sR|Sbarnܷ!pC(!}2?H;,UXȄ˘}UOhɸ A&N$ 4#IȌޤ*3G}|jdK3 DN%#Fn gtȒAZPKQMDc#*GyX t {{6m`)iΟ<684*ZtnNa Jn8Z#fks9#3Xj?xAiqL!R<;]2ǣ-Q2N3qi" P^#6&z6ng5Ohֱ-'^5;TSD1UÎ7p2,]J%#CY]Y_VWT9e;` ~bWM-S,jN#̒i:M7>  (nDE" q䮾`̔t }HJ5>ȏV<{; TS`>65&|mس 2rQz7PgML`Ң9`(F֛"F`4oؠ?Y=1ʸ3Á1@5}5Msfe|~W2+aZFG{"M; ^{WHNpd'";ƾb9O986/t#4 A ȀzgBbӹ%y.aKCxpCNyqO}J: T0`$QCmT;^QfDdٵ2z{ bB#X!ʆkhR3x%`YO7| YTc3okp o!f+jdߕH+DN=zۥpG `CO)ٿ6Z맑[b d 9;m2@T6K 1zhy09Y/`tb<q ybpP[ӣ쀞 X ]&s~RTU"| 7#;\2/HiLN9Dy OKGPԘ)yq}KR(lI\ڥ!v"yإ201s-\gҐ%L<L}3+` #ﹰOp0`7lɛƊ+|1>rA C~mc7mȴE? %&MTjSkەpxX%\z8W^T'Ef kYZ8YGbũnZ4]zqX`haF o &;]*u,u &8ҪR}@ %ȎTCף߂Mȥx0< _efI|@s !]H >¤@w.kԳ0_pygriC귐bS75GUvG`DE%/wkv:下@E_\-ߴSZu`3.н ._ʍe5z6 3_ )6ѵi*XwΗxG` '-̱gXkeOÃUi3Mq>BҌ:h5MMa* ŕ#Q!XzPZYYJ"?6&? 2\2XQ//rC2+ 8, 뛢ۑaW߱P19lC 6QAiF-)@d+SB.ui7q3]'C¥{b/dmRcIǁR]uZU0N5* X)]vZ%<19:,qPPl}r*I ZF9`~fCa\\R$OpmIh\IW\>KQ0|^B'MiC fh[ref38ٚņ2=GS_MfKL⎤l0|Dp,erx8wݝE*;cz۩Wr,tm),8VMOl %',㈧äfV{lCgfV.曐IyB;X6Nyc?"wSpP^:񌣑n~A<}#ۉI݇0yGU٭mFw{{e7q+R;9$)R2k^'Kȿ:K!}ݍ@XxtXϻW$I1<# 0p9+XJo`r 5Y޺|0ʋ]C㘭i$Ob*PU*(=9 xՀqj;0Ӂw+Ԋbpƈ1OZȾanEH:6~{8r+GЛ{D¦s_5j xϋꍓL_#F$2bs$a,J9,tzw$v'+3$ i%^0Ӯ0#IVw-S6}5\ܙE"?; ƕ;֚{Y!0} F-ꧩI:p&c=;[kvi0oT@riDbj;;^<BuX(a-Y.^щ#ˇ~ڷ"tc_zs<ĕv%r|B'Qm6J|؏d2\5&2V\o-ɮuI)C&ia>-@G "|t\V|2vwO.z)0Ui]H"U1U|pGt\:pw)]GWbfpdGhV5ʘ:[/%CJ 27wSDB1bׄl q(;#JɰQW2\%|kQM gmn@EcY$E I ?D&yzOc2A]9|4 ҡ Ԗi.a|iҠi{.1{%Ew#{HYX'G4.ڣ.>]VfM"/s4= 3?A5p FxUT%fF*hhI x rGQn%Iztͳ|y2Gفˏ 匝(s`~)xyS)tiG,/Wל/p6mj >؛Ҫ)n,;B!`j~GVu /H61e%[U1@ Vq[~9-:n2tj,vA8af3|z}S3Ï:DdM{?I3zQ뱪K#`OxG=w4J&Ndtrsp7ɅYe%fhcq hɂq5g4zPSV% wYz:ӂZӰđ zۧ4*jJk&V2{f]w!8"m%!_xr;Lg6 | B>߃2qʁ \zFߏ\P@ezd;::\szc8dugq bz9Q.IiS'Ni7˧b/qUMny>1{8w| -|XAZ‰Zp4CWhWllQ^}RTg6?,D5 yOyU@uv8(R4Q=mo PVWp8i.вSun:opI*#_R;fOb~DvԔ)^Z {ah^kKYcqLb ,) 9c@M.x ,rE јS,hqBxհgPbu zO,u(mC7 `6DdWxdk(R_8T淥iz{$b`3)z3}M`JlSGdR })ZaF@"7~[#t΄^/mP3[+.et$Xu%.L'\zü \ԥ1'Dc?s&?Xp( ;Wef^4Fog'V1Ҭ9 īE)BЖ`i ˎtv,=[a鳶kp,?fwOm^(kS/yΌomxK :3(ƙ?DCJpcxjCn9zE,WMjU 9E>&a̓a i'P2HUПuZ+79z ވȪQQ|^*!Р|&ћ.J|v.d(Yp{piZm M5.b*#\Ko8b̽&ti'($,ř:Ll{~ EIvfJ?k\6ILY WBsJqaYco & @?xkkzHv`5dϒp0Y#({랏/ov_E4{J U A(uWSH+Q FYQAk-FbYH?F2)➑AJowgysHW]pH'Ԧg1GZIXg9|Kcd;~OP=PV^lczSfsj .25 %HK͋;жw&+S0Q"]fysJ3grkC )aę=knz ~A))KbNĖ}"7 uF S?ӆf왥)AG"Ch`tyuD ~VMExuht?~\^*ޒ8ߞm [{͊]."ʂ T6mNS熆["s6'}QQ@?vhS~ UߊP8x3Pćca^pFz  0Y?yjxozZrbd~F /~U5Y^.J̔Jiw~n,] Hanj {{k -XH#ޥ"v "؄+mz),{bCmseWYB .ĀFS#N`a&m|4Ac~@ĘU{f =7Y!J+$1{ \!hSS]zX`Z`z6t}bz/!2]u8XfLiNjӀ(N5 qJ0#ZK\^ 0p / =`_\jp-c W/O.Y&wSoH-R K#[Ľ ^:?nx6rБg`.wJ]AR3`Dtj᜚N-Q9YI!aó5#RxEpX8ae+ c-\QqpKp4pOAj;){V2@tklY=YN WA!E8l+KjUXH J!]_}: }pW O{wX6͐96 lV ӔɩV@?¯:6[GuV~(һao*\hDA`.K U'ީ x8V1hQy#UYׇ4 Xr?"ƼbR1\E~fAHDVQbD%k2+"4Ь\?/G6G< |oNN6y M宽,ʎHA`:.U#!B/v+[nWzItx(HX6kKnh9y;?IJd9n!"ހ%]#ăߠٲG'8:&/X/ EʄD9iԋŸ5Yq=GUc*vʧ5ެV]0F%{o0 {nZdO12.54SUhkkWI]k3kMl 9^mҼ>wH Kݒ3{wvJ%T+? -b`{JEQˎꢡ=ziw5`у 'ɗ$OKi~B@-[;V@C\bzWvv@ac|y/Rm`Rʍ1'{.E91mM\uO:3 S'8TT鹼ik1m iP- SL>66P;w\L=9}NC59%DdnhAL oiO@;ToS`WKԱ{]cg-SLMVC+d+8 sj}m۪ply昻P7ś<1g'ǧh ݦ7 զ&@5#)b`yŃgn>LàW\!*@#2:`\Qz8b qlʘz0rU!4XNC_r"}Z̟Y^L*_| :Z3a5q*Kc탁!s p!LSH^ΔЗ8Zu= HW &Ah" u⹋3XN Y!vgEEY%[=v}L-Sz'TQg`8vVI%B:?.Ovk@•Gp+6<{-ܧ2~UPQcoX_2*k'%i!K^_Ά}>RyO7A=m,Y]sG;Dn"gА-9I A{Y?MN+ҫ7@83fdv%h4V*e2#8H"p2fCI Ϸ']IWCOtJgnXPIg`Oѡm ][? ~It}ˆq[DuUS a98p4 ϼlJ(GUl,nIf*T pd,$ⅻy:[I/J{N6V!q,'խ}üTI,qAs4?J^ScN!%yJxbٸgip%ڎa? ph:|SH}Pv^lU>^k:?d>~ ) tv/ 38Jx [f:s-p}<`5a^ؒd1gxcprCJJklHp)wd˕8$~_p/`aDeجjC:FyZ-w3gfGi>(,%2. .OS"gZBCϽ_8]gUq:zMNh;b˩-8{yl;Y2loFhQǢvM }(mu/h>ihT#.)gZc߬1ꋓ<)(]㯱Gca?"T?8JdWDb0W_&!z,;2n8wcUIP^YH>ص$?~ O烡Ip8azQZ3l0+ڏiF{h5ӗ>-n`"]()Ju& ې^j%4n7Ű]e7CE|Y &Ź?J &<2Cvϔes{_7<Ȩ"1(eTUjL }c@ /W|FtdyO=jY%&'{+U)mpQL^|vXW/,,kV CqHMt(dmOQH_cT}n Z^:Z [N&eoJLna(UoA.=9Ek3K[ Ůx$=E˵"J*򛌓p-AžЫ>t$@t0Eϩw/%wR'v1TdЋD~%U _ڷ/) AS%()_ߐӟE|ICrpX}`q9 >.Z&yX\H%ŇcjQ;JNTE赼?|CvXT'b(6xw"0:"u{:+(N-UKՄ?D~Vw;p;CjfzX0\OM *Wc#y D Oח)Q&iтBywB{uo{ _@@7Qյ<=dz) Xi0}/ +EģԲG&ح`go^xfZ-$펙n/_8, 2W1VQRoD :c*N#}=E3aY"䜒)W^t+ d`a2IINM)< g],9̞[l+MaMwz+r h})L ".8fG=˴9Ou*C1v M$=V%-ݖ>'% *,m#_sCL.,alYyjTXhֳ 6u԰dbK*B S=g zV_ˍ):|պJ8SK!JH#l2PycC;>!_K$n؎I®S/ \(?K|ɸ xX^NFvh(?c7/E6A=qt7L^BAUJd}r }$ 63{F)@j1dM݂ =ªx:ӽ[sيl4 @m:@b产\Wkë{W,MWec2P7u 8h?Cq-&9M|[ Qu"D ZQ[6|z>CHIBR(43g|'cWWw<3 2AlQζ nhYdU=7眔+ XؑGFv<^Z_3ސ $Bj/#s_&R-BʬK@"ȨB9@7nCiGҿKqGyeb&H)qއ:5ՀcXr3MXrM)fGvIc`-!?W.!'X8 sfTP)ڣl~n;&uVM!o4f&1q=t\ "t 6fhkߎR#?ZK{k捠rQKhef[)cmQmC㾰S8+chmm>[mP%dvI5Dg'H>-}i!(ZZ83POh ~h%i @;h9u}rj2pEWhlpLvoV!5lzjECCQcRr_ {ϰ*j~9i*5]wd܁-V+Gz9PW"XMZI"Fֶh.̯[,}5m Fpӗ'rэ 7;t[}f!0Z..n 냛=r0&qń򑸩7?F/(aSvȀoH {bZʲM:`&&S-DΜK#C5:&6BРLer2h ,Q.崤7S«yM@L4\T6 in#^LJrZ>'l僚}M +LBI[-Dx7kWp%,k<[0JnZy&0k:N$H ܒS=6ͳ  wg2.!~ŝ~\]s v+\'M;2p#[ TWsPO=IY6gzajFr5`(:z/90cmw 0G S03nJ7F!nsٖd515hC\#ājwԟky3X)GM1~0zU1ĵ!g"͑L_`xdg `øJܯK't =LE:w  wlN?J7, N^wse7k-X))L@7c7 `&E$T _w`TJe`PO>fImXG(D2`̛R)2ROҙH53b(Z3o,];߬2֯K#ijLzy+J«tRZ E|JNcP4ll*39ׯGbLWd XR#p~ױ"<Δ=M^ ef)?f0w`7Î\냷tZ26#W ST2C Gq1"g%n&h72n[{/g RUeؤodaMVIilm  vn'xsj*6JjL!*rҒI $V_È Ošw <&<$DlYښ6nJw]-M_ӂpJ |tôDaΑ4ɸ4me.Px&r%!:~unH۝H&&z[eȵ01۔'WU+{D) W8ү,E$sĉ1ECm0eI9#d.֤BWBOz`䰯/ EP)a©7|a̛pќ<3?oRx_ޔ"^>:]~\1BVێIX9:2_"coxKP0uP_g Nn]y§oFgYZfafcea82cbd1a2c8c2d1b17860d94fc8abcd77c9a8cc758d6ab7fd0d9728cbbe893e534f8f965816 1af3aedcad71efe17b78663b69931936110aab93747040019bfe5870199e02c105ccedf37128115c