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   @!|D4 ]]]HOL-Proofs:threads=6elapsed=592.934cpu=1415.132gc=219.624factor=2.397zXZִF! '8]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\"ʥלۉ^W|Q9VGOqX #:\Ki ūoUFcQ'LNB7[k=d'8 !xC5n&v Xҩ@y2cTԀlʧ ,րyȗDL@wFM^'!hٹ(G~,&hڴQ9 yJrkF+>,鎍d&W;ƻ,+qv6RG5  H4m *#u&}|K}bQ6-B6QZ Vk^iMZrFLPhU<ݾM"rU5'ڱ&`S|C;Icّ@ثc _~M!J] 생$,[+wV4qw?s/4PMy) 4>5 ^owِ9!#}ᗩ}0?MC;1D "qJ|* FUଢ଼Sl_abtQמ[CBC2[bF^@>;K҆c(~XXc[3/  ! HOL-ProofsZ3#?'P_+SGF%҂L)z4*TQˮatEj,RS:913a,3.a!\jJM+7.C:o~e`W-)&g<(Ruj Xb!Q@4$$0xloXq:JȊyBA1oBC._/S P$c/AU{) vb`+5Go%qG 7yAmzF͌?gx97{eW 2nvLӊ A<[qikO*Ëz6<%myj1ϖx8x%x]dUz28a|;$>/FGy*H(-:@}KɖGt2)j!2 3A/UJDT>>pb{.6)EZg[&CH\Q-:7*w CU}kB~A'/3"bt2H :L^^b#C.:͟V  c9 AVq1V|)IdWzdA?"ya HwCGX>g߀9Dӊ=ȁ̲9~\rwh҉Gw.d7YLS׌t0:Q-{Zd5Z ,cE@j#}5ܣ2D`/;IBTJ;c \saC O (Ewӫx:\\~Z43"_HHnsʠa9|~ull7R^y\%7`qS Ygҁ"rU[rQ2[Z$]b^i/h %6HẠt*îQ($BR ,<ס25>|SK$z,l&}rb]ZE>_!h^<6dϖѲ4pWڧ֍Ⱥv CÂjض f򛠺Z'Lu&U4s.䮨 B5*䤪\iSD !*lN%+ltiJv)M(22P1/wȌbGbl3 2#\X2{!s֥՞?vQ9tC›84q'^aKE)_9!#O7/) B.IVvTY0rվE#EY0MmFUckUl-.9Wr %d'%tF ^9f oĀ]_ 2 m` +// ?3[kZJZc\Ę-s[цU]˯n&j&C3NO.s4ny H| bڒ'k $֥l^W0s\0a_'9Wdyz^I4`Vv9c"7q+NABZn }#zΛ͋;ΥkB-=& l'X6ƍ+I_A?XSq_RQ,bg6([RXrφS+s 5rC,T0 ^HccluyMs!x/b=%9I-U=)T\g@qP6lԧ"]y=Uw4Fp'5w߂bYx)W ٨vsgخJw!b-Iz@C>psIBe3G( fN*Z^)};Ǫ&p L!s+'T]0qWP?%2C-_QtF+S2~_J[X|r.eT4]w5Uvm֥#K^HܥeSG&~ 0?s5u}!2:qC+U}wD~ gNGʠ"x8ڛ6jO ܙ- wR;WTC@LO'<@{ix+Q213h(U1WthnC +#,nkVAڐe]> J`OU`/DP"2o3VfCˣc%k[1*ikU'h[uA.Bs lw}=)LFY%@ã4:ˡ @.2;8$_DZo'ڳXSt[FGkz7JL~ҙI qQ yYeY7N69o}[?HAmUR~bI~. lK:N>ni.vq wi]Һnr%xx -bea9{иRr!3'#0-yr}bJ--'̊[X[MQGU:q IiG6a^Wrb ;[Vi1V`NCct_损ty W' ZZALfhi!A9_qc>6$g#b5}Zx0F|1Wt y \({O^fy%Ux6]O& DG9`p}_T@n S͸j.:언P\`{=펍Y(d"; x8dlOi rk^KN?#},*rUyun(;ԡ/uwD0cywm >!i]֫wNEu2f"K2 FA4s"v~[\ r͗3pɅ5+HCⷃk1>պǔm0NsCDWb7h/qy,D"oly+%<  Ȭ |XXl:D^;=\,?;~w`mPDC4.ȯ"JUa8Yk_0dHeW9}׎MPOج^UCÎȆwDs%,GYON0,٣(^oC,㣱+ x疜N.1 =.*(%Q::h=0 r'z1qOl_/dGߟtPDC5?|ѕP7i2˻ [`.ſ6?6)%"24 7czP6*8.K+||kфlBٷ;y-UVL:mSH#{NR-?;4VS1XFۅIb/<qf53zvUGY 0-}ny })t%rf[)$֎>u1s#uONS'l+fSBQWsDx<;⡾Sɓr5K|{0!Ҕ-* LJ.U!M.a#B5C{뒶ɼke@#w6&|zm W r1m~k^>%%CՇccSLBV/iTP-H_Ga|^QpfiB:-TEM!!*Wmh$w;Qվ^tpR1VySVNv!O7tEڽy*_M*,"B٢l^HCL)u;*$[br i#!!$|6<<`iʉxB(!}]UN/\#h"8@v x TC?e7 bpx?q$-;%-8@ϧ+E$g͓ie.cI'`\q f:6 & X`ꈜ.MМ]mb TOnM-]EQRB8z"qW)=run\4+FO+h2[-/ :MzejGKXZک ;!8z3)'I4#r4̑!J!I~*6u9;X:|܇ J],LRE05lYm1(-M^DDΑGlv0pͻݵʻ)(-]vEG9&#lCjX}n3NIdg(ou-Zuop^~@tɆ(U5'w 4sS\N51SL(th\݂@B˝P@{g SONS\Z3W \^!}ehW;J\XQ ]@C?->7n2H/6,LZm suaY߼v$Eޗu2pdoڶ/ؠv(z0^V_`I&VXi}@k(SxvtTBֈ2KrEoWцc4SVvK\|^33]4/Ҁ:tB3fA˷٬!]횓OJjRz& L.D =(ҟQ$,#,eIy Q˱Vfiq|{OH{%kGf6S *?hY"H1y2ٛu8D&.׽"xwfXY㦂&VuҌP]"?k{ 6#;L4^bu+MjN&9 ?4悛OwC%) mse5C^VX^R2+T@/5p\0d#V,7S&7@į84,4w&_t $O- 2|KgYZ7zXZִF! 'v]ŗXi%;}BCA=I|_ay4E0rV ԡO_t <}TDuYRTuұܔeCB鸂`}ɥgI)!x6*EJL a_3ߣ8,29Ϭ@礕zUыo6 \RfZ9(?.tRdDnx̳[y'`QRvuyO{drd;5D`ʰ.|G47 7YFdTv}|+-z@wqu\ʢx*Qc kUof'oq--EQE]¡@Hށ4GDe[("Hna5@&<+8γ+;|Ów\FX=baL3+/SumgOtJq~Cwl\S W5Y5杴+cTOokOOcw yS P}e;lp9y<Ѐ%g^.b鑪V24f]/`hGcr㮼W[j]œ6y@;c ?eKPEA[ܨ%"gKsT'$By=րs+%ƺY2b+,E0% |lID3SI9j:~Pҳ!7x msmVa0Z*ԖLZP  `5>z'x'h[8پ;v /F髿,W'].sƄu~?6ޮM~!E IJ$u/.|P X 6g(bE.Q׹JB<t -51N?kk6ݼ|=IwZeZ  &P leIд \I0peRA@7o_ti$MHv$Y"D).z)o1?H}{ДB͑@Tfh1DAG+5ʞَ>#\&/Ik 7Xڍ$ʛsH$9Xԉpe~eiڨONO<[SjmKFg* RfY@[//Mmo1@:S vZo8|{V#;@t ҐѡzcwwJG.LFe&;\ݞ16TIGJb#`4=s LY^NJ68ߙcԱt!P.o񓼯؄D%iEiȕv~Ɂ޶H̏$_j "7@d[ ,~cO-`SD f0l,rHRFzJbM."FfSmsqqd54Ɗx' h- =쫶o7[9Ӑy*#avކ(^8CWV]狜 lO:ڻC*orD}نS@δ?aec$ B% mI#a\Ϸ`y7^kU⌷SU1$P(뱇Xzxw l#2~ߌ=d$ђƳti&!5ju7r,@paP,3;#~qk s8.܅K8M%k)ݵy̙o(}Of8z(A'b.-bҕSk7Aϻ"@B~'G!`FׅZ+ֆ_=ҕi|ه#Z\cߑĹ& &V~6rW7:"k[UDHZɥyA~,@}^ߋw"_h_ѭ7E'+ "TM;DαYD>%*;)QwͦRУz[,XψYȡcKqfg MX%Kl˕;m*isV !6}P\s2uP9f_{!V\1$:aܱ+ZUD  (ǯ{,Yyч}-ͨ*̚ 2<$ͩ!2UB@dG%$ VDܹbV>ףEiϙfö#i$*Suͳ$C,8-lۄH=N 󶹕8hQ//R%!N k~Z4cXk]Tȣ?T Sg9hU$9(yIs0 pnP⯼ ;cRLY/Ƈ,)DVrdr}ǎ<87+ ~Z{fڨC<&K/ E9%+az%Hn͎)>F>?go!pOW MH?Ֆ)8%.QLuun 5}ch/2WqVjPa%H}f8 >ad&4$ GUNUz Nl]pyPQ/?Qԭ쫓*tfqe/,S8ˬA8Fs5)':E#8OF)wL[F.i+TWxZb1ۄ9^pݕF#?ٿ_#T6.OP1&l/ؖEbdď`hm$8E=Ͳvm&u'};`,u "6gjbpx$Υ.v_#@Dg)[46b #y taXth~XK`p j=ބ#?{oBN8p\n?ˑvMoEиi0+p1C-k;wof7s|St B<7yqMeDN ÷/۝uD&M?b5 Ed[.hO+kk=UGS8¢XV)>tOx!LN2vBbyZ=BtU!)j-RW- ̗ ,c>g/d+NPDw>Qsq=˭u?vr@4{i86Uε @u~.XOra5rbzUu/BO²QU.1D\JfD+F9271v4ծ["1[ҐL=P5M6\9\mT6=ܘgq i _py (9hGW8.ฅ#>3Jy n9JA#)@syjedPJr5aG6X%Jw+|aLm|M:K{iHf;238q ɳ9!`Η_4&YdJiV`u1D4o2q\ZUh%!2W:HТĴ947.ՎEtr^(3o3qgqgh2fnZY:9j:q B1Mme~疨ܦ6h!Gi7snsÅGݶmITRs80qm~&I-WUM"WķO.e2hIhIyޅ.eHd4nZ<ϯ bM&63$_JL,plRPĕٷhla-eNգO(X 5W8q X4vYeL9# Xdj:g"9niˁ څdީ6-`o+n` ժ1'wMϲЩ;0a3c=b)$peϷcñM}#RG29^`fw15["hƞg{Ɛ{ѠcĞi/)VA8k3̂,"})|AgguG=E3Kh^aTqSd=p:apP(fDzn4#{7Ῐq}G# uـC$EF\ϯ%7/$8a{VJ!֍G~D^Af;s_)~q/A)ML2n 5LW%S*1xT%8eA WtݕaP`RvǕ^lDyMrLrKͧ_E>e8v u b}yu|x%Z8^Y&&(6\6Ӑp:=VS &CTeJ+HnrhgiRx/63|zDH\/ʞMnImp&GO`>ߪPd_+nYe싡nS|Sd".ce}sAI9l2kM."' ) "8ӵl oa-}6 6mUJw[&Zkp@4uYFtA}h#@_/s xǪϣvy/:@DAE[bda3We?<Z7 (/dNSvOM!(5gv.L/h=<ؚ-@-'N&,1[ C AQR< B 4A_~k)8K!6XJn3FݽdNTf3/dPa:19y~@OS)(1$a=B{~=V9յI1@!)- N+i5^z w}n:>wi)L%Quw`)8N-:yK/b:S^U텑:q#czM]{$8#galf kK c$ ǖZ3h P(FB>N3 Y1S7_\Sx<^`@A~,6r~['E|V6mѐF1+rѢI0ݸN٢8+F^T >)~,`NkRol8/1P{?mͺvmbb1_ֆ;rǡ7 CfBR\=gwU $BgNOnXCsHFy qFǃdSشF ۱R3 ˋG~.ZV,Fl\JpTIM4"^0R]2iKQ]E}>GIm~0>G"&wtΛU"u(v]#._mמD2 I.q&ERsVT-ˣsI%d>?V@w!˖hۢH< 5'9!EgYHmfluƕt)rUh&x<"KeeY N~&ha8Si~ǬH=lF6?%^: $5\+m. !d{\ #o %{|2j$lM}f9\˕];cQݬ(?pcxq3r߆D:lU?(Se$aw]B8 N4gBQ5Oi:8skșt$zFF?Bp ܣE{ :/v0 ;aom4V=^\ gK5(#LSv ?\ش)ѓ |QZa1'JP6jޑ4XqX[DhWٖo020XNjB !d})tYC\ >zVL,'·L%mݰRYC[SOđ޶¤wɛ2`-sq`|Baṯ~J@WJPe],Pib`mDE7ၬ%(Z* C6EIWL4w:0qPEC=μ,rϖxmmݏ|5^hƯ'GD3pzbVrWZ]OUzS-6\OCjA=i7dYbQ QYEMw:8`#}Rztlnra6%ŘЯY1 Ǐ |PayyWP~*Xҋ pL Y#Xjy\zk 2k죇U !pj+WA`׿UTA,@Ο[ZnosqRX$&*dOM}"0&o}83+ONjZy/S ʵ{␙YL%p-c67N&%L]sg^Mʍ*v6As٭Ԅ] a 4 ^0XbwD74y[㹹-)Ω* @-Tȶ=Z6^Guʙqz;>8A?$sk|lZm Tu-~GϚĨϢR/{0UJ AC*Ք/S~Im3瓠^zʉԇ~ilA:7YsJh0\SO}G-C)gm-6|8Up%z+p dy~X{\a2;9[!EېؤLnbou[X0É4_)! u&i1GLp0% !pO⬱'--pk韌Qʝyh"AEZ"W͂.sSbce>ߛWa,ʱE*3NwHa]b\R8>‹ԥ%,qoҋo43ahc Iq/Iq0tЫ+j%`p%G ZUs"Weđ $ḪAu} BvNOoR]$dw. :b.B-Cv"1B\RVtX]Tb#~naJ{e_W>u+LGcChHJ?Ia4] Z"D+ Uu"ólk<RB. ys3}Ս24 ?*Fh?/"o;F|n-Q vL2>]HFPK屢ʂ`'$>Q2as/_ ޏI 9曆}+b  ?Jj?S^bA}F[fW7dETk|FoŞz;QI͓aL!8'MFUňW\IƃKgFxUq,%[ќ EAݥu-En]_+"#qQ?'T7!ZOɻx"Dp%~m#Ik>2\4p.Yx_UI}] Tl,ws|TCoS@]7B?nO Ӗ,ɥw'I:}(ת3 &3 pGvSh0! oyg,@wbP#tR zy+uL%~ /(ߚ AU;t4oϺg)vIvNʼp?W[jTVdeyczYH~]{ŏ{P{Հ&f 4P]ymbB&N}ñWw3 /h Ҁ@e$T{PK"A@c&k Xtzj,S96$bE,G(5 GFؙ&-xʿEF٦*7;/>j!xjt ŕ!Ɋ:}{ҳŲ"8=3Z >smbttѫ kɊͬ͂϶ e |Km7CGPkbcgP"lgxL'/IB$v֦>MFSa< 0ؽwtv(~vZa#Q@; yzbx sm_,,e_ iITznaM8ne "IqbOSBV_!AMda;6{F.q%& pɜwUd{ZG,tT4!K z 9OHB_'1rW /#G?)3k>(A|r"K' w; W|+A ^|{E70gAVuHc1 e=Eb$)ʨYs'2^kmO|)x `Gn 渨 pmG ]o{Et!dl 2eVWto! "Fk5\Uv쨈9!`"[H??w?sǂRru,ݎYG1s{?AHUZZ&v7{1 ?I,c,3]Oӊ3:yIxTIa_TLf9t:aCN$c-͵zmu }m;띙i7W)Y3G85ΈC=wL= )'0~㝤tyj7}ySQmfC1R6?hp;(3Yߓ>oF ܶ&%$ {fxSR@:R5W82m_IYoZ^.PĹq"wOpS"^0STX__eb@o~:ָ_@I͓[^Pp)b4GԺ:oYH֘RjEttREeaT,Q@Ь -ا&װ[~13wP7 Z 0<.|3kbR`92?9rS5\݌O0XFKD~'bMDEjNJ|Tl/X;lÀZl/:b ? iǨC 0a3x$ri liڼ/5g %_؜+Q`s_7i<{uF.5gb_qu_tj\ oE|GkgoL 䄣cŮ+,j@vll>y쾓`Y;.|x _bgTßj>i4z"Zge_wj#_$^ZeSJJ$|O;m:+z"5\!S?:Yf ,y:_?4N+{xͥ*dvKZ)yhY 84)Ŋ" (Ե*Z218<'?Li̹g5;Dџ:D2A]=e}E V1>y{&GVz2:ƶD=6?OO#xŹDM$Ylv2i]CU_0NgR9 *5t=[,IA?^pr!TS?>%`VB5ǵe7_n>J\@#caI"QK٭oqᙔONxn(b$vY/p#< $#uftu?\jJ'쒾 ތ3}05=UXIz^;yz׸w@reqZl|pJH J}Y,}M WbDps(3 PT]3\6@#3'o,b'lxVKmc#5jl"ʺ"6peDD9΍MӦaJLr͆ƚosA-x5~b-SX(R#E²YyBS6hw35r둝Ey-"1J7_ބriUM"Ќ@ s3$ (> m߫p.c?(_ sP( ~Xwhc9Q}䧆\oCJH2 ,'l.ϑLixr_KU2eozkͻWb(Jt!W,R.&KHhpW^&~!UHX&(mkrش3QsI)x@kʳsaOёN\xo~sV{&bFu.QbkejFՇ;; $ )#LDn[iI0bvo^6 ,Uohap7c xf¹72feIR}<fK,˯v״.nwcQ >[E5;K}n8q&OR{A @𒉿pNy-VϠ4=5lS&ݴ4~ϹY/ ٲ IuR1th|pgp[+L<8wɵKkooY鋏i1Pg4 wXe*Wl*LŦ/g?NP3;9f1i ȉӋ+8{9 ٫EP\9b|Zӆ/|%ZpCɀnarպ3:"rޭm$A{i`ш0#Hsљ$Ul/٢_4h#cd2no>_ 04+7VPe%!~w/qEg})_r#x\Eg"&Di mqN2a[);>`~ d>a#A" 81-~er|ΞbkĿK0sqA6?.>TtNfکιՇ)ᙱͷKVH"0[=ruہO,g֛Kئ^J> Prm{jp7g~Zu'!KK:Y~ͩGly>{{5ѧTUzUj@(9` ㎃pȾKmP#ݧEogR )y4onvﺳM sqkHpbMuuEֹYze)[TlLNg&C65?ũPf9OFT(9owl[A3EZ'9pq_`=7]Nyzuv`p/' 'BB ao]EP lM)W<3` ^;EHڹ4CB45 kSÎ+'颱^j,/'4;tfD'= »٤5YZn[ЧM.w'.,C8p^qlr6 "IiсwQKh!}J'Y54ˮ`]KVxyX^ BϡoqWp NΩTeUcv B5N1M*ߜW%ymWaH/jD/qedAYMֵS1/I^N]TX֍e"DžaoSkjX;sqm]Ŋ@3ɞk = =V%xxVۛ9wĠ1~ߋ&Sʹ7j(K.A>~!g? _ X*\$M %SvpU ?'Z8Y_/cTʀ "Jv2L;ӗȨ7,ݖyl8wr3OnNp橛b*&?ɲphM5+uzi*p*/XY0%p24R0vٵM*'j`e4~K8F 7t+)uwyfrҟ=NZ4є@OGtp/49߅Q1"Ҧχ!\Hy h-)eN&:Ԩ$>䡔.c Άj=aYʽ~EnSZظ|7r`nS4b qZK2۩ZQt>)Nn W uI+㞴 ]KY>|r"-mFX5jRMaÅ\ҥ1J1V>G9e.NYk쉉Y5U\0͇ʦ*VЊ'3Yj}^#i_\p%@uXܚre@+I(NebNLӉ vɆm>׮lΪ=\ L⌿J_ y%s1㓡Jc!WϿ8~.NUT۟9i6ߔm3mp1R4=V/}|8 ̐n\4Y3J3dM6X>+Wؚڝjn3tuiq͜ʋP+y,D/ioɊ7K/,8[lKrc[͹bBD;/굪T H{ [;Tz_XT5ĉhkU4 s|󋋒8U_g&JG)N3.TR*}ԆHE[bJn|u (>.Á.!]=~b;4UBTF/A@ !FtXĄ$R9ޱNz`Y ԄekρYvjP9yNL珋LT,Us ]`K(*ǒ [mN #Rgdҝ6*jו@|.734[[ `<ʴ{yYL6b4@ڋc=wB.!F$ M?В޶mCIhOdE_^ߗ )g>?QY5 >X :sf6cWW1_K(]1=@O Ewk-݁pWM&*}ƨ .m&p,}No{S{T ϭό?#+eNFNu!b?a^=Kw_2WP448$135l.B}9Ћ_L#^ k 8=Ϊ*GazqOUo3^b`N?ח 9M5W>DލN Z+HkbgS\kJU)U< akkOqi/a^cNȬ!PFBƸ hU}A᫑Ї;c]Qi(/79~\ucۍ/#i)_ϘM1$b~-x0?h А!Od 9Ce)UpӮ;247l5b-+ +X}?&;VmӾN. `.Hf~ !'MXI,y)3.rEv⪺6ZjRd?adڢx\Zvhbh<尜 5ҩB;g)fLyuSNnhz/R"Jx? "G(b7CrvV֒[4~]D})N5֩k>.mW E. zS$kr.jmRWt,ߣZ qZ+2ea 7P` R\/Dn{(rGT7isPR#irR]䂷wm%FuǪoAEå+Ged#`ghƨPIֿ|'r2XCJCL]tȏtP#FI! W=$G;͝(@H0k60Ʊ>WRwuHOq6NH֣SeY >.IQQͽ y~oDͶLUy8-PW_T#!(.I]8"KRYbeԅjRMxlzi鸓@@~߲aF%%M?s[k^g+1qV-[ V:;R3_=rѐp`ʎ?z's$$m5Ϗ)G=7N.4:ϑ籫+cZiFjw?70ܖʡH9E"&?gp2Chw{ԭ؆C iC^y"NCjNF"ĊRv/S5 6d]3NAq=ۊmXzy`5/ҏk NwC:&sWYR/L<\2^ur=SC}{~=ү$"ԃ+-qB8̸-Q>fӭmAbՐ zn>D03r&TwD2L®8(GjzӹtA5*~cs]:sя`ǁ`&gGB}z~W׎N Pa@S@p&s2M# P9spKx&J|d!"z3(8s|@cEwv%=0*l/+ͅ:&M<dTh LPtIl%'$x8~=ve¢G+gMǴ7[0;:@t͢] ܁S4t9v;Z %9Uo$x':gt_5Mfb76:w ɱ~ 94/wsl藭*ټqjNHC2^DKW $Y8F3 F/Ì$VIC"L\Zdi[ݱJ&V^mKo!%O/ JFTUl~q]o[Th] TǨ:5-k򒝴Q L^V4+= WTӸ7ĐNIpj?$4'Aj,-clu#ô9 ꈛ1C 8:EG]%EpU{N ZPf\SĪLz Y[-jm[ja"3M|0ty5DA?BOՍP17$ ܾfNz=ِPFdGzB=L(HME0 7n!SIf^˳B Y<}W?Q ]^eIROOZp ܔ[dx`99 h|oVGֺif%F=lfEpMA *G1N_HUéAV JNT`OmȆ t%GfI_~t\"5=03=&ȃkU.@mx 4?c#v\?W"* S-RA ?{ CB43!* 8cf0enqs#٥LуSS;{)A zp}N&$J_W8 }J-rವVD'_}f?E7[d7|bGxtS`[H/_FgXDz2wߙYN`m.,j+v2>|kAǀ4wJcQ_e=3Q]xLR@N/8DDs[tTJ`%oeщ=תGx} f1(՗Ս=LlK yy`2#,:[Fd* &q &4Փ.OEŖfG`vKm})vj9?-~3}5˜-)Y3 n?H|fY=c˳xK-q̷wL2@0i$H`C$_Fx;zyrbI;k6<4`ef lzH%No6 it/ V6ڭLw]%<[jӈf')hQfD4#TNooX8q. E&a1)ܨݖHgNuu87YM10ws5^uVvLE/+Lk z< >0Og .ѝ%(mRFԹx 18D賙3A*P8XvU;٣ONI$&Q3̹8LxO [dXBZ?CvQ"8psQzՠҹ+raC&vFA ;z'hgjH_b|䵸= m3GӊD%3k\*pH;uGX[~^ٳ9]\ {V1Om“#) ɂb fʼ"YOUH$_ೣ|#{_p Co;馘iޱF&j..& /#&:ms0Ѱ{ stvnVQX&~.«/b4M¯=XI)2Ƙ!xSUI#9 /ҵł!T3q)I2WfUvqD/5[te/yڝxl6p%isBSmBǹ9>aˆ]AH&uv;TVtBZLH>~G5N.(cww/W{ $04^KMg$PE+ |5S(]q-WES0, k aI3vH5wa,^O9s\cKPo(jX߻nan <8CKثaprq "niH!w r~q($ޔ]LT wxuh#y_X`v]  BݫI1r6-tؘSõݚyqrʗ*V >X.AщyB6O<ڒIܦC"LQ6iWgcYU qA1Px֗!NDVU) ց׮%)P#T΃2vbQ~򁲂w?+غMH{GkU*bړF6 {|,qOm&k/éiؓq{򧍉 dE#t=ԭ1KPa0U5[:?gPl`.m hi@#T]BGzt67i6E=|0$NcVt62z3eN4b [|Q\6x]/C5p [>ԗ; ePnSd9jpFho D6-}s84rv j5yPͦyDVZJmFŚ; +eec$Ӳ 2Q¸iI5F7bC֊uAJ*13k?p߀fiۚ!^ bs~C1H}[hyFPpMWI Hŷ>/ɏC( )pKJ+{J2T1׎ !rfЙEs6 CZp߯fv)"' _xճzԖ,,0x׺)/bVzH_-N0gW5^-~mKYpyzo]-܇h m1XgsY|#=ZphNB1Dp@P}n?ZZ?C`EC=`%l >fRT&5 IvJD.FY_Zi k9jibwZ;tBP<Jg_]0s.c|4{[tNӢwcD]>{;8R,A= XM֕K?(ZY}ؕ4"Ɓsue%d[# RrNZ.y& r5c qRcoxJc~TfAc|rl:ko/'x ӸN9;LͶ& /ovy]e9+MrHNgoD3g8* FImh68 5Wi 8_EOQp \;gNaѱ ( IE٬'օ5$н`D_j}R%u7kpp%^>c o{;mX{Cv`yj2ǣo? Uܻx_ /:fv ; %b%Y/-"įRE?kyH Sh 7+zcIXbə+H܍PwNL$p8]A-quЋaSSZ.h|Ub1j5M}D7mEeU_P&鉑KXCcɩv?9 =SPP%s v0T˷8!J*6S~Q kUrqIʚ/;IOl㑎ձryTbWzňK=)6k"mb0"A|<ޛݳ$Y.M[4Rm#6CH%%WBOz ՏI,Nox+f;ʄ=x!Wڅ XtQ̀Llн0 ߕ_FxV/G`$Kͭ[KӂXw$5]eWt~n o цRˎ |]!F|{r`8v,Yv#Gq"L0wr|_MQ I8 _#v~N^Ϯq_^rP|f~$WqD񡒽G1=Ijv狅 p2D:sNjZ^} LhL`y3#ݷULa>7&Y\Tu9v5-a,,EOp\\͇d+P5hU:#!ª#іl<ߵ;CGqZB@;c1/L@o27yoZT_vQ }G=Ùyg9'b@up׺a?}͜0ȓ8m=ykX72\lO/fwl'D_y d(sb X nZ݁<^9iVԐ#Cy96睹Ӝ֥s{턑QJ`N7a3i 8t'obՉ@:ё* (F +8pW|4qdP;{5Hkp _#e!^M@d3\^&&Lw-iҮzЅ 6{\T~+R=U$( ѹ= .{KRg JF$0:iu=̤h 8j8Mx1}=IMޫgq=\:EcwPjnMH8uY_5Э<ĕ HkCN$+ kW$yi)`3k|{{ j)|C&0T64#u7{jv2 L=!UķUYCcJA WFd#}ic[_`y^sK)QB]q)qBx?o,oRl!QS5?qqZtp;[ Ã)iXO+|`uk!|bmK  <'| E j+³ʫYyn;#A!YuDLcW#6Z/QQ*Ǐ:03:PK?\-!ByLl:y\!'$sɭA+N㧗iq޶4 ^ {\hpWJ۔+>旯6G=ݥ[~xX_O W7>nHG8/-"!M*Ng7w\35j#(-; fؙ ͅ50S!6ɋ!s;5}Ӌ$m3d dg32i?8gke6DyTw~$r4;:KbRklX$6zg X{Hf.0~LXSHVGcwK$"yΒu@m~߈o<p0SbZprcC ,|H6Fa"Uu<l S4`&}hN f=7i͹17R,*i=28 lOQ,x5bc98?=*ȏ21BEzKUiSZOUQ~՜cOd>QK\:u#4Jb {MYi#V.ODVwyEBF|Bg!׊z[\&ו_|v7>'FÆZdvb"G1Qp??6ʒ^U4\x+ˁnV` @LfU:*6 o$ fWQ =u3L& K&}` Vp8;P?\3>yu/gPz-k|!TVƗCJEE x=*D\ L>:2{ )1L~ibrS ''д~PW_;rv|Mպ^Dl ckRlwdpgUNM7Ȩ5ߝ_lkLޜkt _w;/rZ9qAL0) "X{=d--*4pHݑU֓z@ ~A]ѷe 0s{w^*C=fI8*]OcX^y&'rL(gYZa40a2812f539671507297abf6ecf092a73c1e234ac799521742c6a511fc6b752309e53d5f9492760c57f0fec80517f8e575b9a9f7d9dcfb7fd5a7d3c