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 '1tD ]% Knuth_Bendix_Order:threads=4elapsed=13.674cpu=50.388gc=2.1967zXZִF! ꪁ]ŗXiɟH!n?珫KuPI[U4uFAr<{恏Bb)=Ia؄ܨ'.d1\<"D`· . j(sq~:KLbJVk!z Cܥ8( ƇL}BR ;툯a^Ńq2ݸ~(Ȓ< ]wv>.tGXeERU@ ? s'9R#trb+߫N 豌?3T5mq}3R|s\kX|V:zD hIf_/v` ةR>mgbǞS }Q"MQ;{hj=$}t7I;c8l0-vw6E_*(t@FPY?`]Vg(J!ϙO*R7:hLAnQq@E4{]Y( PRnr/̞@rs,&J3DQ(;( ەj.ԯ]j6(ףhv]d  eh鑎bʍx/7Gc b1.cӌRjOiP$OdHlłO );XS-R>ڣ~vV^A'᤺^zJGݽ ~E 56ڹ$_AbEm%!k%Ί sB(FүrPʚ#yB8P:ro1 ѹcf,m'5р9Jb >;o{y-lThx'~pkVB֬IfjgnV[}f(m#hDƿ7 )؛:Ih~&OY 3@)`AH:QV^|< E}cKq  i{"߯|w)PvoާmT;y5S|۪HSwK`L6,H"q@Pp=ZM.|f4qlyOdp.7ZL/mR&pg jaA[ ":P j,g s':|*n|xP;AX-¸1* J[ոQ98Q¼Xll🝎9hHNx<=S~sJ6Ol/o0Nk+cԊZ/\|?q:f?t¹E²*c*b'u?%.O1*@F_k^? 0?`!$[ƆXo{ԣL%F&zGS.d8I -2_GyeBfGaaj9Tm؄@gaմSB 1 Knuth_Bendix_Order  YEyW:2ZI>НWؙ;1IS?UI:<u꺸Be}o‘x _Rnb-2TfG TҎFs@A,S%Wtz׸,alp6S`36d±%rкh<ĺ&f ߁ 8蜐PuyGޏ5SI2b9Fc!x,Pj]7{Bq"9RP?I‹_>lW0놣]z9LjU%S{޻!Q.s' AbG+g)op Ws" .`އ,}w/{,_ۊ%1w7r' saNv%&cSeuUwi׾~Z6 V9C uzgg!ތMŒ Wq馗QKsW){퓷bvׅCUA¥߹K-6:_k' *jCe"fc bjWVA@t>^LG$/ݯlh W!3-eMaF/;Ws(PKrw~4uo-oh_X~ #XStNY#!s휞Ңg3?*ɖ6>=jg("H9qK)ܯ+QBY-K z,! p"C(?U- a_ ݰR? m%_i}D( Y0BTE8N3r2iz33$d()W'#l06R;A{rGdyuZ;Q)Rٟ*8iI9+2Kpheۂs |j ehtpKJ,/72 oo?gF_-mw[@x\s$ZuyJH҆X2>Ug $Hދ.qfsuJ, u]6M}yyo+xrz?HY_' CgQ^o22\ͭ{["]qc ߽oi#qTAT+;`6u+o.|0Y~ [miNrk<8 9Jt <^:0қ`֘m8Wr bPbl)=){i$!μUgku:D]o1#N ˻g8"NKer9!UjI۴D Ï'30=7Y_PJuSWo,}﬏|x<OK\,'녯k@EYR4PS<+J+p*zI7{qt>\;JEzg H._fΘA_R% ]%u m:" `Y I!21˕|9N wM 2a_UV0ԐVhQLSCm z6's`ai=k z=2 WF?nurmIqevDb)[<)Z$˹^lWs剮"K %=r_n0zu~t~'sw'y3=wg9<{' AUݛG R}7%=ZY<;)C/h{1$G|&F9tj4gpQؔGŐCj7nx [ JM(H.2H4#t«e3˜3@̎X} ]aٷ<%.)7kVlǽk)(^[ű "|H'Zu#qLV1N[&]w4jdAܤtpn칙p\o3/Ҭoa6'}!2։*[+}+oۚ-@SDa~nRv蹟kkoti`fA !v.^a/0AoFq>0 {LI=L3^2ާ+y1$•w55groea1.+xR *٭]y-Bdczhx!?2qTG+ߒ1|)j Vd5\'~\|C,oGX}ʚg;!ȄW4eglPH "g4)הng%vE[!b+;J~ y[%WQ{usU|QĵGJ$2ns*dsXc <M,L+.hhM`D7ՙVn6>#0 qa+ %T'Wj Js{~x jWR0*oXlk Je3щ^ؓ]AƃsA6[į"fG .(TE.<4.yM崮mլL' ;=C^OYNW"a8KSh;=30~W jg|ख'Ѕ#kYԹGlf3gz&ˋͬ2Ъ"f1H1$Q|j` NcfX5Rgaʷ\|(=n kTw!_ž8 ZPbxf|ګMxŒ>L Kq(uu'q ˞a/DٙL苛2-q햶 cK{D>&HG73vԟB͂^ 1GFͮZcfZ &AqmƠax.b$[EhVGgM y[8D p>J%M/(Z/6_S_籓IZ]Ǜ Hsd«3 V3 ,o9rETn]_uEضtBG5U}tXU;B48=/yF NO#iHL' aJ+H=W*m:r"vЅ)oW1 '~yF^(r8gѯNe-24Af}HJ f4d7I6mhK 9-o)ÆA3l@_VSJ<]Xl +k,3ޔ&{bۋp32M­}9SMht9vdhC4~<7V#}RԐ<ХwRS/趿A% s̃:n"!bTO8ugT] +}0QN ;` yg(k%"ܦ*"]?923гEpdͨn ߲Qh2ѵnPW}#o S)\ 'EWKMML"49?%&?s m*RFb^XRO8^ܕmJ{VbR%Ma3E Ԋ?5fDij^fgpRv]~]t<^ zpgت-&etQͮhSvP Gwhޕ *T+tʦb|v^ IhLjUf>hb9b^HKtP`"k0Ok^\WW=@o,;xN>h|RZƏ/z8Qe-rOmq:TѢ@oZgP}؆aΉj!z3?=n GC|SџDbw} (8C[q`n0cnF&;{dӇ% Ui U JCDm;}pP]C43M`M>ڪV,'FɔWTfпŏB0x3<4oiZS#†Q h2m8?8bd*K?C ;b͑ >j^Ċc(5Ncprυ-a2,t 6E1l,K_w>y]ʯI}W3!}dIex|S U]u<;L]mq k,oؙ_>7&[ ڧ(@"XW[ Y3rS׈9ae$_BiO neDOe7/sG"+=R=}5G1^[O +|0 .; K ~2*e35g_*ء0Aп^Gɉ/*5 )KLZ8F)B:T:S=|Ȭ=aߔ9$cOZp*?=FۈsIMwSXԟ i$߼oSU H[^В_gwcgb6,tI>*pEl'mF G]M+r,n67Q+bHRၽQ|(eʢ3pYXrNt&ri|1A' (d{I:mǹ+h"?70mDtO=5+7N%g8aT\ZZ&b38.C (=x`R! ^]Xsp4oA}i%;(dt,I[r4JRαLnP*^<Ɯ;L〝,\J0166"͛(_4yv65 +LF#* ]l_%Nf'0$K.|9)EK? );oUmҽ dx&Iѳ)[!8gB+TEwHHZ a~:Xz[~j-̊OI70 z/Fԑܙ4ԼGwGk9Y*Iр]EIl)`VȐd-ì&e1I20gq>++cc^ң} d2 `4ۅWhw؛@OD^l{ۋ|Nd N?˗bM̂;cIϏ%1=~Fu" ؍!l[(UW tevNR̃G K#Ġ'#OYjŦgfh(8B4C$~ ade\y˳+[:Jه3Yhat^{aP-oB> XׄY,fH(8Mѹ1#wq\*X 2aŴ Yo:"}?WT]gIP 1TyEɊ8ӺYG~j+7ݟnXRo[i1*`E]Qr #!7IZ}p}x)Irh؆ 3J1R5*vFRf) bBj܉%a$0$h!3TfHw>dU fIJRzBx.Oo#x.~3j HjEśjJM%\mfBUAR? 0(չ+ 4WZ9tBac",AZr+`:%5#QD!ĺwp&RJ\=Yj&xM(5s#¸^W^JLuU}4ب |'j)`\%h!`*'*fp͐j*+woPݓXI<٧W2=:&UҬ23Y0Ep(j}UC%_k̘r$ߣ_32vjg!N.* Mɓ eHk+ݺ[~.I+Bk>6(y9uѥ[cxLķk^{YǹSyx27pGK~*nx4S >K(x. 'ߢAA/ }i~Rq&q&P[21E'7x+#oUDnV鹧Rt^:ac@i3G[󁶨FZI~/>5vGé0ڡZ"H!<*%ZP}M?\uS/goQ,Ǣ<~ȊQhm$01@6 +;Hw\l- R3Tk]MZ\kԼ *la 6)NL3$C q"p6}q$w~*2}ۘ~2E+WP]WWkJފ@&ħW3|W'0 iZfG?nrQSщ(m _~z*mٳlpBJfMvàve$x%؈(4:rV&~Q[ּ8 [qж㤲$%{6s"@83#X }ۉXփP ouyn`,m }&YrXRG RU[|2IS'ےKzf_G2~;B,!Y@ s>/M0mhݹTϯZc=;4T<9smB '͵z@{g 87G-?D/N}>2Fka -p{! =qz4yNqz HK*q iw\vBs")'1׮__<,H >E?݆= M0j?6 4&[s*rD]Do.:@ꭣ fReֲ.&`rilxR a+ Z#c:xto[߳zv&-\Ru.qڴzjZq"$cFZTtfoaEPb-Lo: ѝt9/5Nܶ{B_vkph@\n?CRZ ` l4{$o&jNL6X?`yC|]Kn:rFܶ|SRkjns+A*xӏ"Ckw{ =;!$Vovz )?c CٗmVv1œ'_pĩ,g@Lm/06.Fl M(ٜǦ* 9Ξi# l1(h,{|:~wHLV?O?uy"CX[PX _5R2~e-<2D>>/i!)?ɦ{Ķߓ`fFtzak +Y`պ3ɃλN+Xz5[[d]T&93`1rbe@ *il>p<~[Β-.xfE2 5!d8uD?4sU4x6s ԁr_f=³d*xGSRsʱ6> % ==-ˈ#Pf[砸*žr&=8NdLu@Nndlӕh7rW= !D@ŴXMx2Eyllf5{=ܖʲirc.򕪵1}E(Pfr"#welu HG־W\ ӕnQбy@VGg 8`5m#>Mjwk0 -N`8#M;}Qãk[WOQϗ2o5֞o/ɾ;{y0[75,)n6kpK,P *G:q #ܘiq\ Vp5'6ʰ n~|.i14}Ms s1q91=qr(R6@kw>sncѕ|)6J]!?gepߝe;X*2@,'#0V<=S}'0d/03 1S%٦h.AHGRpy $B4 ~F i˕գ54E*)<;]q7j! F$zwۧ)<' Q֡Dp9 &L§ՂN6f:P %BBdfvNGs_Fh=[CYu^{Eebø%-'0Ɓߢt_᩺3Bi#Y6g T={ʀ#8>rNߝgI%Khiys#ڳxB=A-W0:_2dS5ʤkuy=XFΪCO"z!r׽7+̶82U"Y43sk$ 4d{D+π2M8_\[ Ig'W#%|=-V.@n@Cu ƍ"yfRL9!|["3^z.'z=PNY2j; NdVI#l(#(WQچ&"`? qĢv$ӓիY"<JY2.q}. w$2wM`. k(׍0x[>թ_C+>3\pbW1itV&w#E|jF9ƴ(]WMP|yMS E%q]%ԉoQcfG"xB9UlE߁(u\;Hzz?TRBuWUfNScR:YTKUq1%HW&6ɶ1CEJQ- <9C_m \P-tа;΅X!'f`ݯ. 2cÒt^E5q֪Ϋv vy]~Өw{wzPQSj3Ԉ7U؞8 5q}Y]E9-3kVK/< Z/ sIw7ЗC7_|,/v5:ή!0q+j>.(V sOc)OooM_zD@JτKH#gx=D~/ fYDBQw?n W$BA>ʀ&w3o5=ڏKl;@  -.^;,K sݷlFՈL!#U07'gO{O9!#|Hm;2I}Fw#iʴE#%1ԑ. :w*N-)W5ЩRЕ[|?S=k3:Z[fރu ȈbtP3Nw 4MSRU}pWpc+ƊF?ΐ`a'8(Y8@W > ΣԩuvVF- M~d4nZZ_l.)z⟨%d̷$v`lG+ulFeJ$kfY0je}7>!VZ.)65uAj$w2ݰ.d*+Pd0yhI$l+啐l~UT%<[xu#z)qa4Yua:޾hjeջFx 9ϝ?Ftpy!bKaZ_6y-w70LF(G:xBM̤I`_Um%똠&LLmƂȦ&~ k|S^$,+bcDF]/V33UKZ#Hb30轡}k%.rH; EH^>%H^Nn[RJ hޢ)XC0r&RܑMKw^QgTS %W _Ԉˌ[.N ((-L#..6-ѐ1LyNS%7൝VbcLo S i28]ïR].`ىʕKĘUMw~UC-j^$(_1NNLb0cf&D(;Ҕ۾t߂R HKR'Oa8LRw 5nWI08<2ADK׸ N2"nFsN`FJJA\Ó IR1f{ I~}ONDŹ7keĕkQ-B g߁w-ٯI}_fQ̉i(( 'n!ҋ 2JUZ b=?[!P^*a- b-lDeƠ@vKRۊg`c A7rnZ Ili-ޤWO)8ĥ2J~2Ǯ)s>u&YSm" 9AJXT}naY,{da֏UD!3^8 d0#ޢNc.M56>|Z<7xY؟n^?9 ڹV\frඬkk뻷fDsm!jۺFItv^өi hd3n>@Gi~hcSz/L%f̄4>d~箕gu68Lϰy>[;sq⏈vx1 /~a "N+gH"R , a7lEKv轏eg?H =Mvi]lŒ92 -=[p\/ZGfǔ\ڼͪ6[fe`v2PaD={~+jtTzH}5\hS|bD=BŨ'Wwe9(2f듾(TklB%*syrzqb2@ED_Ё<t2W S#ڞA,P6?Pɑ8ً vU&.J8 Sım1>pEsCQ d!p^SقL gt>Na> '~(PckZ.U2b썫ç+hD'%@i 6IQ0;H雴X/fZ[X n$:z d \$%][!R}%ъɒ_+<&;#I5ܵ9c=흴/ c.j@:zƎɼF{rX<%{rWC<0Y5?"2JCr}˜ m>$tmח4Js !/[R.x`軕&M%qL=^Al+l!;D05ÝavRڣhkU~&U SӏhZx)Mcz2IIP5|ҍ(Uof[$ zLɚt$xt5#Z0-I+D;3hR9ZeTE Wc|2R8ƺ6iv 2M1Ҥȟ7HތPnŜU{)*\ o\~7dɓyBN92=j\չh3|=FJFbS91JzIضowzBad[ ealMv1J)oC^ cCi.aȷR/؞ev'KfF,?:m1žp-)72|cymxh_9=]EtBCdk_(eM^'z*~U/Fp iF10bhhI9;"NtFuQ+ N粗C7DVcJ"ī1VʴHs;WOX.ejMS>eӧ"ƚݨ;jt=5\j^T}N` Srduՙ^Ϩ}1hVzf˟%Cn+,V3i)k$ALllDbXevszLPU.Kc-P26JְOH;, { N--TiZZe6=Ŷ&$Yte$ Ɨ7J91bADRR3tnHK+ /TFϖhQj$5pa: zsʄIӓ3Թ#x( /jVf)gvGi*Y򲐩ÄkB ,8scscP7r YP6Ыcdf>\DD`DbQ۝z ̣BCN (rJGP7B=Xj#E8PL 0Tac J~ Kr523|:F0/ K{{ @ @''h5QB=xm=ULނʙgQaZLMVԛz嫮[vVA/G(.͓8aDͬϰy ӳ\?X>c9ӴWU7V"L_‘WI 4':yL .AOޝ!MIQ0sQ)aA7pb]Oǰ$jRZF&v%Oؔ%)[U^EEO"$kI~lR[3.<E](4x\R*uR}S~w, IMR|,f (uLX!Gmh#HKo5H~,K tDWXir4\*!!tN k,J9Mn ”dT#ӳNdRJ;k8l!ɸ ? B(u!imW۩bц`"^QIyaig/b}Rqu `yW8Ioʟ@\ۜ;?%%&PW*)0Q@Ib:mwm)"VFfy8ܞ#S{8sC *[Z J"=\+U(uz xۋ W>or+x+VAGN|(!j,őؙge+waV'LOl͞bDXn $ԛ3W̿G2O_ AٜEvN>E]*-O;~"c,v);O:[m&~apQ{d&DT~OXa#V5!ퟲ lC-B5NLPie|esNL1{㛵TƟ^k8hdf-A}Q~9in6$ݚ*;"ھYWQjmKW2FcHdOE"t0<>~7| {CCVֳ8W@d:vwu{HMA?xPm8|X4jKp:f?l pFQJ0|OÁ=&SI1==krmNѯ2WRrDƦzqLt<-^ͱJT [G;Hs1Ͳ7Zh~ʾ  xn.lԯJ\~#ɪJ`9SԘ?WܴD.xoj^]񶦯n*M揧7>)A)MӾ-ĠNujUuPKH"_uu*$qAuֺȇnK78錱RC}-ռ6K&0YSV zCC񀲗>kcR' gR.gAogtx!>'g5@(܎& w+ߓgkc0% 6=YB! |9bD,)Rd&(78gqjgq 0nUta;紪[;w\4ʜrj"8e'0j7'πY}xao [^]қpuA}_M9 \i;)U,`O(סL@^-D1>AZzOٟiAeBS$5ϱvӁ#. c7:Y=B;H@ɓA-ȩO/:C;/d{I44눉aU$@ ERΫ wL,{݉ OK[^r5ea$$3fS眀+8(y zYQe"s&}hpZ!/o }ƐQo 8C3 "_SRF$O(|4^jxGqG3&`/-d-~O%&gL{ ,PFRm؋ٞO.$ZhǏ y'mHؿXbO۪?2`4H(ɉh=;:}2ҒR^#ɦ\1۫B2ʌj La NVyhȘ PwI;/9؀I9q'&WZ-77ApO D@g*6N{6JYx{(ܴk~ڮ<ށbvg%|c 3ՏarDE~XGp>L y$<oRC۔`QXQ:0CxI'4Q>r Z4>qtpA% oc@#6֊`F& & h,Pw%9 *kx h$n8 NI(L>[+^v`e neF_zHwaN𸴖fiDLp6nYoi/.dPӸ_#jXN\O'fZ{7eoǮhILm:$RMqBK{qu|0:31آMHw:ŏ.+ˤ& _ϫǦˑy+QhQz]!{ZO%7jm"W,71T,7Uqm@阀39Pf/ͥo܀|L@_4v|EޒwJk/؎w˥>MgHoRYLǾRCԺEz%g+C6l[sVJXxyzy-݊T6bwn- PȲ2nzwХ6-Ҕ3Z,ܡS jk): !hw:E[QS7B9x(Wz5{cngA. u=ZkE4=)WaV+ŝSU':vU RoNwDJ;l,!-5/&;3=hω\ t~?86 Xzަj;2't\a =NU8ݖx F']G[ʻe3 @Yp5 R^{ .qLI6?p"k[ dz3Ul*ѿ(dܡ٧'n#{֌/tq)Y%HKͿK^ ~k ҄nJ1_)NKO_0Ό5lsԂH/D4 &"ETGr]l1||[nIm5E_-;G˫$3p-4[Os&W:L#:gX#lƏo}P U)CBdž=7R7B z*~0'piCAa}ެld 捜p;N- 4]UM nDӺ]rvy4cC%D(0FD<-whKqwPNEgt!G:hp9:5pR#W&1mu?Hljک&$X*Ȉn B#dcMW4[K-mE:3.fc9 \JW,+U14MWF*>M5_ tiߦkY@`j+*.| \dI4ڑŬ“^h㠇x.P9KLWXq0UKۛ(H7E1[׀M`?(@/VYi@Э$|\jI͟F\ ʽzc <=.,m>WnB)1_Hz :kmԜ{?+9OݤuӡUž˿Hҩ(ТCR[B&V;'{ ߕXC**A:(~zĄ3_/ibDA@qWTt,\S`tI-D+adB'\{rBhgEך* ѯDž]ڣ#1zX[:]ZBȘtZn66l,(rwr]hw+*W x5dGEԓԉmC\/ 7)!Q1 1)!u句lS7cN\>f< \e\h(y@}Hč`(J;D(04Dw l*;!Ewy&gj/% R+H[9NF4w4U1pI̊r`žvW-n)̣u &l]u ˆ(gqeT9  [c|Iy]i_!KQBV|Y0}rT RX-1DJxB{MX=Cq|JH 3ꛂP>6+B 2lM-3xQGİ6sfR{o6"W7Ū([l#Ʉc+cZ2C(%PNrH3\ ( UnĪ!3Ju۰t`r°&Jjr4Rbz0%Yze^0l[dt,^6T,hE9x/LV@FٔT>rUZ˼ZcgXpB0:l} j3pl&̕ǝX#T#2xݫcMj=zFLCQV!y\ ;XzEuUTwu죪G4D {{^B(n _vBͼ#WhQ~ ww@:=qpAyًx%a&h𡙡e0;dP|Rpb fr ,(EʩDM5S5/hTF H]BC󝋪@)إޖLv\cG&5^ 6jhV_=%k"_QBhڄLAt"Ec/hb݇o3h𨎟k8mrʅ{€ХW [gP81e z+m$'VWJ>'?ho×z<: 賁?V99c *p` v$i1fc5My@QkGxф\N48E>e$i%L1&mRxVԄƟw%/CNb tـ" duDE^,aJ]TI*F A'h_99O;0+zG~L p}=E0FY ,̓.u*-uun2 ԓ)66t;b5&^4>ǔ'Z=ƯZZ4{jEa|!+io6ZsZ<;KH{>fjV0:Pϼǫoo)CFfmp>j$ʩձy iձ FUؤXWUϔ 6.._O75i;q0u/.4PV3^ytٛs{g#.o6FjigbBʨ-cO$#d2p@3d-=HR[kdu7V`H!ťmUuER,g/ږg, )-.pV:̈!pu"n-A&iL3|;ԈlK=I!|!Mu—{_e8%oca舑~ʿ1\7 S o !!\2yRKwBAEKU"a$AЛҊoD MDC11d<|j͊婯[30r;cwQ 6 pLrlhH,$BtEJ$[pHPJu fZjE ˋ88B|ܾ/ ؤFyR|-/2t*xCVa<$׈/ hsjpXZA4yӪԏ/ә&udmA¹oGf2>RnfBXʗťi @];s[&_Yχ7gDSbi'Sϴpw-FGZv[xwY l3ZhNM^w@sAj%?987Qlp1cWòYLBDBxbU=jYFB vR<a~_MlZ~ &5ZX/.ujd*q1_\z*ʐey2E' g=d{MUIAN("}]PMŕ2W?Gxg&|>akV7}/ZPI@ OVM3Wte;ĠT|A<쑰K\Ȝ KA\SM֧t<crK/90{Y/7ފ=٦hq&Z**Z3 '] 7$Qa 1)y:\("fS0's<$j:O/ړ,ٚdW$Ϥ^TB/ocFQ ポ4Q*m묻'jO@SEMFc/5X;9)Op{_ȾG5%4+N" FDb&u>ԁxvMЂQۜaD?)z-oYzs%f%SLyUg 5j` =ʂaam(97;rG|{#$~K/꿑syC^TIlH|t1sJݣN;]9(8ƍ%2BH,haMLwNt\R&8i[M R3hCF̋g:\*`bfu<'cpƧZ~pr@;V,ūdU ~ W3IC11]ch6)O_C0OXӸUҎV^)6]Qnk]Cs 4ebYۀ2W{cVQL:Wߗn )^QcM?D/*?Γ-AK}>k'y 6hm;G@ؚ* wA.uSFS̠0K_,QhoQߵ>s棦-g$Nڱ+n6ǙM T*_+ns!jsl~ly^ `r =QLSk,pT/ObF#b #ye_g]rXHlGtٔ6]UNbKn< ;->gߜiԄzi0 .YY~"^C|=JwƬ1a&8RvqM7Gɑݕ:3R.}/!hd.1c NspzrE36& bڒ"ľW PUY6Ml70o/ȇZ.Ȉ"ƏM+J6K뵤PrD9|A}c̻u2(ζ 9+>d܌f쟎H̓Coeh4Oz 5}VE2<ɋ|A}Ch}3|mq 5^ue ۳JJPؓ2/deلڿ>ĎSCT`&g p}zGFJt] STMgiE&lmGJ,E( _h`:햘zU.]iCF^r2Vaw`#@-g}*I[uRojsw\.d$#ˌ,2-750rIGrV* ?R83fFֿॐB^sh|USf05^8$}i'i iabc! ÿ>V@'̇s$chs$1m!\m"6dIލt6NWE|Ho6>FlB=:q\2pY1T$ ΍8Uڹ=i!˗@J} EV`Ml2@e^!>Ll7l0EL .|;al<%ձHĊwqtz!hT4F t謴`-drg+PwS'X f_'s/XejYF27ҪMۯJ>'$%!vРNhQy %_DzZ}$m__4LYs6swub|iF9t_`*1IBLu~f4@.LCR~}'>_64BF|} IXHYDy(Hĵ \^x4VeâYaG3x =fod ?sbR)a]vP)z"ef`o~fDq[wفhyjagaEJyex0P#ġ]U@c۲:df7rǛCī9Ӧ~L66E? j_ wM6Vbu.QLOŅG/$5{T$/9xE-W^A?geGisAM _s":y<$K ހ:OxdҪkvk:lsA[;&-?e/틜 | JqLVz5 de]SkMv œz^GdxKLDӲ}H:0 ;:W)p_gZ Unyizދz7$b)p 5+dҙRu ~HFxq)`P>aB/(r/t,)PTv+QB &\~Gtz2l$Iu`mōrކzf Tw.SBTg KoAL𤎋춐&LyLʹ1nYY//$˴=*ԓ,ȀPMC8+)k99nptY{~/V<:v'H!b!`%vL!W}R&B̋<. / مY]'V'D{dzS46 MSBT D^ݩđ3 9=Rń1Tkuj&&1+2ƙ)X v /S-6cl`V9y:̔aߜ)Bk+ mxG,1 @nt~S{8 ͦZהE^_| [79ogʝ/^xqPH|E7~kjI~s Q5iϻ<qTYD KZhoY6z}rǩto*҉NPȮ$?[h1Yԛkgd< < gYJ\+EGy+ҙ~a0!I=!f!2ֿ;W2\:dwx NF!_֧9wԩ?W?vc[*+]bBn70ke޲d/Us Z~oxZ'jDt5^pMͼRW;&w-u ߂<q~ Z8O,?"f~;^ϕu mO>݀ @g ;S#`T|op_UN$ߞbzbp 8'U턤Y0H_s0t%ju<keȄ`͋>JfNaB hۺԡ(Ur{pӱsSFc PuFC>HZjEE.7sjaKjC] aa样lM'jX-dD8ek*@TО-[ z9W-i  K:u& V:= *?\a|A ~ؖuC^܋{ lS\t wm6%87#ώ]^'⢀3BǁhZbQ_^Bp\l'aN돗#rRyez҂b"c@ٌg(y*]~O$&(q7梭N2()9NO]>$)bRPD?b e>UJ%Y ^ 0؁O'E×R<{zem1ax|/- I"m0wij VX}a{`J+"?snCEB1N.[8˖mJ`uK n wqMh\`J؄|;|] #=6hÑ0u+-S$MeDrRZ^v!<&`:˅! _dK׍4\zwO\zY`840iZ4W+?FPU˹l84|' t^[m-lmJCǺJup.~/K ".GwZ# ANW<;1ӵ(wwz:TzBlw":*47Zt -gUʸe=WzK'hCNtnNc&ѣxdLt.[4 W&Zq:e` sXZO0<zppHݣUGbH,/)T?I21Q+ѓRUq3S Tl4z QE}7OH Ɓ? |gxK__#Q37Dɦj 3[U #jU6=f:E˖J2UՀb=]7 *z\zɁYkٛh ^54?k-viH kD&"5?2/"K_GRs0w͑̏{0~ǡ=~TH{;L~=v1n?Kim cJƉ6"A7s<aYRiDbSVd]ڰmbB][S<hCf6 ~"\\CXΤs, p]7;]C\>eЈr #EOTN-]8DyG~E]6e+k{]#rr_H=W%|`j{CsCGde\6y?"ks~;]udpS5$ ݨ1$V?[iJH3䀮b)pn-k'~{Ae~9L5ʍk Hw/]ż+UA|q-8" -S7Jk/.c0\+.e^1E.SEAX\׌:@bVitbU 8`|uhGP%F?MC8]ch{ ݻ<,6T.w.!P`eNPj5o1vF\jlzhf~oN̻`jAP. 4͑g G6vQ=xeK„VlX5Z/HNd) K1nTǺC&*KkVigClu<;uX#3.Ӆ;BO@q^6$JD}VO7j4Mp21 1^'HĨ- g=ew$L== J6\aL}t(BK\ctU2LiWsspO|{pWÊ f`D-[X ᾴ>E؀wUm:s D} LuIT<bt fa(13x$>A㘥]4h_?Fugב Jh-Gie1%mL$ٰ׶nowKk{Y&aJ]2&jnaFdX֥ԹP }H];ZOyYy "48bf>Hl5cOC($  zh~Q :u:W|oh e|ce^km^-HntB6 ߕ2QXH1yؽUߚ d5gƔtΦfXL` Uo({262z Wvz#ƺ\GnGc2J0 &#g :ILJz1Tq'4XtB{0G螵#Q(P#$%(0hp"ƒU|M╝[*cK:yU؞3+|zX8[GǤ dL !no^P5 $r%2/|mnNҰ~m6)ojن^" . E=ln'" x^iRdc]S$_iS4U Y/gOB`o4}E{VBo r/*ĉ'д ,aZٲ N٬ʶGt.?ܪeVӰ3hgu= unp q9nʆY혖/_JT&$vGM ky-|vʽ"Lz@o+ MQrSMKI4 :IB!lvJ̉i1}eH{ @x]UX۝@|$o`չ1!Co@-kEcjuj1NNDpimӍD$6ړD'B$#kmRC7GSS%h%5y{h:< t\aä%I6*Roj(_` y UڢŬ=27 m?p8[ku{>fQk _`luܐHENr'.#"*éP/vJ._A|q^sOkMǘ|V6ϑ W}  I( IL+[DbKGq'MF:1CwK"'z4s)lr?'>+2r n` Bh)J o4qT?J}`񊐕K^r ˸J0;׼%!iS9)vM`4٨B*4YQlO&^ o/4g@, U"wIb1O9[НlE`t( @|c/۪PNIl+^Bz2t@Q)zDZ@B;$kA⺯+:Uq3$oFcKь,D n?E0& 'рw_%=Cg^}{I** LMq3;)tqw+$TRuy=yi}kKooڗ#7ַ/w!=B ]{m0:;V%JݕnRT]^~7h[h;*C 8L`sN=E7*k65MMo|y N`Ǽ+e+bPk=:lnVkiseKdP}X_MBp;OΗFr·xLLaEk`/jPkFhxK/%A)!r-Wueԗ ܁}j\K J`͖k'}Nۃ#{3HdT|1K"Q{ Jk`h@N2 sDr~cx#B[(P~~p9E-mxcaƏk²w=fE7|.ٛ_7^9ET,FaZs;ۓ<I&sA%bhUTĺ0ÁaM흾J#cKWX_=E&짗6Kuê]r 㘾$UCta/~x5]g4%HcqQdmIZM gpq1"3gĤ[OK : M8(E\k=Ǵ:g:gպѷuTEvy 1%Iu<m3!kUgxDb/72h]O48)=xg㎈'>fM*9T:%?lv 9\NqvAT~J)6Tx $h^.#},^!/l*@3IU˜uKTzt^c t39݁蕛Zp 퓨6b 1hK6cp贵CCpπKܭ@y]Pjm3\MÎ hW +DC`#^8nr VJu+񇊳bVreʗ1FҦ`|ye\3&Ì,Pэ,qwo~#0] ;sK[)g¥D`;g4n."jśw|M`N O^ |p`]5~z6 tt'99%NNTݺ3qYǷ\!OEbD$V^)>P dp3DqT xGܦ-&4ܟ|Eғe૪F=| #xj_۽1&u3X{SLvƁ^lхʳ2?m@qҽ ʍnZN_ItPD#:ydcN[Ÿi}[cq}`QG>Ҝ޴L"BKkGHZ eY떯~Ei2BO%k]z .A{䛥EElBoM R RIz7N/Y8v+ t>ekYhXຏ$eI381l`,et45IdQr2R֯)aEZ}T%#b2{ivF ?^Dx zN~ 鉳p < _޵Sk]e~RެJ\DIñ GVN,~ybu1EJݒ|̣ﰵqch22 :Hf IynUTyDP/YvHIј=qg_7>YcZH1l5VۦߗhAv;x2{H07'0ܟUܮX"|lA[UJ@$5+9YYucp~Lnuɤz#ފzQHpeSA_w٣zMZJ ҧ6`缧v$'QD.[1Sk@ɟ"k32姦uZ}lca:gVnd+xywߐ!XҜ]|Шɏs⠋zNeIYN_ia7z-w:.nK]@~m|@A8\6(ŚJb畤a^ bL^sjj',(@GLQJMGoJE=Qꓠlj4{O|trmvD०XmGBHI*N215d0=Cg (z=OfKԛqIta}e䰪\]w8m`Nz 9xF0[ox:':yB*4(Eȉ{@񃠜$;h9맕LKYԎVW! ɕ`f^59h(5;]Zj\Mj+sbmo_N|9/^3P1E=y/9Ai|9,f񾀛b[lH~?(s_q%ꗡi-G`#艐SgUҳz/˺ -g@ )1ZSTtix4$rk)o"= O,NV*DMluw0G*uKVtDo i?i^;)3b +4bfvTHXpL a!מUUFu͚R-Td40 |QK {"OGn&6fK0%YE!d5.NTEϠwAKكhŁgfyǂ`"ĴjA2e4аF+ѣ _,mE^Nx7`P@/8}VD̆y'`͠7j4*3U'vCC ;9wpB'y-0oqE vNJ:؅+xzs..UOgyɋKx21B}L_xH>9퇻lD)5e{Q.1; sP$ dq%3gi$[Ap`)G9n_QS5r#61T+~ט7)<*ϦZʖQc?2U= x^)cBW!ߡt;VѪIm7tV0?xvC:Qq6'bMzjiZ`hwDZ ,~b:-j^J_IGbA]u~0mF^oG-aT6>xs6هPʩWO?GxTrzx6Ǐ }R`v2˟`+3d?`d+#!TQt0%+]^O *އ4&b8 C7~>B^Y-S(ȯ? V-A/ ܐH^c^f+%f]Qɭ"%傕pʬ)b,z\; g~A?;Yl-M@KI}EIyB6{h1-~I[g$j]"}Ev %هqH(FrFʍNL4DOh  I/2GS$`gN^wTq?6<2W]HDp=xh />;.q$_ҼH!R(7|?ȉ{;Wc'ė[lVuI8^I 9{8L+"lcy"bZ¾k'҆&Z6Ȋ-PƬ;[E,l`ThK% N5'̻?ޭ2[rnL? \a3dl ZCMZQ+0$O'yK^?o>w"dfɰh`0zqlS\HTd~*ei:-?$L.d3 ش9ϫ;ʏ/Z%h(?ì&M EpԜhTM@(cY] }Pʫ:tϸBc5tc[yGq3X{^񤉪^}\(4oJxx) -Kye&&@* 覱=%Ac*O02TNJ}pB: -6+/$A'F[j{W@0T! xB}idz ,s f~:Mfts'˵xKd.qCP\ \ۙs%L4sӏykbt-u[D)YC5&:K_H-#0[cDS+|lяGK*F&Ec1c~)ۤW'ݐCV}Fc'㐫VJ&I^`xٮn:Qx쇔^֓j Km:<)M6O\j.+W=~ªkwà:yW1>ʱorLڻ'쀕b=#ˍ6j(ӭ]we $l( Ee^zyV}C }c^Q4sY^qkEaY4[&>ʁLC v]MĤg 5,r#Qvj`CZwfl5s-fƓL(!د9Wƥo0;6qzJJQ]FnqȍP]D;k6"w $ m>$l` EC% cKiq⛤B籕i3΀M#u!KxӶCMij6Dms#.ØGtڠn-dH`rN;AnbIg2RIgLJSp䀘ZE؅)u8F m؂k7'ڛ4>ҶhOy`dkV!$PkwW||Jp,EY XZB\;=Ʌ)F/KHI #D҄WB}lf+'8u%3Ӹ qz\$o˼8ڋ|/UIRLBGKpywM R*oCMOMxy^0rGiB$,+ڛ #ۦjŋJ^5&v= 5u - >&-&O6DtXe+z&J["rHEoX*1"Rj,y/XkcR:Q]=gf 56#X)U=LP 7y)ԧ䑊$?Ў XXDy[n?MЬdHev~.8MZ@]8cn 9Vɩi\cp4(SxoSC⁡6I:Jހ^JoB<_8 bH3bV`x[n\It}NNqn2o7N(צPBJ6r1hWhʃGz8ħˁ8ܡBO7yJ3ĂLgojp=aپ6* Tw;AdJ]ߨ0 cշYF%bIz'!wwjbUiuP&ӹs_%TFN3 󘻡~Yxň$\l D`xF|t@{{Dw$HAJol-r_Bfd D0:0=񹫑9vHڟ3%m}| 'ELέULR^.m("͘ d:Ie syii`>W8D{Ʃ޾Lnh0*P+|, |~ש+{D~5贘`h-aR$E^G߅EyR唭ܙ@/^4 6D=lz2av {=!`cߪL[Ŀ@/,)L>xy|$wqÈ &C-m)'zǺ6q#P,:;T&6ԑ*(b\0Wi7WGhl"gHR橩F$)EԅH֐h ,S^]^G_q|BKć*Xo$I} =ܸ/UJvb An_!O@z%j"h GD+ވnCX5,B9"/55Vz-(2t3:v<遽Zgdt&tt )zi؃B^Wg* hGMngݦծ08(90݈6Hgmv)NHPf(nlc:;2a Ra慽_im lX)2aZHk^+I`$ Wl?:Ú5tQ#d7ĥ߽OEgȃ82 Fa#O Ź4Dkh~#olN@`=Mn>[j&Ki7G<#6S.*NyyF0SU\/$ :ij' O+<_WFɕIIƊq.V<~ P %rv/o i.Rczz7.+v_D-ѩG,U*턦xI|E6%A ]iظ"JwaYǘ tB0qKbh|LSdJBQ/xiȌ |[`l'_K`g0_^ʞ4)!ZܓHӞv4heNUXW'P6G^HI" 9;Ӎ%ࡺ lxl3ȷ I-V'ቆ5-?>FcHL 0Hz.RG0>TTYhnwċ_;mCnB@H˫׮n٩M ^Ԛֿgؔ@2 8%d{)EfbP !dQ^@Zҙ` 0Mc̓5H{bI20xiP^;ň=3^!Cz?uN<˳0Ͻ7}0 p<}YULi??<T3ތW6$4`ª<Ǝ w,y:g%-mLQo,o2Ti;Z%XF0/?goF0eF.!b [9A/*:׳Yt'&"4rjAz PA'Z1uZG2f)mHS[[Vہ(me{#3#]!1Ql*ƨb<) 7Sj+E͙rsC)@Z ~tFt!~nk;o6W EJ]FmvLSbw!ڻu_ `>z".tr4 Ȩ&vHY$Ls$EUG &H&!?֩g}ͯԹDŽJ h͍N.10"ngI4q7V30lbxȵ“s.dֿWFc3z]erk^۫ݚ[ᙂ^-[J~?QJ\ g%q]t=07އ+8EmGD<+C*Ȗ7?ks%޶ԟ\H~7nCxS-NMzȚ S%}h_P'O[pF':R񹥀/%ģGGܯS 3|=rރ!E Z$TY]BX09r&ih{2{)pfZǺ0< 9ep03Ը\ A>P<(I??5'R~YZE`3^I f,&֝4*Dx *zs5KBItn?Ε(QŇCw,oV͐%"V2N@SP_cVO=y_=pd~5VpNWvF"k E I^VG׾Ǫicڳ +r?N?Cm6;@]n7yل\Kl )m@NA>SO !;ź#.j34ea'T=z~9siUbx1#C {wa,'&A2!\v+GmΡR>pH.˰i?-uuCWq٬jd-*bgYZ7zXZִF! E]ŗXiɟ@cVAB»RZKf|ݫjns~jn.A |S*[2zD_1D*!ۯ67̛.EvZ~۩w#wU}95z\m. d;NNV>੠ŸFٻyI~fS-H ?ˇf-^} <ygCGRSQM>PS ܺ1;cgC "{x&BLgYZ7zXZִF! UJ]ŗXi%L&g0yR⻪0DSk 6/k7@}ܷ#j2#;-<b$Ǩ=w@b)eCNGASs q{mxÀ.rUJ^]ϗƙddw혭N?>w;#SWQTS] -EF~bERhX3;&8QNW<8Rh2ۤs\I921;| (֏5$ΔhN;$FV0~v^(#JT#%4:ەGZ2$zcMAdp[ꃧgo\%w_Բ#pV`?K>MG)"X-c? sX ,Nsʸhg+\Q-(ԇ,|~VOkXQ(d@Ϻ[=!^5|iŊq5s\᪲i%m|~@%W7S 8Z{W +褵aj(7CQGcs1Z*v^BצBڌTW/ft-i yne4ڪhh4/ŕt a+)`'U J^g]-!(iZn_3+o>QO(NkrG\L+^A47UkA!i),X޹ѱ3-bj6&ėT$]@>.]["8#lisE>ia}!y*W~(ϵi@#_N%SiS4dS(*OSYx($0 Uea1Ɖ`㟤sŝ 4}`Ϗtl`q/a3.J䊔|->yj(\E!(瘕ɫkgm>A`ZH~eղxh3`ȌCl-C)dyy9^*c-dTjrvr:%-.O``ҔaԿwea-q3m/i>@ ݰJ@:ڴDAk8W?]7CڪOH(4#X^u,]6:6Xyah+Tu7UTЪ-^^R ߅ e"}Ik}v=Ll^@^Nt>9؇ij˹XNC@8āqzǽFړM1JOWx/a "V7-@;Z[|LtɻɕG mᗑ4el/\Cj#JOFD].⊴1}E=F0yR lFi6Řr˪mv]gYZ95e99be90e9d3cfa9a9c56f0b3fe17468910364a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b ec950664481ab4da9d53715817c743861df141f9 d4ba39b1892fc3ee08c80ddbd89a63d1dc4ab1ba