SQLite format 3@ .0:  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 ssU%l4$ ]/]HOL-Analysis:threads=6elapsed=325.606cpu=1692.908gc=119.372factor=5.207zXZִF! S]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D{*V+hr`N'g\#yܞ41v# 2 GlܙYg V7t˜ɘo1G+a!!!Ӏh[doz| Ht~KRh E&Ht\ɡib+ YH׊!V0İq-^HINCo#$ ~-|>mVx[2*!I_or]B0mu yf:q.I>L^}q&ݿs(Em!3L@dGEKR(LjXtgi|rBA!57,Uw}PbI77GBu)amj{d^߷5o3|eX:XGX1${"XGM. ME[zg?UI;|y :\/y[n{XLs]PIHy5pgqqT= V69WA!;|3NyS񎺛'8C"k fVڟ,CnnsgJބ0bsj5#(*-H;LE^ l^ʼ_^rMj[W0Jc .0Iou;Bl6 H{io Pyǃ[HXd~GP` pucnՊ74=ñJO9̖3zo3 (+&t8|5wMgԶ-W(BJs?|$7ϫfêZ1j5W#rlz<ŅUU[,~^˛_~mvwi9M|6#ES F9Lb.X>׾}Fu!/&abZŒZ'ERj wkΞ嘉Ҏ3| u{["Kwx)n0RT8@2*COVՙ']ԟFTv {\zJg}`eܥǵKaEO 8CR;TI{DdD,9mՌuQ2^X7nY?}XQeiHir@yIEҎaI\8mH":OW,viE>7p]tP 煆j^ɼ_e3=8Xodz)h_LtT;|MӀN4: ~G1pg V{U ȣEp&] UCB{9BdMb^| _&Qw܋o"D} ?Fs& /B[[(Қ3viuQM|{1C8#VyR0wD еX_DVWǝ} 4vWt|:F/޹~L-BSa+c בGiJWA8i^)IX>Y8:e#e |c-'~U>%; tԿՙ06VFCGЊcG'4FhKaPAz 2 9`*G~ۯw1 47T5tL$jݾYdٯuZFA&> k. YVTT$F2Fns !m\F!eHa$ZK'(}[*nVWp?EzQ[IЁ0zM ,Ά,'M d`zr%<;J96;шP&y=UaZ6 I8\'D/~QS>K_! r* @sϳv4r9۟zy6a#Vut˼S*>x laz T*;jcqKy~ odE%w}$c]M *_ ɞaP%ݴ>dg/|L*eiЍ!j:#TX{[;`*Rn譡3<69U pIJc|;b$1tsV ${Ud̓8/w5ִmc Y;B@sK@+V鱃}ȝW+%GiI@n|B RoQ ORubM&48]lۮ*=n]vl"Te8!y9(RV=Ay̏~Ti"i2#h1zͨ 2U!pBg-d=hX|D 3nC@VgnSAoڒ5V(6޾ !MYKV1%=$[r֋ NT%NUPlhӼJCR2K%/k(eU-7hsq# %֊yu+.d"~u ンBu35?JL=+ǀ ~ hwV?T?JDѾl_ w.jw({03ۘ'IRCkJGSBidrdN*/l6`K[T&Q! chs;wpSėu #GЫ34cܲD!./A@Z0O ,JA)*)YWҪՍa ٍnc:T| ujkƲ!BLnWΗ`gZ>=cbS:3P]O͸T_ՁYCc6mvn>w?"/;Z!ծ*@-dxC9J"7;=ۜd΢טp/bQTo aI:oi3 G|k&jk^έ2@pյGIB"˨$ํE_oe1vnNugyOEf)WSe2pd<:C3T`ackB%緺/H|0YλlAc4R"{Tƫ̋-G=Fd? ނ0U 1=x>2izXx % HOL-Analysis  :~YQ PΥV0?~ D ȗjM!cv+uP9d^S;sUedRWOT)DcRA|q:)Eޞv]W0wA~G;rIA"aFINO 2c2k99sf!=BL)|:"įDq:v,UP&۾`^y̙PeFi(kARi`Wi屿ēn ~3_Pr x& IIr@mNОu54:*hSɗ}VTߐIaM:˨h@PMVn'I0屰ahyxHj)7kOÓVMa!|ʄ][ 'ZIxy-<1Rjѥp6MGUWwV ?Q B3(z|ŗ8ǽ=frC~h7 dLR`fdmx#> wޏx1wf~r5Fzvt@/\H15}FcR fZPEGl)2`y>ޗ҇Dw+T[wMFHd Gfg"w!4|4j>ڸRvʥl"qߠSUcW4ZZQX$<2!!ef|D:byt97hO]ІӚ|CP,$fpr>D˯Q3|ɇ3`ֽ!]$xu `֚;_l1!ҒA*tsUN@}!Wѳ4b:: [6h<6!zHInblE.x[Grl~+k?<6 Xɺ'"V\y%jX z`Ϣ )<963x#TE:@Ǻ>N+}h=+z֔߀HUh(dNCOaYHR{{neXM#[1TyPiZO'7_ -*Ӆ_0(נyї65G[Ӯp3-E0Xzo%$=ޡX.0ieptY};2* D\%HFH* 6HoEZ)}9:AX ,m79wWP N]0"DNcv?g:.-p翞g2qϠ& V꾼CuQ}{y'$;(GhddzI{-cV3/RYIdsR*kr&$Qz A)*?bl0m2y"kK>u saGr}lHc;8hI/*dΒ&x?1QNDί7YJHe?q ցأeXؒ>x҉0&3U3,Ƭ 9uI4g[JtK93aE]ty@Ԩ"NS"ɜ-D"p QVLO0N ˙.7",*exW!(eF[%]hIWUGt*{Q֬sZ2ºO[čCJ ;q&fa2~\@>H-6YԄ"8V8f!lLrrn*֋e~tb'kuルbߋEBE] Hd{f,ewEipt+ny%ߖ!?4I욫'y ЩvR l۷-i/ܟ]+UХ!D~*-%  ^eV5`@XXRvH HU! 0~/=>_deRT7,/mVs_QruK"#+P80FBIjf Pkq`9x0Dž&|4c26sxj%s7bԕ9 { UY͎P&~2[T%Y]mHW;ɁSHw"d~oKɇ^ո-UbiQOzRV}VDd4E.]Ȁ 9WOR-]Q[ R$G'AٵvA>Œ8\&`@vwb/p(Ǿz rr]Px1"4Cms}[HB"@;օeaڭ%`Ƌ 6P{UpQF!ek|< 201o?c:7Mn:ckx|!('?M$^UЯiw[7vME  X I,.oR-\ce@\U/Dgt@B#5I_n3j*2rmp[P79~qHʕ%"853DoŻ7$aVk~#񊽈Z?૸j`0&LebEUǵx|UiO @L2e*c^ϖ/%z,ϋ=ER Z냠4Ȗ2paٟƼh_}@B\"1˹*H" =If+ zK&vL $0ySIRH]"OkJti@_9:u>aB=Bw E-,fC'׵+]H"z R!*WgTR0,վIL ]۞ρN;JDHjHsnGg0 tHHINz?$Zd\ \\{.܅8<%VT]N8'2K1u{M2r]?Ko`l[Ȇ R^5@nWvKL`|a]<^/ V50د }*>[׌<2Ʉ4Laُ3Wī h2S ǒ-}_qLM&m ,l܂TMܻ)ZOw4$L-^oәqA$+<|H쑨MrfG3Po7j8:'%ZhzΪANIffhɂϧsQSezoLM}RA`*ȡu/ޑ\l_Ŭ77;j]$pIv?R<B {A^T>4Re$Ke[T4* x#.~-AcP}@'s~˹:ؙȲn$ $]NBY09 ;7YSo [HvnfO/MO21 ;xO3\?XElK Jnӡ6r+#[Ϙ)m@ =S,9Y/3O[\(cYZsud}>[jAvo[eel8/⪇ZPXb6vd傠 =s.t\4C.ͥ\%4߾qT""*l )Nui|b &Xf:KLmq-h_L=9*L`b`~uˎt d @|/FHrn%ԎlE򡔊=aK%.ר.7֦L-x(a5ǽݧU}R{6R*D,e Ot˳'M;8˧.PdET 2n ?sLEoRG?R^5ZY̒rXYL''X{$0U%>sQG^Șm_C.sCުoދ{@az/; ?2\'B󕙛>Z#`>(k8w٥`φ[l`R2R\D7Ԫc$rz&%ƥpeO(9omO3/g#I4l0Sr N R3'h9zg *1qNi5c4)Jz$n)xjgmw^~Bb7S\# ?0_*Sߔ3#1sv33oԶjY{C.0 DhZ"0,IZMyyzq>ĤUi݄"oÇXmI\G=!DQ|tx&~cw8{?B8+:5NC@lC$ad`A}fj/K +cV~ CA[<ߑY|?-0iŵx#=G,R2@V!sYJ&1?;jarBj F|* ^NWdYwD';@W:Ȣ֒E|zD,%;DtGS+A0kd,l^pQ1)N|#hWD^g5 %t!Ȱ@qYrqy$q$W~W`]'A[fʗei6V:hvrg\Ɗ1}i}QIdU<ک'Jz.lА󋲵@0Δ"t:CίSL=MzMa#η_/@W a7Uvhޝ—MaPP4uS[iyV=`-c,mR "O$[Əqw~ۈV ԔNjj ԑ2yAg:0 9b(X3I M`jv3uY+jKwM'Vg  dYD~ /bI,;:nگ;܈`G [9Uwn(\x'ˋ[]P G3,8TVn{wf;1" 6~u / e[D!z[q7Z!u 1Tx7PvH{[SaݯD.5y./9M${-YSvӾޜZMHQ|-뼻̕#.Sg.s4 A|Ew4B!ewD'4t `n S 0ɮao_  pg"F3x%O@ ||bn{u$|A^ OeiQRM)6'/4n^lfo,ZR9In2K` \E1wt;1" l$\UYk|'$*1 -fՄkeZ³gAjWHtC%(F`lr јvW"HA[5P{7@>v1]J ocM }@aYr6?JB-uqh;9a .ZϮzm/n; ?I{EAU.h}? xnؗ:NƇe oWa|] TJoBL㧕9_/3F="vc{7ݰR35Z+We)AE0MVZ ź\ε($y>}CBueZ蠞.z/_.+@?: T JnSrV SRǑWaoPTsd]$zeRހ Л@,>#FexS~a {,O2$8.G DVgKr* &a> W>E'Az1+jPŹ+z˅zWEQTGBP~+KΊ\eD❿W]o yT!V()4*: ƚ 6x^]%$={WaJsᧀչE\ .G-A-mc ʹ߰/B5Ნ\YshҺ6ޖFHmZK5kAݴ$\;ptzi#($.2MR.9@^<ȣ2@%agIk } '[4Z$urd&,Ng`R LCY_a&#isTg2<;IFU'~NǬ捃 1*u>DU邸/ p d8|gW jmK%5"|)rNS?:1 Pk$'eVztQ$ !R9=v-2pO2VyR; ;Zr,"nfycgb>/2 GoۆhidW@p oկpzME`Ѽ=`X94jB\ {|t)\bӟn!rpۦsv}V@Dc3^¬)4J= KgW$Оuhhj}hL7AY:*0"ԾɶD1??1f%ZIQQG奴њ,49jDrktג3Sex&p%OqH2.ſ+Rmyj~V bXЭN}@ٛ*W[:s/!|^SvjzՍJV.WkWDrOlNz +|1 P5eۑA x 2w6-m(xr5iHv3.Q\, jQ@[=X!Fza-[e0f^&2ooanZϗpj,hA^K~Q@G //cc{Ւ{h~x굘]Í޴Q92Jbz7Zf[) ܸzueHeu?]w : ~[}Fd1T _]ZĈ+q jp+r>:O.bnÑUQ'gi.Il#iQ=ڿ v*㕱*߂z$UCUJa"g FJ!wa+dHtfQlsL 5cKygaKu=K%5ۅ]ځ4b{G6޼*m2oq;Tnj9?]sϲbJ>.2zyl:qu.gw^7hND疡}DTKbTe67>|BUhԃ-pLg1D¶QՄK|_`~qxd9jt󡗃]]uvSQza:0~eDBaU>r\6RPdڑo&Chg- Hi`Ux\Jd4[ d#uȡt'~HbeJ:3-\ævفș3l-CXjlq?HPBpn9-K䕘CʚBv/-K\,DP3~C !k'> j^e>vߘ𳽒,~YFfnO_:E;5yp(5Kpaw+5ymȐmqj#uK?)VғW|=yLziJT:qPs ibP",72x]AOdԏ&(dB2#+ry_n'iAfv&wE[/D]GGgZN 5)1MER"-#4 cʼ=DU&1Zv'6ϵ @H9|#ywOuBC3hS9]#,(LGLJUI4&D5 mr w) /+jsϟ0!}IvN| .ڗP2*lI^=,g mua#b@kͨZWtJ)+ɱ{7^:=hNO;z6 t\!ɏ|LD7wױE57y= ~A/6ϻbw#/ oFƝ¡8į+ۢW _)0G_\>-7QYv70vWê-ˎчl(E_-FY|̳y"$ WDbNԩ=h7-3erY[dWx[=cc9 ]c@> ߠDQ&[ ;U-j)0ZDߦ9f"J }Gгȧ޾eaJ\̂F{N L [YLv,4E1B3^JB$!;jۡZ;:NQ5080k4W}hHJi\}0&],+-q6X8O7 e<1.`ʒB&]=AֲV`[kz]bB`"*0 {TY^vq }o$vA0/ĄY B(LǻE|+1{w 竫E\qLҜU#LG1ZvTn|g0ϯXYiGN#djQ{^޸71 wWZ5IEw~)P0 Х^"s&b%sX^ EK(6 c 5jzWxW7)6SŰJ{p'FWgC6"%]‡hNA]6 qBN/d]Z<.v 4CXCƩgP582 \BPmo%!sEl2) /e\9%_Ql8`} {͞ nO}+t^?Y'?)# @ogIRR20QΛa| dE4[l%YlDhYܼW\`{Cx:&$d@zuO9N{B\9ux uQbI/3OO=lry1n]SO+WK™ҐhD6!S%?=Vv Ogb0ȠCqp3~:r]^Y`6U+u,jZዅ 7.@X%I˰TaO6ʰGFY5/, nLbuyjcFtd;e$:F$U|u: Dbj74Uɔp"U,f\򼀋HJ.= ++ cl'}w7琾Ƣ'O=F=*D0kg ) YgTFċ'ejCFl|-+Yyos(W+wѸ4nUqE"Y(.yuy`'>$O!>v@:d`6ì LFѭe0,6dT(M@ox)OvYr_ο.\vbֿN3~kd ʘc͘٬CO؜X:N jD4D_ɟu&cd!|ڜ}owj$mI"Ek/Ku[`Sxh+4*ǺG;D3(Tc~FTkL=ˑڲm#S-k=#65QgT .8G89*z_ @8ݠC0xnFG֘j,u"A6g),093Ae>'l^ބ8<֏E̍e񌰿.Pl[e 9n؄Ph*~_M?Yv\G6P! ƺ%u rkaE؝!h<OY&A\ =ߞ*$8 "QN?+p%ic 3K/P Lh`A}tG:^{KkˠQMؿ<_O}{gK4;Zi* 2Bi{h>m#Z4-68.˿c|}4cwc>fcyIGIa-[8lzM,Z1'5_M:jp8Ўz0y" ᐛ +O@$=۹%οnc^vُ,F5O{i{G9\&ӐQykСި$̒]yo366_NxVk!{ z*clMbJƄc eCߞ'= Sr&(2q2&brR߂ij*%61]cx+v[ bfwHDu% $yݬpʞu?.\h&B aNߌ.וGKXWks =͔il )0ԁ>oK Qb?˖Ygnϻ- 4>bkJWUj^ey3IMPyІyoOkWF8TӲ>)~HrfPb{?9n5^'whHUpf@k &j%fut.[JFT:?_q4d|(",k Q`ߣ{թ'.Tr!:c ޳_|Q#?Cmw!j+`עE*IH?%y\=,K]sJF\c4]^7y*9R0`A5ǤڭCNs%e՟6) #ړ>Ϻ>&c0NRjZF81a*oH&%' Ŭ tt=y fN[e'KbNiu_eCxYUc/nYl9ĔܣӒ5VS-Hދa(ue3.NA'_(^# BI5 5Kzpx_ %X: u`@|Eu:HqK uc-/ eĘ_&ʍS˳,g)ejc0R蚶"3 ҈LeŽ)&˚?h\> lb-0 of+^{a҄xwۙqv c&Tf4O$}r?xaϷ8{ UwtڬT:yP iѺ.D^0}FEµSRqJԨ̧)i=mXs=ُ^fks-WM^iMxKZ."mH3UނHUݏ {oq٩FM+]t&yB_TwܾXυ?r Ô,؆I ޒmyT+& Åfώu|% Ά(~P()","ԅ%Q#xDyc;f_wq*|E:P>t_mhciׁL-9Te  Bag7}Iˌk- p7<*"6λLXMz=s퐃A؟If}0Ic"HU>97Mw& qƥ vH3ՖnLpFQmx^e7XoN~_;7NXѣZ١b2>EI]Kڏf1W)zuVSZS0CrCF l0ʃ_kΏl;ᓫ(0( Zs_ޒ­3?*P(uMxٴ'x&Gg_NIp_1+$u#!En}i 0ier 67+8Ho s s)wU'Tyo3&ړ -L[}[Mއ$!:?LkaܠC|{Cq~8 Yjaݭ޹{KtdHtRV6,桘O0{! X{~LCW(EBj!ٛr?2x %NKi~+NM`wgm/ћ/ټ,Y_Puyps}Fљ6o-o"aksVƘe1;׋؆„G*Jey~ǜvÇHƨ=,."ɧEDn`'Ǵ S0eY~ݘp:*2'.e}{y}'.'0{<ǜxӰ)5m>gOݟN+4&FZDύQgN{kj˛M瑱ٌ ĕ^_|K"[0MR Gb&Mۑ~Q› K_fDu3!iW"jA)v}mЅoH2j)yd|ɂ jEm壓揕lW WRl`-W î['S SHvRrۊe_X ɚI &mN;PxגxDEo}'RG,j*/~R?.r29Ni-Hυ l)]UHʣ=@(1⢥phMZ r帀ځ©6BRr^6KTJ~ g&nhz I;ee>nͰ:H*iuBu<L?tCj ;R/?zJf49w`G*]bbrffyf%!i~]U;St]O oWecP-B֝f2^\-n0:'a'.Fܴ.W¼#+x8ހ#Ywy|:QTOj%3J݆QfZH廉_U"`Ck0" 0]%eeqi 57 WlJz3 b%ݏZ8Q窏"eK$NJ2k9 IɧƲ gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ba''n$ndLr)xSgx~7͜JVpz>vB&#ސ2 ASo_BJoՌ {hWָlYCG\m]%FH[3,G91҉P54'T RxA# #LtۿљoT}^qs] ef|nGZVn{$b xNW QS[c3mӣg$(,\2&Q%N8>f{.@qw4籠3]*aj!y'/b8ESJ*)%߻Vm!QoD% 8q 8YTl`љj4B@QU7dy_`.!wMɡCTipBBYIpr!?Pd_o zlfΚ {iiHap"%،=|jḅ~YmyG( P7*ؖj_@caeJ*xf۾cZ1||yXTi 8rxsӸO5%CN~=)w|S$9uFLS}*FkUP0+sC|ǴLuJ!3/p R4$Ln. o+>VӧY w77xЃ\c‹͐doKZy10;YVxK 26u2`*}1Sʚqbd z(/)Ժi駡Հah7I3WRw?Je(IҾۉʖI4[r3’{9/LTQ az׭WhD%υV u*c@oZn{uߢ*sg[mDɽ̆8|mf#/D/A)3ʇNϪ$qZpjڬM8bzFA0@jWH`3jz/WEf=I*)sG<l( 6$s3 f-6D^O8 C̘mkJ wc[W Cև+&&H=XJQJZM;8][#3Z_@-c37c+wQQ81;OJ`e?֢N80"TpDӯ9؁kHlA$G uhYga 0R5/=gKN7l|R B?ӈA:t7F Rg* Jo:4~#-fK8*S V|bR8`+P9 (y)Figi\wcܧ.>cw̘r U/$fD}{!Y_sQ <^q %% r1{ZYt U9& XVV( ``1.w`'lzA!Ƽ*!^kƘ+6&=b)꟨iNEY{@!*;9Oqvgm']ʠj:Ye1,B cO;R7K4zPK]Խgo4D!GT؀ɯ'=-6_W_Ukȫa{|;zr[jH{}184CGԞ%Kѕz%_G{}t{;Y ^%rgۧmHnmZzHs>ZHXw/v{S{ŻьyxcW!Qտ.jZ>#1fqhmL&.EJ! s0kBTadmʤM1I^B«]6eGByO;0]E.9-Ăf-b~Y%rQu3yG;C/SpD3-E7RS.? k-' ?]6P7ӧi/F||sevR"$Kor*d.9,@1R&Bץ?]P\¸YY;TJ a 1M䗕<ͯ'P[_;ż]n(Ш`bWkFkoiںSsf5D*ūXrT ] .·+_*R,<aI\!Afxv(*cAb^ P u2JV&I¿G%#V,Bwʹ>yj-bo_hedHQOR$Ub /G3ͭD>"\Df7iAL_˕e\TVի+^7\ēH㪀ݱ&"wE"6 jw~Dϡݱ=./$L~CA9uoH~m:tq uqP'wjJH\h=j`τtD R%\6kc7ާA>yH-nE4N(pM&t]̕=q hLJ,W>jN IC'Y~a;RP ݓ3]x N#& ?餅:Jb5Xư|A p*}>+z(,6pO@(a"<=4POo1п\NY=A:Ҽiϣ"h$ F3y'pQb?%k}^FoVPetZpU6'`)*.ӛ%xqLrf<-+rfZӑgSsIR^zC@ e'~Qi6g-qK$6VUN_ ;uX32q݊2CZ ;`/35U*.^A:Iq}_o#Cgs/%a^BTh9CqHpܮx!(]3]^p"{'&NPA@1^~P ZrXGѕW n 5,$@Y`ҁ.P`Y$cB=rR!glfh0)t'}Z͘F> k+d"ԺVOc)S6KCEi@٧UuՔaH-3D]fՊg1_?0_Ցrw$s@_\Oͬ"8P` n/E"܊KjO/sQ%ٽfF;5T7UAk=ٰ3_l+ESww+S6r #Y' />αVf!6^~C4ZS1}aĠ%略^%θNF8۸RW"65p`)awNRf^5Q1CMa`u3=UYGGB'ZF36ݎ>Z [@m"KTʙEۘVgqgzon2{Nh!H ͆ .\C1"2'Srٓw!JݎJ Ĺr%FS($]7Ao֩SijYz ?H< 2ahO}oSVg=˔;Y8{p[ |nNfw@Qe4@㟧 `j kKUZ9)ou# h?JdNЏhMQ{jFmpnİ@1vEb9~5⍞sLĤ ̅]HDKsvCdݜ) c4y#f`t_˛0k1}\V q#,/(O yJX~B:*.̴"eG92=n͂w!nG:n:ѵNǸ8~1rО5R\nWX,aCS12EJ /jt/EFvpzCak!01|I8} 9uU%aIXCXfs熳~RL{mED( +tEBA`N38"◱|b@7dw`CX?t7%4tf5?Y.CB͓"'-q|_@"Ja}e7}y!5} g#ݹ6e  'n-Ó|sWKa?f`/t7yw8&@9η1j Qht Ʌm_:9b#0)|Lkq$-C_3kap4Fj^J Bk7r8O Ku.\p^A!DSip;I$ [ݔvIؕ3dsJ}YC6.v I9GŠxĵ ^VR6~ҞTs0m>Bu:~sK E>|Zf4Pt'jkWA,L!g4(,AQ7zx*FL'խsjPD|E;/Qں ĘB@ ~9un*U,I_,}` 9ͯ-ZÃ=}g#FJ?z$b"3%Inv|#5gt4Dt@犫VjUЇFy%şPӋR O#\Eq[pݛOMc|Hm8sӊa= 6ן9Z7i'i2 x @9:&.XF"TR~PM} k _h8ɟ%W MN;}Ry %cLTƘGT`,8Ⱥ;{Ky YZ0`Q0SH AuȤ^I$XWz(YzZG["#=[JEE,OfJaXe9J{*| +Z%%.l@%thmi˝?$j)XmYit'1?鿰l@a%$iOhV91I\Cpx]I2L˺|\KJʠUฺ)1~Yӵ F3!33LcAc=RZ ᶢ, L/Rp>m\1z|r@Yrq@%Lp=W}K _ilFe/ )(sCQ;vZc)|@=rd q0A!'~{b㾆N/ꇽ$U?{>=]|tUb.dHx2.5 kN/-U3m|sY2ӣ3,$,Z۹߯Օ-$|AݶөkDc"92]gdK g6ݶ UzLn;Nr Ǟ{GϝFɟ1@sx){>Y]ĥ)fS ' 9AY'r).K3ъU+k]iTOiH{>569RqtwqD" eJ)\+}8DLȳg5 [S@@OzoGf"^.V,7CkrjtRYy,vtx̐ eu-2hx-L[JI@< o~VCs`МP_<'@o=SJU3pb6jn%-݄@pŋf1ƹNPlɉ]d2v%PsHMsn.WA-hnDȎl=Aؠ^. Uޕ@{ew'ؒ$A4 1h)S pIDF KK†Ztbiu}ġIo.{g(4<)Bynɖ`h 9OHOZ|HA^b2 QEIv>Vb,΂-7X"blf~)#m _h l=u̗go}JSsn_w}negHqdh 6Vpݙ>f4̧buud ؄tJf}ǒcOVZx.hQ֭LE.v(jtA 7fz—MZi8]@ֈ(*]l۠AеD ͺx7z J_WZ1/Fh?i`ZX_HF;x/]3&?U]D=,Ѿ}o >FVq9?d.P8rc$m SܞK~C릓2+#d䋃IQh3o$_D0L?q1{ Z{5m_bx2Lv?Kz޹L[LEOOs9==>=DŹQf6:N uNϝeʫ?zWS>|dn\^9w4#>tqGLs lSz$VJ\kA2M UI[ŬDwޡ@NLK_X~!@$7}KX˧Hl67I>H6j'{a`v Y.f2+Eb)elE\\\>t.R ]bw"KV{DZ,tړ2lB8g׿ )FC!SE%fX[V~,Dd=)Fuavm"]zG|9xuI-4_lRX_mJnތQՙAhy<3> Rl>`H؄ E9MqN:W,`poy g FXRg)8If@j {2zz%'Eh) 6x.VcFR[4 WΨ_=LUF1 [Ei}2q/Νd&>X#^⿚dV{X|Nی@A$#QF{,n;L[l ,xLč2 $ heNQխs% @)mo+;FG[rdW_. oٽ'ofnqy`!?s=N*W&J+R{`vǭ) >\զCk;0K˩O& S#4$De&wg Vn-QagRV 4m5`9 \&r"`9ؾ܉xةg4tDf6\0S~0o+kQ+Qq7<\ހZd"@*pDwLx+7jKN%}~dMBdl.zҽ- HL4 iArD:ܐN*bKd vO}G\'K7V@C;4eʥJPiP2^ooh5k nfSOZɒjMM"3P= =i*ϕO}oFK]8ѧ3 $$§aͻ_`W;rvy Yd:HthX_HѮgV,|`vtow1"{-+F㦕SjqCp0vz3vzch4=si4pextl :ȓ\75Y ^!Ұ+Y 'VM0KN60׎`_ +X'lwy#Aˋ|,5ˌ?f{$UW3ȷ;=` 5L^"tb\|ƍ#Ӈ~ sוO9!LLv7-sLWB;CqX57Ƥ jLl3taJls9+c9_c@SEIt隸:C-*rppT݇6ѹ(?# S㭫'edҐ ?b?16 XYBi5umkU3cy10-0BL@/\c_%m9O_tGWe!'4JI));; ``fJBTܤBLJBhD2kEjU16[  ͻ<-QS> >Mr:"y%SUA# o)|Km-21䖲ck_[2{oMmN}V#JRBL&`4t:f5Nf?VcxE~vaN>³"45הW^y{&rꆦlW!!k4jg 1A p4oYiqaT?P E1RrS kS0V 2;mH*J>٢+1r5le.E _K(h-JԻ K[Mj( E}v:|Dфۀ洮{tͨƊQmJj鏛Ƙ)HuX0TVzfV;1)j12ZEŎfdZ;&隦iEġ@]IEu[T'C9M1c; PU>|pm{(;ÇV΃6}#03vll$j;-z:a98uDcw|l!bmM`wb*7`hm3ݰR%v WUsH8OFYpQ+u1Tu/̎8!;son^z!K؋s~i~ݨ06-FA7i8=f8|?1Nuy.Hc;Wm\q20'Jp_7hyLd. !WCl)-AqGGQ]rkԦub򶁮c| +5c8‡'gW5/Zm߲SF}ƭ6@=+Emm-s[V:?.~<):;bak dfOijvڑs/16VP8x7 bC.4?K\/t(Ie6P6um- Tfm$Pf֘dN]FT,SNv`/V{|U$< RVvKukg x7Db!o06}T^چF)zQ+WTmˮui͏*#Gܝ,dM(R5oJ㡻՘EGƏA_VM̠9=~ m =zޔVS.kH]-7mhf&gNx5nPj30*Q.ILKzk !P҆'z]n7L\mA8RtQkp@6:$7r{-J{'qP.H^>{ ~j;!zzBWR%$o&TڛivH-OfЕQpI R`(%eFxĶţU|t7iY\<EXQ[XHhPuV$2("p|fw`VPmF  Z-0/lW6S @ ̌/'^l nD(Ֆha=%49i:Ւ$9R *!5 ) :j@YH[dS6dBK-<w!#)%s♤R@$ꈪf%<|zLu%:^E)͙n(ĘQP5;=^u˝ J{#?]^y^;B1 +A w]u0kb1˽q˸ #{u3(Кxp$ -$HQg% /$Dw#yc!Ędɂφ(^ߤx[ϛ6{~7-ͮ ߼wQfԩo<6lY.i}]4l-/wd񁻫`Vr7T{zW\s,Z(k_e=m`]. ÒܖԾC"82 ܺR`>*OLj0K?ʾ#:73>jtJT8V5o}EpK@_kw݋diHeL]?22?16^Ib溬,3[& ^^[,pҥ :.&1zxVEMZn\P23?"aH1jè}Wߝ8xUT 8o3gT;]rܷ+%$s%(jk쯝Nxkf}$ /((z9(|YL!Ogܛ.ˍ:#wP l,Hۢߒ"Mn*kMG%?|B|;+jT2\Irw|Ug_ .*WB!v[d,jƣR??m{ e`ub:D@C~k/\0(/x,n&7^w6TЌ.OT>d9csax@žlFhw˱M3cU3'A@ZbKu p⫎O: p@=E)fe=Ėb5CʌvBCisP!@Q}O-g 廓G^=!%M>AVa{DCRZ!:YrXp @. Ym,0\)7MҴN 6{!C ,AF\`6XnUQ)*#Ů 6c "=8WS AGÛ0_)#$Oj\[%ayţC7X @byI9B?C[+t3i_'japs?͆]Afa[OLHtyޥr #]8]p9<G.s 8^ݨ ,HM['sAC92򴸺̽%&$T6o? I.S2͗i8|(+=tIp:SaĔխay`hgڋY) ipdZH.ζ5s+ l9+X$()& NR#*y(x&I@2s.pR83HS yg)`Ej4Ff0(h[)~' &+.@[ ZPSij '2?3*@GMI*g}[V 6 5q#ԩ93 @ʇ:Jm_wƫkLepTkCD<[|k8c,* XQ<Ϳ'궬WxKgxdvv&O(dn+!V)H,ŋ\Y_Z֠olx,yYF5jrOU^`_E14tfؤm@@S |~rLQnf(& gS6[ Sb!K pLm2z e^v|+2Te+&ҲG%pnmΡwGC\:\`}-Ћ<-(Nrc-RM%-ZqW9&9VM lup9F&v|# +fq1kHHBݔW~ASToMTW_Ehư,( J4~qH">XQm Íߌiwcb& M*A޼33)HF>̺aT3M ORORA BFA`I&k*B}KG}^3d-&g`BF)Β`&?8&Av:huYadHT0Kp_lFdq,{3` &:$T]1څc5N4.G38gE!@`H@oR3V ~%(o(2ڭϚ;e)Cq2sN#(G$E& J#5ޞup`6]Mz~Q U> /#Cm4?~tQg2t5 { (3Oqy3V7iUvزK1?KW.7_DwȰ8tah7q4yihDzh73!T-.7nVGj6r PsUUO/u05TX6!2P/ ^֣o "Sv,S,E>ݽIe?X$hɹ)m_!S?ܻ=)-x  r7H0pГ~Eglrțyr !f*Йٸӥ mOHAJ8R9$8;QΡ^\{6r w5aC.gM+ҺDHiTqJ0^x@H rLι-ksIr"7KćWkѺhxQW M?p*v!C =H lW{Xtl;F*19XE++ "zewf;Iˡx79"&}Cr9Qb9Ա4 H6IhwݬB,ΦƴuWA\ K7Y&wXAW)bE6Ġ5$ ,씴nJTu 7w\~_aIUyi}8ƠGbhckqsipډGhdnOyQ8THrp%v-m Z:s?yDI߸{ .e}BJ}u^-ŲU}STq}"nDgK%-v'yTj/Ў&H<2qG@|EM=)؉q'Ӂ5ùobBVRUs/ҧpZDe}i(VV+Y@(8 C?h&& }úZ(BvśEt\]ĥ*͜SoԳ?HKaqY{2Ӗs!VBut#pf[eD&Hw#ژh Qɺ9gxT>k^p`=,ĕ#O+Rϐ>f%bkrY#kS*  (ԺNc_{x\j۔v?w/xŞ61)ҠfY(UMrDP@nMWo]LpʂONc٢q";4jiD<6aqmyЬM67Gaƨ)sG$?ӻ^4ړt Lc3GpwMϕXυ=Wqy7J:sҦKv 6Uh2Cq˞Osx<c+܎_e7G,+x!W.FWsw9v@N8cMG?dLlCtr_ @Ёp|?Ot_`*;TQ;'mJ\Hۚ%D- }-h{)x'4m#oY6118W,X$%po"Z /^Evg,ZȍD1OTҩ9JrSe~%Ȇ0yJbT`Q ! .uO 2c?)Zx ^N꟔a3o5zB#+|+%4њP ֠11jI_d& +-ز2̍.RPrF2Pkhek`R>9CeYylS}rh%fPi閐& 7g~Z2L %GXΊ_ Ki4ð=wx[Z T[!2&|4"8, W3]\xicjA~TK G [z O].{?%IsAPx~Lun|Hvw4\$(֜,9dSҳGZneʝi֒DM{*^^eǾAl}8~WG[] 6Ѯh("ߊTka'XpΛÜ x=~;ƦZsR+CW=]>T΄u6}!=a؟;ͬ7ۉ Lmy2:;lV #<ADE*R/fN0}iAfhҸ wP>:اo/}E?LVB3`Τ#ViZkX\OswF 计& V-0LN`ofOC>||7NkazB8 S3ͯIznQQNHK?<1DRZ+èx$^ѠL и@ 7Շ+Zpj +'(ړDKz qZ[hpj+`aa9y]_zV`^";C,"Q(wđX 7c9ףgwwGd􍠼/o_ "LE3MGX k( Dz'~6hb 0T!4/w _p wz6$OV(dL糵tU$'Y\ ws8q%ho?/sCpd1:&i@m5HF {ZvdQO8մmNDR?ɲoSyƳ1(a~ύ)߱WrL1uE1UcfqRw" s0oI2RWZm0"hpT7.F}_NMvv8Iլv~.":zXZQ֓k.s|5uF"Mh5h&nqMmX=Ǩ؅p2Vr(IE>)z>FT]cy;s.ɇcGMSy n-cn؟ p?"q!wVj2DQm.Ţ mQ +!"B[DBE|HTBFX~q/1^lHnP,T cp2-Zb {J'dD!۟ZwCgocHkJmIA+9t&9b~߃f_P|tPxeB (ЯaSé$DBf=`S/**}J!|7ƮŹVQAoY=p=MҺHmK4ȉe@_0P|'+IVWLHi H&w@k}sdlh#J;*ۮ5KOJ2!@ s#vp5/"=4vX[2:roy9vl 2Oڥr`UwZ x ȃT=\\|d'W$# ԏQLKH'U3l/3%7h-i:E" \lhS!.paM-E+-?YeL-sbJԾcSaȐuk2(xU9f@ndz\n2f0]WVsRC$h>֡Rvv J)iiF[G;X I*9ܳSV%N-Jg#rpO+g8H" .wC۲\gvDp46X&^O;U@}&~B MoiI Ymcyb~z/Cnwt;? + /0 a;IaeImgxxLa5ɄbrF4w$=FZeh:$w54@{MNS4)wjQ=[,;е]`r8QoU+dBjJ,I]; ;n5a"@ \vU/PdBd IJ(p1N QVab"`I kJRWa!&>?i*O0f)*.*gH_@QRv)JG(ؚvD&PY2w7wwR%<]UϤP;#:*u; կlס/hd=Mbމ2e%,*W?d%}\Gvaj&ֿr1K*?\ϫEg|G9H`t^u@̑: p:Md>3ăjӋ4$b"/:J:y4"WQ>lYmʿ/d ol伪jKjY8LgC'δN%<(ypLl%Z*!%5>0:Qbb;=5eNUni@{]B/#N&jAu2s`z:*:cF>|39|29H0# sM)F0eP):6\X"pW3ۜb6̆5BuY&8v/~IB9B-0cusƆ6'텙L$gN80qh,\MP֦Y20ʘ%mjT(4UEX_Hڽ]A qq$]T%SfBW$ճ-Y{ѫ+ Э{`Ɔl^_J 8<-Y{h>a؄P}* !{}2H1d,?m_~qʹת5oqɘ!)J_*y/4B'yJ4Tj%iM١ $g]$N^qLvPVeXYf Nlx0zW%!" UJ OSZ1DTIwr|uqqh PCFX(%rNR(He$aZUE71W}7=/re)]ÇmTݧk?Rdwt!y !+JKGqo|Z2?jP.ՕvWk#>J7iKxy.{eFPexr") lQ-!OTh }tIJP9L aka@N6A"vDT2u }?V@hRA'W)lC.]YTC>k7<&p5x)u 2*J12B-Y1{uSD7-25S *b(_i3梒,>AΥ,6*FpHĪ5Sd_0W3rI^*MR| ¢:tkAPˣڙ':OIs Gs#UY"uf3s0^p6)eJv׭񵐖)Q86LZpB1Zdĝ"zxI8GbSPZEI{-(rh6[lYd)<6R\+x 4jr~}a|xiU렗8`qx<%&qNW%ۭ-@m熝%ccӃnj+HlN:0MsQȒau oxjaQD!=M[+o!S$jHKl&Y&^ j)|wI-:Ш{[Ao&q)?~k/cU`Q(f"J3T9~fX=6=$C&%y^42C13fO3\N. .|J{a5es__OcM7sT}}JfNzTȜ жr^`I34Piq[ .V=nTP3<?ND_v))|'l =6Z2qC|N2}ʊ>!%pEjCAwY Wr-  HRĶ1.ש/|d*XCn. 9PH:#$?6SF,,ĸD+eO=e $3 H ,y[^hrU uS G_ "E#C*CP#opsF\3#[m vT%flcMҸmQ9;&?3[u')bDl][5L!F L=7AU84iqO.\݃AyɣY8,lb!xŤ`a&%KIZcVvv׻J*|Zcn_$a47Wѝx^-]JD;#r[H&L \^s?p,YN IUH80sPyC>@O4-)T#QV|wkvzOU)?A+7}"k."@P~eK nDPkeP?Y 8M@VdW6GHC|p7ޣZ jv?n aZ5.O/Y#lSKL/),>c4 :5a#ӴgHyVc74!~jWgYZ3685f2bc7685e87959da80cfe5929354e34f97751c6f2074cd6cdf579a3d3ee0e0c3866542d97adf dc5a1495e230b9fed28df216f9bc9b8936ded4f2bdb02ed2b7036394a9f14464758e1e717451878a