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 ``p!t\ ]]]HOL-Proofs:threads=6elapsed=755.857cpu=1817.364gc=220.940factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbHTE1W{g[faxӟ t؁-R)Nذ3Ѣ[p 4F4eˆy\s*iI-3Ӎe$WEdtA8B֭%'Kvei|t-+c@V3gF0 mL揯`_L訉4*ԱՃp atu/ixr 1so\:rތN?;"3zx 5}π>ELQ\l}*_>ugqbzb% }ܘť|~5aF<{S#;8!Ua08KIٮZp :,ƠEA b\AkN*Wgmmp-h s#54(Ha5F-%xrFdV2Ygj˧@(i|eIukUTm},tѳ8`_?/)"dzf`RAewiؠx}4MNHc4(f,ftJ1ޖ=Oз!-Z*A| #o&94 Q&()Nw)NgmWV*dp dKp?8DFS'kw{2`=~m_TH]p*~dų)2mIqHe#2% Rh q:BxotZo[ B6fLD xD}| ɅJjDhX`;yTkZ2GE__32js>{)‹|< ITC&-t,O@] I`k.<9)ѡzv9"hԣ ɳJw@3m\Óy)buLH`1e'5B W],RM64ubځU6oO!Lc~1fm vsrA>q=uMN|Z]/ۀlU3?f 끺;gLAѣR){dT/I. 9SZ5e# 8YUTqa2 ]nPLN]͝y"XSqǙsFKeWo7IZ0)M|Daw59#u%Ż(_:3޺K3b*}ǸKvӛwUKK>cP~{dK9Փ#˧{ϰoԉJnUH*,_3M"N Oh-0M*'mV%U`Ma$'6Ae oM-YZ:N`"Me DkkA~)_G[FM ? &3:6zNJXƶ$T$Mew;),Ov?!93j3#=L]x`! @r߬",hY\ Lj>ϼ&tO ~{j忽szjm(ILRe`+22 ut7⅒!Q?l xI,Ξ{ZyY8!LsO;,_`S &7{_$wE.z\N1) rS)+U4l egk<ր3׽8Zeh& HX؃:%@qdͨ*B=Є],f ,Ee=,R=uH^|rӲ "apA'v\nj ӊKl w¯ *D RƆa<4g>iBWsP_i?יY5RsAVnӥqW ci-G< (U珲#VZ~ݑn˪M#oUWEr{vFntbJ'#>ؤ֖T}0nP=2c GswW$GsټY(kf T>jHn7U%D_KqDΜ} 4 ^z&v$ؽG0#&9"*: JwXHwNZܵA^ ljU*dؓ3J.Q&败t窪 !Hf;/!9] )S nA8RGbL! JV01@W57h غacpsbm ڥs[1#sürޗp 1l<.mlw޼e`hӌHWKe%*V9EJP D*VÚ#d^b۬j]5q5Ų?tBL(zC+ TA/tLˑ)r0O*?x"u2i̊QI0qSzLw)C.ޅ@Mt]Ȍt;DΎB;Þ#DԎ[ :{zx S( `C y@u7)/G?J!; flWМo*kW-uO?u*X%ET:pml*Tj|ApBMl+w]TcNX0#5C1?Yh-0ŏt\g'G{iKN T[Z^[gB)6XD_#g-f8BdznV[{?!b:L룚]#IPRT^ mF^B=hi! `#ʹJ|=  ! HOL-Proofs"n3 7ɬHXoZQ9T#Qp{ rxʊvp>:|Ba'+1K#]2k56y@?4/BEilلl^fP6Z+(dSVf'j+6ZZv^\Q%l"4:JjSp'MU0ac]5 q"Fj@YSfĜkTkAu'^޷H0JX5c@jB0d/ "M$R/Vd쇵mRh sj#d<^Aa) U^zfAMop'5F`UsoOTB nᓨ- +6 1748Z@+' 2}7yͩsx96Vþ/5 7#%[MFk poP,g^;) n* /HSlRO ^cmOX0>́stc:qfT Xrgll5T ɪYS۳-G>>"Jr9fc{}D3dWq%n\V$r9%N!=Ӧ0rOI2sLLeg]?JA ?t6JiˠjGu#zhx+;yw=E@T N .01Ft'6;b|$@?d>CwF~aZ͏c~xc`i;"ˢgvpc = 0?Mkf7ΜɎ; @\lΆ݅c m"ռ1A d0* UԹoܦ05fEda/43% OM^A&fW(VZE<UvƇWBGԓYQLENZ/Q>FvPڙnD =98RCVA_N ҋHN~ASK~c9C 8jnUDpL+%?_dLfXPC4U)-2_\d*FAf3R.IeVY+IK#! 9$3roopaiB%N'k k4%/Cuެz1Rqo׸ѥt%7lf`?q)F> [!4s m X+\K3yUNj Y`CU:Q``:%3YF>4`!uFhFF=ɺr69BL/[vM%BARjsǜ˨?47 <8AyAc׋ެS6.Gf3pԟczGL4 =OVM7اF_oyF OLѮd*bݐxEָ}wZvAM"8E\&M~_hςG[d22%ϵʐ2Xܪt6yHk4Og0TJRSݨ%E͎(BSBn_iO}W!/Y V;c)tf۳15fl~(sHNxoN[~ۉ3vU$s)u#CeLXڤHW[_K1Y2O#m\PxfNX"(-A޼tIw%4ZbS}ص Y jZ)EHRU:ƝG:vQ5 cP3⫣pSH:aAS/˃z=4ŗ ?V4`k.DŽD.񶭖qQɑF5,ڦOm#hB#sLCN|5ʚ/7ާq~EPI{Jjhi_9ʖP;o ;BӨVjcg'a`6M(wN)SM3X BiX9n3=Ȏqߝ4_D[џm$>*Td]{1@b|%[4eS7RP^mԜs([{Gd&yuyfY* La7 uSO۳ʖ$8&PgYZ7zXZִF! r]ŗXiɟ29aoʼz[%U>EM!!*X8 wfI*GߤYemxy"#@_j,sn`PwAM <}\A9Wme}/LG+4 fIszvGVב1pxWh,C%23ӥU6 PFHWe,L ~4Y*3}`Z%$u[BE8bc!.7z):օ$QZ/Y-(_RN@hc8 "yuBi?j<] R4 'd>Sj[yg8CV%++>Ԥ;rk'YOp,nvrYz͈pOIݠe_n/=2<J=Og!7L,xgǓet{Ae;|b?E"婙**P]@_RibD|6Q,ڦU$捚d93o]}ho=I ;鄛}kE~'jK4ze|1 htߋ;wZ+r|1.wsp/AS莜MtvhWSpm^uEL*u[NHSv0鋷ƌeCQr>Lpz0oe+^/ 6AHߞȇqz%ĄVT=q+i74 7}" C"`F_Bc*hmg g%Bq^ ܊A?P\nџyc^E͗ VtX`eP=+Zm# |pom,hRQo7BT1hL~Y@Od ry5-U.#c]n#ScRjca "@oM. \* #@e@*,z_uw׃fㄘk6m?zOKfg%cI{÷&6M3#u! ]b^4Ц"P$c͗Jy941Wm1K}eOyϸYH V٧>H#Ok vӤ73w!4ċDU7ebCR-_FiN Y(K:C}C)_`gKI '[p &BŐԽE5v90)EEqi.g^"bN3; vRNͷwDB&rN ^3M I;f#B;EB PY1s.Ls[z5UEC"婐X cu|VOBlځqJ1HT?jᅂ-5I/6ȐJ6m q7W~#4[NSr? p8]B @\\%"Dޱ)ҿMJ3TaTGuc7BZoϖ+u"<^R|(: -;jC Z#ҹ)pPH9b2P9% =Fp;;b8h4D`K\Ȃ(*k:=o..@̩uAv/d%0p92}}0-D)>mMᏋ-ueo2v%gYZ7zXZִF! ]ŗXi%9sƛpkMKt?_vNXݝH % in|["6ENw~w9#Y '\ !f1h_[nwDk5[(Q):0 Iؑ)+@5'ѡ=Ncdt8\#}T!~w2%~ʚӯv5+f{'/;q(rp[y?X/™u{4e;}%^;ۆKIP]1Z@gPN! 3x~6ND5%0y<>4mDDӟ>#Ix&)}U&"D1)ZaWƺ&𢽬Ɗsޣԍҥ30L :\){O}+{ [E^?[FZ:XF#K(oCKnش=9VWw+W{Y薘ʑkjXwGj; yDwdUW Ee/46AcTMX>3m.qHhN>Ty 2<= M ZVMWkקt̞eDLj5[#؊"Y-Rm v%n޺siT_ez[);~b!#\4p,7:'[ ~KoA(Ju2"b!` sE><$w9 lsVowT; ^EAwADKdqdE5U6bg?" ?H ˑ!A4DoG}aK (#}P Ol6UPYiVKKpf<*+yاү"J8uՊ~ $ o.ִ\P&<*_@K#BF[/{ybDaYى ~X+(OBshQԄ lIj'E%nrTdz!,U8V-dxC[bǾAnfAQ#~8sh#BGxΊtّQ"qYo* h܏h"3kR8TQmh-ƶsTBMSeSl++PGl!}̛,,Xzpt& g|Kq%݀$d:^ a uplcG8e._]RPvZ"zs6rDyˈwh 6Ye5x}Į*q;QuWPoAfKp^}n뿃&˸. ߺGz+4ӓA陉JBfZ{n勾|]*ȻphM\X2C[aoC .,Ե P;Iyh%"0w1q[4.A@ˊ}6Jy$q}ŹsNCNjR_vyPS{-20 *XoxQZ4=PW"A?C&&j8[DZ\3c*LXV܅C4g/I":ȩ2!8x^HՑRd)rj)ا),5"C_eWW\.N۹/' <m 3]a-%0tiûCqQ<2y:=ؤW$#WV"\dgptT(62d{lTNG 1:!WU`y*V5è )Ĩ b=]z8t&U&B1pn؅o[puAGS3LϺ&E\ `vY`#]]sMA̫B{!6 Ǜ l"%$dxnԐҷ`N d״sBIOnRn`[5mꒉ[UZG.[/Lʪ`@r&teS:!`rUJE2ZV%V2MIq2rzp 䩼^n3Q75?o͠)XInMQo) T EI8ꅂ#Q$6]jWl BUa$twԫKJ6 ̡s6W̒qY+>4Vhޘ -c 3"񆅓!ͼ";78l- oݔ|} 6W0 XVXM dE6S:(Jue8aˏ־/QpS{yfD"^ #9+O+V~I (^"$3 IJyӢujúRte wTAB!U--2Q"j ,gFDH|}X2lHz#d&og* *UU+{cljϮEZmc`B Q?^d*CPWĝTփ~K\4xT{G nF]"DVkԠX?l..\ާ Q`%$rM` &olt)x|yrW{S:0JsM#,OũԈSv{>!PkV܎==(U/dڇf8i$@AW9esW4qi-͛O7Ԟ|y4{|'}4tT%2) !l& ̯UY)"C甙Z?V`{e >[ 5&hPC?6ta[!LL~av)-rb*|0 nKݍ=!c`餠>IWޟGY ?VIn-$\¡|3bq3]28!a:/~JX}ڰd22ڛ3j1f~ 4#v-kIYtvoRf I*GvM :G>V}5uV:X* .J\C'h_D u2#")Tvv?֥/ƽ.Da]J>bA1!$ݺ-'k~K^:8G[N.=H^5h!\,TʆxeE/zA hO4$?i,DP߿)I}#ƞ޸|oyr6Hc1!f4X>q_d j߃Ykmۉ\;vM$$z!|e*PPlmb~4z{y F%@t ;[m%]:ܔ63,*=k+;uO̺S`ֳyPG}j31-%vTn[Mf̅:i45" O|P)Zȗ lC2egh'd)؉Tfx') oȂGش1i;™Zᲊrea!6JxŊzV]09I],%Sx^"CRuSsfl0C?!"EOTJsc㾵c@^ˠ+Ģ';]˱ٰ*'|ctp$A `ߘȱ>bn^~8s]}"ñ:!5,YF&~|>ް@QȖs[9WB `p8ozRJ( "63gFQk+J]JPpoXu)b EȏеFf2㦫:Sz;![x;N?h&3UDr [hrBG;) y<:n%f G AY:m .$ {SڻC4>DTxOx?,|mv uJ|?CpeyiP467j}[qHqKxg<ȕa--;cdRϽ4γCZJiHh[A: ߴq7+kCs+qOcs7Ywu}'r̩k"x9FosJ%1blwZӋaWxcs< Z1r:H &6!rec_gPJo.AbOx+(}Û&YnA_&h2+u[Ӄjcnx"~Y$0L씳!AW ]%ǖ'Axxf@)QPc 07Ν‹CI=,P'o46FgkԤY_ ɹ&q [*={y[Q0AGqfUSHU@=L͙Q6fkQiQz#uS<^TTc/!IeϘޢ_iF铀N~D t)Y=uk(ܑ}ib2XnJ]N[7B:WE[iِW2SC9w–-WpDfcvMqD6+#02xV !PMP ]&m#4م,3*-tUMC gԩ5qvK:^}NEpYʍjNqzC[>{\T'+ V nl~xT;`1WARpC2.ծ)[@<\)j Dw#W'gq;;$"WT҄pf|x!er}0#Zsk=AU>E# kV2Dl(b LdFt.R.VvoJHjRM~)_`ӏL?Slr"!aIurH"Rw5q#`'g+^31*m67|`ϪBJQ|k`34E#[61EESSf [A8&s{XaxdےèLw͉:hpv^hb tl^ _ٷp߿#tl*DqۈcLzTVr2vzG+3-: <;H>- /8 g)=XPw4U3>n\=""m!t?$XQ?D\ L$Ӫёt_I` $)a;/R c`Tɐ)q1m>ۊQufѰ3HO!ԕ͆OXjڧzKk2oyFv[F&(OFW|`RDg9rxHCݪ$qkV(BT횛,' ~O78_:lk v}o#"bpz'BJ0ڇR$]PBjMhh g@'1}v|ccD %mh~ru˗.+pVGLŵ*Tv߭8zE+C4 dK\jljW߫Bú̢N?!Xi+.M^CϬ:2s*.Id*R֕ {ʩr^fC bK iCoo]6)ﺩ'Ϧ+θ]omwCׄS$Y>`lXP5}VwQwarnK6yZngB) 1:9]a%-QMSG*>w|ͫ͂ӵ'(Gh* | <\^d_ D _߹O&'/WaZnDc"d m'qMgbl <VB~煪p`z_-n1x"g?լ! \Ҏ[ ?WAQ<5|0B)6lJS7ïS޳5ۏJ.sp@H94#0-궩&iOcxE |VйBzQHf-#/a Qu>+O15'ѕa7Ŏ.]R hrj:p  ;>C9dgI (a%:#olcc-GjA~4=x,|A֢{t7sEKDsȅ(ow.@ypx*vi8QABf& !(Tcw\!aCE%pn.8Xl#Z?1P1( 3,JC~N6w+ہ`j˸O#5fZ㳬97(ɬ(3TYIl4V1eu.f|]jp曓7s_sP!o!b ._CNIیNu G?8wʉÜq+p |!HмpBajUcRqy}?ӅBHVyxJ?EAsͦNyfE$619lPz d`= ޿tL}$0gVxd #l= -ML3tqe6AIDRa}CCafrF rC3&,U=,kg j65 QfPs?'r{bB-gdbƕx*$ <>pgt#UNglG$޶ōE5 >cDRbw(!vz i} ZQ?onFkR/tYni!_$dŬko%c&a &j0|/g3GTN&[ }TKG\q c b)@BnlaO.7XحEzAs6d ݶRa&Ͼ<XHÄt o㽓W.|7:"i"C#xWM>8 xQl#o{\֠W $?`{I2fA ǬY7#C/DZL'zu"(% Q2}}: S6?ӃDf R~qlݲ[HDA%חr槦8za}]81sgS FݠbҐͯvq[| ǻ<X]bhUy]C,jlXzNMȝ17!6ΏK4a>#Oƣwх~ăDʇ3)#;vBgly\;)t:I\ ;jqAExΦ^4⾥%+P*{}9P#`ҧLSp$v]E6jLS4W7wnS0IR98 g˖vO \5x1Ƌ[+*w~@|ў(4N-1Yg0nl C D09J"vK{)H Q=Ύ]2AO3"XK|s/7[S J@qn% xe< > {} T{_IAyf{{jHY @^v\f<$LdƸnY:ǹBY&ϳIj-!9i' ^]Ѽ5UxKPbFZ4qv,격è`u/0TGi1fE؉ۡ{C$!(5r+G2S-S"VNOR,a ^U T[;k=U +Wn)9ůqr :<-9aw^# Srr>N{2. ]|ק!8e"^P8ByuYo+KE>͵d JBǀm܏ӊ\ \GX[~K$QY G4+^IΧr< mj52&`@#4MtWG |v (F~<*s{C[c]栀?lw>"kZCI)P!/#d3?`slg|oH x]#ˢ)O įgMeD/&U}B]h! hǁA1 &X OօV!;Ӈ*Y0 bTXJJTvU.ЂzτFS@tGr)em| $\U)Lqٻbؗrie  Mj>emn`YVx~%˜]{Em2Ԫ/ƥUD32BW^0+T}[eMAPY"*74T(@&O`YZ&t)G@ęTc6mRes{7dx[0~mJ,v Fm~ĴI߃'6 H[} 8Ix9i/8Hـ|sp3tinW#NT`!uiKLĴmp4pOObLČ?\o `-#ŧ:6ыJǛפL6NJMǟn".> ~s]'v~ yeUdȄ{PcEU5GKM1$TMa]ׂgAk?%O:|.N.XL~.f-klvo4 Wky.Ԋ%PZ;3,CJ_gOWS^uQthdӿ(iBqL,[:B?=3'kHVr~Ҭ\ЌIFaB$uR8.oYR.B=8{=8ahZES=y*[:C,Zݟ'O{W4w}0cKI[ڰ# ,oQ5ew0qA}q ]< {^N c5qv IoБpb2Mޝ:6$y`x`CzqH]6󍂞׆yC9iBϣR dN<ؓi?UKPqٝs Xvr߻D{<4IKb^/0y35o]TiO=2U5鏢<-/35ŬrH1YMQ)W:AIs Nm rB[vE%p_ |XNd ^:P h~ 'J%ep$9W27/OY,eL F& 7`Ӯ.lR_+ 08 D9 }qSI)$a)GԯE[SˆarqW=92i ;]q<xL[_]O?MIe04܃f}!\_0 g,8cYƒw "ڪ& v ,̤ %begɰ}mYE !y=a؀6J!oQ5=F)`T"ӄ+_O^Q&䮅Ȁ/| {f!Ct*th PKA,rw i:HiyХ[c`)tɌ2Igr Ho!kAO#!/p^S _s+ȷ|+_AT( M,Q d|Q:7R$j6b8Sٻ ec(iTw_ljT>-dM0x$|U̠ )B= Q[".0 ll-UKVT]c + M8|զxˌ2^?\NԽ,bBd39s.2c??'ծYΚۈo`yAi=_&;=Fϵ3%Qs443_P+B(E\!_pE-#(1$\2Juq uv ٩kN,s7c +DFGx8u6(]M,Gz{>|ٛI37U\VCSž1fL3KNRr'az;_g`!T2帓@!@)/`Al8T:&fBf.̊87 !]O誯S8@ើ8~Mb&[E/d2tr6sb3A.D1PyI5KyRJ@{=vB@rRW޾ZRԅb1&({iBJeµ;vq t_f {g5$sΘ~̸f0" 6.U'Ǎ "I*GFR~]mYHI64hlcw2&e7Ј>*()NEZ s) վnCr֥xn]v ʴyȻKo~Kmq4Nz߻o-ԀPg+^3=glztJo5mwZmJQX&qwC * ط@]ZvrCElP,cCE=":1HfBG;5 3vw3fZ\ 殶i JbJ\ '{:.t,6CF{8y{vCr}71񹽮p 4<'xnm:T89*n;?wsY+s:caGҜԸpeIwLX n_o\c=XLaCA t&Lv]9ɎgR?>[M_hLHrʢ= "6.xBQ5(M|$6J)1QXt8ޠ7۠nmgD((*Ʃ#U/Aˉ 10P&a+ ʱzR*.Y6BE4TJUl.߮&׋'=R٫|x3/I#H{T-n F7ƽIĿr\ۘoT%d&v(R%n(ِQ ӆp*o .^xJ,J. /%׾rhe&Kv-]7L(2U½ۮX԰7GOE(]#Qft|'jѦ as;GjU%Y!&™Ф>s\+8d e^7D3AA}&EJa*<.<"ǙR<uII1piZx3Uz1*L=ѵ0T˂hˊXc(~ՙ 0H\gcK؄e5Zfe h|cbf d)ևJ68Dh'@0ڰO +9B.&'8IGZ/b.VCxڔ Za^ $Th 2ykNUy ?o;cAȫZHdfkqV$@ O K>ħ7hH̡Oc|5ց0[]ϧU؈>1<h/k?WB 4ݦ(mHpKOk>8A+w(|{!uq[B IDUѿCYߨM978 b>H^h LX3x2ADc\ wCjCna;zL5㷒'3OO2RŕTc5Ո<'h\MmL6C+,<R؜%{jr.%uG8lq1ꍉaW _+̏0^@odR/8 lZZ^wm@c^ H9:n r]1)@"ffUbZigx+I\DjđjL@?q𷉲 =dyoh@ocIɱ);y Dav-;T9vθ(U? ܺ9:YL]qp|rр %~"Rcfjy6Dr O[# 9F?vkj(zk,7 -,s0~Ysj6c3tqy&EiO%S$" .$T$3^A=S25ي[I~L2PJEUJ7#]N6$J7+TY"Ci'Ai.d%K;/dCIU_T9K{'~i;~*C3.{/k\D4\A_Rgj+T|!GQJԺ|[k7)9oS ǩ ǿ'֍\VxnײA5uI,F41߃+{>?IT~]H~٣+o߉8d)@ '*_OF`3mZpf *$TBhbvT_ۊhV r R:fÛT.t>*.\}49š{6KrvFJܮ94ՖD.d<̡pf$rW? #eM PjZB,3̹GXR# ]'^ Af4565Y;#״%4'B"=Hu&R,Ӏ2'i>"m1ڏ_~&YF]gnAGiB!*ˎ*^\rqL΍;wbʎS*|Ž\p ܴ؂O, Ot#ۇG-HkYt'7]Z\ydWyd3!:38הчM#+iPYEׯS%cM㜵,h,~qI7yiA&wt+02H*^!TFxO@*_)(Yw!ާJXٜvҮI:2QF$BA1gAύd__踣q ۡ9gg8yK> )Kqwb D:fA<2Jj[R9Ifh>tZSk\/5HӰ䅀UٞC<*_2Fȅ\WERY7+&+;3>0զnY \H'y4W5K=Baϱ>oTaMF5Lx̋?ڧYٕ>^Cp 7jNv3uPu)a5|ױiy~jm5ӦM>Q^LPXᬱ@A[ٔ7c7wQOm7)`}<?Osn)}6KԯyI\GŖE^+ L:z^f b8Qd3`HKzOeB-\Hyv3&?/ukheI.CޢXXJ8\G3I:t9,3c7e ¸oX Ahkz4yPC߹%1Bѫ Y]<d*zE:M~TVֽ' g{TEG&F  M),t~љ֘FI`vW!x%6X^EIfRhژn- /P!"J"rO3%*g W {OB?y$P|{o,5aneVy{FΒ1:4Mw+{k҃v{3X1/><{c 7DK^] dR0lYҕc:B'؁{ oփkVL ?C4\5}W Y# #a:>ij$0j~ِRgͪx8,:Wa6 X<k_Y[طhJbA}g oEx9Y]X2,A("k~6w-ORF걋lWrDzl*8+۠2; +]"|I鷒uG45+m@d8 a C To3Y z`LY)?1l|VZ1;s;^J~}ոM&#OOUˠ/AnFz$q 0ylB2 7n+_Rp] RiVw'͍ӕdD*1I jYpRμuy0IBGZ~X?mx/""۶Azwx.soo?ԊqQ9J EcqCyx-ۄ|1Y];ܖ^g;p2+O\+d"t`NGWvX`}^Cxd$;W; /08)~<5f8z8m[])cMy8cg=IxĀ KYԋv)|uǶ5Ykf Cj!4˞ zqZ7PY';{JPVW.gMqh cVqZTDᬯ3 H\i‘88aeS} 1*z!)VAZ{aCY5,L5ĢA)PS@%`RURƕf!7$R;aٰ96o'lTA3(#_L|1A']qhw٩r,ma Uwz!]}{&_ o*>so,&e5+zS\9n74KHd-Z̹vi]r7uӸ^IN#)LFGg*R !9*?~S%9,:aޯBFH>)cq*V1VD}!n.h*C"m(7zO8Dk /GBQ= ](. \̽y2`zIfoCXCG@ 0(+E7e[8ZސCp92NMWɩs@iU91fd.{69[,w;ya*lD.)Dj$k41*!e&KC44I~Q wg_S'Tn&6^S"e}w9^}u>c=f$5 \@5&2* eHuJ)FYדhV,o6C9 c3IlA29qm4R2i6U/{mwfu'Ehg Sӊx^JQ4q71aB:6|K|| U6.;eqڿc9)Ƣ@ Ex2b5a4'dRf^|Wte2:%i6uКI^ ]fJ8df(ENMoTu!?KcNfJ&A| =1nߦg<+43=oitn;E ^fK+똨'9kS>Dj\Ӵ 34ފpZL߾IJ \szݪklo>Z )/;  ϛv+${o@X8Ѽ%BRUa:OSՊm8tdt"c/WT?so1GeC̾W9ϯXmtU_ƶU9c   XR2=~qJfs(1VjW5\{Tb;d뎵<[*},"UG?0="m)c\3ȮB1G n(DuF܉{.-!Q\>Wq[@@5W5rZnoը MlLjkk W-1͂+E|PoHblc;|inx!amBj[qT~Uvd wYBd֖1'k &E&гnolqg֫Ϙ]nuxh@~虋8c|{2JGg:Fn]{> 5pomڿwňPq#P,=ixQg{ ؚ,yxO~ !%#WSDv^5<άӑ:h飉wS|wM:g:*!EJhN @hfXolq@t͑\OGgƎ~yM$]:CP:uݼ^V9%'x(YI u"RBҝ㤚;vi˽zȼEحCW-8]a/rr)ؒE`Nbf.NN|lYU@3'@Ay-j3DWouVvwrڰܡ QARV(fF cĤ>'fU͞=aCBmG}k`qsڼ W00R'# .5UKYKJT2^NcBUp겧n'gG 1~Om Eȸ:tT{‘>hBh-gl!U]jv0>2 6ѐc_A3Ǵ*._W⋇dmE#?+MaDJ+GеW` "Su(xkjrf z|oh/ʾ4y7_OE^ &G7Q9j ~!8}&Qq͊ҽsDmgEC J5!_ُje sSvO$ԃEAZfiݓ(D -]S"]ju\:#/ طj=7'I{80n@E G:aњFP""XLik8G7!X 6֠Kfck^XfdӌW&R=rRpRwV:TVHh-\%-`54mS~O`um5Id#¸sdAO&Zr\/S{Q#~[FkRbmlٷFfo~6>T/:\g1Csu8PǏ/XW3,~ذ Owxb qBUcܻUSH@6C' R fn5 XPյű)BvBvwf[$KoJ˳ #xϽg.Ab5RoQwpRrC/uluBeq9ФSs\ [B+JT<냪ɼ%'aMۿ*>e2DDBa(|QPTۋ|r+Wvѭ/W%'v}lЃo;}[U;STJ7W+}d|F$UHHk*rKd/oJ a+Q{9jLS(ۘvZ aF1pa,Q*͏UwE4D*\g.&#\ g :)Ә-Aau!oIK,QdDU!b:t(yr5tF=d-y=Ck4oGdAOL{=)48ߋ:́/)uDVFry Hl@zvDv,Btz*شB,n_R]_+:-o4KږF*pTKXf7ʯ-Y!ɟ;X{Nё8c*eBX#_Ti?j;} 8@rY}{ .ڠW('Nˁp,MM:r킰uacLهHo\j |f ӉLVn &xpaӴnF3}b#/G7ȿ>aOZxɡ'ej;6>A  &_/ϲZM\2aoRVe6t~=rVR鳹˔=vȫ0W?ptgZE\z7NO0'+>_a &հfY^OSX7xDU<0r@tupyDXeެ*Va;T&׿Wl5dvL_lIzwF~^]VЦg_Ҹ)/E`-ZS" *Ag4![4H|[q G[lrDcza6j8o1M}IjJgX_ʅO _NMd#bɜ\z,4 4D;ʏ'(l3XWgw$ VmVkvHiTEbvBo@l(SsŽ_ig(Co|t7:wfXi}׊ w5q\hƀQaT_D@79}6B++KqZL~}㚏 pT<2=4p3O :^y R6v (|s%Z.Xaqةnq zah*PM+c@R/-q*pxs7~*f:!U{޻Dz{M8im^gaDGwWI]FN )nGϫULW]Zs;)pprli$&wg{1o,x} 4lğ NȊZTipJnWP4"1y9,"~p߻J8S5$o,ILO6; !F>O%}#]HrR9ாF+#,Fփq:7 gXW}/K5gD< =]lBGbZeI! ɿmf [:q`/!INP@ M~OOi,YJSc>O [TTî|m\-EN~6wo)[l+4yLKyNP7 " xe=.'flPv#LzBJ("ee?j"ef=\X{(o?q43KD]P1}wS .LFn(ɻRzIq9RnO-ItX/V.II u~ ѩsJZ-Aäϕv%d0ֈx6䶠Kڻ狲q` Fcƹ uw?bڕ1sT&J˸~;}/7aCcPlTO . =W:$߈}e ukW%&WhzW,Hu[;m>ݜA'٢m6>NuY?>}#m]YҫUDa#H ?-XYo}st6QYR8l2TŹ5|݌S rΊ,y& y cC㶆ɴ3{\!~ǴWա͒(??7)P)ݘގ^.s0Ϛ 5)  Pó"ޅ= \I9H߈62gg@|Q'-{k6A%cwB7= ;/X h Lnpm:_ %GA" |ߩ/}QKNANhߐd/OmM̥CWԁ*2Nvϗ .Ǹ8D5U(1_j]; vpJhTʙ56BsdBNeʴ?P窺ک<™cD%oɷ?pjM -dv_?sMjRDz!G6 [\Eb(!rt}i:(OA OJUVFcr@Jp`YG]I[_(>b2\b#ƥj+zLUgPÉ~)0Ҍow\j\@r }OR8!O8ʵG!}<=}LqgUTBɊgNb8>ʨV2|H߄} xj/]{9M +pa9o3_MG3m4zXYs;ufBfsqxw.?Ljj7jukoQj#SB.u~Ҳp%n\y:y!y$Gm:k6 c=u3߿톮.F\~rMlJ)"(wސ/ZBN Jk/٨nk~'eV 0f/bH[=4^Dr,͞R.B8VCl:| 5 8Hn2V on0m"HR~A00R /=W?K(ZG;ERc|f8y7W82eu^)ܗ7o `o- I<6v'sHwS`A`l!\&dS K+;0 mFw,re̞/=Wu.EtϡO(D _eqKÅ&챮I1O6w`? SlkEvQ!l_6Njt&[IUl ~<_| i{92yX+yq]޻V?\AQP,G}@X k']XN\!z  ka 򘓉_V62tn?ɒvz86rvHf=%R"ly%Oq$M'ˁu nS-=C?/)s%?Jr܏ŕ[o ')$LYTVFrFKVro4OL;clPP-R+>^P ՔwxA8+,}u2{(xNYeS-`:+PɎ&!Wlr"j-fM7^! #:RMJ ׷R V+ y,+Oyv>jũ^OpVU烙E hveĮRdU`VJrE*> $֚A2=cnN4ڡHv Kvla*dArJeNV~kR*k%CCm˗G6K%/3vp^q%Y|N abrBp8BetGZ] /qvSx)nkBN#DgPDX< z׻`*[:+ԐާGrLBwY,p^*;Zut ?왮[oedihSN@"ԋ-IxaG)h@SVˉX>UmF |XwKՔ7-%72Yn"ؕi( zeq종Zﳺ$5XNyYh]CSq`*ʏlg 91T2-兵]TyF4y) ZoHf!I0ߵ=Osk.e;&KB݅|b_'&Qа#J3=b\D7Ye@IeUШTY89SGi/]P$*=8R+VYXf0d\5bK͚Gwj1oq&H&Z\`L ",Ny5#\k#U'}@SH\\awp)Ub뫇5]Ce~*yl`D8AL7ό",]9i˭2A4%巁 8~5;]vѡ51n[Ӕr3S&f؜턗U[V. HCfy`iH0d-6'o?XD [.:3A'^NsЯⳬ03?b:ͷK]Tm5ټN-w)i>Ә&RR瘪wEgBՕ]Dqpq3pCVfNEuA[.q&=9&,](MUt=߬:h<*𬖟etTFFb4HEH)}G8C\vl!=q.,ľY.< %>}һύnuQtW\t,E$vDY(L/n10e-.]P=-vXH53)6 F S xJ:J^$Waٺ5{ݕ) 6~T'5mE~(qmc$uQ@|Ѝ^,eH' *NPvXkr#K8ŠM`Eh "Hќ6TY~0 noou"b}BU~ ]&3٭\^ ^*pOM03܁2ʌkݩ`jy;gYт$Ɲι2os=d/ƞ.P8GlVH+CH<#Z3 Pj7G)s\Hv6o׉K}+|֋|L|s!,_jn.'v$50ui^v:C`h)A#@B`0"Mn0,fb\lymƬ@[>BtgΌ(a+gC=d35U )t0=FpD\ xN.HQQ>B Wm#}  e2TASRo;gL+6KBoP mBv\a]=3 Tr Nƹ x>~)0V{-sBit6Z&b^4 ZԼ̭Vt/ou]܊$zY נU3@KwMV]t:Kd.RG mm[LtPôVyNOzD NayC -6i^'FkIT\BZ Ĝ62+@8zM-(]a9_8eanK˚[G j͡< `>WO8,q:U 1>ʪٚ60D,Y@$Qd|@ȿ/Ta $x#,)U?݃ɳR66dY:MwV jt,ykT~ЯX=E0 +(nGoAi" fT=C.].Q=<0v9Et7ZF0+.a9bVjþ%Ņ ,9% ƍ[v~A3̷H(mUYn,^d4C)y6 bؽK1nmYC&j2hNi2 .#J2sK]͏dranA@9ɭL|@[^\F M鄊^)No+iuBI9<(Vks.3 jtzhg^ F|/+ϛPƊ.%<'̽fʄF xBZ H=y*&aL^Qwj=^<h_lǙ=W}tU.,NGS٬a]V N?rZ*Z.)a kc͒Jհ%vt(۬ lq\Nlo O oqǗ_,t`7o-*E;|S)v;{T J |c]i"I"wvKzW 3<[RIbVJM`* v+يmR O.s ڢ,c} cP0TPJwď-rHfZ0.̐NkFf$`X:mH{q1˕diDiـ`hd{ 󴁩Hz3Se'f>uO54xN$0wI!(ߖj_}.V@y{L;\F{UEIn<;sqY]t >nqL^.EE3SEf]9,h l푶{XO,Fj,*4l2:N9"C%zX k;.?;-;ucHB7Ahp ) !Y! \1V@[t5754Ux~z "Wz=ˏfƁptgX:QhKˋ9a{榭*uǻ!B|D\UYx,e4:lMjzI@8h czlRYfo6&ٵYx[=L .pw\#Vh&!R mKڻ_;ҿ`s. Fx:}ji)gEm {.V54>@ы6a<( ̳2釙̈́͒(#te%p _sT:Pg߸A"ZHqK<$wWt݂A R8؀R;/I'_ۣ4H14]]쟳[sfoL׳/4 /XoF+^_-?‰qȲX"7jso=f}ea$j#RIt>84/+AKBwS*h|j2La{:1Dkhɏzp ҍ]|f6꾤1m'vo"!}2n׊UxGǿTCo T0uX)1s,ר;ϭIgWb jFOpz&dSɀ~Sc:K5[Ք;{R}Q?Y(ZLJ]H>cia( M r}>o}1}UwRTs17=k Ҿ7|r@ 43UwO}/uZ59ˎD >6 3\^Uwp-CX8Go 5l8koIڂiV-EyWWzMggM1bD n/)GӸ! Fh<\E4Qrb[h֐e' Ie}V?߸,#m {BL.m]PNahFȜ>Elư̙{R.Cq' W{Ge#{q=Fa}H7#0c#}L3߂%Cd Ü6.KA3N5ϛꓟbZJH%C’fFpd2v :l1WN o1.v]\&5B"[ar 2`:a[s@KX- I$6sm@Ϛp)}fW)߉a3uo;_W:M/}O-S0J| } sr02 '# S{[1sSc R\/y~79iӐVx`^}jÉC,\AGB/쩅.okkEKp="P/=\r$FH1x|`Vzg"O/Zr =ɟk__Аԏ/4HgYZ97935cae63a6515f5c7a6ace8ddcb0ec15a5114d51dd6ddf81f32d1521a081613e64272e00a7489b294f997e7dea26ef3f4743761a8152e0f8f2c3c1