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 L%DT ]/]HOL-Analysis:threads=6elapsed=320.732cpu=1654.620gc=87.296factor=5.167zXZִF! P]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D)guY*\ Nrb:{lx>עp ˼PXV2N'R̤ֆ!1ڊVJ? EP|!XMZ4ʿpO6Gl"rGRfڒ8%끩^5?bN yZy﯒AW-<~tOx]D\-jbq8Dp.u]{!< liif 7"7yX7QXHJgV lr>|G^1tYKKg4Fy wTcK yodTyrKۛ^1S& h7c ;0=ڀw^.t"m*L>ZOLe0+,r9ҁ߉ˣ=%*.JBf/H=L H"a~ֳd-^gl[pv/mY|=a8'32sg67θ&OX5&/Yc:,*CQ@@)mPVl">u\P@y?5C}gQ]x0U~\&+yכŤ  X(c5 6)L[ck;]uu1싾vVVdL@­.@f8Dq6CH-$4FȞ1M%lL*aYD' 0i~;stA><Ѧ[?2d7xha`ogh ̷ؖ\+WP ^b 99X}cBզnfS GsAMg0Tq|+qGZi39ޭ+*N s@zPU+!e&][E¤U['BxQR|Ff`CѬ CTvj_c^萉k:#*, J ggtz:-'^h(Ez˄KKL-þŴaC*6u3̧?L׾}/%MHML|=[Scc!4poȿ q$[)%t TfQO$GGepQf4X^Q,{i)f3cT(@ق4 smV L#dSԉF| dV˩ d?c)0l=#$2mRX%P.픑;xs(-zDm"3'DJ0= hShY|rWK蔧%bx$ ceg785wGv?Lbĺ5"0B[|g+4CiL+rʴ6Ztu OlbP=W|nֲpDpţgvL'LɮI6.o]m!, ׳E0·*Cm!`Z/ED'/j3KIl]>ɔkE.y9Cd䗹jtG~UԮ408tn3 U L"ODŽ)ǓAÀ_NT#2`K€~p:g CltonbӃ~\JM]CC3#~f!8s{+^wc,l΁ul]oS`҇'oCPeUn7 % HOL-Analysis  qS. mI0S J^Q,;]`A6Ƭ8 T,1 uy;#zzA16t/xhy$ӑlF3\i|̱$fEcDop'`sNex0oMlptfArSh6m$o8Gξ"Q:7G=*nh+W¬'b?G؃IK*vϓ5Yh!2<̊50]Eɒ5hsUd؇FW=4V"ݰ*NniL6kAB7Eb*^/;~'#NYF\EKܱEfV!*q 2uQK(GzsO}ppAV<4Η]pf)" ۜ8wCO$#0$WyxY %aq υB@7/fmeHf-Sjn/pgƬtgE/:cm96TS,@̂! Q*jM%C8]p2+Ӗ|&@6HoпRa5nKLƧJU{ÝkLPϙD%Ct&W4߈%_,A#%Zh2Eh4 a:8}w'G:LҺ@9"r^Ym )ǻnX)$X5 Nz/-7XZo.ʹ.AhuO, G,0ʚ}ؓ9jI^4䤼l÷6ל1S,ÛӅcvQYNoJX%bUe3+xr+Nq1X".H\ ~ yDnj;r=ɃeKR@ݗu΄\hc+V>;O>0TnxiEP8D{"X j>䜕\ q+  Z4kPުO:>tCG)CGJ*#C='(Oetz|\7hKޞW5kn'RhE54 9OGgSPu+yFݦ_@RtARp-x'* əw ؛hUJEU} ;Q\bM)u3~YXv-߷}0FSKAW;.捆H9be~M\-|MlYgM5R=պI)\&aJo\HƼ?/)e'?]OFq6DǢyz̅|Z$ QeN~cpitM^{g*r'M\:kWe%,Pi_hQPy9-fa[1{sfC ڗ{ h,/}v Q5^#(s$[4q3vYvT: Y`Etq2gK[B7c$OŞs ʪv3**ouLSp k/%|YX{Ba'}9g.%v;"1|¡CJLRG*v6Su(4E"\7u8fUKe\7π/aEPuIe|сJ|;d5G 7<1/X.e5} b2!ewl%4]O_B9p _kK GW="!>a7qB&ͭ zs 4թ;OՐ@4 e:y)+tb/ e6?z%@r DIvMlyK`l#+$Yvƌkmʫ~ w*oo}2HE,{Wn`" ݹK7vdE>Al9S@12_;;(|zG;)j kzΈg $>iVAFG}Ic!'?EtG-3v,Gӈ͖? Q7WwmQ[~0e4:Gm׌@ya5>=MV߰4c;.~.fP09a;Щ˴2gdio'24(.bWkvLwaɞ9 Om@c雼SSiZkJ6*25v܀d 89Bn`o QyD clk0RW BV?dśvH)=k˄90Xf.s.$vgON.:'L_P,f_/z_J@!I[{ƒL*R#J R1>Htfep++!.S撿yȹ33]Ph s#|f>- r+Gy+/A0^E9(jK,_} 2lɩ.H܄<2ELHfV|7+9ܳ %M¿™oCaҙKk-)l _gWƍ]H-J Kp_$YL/`# oPDY>$U?h~]=Y?9_~C <8{K%weE,T1IzWӳ=wihhϦ˾I$\xMK`މOӷao%;Nv.3XJ H0hq<&|(|EP2w| ^Jk} $iH4v@&MlS_LrLkfdzAO:sy8 j_/iՅ- ݲھ0sQk[=S_~< )@ݽhB9 ɓ/@Cr%ixݫ!F)Q46벮c]1@G=VjF=F3oZpefec/5*U33(9Ro*cp]xBwѵXvKV*/xS֗csXD~Jw`hNGNoe@)䈻\@uo&r1;bx@N~+zyVJ%ec5aO[06d)E=ƋS'ry_z#YЉ%V}['P3e{8!}wbJ`ji;mQ @ݒY}-@@,WK },cY G_r"zbzr[:mA`w^F`gMK Kb4 3Z^~D<;] |{lDa{3{pYd|H̓s,Ż,&;U`+=F"ŕQRY ,I+AK*GaV34N<¶2[V[Jz͆xʶZpZNvq5 {nXhҔs,g)S M#@BzFB75;,reX?`MiM$K]!TL` xc|C˙ IvRXd@E,sϞ\yPUa; SxIN;&X$vs=W+Br|qf=F8R? Q!+?`R8QRm#WLة W>FL 5@mgue&_Ⱥװlo5 L .f V~f +(;2_?쁂KSTքCɚ#l=a 2`Ӳ 4g6HmT@_T ,]SHt*%j|tKQmhnc+Uo3s`;`q`84D0B&)3Y:3:  JNjw𴕅Ss,\iLAMou7cwjEKD0dxQE&b3PJ35o M<yguL6>{{]i)QRweO^E|e"Ms ɒ9lzt?.H6 jc F|\"KZsnH1E" K=Lb$[G%\QG%~Hy0BtX'E:%-!31j b:kd~mө2 Po- &* NdJu=/]/be%~2i'sTbGP8[9CѮ@q X#]`y/ "Ԥ<^~yƇb ;:dq#W*VVW/??2&騀u?9wmH:@4F3+% \uMȟ%G 5Q73!8ZI{ OϚ&o+YսLXA|%7Eo!sjx aýpݴ _i?2tS ʵ? Y][&.?p~0ԥēCl M"[L v]Udg%cĘ鼠caa{zAtuS-KZMN<1eUlA3X 좙ZCL)7|4|Ӧl׃6^;'2Na* Z`LY8f`z>۞[ 1"a>yn(:f7g cGOܒ!a~CëKD9EKg$% 67QS<d3Ӹi% ,(tIUm :~ Q5$B{$OsTwzLl= 5D1&yy-s\".'Yf)`K8{M-{CZR:b8M J)m$A<ʗM:Ux{\jx(J[26'x,/d}HO9㧶ᥪ{u!.)gʣR@- ,M 7r$Xt36EnB4[j(fazfe s^:N(.`Q#NgK  BꍴZtWg+(IE/Q*IL*T``X+b`Ox(&W:q560{1Lc ,3Eq y;܎( Rfa!ҋ 6^O絖aku@83ͪZ ([vB7zO)!xGF {WGHtӣ7@I$խ;;crޭx#C@(x݊S&D;>׎.*aHizQa|Жc_*CN)=j%mX5Ct*?aGSȧ44ԹfJ#:wqߔ(!t%ͧ7DZb",A`V"iXX{"@#Dahg?oeAu8dz@"ֽA > 0wDFFY]bX` Ft]yo$v KM$|B__K$a(Y-!qTC(]*$)f:l!]!l4`N=~g7(Tkb zV?wpL§f{^q#x//1md'Cc_rk^X2sF(zd3aʻߌ1Dm{2`Q!rrFTgofOBstX\WZHgzhWwn` =Un,G+TzXwp i!m'8FUc6eTsa;y>$q1#xA&\jVDX'M/y`6;V2w4i 4oCqsfTv́J~)@#_[\6qBO"`J@_/d_3O" NLKbhhtEd⊇܆i] q-*|R T[ށ]eQ1g_U s}De4PdП-}|"(KCttj, wkd_FߛOa[4  1 K.ToͶHԹ-XbiotӇ4UUyi},m9%jr ;_-՝z=$\s]Ub!UUK<ij& _|3V͋3:Γ@ [Z+v!R<)^`>Z<# <.jxӯMRXLKt[əQhkE͡qGj"ly*3бsbݷ%x*V/V ,Ҹ":Lc7#198y&}h0ƿ'#j,~gțFQ2ױ x<w;VԴ Jh!Ns D\M,7f(%k>wMH󿣶]ˇ>)rf]!哏6c$$qY8߱dRs[vR> >j8",ű a7O_Jǂ`Xjt-} B'& fGQK\4QI-}.c8 JF4_Ur{YѥӸX D Bɋ.172}`CGVlj+Ij|/}u?5V@|)%xuI#~r+=K9p<%֭k;|cC_n&} s;8˂2%\X&;GyU1WӶ0>=!O67M6 f6fh?G 1 Mɜ 1FOL-REy]i*q _:1“ذ&aR}hvhdprgƪҙogPqN8:i?ń's*aN$:]Ņ )! T,0P[gwFH[!HyNnc p,kye+F% YT@;&ioOf) ι)RJQ{uOaB݈5nEFaz6|q? ˃S>vIhC﹩'y+]`8RK >V<qI@"p 6Du\oѼvɜ'*v> ]Cy SvVB۴?F{y=^ /&q`#]G:ہ!5s+Ohk@F']+!rP*Uyt^d"6y9@+M !{pi#iT0+'P@<]ڈ,˜.I7K~uh@nj`FyL“#RN:1).>sS,~ z$uS* ב1!Bg+ֻFZ|wA.8>[{MxJ~{iG'KխS Z*GQf>8FGLZgu*)=ސ'* UbV!X*h!ϵ +0~쩑4&E&q.-JX%LF[F j,*"-L1P7ߪh/:RI߯ߣ^z[Ǿvq'k/q7Z>( D7;We6@ al~KDԌ}T*m?g>WeʂchNS*r}gtD\'M usROYQ@,\niW;Z,J/C J^dCQyҞdIF½@FJ16@sKAݘ{ET,e GVVAve]bC?aVlꨔ5@B ̞&@G68O3-3.Z%-֎EJZ,rnI#nZ`s̪ba 7/([ɾIN), YV~T7=}4K7\hVN)FN'P~@ 1:Dӓ@c@3r& {"<P>2pS)ӨOB/=4I'ō^mz"`sNF+qUEb@򁋗O'u}-m>3W{>u78{Mdۯ5XoklVP`mGU?ꖵ,.ҹGN2e %[1hR*}Wrys׮CP -Z43tџ`yrTh@˚%W!-FQ?%1s*[Y S)L0}{ֆ;&U|5(BՏ,!m ?OB$Ȧt"ASL[eLQfEPhsy?*gӜ&ׁislhy Q1j ít4˧xR3#\ 2)~}7ywAO_jCyN^x!73x.WA4A 5;}.2 ZNT* @/ e(t+Hy&u=i@F&W?e J̲- _)!5$mȄAuq朚](^&dN4}ϩ-FsEȰ"O)n>tCn[V1erL@섏m`^mt!fO-8> i[ꍩմ`34N8}E[{]qg K(> e꧵?%&F.Дz`mP+_-P'U2S=PTJb_Q ָ_.9J{WݚZ kwTЙaY*8Ľ۠40:V+r(vB0m#a (fʱ 5a7Oc-5|>k]Gr wZ uy?u XTI>qb~-sx)[Yku;Tv1]cg8 C&%/lb̉ʚe"bvR}/E$'rKZMçA0_@Z.!m{%[Y==iܜ^=񶚬b[= ,ʿblwZ.PGn?$,vj" uNfREgjQb nZm4s|)r;JV P+(2rha6W1Njgw;1n$Z{Zp5#Ǐ'lQERi 膈cQU D+9B> 4r5 h<ܛNhLZ2K]M_2 ;S[mpt#DI-.. np|]@!pkoyǬqP\~$9lTC $]Tq'.g󈗧ߴC>b /L0m#P!X5AiAEs}boJ#8M>RD3-,k}Ė1ObAC ̅@Hٞwx~U Zhx,:ί)R{SuT`j̨,$r0: lI:c2wִM^G>tGR9ӠiZ+J-ՏCM,!kKUVSqQEpXgX,WaG.hHdxzur$xI]qbcjw?GX^S&tqh,3ȡ}`}yu:w.vdTxa5q.|S-nQcam\XóM{kZ2/L"Xeh -*&\Ur8tp I>"i6u$rkΠay| A#.9Qʖޭ ,bϦ`c&(>``mXMvxWhq%f* nGP,.gd4 Y̻\٘% Dx3#ՒQtMzqtv] |(믃=YotP[֦ ?rU?QS|0[>H'x_Z((ݙޤĶHɗwxx{"$kDԇ|E}gE03ǸMI[gӊb{lNJ8dP?*6kbYJHQ1 jw2 OZS,\ÑEԮXS<^o.}* v+nLZr@*A;A9I*kWrqfqKB (NS#'56U^X L^)kʓ]M1Hex49?/=8s<5˸1IF <}M ]2eˢU̩3 $D 焍Ph^]pωNM< IY?'GYgu̯[ #e/poLaɼel)sQ ? ߅wmʏʕ s.``}ޭ`p{72*'{")u&^J@" 89ϭ NH=+^*R}rnGwOϓ8ZaȿYA"nA@3#;_"7.US~UA <=xxFYSˤupGNYD sŐF v-@ȧG[Ahڇi3iJݶ)L/ L`hsN\}g^"3^pwϻi_([A-]k^*㛄TJv E}灙VQKvA-mR4X+됤}" pc@hLe`ŅP-9bl9楼{iL}R:M+7+9 R5B,\,6VvT8 =f1e jQ/&? LQ8H(oѬjX-(j$[ROQzɚd9D-?{~ [.33" _:NDf<03ՠD?'./-zPXES3ҹ*aDNdCbAj#M*?jv+ d:r6~ˤPbӦhPxf7Y,-3ԌK`CGSV "-uX*Z5@ojmE#oumzց#Z˴`CiGssKJsqxo|p>U,X3*O)C 4߃y[ /%T/Eaʸ wߗCSqQAUԅw܍n=-[#0f[q! ZN Jd" Ozǟ,VoK;` 7/X+Uy+ֶq?Ll?gL:OB#6폝lXM J<|%mU.PRk;V˾KADusOqlL?i"OJ3ғ ]s[ _9L5}<'z]I /_=zpaVt7EsѲgJpV4ěs xe)D4THb-d4<+/vm-6'Sv)b˩i`)#NbC;<{tŒbX4d-K2?2|/Fc A[U.ZjW::#t u#IPǟ:p2W]Y[q@DCtnr"cfc*sPD~QG/~f[X2Y~}K>]QNtϱn$:/Ρ.Di=~: kJ9 ca ˚gȯNy%;TzN+TEGp&tkDE? gןXh #^IIGPTmt ȏ vg dE(I81hr}qWb'm WCiޥ1Lv9qw@&՗@aPwtm^ҚrEZK !fO/J}^ClXŶ>f+PF$Z+DN,$hN`;X9Gݨ,/U_=<>%xs& m(:h2:&:(S# lf^/`x[jys.CYuY%]^15ÓoqɮuW' Q[hPF]U2& e4]n5|F!j) xDNMJd|-| rscd쑧v@f)oqhȳ "T0$~sA^8ӋArHU($y"G H,hm3~H]Qf.UHe_xo!xdSV@tR`x\~~JS)& R%.lƫ $re!eE:Sl2?3~9x>\ptk6^u?ӡ3mBKil$dp v2Y#I#2m"3][^i Z+40xv`ytpr-װPLaG aKEw>Lۭ>5=ϑQJWV]+ Bȷ/^ ֆT9 f'~e`ˆdm94Rٳ%H4 0]bG_VoU5FN?'gڝ;m2nj?w:.;#hfX9B!|6i]T@?ο=.k!yA%E} V 9;i6(cz`_:3B#4y( q-ʫ1ggYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ba''hR+5+0Y"*z=HݴZIO] w[i?0nt"-y|10:. rLesd/Aァr<ۘl @Q%sXR P{©!^9"! lovv gT&[&7J!Y&T~%&lIzWEh(5\XC5kYPn~4v_v*ȍ1$? MAv+Ocl>F78z!cފw+k$əOCg2D8说+anrz~0'4߈Ϥ<6`Cst( GQ4 W"X Ra@ey,J1іDseKV~nvF:^Oy D BĭI%bԍ_ A: ":taGM3+}}H>Ur\ %m܅Zd9d]NR}F䶛Dz-s3?HwYhh\L5nIʃ'lg ,YgwK,JHGHuJĕb[$yJd{;g! A4K/ʺ-#. 8z@uYnɀSkɌ܅m1x%֌=FdE=]c྅-8utXE 0v3Dߌ^`?Ԏ0phSYxOl z(mTvrK ;.y 9P*eՎPpqre+[r1 ÏyٰBe,-)(LRK\KSx'D"6p͖쿔Ƌ.R{.,b" '(1k6! q %pk߭z̐YZWJ+ b_?v#k,!H,#Q'#dBAVXCtcnj f57E< t>nFݰROg=##>Z2Y銌5܈`~-nٳ~;"0TZ!)=&THhUn 9}+nl m;36`Vz|gOsDv4Z5#_ipXe`̶˲ͮsB3$(-ℝjW/?aT|ӤPMٓ 7-rMՂt5큨oU}d/-h/Y΋4NH6ٟHHUI bFUq(5F0 !(jTgm&GF=VM7Yo..B uغ.OQF]iz7Sq4p{TVO\)Mz]M&%Ocȕ618nJ(t/i ;H`ާuTpVA"1(I m8G\S8']d8MV~rZg!W9%S]MNm}AnE`_֝ gg/~oܶaW&v1L|OQ;]C*˪]F naqP۽b,%ӄ~Sc<- '@Eu/X;,XI䥬H@JveÊ~4F%EWBX;Wm ߒfr:~8u6( o*IA§pIM,c젺{9BjH(!n2iQ 4 \GPխO ߺ\%K98ha}OO* 6V{VNr}eD6O%o{͋Bz3,Y,{0zsd\yAI)rO`1,n ̴EC$%Y`,d9u|$i C6›e cY~B6t̿`~EOP gYZ7zXZִF! ]n"]ŗXi%JF̎WkRyfAϛOsWۑaN7_y"d_0p ݘk{怡)ʲ &[I jf%r-"^Kw-.$yNE- [:'a ͉dȻrU~&Gk7!A!lFw&>cB29 ^;mĽQi'ۛ]zf c*/W v9Q6j׌:o_{kD>S8l?tZ}f;zM,r VrdOe *,p!4޼`K^"8ñE]r~`HzI`Oڤ۔S̾2s3c]+w{O\ϯT>6Kۧ/ʚ5uiRUy^2&:s?VmM)Ro=(.| !|YĖY0]Aݭ l|han-/bQ@_vOVEqXއ$c_!!{W={X9)1%AV QjpVӱ5WK0m1g93fIoU_g鰠#S9?0EX-ڌe\ۖ-7d;*ڨ=kd!sÛGi'meD< +wkCIElH~:f.{'Fs)ҰH9>Xޢx)%Q )ln|`e^'5ʚ?D^&0-p:,3AR뇿=bG %"|1@(aZgf*`fl4Q!e~OEx4MGs'< tۺZ& H uS~*7tVbH,Xٞ05w+y|jϣWng2 "f!Kr4;'@#Y朩BvOۓn͹io\yhHC FϪcd@_ue*tv嗪/lnEf1bj#*c7,uj*3˵09GM%4οF'p^/9,F AHA SͺsIJrNfj nōu1>J'Kߧ^r1)1G)ФEZf'8NЦR__V\JÊ>=S!Ϊ`?\QQ{%K@,OMU #m64g4<~ q6_?$4Ǯs7Umu ~,fYδ\e%,,8cD{9Ȏz"bAFnMuĞ>R*Qb \i,b3x;]* y%V]bPv_.U4eY#:2_z@w?vKڅ| r-L/be/X3˲(1q؞-Ʊ'z=j1beŢM:L¥^ͫp:<,0Bdf]{rds*F;xTEAkgiqaRoڜVi|pWEk`@`x5%K񸚀&R X%QdOU]-ѨN!kη^E]'_Y!Ev,4 ˵.&W`"mɛ}'/7pKɃ(KٳV? nE p?|ѱ ([wCewt 4T1fFs{t)ca_ %⻝/a|t πΤTzy!/ʠ ikXmHZy|RJ Y2r+V咫uG@OǩCh :ّU g!(E #{Yj-ȩ?} ۨCU37۽Oo>dB^7f)ҁt`R\vO244 c㑒FtXDN9>0* "SA3"-fo+6 .mUY4›: *rz8Q|ڹܲ*,_}@cnj#hMLKK}Qq.ޕBbed^k9>IH6_NHI*(Ʌٿ6]̬vM3IYpkPM{#y{ MCUŞWzTͿEo!mJD-ŁaU&:}#+5YN5;Φ텚:c 4xZ0\Bz0^W(]Xҗ!ip?D{ظ5- !i1v_ rtѴ4z?s&[X]?/iЀu\U^᷊2ꫡ^B$`hk@itГ*DC'P9~ANxȢ@zrφ7a% Sq"c ?mB ߗ(\059K` @ =hLYa7Yw)  !6_)W ϳuęC0oW.oA}bUYw:/V a#ݡr҂>mq;#`߷_Ίv{e#z]A`yu9Է]-Ə:sHpW= Ԏк/;@v I·]^+)tax%ĄztP#ʑ.Ѳ1X_Ջ5Lr95ߊl TzwR‹Lr"`I6ޠޓ"x_UCzjiϬ팸*rJu^uLPع(\񫌣9LH%LJ_<5,vSư~q$Bok ӱ,YHl i5gIWCZaB [wlE&t/Q*j96 0ݕƭ4W4"I\ )(?gl+K=fYY;"~;]UM8vhLe= Ly6!d̈́vغ y'hsy\L{Z[ nZT(]~[ҜF -3uZ=ZJ5şl@ӤJBl31!i-_9#kGAFΧ@!|Ap bB=Wb:EQڇ<#>Qs{^;}a4 {s )K$"Qnj/?'5tYS1ǏrX*6V7^O(^T ctOt dpnQHeEbhVsW3$MEuQd骋H#'*p _/o[[ր,8R8.$cI;t=vp{}> _lSNR!/I U+BsVq&Eˇҡ/A:7vMsz?3?"m?@do7 燯NGlыZ'1<'OLeɝ_&.?RF$0wO9}}F$^%IcB ɩC1XqFt}:ǘԛEzڄ- gvR(8+3VMZX yI? ɋb)/o(זe--PE%(/a^ܴՁC>i[-`UߡP B򴼌>X-I\޹yA6pE0n'XF ^lĵQYm ,Xm%aе/Z'kQQk45t'oeS :T*̘& Gg^%/E "Pn*z ~nI>؞T*rpz6$ ^`b$%M4cttx{AR!r gI'7>m {wYy2׃ax]9 =P`q@yм8]gT'#PO;^3ՉBJF[;Qh4ݎU^a*W!Nhn#uDBVHC'|,.uyY{ W\ 0զA3-Tgd5J쨫w%8uZn586&~ƙj<ԍJXFhmDJ/]x.'mDB0I򑃻D.WZ^`Y ܰr9"-nE6_ZhѲ)`SUq{TivUs/Ǚdbn*EXLhA " /{v3 fqCK$/{cX_ )V143{5ΰeaXdUB Oqb`qCi'xө)9<Oq,%p0Yڄb#:wFkaӶ< xc76#F ==b2Ak5Z݌tgo|,< 9~:iw0n]Śs.[SSo"j;D )l,(vIL2J04qAq2; k_xhߑJx-xuk ].o9+%[Ii⣾̆qNpa6lQ*Q_2>Y𗿗a7Ta/31I 6_05kQ"ЭR?_-@l[cW6k3 ΗT噿v`pCZE?/t%lٖ@*qlm`<(=U:\ܳϗV/}@!(uj1O˜XB$69γb a(WRo6k'm`L!&c;sL;؍EfgIWϙ'U? 9'I̓3'U2.f Ve=}J>ǐf̀tWKsܕέU÷ûe?՘Je]3$!=j\J$HojG!P Aγ*k*rúm0;A >qO\ mr˩P$z#Ev+~i*d\ëK$pʙs .pp'ϩB(V'V]/tl9\wxfɍdJB 7Fð7!$ԿsXp_RM^<) Fq`=x$uZ5 N*Nׇ֝&pOɸVo7a d9VAHpUY}((Cm\20\P)SQ/$u(B/\0Ak+$ ެ۪kY0(^.-WJTԟHlX l%?,CsmAv>H $r)Ypq8k(H?b& _ 87>jKH53Xq^qz[ق}N*[ % >̍Qw@h1i?ي`d|FcJF}l5PJP V+$t?2uROWIqbX1OiGџKGGrZEdON359{(8> M b 2Ƈ*|bVsu[\ -TD̲IqX&-(B ld8+ #9Z0e}Z!4;!߅`2k @)_i^-L%-$P.*Sj"ڬg=Sc s_6.":sZRgt "&u__o}/gI$0x۽L?KXSdR_Agf|cJn|}ǔT ýhMf,dH>@- U>,0'>T[{n^&^~ #pҞ;bϲZ' +'5eȼut(}c>Yt.G9Z{~KJ{Jٝ-$ؠ fg8}׊ʪtWXf'?}- n")˻[P짹Ny\W:Ӭ&Ed);c}t234] 2FKZ6yZF ;W-{%\-Lᮌ-.Žiz$1Š8َ^A $:z]9Vp8`H"gL˃p:ݢHQjN&t7}Wi=WBKdAE%W BaҜ@6X|IN}KF!zy 3܍kg hX_b˔&ftye?-` R] 4G 1}s3Vſh_?Bxǃ3$_\۟.i*hmF&`׺F[3BL=70x,GCWP+nn{sYT—Ŏ4D૮.j0GƏ-9IM"W96_Հ;x~G Klmd 2k+Y_I;48و7{I@9.YR'_9 PN>QjlgAxdtP'V4`6aXdvНӭ(7ء_ǙoKIGUbʀ棴i^[HZ}{~|Yu` fT ]H4?Z׋B/ *#B5\ltZR ů&j67jP_ݾu $O 5Ć+2MOxJ,I$[?aWlƤiG\37_:ژPxEKj5#.4 xPc(Kܰ B' 0UE,>}GeX'(ό63չ*"{o渝ݒ" ;5'^͉8@ڱ'l栭VF̾?M:ٞlh~ܿ|Q_8ح;gO2\>5az_7%^(jI5&wض"\_3X4={@|jX5 tⰑn&{RuRY?N#Ƕn.SD7 'QJ.M+L0[p5Wqh7 KGn;֣J/0hqO iv͏ :l10KiFweXϹ'3~ܫCۣɜAmU;!` ZфM@<ւTEE aW'k!Ky(=UlOE ]ڏ-` 7^DUyzc?O>!)lw-fd@}2%ps,/IN/֤x;dUc/d\0 P&7l>< mESMqwD~IsC.U592OZ7GȊm/b/޹GmCfᐨ]O(gG{rk]y–n)l!/~W|U +"2oDm$OUI5Ur)tb9^qob|zBnV3m նIZ„!P3=}C?nWBS#*,ejiiL #054'uHLІi}qE/هtjO-noZh_ !4X d"C:RNbi|U`ϕ,{&qxe)֤%'[d]TT/2_Ф AyfфFy0ϻ@^v]0Bk4 Sefi隍ރo*ks Dz#܇WM;k']7GI+I52Dтv<(VȞ2ǃv6Rɦ|11j)cpK{~~A&A& .Z sg?_r];ުZwV2{S@fzɷ,C{}"0}W Ȧ=oٶ ^mF?\`mcCKjf*~#= Ϫ".փslO*0y5A퉊Pc,>l‹X#Dtq)a)} O/o'+2@1#E'ǡRK^Г˨~a7 Z`!0Sh-F!p|j7 0Z) L[.zenLoHC!J]2:|-S$u'~) )l{~GEz`k6s).-1HUkۮTˈL&pǑnym!ԑ 0df2iPoj \5uUwM; Ŋ <\bzOg餠).Rx:Z+N˘RS8oGڜXrW)0sקĽkիqƙdi+6sż&;L^N!ӢLt%&ޱa (]S蚳+3k 2U+!3Ϧ0e/m.ɞ?zk2:SPW?%!d$T_] q?M%:&)RAcnDuESE`JcT0 FRR ΃q~t&aʢ-sa`@SIU 9dWM%](5HvPp1|pVymniOZM>dCH)Jy4<7HLB̶Pċ/\þmy_MA}Psu,l/8|$ Cm~ EbܚzUhC4FOgL-ZK'>X},פ)hpEV.(%v_\׊ :~xO#*˽^EdI@vZ wn:>&ü9UJf)ȭTjY QfYUzŐYW *a_]~|x\ AOBoU>:: -?8䢩+S7Y36[@7F N,&yHlcz.sn[ijP' oQͮ'v M 7^"}on,ޔLh-4ĉWXSyude ^:M h1N1S^ IO\60gDekp!z©eK9q}UqXo0$֤+X)0AV݀vf]e0TJZ mŘūy;Cy&ydAk-?/&ڳE\f(Bh9^^>-LnӚBWL`!=$s֭sjn:HisKBuPL G-DޘH " ,h|4xn 7ZtzIXAC db:z"ꈦJun]/Մj0UI3\3_c D|г.0QzNH9!Oʵ`78 >u-Va ۡxHY09極D3HB- ؂F1iW/wW9%<:n*.SWeoaLiA̐!q \TTv$#;ưªoer!c2`+  2`TzXLL%)E0FChPAe>{wr{Qhn!Ʊn`wcm1uu}C!hlEŒٻa[gmo==ȯy58@FZ^J(D.Oo[gq]Iv^',.mfP3y`b;HlfLvPB7@ds+[:d}WQ]37.k;iF"&Y\;dK4G{ Gzz^f#qoFLsYsZ̿P +Ȟ; `\ k/mh_W^oE㤬[ݵxPW8dZ8: ~0֢Q+^xXj]drqucEGK]d`z4&ǝRhv`,,v%n+՗?v 2T&R̠,48:y&⑯}Ґ4 xXT Fc_dWJPD])dR ȁ]6㤃͞n;@{*ԭD!!u/#ϣob&vkç] b` Vo0+eۼtg4i+)X^":_~D:{*R'xK_ՂfaY8#Xig|9Ԍ DQzPqf Ͽ ʲrZ`Yt"\ŸMZjԽ[We)Lra/ 6 AQkPYz%ZˢcbE>-)Ӄi!O㎎!ZK$e)[/yv )SUիie)l4X Wp_ϙE}lLs,2B~,F5Oi Ft~Z2|@gs,Esǂgi5GF. 6ptiv30@T !%DMŹ6gea!eCЉ-y,j< d zqOO!HQ#ӳ':qIQsZ k 8 +l "|lv5&Ca!P|qVwJ5\ߓGQ.ƍ l>_0s^ֵOaI>6 wb;hX 6Z mK#UF t><1Ҳ{u[HD`L:Am'mu"&m"Zq,FЂȥ!la¹zjv?eO/׶*D>[?⁻!pmG0dەr3jx,y FgZjllvȍG``Q:Pw j} i]mn5ƢmRf'{@"x{=EAmnF}J#@cŽ|E_,]E8bi)3N` `&^|S"0#F W+@@7nz'L~.IYAD+i3ڂ,\ۀ Jp$?'%#a3"׆5v}/_ݶ@Y=E LJz.h+2)hV3{kU7f;LN h%yG)4}f}$ wzZ@ lȷՊ-[5EpsHxxw)ʨ qjІ?:+*[yK4 2iϨWوLw:|{Z`hA]+J_^i\?EǗ@6 "CZ 8U}y.H^"u͚~=r K9iۜ4ӊڅϣo])ϼ_^~+|y? 0[։[q= ?P+!(gdܡup^mr4e~FBK~2k)G8;ި{a8l-SLr={Ap3pLbOxDP=C/zȖ ԪsT:C( ˲sF5O]8xW~^XKRƮuV媚4|&{l2S@>F4UnZ&A"ѓYtDq9(v?C?jNdSEa1ƗN84QaJ6LFxI8r5{VO-$Bc=b4Gj6D.vJe-b ؙu;<]~l[nW#=&Bc,≞n] Bt&^4W Ы =RĠ4(4s a^ 4g$J>!ЩSTeI`}NV8ZZ*:]6GFoh TYJؚ-xĞ?@ӝ3u<hڠpJ*k0!KٱejAT@0=qQo 5*%ew$&m+, Ó$~}=sBDTxφtF{9O5(ySlL/sƷ#0yc h=YUyټ+[Hfb,ь\E1? #˨Q91- '|gW%vSy(%52;4~o:S3jMqy~é88FдrufPouF,/M!D>T'ٖs]lxR+-K fsff&9jiBNVFbhܙV 3&inW`ŧ%@YG5sx;쪞饵T0dy7rûg\6ZnP-#mZZGHOL$)H(r|M9? rxSsJS%Yov|O 6I0#8h圔G% +-Q5m 553s~YY!28 ۅdr Wg@6հܬYb{~5}1RB>| G[[-@t1 \yA ͤEjMt*wOS!=J<|.+%Z=^ Njemlq%xbw @} >>{…`W ;b̷?uXʡ@ݼ f56H6s۰a-`[(Ru{!Z -`\H06{A> k#R5O׍i̗j7):ԒCַ^KM7dgeɻv~q/0 :_x{˘sDճ]K$AIAnoTjLEV)$1ݵu>0Jϡl|"dP-+9j r>l&or_hctLIPK-,6$&[/V(+L!c{/Lʈ!Ͳcb(7t6!jC0 ]߬CL޷=Zڗ:6-E9﮴ަod9GҴ8iO@ۧ^bbxZ?!$D8 u^NZ+ è5 -SWŦ8"B({9vk+hS*|aU!2@}# Z|:e0Ȯoz-,[q*LE$J>(ΏgW˳3Al 4IcŬ+G>7l]{MK{5<,Knw]Q zi7D[h3})WYըw"ϑIQ4Q ;TWtZAn~2Y.Ч4fQ;avEu1]5 }r~rAR)!'S]j}U:A::h)կQPVa V;K}ϴe# &f[j '1f~HGۇD {3oe(cc5nF*|V@q6>ݝSߢ [^D\2߷bϠɲ}yapz2)`˞팋R(e<٦\֯cᦿp+m/"B5;/B$85oHބE7خTYI(c{Ica{wjGc7̵_^=U8pF ~*zǚSccS&j 品7N,j2?v Y9h &Ky/(y¬W5lrߐk~wv:T$6G@W1ޙ[!l'mB erQoW Hiҿ}aYRmE>[ߜuFWX>wA礷A\$<*xfaS(d"6Ku;Isޙ-Ӡw #ݤTY^3@HDζy,{@.B4+~E>}Y 8Vv8jtl3,P!&> \4z+\SѪMyAH{ܝh@YbKE!Fe\!غ@_ Fers< [4V|??k#t t ;)eK{]`h:$scFgɥ+o$";0t.zS.{s1io80^N+e6 gzzƈxjPˣ[<$z2SXdrYj~c(sJIs&H ʽWV ͊i4J0\Zn&;]v̩KqP-M> ]uSu_R0 al3ڤiP)EI%=@$8EM~[H3e/P1ﱆTVI_}O ٛBE2]"-H\>c4Rb5qrj{Tfv$l=+x#s}GM(DxXZ)UpVtlƸg9%]LT@Yj1X!,9%3;JeTPyi`(0PSNՙ_j zd!F+Ocwwi-u;ɂS :"QC76R @IH6or{ %uwQӑxEsNԓMmY7CPLqzکmz|+&T<K\2QjDm)ꟸ]d8d`SkV$4)^{*r3lrFArkISLHVYS!}oQ!lk,emNy^ 6$PQb ]١=4J{cZ?m3VOo(9x=<=a_ z@RISarҔ"YQ>B8j7[ِvmNzӡfa J[?tlK5_b8c"̤lчV7$ȔB:>ṇ'zѓM ~k\p^BMfJǯz<>vϪ5N+hAwwlN"v5l̐QGڹ=yNugav@qvBQ #{W2eex8M.WFվ2v3ڎo{^T ˎaJ>x6rWN= AB"g£v|q&4k&;x]Aކ[d!}DU_ݙ2p0vN$1k =q.U =*fN$ZVIb*9H:1`7=C>g/1a0LJ!޲366:D O[XD'mAmdd~Y G8!cSpɦb/֌l {tsU #a@zyVVꊁ\ xq1O,A0һi:rS2mԈ7*m gF-h$^*#-yAzv =GWWQ_HeyFunYdBPoZ}ġ,S!1x+ ǭRgOЏw8ZCQO?9)Q6;J`εj=AoRE&;靉N%y /Ac4 6î>Đ yg '&~&-;7䲘eQLXR~b1{o}GN ZZ>;`0e/ v32Qfx.t֖/{x'`O U!!#}}LD̾;g(Pc: Kjǩ8젨^%Pi!Yΐ kJ40W`W;*B`)d>(N|:KZJ@0:* xjD@b\/viۘ]SwP48ޕjKUI6PǾ/:\TX+Jku%YvMP@ckh T&Q-a9V( PyXEWΔ͞eGw,fD*SJ{l&" ᩒ1:kĿGin/տ;X}YWgn,oA Oe ={8EX*iG&Ixf@Oem Kht<z[y;{o#w,f69SKW)5XKDޮ\}@3Bic`e{\E+:':ɳDO1Nut4wF7uAl#5,8@ w-ZoS%[PT3Se|˾쏛• ,+RV!bUYld zA_n>YÓ*ApQfc6+&wRj@g9⾸\wJU?3?r\ D+2sM2lNX G]cn{?8VD}/+j)rF;t ,wU7 !Bp5&?LfV;J** @&tbYHw4C "gf8o -O>BA&4MD< d39@9vQr>؅)܄*gMEDᬸyг"[A zYi\\M(`Bn>$3@B5<2އJE4 a;_ˈk~&۠i}V,D}ҖQ~3|7B8+(Yq 4IDvXљWaVmBnfʔpn|/3F6M ET=(WY(XҘ|̥(C"4=d9UD`ft}iv:O&KcJ7.[֘jV4|@Uo^ApHc؉ a?FՌ*f戇*fjj`=ɗI%0#^-y{P+l3WT5CBv*'šg=^Gǧ{v7g|jEbyE{ķhr9_/yV0ُ$|sGIW8UCr{ %(~pu!RtQ'opnRUIH4;՟]KL"Jqߠ|*%o!q%9>]jzu:%E_/E Yre 4> t*:]0"O<(823RpᎉSL *z;[B'ѹ\LQ`mM[& WC?bڵ`nCWo MB\$6 ʑo(tja{x∶Ҟ>\i7b 1I?pcY􃖯 ɪ!;SI+(f .. bC(;A:V-T6~X C$CFO{@ӦX;JxΜ}|%TDߘ[B0+&$d2 t}^ ]ROe uԁz\ \O7\ LhQ Va1:TlI1c)y'4i|q0j=Q[E:LV$O]* >z~1);|LqRޤ⚤ꜧ#yJz@Y./w7.M 0&R4=grb,WfDt /4*p]H,/i{.{Ɲq[wXh^Ecqէ 7^˙댑˻@7:y %Ex>z$M'BFF> i27y{?K/? Q0qh8&qTUq"_/rҘ"׹)@qC,9^כ;km1lYasHTRG.(&/5bɜR{xMaaBk2$X*g:-ݗwznvd鎐v&)lQFZ/'֨'p~ yo%:XS7"jao__lI6& ?Sa"pZ1>v7]/^ۖ`cYA tݥ u Gb Dl^Y>@z!v6Odf|] D@q,T5BP[PVEB8l3k`fQ6NKp)hO1z5yW(I% D"aXGX1;<!8KΥ/pNlvhX JYm7%A{mgDn+bWs _ }($^E.AW 44tI*SxY9Eu7Ga=d~rf[|EvM+:L!ՓةD!B2 WB zve&mfׯ6x XgYZc6f965e33fe7e554ed8e46aab73151c66dfd68ef2a2f599f8fe1017721d9e40efacd8d8eed39fa72 591a7d7e316470654783cc2274389bf590fca9f6a3b5d2097e771a57b87d6a3625c51d9cf16cd564