SQLite format 3@ .;  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  &?v4 ]% Elliptic_Curves_Group_Law:threads=4elapsed=64.093cpu=181.564gc=5.8567zXZִF! `]ŗXiɟ fftb:u tgcͥ&TJYcg44:7!փ yۭׄx-*Wo"Dž|]ڀfbs>T϶il Q<ܡ0)4h*E[Ӊ?m.П4f89'M V-^X}55-'y~\D(g,K5pQ:9'kV)^q} no&faI+\wMђ_p\L\9[~)b*\^i;#]t9U ԎC>InLlO>&eKp~H_/C/mXV3-^B܁x֘[!\]~dS&M3t\ QA5#5.JZ\WI,7fCqXhs|lcR D#b59}9`*~HkE?StѼ{*w9 ߏ-ȣٚ`"D4+xL*Mڔ"^#+jm“υtic1*p0|R{hjG0Y_ Pc$a`b=E/ 5'ζ_Cu  9AD>T|r2v7|H6|d(i/v:NOM{BQu!oZ);FNR(x0.PնV7]  64kb*~2 q. W{UX%rC܈EŖB` r%7dsBDf̿匿l^2Þ[Y!&ظک1+d[&>Rt%7Y& P8OpX cݛ`^| (vx S YGeBATxs4H 1NO5kCdD 6q|y/ WDèR*X3YmxX|s40D% @qGeb-Ȼ~09AcfdU`-c'+ZlmZ' $ōrΪ18=~u4u}" ? Elliptic_Curves_Group_Law= ?S% dElliptic_Curves_Group_LawHOL-Decision_Procs.Reflective_Fielddocument.tex7zXZִF! /]A-MՋhvG"uIBm5SVJ)knXbeP 4-߂#w1"~c$ʢ93nM=sͥ,6nl|/k q,FːЪJ6Mqa(?==k1 ezj̖o_ KFO$ϲPA_D{[K$w+\M}EwVU,ܬ]4W =uy緗adDpVv"s$ zW87^)lK/j r[ P~@)W2{V ҖKw?s Z-,3efB+_'y:WB4-AD8=h+38gi`)v1zͺ&M2U&MTQ14_:f3eʜ]^#%706I=ô/[b;f>z |z>/[h&{QG t</2P&ϲo~|¨tUsGK ",#Kȑذv\<ҘY3*n^8>e%kᮆB^^$uMrdlQzlԊK̖9- }Yr)PVćQCb<7H;]/$Jٻ-Dd myñ 5?ݪ[u,aC/g={*JZ<93F |~fzJ+N#pp ("Vu-Ə "bƗ|+wwKpɀ9K{bV!չԡ_FSš'rG:ZM7ܹ 5v|f:dcNGF*W/])r )%R 1s ^SN4k*XG%J8*(|R?<%Q+H1ř@ cJY~ًFW ``Fߢɏ%tx>;% % kJ7x.D!i6psǞ%uljٛ f][K=uU0F/eQ4<\$uLY*YLXέ@le܊2鿻ޅm>0L՞IY @[Ig*?)*|W9_ C Bn|]~s1"_NL[O;OB@6*6[U zH-z[mHFgL͜Ott1~׷>VdCd9cJ$r݉40HI _k4 O)C<@5(wӈW R%(h3rtm9O)'IjrՅᅦ Z@9y\u6Nj.LpN1rಚeV A ہ%++6ZJ|$#/D7}c_PiKR)8 WZMrΟ1gXDa2 dʷrYԕW(\EزqHqHAO`16cnRЙ_6 c-SE1N}/Q=p8R~t[6.+0:Nه4~a5 T W? 8Ғ~p]xbܭZyP?HSEQ Gij{d(UN:ɄuVecܨ$l[{ݫpo+нu[z= rOV[s@*S&E[%rguEduK aҜn`Zdh\}sGK!{8 ~(hl{q}O]n85ŁX3@aqNI8ou[9[R\qc ֵ[@N? uV{tP5%KP}m0W̸>qz$5Ck}4L s@1Հ@3;_a.[NlJ͗IJ.˯oՠˍK#/-Bz?C tlovhRۜ|Ν,TyY:d|63u?)@L<p[dU9_ ,u sj^vE5 ^,1\@]"1%+!ӰbK>:~UPВ@)o@%Tչy;-lhIxlCyNYt˸:2|o8$zp3^3ەzP?:i$bzbFuAb sMuj@ҿ5u+wbbJ Kru/q?(̉M*e/L9 7V>Ðh{^c^tOCa 4ɰ:s9TKx"d|g8HLqx # ċjQ* FC=irRiCc:DXJ-V(e9sFNQ`MMā'IO,*֭$Nh?x|T7aoz8,FAl9vEJΤ8iEc^1iǓbrΦ)a-eʽ\j=p8H>ԾGlMcf4ETX `;}) mpeZ3t's.5[=_<2wWY@,>oۺ5| vkNYv# |j{I%q[, !=.~{O8 4qINPbmc'+<xmka+U>-`})VQ~5Qq<3C]|uycTK>RcJh}lT7:wm#o-^ϴ}+R2 Z{nwb Lyw8z>#J0JkD\tcX%*T 9͕gE.GdX6w@iPoDGl}g//IrNVq4Y_j,u5/-QͼB k]Ris0=VñʱStXt&T Rʶő7|\'Kay }Z9#u5OQ\7ʎËQ -a?甑/İ1O>OPoSӨ{@90~ap, ђTewb|?;0gO*%KN RwlumIvVXTbZGڢkNJ٘A Џwk9XofsD瘥6댂  ٭܏jT [rjKH.]8Š|xan|2jJ}K99vE83"M`9\[/5`TѲ<Ѩх!`5I>x oӼ:to`fOBbB "ep5l~gL6 To Fnw5j$VP)[MN#xn]뜧B{J`_n=.SPEt^O-0w|Q_ 4Әa@1 H339LNxݚyephj2P[4hIq[ߐk2v"2 #t|Zi= Ef3_T^,`mևGdkJbqrlQj"ԊNKdؽ9쀡utv#aƟ@[UwJ@{N'󨊫6y#R(z^`M9y=BaNS8 qz{"-a྘ Pxa6!w8rLB]'tqʤ5vFS~QΒ4m֫|εpKtitXQ.*G,lȜSE/Ms9ߠK^mug"TlkerP3E>88{3w͏$=\p'`s_t֍Pz>ptm}g`і'KKv,q"qv!(X'cR8nmj|>ʊKa?Ul4/@a Ȑ\Y~GѨplvjR:!2 rSet$$8?,Tw g{04T;Ct"/'NPo*gzQ Uv4+Dv1z%eNr u荝rY5{K ?Xt|PAmP پY3`4 ld+ wX^Bej8K6Ly*7)DW@8i4.@IcGHbכkݦjNd LvWg) QS[q^ 4'Q5@E8z}Q>gjOhhO,HM!$4ꊲ׻~ d$x*޺V}ՙ/ȡ4}BT2`,v /G^~ V+~`~F8ۉ#&iL#"u /qJ+A ;rv~ݧbnB6v_0c/$bmVL㒙.mjmiycwv08olἍ/OK]KW 5, `-SQHi_`rQS{/ړnCnj_)/2_am#MA3:oH_efӤO2l%Nt![1!i_1=oyn.t3R@}w:ԼHuQR BAۼAek;ڱ89WTA;;>]G4tQ\˽R'@5CWs٭Hwȕ3xI' mJD?E?p_-tQr! -g&ҵטP7ݞB[YȘ7YCMEøS%ѐތl$#n4 JCl+y${SKKp[ukU:u`1yRgvPP~ɀ#1C6HJD&0?dB;_%&Vɢĩ}JWׇ_:J&l[9Tu˄ &kZ"$?Z'z ĹBp=c&^n5 ]zh"{scār*gs߰ɭ›Ow絲? "A,&zygܸLj-m4םqML;ҜU>*W֛rF'Vv:A͏2*Ǎ)Gݼ:rձӠul[{,fQC8|KY&CHξi?Ӄ</:3w`M=_\],ߖ {ـ~T:o65wjBR S/jN> O@xW.oxM'l.$ E0n]qMH&7iђK)K"Z:@~#ƸE+@ݎ[#Ё*Zc^0_qr{8Rr%`rIj1p^̐4iđBB V4E($w h I1eeZ_=0y ܅;\oU(%ߧ]*vsQLx@b 0iA\wm>~ީwR@Z]ׅ8";Gdg}ѪajPF{ BM5PoAEKVF\W=pƬ`. p+T" +8Q J.V7wV•.ka[Ƴ"w3 ! RO[dte8(yx"? "7MG澭 FwQ,(Hv& צ~wnjEPF#dƧ{6h.EQWQ3d3Ps&$6~4|qF02¹v7ɞ)}'a  (#j]J _\ Ol4ǛzU@тEҩܖRn LQ7?(z:ܺ/ԣȦv)pLKz334)z*j]tJ.3^sIPx /4/ =O^I2_o9+A`~Z!r^~_Yvi'v/j͵5~੠ M:>VSvluƯHfUY ALJyQŸR Foau&D|34ܥVaOå,r<+i]H=,wMF) PDG57S!#\tB|Go!^ gҎX}xI9ۜ;uakqXOJP*"2- 'y/ M4)1gnsdx 3Zg ؽW#h |#Eyc( Q5k~|_?;MWRFÆ ZQT6 T%8ӊ?dXͲ& Dasĩ F] HE*[wV䋅׻006s~䚣2gㄲ,%CɠRb]E:0RuhzzwpCvdG7b.[(/km)w`M9J2ѲxFSIvF@딀``919U6Оyy@fz wQKFd2K 2Y4}V~chIɎ%)nJ$(ou.6UXSw.:j- Hw՛)D@R !X o>M뼼#/mkM[$Jʮ }e#I!"WYt-t:UP!Om}K"|Bn 햢_7"gf+>D|y}g>f6ˌs18dS}oIFɠw<"nADyM@B]yRze#+oYM(>*[Hp6E>hĻAp*Tߧ\WFMjH ݗ?IPNfŻd"Ŕ;vK]FZ&VJA -;pQο}F"lz5#!|S=%a*qpcؼϤJˮa*0ϬM>7'rOJJwI)S :BaϊLz,d2׵~\#CJApAl {=8r͙&U"5j#*N؜co&TQ9B2ީFp:MwdbCם1hoB؋"Lxaj:F׾򤒔~-8rDwE4״"a2CiPlIH&WB-4N4]_F~^*Yv?u$#oQYp$2ڥic4 Qg0EZ498NB]iEc}[C}t,*KVG8 .Cw(],OWrxev{nI8}H"%>!>JQT$,81pYU-)1*l,ٰ &u}a#+Ӯ+H$]vyKq貦`~ۇ~`F.O~[6TK1> M np+X"Vrwq"f'cʄ o< 16.uZ]o;ԃFd⊒A#~f}j,P.*uQǗ8,~ݵe7xʵVKgW9ȎI ZQxW*j(ʭO궁q7{ZX g"(,D0){,E%3H Ed Y\5tf VeMa/0KB$;1^`co @E /?xM[VESdd9RGeHb۫oy/IW㮴8OGA8x^7ܽA8:5n.]^kBIKv\aϴT횥oL 5<%ڳ'h}Mx^WM?sPqHfɬD1QA^ X!e88g"AEbV3 U$eO]EގS0!mfZ+LK}D~_?vZdZd_j1F Qa7{h'=y!֜t"LTS'^qI4xicQMX2-/"`vRѻI?z)qFM:f]/{DZr{nh(lInp9$ }4 n=.h,hzc=y2fF6# 0ȣ P0H_X<X\A勩o[k4 yD)>kcx#&4F3^=| qeI_Jπ[FZ?qB>}N[ NLna⺗EFKoo~_qWMG0$X VkV+1?e[([Hbwn?^S)ݢTTlA:E.͂Z76.iHXAy-hzhF&)7 epo}m !#gL̅,b E9@Py5\ȋÚ8֋[ؕJѐ!9}3ˍo[XbVaz_ @m' o)ACv"c7'%%&+SW?! Pq{mbN5᭗d5Nj\YK@ +e@6QseԈݦ 4(IJ-hfAџ#W|G/+IH ?i +\*Q21 *-D'K@Y~Դڠ=JXEuñv+J>TIv)Tqs$QS-zps8\ٯ$qDA?I8$TϨ()${O ÕbxA[\|j=lF訁6!qWm+T}1|s2ݸ;uPnˢ]X݌YCD^%0T0UœoPs& GO6QMҦ;To|6VERwk +X|O_i0l$9A7Z ƍUǁl w]gYZ IQ=g#!l<{IN{k_Z0 w:1jcn jR%[Լ3[2,y7ĝ(-R]t﮿RڋZ`3m@j`^s0_YL`ZD'M`j"zL΃2 p66ȿ*Q©|I0MݽNoy{\HSܝ(ДB.hђu.µGCH0^{(ҥo(;8G|F=D'mbo%?J2I Zf#fԘ< # hBYvj R *w \fg+N0qz ńR × فV^G@KwOJyK|`a*tzqǏ!8!JT}pN njI#8C/b 1Ѱ>1/fw\UJ ܏lgM+LV?d+K7e, phbG+`lq͟nO}&kN sL}`3Q[б2”)! جhvykg־ϵ> Ff 蠀ռ.x )}:y5Z&zyp[ݠ4lFcG2k~Գ{!DNx[4+ P)6}j_x(wВq1N2q园yMnW k8/ޯJoWbr ǂFށ= P1nDh ?֐z YG޽WWް5%\Zvђ$2FFs(2dz^cTeB3/հ  4ʏ` /D_mc[gnO{-H|\B?)!Mg>9K OQְ2~6m,~}sػ&N mT T.U$OCyN˥U)BьtF͠^Dym n|19tNӰ=56?<\/)ph`3;yuUZ8TnX/jFݏ6L&2iP4>uOxyǸzEM;Q́Z`HG3( ]#CVjᩂ,-]|5"M|[aԙ:,8̸2b|R-Id+1Xc՜`fԗgaY@kQ YAL1iwR#}X )?ܵ)Dnl+qՈbW~|/+ SF3xoܴXp ߵ#/;J!߬ /do ouk pJxA׀$x>9]cfs OR@P=ݏ(WnJfR͕0}|(w lM!6*îL97Ƭ% QZ\@ ²‹5$\;m81hF\uF^v x=7qNOQ.iTqIjnc8 /mnh\G>@4.9( 3흡WsA-Jڳ[]X\yidGU.+&An=.FU{[]RV,Ǎ*m(N~ܗ X{ByWPI왛neL˅-΢i}b&hFsW[6fA5:9ǻ+YX(HzF*A,I{H:+ťu]Iwa"Vz_tkL@; \(>\GZ( mCG۴Siqγ xa$v|c[Sw6U=/S: nEC`& #U^ٳ̀X0蒰vvKbQ BJ0֋gd NƦj8:o}!OMyD""/ OhrGVÜrH`|2 RV[J#'rW"ci. ?p`y?NJUP\ـ)H(P?u َϖf?}>dk{qŝhy>3^g1SFO3=v/@B1z76=`ͼ;' H$L/YlA;Q :jYC]DNoٵ?BC/{a+3}prN_ zeCo_໗2g V_O&>|rƫڸ{Cׯ<n];_;h|Zg:ܧt}[LUC0PP>4m/˩^aTMj0f=IۡkeGLCH<H >1 k:M6g/viTS5J+ZCTLaMuQYwJhM`mg-')jzY否o-2"|}5R7$ek;"%?t9| 끩$ER6@b]yD/+$pS;Ǒvs&)a?1!=Du~?x.VCm\H>)\NQuDbT\os24m7j=* sV^iPJf&F ;Md*KUG.~?<;lPÙ|B1aC+.-j&09pcL5oiɞu fifL1wYp,6$xs9\1L6Ox'P^& 5-O$}W j@@=;k 嶄1 cFrPX;Y˕nYe~]*pcϔ\qʟLኇVIV qVr W Q $hLB/k!o iC1|{&p7oo2-qo2GZMMY1 H$I!CV$&mxtUxb| 0\⬏BMƢ(ݍȐ(8{N8):}Eh[y#)yi؍7|6WA?mSZEPxtnŧBlj#;B7yقLL(X-JLxd;bS)J%3 K B]tEqWY+[峟vZ8x4$pˉ 3Խ {Qg|LSYXOΠĿ;3IF3=ݛkDO/{.vG=WV =r(a%YRnh׫a]%0v\MH۪Qn=t@fp1\ZЦ@F=*!ߪx|(=xUK,7/E]Gj߹<?氠Z0  !B5bLt~FB=#P]BHLޢ|S |M 6e ]RWf+ 82WäiPiI҉OyJ* M(praX۪)tWX׈쉓ܾ`hUܬN@mBZJ"t16y +JkJ,3&Sql|U1`O_>ʹ1R 2SLjq ~Jh9-*>z7VF&ZX˯RGun2w"='N>N f$\AK(h~̠4ד_B7ؑk5nJsf=,(;tYq*[MՎ*v.k5~N^$9(C 伞lv8L!;c(}oj1aZ=՘QN]4'tj?i20 +5V׀Lp!!P x!MԆSx/\3#Ic^PN''v$lNեgl"W?Yo%Pnl< 2zhpߗ8wDԒ,y[0 )ICY!3 A@އGWZ!A6_; ozW?SV JezӨUk6AŖ|.j ئ)Ɛ|^ bZ(uΞi36{e)iuyX/`#.IY*֔|~Ų8`h*DR0CWC9¢%䅌%>@"x|y X(#Eѳ0ȭݯ~˝I- #48F2`ٯ$fGCs/0lg0ΦTLkRu*np kS(V[VƁBrbo =X+%a7ś ڽbpG4_k X+aCs业.Gx`quۻ{=]U 130Vώj_Y# @#ukTW.}?K'Ü=mcmS\-rLC1%;;YǙs( kFl^muxpn3ݬ|| "f),?Y _n©^#wcjkr-IEUȖHA& ^ vm:+RsKWC#2$/ qlz3ρ.R?RgPWz vl ,t5W?+"Kkj¯352qTU贞c!~)<|v/~jFBypRzc˽Z'!ȱ:8^YhZh/!Q8O %{ygC,xY_ZUOz:[7R2aQk}EC`g Nj5jH\uD'D GzQy1K7 /R5/0\tߥ8o^|Fg;ߞ?pdiָ*V 3[̕B2 ==N|j\ A~. œ H~ldG,3i%U " A&%aei7B1ԗSjo^/ b$Qu4s+PֶMjarxD?h{nָۯ No"5bחg z"\D 3Ul= b80=l|m2QNZ}sI&> 948GsSoEXOuk){գo3iV3ƘL:flH}㯒^=C~Q^+C}\D\7h_}UcV ^ghŎ p{\ `tg=`=ѴZUfΛυx+x ΈPrQoYܟ4v`ԖAF1bt6Hi- ~BDTlQ8S6(.r\l0il_D&'5 2v2=i8L(yhګ~@ӵR]kz '>B[6(*GN& 3ZQH$:kŇG::wi@eb}#^}۸4n4 ASҮ tcҴ>="6 c`A8n'{'WPӕh3pAt@wrDA k@s) ƟT'!qk9ƚҠg21 6I-yPx שI^jT[wG҉&02Q{B!|C._ڹ^z`z+;vUGHM.d$)e7'eHy=t$0Ǻ (dYiLQ{]GB˻ :<4HPfwd_a{d'MwLLM]yz-)Ov\-J ~+P8 8,WQb>3LqB. 8JVq<ޱ-<QkZ2'8hc!g)Te/TVUח҄ك˟W21n2NdtA>R;$c[]f`|X@(3]=gA=`*̯rlϠMTCx8T|cGOGb!#g3Z6>? ϸVҳA3EJSC}b#ĨwHd>DfrXH0zh M-2ח+cJoG(.xŅ&8wZ0:)+$A7×Uo-kң24=j?VV9"s?1:iy94 y?AB.4yռ(%ݻU־ŝfw*@t;{JkJ{8.Ħ}\NQg;ı3LAs[M?ha]Ѵ^uj^)!q1n IRijiXpVUO!'+1M /Kjq ) XIy2sB́",Ԙ ~i Х}c_`401A7:8O\h+#-= T~HϽ[RZw+%0e#[ǃ 7mTРNMY:D*Txٺ*mlI}\\熀?SROMt~ V.;;YrNũCSi5bIJ2?&NBkOk"A#{ՔOpݩ'wdmKj1\{~F =+ʜAi}y2 GMc1f4Ǥ&-*3a#͹'ӻi)摙xבI(Z )\o]Fm-U ⨸h}sU̼u{=(g*$[@Ik1cיĈt5s备nq4#ͥ[dY|5M.^gwA$ 2m@H'$2$4W(t"BY=Hy%JI@ )s^=!I.Wu}ZichAu:5(:޷67(_`5:R<Dj܀, ?c);KfP-65S wsV_Am?`oߣ3Q)_(µDy#hН| cLL$)dnWl 1Dث!06i}ϿRsX+Uj[;w[l-ZCfŲ+mCMimĞodY]bHZ҆ѧVYՋD+?Q"S9 3R{s`-|?B^ T4f%vm(k?u:2\ɑW,l"2_M2knNES `zRՁTުOuȊT/0hvwC !Dtc m;e&.̥VH d)$] i?}HP UXp|,4U)SM7,OȞCRZ,1Mo]MF<5 ju0{ILK?4c!I'e0gF1t1.} ϚLRHщٜk&)XW|@&o@3x0c"Nm q.D۲Z~e9rp;M:|!Xqo 2py\\yd#C+ @ޛ̍6a3D)~XE%|#mu2 _uYOA.b=B XذFp4R(2}ɗ?SO /ol`0fGͥAd$mhBD  C*ez1ܬD g@!ܴSzѨ>u%FWh/5JݎZɂ]`$o`xUeM9`_aLқ7RyzVvX5FkTQKt̒~RG2q)9'N&hH,/)<)@(*@hYs:0%%d(+TRƘd~ EHn&s/`ٳHғ񛕰f|c@r‘ҚQk7栞#[c0'84K8( '^ֶ(dKm7ȷS(Rb*Kko$WMo*Hi3i14!qRvtdQ~P;pqHN+UfI-p?ʁ"Jq},Rٰh_ NgYZIxc`@-U]HHm{\W[7VIJ/0^3\5evJk"F؟~Ye\Ebq"{M7I1Ķl!vs tVL๩=mfY%'զ4L6"+#QD^I[nQe i˘Gޕr_,%$~a樸.vk7%RD"alf!ZX9 mEI0Qp<8!4T?'S2rYcRu3FNR%v=y)q2dU@Oؤ1jRh 89)Й :i֐BIqgsNð?.j9/O̢jfQ"8.dLTX;Np*,7tro˖5hDv%~=f5ѥJH5k CVg;cok(ĉsFc|԰}Ҟ E5@ނ6픫$z=}PYmу,@H~5qc_Z1Ě[e !Vo^gWWK@l¯?%F "pyI$mmCB{#[wnCP`13W/t4[?""eAvQGE(ccQ57B"5TC<L ~kU n>(t~'gbq)I+LwB 0SWe&^d >pLcQAS/r. J[<B?s|LP2)e~vPSvp`*auHB}0:}D&]{J}3GuW(VQIQ3C֖Yric oN 0lˉ*}kXv r9˒8:8 L}.VDs̲c47?1I=h&.ȱsB%O~7=E\14G 58 @BmFxbA "c  s5Is⥈G%SEyahVʫDUZ&wY6MN7ͷ.I_噹:miK\ZXOΜQOьC=9wq=_'F!_|"&SkD=z i?Fa䖋 2woedu^Z_Ĩ2P?>Ӌ-4xܮM'+v@2ޔ:T b?R-ҐŒ]"#STboAzi]`e@"q Z9hPak|cK:@y?MyQƧ[N`/RWgg!lX}Ey{l:g#s޿6 G8oJ#CO%Xq[(w^i3rO)Kػj7_SF9y&2.#םљ Pڨ_`E6me}<'xfpFa&@8y)1 ?o4LF~glsADI # /g](Is|-yiV$myR7ƙK7ۊpԞy:Hf!¦ Oƭ`︚N F~譫b~' ,|g -UCs`n,ԼOHVa NKH艗*ie CQuwwNg3KR,#6k K !<Ϫx %4nA+O7O<7G-jUՏ" 2sUnjkn36*dv3,r"Tk /@K|b6~MfFAkcWX 셴TͶ29ě]50p*oie9n & NG hBv,? &XB8Hewz{[cGskLv撾YFFH| /9%?Aʛ`,Ykg9!!W!dyg:Q02m$!Üw$'I !RzDofիg ^Im;ɣR.'PUI(L_ٵWZjޠHmSH夀^  Y,!B K4c"\.F+۴i~]6.4 P&eaD˾Š֠c us4GF֪//]>$ۃ$Ƨ7AӶj246 ͕)xSx'`D_i,gd\% otyRt;#:baܑf&F <7](qު#AGM3N|W8b xZ5Ν,\w7cx(\ҹ =)!,u.'m(r߸8 hnçh NnS_% |QK"8y\'|Ri5`v3_Xg;z`P4p1!?V+Uí3S{&@'=ΕEv}y7%{%2o=7Pp<M*1ѝ-/\SWN|nϲ,*HN! #J'}6fW  ƪq,Y4Hč&T `ۢwO&@ȻUY6N_Qx:m-QvxPU/MnT5hx*j^:̪#'a5s=t_<}Lb?Lw 6%i Χ8rB%&זm{/Îo2nS7(,~: gi_Lb>ԧ Y>R@GC\}N',4U6pSP4 Q) )8FGyN:%mp#M!#Y6XIӑo Q]`Bi6}m`Y전m;1A*Qz1"Dgn5{? Ʃ> ›&%;<{3&hh03w3'(pu6}#UJg@|SC{їՐӂ] R# מIt4֦ SgYZ T DT= ?S% dElliptic_Curves_Group_LawHOL-Decision_Procs.Reflective_Fielddocument.tex7zXZִF! /]A-MՋhvG"uIBm5SVJ)knXbeP 4-߂#w1"~c$ʢ93nM=sͥ,6nl|/k q,FːЪJ6Mqa(?==k1 ezj̖o_ KFO$ϲPA_D{[K$w+\M}EwVU,ܬ]4W =uy緗adDpVv"s$ zW87^)lK/j r[ P~@)W2{V ҖKw?s Z-,3efB+_'y:WB4-AD8=h+38gi`)v1zͺ&M2U&MTQ14_:f3eʜ]^#%706I=ô/[b;f>z |z>/[h&{QG t</2P&ϲo~|¨tUsGK ",#Kȑذv\<ҘY3*n^8>e%kᮆg-;UZB8mG~œfhWnuw͛NdiF_ͭMNA"伔W,=|TSJc;>ء*VWMW cg3^vƹ~ G'M!]L@O aMȥ+G7] ?sV01 w|LKQT-uP=ϥAz t^[w—|C1l/$bpk#v,Ez}7Rb?Mm gG_CDvs宕U6P솥vxfU!TUX=ip{~w<*<#>ջ;zϒQ53:UM>pHesrK2~W/kw)GɤmYƔ\M/NwiQݺ` R&bDz4J`M"=[nōR5EY?蔨.9^"g:>n# >!:tW@Rp}>y+M<X~~@X,~<)t`6[ fh׃kVryDY :9[U}4OjG\Z Uh^|B|6x`0oX# ,{J8r8-Lŋ}vz̵}:CVPkϜ74r!Ms`uVƑ5ǡ]uw‘ik+jq!N<[$y7GrFoƷ-Yة܅(ӊ8Ơ}#- kkUK.KpKHZrEs>֖ 'v-/!G-:J_ -Z,Fic?dַO ie2x#NxBJX xF  !SoRܿHCy)sAxq9/>E+⮯%sU@*9۾x'z},O\ hBnbU  _R O}&?GGьx渼yIXX#ދaZƑ= n߯Ā/vET A!%#GGܺ{ SX$׋,m[:s{ ܔN;hcA\8 Ԗ=|'K~M mF˯v Vܴq}'~ H$: G'^Z/uS0 +Lެ iK8)Z2JAmQd!0^Lt *E9SiXm)mkQs)=48҉DK}a[re)p.Ew~V@Q g–@4hps74Ag^w oƉ!jQeel}ⅼzŖe $}8lp[ЗoLkWy?l7+^d|S;mP&@o9o62e+׃.7W'&bWve#2Byt%'ON6靫rz 2)5Օmku1{ʬP{N2Sx WЁg+xOw=ilnI?#Lusnw LGU 8VS2نV;M/O0F$vY',.s}Op| ^i0b>8?:^FˈkPFEpiin;FTH {v8_'5ʴy0jD4xUm"P'thg DEu,J{ sj`*w6,>cIwi>rGs!^ÿ́Ly2i&ͨߖ j-g:SD 2ˊNajz4%O[ԂNXq՜tHgAOY ^oy@̰>7lulWQ)0a)A3cCt4cµI9;9QZǍW\^6j+HD'+]&7weÚM@ ִ pc$g;U:+M[f'^J&@v+Y_ELCd}2-Xl{zjV&R&芹m"Q::Fb(qf1l_ j;L-!ܿ=&47ZMR7Z%ϵ@S#iڬHgCOom:r=yVUIm:{秎3֣eUPOYS̥,ս1>sBSmUɹƖA{HpFr(bnd:^I)Ae@zIdTq%(H\>_:~Jޖ ): z$(YFgTq.6 bõp]8.DFni*TdCBhI [ .ɛKd qݫ5=Ȋ ?h䯞:zSq;hO=oiΙUat4Q.'*e(heZӪ4j[&6y~;bOuh`4F.a=l^HC㓻mw\\;Vnwd' ?`]k5f!iMҧ}UȧohX/ #O=rFcMܴ*fx4||hF@C;i 1;la$롶\Y:Bƽ?'Ϣ O(ו|+X$^&Jl.L_wr%T֏ LIEar?!ƓMU*2j;dyo|Au𴹮A|& OvӮC5ȓ{TfGܾx]G/|}M%@%~"JfV`;ǡ80֔쬚Gn"(G.w;J]beĆf3iMB5\@N̚hSONHIG Wrމ+)t?aعq%G{jP (0?pQqƻ@ljEvbiVb4+& O2/RrCXH t+䇖!t@G{)h)zu g?ř@?ܫHa-ꘌ,=ØS%D;"?{<:Ϡ0@z Jgwtҋr1I`nDFY m%s(RBORG@Hckq T?IO-C*` k"x,vlN;:/)k̈́ <dIcCsNjzYF #SlB(Gԁ'^PhkIa\ғ?,՛էn$|J(}~ FEBL8cce2:9 ųL[G*S!w|">~IJDz4b콿 Mz/I9 PTj"_4>71w̐W}4! M8jjGVrM q[uڞp1TA̪u9(L)GM,ݩPD B:&}8^ǬKH'^<8apزb ?Zb'`-Y.w*e?> LiYPdws!Gm%FmE9c׷ Vk??D'\ ='\O3{FFmVI݃^7]^ԅ sJ,0j_ll$c/6ը)R*cb]T>< pW m/󡂘h(Bޒ_&!?QNrbOS#6@.&z$ٗ4WjE|xFQ.GTd+U8[Y 36Ћ$G&McK>,Bml]s:dkd[L恅a_M-%FUm܀D,t[ŷyj96.CC b+hS0'!0ay:O|s9. #rRmA b& 3yM<ϸ2)$K!ƙp TC`0 B\}.GFFk)8"5nzeiEzb7ote=sL?h| IPS8>^˨Qeܽo  x<#X0e N-^$;Y)_9=ʌǜ="/#3]kUPq \cbS˒LM(nkzek%޸ZFzMP󍇫`y!KtQn.m՞f)SV}y3*]"-R69{chjj a{-+\9n+ K)9,+#OXR=K+Ҹ4WK4d1bNǷGD94pў_o1aA\Uֺq/7X-K+@pbTpqY,ԗuyq~]goKrkYA=!K HC-uÚ afI9Ԗ;\Y{7Nq7S1!Fo89@$F%zxؚiF'ĺ2`٬JU@ew#u/Os=}pi[41Odxj e? *mu҆dN)>4wu }n\.~" Y̦w_p/:WUU"|ƚQj2}*oi6Sj 67x(.(d`$'{rb`1Pm:ثI~T0GQeE.=ˡV۝9y\rPkk`RFnA|NYЮo|{mݣ)w^"bр@7^/ت1! zԈl}J:2O`lr<8Giw:m!?Z{ 0aMcauTH|0Ϸ9py6vN dzˎ{_o1>(gZ=蔁?qso"Wz_] ` IX'`}Q:aq ]_X/TGBB;X-.HfRgGEM/a}Te9(XTP q}[ üԕvHAwdC)Ϣ+f("NgOXd$rMJ^fmaYC 5uKܜ{`j?n& ܛS磒ۼηꦿNq$VxQlUbʅI7FxAv].S3w(}O1!)_+IMĻCsGT6i|BoK|٩)WUsx~XFT 6!ddi~l|@n .j=~IB~nm\߇ٞS3>5 k oVľp{9[~h]( 3%/KthscZ5Pٴ: baP_,1HGZq2/e$lK`ny PƬMLJzmwiٿJ"@<% =ƴr|sewrXZ1 Aվ%T;vT*ƔTJhab>ZL!4X~PJj .9GQv!Y-O<3Qm 'м8 Hrz_+ é.H#p# 29 j Q]! OA4.|CHV[KX5)r5٣;\('3R(r4b.?wL K2v"Қ}CnĦn:uTAjڌ P \e=I8JTa5[ܪfaPFqbrUJϚsu1}*D8PYe^ʢOU 5weHzjo%##(kBG3p> .2x$G;M _\EQgCq<0 C~TTǡ3MH,0j~tHM,d`$Q_ԎY9@)#w\"Qr |ŀAHާI@Ff"WS>:s0)вxUע<>hlTEF!&mB"L7`MO%g ;GN!}P|d"~{ ӒnK[IR63AD(sM/=HAfyv}9+=fch~u|͏P8+s ka'Z_ 5IVɏYL4۸2:v.mlx*Uе\T1$06F!~ nDc&~HLL&6EUM9_l [npxU)7b#h I{PX>ࠗoDsB,rr@ry4L3z?{\AWF06+9n1hpȇy#,ex?~^"pX@ʎި]p]-,B pojDm[[3vgU,x{ஏz~B+[Z="VW/d e@uNjvyy;so,;zlEr0Z-*:Jï073smtcQ]2hd--%A ؞⅊*iòB6wN!n{@ƌ vL aphIx38-F y>trbzqkpVܲI} (j0, .!#٥օGQ"iBx(.0ʷEXv<0K[ٟJx;)0eR#g50kĴQ31Dp]MI0Gp.>"Lpct}NPu0ٷd-<ߺp]AV>@+hTSu>?DksAru˱ʧ,BcUzKD@P6WiIU*p),Re!Gzu-S* 9{~1t9^Cu=v1 $>E#.Ա֙ Ik.{O M%)ؔX-)ۓdk^Vu _U.ߧVN=w{[ q f0ŒT-F"pWA BRQyr>s-Aa2S;lnCǕu> (`GNnE By!3klC$5/]!s|f+$gav "s\2IFJYs=w4Sf{RAxB6wzf*t /N{\eZ"cw- f-Hg2Mz,[l7l^B=;~\2p&х5i;["˚WGsK? 6~g\}/FR:3+,Pb iEܨE,$)lG]*WkN䨕_Ya2 H}Rײrc3҈d;eC޵Las;>,-9 ;2lok'qieTIzi 0`nA86z _"'-GֽPs^Rk74"ri^As8bR&#в3_YXy_L" @!6l; + BY OB"^2|}GT 9m\slRo ^)8Ǘf!V WcQ-F$Ԟ}3 Ӟo vOs'q!=6n|QUkn]# k/bD&W+z@JZ qΝghC4n LzX>Y!1fdՏ"v ^×/&rx٭TP6ʾ}>~1lj_!^_ kDYR~K,nrkLhK%"[d9*Zu0|G) 'jzsh&y 7NϮe  xT8~A?k۞$=u{ Ma7t?n٥_Wشh~2xޕ-~t>~Ͻ&ˌCcv=ˌ&BAkG+I/@]Iăl&wý6 ݰUK^ckljqխ, 2[YlUED݋ qni-)}@1V]}>~)Gpq!w}Pi9Uh4s';aQMÎ˃瞼zH`z!20=l Q.-Efq u_: 7"d|{_$kYi Jb?^L@%E|B"'ZrFF\qFb &*K $U{``6I\Y^C\:*Oh^1= -=\9J]}U>6m% Ӿv OnJRͽhCiںR=Y d|OJ\m,43D kIA.^5Th8[dޢq}m+4 lӾA+omK-| Eb(`o0]m@(hbYBTkB]u9\iNWo86MciaT,ORv:#6&zov lS1aF}0k\l8@e]`Tr 3G DbsP-(5N1P/װ|ݰEl2>ˬza,QENN\m-3d16}/fl#o([wD/\( Wxpg/^CNr4X(j`O" &<> 3=4;1S%I[zdjڀ6\$R&9nL'kd}lzT)x̻t=? jx,$C+O3Յi¡S'B=ٖS ޵5%7O_u\-1[ eBr18ʣ`=hH"|KmU'}_ y&d^ܬV A ^s"bfx]x2nØX6A6<.vFqmp_whE1wHCWԒV$ [Ȣ*1KoN!Dk^⬢ty D[f_Cw.C}-`S64fJ#- cϿL\A>^:JΘ FS#C'Z2S,^uXQ9AZ\J-tHBL3j(bSB1³_69jG"+ihjBmuxzrsCO>>N7cĵf%xzZSIJtcSh'MY5x4@|3?BM@Ypǡo {nsw+?$~Q:?rrre͇>o3CNO:E:}Z:{ѥ!RV,ukdEdϵptfk)B.ck!+U~:ujK≅d.f*'k]탙4ȄuX֣{1i߼G EƏ2&qU9kwޠkZ`>񥴘ↃdS#ȼt H˜) N[Sjp:K8DNf$K {XR,4i{fm_8;Ձ'M6 q GΛ?)L5.A-RLZ(zkuI(G k2+[ό2",7_NBHPk_qp8[Ʀݕy<9TP[ZO=,{gYZ t M\tL ?a% tElliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Axclassdocument.tex7zXZִF! ! U1]A-MՋhvG"uIBm5@ I5-M yh"bI<Ӫot3z㍘z0crTtM,\q!ZR@ηHx BL?FF.,=[O$@Io|X?, A%>琁-[gU- x19 O k͢MڽsW 6K\l&¸ȑ#h$?Ρhke|'w7lgƈ j~BL{m7Y9T=kiWxKĶcᵺ9Rpf[ډXrRjcQ'+w"@BI]ƱtRyO# r.+Cgʠv)0B@!bA~gٳU@p> % %X3!`^>bG)5ӱ-ϋkڎw|럠^^KOG@b;W8vq^]u&Z1Ep(wL| 'ܠ '3pժ0MI&{AWMd ݂+ K]\܀籥EAmP+:s,h;nyjxEL+0K=i4]#B!Aoà > pPCb4v)Dm8M)1.)o~xz<bbv։9θ5 $c +DB7k qg훱<_ԄY? j(I[4`B >2er#zrbE#V 6] 耉!\C 2l԰*Ҧ=)JqSG͋)~m8 m\@Qp^~Fތɷa5$T<_Tq8}N +v-*EdrU5&TKm2gz#(pO {N U3' ~29*V$-"R "Y¸3F|ڹʄY>e6ۃYxzzLR=a/ʦL~o 27Q]5QniΆ3. ? T~X2x,qׇ( \ƭ ejb2dbz씬G+vA놈k@@MNX).qh!CmMY{zw{G6PEj8?z!WuKXEZUtwءξ/w ?_% LElliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Localedocument.tex7zXZִF! s`^]A-MՋhvG"uIBm5@ I5-M yhYƚH!ZXFp8PCòz7#M72 g!F׵ ڷA"J3ɠ6<NjYf dʽ 7NQry&gHG! u_0,\ݳP O B錺~vM͒:FLw NWm3uϣ3[qLs) a.(.3CFPr\Cf\U{iB-6Di$ A`̇z1= ?IQ0`˥'N UD=d`$cxc(?[% 4Elliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Testdocument.tex7zXZִF! k]A-MՋhvG"uIBm5@ I5-M yhܡU(7| җw>y-)O)e# A)<+zF>j E904p#^NTFͱH֭` T;. 9s_Ҷk%5ԋ({ώ*7*\,zi1s/Xrj)x5yAFߘL :D8 neJ bS[p q{7gi< p|8>3=/PdxrWLjN$%Ls~JRay*Dw<կ@`d`ĥYNr2++%XWP|>Izsn`ÞVk/=_ ;1ϼ|:dw+: tpo0, }hib `! M86YȽэ#8#qb;5JtOtW^a1 F^R-~4BGZSrJ'\zœBG"&cF;@3V%9=J= qY7wۂW~,*RĝLw6|jY_ GP,LJ/1響H6ݗɩZo*RyCC$>'-W*kx+I~(`SP@J9 Qw\H,iAgC4FR˩jg&YUP.{_"{sH<\# $} ?w1M p 'T[G{'ľdCoVRJt[ Y(%Ysn|5@ "d gC(fn6@z 6􄪨=YPI? ,A$am_MIGIχ.1m,A@ Kyo{To= Bcs ΄#~:xMf'tqgZySAx!~mEJΆ+v44.I.1zs lޮΝ-'n-aVQ;{yȍ9L̼fL.~\ 3Jw*`+sH#29l}6;}̴-It Z8I}&ߎ t.;Hj'ޤ#X|:AF3z^`6pݐ?Tî95bKvmq6~@0siح& ێ* _};2VyFnAq-s>{c(TLEќ9۝%jYi,W5&۝k@`#·Br1Z7{1'k{ nRL\l{@D|)ٲ/G:i#w@ƞ~i3(!%3FJ!?z 3UU8G)!NuŗƽN\*%nl bdT4$DKfδYȬdƎyf8P8?^Sn:&BA!ҝ8]iy1uքlFz1tlz/w ɒ;$-c~kk',S绷g&&7s˂‚Wļ[} {D$b=_u  T*7uIvFթ!wP93)moppvL~n?CV9+Stٗ=u=P1@Oy }ίE!2;_OD 1c}Pa44,HMQų  (7WC0Þ49C/|eo”/:,= c tvrMQej8e? /Kxv2JeF(8#MZ`d7ɒ"$@/* jFMu˭޶Ha$# Gd~9uJ$D]qIK ,x*HQ1h}&]#Th!|ѡl | H?6Oxk%9iw4-N iZGO]*Ѓ=6%HN޸r+;CaM'e>TԁgiĔ~I2;4Cɰ6#se=DHuiS0sDr|""gxW 8\AGp$pP~vCI" O$ /bm (YYqp|X0">¢ Ľs]tg y6_V8 r ̛H|o{S@,}~8BË=3\8]oXg;!ukᎼ/=VưP76*vm[7Czw=dEz-]j9 GA ػ ,$ŐV}j !ɥ:O{-/DhY˽Cۯ',SAVMbܲb^T P_ȹN5=x ,eVpâuT'0/ogY=CDꢚ)TWBRɑ2[ i)PJ\s@-WmU?MCH&wE?%l P97;Hە~h8ٖpV堋-LmXw5Kx)YJ Ffa"I"!bSuԐ)ȥ] ߐ?ȱEGcg\F0/Y{&|je+$Xn]vhg痞r_;} 8 Jb5ӞkFnr xҹD"29ۿYۍ&sRz= Mè/dz+NkD! cށ Za˓Jyt~qecco*G ]p2QHB@5)4e:!hbQl.o+y:!T#Nx DMcG0y/`3XM[֏r,yV0PA 'J1½!8C`J=5}$̏"/g_Drq5$Y.RJ>adU=1N^eٸkN1wmj`--V怘ɀ1Aiݺ#5֤m*}ȃ߇vQ(y*T5'D-:'VJ_.RNsN:8~Ψ s:$X4oC?MO6f մOGzfAºTɂ'KpPƠq%{aHoE>luvQDjn}~1ִCS~#d]&GǼu!)ֹlEZZؿy򠦐VSrL]za}eN? r(Q+P)fRwA tx}y1׵> # d}i*!|E`+ r)wbp/sJoȮfRwpI8jU+ZIGt:Ikl!@vFQdf|Uԯ#uiM#/3~m}%9j_8IW$H1Vj#'N-n Q?gnLa"e~ε}-MaV>mݷ~!ӎ- J=if)[R<QiS2ڂ3ܙYiX8|k kAW^*y ]APwP\8J%`ҕ'vg[B(!JQVKe'&Kd*ka1=N_?DŽ]#ԘS.mpUKM 4?:o,[ U~,Zj(9CdLj>SӞ@tNOkde6gGҥA fT||*~I ͝B؅ؠXo )WV~ޥDսWO'1E}51X7G 2 Hk7VNr1mclfm L=^h :_B:cO|-֡@Iݨ]mSȗnR.Ŵ]57xj@D˼أ"I#@pQВ+"˧fa nKLF ‘f&=Ma,U̓y$ 4e :o~ w~St_,be3uRQ+ B4esYX+yI詇ɾ€ /_Ү"aBn7 sT>0 r`q!ʁ;~h˾&9Y)GT? v ʢu)oJݹ+gl"!Q (Na5i\v6"/U@Ճ3p-hpReGעTE6/Bz=C(daŌ[Pj/cYPv1``LvF:-m'tqRx\Rz'TI,mZr^X Tb2l1`:nG4ۖ!Q\Lf*wGnyYڜ2eK{P]3HØg[=[6c0L܊AyV ;zBLI _,,* l%_fJhaQ^޹-7u\FzPb@Pbdyb}7lE8 S' OE3߉qɛHS/ Djl'q @n4c&bޅz, dη<~Mi3;곴60*|X/;e{|U&sG2%`YĒ1nbc(P[ï!N~WƘd+jXH[.D%T']l(wIH!P7?a@#c_jB [/3']>5JL rQ|"eMBX}Y&PM$tIAD&ax &-Z#",pj\`R+^۱v,6{OX\Bs^g9XוB;ID\fޛDrBl>&Fo%XNJEd)}%UV)?b~{#-u`谴mb@2qfD QV>"wd{do3fr@DnRU,s̸3d~,xlY)xmPh@tx,P߻ޤٖ?`쇔+4`&ѣ62ؠd`*ǣJѐZ Zsm#!)] f$;e2IBҺ}Ɔ?v_vrVX^q{dFQ uyu%V fF4P|fy6Ș5BݥkBe0F=6SRk`1'Z4"ng3MQ^"w! HYkd({,VS.֨WJvaD09RϯI< 4ǩJݰ]F2B|d$FR;[srfRg8+{Fw7X-2;9ze#7I38עI])I, WbHp4Kf4LBFwxOB`l2ᢈ22;v^4Ge\%:nXy };yfxx-u(7\_u+TY4SuWD1?t1fs] ;܁<1QA6Cq&Z9*cCjlq|7v >\/˂i87]?AErd6=i-) a Wyˏǩ%p1Fr,8l},R5vGȤ ʹZLL`ü+$f{u%JELt*ԏxnDAYTef ETX䟄E wN#VpD=A2M]iu}?fwz_þR} Whu}YׄxqKKY:|XQ-{αv(/v ,ibb MY_,6wKIWY.zx ?/@ӎ4wo%)6O].dyƌ&:F )٫ Xg#/(H/NS^NA\P1Zo6pnZ+eV|9AGbORo8ek8}yP5OHJS׳ŸZɨh ɃHxʌ)ydE^S:a|Y7q1m= e?@x?Ugs#6Qe_WICLO$A#vjٸ]A69LK>=S)zfAffb(ZM.97qA&qc@i̞rHH9zR#Dh5>՝ER9v0LKF}*|Њi;'?ⓛr}zM%,EfF*&TMpHiptһ5H b7T̛Tz3ă4keD͘=."mtw99CR_ډ#wpjEt`N$}-IUf?d#?JOğfbcLЊ LCۋS؍5Oзq㏳4ӌ֠ʹ.x3W.$ k_FT=:Kh01ϗOn7Ͽn^eF";grN9sW([8E!yqU| 8G{lxRiXzWŠt@:)g\&O'F;TQI.'*SKA|K4XEKrtD2h^:3Oau[ y5}>a]qL"`:`9QWȕw.1lH|S:̳v(*ʭ|}; e̮KU#%$4l|M0owC5Z}fw(@TV#zJPA&s blbk("GlFQ5($gzȸ= * HLKP?(;VN{UlD&~ ).=i)XZ?}c yQm "gϵT'.Ht')B(N6KX=AA|jlʒ#]<ͥ̀=) N]&M\p̗fK1:Bp+"CNJN!tHUk<Ӵf>WJo%ΙqU8֘\)>iŨf t,Ѵtw )HhPE@T%`̰׌*Q,6b)GX`0ܵ-}kdX8rv+<ݸEQq%BHSdS.bhrFgCUaX.oM]] wTͽ;w@.qS&fo܊Sont /_u9}SdWLS}܅8N"0ф$Sxf6 ~*7>q)LlYAs7Qh4ҷkm*_w80=\| ba 2"s#XvbtA1p.S'|'Bv!Ǟ5t[B,^&+%-db:}fw1y-Us<ͺU6n_ܑ}"G֔I-z3\SZE5>Ć3JCWzXJJA8r(K]QEp&E=aq#Q'̐VODʔ.Dq(Kѿ{B:Ł)y;BcXqF/ݑ'2cOGW< HYcndDZpxM|#(.`ڶ aB0fU20OQbyV=$vԦc,Q?WnjEGj8&]vH' c)tyVmLCT~6t%CC?%TnʲxrQJVߛHoTdÞAZ2L#.]J+,IAɪ[_ BUcczC|jeﯾ[<"׆V 俕? sDƦ{/H&L>.z^ߤE Tɝ 6\?Rjc5)L.ڎB_V! 8=֑N*7 %R+:2N%3}WOR ePu=% fRPU_!.QgWg4i- R2ȏgǸ;-NEn 1aar2R!X㓐^H G2 \R(g@G˶]4d_&^wWgQM+~!-[J߁s0-1МMPv`p?M fe:u|U)#UMqQj:({qpS*3ÿs*7sE%Eǫ3i6-OIkҎu-0׀ ^}b#$a҈*)+q :#yg ?_ eB뇨3g7{KGe7PM#eFd͟~|B O7Aϫt0[,V0Y8?~IUX6Bk-[M*5^CӤuE;~Jh(=D0'd(,}%SYI)$PE%i:撆TL]^դB=Pmڛ&6CoOҳ@D_]#-s'8Rd뉛/baF^.k׻bC4#a_+R"ק$-F(6] y=d8Pѡ Q$m7b6`4mF ixo]  X#4hQ1d擒;8/KZU (Z%8Ijp9uZZ"WbvU8x1f$fpy:|Y(reRȔ7 0r̾0H!`Cmm 7Q*mShbE?Bbwb:źkZʕMDy ~&q`t&*!`wQlkP wv;=pF'QjX!۔q|E@%h>b03i!L?:F+؀;BZkCz4aހ` 28 *v)`nk0Q!h'Bnqp P{Ά]p"$f_/ofv5P@INy{a8 gYJB 0 ޻Uh ᪥aY%v<-+N[qfW}3dU%l-=KSxuC?_b\d kAXwր1rxvJ Up9?qI)9XV ɩ$2rfqKp}Aۀ@kz ~B]- 躚f:J)Ё;7qء5߫<4$6=0s<-5v|\tEeFdMhuY.'zi'ʗ-IaƗad}63F( "p !w/9F ;iu`(yG]g7I G`k eL%̉G3Q'7{iG.4p$Pk!r&i (v# tF [0a6kE55M#7n~wM ȅ౴HoA ]l#ޖU#SgbaC Z׎oEh%Fx0ruD6>.Po9^s&d*2sʁR^6^'"O%&D4b ,>;H}ݡϣ]^Xh0-hQ}?lr\Mm0L2SDɯ$| 7w#JߢNF.pKu*Wm̺ܳA8:$w;0՘Lp^ -'w~<kJo쥏f;}{M;Hoq\PE]XFxU4'!ԸģI\1|ފy=)EzZ+HfwO-_=ߡ,t٧8l)@Pu _Қ:ʟf#& ,61w^jab;'Z5yal֪dh;k>R/eLfi&ħ*!tF{9g#L$1ep(s//Iʜ_G/h)厤7] `1,o89LsNƽC3&ht6^ގωL54?GZ*-80`%_S>;&3ojt@o8lLp3{T)2 ,j[D2EL\lq %M9[.`?ˠ)~=Q DDjf\gE =/I $ϡ{D@2 bp. tq>J٪" L)&ItV8@S+Q*R_Кewk#8lV*xmBV{%?x{|ğ¦LI1ǂ/ g3UGt7^tJwݢN$s|akDMn[hߝM~>bƼ-qz9χ=%3ɿ2Z*42˰?ٳ,{;N" ɂxzl09؇9%-O؞gܹV&j_4 * ,:pDsɮ=Waun&1MM/mQX;?T%ߐ-c-2z`zV[HiK9`pk#ZE$9b^fSw02I|jQ)9:?uk'lz~Z -Q=(v pkQYA'{SeFԅu,}UBd:iEEwtJZv _kK B-1`T/Fȋh6kZg)'E/K`rەZT"6//"cɠZc+<~wFD_hw,W9g֭jzݩ">_T*:3r7:caF \wV(%лB'vû1;n>TM< ly} Ivq0e9YáT/ozcG ::ջm` Ž]q`˨5kpu)W俌E> P$/M#eo!Z~[B4&+4"*QHS:(tIt:W,A$o:>²C&,* iWk~4OKvy=٥-]ɘ4-Vߜj P{:^JAۦx9sc1dӈJ8.5ף>Ňz)0Y"#DƚTEc'=n;TeC|7 lͯ"ád$'LXCPFL2%G;Z;W+,۰G[jG qyD]]0RtǑ*#X=44A"(Q3T娑v]_JS%Y-?p꫶nZisVH `/ ] Sr*P\*Ɓ_L*@G|saZ3+  %Vب~:w5~tRѺ=y|,j;W(}j z{4 ڛNauFiIwt(M׫;i 0&!鍛_F`!p_zJs*vLxs kjȭHXtfat%8߿ηTxtޘA(yAtUBr V sEڨ4X7h'i|GXͅyeR`^Hz_VjDH'vWgn@Z'%N@mn/7%pc|@!wXI-[7<\ 3IDQq LB5 Bت4\YIL^ru(yTzz&LԚq#u& _o%ҴjrE{3"a {R5^-XID9fw>`#/"_ǁ~^[pq{S=AU,߀8|#"k4시H8뮵?{0_F:]WRb<_^/ſhͤ{7lg + 6Ș/yGP 21J_(9vuk4{f'joKL֕}x5N(@+5~9z0.#H:Ce!$U%Fo;qM?оN"`ksVF7u;/p1]!~d\a=  hZ0P2Ԅ+"u&5i.{1ټԌ9j>ȃfq8]/Ib v_1ѡ 82lJ[(T+.9d0碹"2?(m0$ wb>fΖT3Hi3^n}G?'k.H^kJ,hsw=h5Xn> p=㵸͡= Lb= I֭Uò P0uQ\0e 7֤-f9JLjB[ԛ֮.,XS~k5B-~0Ap&ݻ;VJʍ  oMm *#eLKL>7iҙ}u$:vA7Xf娫R7Z|U luF\˦=ǀ8e安t'9Ew 5 yMNi`,#6!CneQۼmwVc1K|+I]|73c!w=my}B;'c~ڈc=UZ<9n}>ޝ1ǘ]i(q]b/nXy&94$L2v9!ڿ(LA:>sYV]JWɵ(Z/T㦰Y^1?38-4VlVZ1jk,f6_8NfȑnQN}-߫kJF}Ӎ7#~s D^D>IZ5B;81M9B=fdW 5_)cJZꎶ;ؚ4Ka&LFv{zj$ڌ-ў)zN峫̀]n%!vfBv\9 |t{v¬ 'uA2.K-9,9lsVc**4~#P $+ U>NO'!cӸb KuS 3 dg~|Y_rSߞRanyQcdk<=#){9?3Sh` w Am_A2K\g>ؾ4mdlZJz뽏غbHaQMWNS$by3$ȿ~+'j)=`C{v#zGpºF}cL]5~MT.X\AHU;>4=LfgJ/54ЁB+T'vrxn/zGKq/ &Pg\ pGkcG[$8l;:Mbb'Xqs|){~(/v k%Jd`khȖ*hPf34糴0H"BbIsp2< o aΆs]屦1`ʟ\::% 8/NB^HGl9s|)VFYH+1圷n M'.$/?xtX__$CxX\%(ՈBX#^hiqűΛ<|b7J:;j_NBtd?$ k2B +/= wQK.0.T `mKY0ܞKzVN-Vә?* |ƊWo䳒mphHi eJj؄NCNgntp2@ǦSc=G d17a{zpqloYkE܋1V(ucxE3i*P{+P_.A&P}J,j4 Z^nvvվ0*]L/K D\Uf*jE)Z)J ƞDoZ/^y2QGeYxpVjGmٮ_Ro-;F31J 91<8߻1q᜛!914+Z3fH׬Y: ; t΄cD/[ #'Jt ]e@D摋A-L䰙@wFwAbR(Mr#/%;(="j-""$ez!BCӌM;HGfC S5:M 7͔I\W*Rm ycqTWI| qmb\3( bzBlOgu$2? v0U.Gm(yF0e&c0Ol!] Cbk+z_~]ЬN 斨/^ce=y2d NC!j3E`6 v@L@W *zZ.g1c#2=vYTxT`xWX,4a|0oGVŇJ@8⣷#k_Z0n,{ߧrg,X;/{nM!"1[ 1>SBWAT;tqҎ9'(=kmL2vifT%~rI>gFX.0 -G(F 텐M W1Y3հbGb#)Ԟ,bhbK;zeo5/O q<'ycs[eщ||m]Qh,R::v#yɸVoh_\ 䡻Rʲ1&VBb8 8Oɖ/{$Ka{6-tvy\jBr{Uj7 (I,?TjDxdފ2V(n3C܀wv,Okk=:=Ν8؈ m?z-}T+s:a7K-nb.ӟ# kSʹ``'V z(?r]V֝dfŃӷZvrS$!^?*kWp ęW4Ƅ$¶865DP'V$zO{H}"{@Ѱ͔~LUi {T繋M{+!u?w  [Â. ωs †3$d))cp&WRPHq -YÐEOS']|R+Z7E->.Yã {%41̼'BK`lcCJrϕ JC  'GftБ2\ܭuQﺑ:}F$KdAoeĚUd9o4x+  N9F&t6/Ŷ+ K9[ I,Fn#pBܙ8Z%wuS Xrü\v 89)U JmcDW7G돭6 @P,\ !I QivΔ#B&s&ӬYk q q\pA簣1x&N\Uym`w\|${t:昰 ,R֋],"Hpeh#w/de:#f{>笶_Qt:bM52.I4FҲ-Q(M?F8~/dK=PcL3P7.vlcQE(p=kysӄuTN~:&)q ={PO᝴#)Ѹ\b5I]Dn2Sԣ;1buoi0ЌAare3͆G , GXh!߅YT{ 2zH .f*2'_5IbtFxNƩ܃su%0JHI5(*ymc jb}~  AyBݩ VozPtYig";5IPHV:mvN]?,wXUʹ1q.4pQb&54qy:3: *͌z^K: ."I@Ut idݭ) J1e?va, H,;ZS{ 4Ӟ4U'Zpmt?dƿ4ԁHJʢȝ}uY1Jx5$>0H.udpb5@N6j<3(ySZ@:C4߫D-L ] \xx(lVc bxvm!mI?v/BS@ur(`q=f̵4~_ $pbzalGׄv~8,Bij[N[9+lzgc`VJl:,I[b2WNB Y 0@v#Z!D:z{~K"O}yHgnZOjX6Ĥߖަ0m^5L1(ө03'F^ldfצsbH0\- _uЊWEVIZM _S)ϰCT51sJTԻV츷m*c\L˜Ixg{P3PghL]HDcv8uɰb|v*'Nl@7P&s5N \~5ȷ"yЬ4|jqq(v8LӸh<B_0Kzu'g׋iNQ~2Г}ſT FXNHmL5,ᦙ7a<~" "+Y#HϧI7jlŠ {:iuNTGp6_%p]2},jV|SΏ3`8A*z_?I YqJޙ1vFIV1hlxHHǥ$a۸VnO~:XSx"eyE=@ 蠭'[Bwsf*< ;q㪲;#`^t%H_2 Yc^dw1g,O'R#/%^$ cQ[u^n[2"Ϝ^b4K 95f2`72Β}ZRܕm m;/r)Wo,/9g"ƪHQCRd8-1H$ԇ9[ܞ;A(zLOוɊZSwjoregV-l)Q$QaeT?*嚁w>QQ;q`ry$%Za,͝V@6;i4Eqv]M&ӷ7B[u:Fm'\dW-wlIJkaH˘IN2HY9:Zr4UO]K)F`/x{rYhϋF~|>@` 6ǑfڰJ#ֺTy jN3A崭p12Dm:|I>~a0kE]˪09`K!X3~զΗ 2t1z)q$;-!;"U&31ZmRL).32nH^|~ZfKXԃF_"'Q=O4*ܿ'S42Gr;5WBŹeLf$sφ -/.C}lje;}.r);U9lYer>S Pg׻=0f t\ZkѨ4P&~ E$,dmsZ"fy[$35Z~Yb)BrfZ)g[Vs/١l 7Dԉ(]<<&9tH10({F M?af_j^|=ގM^3GtwHvjF=͓bYϼ;*x{[E+T`Wi y%0qJp CRlG;6œ37 ӎRu.Z簱7T࣑T+BmOFdcXO̝݁kL;=P Y+M PȺ~c/JP LVzo|!5B/UHC沎.DV  3yh-a-[( h#3?})s{x@ʟS〲ZڮV͚͆tj(hZ; r;] ]KZY\pΟ *=790`< ?%aȻkC] Dq:"9d2v0.PAJ哗ٺvcp84B:^T5SOk]g|֮$3|fG17'+_%EBg< OƔ YuݥPݳh}ܷ®p,s՘=v-j'1b\vJ>XѨf,p}Х<>!0-|9eng\+]| F$Gw>\ehا|z* ZNNch5N䀇:@Pʕ6@]` 1)J+#g)mVY}\X&ڃkhmK[.ьo7aPE: DHNm1`V@ CfmIxdM{B?L&s>)eEʜfؚQ ]- j V!gpr]~ֵgKJ0x s,CI}+?)As&zB.=(ǙA}8ͮp`_hOR"eO}a" &G4oǸWFxμME_뉙*Cp5hKf5ݪe#&XpC!^E)&G5pE}mNi 97L0:\R#\]v7JR= x9Kb9ef[R &,6JzbEGs0JazQl{>\~V7?^g?  :*"qeUB헧Q)h\]f1tebmH;Ȓ{m}6ӡk >z ͐c/j/ghl7H/ (cZl%ɔLD ;My"3`\N CۼƁJ, "MJYE*(6 =g7UQZ8lFWIuP\0mqr_OLzjܙ%^yyL|)nPw}G :g_ᒵ%ZKwV~RP|9A/>9v#{{T6,I%*dSǃ9 iJ Q _΄ɇὁ2-&}[;PbNFD7sIK r8 ╓~z{bҎ⨲~YxiRoBB6u좊{-aRXo}(mQ8uե$>ƩAebEOYS*偸&[R%JzJ*FN7$v}/ː<&{5d-cv̙[t.{J&\|Vt^,$]䰲Ox,QPM>x՗Y9#g̩EAjȜ8iosf<"Ԥ ǸG95xi`p-P09HLz#lc-6:,;TW[O߫jM #Ks\$wV^/%.%KШELB_\rlqąhZb;SA0wG^yRaF 2z}'b) ĉ={?Cm5^=K6^K@u>"+ lzn̐ɰ=Μh(@J DJߣHC\f@y 9e>Jz9PRӺdA"ͺtOѲP<єm<͈SvaRp/;>3 ƣZIzdUkԠ3]OU t\*!Y V3aCY07`< RJ&Vcw=BΣ̴vsṇ86C+=m]>E".(9w O4mwrOW@sgeߧفgrfԳܢ6؍jդ!A Oֵs6 [6yt4`1}Hy:A sҨ`)WؔQ\-Hog&ZQuɼ DF`^>|bItY-GQU=՟2M"0ʎrtpZEsdrTΰS2\ы~G0? NeCz]?=sS5-*]]9jTg}ÛBR =⼂//URvmUIזNRx#[AeOJQSvƅ3B$,EJ3 BW_c1ڦI0UťUo~gu,킘ڇrΆ Sz*u&ql_C&tuG?*} CrtJ&gNhHAPGq;=¼ W1j01|\Co_,|Usa_٥lRl&m~ o+c?dԢqFUU4YæGFGgSL 웿Q$uw6=Hg|p}u:(K.5Ny s^C{^cs^ʆhC3,ZP NZ6 csmd E֎\%]i$|$ 3UzSU {_X~_,Xo5UO w皟6A^te+êLz_DcJOkID4pk:'QՄǸ-b}LuUu9ϳePV3?.cU?P1Ɉ'ycpjRL^YW).%RK m ҹ!a{HJtWIb 9Rxz.1YOV}q,F[3= iuaSPu3 (wob]Z30ȳ]r߶Ol};IKw k'KBjGz}-%pVIL[F܉B4f[_ڥa NRJ@zdaxJǣyiȓrߩ~<뒓έ74Dk\-l9V+vEmJlm˄z: ~5[}z0D:AXwߏNg~E+CT;{|^"+kΥeaP/l {8$x^6`"Fb-fFVغf@Pi1Y_O:P|IpTohw[˩@JP>VD{bE˞Es%)H,n7dw`˗\4 Ҿ}vr1$`,{3!xWxa:j`AͿ`pIg%a3\ٝڬ7Z />nΌ `Ŏ}AQ|HV e7˚iIh4A@ 6yr[X3~9I'ɘk1q92Q{i1>.;c;5a[ t-=Yp4Gy$1lnXb8\j P};߁gD ]A{);sL,LOͷב O״&iB\OnJ:f0C[CP#G$ [x>).daZ_{%who~:{=dɦ^6%*1b\=e9@0{# m&U12`ug(x/,WxKԋyx><00dH.{bDE:i9y8uK;$8)'5-LX=^CFԘ!p^ZC_isv Paf8u0 j.6>k,rӰq ӜU#JepuwYpO8G uK.N4Gmzӈ5Oq!ª/ml{fF۹N P;! 5-m$6P]<xM@_M΅G|ҩS|oI|l={x Y_u})F{39Ѫ9cyd#"VIz.IĠ=T6Ok[/6' ?ߢ!WC BҝlyTT^jp#؄|e6 Vɞ +1.c"b8J:Baz2\,gPLE %Z\9X ö8w݂ \aY:Hk둄JJm}!G A/.VTO`둡vD0'Y L!]v+-@§Ĕ[ {icZ3`m<+bcJ|Sr:[[{TKz,^>5:Jk}8cr̉Ѝd݊qՕ0z[ϭÉs*?td\q^Q6Jb[y(c2ppˡЭgoDBp֓Ĝ PJP{bԱ>&)kԪ5mhS줫C\+/p" BnuT/| \ACCٕiCusX|\|ʲIk:lh Zx[iNt2%,N3uY~sn(vrTc?ukq.9k7hs;!/9M/F1FuczHn?+b}U#ƫz47u*IZF Q=ZkɌB :\ Pa6FIEHB1U٬ιڃacm.2.x8H^ 栫 [!p[F;@͔-e㷡~3kյw6)aPL2f5Y.DkTԒS+!r)ʈP=JK1l$3_}K`wb\7}٪"1I=It6!a0H? /w ?tYO0Aia(ە/ު]M$Ut5c] *ջ>vǶ t=slyZ4 RoduX"IShkZ5aWV Έޔ}{~э`(܁F5mw%1 EEI.QLzlUΊu^ɲi+ǝ>?*L%x%2Pdkoy~[֣y].W+ydD1z:""_u 9| fӅv:qoz]Xv51^Uęʃ!+[)QńKڲdJl)O3-)x m72ϭC?a{zdaLt4ڃAt mjyj.يmM6I$Y!6pM [-+A8TL]t)i4upep^YrTwp匈6H/A400ȺhA@)>IprxhYbS*|Mpv2nкdТ9tw w6sli~XZ#V*yY 3l=1G}M>r 35掘ڹ{% NhS3mn'mMdƿ]yMVbXtNU!PN"o$ʢ@&eF=yrwZIVK8+0:E-CXMÌVx%B=4>勦IPi)0D2⟯g*׬(+D_GM=j-1\ź><IK uƬ/5{rnp:E}.@qLb{V`3$T;I}#grS*mH9#~)ɟ(/SXAWqdUWItM.1r @xcS1y܄{Ad"Mp+S.lꄎH[@%FIϙ]H*~FVkG/VSx9*JؾOZ`]E2=^x<,ѡ׃YﲓDo%7qdo2.3SB51"U ֦#=wC-q f2JN4dHh.('Q$sw oEfV3n=a4 B9lTB\0 _ɴV-O`s)|Û:#kԉl̯ʚTt][˜k\y%t'' #a"ZJoYncO!8D)h{ .^!(*El!xL}* a>Brc0 @(s= =k+4|IX)䀪O]=;4:tC{_h/IY3xTn9|7 m|H8D{t L3>9犾)ǠFa ZE.ApΡﶶ.IXh_ʔ7v^7GK={O#d oF6^4C}үk#u%H_~ 드XaA̞&^G\}T:Hv&{ѱ@mFk=2%=_e(r#vԔչ8&sթ#4E+Bx:ySE.G¦?Mۈ4Nh|lIfs>ߋܮC)Xϑݮ.V&qdcFq.#=?rLZ)$  0yۡ3Ftչ:/Zfp~GeͶTyQjɏ*&N}k/UwQS9KAr&VutC: |-*;3:3#9#龜.~ ZO0Jg$PeoZTq 3(l{#hr2Ha3:Qxq] "˫RBA+] C EB)Y)GR_k J|.eHJp`5m.]xEW X >.Īl7̟m#4C 2'AaB2wA{xQMF"(%"2IH-䭭^D:ZI4Z'ܭ3S΄rA,ӸS&C44Y K#`R8h'gTK!ݦxRɎuХaˆsN \]^" ="l355+RI7Zv 8gTbM*c'rd̪L+=!$%"^uF A56)f]Ŷ4 /3Mb?ɘLLV|`ǁ;ۋS/DRO'4ڬHjQuG7PI;iݬl,YĿ!;M#r7,8#Cl"7?159 C·\$>ͥ)a6c <+hPe}[LTbOc ٙ,~פ u(Ykg*Bvɞ^D>Q5טu>ITjܮ*1f`./,!2 @Lv.mXL !ٍY R}Ȕi5gT+ y|M>b3Iѯ@jftJ]<}ߛM/_pS@/d#,Oý=}mdwXN#1BÐKq 9xc `Ab=<  5].x\`b!-3as>6Z7 [vӘp\Wڮ&-1〙1_b&5(ކ@_\+o`,|uIcE^!_tu$^ tK215c5^@ Ǩ.|r(?߶w1MԾ޳ovm8k> \b72# LKx,%x6m4:* Hjy>)oTk]Uf#=~hk "?W& 7/ m{jgsRT}<~X |!}a΁ sdOƬ*ۢ+Hݎ ~ɰ7$Jτ:)`k}h!zD4c"io*P+m}徔HOjԳ /Y-X*Oc>7`{ovACajyvpLrL+mx-W Ao}]9Blzr 7qWw9,A_GF $' ɻ,S$7}c=d)p{N((KP pBZ< AqgeQ?R32@x.9_~DM.@R$;ŗ&^eo&g1OJre 4o#ѨFDGw68*N6L+);^  QDɛt.`(5B /݊g4,usRv6"JbIGD?z޳8=DPr RM&%l^_Lst}64%DE&BvY3I֛../BK*y>翽issR+֜TiÓN*Nxݽ& tLVBQx~}تUCsWVPfα25 [<$V9zZfeZ˲y vMN?Frhfq ^$[9P|hhs(+8Ih>Bl"1J4 n^R]%7jKe' nO۹r@DWn΂X4hiIāl[cKx#r#ہo×at wl92XqMg7_<>[\F/u4%*d|2[Qx6iCZD  bcP FmJGwj's(:'M_.OQ߱z>/DUt8 *3Pbo!5Ű?6<<WB$B8nv(Nd[[8P9`Όq؊ݷU$;da{͵f5bk %`,ed8r€s#=꣦ L c\3HSJ3F>B2V. WlݝguȀF0>`J.\ ߔ|[G°Kga`cmE)ϏE) ,jT'V#"Tڍ\F/1]*_kwoD0@to|h!tS6OvC<^ߜqGD ϑCupMBR*a=s:{F?}[:zx4EfGHLWRFBuHX)x1D\[aWđ}p9URBS?g!6-u}a$+~4od/dY7MCXưExGY9 #`0{bY(uz-Gr.CE)ݨVC,`=7pʲS[*ÉB43nWt3ԜY3E22NNO+ec7@:nl=?dһ /(|\ u6< n0 ۚtU={9ԋݟf( wFS\uMLqE? 0V^F``ݺB% JŽ>@a*ƣ,Y3ZS(_o(|^[QHD6 ƨ苃LA 94iFL&ܑébxXWY y >Nf`).R40F/6^|9m1o Wacä욏Dj#5d9XTh}5󿭹lt(-^ ϧt 1׫먉,#S^"N\9ip oa:YE%|ؔklI /3_2`8+XeۭL\>zVEuxl/p5.M&K3a(O'n\0 2~8l4x>k#jI&١> "a+;'?}C7ttnߣOZLW\iZ4WBn]Dz*IGbE{V2:\R(ں+~;?T[%Y6ր]QMU:mQ`y$Xg^D8;njh-`q-R$!lWI]gny@Bm6uiБB"2=ߴlư j8ф@=az n*̡Q DUZ: )SOFdػ?1K x&zi!FLjc!UD.&? Z 2alU ubv" {T 5t(<\kP;obA|5FQ{o?%<(B4# </U¢[EY1rC웫F$Wz) hrlqZ2W'OoKd~g|PZL 0 &.NH?sŒq hq21WJ*9ޞ_. غvƞOii˪`9+|V5~핌J=BsX3 JY_ 9(pGRڤ򕞉?\u0-Z"um&u[Cć)C]Zu3-٬aVXM쭫I2$jjbl;tNQ]$A4?#2gH^S^hCy$<[;sDgZ&j0N铅W.6Ã2^E+1'_sf‹_&飮r q*Dd:ip=w{P ّˋT]6Lv bLGb036% =V~;@4Q$-^xȪͽnH=af+&]Mߜ]'3MYk* )Aa{ ڤVZA?AzǴg=p*hPWg#gÐ| oВ#LȑzRٜm|IW%C754ߊ*bykS\ֈjCJ"sXV r-W^UӕG@bਯ#;rmK^"fj{L|Mã 7(OViAXBx &4=q3 [(nR}b- gv#D+*HdX2JO=z  xq;mڛg.B6ۧU''_T`ÅIۃta0ec_ vjm<N4p*3|$VRe ( Ux@IlD6>"U +Sv}8L. 5Y,S03c?%4fםNy?T:[^UE{ii*ųQ]a0/:;*xiv=оyt{V226R(2t1u5}.(NWDpf"aȱ>҉zE> em} `#堞 Hu7t}Q{<c@ASkގ<86[[7R|WoGCԃ~HgT#Bt\dOzd9һORGҫ5^_Cs}47Jz]2חfib`W#Pswr H"ru#@c0̋zS^hDbvB7M†9ꂯol+E{İk҇|61h%?-)3~zL,(oWz("C))lw8t'emC!L2+SyVc~A0T(bBp-L64YZn5~ 4 ~zPp#O|福"UH6|=MR/єj͂9E jM3Pҝy20de8DŽf5:~I%G >.#Ĭ]b*=*y"mgkS@4e [?+WQႌ#%(pó3A'|X%'ȡ͏r"r{èH|NjX˯|T x^jD&J6b'g:0eѵn0Kjʼ/0,rI/ ׳ʬs YSzE XXVËJ!_P#;v xڀ'qb^j{ NPHez0q5{\b0u8H"LjgB&0ʹ?XPt0Y7wV2CC K &$v?ذn"2lWHHS5QFG0ig ]iϘ5IoCUR x6߱J){wXn3yV}۞PFK˷51c]ܦxǃ]ѿ( m37]6f%C2~?lY~ur[0F]I292y6}+TNM @_eS횻X۵/9|jhkk1D&OEWaU& օ򚊢؂vfD̲CxȬp Ӊf. SZ_#,Q&@Y]ww?L; z +cYNCgc* ZEhcWrKMU4V~,Ke.wx&KX]#$a&aҒ|iZR嬒#*5(QpZ Ǧ'tn٧OԑvP_u gns'@cEiRq}dDq^"6|$W%B U_0a\4jn! 3 WX=RI&0C!hw_6~">01I8Wp׊*=)I_|:ey$hpB?M2@(} &XG͓KxD5ERܙ]n8W'E??_ Ze|`h<10`) kf0&ԯ&tz~u([E.Yh, |-syQ&a&M(_ov!64J#NBq/GEb7lV-Vŗ$6pjY|qQ^ڌyEȮOjN%mDtE")B__w/r}+&bn rQk[H u i ʻA|*ZintdD 0L+uE~>oUVFw(Ϡo5#7Z*|zk' 'X`ȏ Ѕ) GTH8%8ie  6j `l~ "ul} 5"vZtD;jjʹD6_g-Lo/;3 ?l3Lua3~ 8]]O[c]m$}d̀O⟱ϧYFaz b4oQ&Ը@hl;OśO)uգ5!G 6JfLU#RR]\X-Z 'IYRb}GP"j)7ZQx91HD0;ѧiۉ3Iē&PŸMAN{846&@jN7T\%DaP~_*"qEJNߡvX AoH.u<0EaX7S1bq @3mMF*Y:\XRAL$/2աu_.CuhF`kLs#*kW2FB.V1T9VYD?z+c5a+ mw D~rf=ǣH*Ԡn)0C-vc/ove3?8 }ٝ yyy##VlG~IIqnX?4A: u fJd~Ee31*Nz ⼒p˂~kWfOlZzFmW tC'ܐO2|j)[$)+K136~ _ڷW;<¢LbVcl@&&f‚ kr-S^[Fcr~VM%EhVaUv]0ΐYJCfp6]Py_귟]0!D9&ocKN,NCl<(e΄Åp3 ipa?`pob/5*F~P1F  MF`.H# T4g:uXmSV}4//8 =JJL8c W#k2G__^CW1kO?tKK_,nS-im9۷pk)҆:M,C^%s\ͪ1ٱgYZLrtˍk {j\Df IWMUrz |i"J:܈w^|ɫfp{8F&wDCQHvm*r1n,0Bݷ=IXrr1K1RRMw(~"v>"c,IJ7U(z9)PYP綛(ķz9$tCg#:9PhSw9bf'bI&U#+lF*l1pfU| 46\ k2J?`,ʜkB- Adh2hO,ё@VdnɊ7|hnodзG'!O![ ? Ld:̋fjV ns+I*#7f4"cP65 &rx+kVns7+ XgrgSR\1FnYXֽ6j<Ĭ E>`ª1;8Ap^ yhilffN[8`WylAfp^5s[?yBiK3x+f׎nU SrْmA!E3ϔia +:@N\?RӰ/T<x]QRj2^!V߷ۋSTsBDI%,WPVp0jO60N"F=e7,.HbB=Om )})fc.C5VLŨ#(\&T@ *M>%HWE :J=>v7ѱ78a[*IOpn]{W{lh=6y|d5ȁT7wKn:>N Ļ4L$Q\OU'V ē>l6e,o8+@:PgYZ7zXZִF! h]ŗXi%D3 ?L~T]S,g.G zvنZK=])7pYQ|X n#WePqmvvߊP+uFu%jV7 Vlvdb^"Pw:o ;luj@5V6dі=a̜μAP n~NǏţ=#q~6pk7ZZ܏ SØcGtg}ͬ[c 2dTV2 0:|VSa&9: ?,! "(^/SҬd2tze …GCrGhްƽWjHnI_r>vP$Nֻ \vgmQO .yȍsNob,mᬐR9 OB*v LYA3|gK:R0-Map&uDMn|ú+@2BI9ҕ hb95L^_#Q&$R0 sd=3<%CM 91m칝%o< [~ϱ& x:Εa!Xߞzp;E=VvQ*bhAj lcG%4~)5&/{EW}N}hAzCLpޟk^](FqAe8X=ğ H~9Ɍ:sdI\(\73T@."=o{I1LD="XDX&|AQ$deSOu-ITɿ5wQ}މq + E0:?5[kHH-age5~Λ݋۽|T^]g#fC+MX,kroN3_ъV'+Ԧ'jmnoE`iEQz۳}K|>ѶQu0YLN c.6F\!p{Ptp.mZߠ[+!p(7i\kWr8 |fsTFւ^&~q=hI? ?ZK=ܽl-6Dhg>e}%{J+{Ș̇kW55yKX=0i:`ͩ{> @G4 -燷GS63TICIapͶ Y4)v;@v : t70V6`@5kM5&%U,rljojajxJ.sӠM{܍2.?] v=#֙ u32$~.ȋT&ZMĦJ85%౼'%3LQa&6wCiNh…@%g]_n&%[Ñ1FC{v|„ɗ:+`0KvLS&nS *P3W* MJT7ly4 2A%uO7δT^Bڌ, XКm+6T)D!_b 9'bYS"6FAh ]tko9S,aoQUig ^-`DKfͻE 5hz^{PwVdbd*=WAŲB3Bՙ#/*7vYNw|i^(l ʙ)g҅{ 4 Igk zBFT"5.Z;8`̉0"3$H0z)죒4PrE7 pHl}ئruM3%1T3}ғU Hw̰RhoL|]Un ߩy[SVwI%jLdpi߹ wOm2VKh1!GBCtJ&4i&Jjo4Y߷{͛wy򋾏 udi&SqذN]$gՑַJ"$>+6)m4e!1F!3 6gZvQN>]SK4Uj$Jm^D2ECKx6 {~9EAu?QTaJ7i'qCS@QuްzajTXùY, [`XA/( $M5TS_L/Хx\:=V$~К [x e>=3՟?. w.eFqӔ ~,@u&E> YB"bI;c7BGD t]ˉwte٤Ƀr$ l>ySG460bdhJkZ.k34vμp!:]w%IngͲ pzR={W^Ybe' J)(؛{V0 2]cMغ ^J^#"[N+le`M0L,CN{k' .į$93Âёhu@xW ]C[>,5B;gKɿge>vnm`LLkLĝEEn zD9`D(YFRz]1+8&wN]$ mǒVi~E1 *ӟZ Av9OUϝmZHӆR;o+̂J+ҵ{Z|V= V 7O9O}$q$mm[leNcGGN%WP:dіT6MO孷_$-=Ib셃vg䰹k]B`|O i~8d~Sy4_T&e b_Zu[--:ی !9>Ġ_0CN^RBT6o},Wq/]R9zĝ4 YJw)Q b!@C}Whm_tƟTvZk>uA4-=ќdG9=̖sa-\}ܙ1M>yҬc{/1-~t{Ņ#%cNYWBN oxA)ZZ<-/z2OSqIc_Fk }#Q^ U Vr/n(=\YT9(.R\z#hsVtRөmFɈmgE2v̑Nxκ|@>\ ҼG1gF~=)^_R)D؏6̨O/L|zy-,1@ HK߰k^@mغ_/:;Np t#)Itݞ]vac~MdSKvdCԑ{VSfZ]K?jg #Ջt5t{uV/; f$)*`U "8,3p(Sei3N\H8jM6HGv?Ӡb (L 2yC@CH@Eږ 0d[8W|VXcĖzN_"DABHtzWD=$y`J%R Y>ԋGGBFdP{$A$CJVA#CaIaDΒԄpӼw}s/47X2P]4%]&ȸiz}c5s($⒀Yt: E7USb՚}SaLLv?GI!p fڏr_}hڹTDEX*)ЖuE>D1>[܈ѨTIS';PHx/dY AkSTM(uUfɢ?hz=0߽^vsp)df4+dyn7"K_Jl41^AUm>y[»nctDpB"Q "gs#xlcrA{WԂQ+I6kZ-} \ #"y#(Bvareo'!g͎8.EY9!O5}{gO1?f¢‚*ݥ1rK^wuV&U|>6ēX&ESϣVOr)Y5@`8Wf(0c!Њǧ`UF]]Y&ї X}HBkm }5bdha<?i> {~Y̸;$)&>|))>!ho(`QL:p"x~>ZnDij=%ȕՏ}Y~ƄXvSp2O/#"XKs URBgӄrN9TDӆ o>SuI,x fO{0"FRrE}@a, t¯a0GFi0=yzQ'^^(+k\Rrt |ƀ ;+ qi/|!davמ@@mn+m<@>J;[Kmnyƃ&-q*,eH8$^{,y՛ؼJIZ 濬2y}Ϭ|T\ Osru"-x g_Q C;\.*A4Zc"ɼmon<ϔ/r n A%`}" ]hePBˬ:@ ?bitm7!9C:lYykgXa?Lyzij^T[ǩS6|RЊKRq^NT|ZEӮ6vءHU?^`Uщ@.RLA_//W;3%Uy#wIʨY$AU_ͦY@U"QܺultAkjT[|3Qͣ\07@JHY4.k3 1J R$ OP hWG#{6,]SDJ>IqJ}HQuN<7sEtSJK^*,"40Yy,0tVYɋ֐k,r - n%s[CϞL #w] ~2{~Hy vwջ& T?.aP2k }85 ]WcxJ]$a9.8=CG(.(^ؔ{Ex9{Qrv?nIKs<^eaJ*fG&A{r-WՁXWi%2rra 9_)ܚ1[6AAMx=Cq)[#mI`fmvK \Uc 6r 9`>-2 !=P1(2Kqja4y=*8qY&!E({ںŔ6fm0;ao ª24Jʷ3#ӦDƀ<`!^$=;:c# Ҋ J NN\{ V ;zE\ :javH THό  `Chq)2 ůJyJ'҈Z-Hxw ` z>sx/~fB0Jݲȼ8gƠ*`({iJ& @c:wr=-bDU[}Ing+k-- $:po*Y,}/M `6~LDh @uq:})CMc)dV4{gYZ6b835bcbeef1034529c0a58bad8bbcb6cc7fda04c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 ffe41ccbaeb0184a1545447920fb9d1af5b70096 07500eb927f136d56b399ba1a431b93c2a8237e3