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 j5, ] LinearQuantifierElim:threads=4elapsed=43.188cpu=142.856gc=14.168factor=3.317zXZִF! 7~H]ŗXiɟH)0%o^hoWҥB`XTXFi1EBI ftQ0}+zS 4zRO[E*P*k@\ iBCʤK[VU}&p-q@>m#[$`uUeZ+?]eЖNVH0s8 D#I{1_3c /6̵4Ho~PwfWdϮgOƿ8rûjw-dMY?&OJ?=H݈pLj5?Z;~ ɫ93^oS7 LA'crae{CoczeI:sl!{˩~q *4FSFᾉ#~\Vjg!*҇hSR;@cLH[\'^" B.0!U@IHi VM,K#vlwMnX]OD1 fwDч|FQ`   tt>Qu&U*-4uc,?N>hҘ*%MIV;H-LB(~|=ӜҢ+/‡K r}8j>H;܋EeҨT5H^Fp)Q@!Jc÷zN:o܋n x{F3\"d.fZeB߂-DB`RW@eI^g\Ց=miNF ‘n|b''BsG/N6ǘJr +׎Fx%a֤db-ڨn,Ә#v/Eʠ1KF4k>"ѩ t@>2:`"YYt-eC{ xU;~&-̖6ȓRclFm#rh-uheKiwʉn cGb%G(eߙGN$.>$AD)$چåzJC8?" O^A[H%Iq%{HF+3dn bS*qpj~ɦ G KG'Va`MLh~C_rƗ=F'i'Gy }.|1!u+DP ЩE1& W e^O'<COS-f.c_ mmak;"Wip*X)xz9'G̿@,UtJ#8CL>TtG|k 53F$Yj1i%SCKc`9W @Wk!3C點 ]eH ZzW2HU4;5g|Wh "C,,/GMy~شe}˛A)R@zxGNG2cɶOAe2`w#\alU +fC}Nr煤qBTNu\T 8rt t,\$@\0B2 f 3U!B1oӹQb{a( Xf% 9BL Q!ePb-nDwa׃cwިr,~^#"CtZ7c޲.FxHb+0dkRsj|_9ݑÎx͕_V7Ew3f^v.2C\eljpru]0 4 tk2.{6YkKuҠ%[9ު[L.|'y,{clQRN(̢ <{и 429JE{;/ęҊ ` yUh|+:5.heqP]'C1oI4sv1}ɑ3n`]SG@BR;AM.P6> ow(Oc a/դӡ1R\g DŠ4ͥæDL1fP\ /C#Tw}50intDDm[Ւ)G?d)Ǭ0R(Pږ(rMu nONj/Q}"A($"l~ѷ_F8 mQLDc%*Ja /оsY[)C7B1*o3ePaqo1J8  !<'ޅbVu 1ˤ 3=L+H.Ә ҳ66I`##sP&zfu&g1Zīt 4Ib67"E2, ً厼(u5>?pS'eg 5ec5m:Snj&e}ER9"Qo%[s?ydSVׄz#g jkoBA Uo4<"trWW ?^|2QI++sXG@_j(mHBlΊ? g>|O`/'Zoh0S3a/7d8>sKy O6M*E -Vr6=.PgO98;iü;49;xR%)!!](,": +s8}ks8u&Lȿmٽ5&<߆4^OqOxsXQ3]Ñ j*Ήtb`6D֘yu F5>&pDvOPNW&Gꛓ{Yta:#:_fδ >G ߤ1`@h$WDoYPZH|0%J|P.+{i+k.7{P! niv!]6٣dge-aR Gv +m2ц}I␕-,5([dgbb2l)sj{!Ql^YT)קɄg 8 - ,+XX>E"ADʌx"sU;r׍7ښgWj,kZo*DҚLA]uG)Vu˰Tavnޤ#U<+07p3M S S5宴9<r4}Dmgu MDRXenms5 9Sy&XoýU',lI̠iij3uq"p. (q 1lء'?` dG-OI30y@T5<#{лИ(IpP):wJ ns&١R)4waeat1"IԳG6*~Xk'`hPƤLe^墠%Z1E^|cm3!{T+²#A< 35|1?,y;Y+NMaouhuwP¢5Zlʰ jDEJNtJ_5 Jv5(b}Y⋿%!szGB޺m9=dX,B=:F*@l%7g"&F?C S.![\=gJd!bs=JzWKх3ČDG.'\Th[;nC 0ÛY$-\MdN}^pǵ#7M oN)W~ZU1Dm{뼪HP(x'&^>-N(~XXq]Y#c!+j|e/!gĪX7^%x֏Oa`4wGdl|Cߕs錁Fi_2`P¨Y9kGXxdb&'E%5GgFؖ5SQS#l:t `YOA@DŨ^J+B͖cLu7#Ʋ$ŵ塚n+M,KreAZ  ^}KkK) 8})!Z_e_USᗝoqeȫMFW7Xf[m滗BήϮo6*sw5I g5wy7WńLF0AH|FJۓwM؞f"8fYm{T3[ZvJae*$$Yr@;"}^fy눅Fgds* G^8#2Z9R2=!{kJBs1 Mh~hb0 !D~ ı8n2@uMyvs#}l:-ahvmq*NŎmd|5_4ږ'L%m`p#?lAoՖUq2jwR 9,/mI;T-x*<bôCE0gl+׈_RH;DLƐ ԅRNWzd?Z$\3_vze%!ͫ')rj--0 gl)Fme -%щ1 $+%f}\?A ^X*4-mӊ/bH 00V6l#M(]j)r)\":#~ˮ%ɏ/cweqW!Pɤ; G Hu@4[)zr97V\};9DoO:QGyI%W}r\˅ jX Aя1$^FUvǦ {f#/cS%|Σ+av'v d'T?kB<.3@9lN[MoHFȲlĄh=J *nMqc͉թ3ퟅɁ(+,(Rhzҙ[/@SyTEZ-gk 8ո̣{(TEY *cg~;Vvja2P:u*JG5؉4ޏ$| vT!s4zu!d7-Jub5[sd\d$[h-uoCLr{n\y|52}`݈A{sT|y[ #%0gWٿ*BLS Ic,*;`b2?!Jv4>2ûUqvp-P{גZڅ L^B{= q&uYg'/Uװ3ĸ#AW]v~"jCax%9&8d-`.hw!k<[̀Ə!*@ MoR׊@o;u" MpG DcsCmv4+X~a5yи~dK5Cf$?db ?4H>>-ņ0j#`Yѭ?;IJ峵oRFGs0+dx%@$8*qV Z/%jz:`Xfػ"9UſQڙ`euuVs{?$vJ~~|6^2 誫;OlAmFFPFj)Julմn3~d.LeSG>Y^1j?֥@[ҨCވ6f壘c@+xac2 T!S{ƼԮ|Hs©&aY8&I,B[9R[PZ8_+n޻v^Y@xt_qABoqI™׃,;;`iXj-^Ik5 >Pe@%1ߧd ?`X\}%LB8E8&ƪ pkǍ| OJL*mgal^^_0!hL7je2HrȠmX+@l4w|D9/HIٰۡ$&dN/t䂅 fdn <7z2SS/=i m#:LS,Qҭb x2rE:wlOJ7rΎPZ q߻V~8*v~Eb6bHPbTϹIYWVq٩q k LZK,Os)޳}͇{Ӯ(6t }_ňҋe>dyS5HH{:ś(-)Z z7qF(d) 4ڴ6ʿ)Rf?q8ZEiـAOg1u-e_ħ ⓝF_ÙVXdEJd8]=X-kQNZtƟ_D9p^ *HӤ !a[F_r`F51τ];-~1|ǯv`ԽfSRM!e`DѮƂ A|0"ZyӜpi_jnM:6qceܯک,>lu~ ;FC6ؐpkaWmj;wGjw ec ȝ+ҵƗUç<-ιXj Kt_ۋ%VJFw}Ȏ4 vE'to3Y?,R]Rg ͕6tJt6[TKJO6>bQtzQ-3 |RMx㄂o#D|_deu=BaAidND|P 'vDIoԣOZf}+A2p{Jyƍ>'e8$3#B\ߪK-5_؍D[Tn/aW`p c]{eZ^MUEh)YrX}pfˊkid+#`jIJi:l 5L/@{7|jOMiqFI̠vO~3G+, ga:FÛUM4B,ni?{_2vT%*5 4Ve Kj ;QH~8-z߆?{nT_jK  \Å1eTz <(kVGfQCÄ!NYHVsPg _ X\0 xCk#i?T}xxp\mU^ZP8Ө=A\7ɭd#dRnYaEd}Z< )Ĵ'0"-jY-dNF{C;z^l.x)&mmru MYT t!&z]ZYP&ZFp|ZJ9k$+3am=eD`y1oQGne(5e7%C݇kP?<{\l+HN\?G5=jSN&d , yɰ_o:C:QGTTt~jRq_Ku\3'ئ;p-ʍEb[jCobK7~bj:Jkbpt6Ȼl8+BjjE Bk%nc<6@MM@w';Bn%C3o&+p PUlU-zXUi=?͊l-dsq9";LWBw#x6X=i7t^|h}*U=)Ɯ8X+S BMQtݐPxo?}̕. ɺN 4%xdeشE ߄ Ӵ ?:;;n'v7ĺkFffJ7XĺXڇ<—|YS~fտƮdz׵+3Y/b:hu34舕m GY=WRt]#J |]03pYBI?J40= jNUw8ʅkf)8r 1NrmF埝~r%bgthx<ګEbU^-NTt;Z},{niSd$]?eTFxl&Fy9s|u{)*جt *XY48j!*g3'.6zV]bdrD+< KL_f_̓:t/ͮ d>?=3P~6$,RhC=3VkugfrV>> 6p6Y|1 ۸LM魉 l. X@Kf1w1W ץ6 \ &AH4T\3t݈p*O'&J;Rn>ugOWGèTū~eʸArDr`$aCK, -ReܳԵ<'^.yc-,OeG/ia`ػ^I&ט#_غyŃCh9],<98"\"{d\FnFlz$x_ ִJdr%|&`(?]'VQ2+ƅ~aՁ w@3mRc_=KqLɨn޲qڟ`+YP`~yj Lc/@CPE2Țj&W5D6U:%R"M؉\9ïjj^BϚO!*\_gqB*yU()pWY+BgX^N6PlzqnH,* @ꎞ> {\;%6K/"F`t`٨D jFg@@.꾭4fNES|HO10]|o5%`),`S K/@Q^V{U[RǮJr-/sCc"S3#s#9c>+Z+ː_hҡK)&VHtt?=D 875B KZGbKp&>WG_*#s-k0{!dlT:Ij]ߣ`$ f,(HdMX_HUsE*vg.OTU-=JvA+X@wO/ F4!5p!nl͈,+X>a g$A2e_ 6RO,{bY乃&] 4(XȜ\->+x:=̇b~AUf_){K6s CDPCPcK1GB{z޿׭2-e :nqi;ft+>| t,|Dfmlh tƍk;9Y'i Z³itbeކ`BJϮS rJ̤D2@VH\ J:,ۣQ?ֲ%:!1~Ձػ bi7z(L%<Vt%q]:rOO*6.98`hE-4bOD>WŷV,= X:cjΠ誹a6jL^g} d# 2vƔXЯ%Pv.Yr[sP2i^v]r6$vo X԰k٤)URȄ,+t&bMxqBqo늢'EtǢCwp4ZpjrsRJ i(wQN|%!u%jBĤa2pj&Э*D H>k.G-!5A ;-:s0B(Ժ  $z6i)(vxדMF?jΛ6eD#XPh kV`yp= Jm5~Y,uMfEOgxZ4kMRBEh*"WhMnR>5#Ll>6qs fW m {oGesoHhZ#o%nיj*"h) GV?byDkfĸ=:Gsu3P1)=%Rc{q!/;ʿ#WZg@,ή;@; \ԉ v2 e Sg.<r- ~|}@!MVֵW0]ޠZ#[H2i:i}un:Cƙ;83н2?V_4L*múNjϫ)vǔ .6i.m抁HFv!h_i3دa(!pj_=pg4U)6<1oMm-&k!@IyL?v'EgoSS76:> -]gW]3K - ڛaq2t:^س$Rm`73F+EA`wkix{4يs]+x8&av!v`wѸ\ 99KQYr4y[^b7o#RFՅf;XF}Qn7knf[j/Rv~R.;ӠM, :kWu%*⠻/ER(1 xϱ84퐻A['rEn^A:Տɋf81Αk4o-vZW>E9-W1uu:饰||(>(T3ۗtd7!Yx|2QꠟHG/~?rڞb ln ʤuJ=JV sJ,Y L~ xNpW% Q͹"7xr?-J9ȤIzos\tR-[oۛ=&^W`O{[A)(.>WRReN鯏 4xgձE5  b|8{iVGdE7RwQ.AeD+DN[նGfE\A0Ƶw3񥕯Ki7N0/`#q]8y}uDbH"ʦ8-TeKo3`dq`e80FxmXwHU49¡r&D^YkQ%b3G[;U͸ 6;Q殘6CpSl$s{,>iбsmfi] KiDں] _Ɋ-\KX%m+oyK]PGiԪ7p2quCfXٷcI\NMFOtX,xMI43@r^6iA-luwB\Nfy@:H*k cYy|AU֟hS(8;$l \7B]o9KO?pYpDaH  &ngdh@ Ͱwă([!ETblQ]d~ǔQP\PRv}s>h`Wn3 otL2۩Y\>X_ 6w. ^N K &v(N^z\e<,n:X(BsKbiT_KbAKJ,>#cl̗)j4pɁL͘tr}-1^+ I[m]"SnȓH۸g0[/` m'cS2uljs0a:݌;ݿQ`g&ZM\(]94!>PfbF^STZ,2&kM&l$Q3ijڪgsHA tUVM1M<T^Tm}$oMZpG7'L Ђ3P Z`,I&O`~y>$7v~^@zMALQ /=׌$6[y\)(/9n!6g\p?\+O VAir̸wP\O=qf=E:ꊥX.#KHjJe*xiZ2 c^{:d {ɘ;M~mY[+3`O$5ķҼ`s^0 qd[rkG("pXرt08?@GȔ%}3.%^&gʩg*a֦cyU-q&Q؃JS ZR;B&ep{8Ö́?^#vʥO1E ˪ĉ 6Pܬe^Rm'U.^MӛdXV8‘-ʧme|a ptaԃzb./ 4!x l{5= ʹ 6dl`s S 'A o .KQhHjEHy[y2v϶2&q돉ʌN[0K`L%Gm?ZKTON04;jV!mF?xɴc+'KR hM<ڿČAbb9h2/ᲅYj 2+ DSc#q351 *668楚N~lQi'#ThLSc`3Bj Mx{3뀸^CR}DPK*γhHYX0H<$@\,fB{j*5ʅ3EFJ;"SPf}%yp]}۰RndXՂD6Ь_ {>ѝܐAQjCX4n**zmɝ`Dz^QO!7s/׆)5'~ v/gԗxQ͝&0Yd|`zާjE&i69*ӁQZ\5Nm[3r]e2 jm1:cN8AK's_ް `-K;l X֐B \oRA%`pB-h6ϻonpD$,)r0=I -0Ag%rhSr鋅FMSZ 7n8O/C&C.ۣO%#wDa6F*T|OxPx(ҦcI*g[**J.( %hSoǬ aULF)q6?BZEw5|<lgOX`xn~e{AmvTywsjƉ^¦ ec:&t\ꯃkr׋"*![O9C-hu|Cj(ueY[اvs_`8ݼϧWZ.saU-r1$ bźI!X|z v UB"?^@4J6UD {?lYMsXX@W5x&b 9)D6(d8; ]ӍǠ1?ÛRd|c'iWL +`R!\K+ MC?GM&3V4wh g8z;.h,j'}|ĬAū}!\9*HOpqP E؊r60njɓ e;[diGɾ:;ǿwY}%T ؜`sX C_M)Le+62`D:;,KZvh?ϲP0Y<:& h"g]țd~[1\ I&t`{1_t;Yk,EN*m-VVxw.(IvTc&{AuhXq&`gsUnDCAST}((ˊdC폒3}ۓ0~"Ih`$XT0D=L@Jd šz KU:V?(gr;E[RDW~XIhhH{ ,Fg9tYkvD/K7+@xc=wAz73WK"%[sVBx@Gƀ(ʺ&ckI1Ϩ\␙7#n]+@_; ' %H *FϺ'FvZ'#7#0%N3>L`~˻e - [B_Dh+Kl@ ([¿:gt}5l475.Qy[+{͹Cfpۓ,`lM6󷬯7&,2fP~''mG#,w,SvW GXNnjl]Ho4'yS4}]_@hNҀC|s>SVCjO0E ?SS&iZkLJ"GT]8K%3;:@0\*r־;a~N _oR'$qӳ-7F. >#brcf4eN{0P+I4=^a{ 8u5tf 0 L~_psPҊN$MeK RrLeǝ7̌%7J enj `2T6 ֈՃ&;"YmIq(mZ骳8wlJёyga{7U0KmI+*,#lS :Rșvc1>`P>w^aE{-q=C`&/b@|;-hϗf.>Y%hwgBZՄvƮ#~8۰^PGߛW^b';~6]ɣk/R_Vx2}uڣlV1JgGrg cPuYI|<||V33^?ï_5vn&`Xq^mm od H/LM,lDrK_20dH##5ƚ-Y9!w @C{(X3ީWk4 Mxe`aEH {VX|, AIgYse_-ڦWsu1¥_ʜօ r4XQXl-pc!@Ґ9o~Y i_̨M_4a1rז:YρrS?hP[[iZjkAQ{XʒhE ⼣8V9rYr}ѩNڣ`7Aq3IOSB1!6]/&fcG-x8l)qn:7ښ{b<ɜP$^_m 7$v\%d0򹃢=V9iHA1~1WzV^lxuai >-5ySpQfIXK09gEAgLݓwY=YSy4⸜.k0[JLGcuj%XucaMt#K,he8!( ua m.$Ʋ!YzT;v_7$!/X`\%|Œ_S;/o1S+Դu8 5<,j-Pā&4]l<Q>!0 ahElUixa90}pK[P F g*Ǻ̞zfrbӎJ8]%i^D@b~TD3=m80-u ⟞=֟6oۢ6?S Wpf %@t^O񥯦2%F$%ʺ%Xv^ע3?V,>|cR{zЧZF50 hH>CS.^p:fLi0$;( h4zǑ挪dDTʩO\ۑ~zt> }1L$jD9/<$o֬B'tϦ5@byհ/{PbTQ]xdPFˌԳL~FU@NӍa,ͮNtvd>5HVz9m<oA c|$Km@00Zqol |3\^|;Wwr"AXB?{G. !9uFl'SF9^jZI(%8I1V!CPĂM3<-|Mxz:fAcAEX% f-#CA#OKOwq0Z&_lqKJW3XTaB u- Vj,3}|͉Cu/_$d2Gȟ/rKB8^E TX $W2 %BF׾!?-cV1- E5- ?[.fyM1x_K+n!֢7 *~˦ fRl J:$@Ty)g;4t՘j9ѲG3z4_?f]m/'V |}-U ηnZ_Sލՙ  XaJr%z )-|Gvn a_H甚[[V]./u(+4'"RRP.«Dx@HvC HxbO=|O$ָDװ0_Lsy+~@AdN{ ƮAxbI@_#M~žk52LD܁ 5{P`" >"@Cog|X#QhXe? rp k8N`Д҃5):CR|Y A1#Y@i-:;7o]"iS.(ƶM7wEZj}KR'US !W /GC*wR-_.7a { _MM[w5~#HA@,es<ƽ7X* \А{_I=_Ȕi>;iաYeRyTxOYJBs㞄S) &LʦTq.lcK7ASQ2fl-B H|GN`;KQ]ϜlʔOfSRĄGrcR/ .4 F׸zMfJdKqQ0=/ $#Uc=mf%x?yn:X"2JW;R5ٙ+x*0wRP92Qt%!%΃j ?+zq@rȌ 4ҥ? 1l ؼs4bPȞ䐲_3E)3XV_o =8bn;*פS&?VAĪjZPt6ɦQ2W=:-l5T{'ͶdMVB,1|;eF ȧ5TqP1#e^}Fm10ABvM}uZDz]2YWZb\iع4+#Țnv#n;im@Xm:Gb^)%߾%rEi;sPJܔgc)3#Bʭg0ߣ E\;Z-ֶdxTws[r>XTf['y?=4rIc\ ST0d )I)s0`s#tfy6bKbYwQmx0`WS'W)d՝wҔm[0:v[ok4(J۵Io YZ46k۪P7xIg_G ztRO輡U%9Oiu~?tuoXPdVB *&JP*jTެD{wzj ϙ ~,@AҚIp%P2K42C !O1E).]e*X{>F9AhKd+zo zS Ɖ\Sö>M۩=6v*l@}. ehXBΕ{z1bG񖼶yQmiRv K *hg j {&#BuNB@(󠇷`EĮKR4v>E /laa~VCX_L 4啠7s -lmYi<+xlu#RNE.{Tt71$<L/rE892fS514r̯ߗB*{n]h/"K@_ rl2uX8dʇC k%%^9lL";p6fRbQ\)܌c6}ɶ%mJD~uuI4v``PH 9*ad1Br&5loQKW|iҰfM#B[^^WOi{dBx]8wv̠E=sߒߴCF`KL.g dC>m]aopo%]gO[_o}DMG(To1Y$2uD]c=wlSŸ Uw}Op~J0kɑ20}5QlD Tӯ@Q Q vvI+d_JgװIɼ`7eyb-Qp{Jvl3/H0\fy*LdhtneF E 7SR 2L4d :Oz6V{fE3vfK^u)`~.X\Nص$whB~vtx@ARg^Ip$&<*WeUC) z8W\ԀӻQyæ} 붼 3 J"l/ӨO]t$>OBkWBN¾)[;wJNnǔjkd4KThD ,¥hldɮd.*Mރܫu}4Hw5춸Qy$URl'g4F.ҩ $/dWvTx m_oE8QIQ19}pWl6/O=79Op4oόYQ5Ef"]mLHk/EF5HTj8[7SZuÉ[؏z^  ~sQ=Ehi,V*WY-ϑ'/2^ d9;Da?C*Y>{J$5kmbNC~ M0 (6GQ]y;qA(]9GKi!i?x$]mQf]>9d}Z@8_BM.wv/M 5KtqQݵ&O`'cm]BJuxt}wB+8 @u)}JNˠҎ ,\@dO@ٞZ >##-fMg!nhpmC#50XJ JqQ\w}2!ŦmctE "XNe2y+6an`Gܪvm4L8^jHָk[?:r઱fXɟ 1ھa&2%pI 9y7\7KH>B6.1.) 8m|+oV?3Tu%VHRRyZ"Cexq-IT~F5A#q}4, "Jdj&)}v @1?aZfTCפX@;zu|קY#Y=:'j@^hNЀWkKJh $vD'db{ Bj#8EdTW0P~5w @pw3z ?j-=|/j$~, #CJGq|Vӡ-愪8g9NWgD.-Dm|6@xQ4*5/.?Cjw5*5"*7v.̫\w wI 5arjXsӅMvF M_[=+4z<'>bxZo6wq[q@шoN3cU/T6w<PA,r ]Lбfi]lm0|l yw$C u%057Jz Oj.4Oɔ#dP mb_Y{K(u6}c&qQWֳ YdI5Y>r\>6HȲ5lk!Uhbk^$# Ȇ`oR3D'.3T I$\4A R4ba!I}T ͑bb΁%a@͘" 8P>)ԌcM|$@`a7b |Fmm߻x8g-^] rG>0`àOzHlĞ 2mo4I O 5m~A{q6M%&笍Qs&6x"s3v#7^ҽ{l ѻ"|)SmZ%];Gڭ]K홎^WZIqsRD-_,wsWқ5Es^]tGsk=䕵&C?#,[gn lbzg$ 8qhIlY1"PVEB?@U'9bd`,ޖoQ6>(uJ`6j*";ʪf@degZȵ^6eʜ+F2Bi Fz-m2- )R T-L_We$; іp[jb=s$h o9Yz.Sρi\xR5\F`܅.i+'~3O~cs|#iC hsO7tN~&K'^IAC](?kS= )ِk!w0rs-3!EayhֲNDs2;.[@ޖ dR)[*˾Ss}ʶ D& C]MۗAڱi,8WBe! o|i̊ba{7lQ۷f΁cI7<^Xi^L+:}P;ַ@j@ ڎQFR~1ڱE߮DDL>R6Q@9is@E1,n;Gf Ӟ^3M>A?v 5˙oʳ,*> 0K{oݔC cf:f~D@DS0uQFD3,J-$w= >qDE^K>|a /%~vIy/ISx3  [^%n%CLH O^qAZ3'*Hk۴OJ!2ٶh*;4_z: ᪹ /2Cy7zKv\} _!g{}EEBLlǖ&9w T\o(GI]^/{Qaۡctn+b=^Y$yarTa; 7:cF,{+Z,65iƣIxG}#0VoPBjeȺigF!{&E ,:' BtxȣGI#=8(@^V)xqv`ȈX1CA%YR3y N2 ,#P^{D<AP _0?⹩/~Bφ =]j0p/{kԶ;e(y?Ჹ[S@bOU h/**Xi! XGɞiTӟѾ#u Σ: iL\CtxNQUŷ$j v]mӗA io!=G!PճEӚHzoxN) V.VVpҗ Q$AhFUO%lQ-  a.`RU~Ĺy:aIIVJf5فXZwf,]O٤abEƪvT4pHSW!4k-Pi?Q^4^RVe>s\ Qh io֙G^E,߀R^EBEY2?W`C 1"bwScֿlm@WUtQ-i?oԬ04 2WB _JHovٌ<"0vd6aOXQghN_*/7pظkg@A$ձ測 _i~넝4dnMuFx %VFzJߺ@Mvץya3֗ABV|i$|CHd'scbad"&cgHقxک%:B5K_S">7h ϵՌ Ih=ogu5DnOe` ģ7k<JoSQ0 >LJ[';I8]qPoO'fR<$h-9;\+(е#Ø; h^;j> 2e.h/x8Ji˳_ G͢U,dHsmݞa9aO*Ĉ?dwad1L&H`]a8"':Bݦ0ր|}%8eB]Ř]ii> 4؁!C-`7 0b_ՠr| :E+H P^4Ɇ4` Fx)Sj4<|an4II.'L"4#󬩂jouyv>[ ŷqZD׵(:ۙZ}G~O'GHa{M*~&Pck,Vc̴|ou.ʔdw(z3*[>y.7eڎ˱>ʿ1.x;1,lLlh<sJ< BdT{y}#6A4#hZ#SpyQ Jޠƒbc*'3-abrF3!b S' z#0xEG,%Ǩdcu1k\Q`Ef g|I]'"]P 6YN?Fx-n/6Da̿kӗI 0u_hv:5 Mj.= &wT$.ߜgk.nrx4gK)!z;&:L j\nsU8|b72x0[1\<0G?lz}۱+SV]86"ۊw*meZѠ4Y,5 :.Ʌ߼wA[aS щ "jBvBh˻Rp놡 i9֪Tq7q !pQ.fBҡ$":F{X!RK-`qZ"[9Hs9J>fBܰ.ix?9\ߙ\2 qЙ%ٽOInRm a G4o#q X8{t 3k+)T˗yrPhEQl3m5F@$齗i9>>άi*5oy|;dZ[AÑS^/W)ŭf,[J3P6"fFHŷPoGRfQwcO'f #JLXImVSj"E z8R`Yi8 v@Չ龮}W.htxOn>F0q?@L:, W5ߌZ$3+LFwĦK-wk!k-=_c+q{S&Uaq4xdoa<& Ϲۙޓlj"~kИWaGSӼ; eoq쌈d@s `RWP&q|OB`Ǻ򕻉,3G0;MoL1K*,&=6t^Fѳ3$%ō}Tz#22^G)zf@Q"<| E Vȗ''8'?x$m'n%M;ir@yiyPv"U!-rRDQ@.#׈"➲]}{ F!:ZmǴM&rN;_ۇhX'|lVbXbY()X^ <z3kc 4O۵z:m<.&7bDcXW}YJ[I{ۂö>bABp-DbwAoyrT..Q%B ;oǾoY<مHpO /<ݚɟ;FE@Ę_"olngYZ7zXZִF! YM]ŗXiɟR8] 6 h;5DyYa;r ĂN@K@- v}Sx25[凒1:ʴoWp g~O2p/̿k>ѼH&hh:#Dg|@Dl Qr+ּ?'A| őR+!>G_/A~U5z ^4JoRˋ|"VRػv?,†*dXNӪ7:ARمMcnoUp*Th6g^[S.P`, HdW-W#P ̱gYZ7zXZִF! ]ŗXi%L!lR-MM`M)f ]&p_[?2 ^*l%N_KȱdNRg]YPgk.ޚE `Xypv若C>a mUZ71-G1VT<[X$5[m*Yᡂ_1.0yLľc(!*3Q&sЫ% CKw:TA678eW;㾉]=1X52sVRPS#~s#z}O#uA,}V3# -*G{+Y5_aaD7b6Q'lv1*LDQ:Aa.ΫF.ݠ!ScOi|4`RTVF P^w\Kd{SF'jA{;k|Ç_w0yy&WOmjF9HS9%| u>9+U|m⽗=p*]OޙI.' +4݇k/1dRU'Jv f\6pO);L $OSݓPָ/*9z <1[_ ,M!4ܫi#8yz!\]I1?)RO;(/H%9nA ]8#4Q #WU.ϐa,RxWb0D~}5猌/%Y0YxصNe7});޲~։*&FfXS@0^z2b)Eq -0j ;gMS,HU#ISao6&wCv* ̡oإ^eq>lYqt2uN[caV2 <1}3[CsXxZ>ԻHUM*2\ؓUݶb4!mChUһ/{pf.3XmoN45-$0>} .h+;Dϩt4\Dl2@ WR_*e0˰JW~X,kD?!XUTG"T( ,Iji䃸ù#~{ >c&_oV(Ily/= JbwB$0̓4 \2|_QRGqXvUI{ 32y"Z ;m<=W~^Lg^:_x0piiR ƙ0Ls(B"Ԭ-y^$W 3Vt'yЮ쁏;$hVzi(%'E"fk:^>&%`sga^& &,+:ZSiʾI&q66n).ԏU^RPC4bIĮx)m}8P\\ Idoaz1E?M(Ta.GxyѠ8oOuc}#uI)$2f C^YU콖!_&hg'ٔF/]`zm-R#eyš+YD\0b7L Ħ1z5PB𻍑xͬnwSml2`tJdwTQ2\h|gy k"v&t}z|ƮInS4 m6ͨ]Ʒր*vd$F:<.OS;D;(SXRb2`m#9Уgv"3 E$~{ɣh 5odASaMQsC uR%LJx(z0|ڈNe3ϬRxʶ+Қ,]5F(.,@>g=z^4Ӣiڸkuz$}{:3_ϰ-%QT̅r6ޣQ* t}-bݮیCe[{UI&'z@Z5id^/-& ܆/~e1$N^"^jd\1}?Т-0+w4+px3`"ߖ|ؙqNU}D@`[D]2Te +%zTIx9Ȼ,P%ntyة#45K:!ϑy p]c.ue&tk̤E7%P次BT b©4d;plHB1M (,\H T=G ~8@6}=(Ϙg8 QR%6z]?Q =P.Qp{=kve}A'wFғC+whxVY#!&cO5fUϗل tzږҪH7;Zogdг ~$m9LJw 1TA1o*RZrڑ%0.]]a@FRNⰆ]ZBf~XآS2)&ae M >7h3Onyikq>u#Ee{C/ 6kqطU6vDu,״-okGApN2yܬhYjO4j_9 PWhק 'g'gSHs"f4ଛW^c{ v!n+ >[=Yh~F W\Gqܑ B9M"l F-ÁEhW{4Z"(Sc=maʃTlj{*&эAMM5@`盆(oG$|9|#W).z"ֹdH,{[r:9-3+v6M 6/LgYZ43cd2cfb05e98f897089b535cdd7f6998c9e96f28215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d