SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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!4L ]]]HOL-Proofs:threads=2elapsed=841.732cpu=1522.896gc=170.208factor=1.817zXZִF! Ğ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbaGMM3ylg BOM\bQ˸>gx7ې8¶y>IN fhB5漁ΡX4@꡴wY>7Y-ڢ:k(! 0 IOxIIsTKzvNYwָڞf}MOqnqFp.)OzaČDǠd6Uɽ`ia6>1e[՚{I ,w6 m<GFkVr: {(),TmAY =PO#i?hյ|G bKC,غ7qZ@d΂9["k m|ZۇuısLx)Mk~EC$ië5)4Ll߾Cs;Vl"C"\urW/3"a<s$tA>OZ ;%㥈l˝sXm fh;iC!ҝںrnHNvLj‡hIb9;Zɩ72~2&۾N R-*G:$ZS#7bU BzeIB@/(/`5Lyds8c5vp1'ܾ:CPvC-dkZB=qg'dcͶQrYǴ2nw7n]"?ĨJk wgrct4TWu1ZŕHoć'ؾL!rCN^yZǤȉ>쨛wOG׳S5Q4>(v}E *JI/{.Gwze}$wW=]hAzhK  ! HOL-Proofs  bMR*,[!7XO"=m 050K\]"&yuht8XxK}f`hRLMH4Q$%zMq)ǐF!<']-,յ&wJ|>慃a6׮7.wO5\ٔ${Nc#wFп 0;)v'*3mGRSa3i2b 8]q54^^OJ+cO[65,qk ߌ4ɣFrdrJkNXS].դ7H-ucM a~o(*R; һq$ZEy8z ئmQE*~,9󝬙9F*6[S cSN!EB%^TMNrʔ9_3U\'_q@ -Qv&i┙][48T6C|l?Xmy!Rim4-klDɘ.D{1RAv,*TO)QG,vh^SL"7/fCJdF7e," +9vZXlxUWf^sJzd)$ ^/GYǗ^L?7_hд8@I1|*T=˽g+5)!bS$&X`dN22d^GR%Q|?2+J,gYZ7zXZִF! J]ŗXiɟ29aoʼz[%U>EM!!*Wؽe9:A@Ғ{`USt:~}>fLP:b^uql|^d i9Otވ· s  $-_Yj~ȡD1 LQu\,/rR.l1xqBٚ uv 2%AڈH3wBXOxf!Mb~IHft|rɮG4ӎ pb];L_É/x G/h=BZ#p=vbn"V^YΕ{ӸGFs^{MBg(j}{'* oE|\?\DlM>xI %Uվ1RiCwyc wܫE\=4)WMZ}V4 #.,fT_ AJ%qrV~uЁBʋY5Z@>E_K{Ś+BЯ%yuqNBAA3郗^cCv536Hؾj̭0F $/ӊ62kok2-9[!b{5G~1SӚ({If;n"&z.qfNj=Rz;^V"4+__P`>lھ{̟$섇?vwPd,$FQؙx7.ɔsOBa N;Ug). D~J-*kEx[/ݘlx.TVfq#R|OLǗb9EfaWj9HnD9⯶gT޹3F26BBc7cwRs?σpE\.q4hJxt 5t2 /'Uiѣ=F`،ɇ\oל޷ :,ZF]L٭8_ %I4̈ȵu 2+"gYZ7zXZִF! J ]ŗXi%;8mPU>p5G&Z00b(Y C_QܸJ2"O%P $dzGY9qC51&(Dd#Oɩ uXZ[̄;!1͏bRayپU#sCncARhpz)EضOI15af>|Y\v2b>N-9+'C.u .|gLb2aĴM%F4f՛]/=ā؛zZDvnmژboͬ*S.Lԣ~^btG\N_#WEx4Rm%3ad$;Adu)j57 {1fYq =5&TpKL^WDZF⧄TLtQ(S&F3+;rG!%k/LQgѻ^B6N0Y9lBfμWؕsckO%sC6_!*RհP`4X,cf҆퐲h/IO`_=k%"O99ݱʛ+=aI9WE"͢ }:22({Fn4V p e",:ay$lA6;jF-3W*345fgHAݏ[鉉wۖX̛ZOE)5iJgf|3S963QU(KaT:o fod]v',瀯[ 8}c"C"jay&p¥~İ)}"D5;S+IH,L@s'~@s Ծ7d}#PKy\ tmvX9S=RF*åНN.O˞-&tW4 L tMY]c 9S qE\mUZ3j%TR%j20bOl50pʠ+gfpq**%Q߂Q%0rm 5 Y5F$ӼLJu6QT !K30 u$;a"D0ߊGi}~ J7>hK#s*r#zat446)" 7%gwlj2JCIye=?l Qo)ߛ:y>Ԝ@hx@ۄN0gEOX?$u,Y&CPjV7QFN=pn>j+nЌ<`rΆ W@,2rqT#J0GZ{TO TdGqL?rh]iϞ߱&c]@jY0֬(Q<0ŞCڟhv<_9G7ˮWR'^Q0_qC ̓lc (ޓ.>*+jοfv^hWs7{'cyE x dF/A' ~gDL$۫$__r-RpܒfjG)L\ Q|dṐ [@AD6LѨ Sb]| lw ˳?0'Ej wDոNA/_f_\YщgGd1g9Kpxy(TX B}H{Vĺ3 N&濡/]3NIbJxu!9~y}ܸ: =|)Z 7@8v6*UՕ}.O"@-hG B rkL/nvH4D1 ~=H.tPzF8~ 4PSNm*~J(Oghixe2_Ugpyࢫo8x>Ot0I^"sژ`Ќwg ^ao´d+{vLB@*"L X%E7.hu`L̔u5z d ?`|ۚZdΕ?edYȆ ' MMW~to҇7xEՁL"K!+!@k|y֭&LܯI]b{h},V#} zJۇܠPcHqDqFJlL2Sܥk쒑ɫ u#ȥ׈έX~GoIzǂj5@ZڮXW<@Z? aI!3]/gijgoCNAņ0KcƠ gµSƧۺ^TO~F q[3dW2צ.<0f>9ei,9yd8O}63>0CTwiΣ[oG(aб-$$&4λ%IF^G_;'67bʆ_/Js&R69`bklj.mЈYpoGkC J :na~2TϖdW8Ɨӡu4(Bd9}-k2cs)J2P鐡ɝP˝EgFk#PR0 C 7}P$<"]]IJpl7ZKlhX h@YDGۆ>©:ʚ>B=2 ~u cΝs7l5׍q!oHXt#Cxwx'8sS272 in g]FCL",y"Q0kM{Dzl>osVtem_Z KLZYk$n-jHz 7S{j o߽# TO/!^b%.nu% }0{sug:RO%.O],Eېn y0L,wS4"s9Uoq̡29[%m4zzB!%DR&9D?i|6n8Չkimy soIb{MڜY(+n#Z`- ?a |8MӯU+%\LD4'’;'Q4;_υdD5|\=b{eW!sRK*Ξ{J|~9j^7+_iҚҀs M8dN,$ry^ygN)д|ӹ*gm{qSW=xht ]c>3v g4 'Ahn`s.0$:ŪMJZ3~5~oKI'ZDi]:Vr_bmMmPS>9 d==/&Z_0iél I=N2pGz4YAlW=E)SdΈ~SqS`Z 8^x0Ь86Rq"q8^]"e*,4 \><@fRz1P0γ1ƕm``j^-pN^ v:B?9?9~ ףn5~@km SOaӛ-]6 eW|$ ZP&.´ kyHm!/:]10l姂v\%-dqD$H˟Wj{,g]Nb]wU%1 ;G(Jw]N# à͟kl)Dq'!HV]K)Lt9:<3uå{)X=*bn3  v.DN9 6kXIIf'XmF(Vەvf*AȒxӂH} ,-Cu+|l4ɀ~*[ y˟Z)n05q2EZk1,ӥd8nlxLLtwPM8rcY߹rRPj%C b ?q/+,5ł8c-^]ɯr?jDeg g9MX* 3m64Y?K 7( %?K.G ]HΕބh/M4 = ^q;RC> "w5{H. - s3M[*XE]ZNSǺ-%@>AAEY6/`7xAٱk΢dMEyV,BB?3$+.}wmJU+|C7W P>F\ .&u?0|Q0Bu7y 6N]NKƁP|ok㻌F2q JAgp:'doc&[Zx'D)k5䱋mU]1p6P. 6j]RG_=*?k[ Lծ= hA8~»܅10PϖC-=Y>l0:U5ܟaYO[hА|Y_GILi WIfr]Ǟ/ byVʿWZ1]B= 4;^&yY%w]3lrGM;P9Hn I< fBcF?W_ I!Fq74fJ?/s*+؂>=fY pw oR36S̒+ugޑ=g䐰 6!͹@69ѺX*?o˨ X+2(팟ŠtʚvR4c[2Jy\nOAqn֑X損ELsN, - Y|c i {F|:m5]cA3^Z4O<.=GXN %~5r^ )7|Y9nXv4#l "#F^]sB7k|M9VqYL5+O0ٔsz-Ȣ6fls90k#PX@0sζu6@rN;g-֣FȣD m™1P P~,4^ܛ{~N GWMrѨTkR]`vyd_l*m39 e(C?+yP&Mu$^#6yVKx39`_ ^Њ ~3Kf𷸡KI ߘD6 W[HǬV?kTLn1P;lxyf%9,e45,g`k{z,a@ H|.b~fĦ.gHnvnѽH/uqPא]äH&)ޕ/<7[0 jDfP SLPLw6|+^'j8U,Sc \<|(,C5gP:' SȒμiR4*""ynO&ufHtq r@uQnLʔ1B7& ^6"r6^:;Nje7$=IYCGOMek%֎6vJca($tՆ!OP5:M]a[w/j1!?&X\w]@Ⱍ3}^1%J(<^ۼ'lYB=IDYv`ۇ>!)%s]Aʢӥ2SZ( .gR_P/\GEiD?k%B!ai 6Ց`Wov_a31 GH)SjX39~|wL?&OxE\MK˞shl~)b2TWPΊ@F7vda2=PGj* ;mwRab;eUNmBXߦ? =pmJlG TUƈ(޴{䶉j9z0;C\RYy$~)zHV$#˼{ؤ\ ,50_? peoОyuOl:j;Q޶w\j4a0A>y%4MueЇX4Ws8Cl̀UG~Պt0Sob/Du0n8bͧ4 }1IЄ`rRLTH TpľCh:b1LT/ ]./?5+Bg-,#^5Nkj[mor1oO•ҕ+,ANÆDC;D kôFT+twVTݚ"jdO²LA]6ل]n+lDsl4){mV&95!wi~dig2ө#_唝UbtXˡb@ib0QOq z)5lvNf|fU&X&(I/HV6sH~^SlS^tڃvvQUEj%~56BO٬P 栎g;8QL  f2Q@ܳ21eua9єOWS&O2p}҇77Eqj+ crw`xxAe4L~e&l#󡚿4jPV+]8~͵R^?TxZg^8_ǷΕR>_kc etB=ׂpn&*RyqDB: &lyp?Fk/L)sGA 3$_4 fZ:V+eGzw GJaM8JcA.pu^G-6׀vZc: ٩ldO균p i1Wv\ٺգob5"Y `N:nrpfQpbv[9A5>Q/={ F;uU$6mAmyX҄buDço0J,S?8J2&뺯; 3Fݔ鳄iR퐏Չ9}]Yi0Ku  azVU*GNnu7T hYT=RK=Xhtz*hts̒@q$;tj Ʌ@t$=>w}ϳYNsi ? 9BxBÎoV4MZ~):* YѼ&vv dS\*Bw{PuABYD]ǫV")12NulTbW+z^~(hb۵xiS"k-4ePՒJ1Z2;-ZaS={ ཱུ0Iz[,%Pe;F)ʅM)-;2JG]#+_JSOm2zTJ_NA[Pc'K*Upghg7ȁd9ߘL"3ԮÌܽ&Oow7z'Fd+|l׻ X߀EgoVNim۷bXIMl]f-. IL vѬxwѪ~ IXq] ZcY~xNvK=ץ9z1Y_7V(Snk %E>s X3wBVJ>sO?;Tjehܕ̯+"~'} < ."|bJ`/g/J_`%~Ŧ BK_۱ ;џU%d|ml\ؕ^#]| `D?j4$c"Px@GCH݆nRdHgr\} Hf~Ww ӝK@EhYd6k^=>3!Tn-ih  W 3cC(5r$ :>\'0)[CB 5x6J`("#Eb:ukhuYM6PS(c5Zkԃ8sFd=}iq)r"SY7 fg\Lc&*, Y]N =<F 3Ihhlq="ْS,ll~0f rL>@ 8Te2*oq dRg4/XҰiU.٨檇w,Jj5~iK X%1"ȧ bdu@x޹eGGXc6myZ~|gVE*\lo1}&VYռ/ZL镳3} G9̽\6FA=`o_sY㕮Lr.cɓaH0_]_>sH jp005ri]/R;3u +?Y|c:fz! 0Uy?x[ٻa$C*zhbbՋl\(Wp|Iբ$i8h f` &֍J& l@M/^` I}SJtF=G~ySڠYQkRs %1H#Lydƿ<`Q;-3X@>YL|{O5hD)f% t=^Q:f0YfU3 'Tcc+D=Q(ҝįXV"ȾGjk{h5x3uÅSLM#ECL$}]]/gWG>_w:t,vĢ`5][48E]ΊP eUfDmo6"`]7.~*z, ;05M7:鞩|#w(ezq: V MMXm$86$|ÔYux" ]%({>X*U7vnj9*ڎYƪ6^X owdP3Ў&/W|F1#KͺXn ]^;]%,\俍_JS:+A7Ѻ\v#Z6̪@@sVA>Qw{,H )^-h\Uu!oB߉8 #ckEFk;]xJZE+v_޺Q #>>DA&U1/Yxx0]<0Q_-;U<߲n.Zx.}6xyԘ2 cOr"9\Us_y?|ZO2 x}kԩ#u7|p'ƱF Oj89Vqk:aZs3pouH&7f፟ cY d' +,Yڹ"y`c[tc˭ydZ#W.G(/TVޛ$Wu}cIkr0,ٷqBSF?sMSZudh晄, - 8-=]i9X.۱$0QyR$.LծEYGf2q_+SIEo=WF˙+V=PP ""FT6Q.G ;X8rLT3h i?N8(0r?5I7na (N \[aJK3;A~E  l 8bH^4 MشO?@v#"~sDs{7|,:7gW&ު@#W$Go% /E<DR]c T}=#9N>14gO4T ,U#{`zGiY 2C"w^_ ]bh8 cMo6{O=/Wue/^*NJ,H6+5'Qe5BU0<0%Ǜ >$xu%ץ: % $)hGQR>?[x4GXJG;k`}з*7guɛ hz\ XsX*}rS^v(֬O#+@t!5# 5Kz},Bf5 mƁR&p !l3i6 O]&e]a5v81 zoo * a~ܗHX _DЭd,BχHxlQsT77TֽUМ ҀM<ERqJ_-7K_ ;KTȖ |j`k0uG3W l:4烌^EX j_N"$:u0dRe&\BӾ3kό5Pwdf6Uah}]87XXq̫ -5P"{ປ:)lzN]~}ɔmyyZ3}5 ЙF-?N0*&qA/?@Aq!I)_]EWv9 =`[$F*(6 tQ)i?EuսAX %?bv)>bNL[k|y)y*6- ފ8 ^`xK TG1c:v[aNN3gW*^M;W㾹Ȱqsv1Z-,M%ei(隿)wJ7OL]myaСCQNWVP;^=fkyM$Yҵے~N #tY<ж)@?sP%jqRѪiW)ZY;}!h(V%.~I-iXOq^Z.ҽx-5ޣX82m6_<0dO=c#SOxֱC,.گUܗ{@y:>B) ٦4Q\..J!5{3?&ԒC28u hy⬧6+\"-p۵2S<@(Pn4_Xϭ8ywp<""x.2&7wh!C6oCe=`ΐv+nQt} %ywk6dƅv" ؆YE8ˬQMǛ/Q‰]g .L:3>N]c@t:ܞ_9깱 o!4aƋ 5)fn-P@f^DtYNQa=:$y@{$7Ѭ38T7$(:Hu5s{9e<Ě*mhs8,?6^yG,F$uhHCS~y:b[YF2 Պ'R,CTVIKV"37fy?Ģ+QS2CERNg-J#vMfϟJhAO E̋V>x[)uQfo-ʄ_ٷHob`%-ґ|+v"^:TX&!}ŎȤ- 9.|e'*K"I`i6k~y!0Ժ;]#l)*I2!?%bYM&3X T茛2DĒrŢqE5 %))cb4'Ú3Lt1֝l1S ;AY6RrZ@@ڊ n;{xve|ô[ɽ a>ZKXqgTxCTO) ,W j_qqkf~Ĕ/$$ N&d)}~J+"Q1ϝXӔ$'BPw/k !l *w z5G_AįbtEUQ184Xn%KYĢH7lWǎ~7ظVAsF/ݸs$A.{xuHP R}-&QSmQk(O(/_trPpՎ cN8 K _41f(G҅1'Xeo:pXHDR C9-_1s^zZ1CcNn3t[Wװ}ej7NWi+["/| xyqF=Ft~+Y˭Н& :yy/&+jN&R$Kg' v% \CI^e;@94462@7[HuL7ar+{%F,j8r'XRA4H*4HQ~-ڲp-Wj ֟VP,1Kyt190PKdISoY}3C>AyPN6زA`Y B>]JS* (g82H/ ! +- 798>i91MmCU3e믮H# 9:ܢ£%Q & hI babx3V,rvvKM0u~D4ǢP򋊿Ogu4C,ož*fSHBi3&4&nI ^ BP4AhkԱ/EZрu ZPVY>%qIPc:7eXgPmqYo.3:^Ȣq_"l땢i{ ޝN*\2d>Y KӆCRhfřkVsˉH o6|n7v8h_1()*OAߞ"kٶOF >:,xx;軆'YÔ-t'?p}29b_d ~FZ ,;RA)IQF}@F]Gmja߸#{#P.+}&l^OU 䞆[-}]9tF|Wc]F(_MW=/Y1Mx/:aM>X0& x8Oـryg!ȳ[AfE۽S *74Ix+-1<}ItAOWEbZ{<(3ʅ9ۧg ]9mFp3t/peׄ%եZtVP`*QOgk8{.YϿ3C6 a}Z=t@7c/g)`_ai&* K)O[ р!+p, S) ^.&= ߅Ԋfȃϒ:wQ\"JwK60UAa Ek .%'6A6wow-ho ᔅ:n3](Lqb+9_abM6:C/ALx8`B)έ])uALWyI܀l= jHMUdM+|5]Oԟ%MayYբ >mOLb6SXxM8)It5Fq^숴saQ5R'1z>Q8AdڝC$8Fie.b3p_%O4ȓtڦi=lN’_K*$^xb.yѯZ}_lN EISJ&jTX[5>2v\T硴oD-hwM# Q~(.1Y_`"T/u`ř'?~Ox5aUϊ0fAݲӼ[*,rk&8r_G:>+*C/Ģ>x'Dhhz m Jj있 (Ĵ:v+a<w!&!b7#O؊Dl ɐ&&iOc'z[w'٠ I/~SKH`00؋!쓫D;s h2)H(IXuz}HI}^% ;"5VjK;=h+|9BB3za| Sӻ!)F=11EwRا`w^E፦6^C>oKD(Ȗ߀L/ Fn=l'B)95$t>ǝRƒ^g4E)ee b,%WZ | ARq h-T̊fyѱ /F#FEiT/+5bl<Zq뮖(yդ]ӛ= VҾt+H~(@U.In8m>q++ +:ҍ[e KC0ڃ2~A};eb) kR6Hu."_ߩ㥜ᔑ4kmG3[Od˧9Ⱥ> |ovOƳ]VR(Hc@@QX$¨4OZxbQ diV,gލIE'@mXd5n8 f(z [[#Sp8y\v,Q`{NR6inYa?rJЫ;'StyM*'iֹCFh,9dXxC=8&m0 63յ\F;> sg$30_RS35r :XG6R.߽Ҧ]0 <nCraM+:F,b4 .O"6ɒDp#pU 赵Ř7Qoh /n93^@$ `\fcpp ^~%Gh+[/=] ?0So_AEA,̥o^knzq7wiATf,(+pޥ94Vm 9?Vo ;SSӾ"/,Y\A"ԉdT a^'|,mT ЏuX;gpXqX@A:#wd5c_쭴+eɡmfc%n8_P'm4 T"^B / NH~'m2Hz}(#l6,Qı%3Ow.-rPyF$yDS,&b+i6Gczs{l5=1Iwb_.a,ڊiZ {铺bb4&2cMA]N$EHX'esipFBP.yy'U[L|ҵVvY*&Xե 1ˡjޙNh.]0 힉HP2~\AOL/WghEsP2VG; [PϘnIsI6W'5#As^X8jTE98?-V#N$GRm@d}ݙuvv;T6Et#=erF s,tgRi(WT'e_ )gS  5< eYjKh0FWaD"S԰!@t_Nl,8_^%ZGV~tD~~5ŚP :竌'K)C7.0 }=_˫Y3\D҂/oNgVT/$H=hv?; \)l6:+miĢR:3yMNL?E77LwCf(l.Y܏A!-U|PD {TKuLX{R/4VIyF58N!UƑ-U{%Ρ fR) ~&lBB9<#PUlB KlM0jV,a܍Y ?9!: {ց#%9m7O{Ӝ%17YQa'ɫ8Q-vc$U 9Li+SE$S}'n=f Qf^o6MX(l>B .2M=0) #A`tO~Fs ̭WKO3-әUu#Rjl[tc€7B?[a";;t3Xs\C:0k9Yq6 *2endQ7z, $zO]@Ė5*#SYh) wN\1WĐc6x=8c]>»x-쯸]s<P~o}ZGfT6CbZEa&ϳ]0J,VEK\?s54UtLǍ}E7.WA*?a^Fe[>>zKYOB? ~ϟ7pRɏFR@u8†1Er~f`%P%^c >%M3cjN+ Զ@="**Ew_au}y=ZV#ݨ>0Teo=8{!wVsKqogq;r<}p[ f 8x4+)*5FwڃALK , "*_G*{@l|h9VӬc^ ^_[|d56(Gǯ Eb2 j[51!MJx8[y3.3'[Bg*kGl٫MH G2Cjyp69͛^~}($n6A־* V@Zĩ`$2IY;2к"{0U= uWUƉu.2#kVO\a\L^H SLSTئ/MȯAe#\b$|M ИiUR!S%2Wo(68?P?tm+6&3A|-y"3 5K4GLnN1{Smb ^>O )KK .[p]S ~V@n^z=J%:RwT W.c7I{RisҚ%oB؇SYykseQf;,KV7;"0WP ?Fb΢sueh9غal- {H6 ='6 Ќ^|m2J$rҭ}K#PhdINͫ5Ft^AWviHKin 1,g) M|[68^/c1s)][YNs]h4&A 0`=&/G9 V<(Yy:nj5 m篙A#wurUFk=7mH3aX)]U}je/lT$-ݶfrLĄDqé_fRq'Q?: E:+*2p+דhS(7h2eσep6{ʩgSA/}{Oq_#Z%%߬|߳'=9#ą|i0!~ȫnd2c# vLcAY9zdfBD8F7aӾ7;6J/eI TrE/f?Vq; Q3sENgO!å@ _z]78TlA\7܊9c\3>w'Om4v w5H/fra {(p)y t9VXKAݔ`3_<N6ZSUp2 {fp]2DC.OjqLfT!T$)$di+U`g ,9/ 6ި9N0Wz.݄\j@̌o2fХiqαH >6 y!f̻ȩoڗGeiPt48ĥ򊠥]`fʮįj,?Ow[@'@h| ~HyUZ&[RPR'|vӟِw[TW(+N[Ԭ.t=xjdf:?*(V؊}תiGєZôuOH\, &_qrq1P< su[.J0:*"K {O<M;y5T 6DmO{tsghqBQ9+ɡhM|7n\GУV^u׎K(3^0UJC/=Kǻ)ƞIGQQc Nۂa*_"}39R3qh`ʟ[y߯PKQ_dp]GBd`Eүvj{d6s}.C$W,eB,_k:sd}P;mΡ0&ql,{]O#_iB]e 09 Lp6tC+yٷA@{<%˖Sp3,9"ZM`vd0My< ~sbEO$ʙywJX友䬾Q`\E۰㿡ј %oɖS~pmN5a#56m ڋBZ̰e"R72 @򄵟c-o$mbd+kU{ )ϗrOz<+AŒnȌ!}$f+{EޭT.x2bWOnL+ˏBشv԰iܠFP+ҫWomOjcBGCI y$ބ!~{9th5o~ؿl6MXZҝoyݹ ܙ"3[KK*A"3.qnM_rO< ]A ms²`0u%\ !Lkr)UI8So_K"ϐ=|/ eG H<|vl8tX tmۏaKnUPr=R5P"+4\./|N6r#q &qe!Nt^BxÐ,ſt_(#U*_N|WkޔXO3I,hkgSx=p5Q|۪oe%79 Rr6lrx0$!2 eoa&6Lim. HkOZot14Ʒ9!HoS(dɉ 蝾))B"3ϕ] P~ݻU c{L(Œ}(XI[ [J x|;$՚ v̓#SkqpZotweV8T1\hV6[I Zi1FAtChEB\+d,坄-0"VljT6ӺGx߅\Xۡ]3?FL`B[gн O,IA/mzW|JQB {.}!58#P!Iլub_45<Y3TV۟>u!q@,/_'8WeVhzw='T0zUqN}p6>X];i2dD=Uڈlu$ebg{7: ejhѹ#n 61?qP\V,精n05(m,1w#5Wd%.C8Q>͇蛰d^U7 9U?M+wwy;dk9|o?Zn򔾱鱨*6nX+&WH*Tk 3HRƦ\eBe~lX ɭ*nVe*Gd;QҀ CNruv(p"Rn}z#0bB?;*In`6'Z@%aG]>^*J#fvxɂU!-BbJ9.##btj}?VNN~X9 vplF<5] /#U!" NAٻ F2Qʦ|Եr<4j]<_@ǜU?`\ :a)U`\D#>e/6 hUz80a֯" #s!d1QhiX點OTKTB{3kn㵊0|.+[="uA;Y$za/1=7|^\_!iTm%`:3DfkՄccTQd+>sf| }:H\+1.R48GƋT^$;u&*7x1HS]jJ.eeS',u3y죟h>)ӧP٦ UP t_zO/]#û+6ÛdN%,NE,%^y tAZpw;i#Y|86&/>O)ne ؽ6`FSf`imvIDlfDE=۬.n,9=PF,ȏRmW+לe bcRqenqM-]Ef ڤRx}ƀgTCCf$VPɫx|p`5>e (U9HR 06_4tm{s ]= y'\>g;4~"FbG,:tƨ!ǗQk;]/VuoU㣃 O|D!*>^ ixc5iRpmx]8iB3iOin#AH̡N@&%YǠ(?UE %7H`ȋ!s5 \)O^Kl;M pn%,Fs 74FB<5n{4$(3 E4S;ؠ-ouʻy̏O}6CԹ[E I׾9B jU.{|h[.lE<`:NnIFwdbj/&/CRtXKl %C70NXA Dϱ둊Y\YcKsy{UM-5q/(Q8v!v2goep1;"42<2NvD?Ū/m$Nj-VlM 8gMnVӛmf`Dߐ^XrXP 4_`~)vs Ԛf 3a8R  Dž?ܦcW~ҞGΕ? 3Y5|a>9qG !69Supϭ?[M(YQ~nyB85(.)f'H5W-sTtEψ^azA:ʂH9Vas07%>NnaJV܎ ;H$j"=%ݯ/9bqNY&'ss3Ms[4"o1*CN7hr](P&|纱*vc/+C%8L,Ȇ[~+;Ko%gS#!>y-STS_ĪYq9 9&lk@lVH}$uԷ4FwMy)֨+yn,/ V~3A#gD)H:e=)j2h8YEAT-K!8V ]lJFkEB32Y>6+;p m~԰rV!xU]jyU?54#Ik灟o$On q3hj]UQK z#|F~qPkWm<}NJSWSGLJ081^luHS8΀XjN@H 5-:Tyȋ4H'D=8N}Li\p @@.Ar:p^Zt;N3ka7ZFLSXDÛ0_!f59zj?WUjP\$ʄK`֓P9l=y0_.فdV7^ۯ 7 ;!CW5kyNS,+ 8Z&xՔ[KXdL]ZR̐}0Nћ0.h 1 ~9j#lcEMew|Of7ε3R:^Grm+J糈q3"Yoƌٗ (,w6vX6_cw~_O^jYK G=y0Acڪ5ӝ0ɪ3s;>Y €s|d$(E~yHL0])AقE<.K<wT$WѬFya2-8nF8Z#1adJVRZ("Cu uJW{c~h-Fk_wФNF]Gk:6(]XO ?-m"sNj~l2zW)VZ],l<[Z^~jΌtN}l L HIdzj eVbqVűa˹>Dj\48p[9 N] L\>%lZA2;ZQ}3ϹŹ8( tJw g HAo8P `G$/b)l3c7'aS-q[.\KT>sŪloxC+\ j5Bb[CK7ZZ\ i(9Κ!ªlv5IIBAO-@ Mu4.׬mW1F;|,%J(ojKoڸ0٩>Z2`|ץ<<0GOX?VCRZ?6h|ja]8Sd:Dr:''^VhfsiM64˯)ng&FCzJL)}r_,"3c-;Zt2Jקrc59G`1: oWtBXc^i܃~B{e2 s;hrRٮ;T@Zd~ $uc*/x*1“ˆs 1pZY y"i K N# 1Jb0it;uw4W3YT*M\y-OyI]]}JJZ1TkKϧҲF-@#$jxq ¢ele緒 DD +崞MmrGG BtBWFkOrޏ%IC&nPCuW_9 XUS^dӕBOt/W2#p JohO:^D^2g$D`7]'PM,8zKeI1UB4 v*T23qMqo;a4Îl>hzBg.bd=lRuZt)[j6~MN}0}_o>B\V!P{jݟGˁ%akىwt\vЁ S^f`A.LŹdDCc܏,Y@bkefiw 婼"VUY箔GIL+YQR9.@LU#M[h"1CeƂպqCV}o2{uOp_muZx5qc3w`EKBL㞠.Lg_ੋ GkB7ϘVLʟڮUKyP)fȸΪ'Þ{ J*vQaWTaqp1u@a͕)س -nA9ԡQ,SI?n׈n\S. )c"49K;Cc,C;r?O`(#%"6Oϝqz`HRڷ` sԒ熜m͔xsJe)BOrn:kR?|nw%x5/c: V [ڙχ[I<#1M₰V48u5eb$fF4b[P))v8ゎ>_A2tɖR&[b_'U'}`QF <[y;f"-]`* EztZ-uTK3d@KV%f^Ԍ \Zcn OK5^eٔ\V&N'Yo hhizK\6FJ jJj[1HoaaiC@c&g ,5Mr(,6FgpPkş<X$޼ t'V*oE65 maXѱT{/Rٯ ˛iq1&hfQa#ff-fRNZ:  ށ]Ξ>aMʦN$:oXqI=֞ChbBN9~.U_4&% #QafgedײE.i<|lBM$_uwF@\B(ſӭCQHT+D*(9˜hsѰn ίd[U'=Vfл {:^Uڻu~N*&/-j|n (4 2xm%kZ-SZ Op&ӣҩb10UDkHNQ%Sצ%-#mm"Ri: qA:F w7=nJP5qmnK_xЛf.4Itې@|>ԊLbem#_lB7pP0ʗoU'~S$Ѫ]zG]1md#3<J #C^)c=QĒpnHER:pl.@8[W $rD(5Tf"N3jJ)szaȏbNvj(9M+Dsl`P122*"#Zj5q}d!9??*ᎈ(N)qh}yn6+#1?5RMi9 ^` 3t6\0 .̤dXỳPySi Y70VK}&%ݰ-07R Coc3nv!fζ:u[6xT悀]23aX{0f4o$lL$+N ԩՋ5+\B2}tiϛP?{؈G +.؎qe_jLb^2I%<Ȼ @)]^.H #{CIziǐd ~&r;yг)P0yqJa*j̿% ҃BmvDb^ܰK2# \ + -PYȎ #DV= 2- n5f{Wq5$@ꑄWVKNwfGe"Ia,eWnBdM@2V(i h ώcOӪ^Whw)LK%Y&~PwIh ˰B5b/lV:\8ZݷAK5;U8tm1F xIqK3t$AsLyŇ$q&sOY|0a0*'qGΒf+wD@0uYVDA3hq2(d #>ُ*;kkXPҮ|~>Y_޽ΕUl.6_itÔ|6vM,|@gur >#A]ܥD]Ku&ijqqE'gQ٣,xd] !ڷM {eFEaR&iTt {Ї<Ċ.o5Fvv)XT\zm{a :%K*LV×8=9%q XNN;,TnaV>$VSɏ7KMx-K.Lc#i$sW7 @*SA@qc F8* kè%yKǤ!(Hx=wcqIU4x%;gyȕ_3E.ī/}7l4IAg\>>}9SȌIF,aV#LHӻ)ޅt-\lIX+ JZ[>~= V7F}'/008_E浳јrhz0 `6Oٸ0ŨG䛾!J552fjR̆:훀b::,AG\Kb\91+ycGIԖj8{9 cÞdVgs.a?AAoHW\ڵ>pq |/noY Z2xKnfN&y^:dOTEyPe1s}[`tbk1 /^ӆ~ Db6:WWkCv` 16aoZ c1%}˾if05VKţrf)/B .-H$BQ[9Uf7JD댿xs|H㲰ZH,؛gwJ&EnF W(yU4m3,p]dDf I1;9Hb#G4N-KP,`xc;.SaA7 4/uk)ʖ1 BӠGf3$"Ӭĩ=b oz! \_ <@c[5n 87KTgn55$ 5,-ͻK\9vfHmzQм 6<(#@5EzHQ@JD #:Z0YjQ}\O3^/S/'5~hE$LQ )TFs\\z年J"@ a=;;/ lQ ALV8ҍ^Ao@j;3_9XN-`׸$/Y7_=Sԣ'*Z&7EB ʲu~5юˉ@~CkTB4Ŕ?u)s>i6-I5L=eQ)v9+;6g@/&\N+ͥ،^zLO0Q]%DݐQ.c=<50mU)bPYS^<ʥF]}_(\1K ohe_hfETru`tqՕkJ_?$zB8C}s447D"7P0}fDpo[;SvCp?%1ꫳXy3TGq)gb0sLHvɇbb7ʊBP%UCC{5עv~]%aoJ&NHLg:3Ԓ컘=*"Sm[>i? &gԾ0vxd"2*@;HjK1jK^2&,3Yn̰ * -ÚϢEߥx 7z_.g珬&SvWB7.—=.fKgfXg`6P?~`JN.f0Cj׊>ZvvL t E8|ڡ6iw?3?Baɝ=m(/֛K3CY|LMAWQaVKC;HHng jiV1KP$3yl_{`H1N ͌ʔ/rĀ-6e {P娴 E0a{gV@EnJ5V%n=eS HP\jXr"Ar9`ճ?;t8Ԫʒ*Z弨f,[NPX:P;]b yK!y:;+|OW"yLS<֐GX\ Yğ0'l\G4pR/2)~5 m 'ZIK'nX59͚Dq/>bЕpS5s71MltT~KoYdmX?k,P0E9p.y AS=k0_ 6[׻bӫ'H" z 'Q̙m Mt!XMvʤ_("܏Um^4 hG1 gu0da_4j^O ^\USEіu)̯z}^2<lKdu+fB.2U4%mK* "f& S  ᅫ?A#8K"+ i VϪ=)4l50!߹cZNhd@z~zSLuXNSs^O*U5Ƀs!ecc'׍ACjxy&[ %UT9 ?i/tR6 ׳ 3 9b0ݒ{Ϩ&pT u'_Sޅ95<" "ң-*J`yHѨi厚٤AKreGx*^86S9ձgYZbcdd286c536552df8d7c1b5edc2eb27a33af95799b4902f8e8c2cff8739e12b432b794bca1b63c5f51cc4a29d37b2064bdcb6698af5d140bc32aff73