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 *tdL ]]Category3:threads=2elapsed=747.937cpu=1256.260gc=42.040factor=1.687zXZִF! J#]ŗXf1-/6vRZy_^&ZT'8fF˞ć6Ș8)޵"B AZ0ãݭDn@[(z&~N62 V1 ebYLVa1>\Ii:d=I=m0ZJ`j4m<3 ZP]2XѶ39sfxY؞>8jdOA plBkg%>Y4G4]3 kg]NW 1pw> ZQ`{۷*[Ty4AeT]){~oT8 \=Q= Ӿ3Y},TbwELWj_1Sg?E-/Q tQpmόLEGĴޱbS|2j9lzh%P @;LhMy_U;&rW:HԜDP{ik u`?>7*S'y7$8" k.'NyC iJ+x;yr#Rz3U9+<( ϡ]R[uc$Bmv,yM.3]ܟeg'zG{h0F)lwH.W{N$S^l急#ZQJj&ClH"Or6} 6(3m-F!͵,0уTAQM>[]-!˘WA|%_x]}W:>줩ᇃnL$$O0f$?_=>q,Uhrްb6D.a,Ttu5k,a3aջACcM}6ФkIt FU؎ óyՉmU3DG9ŇbL3& ewGQKfn (7p81Ntִb5B FVh4hthB&64Q > }螵|_?L|e1 WOE+P^pq џ=$oQo846[']7ފz>Ի'?0-5S݃›#A$ZOvx~m}e (*CazOP<\$a䇘:C杻!V vR2i+\60魂㴩yP\ر 3|M ,SY C{$Z ieQV ϻ @K(آVJ?ˣ((+X0 5ʿK*X,Ĕ2" X)$g$z y!{njRNfXgXzŃ+ #wߛ o9,O bc(otc=Ү4Ci7]~ &o 2$Bѫi-iZU Gy|☛7ݏW~ 0pE`qyY? Y=G%a\+f` ±kVn./|*Q~/uF&'9l,ƝE)MzJM 'yt,.^Z:׶msg 0#vRwX!.]ڡ[]R+[V;-9PѼ7wz{ӱe(:]{Ij#:ʙsM`M99^PyeGS\= nKq<%QaIi0oMV2X g:^ Ba"(IqYv'+X+;??$ XsvNb!ލ[^%qz4LnFmI6ze{pI>v,N^rRC/i5HffԮgGT&c8(8CyRRd5 b >/~<*&a26;\$J|q),ԷRnK6m_*}0:H/ĉPW;M26ޣ~a7ZB,-J E %ca([1G8+^oc[Hn=$~.o,VuxFd|<ǨKCThDj{$^7gubmeO5tR뭚!v!U<,pZ%!? C`pނ(8贩Ԡ~Q4z6a(m~WIUdؒ\.͌5`E17Pg @V}hr!Q%5LpuOaEC␺f(ϲe%yy+e[ QWX1dT<]̪&P=Zhqs?r[۱Ar Tqu0դذwB_ lks1E =JLy|EƗ琗TWQ0z-@Ʃ!i\M'_ϰ[T y*i2*|^VUnWpr%_7 >stfݭjH.'sA7ߩ q8:H7 2>`iUz@9."W91"/[wMQpz$:L7}9[oL<?5fMs0^6I:w݆]%f:_*It qO-0$>a(\ F 7veDe+(p;^4+W6SXMH{$2^sa_#s5QvW}HO kC602^ H!4j<7j3OcpX>FaRr>VUi #NFt(\䐶O:| ܣ^=ȢlEr;U(@孁To:pfl׹22'32prCY*C,)78?UAQuj7i;JIP K0$uownU؁e],;(C"\i/lglИF[:`?lI7qz$Xdr5E4wě brDA"]!߄sˊYYz,Mt.gSPo[J`qI1BWwu 9 [ESFM fV_P; p~-I08_d-{*<v/XZI\K 7:s"_x'Q =sڞ֐ߛ3TI(J QpOƕd:zX5jz(\>9oܦTY 9U~ΐxVC-Vp^l4<䔴SYzH,CqHռ2"Kqm> b #NlBiC K}rkGeMY<hչPCV7y(I`a Bl:Ezru%i#ba~3ӫ;t`g/WX%̛+U!/shƔCw ?d6I{V-C& nmۙ2rlVNt3sg?Uҫ6weuz{f+}s9Oڰ}Յ3dX{Oy_(Jp9LT z`{jv,i (M|;}E[Vg(lľSoGW.]Ԯ4ӼZO@'jclJzPD"zXxd/U.~jz Rv& )^FD`0}wZSC5 ;!2YF ~ݿyN#Qq iAriοh2ʀK*BEF#n䐐z@kJyEYbo _Qڢp@GW 1haߊ"mǀֈ?A) 55W)ND(5e#FɽM⋹$/ɍX&h[ò0(F b='xj#$|3-E[ufDoHǖ}2#I; Ю^І"SdGl`ܜfSy@:+4U !7vilC|C`VZ9w~26:"FjbjMqW+ mJNKzOrn j]ۿaU6ܸ)yO#4%S}-5d  I Tfnu5|"ztLG6&#^<'S!$-DHh9*"q 6>=9ud7,?›"Q\<5;ZSٰ+o3"H㤳~^*m RB*wdĥR-nQ0 jA`V.DC x8 }^TQJ0Zm!Nu)dC&_߉n]I0Xbw*_e0b!;H^q88sAj5[[ٖB֑h(lغ[0UfJg_Iy^y#h!B!b+N-o:}ETLݴe"Y9P M(5@-a`_]PzEQ~bg5u:~˜-!&ڬvbznp'x/|O)d&͍^$4`ga̭^p TT=88o#3BL,}qg I5BKk$Jm ',4]kitdѹMó֡uSH_Dp}LX9ӤrӖ%_Bgz8P M 3 z=>+nO-Qх˙ A=pK ѡr(8Wʜ\wI.Ub܅/G*n,A)DtC5}P&-K][bF OxKj @"~rBɵy ȥH=uTW"^H ֎/'CꞨ|_2PvlgP߫CLzv 4iymJ570P٨p߿$6q$_LDPxqb¯'C+ ,naM/ %y!U?F PoUvWfN:"5@ *,ߏ%>ʟ('%>a⦀9wM|ʼnr EyE=[x9BRA9L}r$/RLTEwi+ߑ* dLgʍ_ʘ GU+W"gL˲nnW3p :j! [ (~bOɿ/` H \Ť S1i/s' oEy,T6eOgIQ?qv4淚ff}|B ݦ0g:HZG/?d1ʯ=veX;G5kjۮ>H7C7cI1S o|]*\ Bxyu@aPC͂K0b{tNm14W,Nq*k5&kaZsd9ޭ?aS qg0S~ir/Đg& >vc b' I6=W4JS ɓY^ /ñn![P‹wN6R NmPh^L4Rڈu|)H|NVļRJI&9>\aPRʷp }_$oJ fkKB{xxg|R J ._dnJwS.-UaSɏ`lV dbLr[,ܞ.6HvAIGHI:]L~zɦAgV  +Gi,$JЮ;@\>s'DZs< 3I`'Cs~+wZղujW/_z]pOF.>|e J%7<̦VIg+;= ٓuVW` cizYO-4E"i5} btvMsk69֜!T#]d \÷FK:%&S?Mu3\8 M`=R$S9.o^)RS.CO'h[ f@&4lb'ͤ3H˂}DgYZ7zXZִF! ]ŗXiɟy>ZrƿC$:^"ټc0v&S=yz(KГi;@}U?i) 4}$B&dM7'Į냗&Hn[8G2ftL̤+լxVV"{v,9ƇS i]=s::UtQZnvn-(+ o/C[UjBۓ{/@H2q9cHxռEsI /2>pjfQQ%Jy ;HT-]aδ qrmLMll)W8j>65әuvo~Oȳp[L i@45U/]g?qBl(p$.nhIx@~!%"ہdSnQQdDs 8)x]cOF\2;M{ߝ{ ?%G~lΜdѕ0Ƚd8('NB}z*V jB'-Ú ]$ l{cj)\VFvLzy;7IGҠݦ E:5Yk=Nv|D'QGfx\_DLyԢ`ƨ\ᒅbRsBB4b(^ǘ{]ގL:7s™=20v17:]#Fc3e u5VSp}^ri|[ņlt(%6{͙.(qs98@КX8 Ҁ,zCa9N@dg<*q Vh/0&8ý |3.X,F~ї0 1"v--=AxO3?{l6.Os -Gan3Kh Hw> >5V!7/n9>Dg L§v!$RiqF;q:JB#O+Ul/8a[M{A]M_-r-Pݕ=(H Qm(Wm?<D,Mٓ$#oƤf];ȁ91I #!RArOm^ HISID)j]j:=V,Gqr9@_ d ~P& Dɉ>ܺ*iE֏uKϲ+ j$hk"? =c ֬'3McX %lEQ0~2ҮP=h7qQ,[ݴS5;vC[ ӸS&e2gxw SN)pE]6xIj@d>?^*À{#/h7aRG  CI$b-@7 =h|  b|0 :Q2+3g\FSmfZCŲMmۿV^iS$ S\DQvAtWU H= zAP @g ǾK mLHV/φ!Y7pe؂ v65-MCS. -3X{Эגq&8 kMmֿcWlF& + ?!E Q~ړK>?slezVNͱؖv8S@9 W:YxH$X!t'Ҿv_i^UCʍ԰L| osvS2Fm2`_5?)<q ݬep$S4:_a{R6n#mSQ[ lx1o7PMNj\=?[6Y՚<DdB%û (k)bm#`ZX̮G)\SZd(Ą8ɠ('u&+ieMBR>iF{|lHHQ0ePhx{@Q=ޠdڱ1nǘ{'4!UF׼O:mkTW@.N|Ozx'52̘Q|b^ڸژw%Z ʁ- Bv&3ᔹuh ^_r9_Y|>kQNro9,s?t4!}8/IDOc=E?7{ $݂iL|8x. Őɝ6]KwnPJ!<%=)!1q͹J!"JdY *V׺>JNDgs<ccUԻrS"mܒ%nR: ;ȔCT}RشT\ "!n|\\hJ+)Dv ;)&|j;$pI{iAZ61'1Oz2kKJqzQ$ U_9M? nq4 D0|qc_N]Q6%2=j]XU ,&G1 &}(LHծΧ8@0v-f޴$)?D !,ipF搌E mZVcT( 6'%`\Kjv$޿BjO{WLkGy $32aGEi?Ct\@ܻB^w63n;P-f>#!v]95^ T)۔"qR ߉5b v>! -gݲw pAs#9mj!B7l'/8Iu@Ox|E8;M;8{ߚ (ąJklR6gǔr+8fW2&|OygXL-Aլ1ihFv n:%2LR$hUʳ4h,mҮ\xHe(]aP/Nc~VBDk񒱧s}Ȳ G<qtyUjv+HyDpjm}Bveߎ4'FSPwoZ` 6]&`3BZ☠8ݾlA?О,uwW]q#I 6ǿ䝟}('|ˀpL 00{T q4nԗQ8$jCQ%s+a٠GNq5-0d;=666!i˳8IBƫ6NDT44ZZ`EsAjBcSxXWp6^:1yaOG!aC.kR|4XT?z`p)[T{$ A~Ƣ7JSDs}(4t`OUJs+9weEWE$YK%:[d>bz]PЩ^2*eN]rڍk~ۓ ?ۙ`tv}@?$BH3hoQ;`ey*~6=נȨ4R\B`2uT+i;4ɗ2[齃^WcO~֡5\9Qz^dV<,Iep'W띭>O?njK|$xj`cRhads/Db}46e#H-fҹ7n\ $ꯗڮwE s:i$Z+v3!JG6)JJ~!s(!_:q,@'`_2\DsfE,.}1= 5{340P}z dCn MV@)bh>L`@؇҉t|74crCS!ݟBرa"QΛ$U;l4nߤr{7G%R_Hyي6a"j@1wt&c׫xSs~4_- Qտ}0:h^6ŒbhjU B_Pp39t$8m&al)IޕA~z9BQ9Zjg.mʈJ@BÃDª:W vƬ g{-cIev҇=̺7&%0K֐4cth6NWh.3]\%Wt?\-bo9{ܻK?A C_Vd׎6| (mCp~;VBR4.-͏G8x 9Q Iߦ7Lut;]k8O^k{lb^s sgUU@`4$q Z.2Ki(RϙE|1{]u+4H%JcaT>6 *| '~yB= [Vsl`:һ5 uTdHme8Ih)ۏǁyw1QhHQ'M7k Bx]b,ۧl".CϡK yXK:Ҙ ͉Ŗ}hI#75Sk[1|A?"(ߴ Vf1!HNH( w=թ~(Ix-?a5Npc垶EĵEl 1O jv&sR8uU~UrcXc {6EؕJr"Yt2rl+uXv@Be} kEKjjݝ` |p>30貭C Y\?{ٻ4jYﶘء ϼF8>e2/ )}UںwztN9p=iq6UTZh@}@mK"5~Nd.@q8TQޫ:, n0-qKZ q80rs њC9TM'ўtHTv鶰Zsc]G#WI~(/eȫҦߜ]@`9#)8U8E{lx2kqJ{3j܋ȯHGp8QO>L|^X([cSߜ.LOd+9>Z:"[>mZw[f;+.-eݞ}oH`qOJQgZT'WQm'=_:KU=56,޵.>*VJ~>HW)43/ YANbUQ͚C6`bd)"K=} D"{ j+2 ʳG2>?H oru7+Z3>n0g2lkhP/G+ΞA {X3['ϱ*#a^+u?oR&5=H{5 '.KHd,U8e'4gPb6#4~,/vC\7'[8naͷu` νVnm*jfo*Zd$IWkL6ʰ^ݍAr))Dº{C44|= ']г42wc?y+( _h(}Ƶ߉V0Zxe]N00qCC5+VJ.Y6 M>x4 n/(sU+9"iGZVG_<X> GCmbe6L9- K&>HAy!he p2ݻWfN#Bsk:RMɨcQ3zA[[hޚNsP (f$p4[g&h3Vc?qI4C+~i=ͶIpa.d," YXxGbp1p|O56[R'? d]qiCHu^xG,l$V+dKR&ǾۼT7f1nV3yԡX/+^2FHQ[.PH.xɱMQ2.Hbn2y2+ a3~]" ~X`p.s?0ٌ/6(SV2HT0C$QJѤT!>e\pȻOƠ2 [N5Z7XebV]]@6Os7U|'~)x"cl)m(hR8rāϖrX_*];{yBR.ϗ+2^R_d#%y +Ϟf.v0dBeq(x;VheLjyh$| 6d_zn,X3yӲ5 έJj; G557ryJiyJh<`@ .W":x+M󟕉Պv)V5ń pV6shw" wJZ:MUriLm9;2Y%$p X|Udzh6>;w-giaψrsPt/4xU.hqh;t!%0V26P.gXyj`cH󠃛¥g &R"ہƾSk5bG[{I <}ME S%m?" 򒊼l#\\őV%@{+F6PC墏8@] B G]'-`SZ`QLBb+x:aRSa[:D}rkoM_5J5Z|Jne¬P7K2]>Éjjdi׈s_W_A >m*۪?Vwp޿_Rm+끣yzNjP;,Hp, -Fqm[y0Hz}/i}\bݵ JxF5)?ɼ8 l̎$Bb FΏcoCVϺ-XlT)DHA:N 2_%{5L!P+''sMSco*~Uzڪ_R]ہҧyt`pf_/f"Lvlo."|9\ QH¯a8woL~|]3 p 0,Mm0bdIUn!iz 1 <4v4B` ϗ6+jm6Yb&:$NeG޻ߟMܽ7cBVփ[2uQ&nJ,K竦߽/*IFh6C]yh+O/,Qx'A"<#ՆEOYnLa~kgtv?Fَ!mfv!q+u fu-\ZDi2c0ܐ+p| Kr0qIFiՑ&n}"gLN~ g:ĨNщdDc'rF~$kPS&45jg  vd|z*Gon+-퀫fu:Յf;]SRc獒FOIZnM]!bLk!zE#*I4մ(X}c-ib(;薺b ;.qkDZ$\"[|(h0^ ߐ*V>n4f#iePCE::lwʴШ̲y gbj``ۗ@d^ Z]Tb&FԺ1eY og0p_7A+{]w{4"c[-ҌUъBn@.2 3aZ庶^8g;ht8>=  ,wŔ/ԇv&@kA!wj"!a8Luı?Wӵg~# nnMP(6WqNdPq=/Q֊G~^9l Y)O)ZBb\6߳cZ 2 t,~hbk•&FY%jM Zj[nߔ+SLDyu3V7-8~4E2H)\;0jˋz^< El aeyqRF}U]Qbgϴ,2M:2$nQG xԱR$h!p6d BquR5ڦ/?/J)&+JDžjyL6(c`X ?%Hb Z76,jWN+\Tcru^% <L/r-Iaw՚Ds-;A WݹX v]A#^Y.ynvbe=%ZgFq[_I y*3nL4_I 9Hn31[GGr5.--n+GAe 6)Db_\o-#z9Km2 &D$A_/\iV $5@/48E|(qgf-YK!&t19]FվT!?C'#1́ox} 5U{ٷF{ uEmZ oh2P&Uw˟Ur Nh%KVHUf :!mFq +v-Rz\ "Vn &V&꣛0_UdX PRYP,~1OHH|icKUe@M;oZ.~bWqEy!80h߂ȑ rP l5:әt ;UؼAF*m, oqHOe78ӝeg ꛔ. h;j*{Kkh V[rf[ qhva׍fGe^]_0Հd-4TYn^tof?(ytyyr&PCzw#4ØXQl\ef. {UAF!Z%5ׂȨ2蛙chw!x!W1fB{fFo 5o؇|F%2$EInl<-T;xVz||C2Ɓ vd`wh.Sy#زt4o/f[ʷ5?(Uiv[RAD?ZDO|lVд!\ad8|ݓh*ptzc/wAQVe>&a,"_E;K:߳/^;VRzmE\!2ߤD^@t>צl)=۠XyJi7zȨna#z%*{\TwI5Sޱ@/7oB裥֢Jֹ6KCb5BxsXEG=z υ%r૗ TO<Ҳ3.~!#  ZV8'UhT5m䞥{ϙ8o.sFءE{]R1U.'4)n;~n `A$mX*_A#(Wt wݸ^Z@,ma?^dyn)v _+u Ջz+HBn{<vBJmVg$;HX3W S@Nk? ssw#D +O z=CŸ 9z}tEso(M܉sF7JܵQ^AKUgB6:iYO"ܟ4 N9tTAi 390_qQ] >6娃zKe𼬾чd%0b$;Ǒ!*&8*m^*t~i8sGV1wAq;gZ!g=cSEOB/zq4*\0Sc /1XJ&{19mF {u+ GEG՞obو81?EKyV2~Q7Y4c9 ԇ|Q] n0יdmRks_ztXjH<"}U-3FݘBK)Wu`U}oZ1|гW%{, $QzHsw ŋ9p "#C{95Nv8kQ$twِ2;[t[NjvGQdL?5`eoru [yR`WD_*1=ϧB`k+PK1Wu'zRGuN?hGu: 2 ZU./6 ¹[?MM!:nI<(K*YmnU&<O} MgI$p{†7Zc 8N.+:Jm;CM um>">8zuP&qdYr.H$%0ĊyKQ~)ᨀr7ѶVv%E!LK{R !Zc>'[#=Ɣq3TVd!1?vaP5޲9/Ȉ.,] b"4)TԵ6)|ANpePUlLm[N5Q:˲:3$%&C΂ ⬷UWHh+nEs+9IqB 0=d'nZV@*r3PrFe&\%AT`uӶ8U$p='n-أ$L>O/~؞i1}[}B{|J~ ;aR1 H(9Wt|dٱ'};ˊ69fX TCόXe*߸(\< Zih'mKm(g^+*Wj@"|k-?ufa")bq2OPe[|sx*숢=՗dlv$h-JER֊5 1bPwfy .qxPjL]9CsAG FĹ]*5U.,:r,3gHPFk8sBA,5 nY#R՘پ(Pݮ0|iR3lqy%!dk$Fn ˮ3;(}%1X^zebq;=dl{$ah+Ɋz΋n;GLŒպk]vC%=N~ 8IyOD?x"lӣ!Z]AIۘ9t$4`9 $lXgACC2kUdob`Ẫ9CSCj=Q.xSa`6iS6↭.M,=B;;VDXb9HoHMx Hj'#XSv<[ ){gG ?E]-W'+_}_X@\:ƔP| v5\Akw3"*ӂ:32 5xbVKZnsºa>3wc|b -qbn[I_ϸw9zxm#?X,YPgP@>ܓ4f,vm1ZC2du|3k%"˺@d_^=Uٹi*k6A~ԍy≟#ϟP#5tv`  "XLs Z#̺,k "L>K L"YIk{RpS=R\3_8,6Ҽ E ^P?$#sOZG5^voqlJjSksEW]K<: C}G,L@v2?`xkԵ gN$4YVB7w뺙\c).GՖ˦aL ]+ ` W]g} 2CcU{ /4A.HkC`{cb;<`&/w eeꍀvƹܮ{3"nR5rYF.7Ղ?(vWPidň,a cĨė*0ǀ-y=/+CC1U21\ a:Z8GFp<3v2]o*한1My_-TOLNǤ=rq=?cn7 \>&=4W9lMSؤ-kuPׄ7gr\k6)?S.r0\&(n'PUz+{UEă.H+bgba111dí*SgMIs&Oj"qԗbkiX2J8e }NC3Nwl?yfg PZ{:% 42U]rr zV8dN걻uc4j$:񂑞ߤt#Z6 4oW]=ĺCђaԝaA6jqKx,OeoVcSU(f;tSQ,k0V}_wPZkԾK6Ұ >nUxY_}/'ԅ z3_Z?T(f{a2Ydm9Èôn X@5\CJ)^})owI{ asVXǮiV ?:#lLהN0 GɏعL+;VV#3sFSP6TT%$*;у(6,;YY8UьqwϨC3: Z7>I;v't|̙Oj [v$U@7:ς=bE"yK3`ZԊ3H'qLl?|.97nW?PEշ% Z%DhZ0s?ߤ ,A¹;w1~) \m (780 {y)}&d[cwZ>{Bj*3F \L=rVO9Ġ*2g Y ٮ 쬚J"3I\|i o 5j/{Pݕ:|YWn+*{!/KSrs(廁|2`k0Ӱ Il"cFYOAdKUKBM{U T ڮl_׍u۞P\aZ+[(IDo*_3/v)|N̸l:դCNsnSdu #yDi5O+K^u4R Oxյ*?"W y=Y*'γ]vwb^A>z+JӊBٳ2 2ySh6),Y\<Ì:_}-@ auޢ\h7Uh\*Ā;l77TGcP- hq>ҾDڙ~:Q5g.^Xg׋BJ/CڨZΌ>W['֪$C"-q^&)+m k a`tJO8@ʏU62 [?N\A,=e;g1RU5*-\.{9%ܛyMwt骭x'GwEP05<,&KĂ*d㔹Gw ~uՖ3[+C{-V7%-hc]zK#|6TzҮ--d9VOQFaw@ۚ3 "3N1Y`8l!/-(KخXh@>(J3M}Pw>d 6};Ʀ_@??ѯOiqrO\wB+6RسqGGHEfL 1Yfz5jy!*Xgh΍$obѮ6tY0aI~ YjVy?y~z- M$?i0yXclb?_8ߺaa=@i (3e$}swh rtZa/$)9v`I|efg?{pkLŧOdlvh.oʘ;T ,T- ұT&;ۍ]eT+` jNMK+o-3"RfOuүHX$_XܑQ%-@; 3jU,ZX<^B;}IѦ~Z|mA0ofB֡ ;zy=m eOE=`X+؞2`Qp4xhEmRӤb=2$~$Hczm-+':`l)/QǶ7|xK/ʬFތgPgH/UspC/.3lV[_67=NF8 _i䖱L81ۈq0|&'n|&zW7~Gj +{xF {=JYr_cFQN]w&"E}+\zD1,0d^ZS0YBqXWO`\$U_N@֘F_R rE ʮX#88˩ޑwFVԚI³ʏom0 @L=Jlz i4 ڥvqW6-3-Z{K܌e_C_0ͫbk(_,;)r=zLcwE7֧v0IUe9zߵ{ A =5_)c'rl.=v(g Hv쪓~d9|S~"VzW3)ɱ$:;o5H% 1ǥ0Aqu̝Q&~)63Yr 'o m7"Sណ!*//r>bBy=De% d%; :h.@k2)^0U5+NCXSHkP4"j? ^!d7] zy{uXb_>ӯUuvP Dod|P ō&pK0 cT.Ԏ ޗQgTJ7 g S;5H9xo\/+=;a'( c^*Z\13R؅= O6;8JUtB[1SRgl_"I$ 46.s[(헔rl|I5/~=JWg_p6̸UNvR1d#Ƌ\g$)J_D)iߒWHZQVƌaP=PI|9#[7z=27BS)ԅSw 21E禃Ep+W@[d2B>A}ZlE&`:c"?.'Nگ"YqO` g]f$Μ%IE-뱭f#| /0̉FJpȺ`U3Bx8Qp!śś6!;DVya|Y7ud3_>$\F?cօPr1ԆXUHl} Sw*Tr9\Yv係=t:8Auul&r[_OoPMվ,"CkK]%]܄䔐5۲&+=3i2w~5D= Ydظ  VT rEܳ6Y g;WuEvT݄& !Xʿ+DӳY vP(f/77O{$H>/ ~;^_&DN=}K):1b4.#A\~uT(ƿM}9;֊KTc12Vӊ=l0ֵGMW`?^YZnɕ>x.s"ؑgY\Kqa;\p#d}&=0V֚# zñy lLאfX`<ڞ"NdnP\!Q)-?5pnU]&.` `8%n k? Ld<~h~H[\|Fmz%]\Pm7%vpA~O3QJ,<[Շ`H'N{-.%S31>Xh 8ކd"Dii#S7}V&\m{p^vvB%p yb=dO%`Ql؟%eE* >Y{UUu*e֋0тsi-(+J.ou1NnԋӜ{d}m wO@0̯~. fЅm`^ 9c-=MՈD$.JVbR% v\IJ=S _TdnZ,ۚ =J7/Ry.osm [:P6 ќĒy&q(>!| sabKIҚuvw05.8`]Uv4"I?12͌^'%SAE7xڔ{)I,e@8K%F3232W#T]>e]sT0aЀT ^V|8<kr]"Q-?4pJϗ)UE>jaf>Y l'4(qȗomi2?TǶ83 **y}SIf0{Шn$ )۹?E9kMQrm"jΊγ&NQX, ?~{w׀4ױiH81|M SfЖB2~`hTF3oA%焿`mDj|ҎuqB  aJNv"x?Β>ek>4 "C+cWR)/_+2z#i%-ԟL+hwR)HMQeDj=Liɫ on'[@ _Л~y4kߡr .I(e1v:]Q ЄT|Ums TA|A5M_xv] Va)\ٜijm:<=--&4vu=o­WnܸYA녶|ߕ m[q U6p67-ފifi-?&^FH\o<ԓ9f`m5o I!~!LTOb='i$p/3oS&U!/"Ŷ 9dQ%ٸ˔',%o-ofc]DbvM#]ykòqu }_!Pݵ%8ZyEg(Ԕ!3d~iU&r;_/2M HB#.%gJAм^V񲳻jC?|)]ؼ'먶u=Bzop'`c>f&c,zkRDk}peAr8k$&e]9&%_H]a;#ߤb-<#^e[(#:P$$vy=B2]{OV :{H}w,zY`dL+ v0_;\f `B,%bq83L 5H N$2-Hˡ҉zZ]Ixz8q]0i==Lk ~~"LJ|9;1B msdߺ-K6c9'3/XXBRX"jow1!\BKiЇ1`#wR>|Gu.&/;Ad&kyTi'j<͔MR$"P'y 12'#K27Nf[[g`[P) @T9z'UW砋 E.rUj֓,awp4laS=dCcC|@ڪ_lɗN0LS9Q\\ WJ˹m4}1.IL#ɊX JB7zD`%-RL /zO(K;CM'\C}h7ۖq6@J@ L,m>;ݜCogP룳W{a 7ۻvsD_sXsOEtJ A- DG/@[:JܱW#Lk,g|Ym̐&U'w~+19nH86=p|+ZGreM5 J$:Њ߾I+@v֛$8`_&חuWq5@u޴+~=D'mrΈ"6SP&e M5/iznH26QʗxtٻcHB0Mr%E"aR-V QH0hIL,lAR?NO\UG{7I'm9/ b^4GޮOY'9/- Ekh_0 ) 'ȞbeLœT0N8g&Pt GP9XsEGqC5pN44&L}K/B7uP\żu[rf8*}pgpA'n\8%7LwllQvVPAqUtb @HNд+a֓0RmB|lQҊG4eMr Q.n[S|J7K}, 9)q]5 =~%+ϲPm([=S@Z4M@ xJ Ȅ*9P*ҹ6&-4K9KF+tsֹqŏڮl?+~_Io6(G^ Y'sN<)P9r{νɩ(k6h*"+e=b:Q>u+AܯqC#:M0-PXW6L֢@u"hj>!FrKli^H0ѻ0TurN^Cу{$@G$kA(xFYlj{c>*Q, ف[3%" !ت)Llmj UURz8R}ۑzA74Ўdt6!҅(<\턢YVu8%{ 4̸rYwaLJƷf2 )5[ TćsՠnE&fˍtZ+pKl1ٴ&ȓxk8=e4GkMxzkLt:x|cr4߆ūf139У6{V>B!ҕ[;JLkR哢t}Jr[} NnZ$5CF0k<3HbdR`a}2T-7?K&[#vCaU}Γ cnlLNo~qOƖi:*{eboƷRBCo 5411z;hΎi"ݽ%tp`ȱ#[n/>58ǸYEjFY(|"7<=ʑg_WPed5.B1՞NkԈΝ_F'FF-/#&3T$V5B*i9ŦY9-N#W)HXE%H ƭbD |'X r|ZOvn#]^ V}"7a]VA1w\=b囼v1NI؊7;f&h)(,`kK^ڸTi:M%]G@o7\Xs)6e҈^.IǞF<;,4չ=>dzKB݇bbQ 1庳P (`XG)Rnѯ)̖*5t,VI6ز4Db_g;Nwx!|voƍoc%mtwbV!&=#CDkPi0TJ%Xwr P&ԑGJ+};\t@{(4QS~(63P9k?Rp1I.~.lvqڌ+n04Ef5"9:jVtsEt$1Ѥ  D_pk; ~YʂyB2T9Ql7ːD?j ǹֳB-Uh#dW^ʱÝpkOG-/ludD'[BiYhYqkVCyfV8Ej<6Q7ZG=P۫J*l!#rz3;ZlՖbrsKI<}V;/c(gh1-ġCŏh!Rh'_9=Jހ$r/kP51Vz?#t:e= p 9͑ ~o&&3'+4> rwꊹg:7(%m,%)'Q/K8:8cBgi_|fAml FNxTݾƖ=w)ZQ|f =?DŽ+!JDng@ՙdclB4 MN_ZϺ ;$:%No͎g)Bה[b^4tB>ZLjzHG{L#rGL>,.}{¿wFD\mD7f4ٿ=i U78 \gYZ37344adc1f3ff75daae09cc99aeef9209a17ffe679d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa484f3ceb854d6d72960523de8cd8b2f61d450ff5ba