SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  R5|$< ]S HOL-Nominal-Examples:threads=2elapsed=653.107cpu=1205.064gc=131.824factor=1.857zXZִF! ]x]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FS +nl  Xn4UQOi`N aoe<ֱ?gE`e.b[]#wu8z \  tqomnؓТY# k"AdZe&h$kM_Ͷ9OdZ/:`<0Z[d c>|sSNB0;f4b#4a)@[cߊ0W#޺r0J 5 HOL-Nominal-Examples  ;d0уW @ !xgݾ$$|%˲$F?𯵶;2澃&%"%+#rv. Ite)9?e<C#t9~{؎._d lB-.BWιZ/C' hB,¢P؁v$۫M<_k]ѕu{ tT ]+!Q$%Eؐ(,BVpQM3MіQηDMuŊMwYow-*4{Z-!DW,faF$6h0On 7ekNjkڮ͛:}bT[_AWWҺl/}'.H8? ~LEoķ4RhMvAJf~V'g3b`l\ #CSt3%C2"=ަi8/K\.OJ>A4]x>x =Db< -``Ϭ;|Nl&S[l}vG ܵ-@UeǓ4!AbHZ/H([Ə '6AU܅bΗW p$Q(&8b&[LŷWay4kA̬i&Y:SSӺ fY{uOyʯ- K(OfY{lDZB2% V< XSc5 KΜ[03rrXpa>X"Ud҃-Ӱ͹\CcHK ˴8 *dc>$JW?!z޺^Q5ARr-ֺFSaw!V2gn,8Ti;xN峯MtYbfߝX߲-z_}UQBD8Ti`EƅEC3#Ԇrmq1d%=acz0S\Vk |* ua|7nIF3>R*n&#[7AMȵVv>i!^`?P7*Î04JD|Mgl%xf՘:[{l2%WoڈSh~T(&/2 #6s֪fd"qiPNE7X/1nԍ']+Lup eb(X[aY3!|Qq P1_VJ/mŘt{NӋϧ/yޥ,#tN4C!zX]FR+7ޙ>L5 .yPtRgڰ%+TQcڴ77G3+4cCu|(ǡBR!#)Qj.ʜM D)0K ?D3qi<x{P5.zzuƤcHD`<[}݇.D󒧔ASQ&$ N?,mn󇛝"SAgcpQOFioz5s_",֟`0QbP}BU E)vZ ickkaPR{v!5 Q-6W-{&x G3+-|]T̍h~L:nnn5۲eXֳF> tMҾPUDlYB\׿.6v8_:S;ǩ|5fX4Y+9EFoz+֘}eZg8W/> r:"vذZ936!7'o^J.E {R%2)Rg^D۩j}w4UqwkR >X{\ր;ΊZ[@W V5o7ڠnp;%ė|~WY2]t!P,rv!zL}5÷ ^%7Bfki#;Xf_i YZ 50yJ47wA8Σ,Z_T(i fo|wzD)![nV30Gm z!"@*'}D2ϓGYlSLc%sGfN M4kXCMx>4Qf䯈jP9+XT_xt9;NX"kfdi;}l;Gm. F"rr/7" 9f3r%|,DKs|0ou>PCwᗼ XኝםeO\#rHմTj2p7i!RapV:`h鐂7t|ĭ;ExsL4Ptp1%'(+^K_nw %r̮RC'p鶈1w@ݤB ̑ gr̦ 8Jq1֞s,O)o̅Ffܷtl(Bvmb:T ?93T=Ȫ+@!oڈ_x%8\/LT/+~fҮ`s!rUPv\ Vđ2{.qadS=|$)وoȀi0ik-rʔt9қ07# {/mUPĬ[FK-%:QS>7J5  e{u12Y4/'2sFoϽ=apTw o;KJ [XsI;D]{| huPq'\&'P˾& O/VmH͓0ܨ`QὟGV|%f#d<Dv#SQN0+a%w\ I A7帣74vmE. g!_c??ޯ`?ԃ B͑5L(V|\s4} ZU|-Y'btwV b%},SG6%,nvk:KR,(Z:JCILbQԟj`!} T2O62N$r Yw_&?/i$+EABTC-/S;wmO,4.9R`MLy)n# օ~夯9Rt+s}:.hBǼkI3Bx``qX q>j P7Q<qDh.6`>* I]"u&G% ^k˂_TXSqٮLe͕HIMWS˾x/)W3@)%(;KȯR]5VyBXOebbwu4H1yJkNO)B;AoeBaQCmɗ`\Pc' MjZ>&ȷ-(|'gݶ\vds tma򆈺N!&w3oA#U{~ <2R %] KCK¨;P`iRڡU%Q0y Ћ#$rf%\їRNWʯ]xh1CI(Ɲ2װ&X>ڧ<7yYG9cҊ M'Ytg (Of..@8tH =#H]c u>kڤ3 ɪiS'sz>=yJ7ph7&!J4j2Q@㶄3z՞uzMxn#wϕ&wB4x{yue@FҠUVT:WʣY璽̈̔a1Rt Եj D\0ۓaf`UfJtJ.T5C ײB߃9h5T9l~`{NrLV!#량k^"C-ǯw.%?ږ%JMSV\՛s5|.5yDf& J[c-]^+# .ZODfơnN5uӎXp N&[fx! ՌlCfUud~ =507J䉨rXBym kZJ`!>*Mա&8FYeX' -~p-c #蹓TE`g0JyZ Si?{m5VqY1Ʃǫ?6l"'>ջD&' +uKb3I i]xڜ^[kFd eЙ>#[Ϥ>)f_$_Acx2B3F5v@ےoIތm+ky^^Z>wv:)|w }* EĜE7ktsW'"Hr!놘›Ro[ f03 9[qly?] 9J [ u܀Mc Uz5<.#fVNYڂ|j՛Q+ ԰<ΕxF,Snڋ[W4O//2`5˃If]W3e̚Q#Tx6ej\y9S ̟zޏ Ny~BQE"vus5A&+DMFޝ$7½\^_]W6%F*s[:vծNu 3b e8Dkۓ^0vK B~':1GCi)>\PR쮧(&;mɺ-ya;;wtKM1agUVQ#GjX^xc yLlf*d<lؘ,J]_g {.P~JIyIFH!`}h=T>YXZPԝolD0{Iъ<B% RFR r6=H~J8Bb0 `TMPPLo!󝉈P{V8s914X7qxDae`Z@y<ʿ΀Do K.+y^>]awL'2d|յU^.h~#iE1x-nW-_٢b,ގzS@HUXL{y."­i\e-=)&7wmpʬ*}+Oו7 M9LaO?d1Fu'kN c4%|gezơr';fV9/b,2b g^țw8v!@ouσ*5B] yn YśRe9Z|m믜 ܮ䡙J[pdO btd] -ikM9'ld Ü+9Uݝ Ù"1Z=JLmK jm+,y"FZuĨGg~MUPh|ו$ShS?ކ gYZ7zXZִF! c ]ŗXiɟ1ʹ l93攀Lx3 a$Ūc~_LҝymH%r8o\|DfI8I#- l4,Oq&4~( xCix҉;HY`RǛ{@}1Z4#0 Jl/CQS>I).^!yyu淅\XuXO%Aœ2nH?[QˇB S!Ŵ[[t}'X^xmTa䓔"Jw2waDul tWP '&keg.O'1q L^V&YE6 Cs&^Z6z@!j 0A_k^KNȘa#͐Ӌ`$od[{v< 2q \$+?af< f_1UZ~xAv讂y&Y:}`T9=Xy(2/.OagYZ7zXZִF! XV]ŗXi%>g.aƎ&ߠYŘ.&|y]E#Q<۸󫄞fb9aӓxP܆$ao8e0~ab <¹+y?łJо*kƉϾI{9L0m( 2=\A3Nhg6!<|o3+|+,'Q)>>2INyp5z0gHmzAq\dj6.AF}5Mp b%٢or&tҀ΋z̗ - ŻVNmO6D$eyf/d"H} i(t$voùFiզ1Cp5&ةo-Z/NzDg,O{ȩp|dS,1V wWGC wRS9M!U7~Bʩܲhgo:K\RExK۲/};)t,AvJLyÂstg A"Xڬ%+p9jK8?ay.և.a@RpptbJFQu>T3!"G s<#*.7M1jvQz[u`H.!F[=Mq;rOGL8 8lxM3r]$Բ:k*SZH%d5>=NFe%)v&t&;19+4o t  'I0Ѭuzw*Jx: $ fXv]`Kp;L:)1raHbqێXVc0`ub=F. Âus[ύJ糳IhDD)aU1#AC^k= H{)̌#g_@$,溭 P.Bc_c`F{[ M:vF@<1mI\c%.5&C}=:Բ?0sp h>b@D8|2+r10=}Ej'uTtІu!K-jv2AT6_ Ŧj/!Y*;a ako-$ 9pQׄ5 LYI+i$3 hlҞ3(yR=f- J3cﯴHyHdYodG~#,S2j;02臺|nI0r=-pC!lP^!Q҂(u}@P=!-; YdXV^ D\a2p^#0=W oT? HnMyvGBs[pȱ#rGO U *!C$ KDby yk]+@]k7D3ٻi%]a0sEկx_BQNhCg'HhlJ_^:Niǐ6U)ha&mWcjR0Yjien )fBF+V矣NqE}8yi358 )0.*`cxf2i\W/SK_.z#2|͸-_jEׂoi.0l袭z kL*XZdqTwb{X~ԹoU H2TdX PkOցHinsl x-2jߧUf~'.k#ǂ7$HF-)=YUq,/4~{osL=y6"ejyނ#_ǔJ {8 kT#5Hek!7Ou@qq7Uya2A# æ_q(tqGr^]vj9xt99SJ)+1%Q/-­@7qe$i'vu` #;El m")fYb\Z'8ǮEEƏ/ԂN.l#ݫSZk[S gN\~ɣy%w2b܇CɄOG@rQ>o}X nlms4k:D`_3kr(!,[O%i2ܗf {xZ'e*;PNtv6.]DCM诗^n3Q ͊ezYyNLae)th=NqTois+_ {6=D1悋} 4%3wr0]"H0o2"{<7+o.f>W}d ?&c m.*}R}*۲Ro-QwY.=.q;>܊5MUߐ`9^&a lK ~)~tF')MZvfACQ[ S!Gl,+KGko~wBI#Rs}_al}6P?Q!_fQgf}e\.W(! $\콥 IZ5 5ĭ5+N&36$+\-E6FR*(a~x=GnKiv(-J)^lݾԃjK3F /7b+ W3f4ꏚLbR|\:!6Щާd-Wod M2,+Qi"HC{ }&Fޯ'`WO;RĘXb#ߦW"x+—[ò; f= ye>rX>UW"@[n6/ŴI p0;U.7}$Ib.?擗 p4 .XYۗ5j*Ep6wHeOv3Ț!VHb"}53pWp~:\oe`'RyL7 3'!C]7etTlQ6DwbKZm,5zOV~ 7GzOn0#Eۃ m=NYoFV4rdIT]cƆ4TL,*_bQO> _*';c̖'Wv\ Lk#(huT[bl$TQZ)kJFm -%0by\41] r{Χ]pnr{ b|ӌ,08 x;֛ʥvs"d"NxAe(wyYpvn(/oq+00RZNu}VD-D`EhY)+6stmY:8jLHVぃ(7A 1 ŌLw%w6-*s\Fu=%̟7B64#@e5L=}?2j9+/YTǂ4YViUH Czqq7 I!"7bІ^(Ra/A\ܛ_:MyVN+pN"k,M#$D^E*VX[@8r\NM֢Tfwσ2^$X́ˡLE S;+NK_)2`Jc-w6hKg.&42"ScV1Դׯue+-DX{Aa<4ar;Y3e h?R:Zf&wy4_o}|(FєWJv{(-nafӋB?w{qoU(s%aVG ;kSLr @P=g.(W7pFI^s)f_Z__?̀n\1Kfy?}o_m4Gɚ%2*ք_Lxh;p4QdDڮ9- ͬW|nHgP2I0C9:fXpsnAJsJ@hI%C;ӉDžd5@*RAOٰx*=rߡMw}w*^) O1ܑu+d3Y+?BfK wO(FpzS=AK?V/($)uG>755oFX]=f>(r 7ڱPI 8ߎ ݞ? _l{W_ҋfJ)$3=pFc]JENU7)6dAZva_4rW j T\BXYM,1}+X8~`q~& 9Lc/Z-DDZl(Mmq'T*Py G& $p 4=W>Ν&≔gp+~T]ED83tb3]Ť\"I-KG1/%AG#%מJ,u@(ZtjsMbOLL49N"=58I9R}ȝu " VEZ&pOOa Yqxa5Jϩryŭ^}٩疿 -mf z/ʃnyKAMV=U ԿSYhZVWI kw-466=>ɛ =rh&<[9̔EUȄz%!EIv*hz'degT,\c ij[Ωca 6DQuQZNW)a@R??5I/B뉁΅#ͅ!^6æ 螆x.>mU?q?2֙ ls4QP3yɷq13RzOv;BXֻw#pЇu0kB?N P-.GBSSKuoo6'{U|N7> 8_K]rBA^}-Safs.rhH՚yY’G>l:GQKbNq_',@ZshX&R|b^2=,^KHHUI$9""6pP$lX;0-溢4d2;}{ۈN'gWsr;iyPQA"rͽ]A|SǍ01#(Vۃׄ2P=:?h9NۦpUS/EUP0H5} n3]%M"PGt4Oo2tQ186ED|0ٚ.0HKԎ0wXEczPbzꯜ^>nP>_|цHp4®>҆PEϵϥl>FpSdo~1"c!A=Im2~&C ?$U2?YpzO>Swy${X F 3:ߴ_@8>qf&R?2Q$JvW?Hyd rxyn !E0񶖔9o/@ a(&}p3k,p%"oD^/<u.EJ Q9ed71anr60's 9dTI'2RgimҐ9N򎼥5 @G0;R1zTN6|KH>t'%߲Rz * ܶV$6ux{}Πt~O藣z\46e0r TpR`뒾p>ZRý8vHGD=}.O*܎avk<^_&=c߱S*R8ĔC#]Ѥ/Zh <e)\zQQKE{\SÔ S buqGMHn ^Ğ˒r*e,L9 9ZelOZ`ꪤ.e?f+AX K , :}`_iU;!Xj fE1fC!<1-zWtAxFºrLהRҔ .^:VIe}*۴W5G{$OOٳհ<]ÙBXݫG‘ܜT0~YǮ3dEC _S(pmWڏ'oEZe#l,%]ʄ;MYNtJN V؉&Xw9_UcSCO"pmyF9q̵K{SZwQ? :~J3qwԟv!垅ǁ7Xm_Zk DPbh貶nUE/Rm~ЭƉo;k乿A/r)ĸPsO 3mȢDhyˣ&ju[ ?18{zH{g&y&g!w [Bqګl2θL CQSB.Xh"?NhʮZ׵~/6Sl@ u|܊mHD{ Չ=OY;E v60t`T U; v3ˍnʙAiˢYr0~7 q"ę ǧ)& 0 \üF;s%NRl=!Er ]Ցwi*%{S왙 ok)G|1ێBң,5Qf/3Cx! )рpAj!fީX9A$4׆-((P>JΒ e= |}=Y2Rч)rBDW]՝@pGKn|Hm #m{T^7VفWnQz0JUi=T~Fb߫Dډ@32M6ÝSLB /"Nv;j6eXLÚقgtZMf3N.twBג}aLJ(RA gm95aN5u^J Oq*  ng%l9pto:m=ן}>9sS!%lĤkn8h;Lȹqki/ qLκymKV5伄BZ5}a*.6z P roȟnMp-c}r-4ݺQvn>]>2a<$@ >XF7Z*/)b!*nA^ ]AF{uP2 :-8|`gr헧T3OZO-@ _Z'D7 KD;} k~Sf3N'bRUAp Xxv(pŪ1VQE4ڙsMLk e4e^;aXY&&Z+!hل|?ݑfVNn(Zei}g mؔd?YSZ@U_NvW)T ~_yûy #I0:PSjHsf . }Yb#![d×j}tSl$ѷ2&`1bhZg]ijw }ʙxUI3ygw%Wx>zjEhbc+1(a z-:똱K`S9W٠ݗ@t?;%Rpi嘝 xgX(9 C XBq4Z*~$B>@ '*g۷T(uI{X5i=ͭEXF&jfӞ-c#u]JF(~b~PbFi&t:tKL/aU5Jz4e{`joT kiƂE N(D6sZ%qcZ8_'eor`-AyߣBW!| zr*RiiZ 6l;`P2U;|}ˮXwcc)>Gsl<ۢbpj,G7qZ|9!UfQvOƝ]C|?-E蘺3Y^6,ؗ`4"yheF46%6GAB}맞أਣ;q,9Fz2uœh(O2y8ݴZ4T 4P .$b/z%4|o>uup砳x:W?. jgX|AZN`(@Zo s0IV ,N\i6.6+ /n:iVp?|R'3QSt]mK P!V?:M+ɻ^[0$\VzmW Jp+3H]&[C7EI[ pȠGŲ HTMc] ίL<´^NIf/Gq&RJTj_Bl |}v#=A|iֹʽyQ`]T%F#ǶJp.{x"w Т"􋳼N];NsgɌ:2VTk†@-H#%{'sU&5e{9h"U^c`i-RӅGuW~1) 6WXQ̵%x=hV_eEi(xxgNtu$X*Wi'e7p`%8Dπa:z҇poSql_~{M%"۰gew} /% u R]̆ )tVƍj?9ݙ=exJ:۠#-+?+kO=u Μ.GOsmC%f5[,nv~wݸ] d_L3I[+:H3oL\MLJES^$F$G!@}r0CP2oLaRCs/E ZFkk8Y 'YS~x43U5H3'vX%s\ E!I`|۲?@Y| by'ZlSr\xOt0gʩM{G,񳍠oz]snTxa*Iw!F./9F؃:Oק+T@ĺ*>5^/w~Ȯ{l [ m)dˆS% jRw"-Q(Rd sRcv[g.]5D㢥yg!~|{5'`2\+Y OLO*=,\x`iM5fޠ <3Ts>j=Yl_wL~ANH5V_f6VJ\M;[TLbN֞4!HJ*0r<5Nq}}ͥK(Xq:jxjɒF%*zL*#"+Kݶ\ܠ^Մ3,Hzϑ'fnY7O'c'e&{HjE4}G'D)p036 bu _+lbeR7/:5Cxtĩnzwˑ|p kNM{њKҶ0$Zm .,.CQR5G&SyjxȝY/~‰&{Zݪ+(xavu#WL 4~`B)PD)Wf6h4afV=s|Ͼ%C*& qB/Ep5b*ԝUgLoYH4@Pi0ÐAl\S{ǾJ IRU; rDn_Fw8s[*~( xΆgJʒnT-2F>ꂮQMFI/3{ds,k}pRvI#$bCk*)#Ě^R?2]jKp)TV&<ʸc& #GNEϾ 8RUdˬwHeek3Vxdr3Pl A"}\$ QF)\@!9W{{ ?Ge;"a 6Fm5=[}@;Gd99:CVp? [6b7`2Gm5hvl2CBdAFN+zl@shwk򻙐U..vσTHgTP[cV-]" o{d# אwWX1vf[O4R͑_:[7ʿW͝bDG8o2 _pqBbh7<o%JJـQ]@5gK[56l#4l*?pMlhʽococF_՗@Z:l)h rӚo(Xz*fαl}JAKOd1}_"/.Mg|yff"ir$kXZ-yꄐR?VI]xkY|v_zwb^3@l.y:£4]'DX0owU4ָj UɅ1aҬ, |_(ݍCL{jE[9OhO:i?ٽ2 w63jWYmڻOKv2roԃ}Žu)?uQ׊ѴIўaf3lh4uD<>Z_e׸2 @(R"0ԏPsԽQx[A~]aTDn5 XwJ lvޢZ ؟@=਽[zϻYlK:mڄdG ֚dd@<۳<ĸ>QrԟomT["M 3]Z:Bxpl1D{mZҊOW){ ƟsXp)v tLd"StBPz8]v?(-!– kA.ϣ]/,hjAK{Ky":hO=\˪N>PR}'Nx۴)~`^X(dU\!_5""Uf,yM.-{^`S4{6V=<|Vu6;Xn3!ix4۹^P(;"ZgU B jH*duVdKHU`=_/aN^pY Dt)oU0#+%^{z[b5/PNVBTA>.媳MnK!5~lqĘr_\laS?+h+X @n&VCqy Ei Cte,~; P[-.5+o'D cnz5p-P+"Sr'$y-"RϔyF]N;-=hJR#l_U).BGjmIM?5`{e*}h@pjW`s"4>"}ƶ_8C{v 1_a8CXw`LMIta=A1YJ{iOPĀZϟ9D V̹Uy'ϣ)ֻ@KhT&ywuØ[/nBRBUlT0A2t%1ƹ Z̨ߜQRCPA|3|A " &lCMq%}VC&t!Q2^ۥ?QĪtYTHR7~;c(5^A H)#j 3)eȻh)Ȕ}>wg/J9= hF*\9Fڃ@%İg<MЦELP3# 7XUfO!U~ ɱ꜃Q39ڪsSgq4Liԣhny_{;SA5@(m9 EyƫCW.zkf vdt>, Y}]RgHTiȂ"y'ߨAʳP-?D=Ԝ}.%RBc"[-f([YsgOE@q4΅eKMQ_SI|}d r,L%EGO ]ik?l,.1U,kZs *MS fήi/1' i9<q52qAD%@ޟ˸{ϵA{ Y&a~$2"<~"*v; Ɉ6w}*[q䂃20lDZam=h J] mmDIklz_QLK2 x64VCe GJ&ൃ`/ !rp[^ET*[6Nݪ܋*e@>!h&A.l/iGne;LB :9 +i}~U0'?/0 *?BGxOoAJqz C +,,0{ K+;Vb53>D/T-1 C ڟ0Q5(T8F, -,$oG$3dCSz*ܽNҏ]8biXI|UB=98P{d[N?VEk5 Ғ S4{J3ON6L"JZ[y)?3MT;G*c]uqJhC׈1Fӯڣ5hX7'ep`ɃBI# g^BBuEt/t^b )`M["iKiTz19nŏ`3sǑZېJW7\R޼Uc?4r=-g58.qix3uU9л /Nn'p?z׀'W5ճRu5鰇@>;F>o["DΌ~,0b߶x0{Ee٘|yNN 4SN9Y@nRes`ˢ~)%VΆ..qD>^`Js&Y8*~vp+3)"ӒDI (&{p?!UKB45Ϫm?/OBriTfǧBh*BzUVb%Z}҅kϮ@`Ǟu[G p1d޷uAHv̼w?N4 M_ٞ7 wRXҤV<]?1NN%Cfi;} | xm}c઱l`ה{Ҟ\3ekȅ/G]ӊg wH0“Gݒg,F%0Is5%qyobMf_3ޝ`5Aju/Zʽ'&A*gdKJSry͝XYm壼l{^fn^Y\^gi+;\sMr1ьbl>E!a&oy!iC39NۣveA B$Z6OÔ cLx|5/hR8x&o7Q-lȂB- /Yjhh/;hpvxx ," #El (\ #} ~YȆ> |7_%k΅zi!d#g(+t[jˇ=q<7sgxȆZ*שIkay+5CLu+OB"kgN.T!gpe6Cl3Y{{$IqfDZVc7DOgxL<۾Ty#YBsAK6>#Ƕ KZXzp]<ݖ>H]$+7h+%B}a(Cn1vR) JE62RgLmkog;y4gZdڔm\KIF%8=9F' 1bvI~?H聟_]Zdd3B(B #ЛA0Ryjsybv(#DgSA_N/(:FnvuI= r3ӖQ U>UGU*aS#ʲS;c{'=r,*0ڢAj|&yRHmuPyE0}/*uAjHȓi6HIhMMZE;#L7#>#]KeȿUD)uyd{;s֚fHȎ2E 퀔b @喁qǙ RP3L$fJIRcL]55w4_kEb@pDQqIoP:S0ڶqCVb6\KK _"Ÿ/䏄j!9tDVDxkNRvDIB$xO8VZ5%]=kcRc][v <߷N lBYjQoo[j1X%ݠAѪɹg & 7c}&K n @5, 4#ws$AochO,/Y؋\$L]h+#HZ‰[kEJ~7bN&#Zvm♝vzaNejb;={פO▟rGRôsBjL6 /<´s\NnS̽]d/ 0qjtHK~A)f;WU0'O/]D ;g?r&TE˔f]cCIXej![9o4d*1P+H },(\҉#6'5T@㻏o(2*=7Є:{Y>d<* Qxz-CjT3s3~(K4u8"mhُ ]IT PM{* %QmH͉=VyaD qcЦ!r(-3,P@n LXoDau9 'ieS}ZwZVBL¼Wox6 ]<Ć(B -{.3\[5t_.lU\DzgV_to}kjtiiT1'xs G2Iƣ= *Չv#;6e:9ŢV/ 㬑Y}ghوu+bT_,'nҸC*!xe{G;Җc)[4uڮ@Kz(K KЩk ,zn EFV8rخץe?IFP}Ɓ`jluHz(B EHe "ь6ug=tXHK, " ?!cR0W턨O@8G0wP[qK~آq Dla|mT3*UjVP3ۥSZ-k_le7jil#A$!i!:YWy3s@{+ebIjچ/2L]-hT*b56 ud2ؑJb{(p( y=p^,]II[?@xyE_UfcHe;-tR-/`z%ͶH|a-傮mdk]V@YEݖrσNէ3=2%w" y q/>pkG8K?&Tт/!5Z?j)عiR Y޹@|4 E9 D@1S)n{'Y&2EXװ$%# n)G f~{#!?~!kO kԎ9A4/O9VQ"(UX)%@/gIƣƅ\>sugw?"7WyZ_8-Nb7ҭR xp){ r(0 IדOEkzi'ѹ{V07K0 <|!p;I#QzʂߖH!NG;bnL20K)%cs 5R \$D]3@U֕x3lDL -(،$}a-j"WZWJvvٛ0ɪL΃ Y8OI@xI]Evk>wSmu""v YeDGPxɠotˣW4$? fDN\+ s駿Ъ85x EBKXndSUܲB%fEj<VezB:#,"Wʀ~mR;G|G˩"piɫo[a&\Y n>9]E6{܈]c}t86(HUbVS<[+d !8/%h(.ΘquZa{y++WLX$]A؟]v·2~dd0 _n9ܐ1=w:5lQg!ifw@U<2g[FaЁ%.!{ނv^ h*]pf0\*pZzDx&LH^]"сdfn`A< }]ښi}RO1wTo]` u]TK4+*Qw}YRR1M4"2}`Jo,37VŘWPBm\!XyTt3oD*eϲb:JN ?v!v(Z6mxKCAx=@~օD+ ,\bR0SwUeY<h)jQ,qLɯUѓ|!|6o]L CԪcH{'RDu`%leJ9vcޏYndӫAij9ӓtZ >a ;6P֣( >&G^raj| eH4!P*'ξ_'[q`IJM~]v<cUU #G;Pױ-6L|]cd|GqssH!iP/ (uX˰xE[GM?rV( X +6( X2|Y5mޢAҀ//Xww lUۇfD{DDqpZ'` asAlϴ($IϹ'R’¶8 S%.gj#o%y*ug$uz!#S30ՃL:71`gU<+PNR,&KvX0b.t'&ty*" Fa6~50Ch!GjA1VLWXv}dܤvVՊzz>Ye4 \)2/Φl4[>vTLlџ𹵨RҜQ%&je=ӛLCBlY5>is402#̠߭X5N U.T~ _rh;ݢ$ЌBQ5pՓ[(_G.RM˗ TIdRII~EF$N6JXƤ?CM;%$G)FqVzmf;:6iWNjC$sUdK9z[+-#_Z,eIL9e!RrJ X;4P a=fx[?v18GEfe=7GgO*xx$q!,׾Lo?7wK|(+$ɂ'.q˨:MG4KY蒣Hrx둲Η'a!r`7ic]ڱZ>cT㽰J?xVvК}x5S,EkV4JDk|Jm'JpqdW#zU#0G&g+:ey Qw n݀ ǙɑO=K%-LdKQzXkY[{$U&)% ,b+HrN=ZVO}l-{AQ1jЕ&B/882C7O {::\P-H}wQXI(&Af?xc'.KK8 ĈHmr4)g#ȴzf+%6!L:59)QpSO.FcKz/·;lJ\K5 ^t"0:VY3|skp7*%Ȩ0"4/dxn=$';@\voӳ?CΏG*bƴa-t<MT+FhD` 3<$oϷz2[Vfs }m߬1`jxheV٠7{$˝?vrIdmXAA >denuu(jHmxתnH4E!e/1Ynͤ Z ztS#6S%]}ۙeC/kKr%T?} `Z &:/}ϟ/{ϼZEh 40QUp@dp0م&L>awiԝe]\%6>ݢMb@*3*;,JU9 =8tc:K:ށ9%շ [B32nzKA0NxD!' )uyz"/ MC_cto>޸NԴl8yL-ӇU)]d L{þIZxv1pFohp -:b 3?z4kEMĝFN!\b<`qn:iF7`DX,ㇶe !𭺢F}'e tQ /XaAH׀׼n^;`o-yszba ~߾@|zl)54~aOI)bk))vK"nzdxXy~b'$LSQsDo5\M>]Xxc?xn r,FO_? ywB|qf Kz%[xK?&0;kհ.{p>cZB4Ӏ LnF{P\1 f"Igt;W@=/p0o^OpwG6`G3z^˔/4.(϶"yP%Mz.nx0ױ.t5& `C^jB/׊'(I\1 j5XYJZseK YeQH!]jJÓa7w5=É9Ut鎾r>'n Q2:L!r/a4mg` L[&e7&ʽp~#FKHI$o W6زFyjlDt~Q_c}>A|oxj4uv+Rʇ 1z:1Y׹XX,X UqogtKw>x+ P /vBhzSޫu "_?P#:J =Ϝ3"+Ϋ ;ݜ6&5RKtD 8/0RV'|9Xk9!rUtrcL :+sǫ^1R/2'^E+5gS0pi %2^W %bts]#×$t`%Lq..W%T_ : ,0=d-yfedΠ=]3?{I[=pτIX(c ]&67Z1GSSJ^V*}#KHu@շH"bBZe4ybq\rW26A fLC;ˇR=7`~b;gv0ooWbRq2eTq1R #Xk@@N$It'-I ;]qLw>)V'"NB[ ؁ uAۼ!k77>Z8T;$WfUnL-Z;6 x&,R=w;n,Kr}|úVn=u4?P" 9@j]c* t~2.{Z6/ؼ-r?P%_uO)|G?.#NVZ7PMw}xPevU`̣q^qPxwﲑ!`?{!n\E7|\695|?H7(EJdvoSZ "e9m& x).QWP~qzxVz = I2=; 6li;wtĪXaSLe|lm:?AɝȂhlrsj( ~uo b->ꇷoqxƺ*a VEX[wKN^Aq徯DK밶^<Ad R?t_۷`L@zN=VY?ת/ēwK2N#!HD$?\&[ RYlmm>'O1v\tK!~Hw@"%nSµgrL$_dRѽD,z'Eg8>Z\$Gd",o2^_3>aM aYW68M粋wCÍם>PmjQrsn$]c眞 .̬%]vn]vTV~tSE>l`H z.\9ja7kDf^}1qVx[{̯g-d$ь1uU8o`Y.2yX(!Ad"G\=JJspv$z-LQ)e *:3R;-WC\$lm_2zea$\#݌S^/1$f@A-=w/~ܐmG>ȣ$C֥JKϏ28tݼCOg!+FF f0ڱ#*ƜE^TjrWKӔ/JVQmN8A7wa_ 3R-)Tzw}m+W>>/dbJ́pC#XЀ^_L YvqD:[b2׳!\,'0q5xRapUYY—Wo aq5˞ݯ\>rk%s~d6(˿Rј`>w=R f^C2|~"1Gm Q}hmtb,26aBf@# DfV ] nk?Ӏ[ULbOjͪ*XFD^oЀ1_OBjiròDծSIR{"m/N^(1*'t5#&7?5\`Y1BAxBp2Q=r"oeI?p6nR1j߮16Q5;5Wx30 ˂GuAyً뵔iǙ%%| H[ka&8 F Kv ͈uk(WyMJRɇߪfɍKv7Q"Mj IIEĦ"r(K]JF5uھ8 ON* UQV'IR/Ψ`3U}w 4 8AkmV>plp=ٜ[mKDW>ndsŸdZ ^V};nH{  gF^zH.gSp˱1"Qr?Qmuۙ)@ʢ+Db1|1R^W]$)Y GPcKgHLJ[~586kuc1B u k@̍Cħuļ:WP@Aԇ~}f.E=ccsNfl2ڗh C{V9ݍiS|NkÊ~I~$ӟ)N`/ap<;4d'}g Z ^271!bhƉ~`2E 0(#ׁ팁pt -E|Ð<8ٔ ?1$СgLtl\QX7P@zu 'pP ^UaP/?Z,i|4 ^!Q)s3rlu2ʊc̫Pg$q/M0J4c/ش0K/>8F+d ~G-9t1'. `#3jc9 om.;d66[=ɂ=ph%{sqaZz#}[r!}=Lyx&'zExc#~6b@)E}Awbҳ1)OONpp<2ߛ{ΦZ> UĊS2(R]wQ뢔"Om2AsBKUww ՅphJX+aÅ#il~Gt6fi4ѐGeZw<=Cӛ%s8;t^v,gG؊枲sM9lqKRn `hicOy҂~3jᵼx5nk%6Q%/3 )*ˇgH;,5?<n{8ʾpVXus1G E#F WY}AˣP;WGegESIt{R&@pȟ<0S:={2T_bLFWWg>Ķ/N,#>$kq qj<9ג"vLRz/%YP>Ooڡݦ_i\'ra"w.B`u`B0BxU06!ʕ:)n~[9[8RC)7OPnjVNz:3#G?cPy[5εQ gń#CAtq%Eiͱzg2ɭq]h,Q}D^^v8g*E)х.*]ys+'aB `_3INX z^/J4_F*4@Jc4a zͿ$61UkmNc;ê(#CO]akŸi3HU:$ۢ)QZ^jXkYd btH 9<7 Q33B0o.m^se62kNAeJ…M~wGtMW9E Ji3%F|E84튲a)J1no pr$/%fo~^9L/+p;ut=yZM- *a4qRcd UO|OI\ h}eAFOOM?_jB ؑM13p q W}>UrͶ,^~WlH( If9uVK!2\w8Ah {?yiYh׎ӫl--Ͽ+`nJdx?7-*