SQLite format 3@ . BBh77otableisabelle_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 $%$ 4 ]/]HOL-Analysis:threads=6elapsed=311.652cpu=1390.200gc=98.676factor=4.467zXZִF! |I ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼ 0 NRN3[30L\ڠ3[a&ډӟA9M;.df$3_X(C˥oR@xJ6S0T.3zqDҗ_ {k՜߸BۈJ^q8NO&aO]1fP)oj뚙67Ljc]zx?rS(y[6 \\Z9=#􋝷K( { % HOL-AnalysiszB DŽPn.WLMe]HS루' ga 2wMs!6L\W\0:'Kw3"y -J+xCCrʞ CCPg5}O\@[苵`GcG3Vrw,YElar^9gk^Q&CQ$' ͜pc"o=s&M932e lL_ qF%!J݁3cÁn'CFPڪZod[;,Zan:8(=R2TB?ORLQbcz:_nsޡޔK ҈DۜES`5recGf='u P֝ELd]:R*xx}kz~ :,lcK+}J%s{=$'Ihg&˖bJ )hx6 A'vȷGXd|RƏ~SV/>C5YX}7S2wL"z;.Yt].. 3.?Qp_"ޞꔏ~m^sdO}ZdBIM.Ʀoyߖ*8A#9vR]`]5k9 ~XMؑ{if*I #z I}"+A ueAbەXeEf .&AWY@mfqJ=}a#s}frCVvŠmEMwq9CMj@ߙc.rSQW| 'ӛ{yO)1b]~ᠵrԮՔy԰][Td$5lgdNve#Vn R}ӫ{|s1f" k4,F -MzTX*pӳkkʇ3Az6D' \ z=+!k"׀IȢ?ENUqĤP2(㘅akRe@.rO?zicagE0e vc4 dIPJ@fXA `2[ XJ-?u_m~C|nlcX͑^Ī@OMzJk^I:1L >a2I<#=$ |'|j9__>1dd=%a!)oj4 Sf>BGi7ZyR 3b0D:`ͳ8voTt։oORin &$u^U ;VۍY|PeLđRG@=sK밄X9yA*Knhf؝-ƆZGt ?ܹA oGwTX }~)vӯrzV ^%z6ܘ젿t(utTf2hW;a>*b[l!k'Äk`ZΌh-lӔ%f;6?!6Y679chZ`iX_'݂Tp'3I͕j =Z$W,[^@k q F_|&fE7Ǿ m?dTX|U"80fgy0:v.i2ŚԻkö,/E=paed^z0[>JlVɌH f~cYpZ)!O80ud͌;('}OFkݗ:uYAװ!LWeMv[SG[DiaNNzbo /G2!= H u}Ә NomK$ns*RA4)׀1 $Q7yIOU Hmux}0 m][cDEzA,J``҄T vU>ie<=Zח`<.kqi2Srr؎+?pL-6>3wf<\EVp)/]`=Ndl^j]U:5zD dM&_A5WX~A?hYlGۚlu+̮'zLm1%<~H__Crؤț dyx*4\K\!@F_OMkT$5mO [G1L˽IhHpWŘ*Gh*~0`/bny(xv:)8bl>"}OΛE.&5R|,2|>i#M=}3T?Aȝ.>T1f [Q)fKOoOi;͍ڡIWs-Y[ /&%$B"> nbRYa0 )!RK+dx^У ` * I=w_*{̭ ۇ'Ttdfo?+82 FjHck{/~ʆY@G >yz)Fg&c7KC~Ĵ_7,\fȅ/rV]4йO]z}g2il݉ق6vUI9b+wx @/MD]"I %c&5lD*4ܓR g7pՔk^|،1$EuW[~Dϓp).;k+Z(sm:MXm7S4Å@c֡>W$H`}d>AN<~!rG[ÃDOp\2OE+)fL@ނZ M=x(/ 2ip3ynp z~8{x,Mm5VKaR6l> fx:Qz }"TysH*nk&uvl"0 [yg)P T(- =,h(ż[O⑗ljt׳<ˮWO*vd+L0C؝DDƇ+ g'G*fEÛt=莽xGa6N56R@D@+eZ_p}+8YLWq8$cz B=7@j61 5!s10jٰӲG2ě9le[{薇R>-5Gf>g3侠+5..e1TR D_ gÀ[<@0q,цo'ɏLSS|]zhJ^\``4Pryg8id;p_'\y@86*\\.bz։bn)|u" ֲyEX)l/yuS_? h"̞?/,/ ʌ8!?8rĨ+_2ڷbG,8Jh (-\bّm]"rͻ&m&yHDŽC[=ВVrBjY3P,WY[XÆ cVn E9Ixciws'.{t͠&ôؼcR@耿(LA2nRGlAMت=Qg!'ۿwNDХc.cQ{/?(w6@D7ҫYmnlV\m߃*L ciZP: uv1w"UZ,'3a}SrZQ2WTx*U(Pe>vtz攣1v@qD-0 !Td>fx `c3B3TlVvLl4i }r}N..z|abZ% *l<.-K_7c%u`Atb6-,/iYȔ .5&0$1>$>0sjvܬ h=)FjvPڴX7hC:dIMt^!@ eqa譋<*O@%زЦСY*BE?N12ݮhML b˪ѴtѭeKYlt[TɇEMP=HjO/8H [)"bB*g.Hj̦Ǥȣ pиܸ7?8H4x*<'mH>χ^ujL!Ю/=J֡{YPxjxbJr˺n:xҨO]) #gkYue\K$Wx9cOBAz+VԄ1 {-Ȫ8dAW&ַ)Ҁle*~pys:o`ẀH#PTzNhOtd'vgk ?Z t9ɐ:ş ?n@5N Tt 7M3_cr.79{f^[.Dcva]_h ># 7~C=L5{,#YQeݥb2Oo*v#4s\z3+W{Lex{cS%_c)0H6௱0-+"sʘ{H_Ɔ6a|Kx!ͳ?k8JˈiwЭ6?@(] gq5ÚN'ZߡjRG=HhNZpPvIҰeH މX[vƹŗr;=L87I\<.Ï 98+ 6L656-җg ɸcR\r~mOac+jƧ[-+li *›l;@鶫xTi b7(,?aR .N2war?Vu*Ovcñ$- fE-ެ&.Zlwje QLr9,[q'u Pca#hmc7V(Ft5&_aO12++I&@>k \q#zz4-ƆdyQmUG~8Mk[}_'; !.!^-hu AXfO՜8r#-]oup%3R+u0 o_U9IDϾzK@鉉^Ok'{p+fw1ozFcAT8xEoL}w/E*]Jr l$?K}oᖖebpRj .ܾh"+>hm8,h0Bu_@ 9#bs켵-YЈ0 BglP#Kn0h΀isa &SA l!rHZcN7'}(uQD73}PgMpeAiHפ,j~*9dܾV3ٶ;pM8~h[^'Caug2:ac z]J \i>LJ=?U)n(d8R- 0_$8ϱIq΍ΣB7:d~iV am!d q ?Oi˝99Bp-,ix8|L #G ~ugl\Gc'r/j{$!tOe &؛SEŎ\3܄gtUF,Wqobj1M1Mdn?J阶}m2UWJ\՗18شJ%P畑8b_ҜmZT#DY8ohOPi^JlpZݡnjBq!7NA2҄Vg=w鑳oU |pSg *"{ 92kcA1/(o< F]n!&'Ƕ)_&"e~"^,%xW)NMSRTM'׉>!9 y0*%>M>O١D8MtvaZ.Leս6& qrvdMXR&Wx |{l) esA1]}PY%x??y͍oPe-% |gy,-X0s]haMj+n6JRr TǕuYB߃}̝X1)4om~џRĢ 1S\[O+%L)O`9OBoQQx3ZzOeҜ B3Ē Ha !RpܣuʇfMu?|FRċ3 xLpQ-VY<`!a:4lrRV<&wPptTГnk6L^Gx|6yQwfybVi}/yJ$-NQ2$A65}eM8ʄz:R2rU77.[v0;5>ʼ=DHmI;9|V@ ]78ےE$&:3dm(Sx4:QV|'*k.O].yû_z+诖JPbiΏo&k٪Dx:A2@xæU`Tc|gei*H{~T3-j-$YrN/Y nS`VGXI+ۡgYVq_cy`*EDzYmfi&;yhR_%ؔbA pB'Z]ۈ:@ԤJE'ѡNcS9nf+JtAeUgNI&;k3GHd7cqb ~CqU\O)vYS۟&ԤG= Oﳣ*GZs6].=Õ &Kn_,1$o 3tb !F`UkU7@oCTܥOONH \;Ή&~w\Of%?ٚkQ(q2vmك+LMN*T\C(rv1,/rIxnQT?{^ճzß^ykV//ڶcvs8[ҡ;{|΁WLjXdVG٧Y$Ƌ'pHuIƼ~%(6I1΄ 5lS2e=KiX2<1j , {&m}ZL^z ^@=׾-c :DCʈS$+(ΧoC~gT5߲e+-ƦN>q4&_(8c4SSEkIOZe}G)Zukf%=٧n T}apߏB'G6h+jWj,尝79%G3YB}42o~N,? ⓔFUN`WpXjjcJ]Iد0?Z2 ;ғvQj]=4fv ,,ikXLD̕(P!fXb-/_/T LGșf*rOe[@&7TaL\N]HX1-$3j̗-?HqYN Rr2)OAb!vqa ;c$OУI f./bhji0\~Sݚ\r pMSy76H],ԡjKG#A-7 ^nIT9UԬs|uN&|[ |Ac/XSiq}¢"XVɶnfP{{uch`N!?DVbrÔ%@UV?qY(hVNѩR#ԫ Լqe'5avc1*xssk[cљ0qKW5V#3G:=5AhKb1aZ"Xv$\} +!y=ܼci-vp%jPF ;؂xk'5'@N'ay47~h`F[UK(5֏.2]s 7ҘqI?rI[IqR=T yulW P`W )(Pߜ X)⢌xN~v04ppR3*&y8"b/E6/-}mY @cjDY^ԵzbfON{GEI=ZԆa1_Xfz{RP5pbmeQ['7Wyګ!7ف DDڃiƯ8;gf hЗCM5.7ϙβJcYLk^6wnfst !սP͵[ΕԓD%n7 2GF;F͈M%C6A£A:*L(->HbE|,c,H]P'%+dTO9{똽iڠ,Ь0g])#0HyM]'CH1}wkΉPb,N|x-_ho<`q!%,S:?l #u1;i 9ؠ.47_Ng"ݏӌDDTNGSto^i[K3(۞*Jz.1ͦVD] $iO)Ų=U7RBB2>"",/Si\)O0l|ԃ OFwKq*ZvQCj`]li)Ellӱ[I~nk;,ڶ(@,ee%g0LЗp숇W{OVjE0T|z<9"L;FT*sۖW0!/F hJ!x__b;@g SW8mgS&:e8%pMhS2<7p1ݰ~}ic$oQ)3f} |ȝ_5g. d/eM(8?DuPzC݁?昈%BDjzvHm~Lr$k6t*78~y*+ :I8NE%hycByibQ"-u-+/d<  SDȏzg(?!xrm|O8 \܌kyZH$|K<DkcQf&N,W7ԣ)'f)k\oD]NjU/BXkX` PREFupv NեVNj@'7ߔ!N5=G݅i~\ =Spn7ѽ@ρqr6ЋP)]+ʆjv_ïgZ!;oі2k{*oГnxyBDǏ +s| W=dP13hOb>n@qlm=#I߉Tޚrv_Aq%fD;. |4H]/POjn5 %i.PgRCʏ@{/Au]|秙lz(^Ϸ\- K-foZA"1"U%0?gD \pKD-CgnZPcE&pO0*-qNC f7:'@FoA -/OcW{WGzSt.oo6)?u\@c̕C 1]nѣ $r}V%eqS[\صدƹsȌwȚ DŽw@7rGDAJR,DŁkOJ7s ZqW(_SϝrS? hw&iQɿA"|e!M:|M{MlEE՟a yMͶ?٩2 icBhmnHg9E'{ <X@5C0*(B8\ DEP?!XW"EyXJEZ}R1,ִd=exTW 去O&˦SRmfc+|xrzOZ&lKMWL5bYKitVJ4i.m0ciݬՍHL <˃@2yI.nϘwퟡ/L86X|-_ZFMl֖Tqԍ.E 6pRJ-W|L*b=E×H6_mU\SE;A &{ui^$e0U]ND)r\)08)LLuBrLxEI +D(MHxvފi9fOеdqnS @E?B.=Bo}7gX7#h +ՏQQnj'LNbuhcvM>KPV} ;b׺49)f Cn9?~_2"L\YG3R|V^kuAsLghԱ> 8:'UP:BA_G s.Sy|zvtL ɴ\ƩZ2U|/97=zmWZ9 8mohow3=kvv]<1uL{D$l(W.r2e/Ɇ7 ;lYW<$ڣHIdM%0iv˥Axu1W@Rb> *{h;G% VSTk8}~p"6 B#s#\L%Ȇ+#@k_*t^UiPOo39cҽHv_Wbtɍ3  -j}ڢݜxaLɭHʜ qwWxc>j}Ny|f\OnGtI1ad\|b3Őo,h2-Q(#il9L:'˰b'9V OV>{Z@* hts/[yJyWj͂JQ暁]YhM_%nvsYpu/ RMl}:}ں*zCԊМh-]rxXV 8K% R~B {CP.u0*l\Z 6e8=*urrJ'tͿ#̅^l^ܒI֕]ρ%W-^%S>>հ]@,hV\R M$'}%?ojtqݐ<JࢿZ Ņ.c$g1B+gTw<R2|%\&7iExu/].ގCh'Oz}-7؏$˶Nt/|Dȿ?/lp ̮ L0@y"E.B쓼( ]z%t]rni┃wHC(v|R<4=ty w1< Hq_,ځCݰrÏw:鏣8˨\x,cbr[^rxM (ׄ([CՖ5{P#ނ. hHLd1džko)HvfفG>{56$X4A\YmHf })r L^NDnx@#Vo[s3}?shIL[\@g؃6zіƞʐ21ջs<"J۔ehB&d,Wu(ֵiAk3O5 \Chߧw У#EA?|bcDʝp iXkK7{L{P!)v'|םs\%$45)Y2׍^\jنl4i#,vL8w5$Mٸ < >6^>^ <3ސ ; 7K:I8w*oЈܰ p_mϣ̙8u|1db&p ݓ [wn?:w{zZ6i7rA U=LdnQSd2)4{S"dˑgU =4}F"9#| / ɞf@wQ亠Wxv,`N!|I T&lk$]Qj3CQiLn61 ]y Nqթňx=I ECZp e9Nz޶T.ӈ8ތ+l fӃǸ8>C[w8p#/-'GmRYϏ)CDWH &ŷ+!6 C.LKynRf ǤlInT n'mFdW,1+!xD́UyF@v}X 1 j& ]z6FScB`W?l4W㿝$KnK7ḩP8iS]ozhg'#MD=`pO{ǶN{b<ަ'5QHMϖQ-2iXDnd}3-+s㉩8%-O6 _q.ԀJQFzCOo&5c Z.bR'rvY<@+p\16Cx,1{u/K㊺(__x-fqHi"^b/ukV_y}yJ"ᠢ.M۸4R%FM ZK?[fՑB ho2 FM˾.r]H;ꇲHUUIк8=!fe|"ē&]|P!1G~[ݥHnBon?"+ `.V2@RǩcdQTaB%3:'_!x!z JW>lm0WM7fv\nwi U=A`Vkk.%P(ctͰQ匈["0wP#W;‡rD= V_8z D3,msh4׊QԩwKet=f}ĥf`Yf|aKRjK~~)}`Z)a IL"<9;s]#cq[ےfZ?Gm*€wa2( =fNH@Rs{^+W]/ P4-20/9xNA37{_/T@N̒ɮx =#.<85 Dc-z6n3G҇E@(FsCsT IgCp1eCB΁2>Ax.Je%˅/}o>,ݟwlp-OSͼPa9QJ_4ɛc˵DmS;RVi_~[%z>_edsz]4$K[ljjP?#2l5V̲#ri9cC9?,$i +ޠ5Qq3lZ3uS> Pwrd 9,}Oa[ l-cknhWtD<ۙDEūfN Ьd|+ X!~. ފ`,QI J+RvbT ƩZZCC߶~&l7H zE@^/ ֭S ($N{>qoJ9n#~v@u @ * ƛWgEJ|f7mc ?@ +WM_zI)\D}S֚-H%GfUU=Xr)-|+~؋T|5Rb,C}~V㸐so@VءMKb'*i'SpcR2X [(kq)1sWn]"#f_ۦ@Ⱥt!/cvMQ*=a~ ;Tl㩚Ǔ dJ}[*O 5mV݃†r}S@=ܲ[∙6aZΊNT=>~\k㎀eKJe6]8-4BmS!@#\?dHnJ do Evj̄*qߵ݉OEviwļP|`gMmIv\[M/N%v+rbztj/cj #vMV(4) .gm 6;#S}Gzk̖wkW?zbYCw+edWOIQ` GXvD{Mف=PR |&sҁ7\#EQ}{Haa7,E;fLAOa%U!(d0Zf˕ bJ=olvCf#x 7DP4rN招[EYFѢh5poX_ p->{^[Z& ź6Z ꟵF&>řtN>;bb9h+fu-#%kʈ+ӣ'8SR }B.f}e R]8jsIs4YFVwɫy/'q,Ep2s4[TNHqxf\gYZW Z#Krl?~ր݌G{s/F/4DWH{.ٍ1Ht,r'8=.-S+}q$КV3~cl^v`4H 3<`"V+*;ډp\|?kUPÂW5uѽLL /__a_ɎbG,:bm!a"@?eyzG]*a}C;@9鶘2"HP7uK'nƘ}h/GձMq*w0i9)IYH:EVp&%JTW'>~Ӱ(6@ȍaF(s98йY=?'z|JI7dWv~PEGڥwMJ7{`k$T$ʯ=9tIXCvs!eM /O_2D,r}+[eU^Id% 0Yy~ԋ WyRp=-r :7(*%%@)dD=G1qJb.:yP>`9ؼAa+ЂFcۖws|g,'!Y 6䀀| @}IadfDfrճ\ ~<˙AN%0. -"/ ng ²@5EYa[805%+B++Xfz)NVS/adm"iJj $x;e}!lFFɕ%λ#}˙{(ndON?1zeД3?*R;*Y}Tbn|dx_4 ~Q=\*܂h:@֚n *{}}y%5RotMb6ke&}ۗߢ yÚ+Bs:R\=5i 0h=DlMxxF9j5ؙЙHw"i萡A;W[Uh)̀kdI ?eM]=fcө:{8qv 1ր ~tEu~ra _$~jEO<>rA r`TNmy28|Һs?]o +oeb]M!RȷJJ2K  r)J߉iO}P_Q1pi&HQ[}\ qq<'ָnXE_N>:?gJ-4"b (hÇwPɹ %Yw3g =TD*кIo&qqm,@tnT[O%/}C1Ae fn񧞂T *;wrԲQpڸ5XՐWdiG¨0CQl, (6G+ZFp>G@oK!yFWg Ys0E3K{Av%Lf&5OMc+"hߛZjFEߏ@6;, _uXh 4pSH}VM$%dLCwtj}0, iXo<.>B(ZP2Uh'D- 9HubK:6ƝMFuUK{@ $W2t4|2#q!xE%d/?V\nq<HHQ;"EZ7ҵqՅ޸[2@} K2,n$V OP; _9pS9 a| +t/:5쮡 G/w3=&H/jR^fSn\r2n@Dm-'x3*7nC&śLՔ;2*j%5Tn m=ϵX 9^;N6e9uu T!4dadi3d)Y:GLveG从b7_y7:o.j'E(ܛ~G:Ȋ<p%5ulQSkс0aBuټ OR3t'E: YW1 tS #$9>;Hb6+&JoK؁vj6qq-VrXgn2"x83'_tg,k֊SmCbal!\m[YcsB9sA+l/&c^$U!'%[K9/dQ%|ǢHW'sw`J.e,И؉R01sD{~ktW7((VF>e9bTUl74洛:Og'R$ 6|ʦsηgH&1c ;SmGeϨFi]kI;Xlԝ̈́9D Ak L[в*)67n&wFů 0ÝWZTMSTt2l:Y& ۽FtaYb"_wZ1\.t8,t_H(Nۣ)!P,)GZ\W ]0Fpԓ)~,ʍᨶ !h9JYGj:=F?uu%a̜D{zj9KogXi&˩K.źf>(:Jz|C^>>U=(;Ӑձ?[Q7kb}(iBFykO*f\VK)޷1xs )po4h]]:Xr_G%ݹ D۹'#mƦʋTԛx;`̛TW'n1ݠ\&r]˰J1pAR=Oo72{G^WvSAz3Jh*fb7 RNnl -rs:6Z+8o;Ƶ%(#۪n|q+뼜{߻~z>G%o0@8'LZ_K!EnXS  eOh:sܰꤑ :;Q6ZWY\fXKIc+ 2Ua!Ѐ Yl&q)4"E4}^V<a /f.,gzHzN"&GڋOBzvOg? @C71;± +@ zI5+U>e=C06f*hzEyi(í05Yk v#*皂'@ְ'Nt~J?UѠVdq4'{*l0bHW2IӲBF{p0_K'q0E"yQ`T))WNJ\i<@/_:"PW "veUi}aJ]S71k(;>5W]G,q~G #Ak͠K3$Na^Ck}7'|yƺ^-5Ql;)XmyLmi +DV8[Q39C-'{eW*/g=P" ; QϘ߉H,o=wD?ljGHG>lru(DID ccig 9伸:ksK,g)uN315\Fp {+:7jg[oۡ|LM^}hT&{sCK#(Mv,(գة .1>IHS;TXpD<$2]()Im?_Y9~8zø+MXI|EN-J JFMx 0*12eqzЙ^. 9č=U;Ri[ f0w E^[ Ga;PsAwʫ*-COC`ZIߜֱ6Q'}FkYf< λ^S6ųt8( [P陵{wX:Y+]ĸ;qhwOͩ_3TGnWqy<'BY}j$] KQ/O؇e~]amE-F*$ԩ|ǘo J /I%yJb.tݹ́dDI[r Ii*9 n DY۽~En. -#E?$? GnR8v){"%bR~b ,Ly ))^rXmFF~H}^7߂Gwa+cX*|!nl;XWFcl.EgCi/.7Topm1e؋WM욋}A8 z7O OUFAEnHw`9EV8Tx4}.m 6y$=7Z}zQFhfpƒr.=w, < *[Ϙ=gA~ r=574c9㤾b,b{JX1r{y:*U}l׭ˇy8^j9[DKedkw2Ek=h2M@?OlbGލ֩%w'!흅6m+lqwVpxƈr)Bn+3wxPIY I-KQeMvDgA!CL4B&f_W ai創_h&Wݪ_ܠ_)lbk*).$m(Y9v߶:\EAMN@`ڎw;WjnZ&IL` fA^|r X.K?u*;,,wr݅mݨϧͶQ&?P\*HaO\${TV:DE4N?1iQRoI=z*G(}i Ep8 H+|ܣOfh7((c 쁻U+:%D"~ֹ(6e[m_1&GyoZ;kbF26q w4ﳄ'őƒ6 gZ0F("xn~u* xtI%puh#0Ny._IqW̃_&eg-( qlȱJh<ϩ BD% <&u]2+jF3E@6! |З}x ^cJCcY&"} QrZL.\~*M&E8d%]+A<ugs]'fe.Uc0gVFv}YH]^o6|zo7 /Ln-k'l->b6KV A+gSm$2U,8 J.CCoc?Ҫk.LnDvD)WtDEgAYZ/EL9/rV}^K[ -魯+ss긿2Hs㌍}}KxM hzÿ0g(;{[K:pUy*<pN_~^ނ~-$QWVdn:2\ߥ*mmmμpY~h-=sm^W5.'Ol)kcՉę|UWM'Mﻙp F4&EkÐhzl KcrK#_Zz@$EdМEnf<IܦaBg$g=R{j>4ƣ>d=n·Jؗd`̦0^슜9U`f粁txF%yU%Y eY뷯r@,N723 1ya=~"^DYh ٗPoV'U6UٻDma).wXieb'IA(#ӕJ $q{b Gv#`_0DQU#erT8u\6r*l{ĎA+a(FSYyOgWIF\;t7fqCǩ~ lc;uJ$F;Q/(.Q_^tըӱ0@;qd&'޼$8!u\:xvچF=$DN< woim!~ܰbD<Kݝ5h̀jaò"6H%=3GIN w;Qxd&v 3€E&=fak!žʆPj̾_X#,{:y9Keb-LqspxgWOino}.Y={1_g)LPTb`nG$OytF{]9FT?w'RtL' ZiIךXb+FKPu:wshj~ ߵ /lu16A_.9w)8`]G*޻URyEN$+cɋXV[Ew ҵC Sf 7_U{h@*NE.*UyHNZeeݞҌ<[Uem2!W!3.tp4P̣ƆAtN7iY{rN|"g!ɜ\->T]> Sރ!{ݗ|" ,5ߩM*K23;?!G)ν!\+UFVVdV%C:2%qD46d.\ԋ `9JJ]ζ>$~ ,Z\NKo˨SLc* W?-(:xIST[&;;s5! ؠ9rEJJsl2QRyR-3;5 anii_ UT//$\ZA\ŠĊȎ.E*Qəߚ+7gbe]7E&~fݗ~<(tIU:s|4z҉\~=g(ZV,NXQh{cR*uSĂ՞k- 9XE)W^JG##>=c]Nne(]`r(WX5R[K 'eEP|+E]q o8le3X=[e<ެc3򐑆{TȡsK^&SZ &OmtACQO'&c 7; uXi6$ECc"ཞ\{QJRTWމ nDbOA>{-^|aN^$ 90rW|fAk7UWBI@bkEGDZٖJo#{Ը ԯVIsXZ-=55e&tq6,hdяU86[+84!yA-\/b3~)Cdj8YoޫN ZuΚL)=7J{k%'^k[ݜU0a<QǤB9K5,BHPe4,t*Ժ\ a۶ẌYX WoFw5=Eyv%ku~3 Ujt%0ΞI4C|#ЩĖ2BB:XD[.O9mJiFN@N#&΁r2Fud/5Ԉivmى9['4G'CjvHWRxX<CtHWuva%.!"khY_ r˻󇶉j+^(' 梚(^,4>8uAȾ WK"+-ג6qSUj&I-.<&U:7%a>c>274@ 8Z  ؐ?`T ZBQGHvD\z:s #Hj@NTGQ$ڲۃ<ٴ n.:fihfgb5k|Tdy;zgoZ$@pp4L؅1]!i$E[ f]aNV\ss2%drh ~NLJ o \CxAyÇجVn߉hP%?9WSᾦ?Uj`y:aXG l7M_!Eo2hDA'ZhE5&^CbO}\W KiA=cݧ3V2 nb+b73̎@dt]Uߌ9hG͡<h(á^"uC)t=u*Vj!W1sa 'hqQ5XXAፒ#ev+oB]0߽NqLO\fpJbrp'rK%Z@H&zMa0G\Inw ,T#.:/"W"YИ6!j;Ei&&utr3UDC۵\']JO a{r%zM\}a>k[YRk8/N *k|Bc6*4M+wjMK",9Vdվ}G5E6[cIUXJU!(АSVy "7"HKN2-P\V=0JD&A͇B}8ᒤKԌw_l{OTϙެ:Op2lxH~rxrCY'^˓Sp| N^Jh$p .}BKʈ&PlA$ $KWVh1R 2bl@;,[0 ;{*DBOkV O1񖹊 HBޝ+MlyZ-5wlLLYjЮ &""-jI% \ H9__wxDsY Btӌu̧A]O5-سs`K'mobd$b_puPvOo7a$6Gb(%qHx˒flNt]25ܩb8M.ϓ)ӿ (F \|ϥAZJ1cuPݒLrȨ4/NosTrJ55 nt&'qXX߂p%F0uzФn vJ!lyḂ@~|Bm.n.N3NH_W)3y3~/yMծ]L Y r{4Ў8b0ŁFD#wbu\:hBQ%yY 'u|, tg.` b-fgfoX!nzz9A).]wNG=̍eW*Xms %6 pݬ"h(fP-m !.~i ~WUz#2'G)%YUIW6b3ck>wGʃlîe+/] 0+lT\x%qFur# )ѵd,rи'J];qf9FCE|m!USh lyJVЋ|7cY9"Dȍ|sHoJ8(ux 6!.뺇](p[\']7Aaaj<aQ(e[CΨ/=7mYʨc AAfs'8U{EM b B)-/U#~U6+dC‡֙Ta-(l>7 . r Ƹ9=m^U|@n1/K_ .K YFx-3yDr ڕiȲ5ɿr6ER]6e;Kt"q,1c9|(D>mnS.O-LJ>_vvJź "ױ-F덹+9OY(1oFW0s KdyRW˾3?*Js (?ѷd%6 h72UvA~u -TDlB$Ce 6v'4~rkW=p**1:9eFE2HHx^kN d9.gw P^ިi)ƠKR>n6'!*w%6%2; $ot5`95 @Y^ YY5D|-=UAmy~~Z36+Ŭ"xu'~EC3{Yݐa_2N/ zИ!-/:t,so z;[Xaxn+ 5'@ؖ~B_RKF/ -ewFV)*W1Y,]}KAqV#EYX_{+QlUrc R}:5#tȘB'7X܈¥#hW<49qywSlvG[Q\?Xڪ]'pZgD}#Pϧ!˟uE/ &C #{xΨth3W$uZ "g.~['˴Z5sF^lȑp :S/~A.}[e r*WݔX. ]X1}~Hڠ 'Q6?MCtp-#oɅ}|&-Aa8M~ve?;X=كnBr7t/ j_%xOEt5i`^ יDu :!p%GH;U9RcS7!%85[@tOfI ݅-"Nd0I3ʇLav? i<9+#T[/]9$ꋉIbr)άR ';f b~#(mUąk%\$a9 ,;=!X7')zCB"T_p*`"zRT.iiɴBƽp<3)jmb*a , }q#Q8[*L:_G0>WC&QZ4u8j9] iZd~ @Â;+cSS1ݑhjayɡfD p -yƿFNaI-7 Ala8;koOZAti)4ݲR@oK*{=Zk (rf sWf!-IkYBJ2ʑdf;UPk)"PP{:9 aOkC˯5xݦL< [:mLtmY*e;Y6J+r'3!#)xiDTYdtU~SN׵ ,ײo:)D3;cGğ4N/sο"y׍@بNAp$bg'^L7$~6 d:Fa86u'*k63SH ƻH8g_p Uخ rNIKGEIA ARVc0a?zP>A H'Rk߀>j`f/iRz@`r(yesFJ+h#csI' @yQM 54!}4t?tls{I[8 s-g]|V1^Tʖ]7լlx\&%ǧ6vI/RAm;Q.{@:㖯OOi2З4:XNLHK:InVρ7;AG7;ACi?+v[Q*B q,Vu8Ci 8!HZ-"|s##uD}Rn5 oUJ&p?5|FJ6t",[>bp_9/j:2XIYL!Rk{j˴GyHKE›ZX~wt;,oџUBx"=)VJsm\8д'."ag;Oi%;4PPoPp{ iGfݳnC2Ö@L<58wULaOU,jeIpE6yA:L0IuWNĮ-Jcz ZMyzov1G*ԜR@XݲM#l0Zd=rAF_Cb̠o(?0z9l0Y`Uau#"M$E>\OTuϡC ʃ}p>ԙrf}Q!OD2&80άw e7 h+a8g&Swg$O"Pl3}pMkU'D\|qwQl~t@˒s]ʃYvNbry4HN. <"VχYf'fՒu oqKAc|9!_|J/c-T>ie\6+()Bu7 .* )b;oSiYt/ӯG}K& ._ HyE!cشo_ߢ6c2L .A6{@m`Zy}<l~rcU 8{Coڠzw }a-{>5JqR/lO@q""1R|ܹJ6-qS|NM%W!YޝX!0HsM_C|z5]M/aBlZQ+ %W Mir^ ]*LcŴqTCľElB BŝA]3rƕ7+xv($n#WEokNxyx{6fKށƢ e`7c1 P藑ۛVI\ b> mW5.nf;JR*~?/џFgrUcQU z<%oHꢮ)5y7lJa)[fY5Q/=0[Blͻp|zO0LV@|_#12dcڞZ(r._5 VDF4CK/5ȵ+gY4GKO*ۉλs ePCυl*VBh!DŌq hFpifعP,Cb.- Zș<Ә]kI!Kzo"䢵ATZ謳kZFYqjrN|\}cӔD G{  12Q y=uzF~Ȑg}2R{OvƨayiqV=xp\'i{]Td+}uFCٸ5 }Tpr&gå3z/Ej݋a^m|H v9V c'޹VXj^dm~Ȯ7Kxf9f֞آ{CLc.i7$iӎ0ሌM g;r4]TtSs0{jd4FEHW ollR IyG<ĭ(ٛM2uQ<9qԍעl;o;=h3!3H/A8p|ܚ {^Wb"o'戩H ]ðc7%KyfNa*iP<T}XNmL#.&A9P Jo'+ WJك67UH7)rMwϱ 6gYI:K>t.7ӓڤg7%ItF-[ +T=HN1pSp@%bqxtՀ6M-=ChP% f!l\KeC;x ,W;vyCeCIQH8% Ƕ,nr)OVvDce06YS'x`lWj6.uM ^n-B=p{A׭vpBF:ݞ83Vs7%$|-+619ðIXj܃&Qnv)b0*sqױbGsw1V^ZHF|fK@pJH(/`Wu9<rКJ*M6} H(hXv.wפ&S| co |FOoV`D r⇾( DZܭa,F|ñG P=7毕$`5NN;̓ % Q$1(5+7hE5*tdaj !;/*^bnDj E5?lQsjͤr5>MA.7yyuǓc[X׊wM#+ـ햚[Hp,4;1Ky9> *xWنv (q;nsρ"pk΢e%I(['j]vj biY#I+z!44tM[\Yb]_h(G(O~!Jc??M.0]>Fa,煂^hthe ܴ<իv ,cp$b_x.aũD=RK22R#lV#R%kg+J:0h'cSL{1YSf<G,caYL!?%.9'k!{ϫ6#K :vA,r;Eޖ⩽1v,gLgy_upIl2^}I5S e&d V ]QnZJ6Ϊb@ =S_%"^.0K #Ӂ֑OC-È؜|QŪUb">fI5=Y/8 hr];]lXSN\ ,,oMN:gCYx?R./o(s59QXhe(a >N!3q*l\PQ8),wnt{?\o* 8t(:m+}Y&#<$&Hvv95UYW9w|FT y:+޽0x=}(2\m1ƶ1:4o _Xuwhíp /3$|T?@a#O iy;o?ؗD:ū&r^[WHoR?0OU֌ b.^J9yL?AM+'i3۳n]8tEF2FR\na!'eE[wo9jɄoiȩ,W/K>3NğTC2M yWTYFHrk^ܧ[ Iʁf+FrhČ*cu Mpb}vפFEJSA]WG{EBBkr^(UoYK4h0-+ %wgRn{>x{z `6j1]z.M?ª~$á.5Ѭ=NU+(C% 4BkqkТ uyPPU9cDV#B:qgv3RA{+bAu5^D_Fʮl=损 jRώ=Fuփ$.DPy@;kE92@>Rpjudu3-iSrY `9}l7pccqfAO"'\\R0~= A*ZU~%\}R딍+<:إjtzYl?KXn˵p[,aȅa>Đu[uJ){btO k^W55s$:BHi`ȠEχQXQP|NL`&F"\?sKܗ,͠,&!(zPŇN?k`M3|C(T ]C+IN6()/) pn0h` E$Iv9!? D LcՇg|GrW۽ 7SZZ $ UE_58 <%1ӣ_˖_79qƶS`p,vQG*qȺՍf$B?_[7oxNqJf