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 @7T$ ]/]MSO_Regex_Equivalence:threads=2elapsed=841.481cpu=1091.372gc=47.212factor=1.307zXZִF! g]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?OK/C;gC &~]#USr:&0K}d󪪮%w.ؖȒ6`Wg$Sd/naN V. nG xIr7^ wx2O11s41bBE)yY{3zSN*TϞꚌhFJ3]xcB%׭Ub_phzd'ZWu{0UUwĆҷ34 Kpp;j 55pE^¯_=K @kOp\}Qޔz<2t!o Þ5'"HH_aH+:h\3x)piHh(+ ?-cͨ$ub 8/z=(jJ2Q, %h:epj#Jz5R I:CAM^Mt)#t!겜 {1l3Lc%7,[%KE{Fw@y 0ܯ=ɇc_r7o03~Ica턆M>jOi3-i4fbLqVHi6 EoM-Dڻ?pkҋ{5\%䰴5}?6]BǏqTGc a1Z OIBܖ89TbMQ[FSsW 7IV8b~!:O&-nSBKVd %ٟ>3A=lt>5Q%-؃Zj݌f0]~, 9]ft9Q t؏\(o9,f[Z6 W҇_Y6 ? dMBb9Fmd\F1<ӼaBl6 `;r{1i.uٙ |poE"';n)V=qb6Ʈm(ķ+Iʅ e]I d)dN2McN>-8\G80u!Jτ8]伯OVEGM4 ۃ:@Hl~OMK4~3v-݂~nh&wVyiJ2:" CC]Ȝ .8[3$\"cp@+P45Nm pgz7MkkR w rݕ'4g ]aH|d߄iu $SӾ"(MwiW~-J I򅤚9JZ^\i)bz:iݑK;g-tD6*E#̕kT8|| @khqV=@AI"EyC`*PX\G h7R;+[/}II^K/ isqQ=PXI|2Lp3%lOy@=hIdLfz_Q7]IYx< D7EK\X(sȩGe}H50݂:)5,3cEʣMK*e@mlJ~^PrWv##<36͌3*&+1v;/\M,&zs!! 3/[s%j29Eo_re'ˠqWPQW&+-t0 ,rvU cWj=8%ڒ| |U/-DD]-mvHscú4r E)R{F~ .D^vS$؏ ZGrҐlKi}J5 7?ŪK=zzy)׷2'xpmMMZGAccOd#cbn"f~9Z/~N 2\$i#V)l(uN8׸H #O[1:~+LW+ų@Mw8:[iQ:]?VhZ춫9wPԎ[c_R:϶kȿh!3;ufo-*C2z H7Mm΄j ͣj},,8L<""*Vd)|8)D/V|@GPۻ cyAsE<c=oVR3oo*CKI_}Z~KZҝg♏;x[A)>'jAby3؟`>+H9(k2@0omHiLW:79,jxp_ȿSOxr$od9\P){el*R\N+m^hHv?bħ`tL"޴̓TJO"n+`t.魝-3tJɋ^/r(Pq6>+k!^2jLV@Ȫ`}Xk2t=0`Cve =wYstvtW>pa$D@pRp-J.Cj@:.,N uT` nDC|.1* Y]ϜQ,6F{U _.rKs,*n'; p'O Ҙ M(Rל*Sgl, Ze@78{ej[O>z8FfEVǼ/%)^/<SBoxczgYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵NqD?; /ņFj:n orS=&|J B a!4;xxV pBV؇ũ6T{IRB=3:g "E5^m k)e1Uu"a׺*˃KOv90.@="2@p[fzFȵX;LsorN!Lf!̙b|!x|,ѹkw%J o4.UrMF>Cz`QPcb]kɶy ŸpU&Qj<6f=Y7s޶m7OӃ[&槟xwj&*W&iVN2"PXk,aA ' Bڼ¿_ȹe~e'|󾥍9ɚ!@4?ѱ%GRX *<SJ08څgx)D@1_xN*_J^ 8̊, m~hrDcZG4sdTTc@@[jc'}vYh&a%4bh вljE HY~F׷{"]'wٺ$}pϒ*ȀV% 1a=ޢK$ITgYZ7zXZִF! o ]ŗXi%;yӊ(ң.X.^,F;TQ^`G|h)@[C g9|M3}~mcߤB+h̵QH*{-9ҏfR[(̹uO8n&}W/DrPM10G5Xcn63FE$[tLjWgh{@W &\"i\4*kty Amf#" 9dw]'c %bcQq8:۰wRWև,n#9-Oxޚ]dNFAIwpSFG(HJ's2벦I((&b*U:ԉzZD$0 %Z0Povk@7y% Yvn!T'@Pvx(f+2`p.{D )Cd#چ .L44sD`B4{6ݩ>PEvm(0mO1 k(]M0M `NGmUxGɳO {])^L{7QSu|HXCHR#u_C%(d*L1x}7X~% j@T ٯ 1 m7@Jǟ^.W(K)5JϽx=?qy{-jCu[ .U8q+R-[Ó$@ ?ƲF'(n=g{i&"`bpgACo;FB)1XL P`yiӤY?+nĝͱ*zipd./DL.V j%2pB:Bm__\M p:W1F18IΚ]{*1qԻK}p̿M i{ PgWZ-!lhmTg!nK' Ex)-Lmo%(}{\5&m*!U"^r'nF.<: l< v"]휓tt(" ,p |rHWW<}Enm\n]Oop6yl꼂i?тMsH NQ z @N`+ Uk]wK ~h`0,4]7N)˪9fDzhK|$Gļφw66h<#c\E}0U x2\-`ʵ\lt;c⨲jZn)=#1 YbZrBۓ`z&p*&mY1 B+obzbb,nXf=E 9cYq_kXCk 6n9-TgbtqYʲuKlWcL0]|w3<&0kmHٗo}p*qDneᝲY|ZOpAt}e&0\AGYToAd38י%ѷVRЫ&kݫ!| i~Q!De1xH<"ߢ(3` y.؜մgL)dZ`a~ʀt~VYK97iԎ佂1.>f6DrWf. l7xfEm:֮gw w]y/oK[y5ת yTn>DµpL6[}?L%vdm҉fz=D*Iа m%w#([MJy5,˕L#!:0SK!FMs/x|)IeOzq[%$6~.1zKؗX9.=[@>0âL:xo`Ж0WGfDW9̔^".r'w{-9*)ZM3Y)|M-x֍ ތuܤs2͐24\oZ^n7Yog:!At.cթ ɈWO"K&KRBp刄IpHVԈNS]&t{a`s=x)Cj=%p' zN#w}dz`ݎnh[]%Oz\xRj[!ߙY\^=ݲS}FؙzR8տe #OpS 7o:Ս5EvoϬ6]5%) [ )1b&Ƚa0Heu< V'Lsd䁌5{8wFN$>lZګn dO(wbxсXbR krcU} q<9g$;$5)ECH,[ VAqs}Iج@B‡ju'+R@Kqgku ˹'8w}٪H0 ”<v6betseIQH\6! kBSm;$S_q6Te}Xzej!#PN& UT W`+7'WNbDR xBĆpha-FvyAH˚,{ܩ/?cg,C]BnX-z?(Eɉ$l'(P|A`@u&>e$-f9AJ%LZ}a{%"o1]'OF*bx\}9mǰZ9= wA0 wj=:o ~1OxW:~*7Leݒ0 Ԟu'4mK xlj5_>a[}bR٨nٮn.Ti'3Es{ .pNY\O^E/Nox뮛l6L#\g7lpFɝ -e{J.`tyһn6d lYM Y(jvݱO6D7uf7 @?aEuWMX M& &&bgsoS9xx8S **8"; f%/KDAZq:dkl V Wb;2֝S^75(U6Kg!*\!5!2ʯ 5C3=ߦ'sa`)K( e|꼷϶Qׇ."`3ByGV|ӎw2]Np-3qzȲ}C5dxۧᢡTc 12,g© Oi ;[ jbDQ}=94|1rV5Ya99lQ=F޻(<7~j,{h = r@McVFt1j]G9\ z8:yITk0.0%wzh0OqH&>asf`җUm(i޲ 3jBėB69dS.Ȇ2Ğz/ZK>0MqʹQ;~ӣǼ%D92OMpy|;ĉpDF[9`-m&6s /[˅s(A(76U L ;qaOY&悿QC%Yeo{y6B=9M:1Z\2nDJNN2RZP҃yxh-*: ~E#"CkȗA9*CJW_z=: "^GN;&|ʜ猏23J}NN ڴBٕN%rACM~O9uˮmc I(ʋo`YkxT $sDW_Q"J?\5…OMyܪ_py-:"*y\ij7m@RFPcdM]d8 ڨ)]tnL zs14O>3G4A[IԨ iN`]O8AK[g3Z1d7'{?iEk!۲Pyd#_(7ib*g\hCrKʳ;({A9HYƿ?5JacAn.GzR+Kt -u yA.9#!-a_G]hbrB@s"ZseЍ'Qi[[xV2&QV܏8 +9`-VdO~e\n_ċ,qMo8AL~Z;[69g")IԪ=aJF@6(tTZXێaf7p,&b)e!ņզM;1Uq̻ (F$=4 fjg7CBhlK$ج~ >۪3 wdu8X&g,,z<(NЬish `% [ 6I]|1hF9`<0PEb"20Z -DӢ1n-5f<}4J̨Lo+k z+Casic OpepNNEJK \]Eşb?9%Cꠀk}OK y2vkcV-e(` ٭'NLNţ٥\B2`qltx<ՂɈgD/?+8}NG ڸډJ5cyxyv S/YZ|SyJ' j&cIMyRlt~DMuy]~68P|w [ZHg B 6|2{E@euzpk*1B"P- 9MFSS4*DZ ;M`Y$&X;D&4E˃w 1R0%eMVO4 (xqCgV3%|/ G`T JQ^4 2^$l]8zH5~Jl\u=Cup ]H`- +b};ms5֧  grp"|y\2{a6 ؚ"շdr唎tʊٯu*raT!|@TF60pPAhGǴ)B ·E9C8*jhR//[&җ {GZ<C©,7i[p~}St1))@=zh{g'34p`LG.yx "ҔNʄf+(" ;RtK.I=!V[E  bhE% GFHJn/Uߥ_NFa o*û{ƛS_z .a̻k dKP?xY!I!tDʚ=5VJK6 ih#8,VN(hu%}t>!]^DZ7eqVC0,mx2'9IS7yڻJ4hNwm[[Qsn/KBń;W%\2~$!hF]xҪ;ZYAH5Q;csóŜ@.DwKB~@1P°[/"u㻰R!X}Kɂ5d~5yn;o Z?fi:6_r阘4ui_ "̐UL¯[khsth B,vBH4nt We"`[`ތʁV9TvJXaFZX BX8q8wA'k s|?0.6L.M%eY%}{ L^Ho߃û`jdEf#@+@X0y ]OM43Zz MO( OS>]5;&@+:4;F7M+pÅs)TF_7;-Y(uÜakXFB-Ȫi=-p[y p??S^#<+]j?d\s۩-k~熺=S)P(OlF]jc3Ft1@+to$:?#К х4ZHMđ?A7j3)ʊkvL0%y­j35Bf1' Jq\ 9,NS}Z/Dg7ٍU s1Yl3rm ܝ@ #KʧFf]vf\֎~aL*4y=g, H#4WaژM84A6? p0Z'f'}=SU& p쏦/c+:xӭ)cD+bR m&_y y̟y$I[,/Bל!/eN^#Th- ,t00[r?_!3TNaNjiL(wzQX>{{O()xoUw~w 6P_F4VA5rFL83ꥷfp{[GP-mEэƸeU#[ƒ gT !;p讎^<ʺbPul[T)$!ȵjeŻ +J .Zo'|AˍHc!˖ JC73hccYj|FBbܩo_འ2xz,EB}H]{5>;l<^;Wn MQ5pi^gB -]{م~:A@7$*P/=X|>J,p'W80el8 (We$vˑN Fދj+'ߏrngz"]8mg>, " 565{yN,͞|DE dTˠ\~at5} [FGCo _WEb81x4! 6;,2!%Zt&MP\nXa,LsofPF/'ߨAnx x,_u]L1*4 DJiݪAԼK %brUP2aǼ;%Н*z.Gs^4chx˜z #'ϭJ(i_l1&/VG|3Vqn, qR *hyGw-9r4/doF wb{bϐ2X{lC4XׁdQH_"+ M 9h#@,+(r::wÅ(@yrՎu>p8*Ax,K4*6w ~!ab:ٍ, %[&*f<~{ƕmkB Slnpx#r'3Y9q9&4)WN>Bfs3:C4$)xHQ߳(wGejxc m ݒ% GzΚP.bw_qद%P3T #kVG BEH%'knBod$Ԑ춙B2MzovNH6ۓ[8{G/z%x0m21lQ9jRghAν?j3(5lXFIyXfjԹpāIѪKqU(s%BOM="}ļSղIP֗'?|nk;%y^ \M/¼(*FX 檼ϕ0БQ&l%A \"%JM-|th-GTq4!pV~7^ڿ1㴟4 Dp06H4f+:69Qm`Z@7 j.q4q"nwݺ(]9Hzބ&NmiaPtlgFg4(cU56GGsJ>{ ]u#Q|H<ebEaJ*QHiP2$C)w)m ))ggzW@ӰX;*>&v?2}vFGJ3ŭGyT#-t 0L3IK#Q4`˹/K2 s49DԙBI+Hľ& kO!!Ԩ1bvU 8Q7bJ Gx.U ouv-o))hJdz?^ns1vnNi8:b |C(__+x~^pr,_qG3 X8!`KG2 hR;~KAM"/R4DS=Q_|80s;a Y?k:6ʄnðՐŷ x8=w\oLт3azs;W闍FVJkB%=!>MO=_G/k “@kt&a-Rߧa"[b<_ϵ5fI{WGX|!nCd@"䵯Y{Ue[B|lYY3艹YI4mc햲OKSBYRUeir.t_GdANyg?2 ~vYA`覜k&xO !MGYf\߀Ҝ}xVW\񁛏;..EH9,z 8v맆8 ou k'O"י~.kȠL?~L0yV.kGm_KE0N%% >gN@I7uf3no#e8x]T׺IQpIa0 Fh\B%{,kO'm4Vm ~?Ϟ)SŷȦ+|2ƇW Sb#YPG!DE%<9lwyUFm^C0_{?t \j<Rlc(OZۯ`f!.6<g=OJ 6?j_ |XUOw3>`sbA<qr oAέz 蠒\1\P*cw~ޣ\)K<Ib5UN*(("t{1G%=䇠ttK+sG]֍]ЁH+Z1$ьNz8~'T峜CPeC=aV%OȱՔvSm0tǸNĊ~+dSHf,=9y.! GۨHQZ/9 9s:xwn9bkz @xVgGiwT6Q&}8.;T+@"_G԰YC`'7a$#&fT~,N1S,W*?e֗2#)f1gtjH`>8X:pyEjw-IM%rqJ)wVe(zՀw; YN#gLws+xfN߮yɕ?7.xvFx qN_GqsLW4{%.1%6s9g2vjY~y,ĥ9C-xFJ7e?yMciփ:g<в40CRγ&=m:5t6(tvlaGxd2~X}u;"Se iyM[aożW?% *ɽ"APp=udZ;eTy*p_GZCrZ֞ J ٣3%Fs 3fhd{X um#{@zn<रmo<>i}rL+)I kIh1<.WV͆miN hft샋z91ـ0>Azr:+3"d-ob:DTop8eY/D_ɶlW&e-YiEqè7rGIȉм󟗸X0FK ][W<ɑFV3jw0Qq3'"WO1s5A uGtɜ#2 W1b s8Ȕ1) y(r}m>BQڪ%€vf`m:uKU^S~$j5 8@ HTtc.]_oIsMɑ k۝bpH~(7mםA#+,` mZ5|T#vur8Cb :l7+"&GeZh{.;(qe@+X"8N 0[w* _0qL’XEaSex"ao \r`;/f$9H 'z'? en&B8C͗U}XDǪWEL.QpqŠ8 T*Jn(T|o_T@Ŧ{jJB/ҍZAMg(V>-J?8Op8H)]lQ+3McIagfg,z3bt=W# P@ф'at]a0 BQQ٘jXk|t`^U j7mDKuP P揄z@bWZnwmE2CdZ{.M(wiWPoVL*:3w žg-<tpF,gs{Rv$m9ƾ?@˸;>RP݉.S&)/M $}2 ` Ő~ n/LRd|c:l,Pqf,ql,fͶ(j)cyg#ML؍K%ʠ߃Sd"0N5) B hIRE0NCuwDJb .Ui1BZ/ 0#*; Ljlb@@kbXWf'ńSCجol <}{W%X=X 5aΒk;Xyg/^n>O/Y—ߦV۹E8L9YX6AЁbCU_8Lc OCq+eq@ GZ/ rW+ȲOp> ͸A%$1Շͦ* қuD9)B Bbn o,ʀ҆6&dv\c A Ĭ3Bc7uue:+o)/?\GϾEI"R]-4O|V JƊèA:_{JdC͔yIqg-4_/:$#*pRP KWjĕ(ACH5-N6@`=2_xS?KC,Z?3C򑋮<=V?a%U>1θu2-f,0LYľ-|6d@3n8v#ҽױNivBUk?Fo_e>{Krv:o8Dlܴ_5%"CZþW>qdTؗY\OЌ$""Zn\NLs+KD!Q)V*˴S q8_R'K{±VXE؛4: 1 ȃƟAt}d`oWQBh[T> 24* mi= r1VXpYՎ#nyZZǪWEbP*d_>utR7dW 0'HDmT/¸@dbtLv[H:NW倌<g2Ճۊ1yȑX =@#;|?ԉ_;ȯ_%T:?Eo+`bq?|IAoŕ혷W}GH/.ݰvU! hŞOB`77]Vͷv Ņ& sItO/JI>k'qQ%HuG2Btk"'tkr̤s][!W`OHեy@wM2Q}E26mfBXkJ3P$ZՖB2n ' ߥvu]XҮU@jˀEP.RʪEw5ǚ9 u,bz~)!o~F;X t4>>73O?Um1b2GWHZ7jܐtG'4&_Cw;+a]l?1sņIhs԰A w1HB/7YMzV|cÈ}Ҭ9@[H,BkoG#wc(bTv'p!tNT&3iz'V} /.^iUwt0p$=^"4UMЉRNKV5A]{S*fc8.r?,fҡeطd @H)J(c1e5j8"҂h >8[ƑVX ABaeX%Oi-b.šL_@O)/9DsS 1,-ޯ $VӚr ^ CiVd);So7\Zo1!Y؈ɃѥuL$ 6-~いFD f<*kcTd{Չo[RóI:Ϯ?e2׹ۓ?Wio$ÃGgKtFxSυE\x.RB:hO.c8Dn=?gq B̕MM.#KꝂ ,&RZjh,s͑E9h5B:kPTY<_@}̠/}g Nj?46+"{Xotڳ<~C|-&SďOK<"N3U!Jxj-XA"[N@P}5Q- &|Xk$>:#L2PU&+~_K6d^O6 #[m<6Ne73wdh[Rnٱ]z,sr8W0f߆Xs(FH[II/j޳pdwY=l~X>1@%J6H{cg̠R˞rL1 }9>Jcro)DUXFbczEƱcef$"ITV?O6[Qi[E+ٖɬ֑\Th-MKar]Α3IŇ['<%<9Nkmxs9Œw{t,qɞD:_w ]nk\-~$c3!iryYe`6&C.x̫r9$Q5&)褰'̸F7k uUۇxNjjeUvab ؠ$eQ؁T60wr0q"AYubyy^3ɢVM0Jۏǻ9m/\I'NN OQiOYT s'm߮*F+y0ce}71m z2 C_,{'op~T} vH++!`Q`cJh!btJ0¤B7`.nRPoO ?P!`m" 0Azd Nc.WxY' a {ʹkHd;&cwsv(: V(窼##]7¢O[;g-YP(ts n2no5-ß$*(/jDITBXb >U1CxTw^a%H~;|bE'nRi'N<iA 0I:&Gy4EΙZRt@L@Wxekɽ{ZA7t4 .n4`c}tp'xi)ƶ +7^*~&قO~`W+)=6Fݖ.MG:r/Z^\dh]G@fjfV*H+Ќ٬+APй4e-c5ϱƹWq4ט4Q_plJ^3KŪdxRy CjGSĀk_*hjWu>na,朘 RjM[ A`RF$NjFG xxqAPi_8-?"R*[W'&8vWjZ4~]̛9iP9+m`STm֛Ӫ*r8ӢÅ?`u,/n:S=ְ!0J)`x65&HTÚ5&mRPP&), nIRB[;D^ F6G2W8@5ix5 0QfcP!` oȩ:`Hs!R\^{4*~#>|{6@F7 Lf=/e+OW6MuU'v1' XQ,,nMmTb|y:g|W^5|o!L{OHyJ!(iNL | YeNdZlsa*itX p%v:Mƈ P`l@f].9tBUB?@+ĪCX<)>c:/G%4ܔi{~#0`tYo:`riNa=k MjsUk}R% -o}X[kY6ȏ LJ(2'VHO ?ֵZT!Vaaΰh'3q&LJ4NYt) /tyHPb12θ ?=zAD?k\Sb .@яMnAVvg Q.k 󀖖]==W8.c a/;xւo2ܽE3cETep:D8y{C ږo,e9ݼ:  bd Q/2w:gCo,jV;'Y;F^OjriǛL*HE#?]A0 :$^7Dܙp45u?a/W5$&%$eh4I(L&J@ljH؝T^ AM{C[dB 㞅nJY\j*{q7=B#S,8k5v2iZ;a9畃})xW32ۥZD3.^ ϻro&#<bQjL<]^E2v frgvQJtB=Nwa^DO zFOӋ"S ,7ToSsVۮ59zy3tub#ً.FU̝/Wn22+69 Z|Wn^,T 耴Ѣ|Lښ.9e= q^Fl/lH3c=#?Jr^"sw͕3_ZI]}@ EP؍,Q*]L+aOq|,d"mBIaꧽm<5& bI? "8_85۳ldC!b.'cͻ۶@^ٮo+ݹtPkkf׍!$ tMTaNia2y_quޯD?vv/~޶/Y;,#XШj#uړjQ.1#p;da$+^g}Xph7}]Nm)7;J7| }/yʳ-t!P&aPViUICM{u T ~j8֟iR.׸BҊs w`}Cy>Erlz.w!CQ ؽt+ЃdZ[q?Jy#by؟Dohohki`+7.W&;>ډŖ4*P"C#Ï.m& hڢfA9MJ1xeG >0Yjlk)n3hߨM[9 qE,̐Uj>=cJ&]{dB o yI+.^mXk"@ZEѺir jp7$wbSho g,:'fɖDBky>kQy qYXu73AB 5c1_}sY"UDL'Jur5r^0`G+'dxHÆZlvP:IΜKwcM ?<(CPȖReW V?tmc|Oq #NU0E ! "?NJ?uOE^cSE_2J.89L'Vsn%iPC+!`й&Ho Ƈ[ht"e0}1M#օ>4 + ]L܂00o$]wvWlfiȴHS/G܇ԗ2X>6 ,VQr*}|1bk}U@ՊI,5A"_Z ޫnHcfWД*+:H"5J l (Ypk-Ef̨ |*t._`>P;-t:әʅ .k`J:xqFIxnD\Jo ِu]LF9J. +,El>PþCpDٔ.%cۭei?9M횙p'Ɏt7 n0iNC [O8[fk}ş8@l;,ӱC qK|bs& Y@]\pJv~m 7I\L T~|-)_wpBuk2eNm!Z<}mPvחgl:؏3^psz#xlX2q99RƒɨM7! 3r _eg?>J X5u'Jl Mwv?mΔl9 |AaMhl:s--Zu}w?zx{ZDb:9MKee7($ |)(0[{(g (X33Z \H 2~^YEQV&akq^lY:_UC)n[ތ9*U2aT/ 3_#n`w NTF%Zm-ggJ1d[tplvlpI<%=Ye5UY7Ã(%(D'(i6+jkEL) C/AIN_FMZӽ}͈'V%ZB#r0 HTi֫"-XXUBXnlE4 >D=#NA/){AaU$ a>!@p9:* z1 6.2w sɈI> EY /Ҭv5-]s> l}н@a,>c3P`r^hdIGP|s<xڏ_۷IX@NT$v|%B(dX;@B)EF>x{֙_?[ & 6^s%HpRv=nlAHl+\og'G z^Zx85b2Su![~ܜ0 `c zg`Z4$@/0xLjR 0NMm}u-D9=;'j}jk#=BfW_,=FJ3KF5S 9'.ƽo~M.$Uo!^yˆ`1,#S: 3tBgtuŒh2ZY,1l`;>ae ge15K'rz&3^ƫUΚ/$.DH+2'z ms>vFP)^*<  6>Kz,kJprnbǴ9֢v)1ml:F }2Qh=^#0/$ Yd0HN\5v,b0ė1aS.~N Åxe4zEc+R M/zPwX'evS}!ۤ izcw g\} \n).])HsӼ5 ׵".GU}0'Q~E'H +~G) 漅TEbIϠf6tC-̝ŃHIVXP$ o<L{*H&_2&cY>5wOH1Q`En%cz#4TXWS 9iOɇh6yW 3_~,,@? =[nqg=a/{0,l%7 ic; u(i"(,J2YIH+KbyC'n-[NބON}O ssz>4LpѺt&DU):i"+Y5pVWM~O۫-!gYpɡiBpRML<9qZZB@8bW;24YjJA?+i7ޯ^Tf]'Buw\RR(PD.6@)gEl;YC?Q:J{# 8߫! .m.]M'+q=i %sɔ' V1DRr<`2%y1S6@bnhtڐE8g$kms8m;56Dzu~#kb7B,f9cJ#mQ6 3ux ~:R gHLLz.dWأ3OS/Ddc 4xeW?l` & .h{6IP}0RX" >/W[eέK$`TF>J"P咲^-^)4F݇2-q6NؘpJ!-h&!p[c'P% Ҡ[ocU7b2qmۤ=BR17盱)n ps3'slȧ`XyMQ 1 .)H.4 jVn|̦7(r}2̜h-vw*fJ.r ʽ΀_:]LnXhd^%̈̏C4ɆY6pncEOvv>1C5ϝH*?A5Kf" ʰ?82DCkN`ri߭8i7!0pa*bv_p$/41(aHPP(ߺ+)n hK|@7Sbсaf8/32Ѳ(UOm2 u;TY yCxuHϺ{ŷ Ze%65j>.EJ}tf.cOeŕ-*ZY\m`( {7'#v=ɞEo{!%~n5ߐ%;D&j WLau9@S[euS+,k;$( 돟Ln*IUW4"ځ [{=û}Isy]JMS''$hS*9>y7?n{2 (ѷ5"c*Xl ZUɶ?,1y]LC-*4I}Y_Xʹۧ'; g R ;` T/m]Ay>g-F*h^bAG{ yYeG roo rcaA,61>mGX/_j=Чbo$kG[6r ͵FCww 8@U^޿GF 4PX@ /Hr*k w&}#̉f4j3<[f4CPjm5'u/^G@ήTHPIb0ԉk=O‰x|1_,MNI-yJ(vt!!k],zqIz 𘪇wq3eK0n3fS/ƾoXkG\uS8ƛ]*dG~kEIPfoapwGUg`Nts 3| cy#K'+iBK MA+-9򒟤 ck߂4z5 Nb1_5 +Fǎ&{@< f}9@5Sf馵zx޺z'iIrd^Oĕe&ɣ|}s%RKw iW[z}ZGVLC8 XZzЌGHtuޝ3G4ElL o:~]xS3X LIE72 RB̃4H't#$_GI^7ĔVOz<3)ٵ{/aGZ3;Cboa<~#$|L>f˗vw3/ϽT`O\jhɴ, ^X?ZG Bi7h9OéNoq =ոJ2s{FYX %5v} O!}*> L JDl&W YkzM|dV5gv,ɢCkMdϫxT  ^@D9݈`t\Tfrշ\lbP$H:%g]%=gNAШ\/^0Gx2rW0V㽇&{q/zƎ՚Z^$*|̬TRzi ɉ$1:4R8^ݢ\b$JaߙgW:ٍSdvwTHwgZ C̿0<UUbܵbVpC 0&AJUKEj,{q"Sm?GYU%EOYҌAw>L' |?M2I0h E/QQCq{58O] too=rNNl[J[vfG5=JBuSbtP7p " N:pxgp%˩GB[ p O\20 wyщR")kLb>=W?Er6M-d…wP6PT9$5NCzXf]4,Ӊ?{+ekщW$UWI:uUB/ՔgL mXi W0QB C36sj0e,j]w]\GZgVO .=v'?MoۅvmEE4^! G?ʷ6{&pΎ{MX$# EKi!OydI6ےvIP NIl5M 嶱c(J{ӭ`>#pӒɳ$=/ɿ`_$4FNB(v(ڭLB'oǃ`P͋> DNq!%NQ_r"@e aP9k߉"iAOK@4D7pP]B.ՅSxU2Z?%K*VM2-ӑEcg%Ý wN=yA\p_41L漷 2jw~©rHD:}P(&K/ 0۵|oL./PP~yS@ :6m5 7,?%Uܺyn`B4e!RrLzs otu5B9:MP䳙|jI@1+딈ƈ/^޵&yx`1 fHLqz/i WS,r; qV71dJ)m 5G!fz@oͤ3 {y6r^:ܛǒXɇdN DZ'EKuX鼢\)nx--)Y'СИxyь0&#;w1xB&GZ kkhK=d`7k>)vX^bn'ݢe˷sV STl%YlC+Us` '&ƓHXaۜi˷#<ULrQm&;1t@>i2*vFk*v&;]ei 4 gnVC4Ȱds;1(NL\cJ{ q7 Ԩ(g(1Ӄ|6sx/nUa3"pjKnyp ͚{rE ^Fo/mct!X؟ER@cX'SyJ4F/d5Ozw!fmɍݦ He2uisd*+0*q9I?EJ7ՠFU19tp&c$%늩ϫ$ ɳ18/K ;}#C#8ןf|{)-G1` }Qp>4QH\^q::KȄ.?.#N<:D!bAʌj%ޯ>/ZFٞoݙshRf\*sPK<>7ۘ_Psf38-3^AE#Fki R>s$l<2v@ '4H><=nRG)LN+z%/ *բ;͔y b <ֈp3,=`([:pKڮF߼$P qTϏRK?Q;#`6KSNWb[*6QD5z?Xe9Մ0HI0|`F"ܼ+hk+pw>xVE` UYwQjXu̼3OSZ! {-*|"[Tb mzO3k5y>qO%dνHi njba*uѠ6,d{p2%b뎆O<i}1Qzfs_{ ;WP!m;ت`Tmܦ *1g\!Gҵb nχ_jlSO "+NJpãȢHfC@TM [8RLA.NR:oD#"{%إDgw]  >\H4O0dIzY\~ant pt?禶&.l9P8Q#\YnGI30ۼT5f܅Gej''*CH漐2K{eY'U+ތDDo~$>ᱠr-XmBIvY_<,Zժv޵(@Tb?N6HR[`/cW@/E;8\Co\"cyrKBؐnڥTW"#:>]P|u;hns͉ E.m58+c'(ZgZ_stfϋ`j~%nV{6[( H80YTBwW$7<2Zs@g "Zm/Ou8 nv91ot_Tv f ZY/Mr9 ő@4+4utcvLKG2D:'\|#;48-p :ux?A_حo(;P*_mň% H9&#P8rSm͗>_ 0Bɘߔ5_$ݠΏi?]g·Y(D}\;os<\NMcCY\2M9|?СFba.#`$}8cyo%$Oz_>%6#iMYT(=qu`$jtZO@+u|P35a BcԪ8F%0}ӯV5G0uōFeT{oɢ޿ KNL"*OC.'zn{BJa o;QxzkӔhaɘF&|P)!qZX:I |<<!Sto*699,,_wYw{yJp-hѕ80Ry5!?'TP"zAۍ[ tF^ӑyQ8tFk8a"_X8lSG%ʤəpHҞӢ2jEMWaoghR-^ |*O6tZA ߬V܉jd %0ZqUm9%]|"^Eu3dP3z54I+_Og/rM` |rG1hxYT4:ߨ- ~17PZ~=B zұgYZ4b9e93d23d82318731c6da1c656a57d9fd38801079d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6e09854ad0af77ba84aa56dac81614e61ef4aa28d