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 8?T t ]% Elliptic_Curves_Group_Law:threads=4elapsed=59.986cpu=167.908gc=5.428factor=2.807zXZִF! 8"]ŗXiɟH)0%oUaX;e+(܍K!_q |B|ZZn[%U&k$muZC1ۍNکꇓBLzrk|9P Sd`+Qfx/|X.bD|Cz"/N}b˔c"\Rj&n@7 iBƆBw6~Mbw Б-eTaPߺH W3(w6h5J`ŀ).j$qF CiժX7 Pr%$f07iE-*{nG!H^ykb_GW9?Yz#\qzuUTV#r6)t `2(yV9&SO;vbn}o] qq*A`$'TFY`A?y7\׹elL_NDTJAٺ,]W#L)FI@O / 6uejm=0Ϭ,;P=F8lj,UTGSc2VjcD<>f{EQכ&O[<<\)mMGASº oB)B6D@)m y{ Յc+ ~L!0wOR| X 毃B12p}?'M*(%1Q<ze̵/=2Zvkl@=,O(e1P9aO4Ht_ƶm>6w*% V<~^% 1=SgeZ,ŅC KryvmURs7t=GO\bm%%}rɍć#C}e-pük4{+{ fq_djힳvM{Z%͋Z(| 3K;E͞<88F"U>ؖJjG=NykoT`:܃/%]إ9?QD̘#nt=rB5S^ S*D=/E| GB6Q2]e%R<MzBKQ_|ݗ;"H \:\SCBi5kEYݜ^Ip{Lq7$Y 5]n d\:tw^F{ppO]S E߈Ӫ[B8J>jLk+=](<{|>Afn׬X/u'DԦhy~0 E/͑y/]Ƞ+)Gk3E6$̼&5!dZ@ < AԜʟR57*5.gr>,PnEN'8衊`/B]bL 4&g|>7W@ybDsZܫPS7vmȘq‘VZ3 ͒{B1bt;x>SN$T$DLՈ M6 a#Lþ}LIƛ#/?.gBmi6j4q|!b$-)=;me8 Zmypda4C|gOFmB5i4#,0<8aYܽwj%|ӂpC.G _0nvm~ m.66o?#:>S^U/\.e{!8yXA 1& PGcLJEyOo#"y Y0t%u"e-FcaG m A`OIX8^uVaB5 ? Elliptic_Curves_Group_Law  9ˁPj:;ScOD&55e#m=>2b: +!"X/P *EѸBSWo6٫ ӱLK1ϐcr9wX%dg}VT-۫h3Vu| ׫ݥݴQ@3@fj.8 >&=kS?ܣhGk7Sztit]9,>貅~0K8cR =ѽ(xY͞_{m )G~A:`U渟tLDŒz rDLi(̹-%se cNA |PnnFJBڒ]iFs:9ӥ *ڔ$A^g.lJvHͶ ߀@GsF\jJԭ 3A":^g=4(V`􁀙D'غ*q!^+d.zŤ\wv"o xEK}%p5Hb:[;W%$ r'2[W| F M.ʉa C-13KQ q,`}n坦+B< Os1>:dU@VtWh, TD+SW&ZϦKudBb~eb(Bl΅Ӈ=bL-Rt+7$O:{1L21O}yd/D\jcq7fd]O:F>m?wi]}ckxrATm<>y`{XgD:pvj!4ɓT& 6L`Z];ec2dfMAkK~ʸKO\զRh8GcPH8f[qBRM_dmvGH:Cw P b==IsS5u?цph]/ 29-g`iM[0AO2S%P[Jz^e˒Ѳӗ hbwP^*U>%W?+f^ CgI%7}Sd7rK_l z;.}8Z&<4ŇNK@ZBSo[F'fKGJBh{-Nv`\rg>~aLp  AI@atwpE C+~ΔNf Zݵr='MQ̿m (L&(sHBfM:,g sO^(Ffuhq54[Z*_R~P|лNwZ{^~_W$7](L[=aY5Je-w._?p4n+xG _t/.M[Z3L?;ܒhdSpOHHv 9ԟƚ0 [7|o2ƢdÛn;8͎Zqxū0;hR.h,ޤ"Mh2gh[v%Rb_xˈX iwW칵U@52;As{!'Mes@a3q'J _-KM3_ 6+59H`z^ ~nVX_,hKe p".([@)B 5J4Sԍ{64?G(2 .z4Qqr4ʡո\[ ˧v:^g~2k[o$q9n$yь?7Y?mQl6cA~cTxSyo{J4 I <]wa}B7ϤI"OepyF$N% $-a 404(B:[`}qYaସ( V!}$T A^h;c @7WZ;k=?4W){i-/&X Eb) ]XR1cm0*eS̓G ʻ,ӥwCYf/v~Gv<ܕ8# uNFiXVH)OAY+d}b~\tD~9N)WF-HImWL/MlbT4iSMfv97`g <'ǰ8(Rh?|ξ*|!Q](+ s=UcQ.3pL=|:㊔0`½W 5V_i ,}=71I%p+Kr}J9QnNϸqcF+Xϖ*BBf{㩸t1bqUz;m7Nyvf/S,lq%<7A~u7O*mtl EY3$YR K ՟> H)I!w](݇s>V)\%{r0dkGՑBfq7/RfYw8{axjD[]n`g{D*0lbmQ$wzLb YE4k:#ra*w9rki.+(aUq'>2 #*Q+ZhZx)p'~-$B ؾ_ɇՓ"]zѪDt$%fW }ϱ9c+Q߳dO_*>"*!҂}Ҝ* NΩɞj0eKa?Ѯ)鄷yq ub֐aљ3.*"#B虡VXW(OaC 5)j\:rtG0ن4Jt86 "W1L7b`#X̌fΔNG[gWf! : 'Ԡ6F*\-(}R@J+X즡7X([-\{*#'P]%qxMz{X2QK>IXF7@DAjG3ޠ} tf%TRJ9X@}Homg,)+* {*~ŅU%:,r&q/]0 (w.Rd) s\3F>% LuӏHj|n|ONQfN &"Fxw($xZL O`\\TA6VҼRm6],P[ǻ/Yޜ%|B\2 !osu{h- c }s$e% ݝ5G1 ӃTξu)sHn(iF]D:^hlWqa/G,-ziZ$8]L wnӫnM玚9t{>U.%.1CE.4_d2]9o2>T~^:/YZ#rc3uu }A qgkq×7+6^RmUN83-:xƲ&qlYX`v~3' Qxd"ߚZnP$:K_(xB-pj+C[s֑Pl?\DͦVlLLAɜ+"=бO}{au&/d {7ᬮEE ? \kLi8`^I#˽1i(0za)gfU`wu^xl\9g)EXSHbޏ:3xM)`æ 6"ѥ{/7_}4Z!,a)+XL CMYfLkJnvw h\~9u@kEw,;ê$smT xF\-fвμXIu)VEP9@4&~џv ]P2p BXV}Ï;H(dVp51="E<;p\SX{g(GcR QO]hG.7/$xou4] -Ix= W[\#yqq}1 PBI0j 3w.r*J8hWwU`m>أJkOv$ 1V/1h3g2h䪥!\ӜO\?r~leIvS|iG2хĩ ֖ w#Cwzy4_a3EBa/3×5WuNs4|?D\vM 8:" NjŦО աP%jXo5!zDMQ3mu>0*Xx5A{m=ܴģ Ïxg dTJ[;L+dHJL0iyaӈlipTkJȾU~=޴wI]^"]戚)9[yB@>Wn&{@t{AxL:BcQdnH *3ƵTFIJmnX-UZ]] XzY 4f}KNkol= `^@fX2#*{_(I;IzU~qYJ*BC Ѥ38߸|fqZɫ`%^~ZWLf<̀ܕHE;y+0X1UhR/&soY')bp&\l~Dseǭ[K~ -}רM'xb&vynEX Y1=[e/z38OIi.&Ǘ|枫q:ˁ`)9]dܮõ虌0QKٳ5(psdtaP밪:j"m@[JecNB30 "^>w!~TӶ WBTMv@! yљլ1 8M F4gc x8yPHB/ڵcc:cGeWhxN*alߒ⹡"=Ak5\՞"7­bA ;] @+Q.{2~x'k*lGqG IbQ\gO2 kttfٯ[}g8zZq,V14'u›IbAv=pk/َXv$!a!˩f^cI+'Do!,c ϵ HQS6*dmGQgE'}ikcAoª dYpۑ3?<4T w(1fܛ@ݾ*NNQC_351QBsj7?/hw#ƺXn)ʝ4e=9w) @߬!kiI3Ue"y0/jg1;x=fՒltoV'&x$=l_1/*A7H\inUzB\rg2Zkz[aX7ad8hvRH9_Œq{W{"{,O⛏.u>ZA%VN4H,k(uH[i53V撌0~hA4->0uaut `EeޛZ!Ue k=^C7PIy] Hh jF,B5lMsr_CwFwV~~pˍzbVu DG1 ҈_6TfDV,E`@ԚzY;0<5y͈J B%7>YmH#,^o!x`N(RN` ~4AH-VC$9l{ntZ1il|pOfR<91 zJ<cn{Q3{3y^GF1 _Ywٞ=K$c bF}ls%Nc&]4j}O R\c>r<¼HL;뚺&$o +R80iμdIQ Dmu@:#qmoB ijݵ\]v$O!%-qy5U6T47QGӱI0!#^f1nՍmd:1-sEV;i9m+.ʧ> Ic@Cɒ;-uˤʺ+ZJi 5 6aj`aF֍ fp=t~ =0 z%>dYs'2 7)ib8/8ajvN,#݈!0-PJ?;O8)ś6'=lP pRc` IA NRиXBїÔTҸG'e 9.L/[u B:I&xFjioF%ެk'E O.(nK {iGu/ grnOXmGF މ=q&[UD`cMGD"Q5%f9ICc{dCEٵP tYUp(UF* č@BjA †pO9Ȱt!\g3Ҟx\̭%a?SXgIbh"|f)4:Tm#Le@\HgR %%@/E7*پ.X5yK% O )/QYbØ%r-]&nQmF FK~H?TXf|vm*EDfduDbB2}JmsE9Ӏ tO1<^LPE֑Z_o) 4=SF4D$asve)H v~,G{GuZr|)?r1Ӌ-c+ ?Jj:]>IYxf[5Ƞ6KGxmDgpIOjz9w%'Ҹ[頺"n;ۊc!lћ0Ӱsg:أm Qaz{lYqP" 7w#WgiǪS$!Ah(w:=Ͳ炘b%{/~K`e@|xD+ =rg}0N rߒx{PB.Ȓ 82|kF=K<2 /#8 1BEʞ(BSDnxgy#[eIB4th gH]\6bؓ'w$! N_E]Ny: ^aIKjXѿ:eiTqAsU];_ rj &#/tS92'ZFgQAn>w$rﰜ9<+h`+Wk{?W/Ry6 "E[Z`;3\//<=VhJ kvy{ .+ X蝕\J`9/aҋ%fG4lIF&{[շG].=,'jz4| #?dwݖlj_rB3&|\l}pY ҹNRd+9ѶT>D~P;^FJ*>j?v(琲5, mXP7k)=r Sfkqؾ~d;oB+i2u=:;finxi'dlSM7a{Ji M=wf?%j%y84:>T"R5I,\A#a8G2l)f7!耱9( |`⤮>HBK n"a{oCj!X5&ͣöTlPg Ysnm,tG6dZ#ԉW4G$mvS`kem:z ^ŇM+raYk!k)$\LOO=)阡y=;yf+MKe=;4QEG x-ܵ'hoK4` L F M׎*Vsk eO;J\mEB!tEYiƝ /E°?S|t7UF0 JgrS3f]-?OkN8hH=,i)&?ljA Wy$fgqnUS:{pO*ffn{qdР?[{VȐ2K-+6XeۇĢibNC<9xNV2,ssKOV9F̸};D4g Uy80/qkϳ\Ӏl_>M:n6 AclϲPX,^]\Gh,F 88*%7yS<$$笠Xp>yAzZ )^:YXb5~;5xs=f9_)L.ɌXi˦q`wžd<1PŝGHFwPBXvQ 9|7Jʹ J R5?kAh٧IrVfz:'я+xM佽P@ag2'Kpl++/E#,ףq.kv.^pS!4 P`2V- 68[蛈i hF3 PD7+mi[ur Lҏ Ug5:oKCC{S)|I&E:1b;W.$n3!]? ŅzKjvR)pϡo\1ǐG2| [c9±GE8 W s`UX$AL0lHAʬl 1wBmc`ـp /$“Ę 4Yٶ[)p lؘ)?}/e;5Dտ5ٺf$ $vhb"`sM:M s =k6#qӄlj7$7/pv=(_'Wy#BI"0`p6k ;ql:niSOD~fz)GHu}NYu;f&r;cChouX2B_!z_5ꐨ[¤կ-dUCb@'EACQ&bPz#&&sd f_ ]碌KK~Щy&H:gqcF~G}"ށnGXzuK!ꣶ{$c|][B`~-%G la~[/I;$c>-S4F!qXh1c /X^ vc" b9%w&"#+cLlgIeNऱYbO~-VP]Ք֫U\8)~\/S-`}ܧs#XOQ[<%LuFK!4*#a~ rT>5#9 g *Ewr3҆/o *y!yw25){픰_Sj8.5%]Fm>n00G>X㝞i#8>e`fة ̈t)GJLy|j@:2Ȧ,F- p0Z vM0_u?xr:b_-?Ǩ8NBj] ]?T)0t\:kZb 8Ay5R!Xe^NEK6h:^-`u2/KJEhʗs]-jRA8.]g@@iZ*YHtpR﷔F-K8ۏBk&tFmr<$oBaXң;OXZPz͹_ ͛0V[T-~/҂6kq\jros^B;bn&l3]Uۙ8 V}^7/rr资'Np% ϒE// (RPD寽7 "8g4S^.J&V~^,G)=*YY-˂t#> ?)XDdsV(}"הJn&]CfY;5MK`]Eo1m'"nƆ*NX[h^6]KO2 ?bhmLXwqAZ@}< aa$"^jf3\ֱEZ2J?)]٧zz8 47"^.VE+P1[& V{16G )],Um.P =6 'byg~d? y(O]&r kˊ,<H7/W wp ez9T"EVK%!iסuZC^1Y[K`Ԋ)H]P3tk=6 MSc{G,dOJBwrAuhxzdwi y:eVo"y"1M 7uΞ"w;ߙEHnGV;LN\pǟh -sQŽʨ {mk+,50K]l1&nVX|e"&C͹h]UN'R1wE< =旝izvC/{v5$#E7ƥfw_d1 O Krt5M)?VSb*Pd늈1!ZV<;0Ri"2$GO$Zj|9,|!G{=ȡS#u( c)X83 6oVd5Pk`N#US/C; @('t+DTK.VlK; 4*y`@rް@ӟKg>^OV, RLjj#[C(=y/-uS-w/.+cW0\~#S=_ `,5R]1ZS"$ qHEZ$pK TlLkA7.K-=$>ɖ84b81@yTL ,hG7zsCL nꑁ5t? IVnVḌuhӦ S"0c|="sƶ[C:I7\bMlcG#ԇs)+D#'QQI2nfsYOrZ;@zi@j<-` 6u R_:@_Rd1O Cho*;xj J/%m$eOCؿ^APJX䱩7 ̮ !5r%Ve]AWT84,'`JK𪒭nDMK$8R9*I]PLKβ3=pU!~%ֲيmNٮd:C6 4P_8nJ\&t09]I*(#dԜCӱzʂAaQzYDx=ӑfZ!BMEbR6)?^ZЦ)yfnoY6E#JQƧ.i_/Wy.uN #;aO n IˇI*w t0͌7\ .UZWB[)l7>p<{N%h FP!.%% aCNΆ=g/+#v+rPx;cGa3#4~uNCSE X2k4HPk05?:x[lD` sED&!.L B\EFTo6r>J=->P*( ( |o?]1J{ߝ.6qQޓB$}Y ӄpNg~{?RὁgW $ԧSu"u\T0{d;jb*ݢ7j@j~P8 ;5Q5%4V5ٜ蝠aA i At=UЅKS7x*@ G%>MظjP'C7TgE2 ϐiuJi4Z8y\z {pI_̠=#2*"s{T- :mɸc@ݽL՘K#w&̫<-ѵ {`@PwĆ"p ;O8ū :H󈸗ʘj'4Bw5dWu5INFjt]EWvk-7BES8ѾOR-mғI^H&4q z?J͹e7sV,U${vUu5w= w  Z|f[L-jnB9FO[6ڭ@Ӊ +d> QGѶi8ϊ,F";kD AvĒ~L%TAd)&U*D<xgz S6X턋W^z(&"o AMW y|5eW-)` 2t2 jvBc]zH8:-K I0?t Eɶ9'rppAR_U b[ y^ؤ wE E2I{1vi1HΛ Lc^گHgU)-ܙA!țo8n L`WP$w$B*!؅R\=p$+##Oo5g3P>Z[Br]# v_`>*8p*u5N/m͕/ Exm90`77wF42lNHV˙bgqnn ML$^jH1P2Sy9NZ e1Q=ڻζ^S:$5& ùjQ0L"VZ_Y;~K^9 |DS,@PVY@ۓO1|Kv}W(h0|wpO<0_'aR,VߧZ*ux4͜;J׺|KK\-mU)-~jt!$ !QCN Q!/!wD{:O^oGeߦN-ܩO_:[ajm50T?D2nj#R5w)k t%R\ܞyj(Yt>bƵ}A(\N&?Md?7Y2~#/{;ڵ&aqs($Ih"N_AW 94We[lvND1?=Ĝ.bB0ٵ5bu3|Avtzv"9^$ʄ6{7k% O !g/gH#U'6{JQ֑wbL'H6h }%0bG]b ' zS7rt=-yXFZĿEcgUA | 4J}ypxts nZo}CDq/{u1G5 4- 2AC,fp5C V۔ t|5oZQiiJߏLgPi?逓?ֻkd[Pj؞M[ t̛~}g`(5j#˅Mͳ: -GYr#v(㨮s8̦Tl4ԋ~aimπxJYB*ya1wאy0"ۿRA[)4^pzZi HmP-Br&M ɢՁfSZTXj00'p7{NEy=6`3VyEԫn;(EGN(8Qm!*K<} j ?MA`u/-$9?lBSR.||dz<-/0[ýXLڢ\^#rnZdg)fHiky 0 pdqdNL 1?B_ S#| ~#]*4#3j-b*% -LZ\KiZ-@#°lϨFV1%9(Pum]3谌~1ifFjSyRqO+R`+Cu6յpQ?*APϠuF7)2c FWmHeY;\ s-hWMe xesxx([l[4?7H}cX#N^'IklH!HxjZ'E.ސ׸q9PKmrc{Eq-ֈ3ߨu!1cfk (b],_)@/rMC"廏QՄIAX=q+zMɬ8م vtI˲Gp)nu%νJ$cHM.2SU)s(Zc7hQYIQ0'H{}Ǚ5pg~۳\Dj5A=OdہӒn]cהI7&޴50پ07؊ 3X-79 sݤI~z>H@"T.Ff ̦W*?-r1GinJքDT3h近GO?k0jE dS!|`L Ukt@az]]=>{m* űbn~n}3 Wӂ{gnt Ɏ=sK5M:[XDzk@+MNw.4K1qt>J.Sja 0I8g ̆d{$ShdDY!=9L1GO[Ѹ7;FVƦ+п ˦s3ȥ] ="ss*`S2Jpd`:;E\%jXʃ5 zfsHD2Ί5i5&+dmZ8]e&?,w?o#]3[($`s۬F=H u` <%XX>s*YiIYYPm+}Iiwck\ Shij/E{Ed֏ Pr`̖Lvb^I|p{>E/0c |3+L*@Z-n^>l~Ml_޲i5Lʷ!L;D-ܘ&vZڅoG}T4hM*mx4\A%. #vvK]):|X?c~/Ov6T b#s|@ڹ;HDOR_.ܙ~~KΙ±V Ѻ CկW/}hYE\Ϳ׉2|3ux<qW#l5͏|8$-q琛'*yzn6E~Ԇ9RM!G]5c3㹪UV./}ǒ Pr9uZ1fzޑueh kMxg8`V> _'M_~\~ۂjt&g#LMFhlDt\݀3MW-Bi>`05h!r(LI[5KL^3cT?U@5"P|0ӏ#A tCeW J XRH9KZudAŧA{j;_dq)tCO"%ry6+ӕtFZ&U[8b,1ltboIw%hH _Lk&ίbP8;MQMS$wJHg~# ڄHi%uKAM}X~/r"jD#>}#fKRX;%fmߡ ħ~u \ڢ{x4#'AYHqvb C*/ۚV#wm!f(+^ n"LY5Z2#qd'+ubZ8a_[D&!:(S{n"ʰ*gV@+3vuWC^|6ii[6j"t=™.topK6yPޏ?+O8h7ߎy*5CB|럳,V`%Gvc2~{".2aO0t٩3 )H$sѻ kS| \x^%&zjSwn.2egcNS8 `{j)X{}YZ6%B4kqV$ez›E|:͟乎~7nogی` Y1/oCw@{2 \Xix?5R 2 —dP*- 8#oo8@ڲ rtMJ*gT,7~B)6vUAsk :lڎ\P2]C"sW2̖F0vȼBН]F)¿Or]y+#p }aAeђ[]UCdYSK71 lKuO߰X^7ś2]|P:5ں>{"cx 'SH 8R<.kyRJy#OrJj.5lHwCWWŏ Iii*deu:E -^74|xd"ITl&TP4m\J_90؟)ZV 򺳾(/nOiG}$hq[^rH^/oX26OL1$H#oWљ T>#D1h$bcuV4ӄݭªFO֖X>Lܻ͜jbh0y]X,]}-$ZeзUQ/o+$aDNW,ӤVZNVxL n`7 BJT>'ooCb飑C..v&ڽqMks NqgCIh9z^q-/ʏD0CԜ5(QAc AÅXu8Y@4OYTT3͎k}.b@('Nw&H6,\"8䷶LY;iFXD/}IY_RD]^WxUuAOi7YN{ϋ\O]L /OXu̓84rގߌrM>t{SOt|qBa[~9EEaϢm58 U=‡ڧ0ͳl!I>lBcʮ>mA7kՏ}GEqG@좣ŐoCGϱ^-,@2D)aqW$ָ~Y7..C\[R*7<Ɠ/@]۹6=!?U=@ސ>3FpCquZBWkl%b^ qJ">=g4 x @QZ"[&F6j%)Je' 7aLF3Ԁ;DCjҝϛ0-*%_'"DB 1*֬4$"m5`W2b ,eMoE㱴.Zl A3pBn4ajfrk1دgkP9:IyTib):% `V~b̤ Y\sPfkv.y;hк&E]21X.j}L3IHy~$}aއo@SmGrVknyL*o},]VވĹ]9rpXNSM_yF5Br0 )`c5 N>"5y0} 3W?*Fec ԑr ofF5WUP+֛0Sl\,_p4,N82&YhlF Pq/̏<3pj ;HO+,!3i3]tMtyU<T`<Ay[LZk(=Xx[ʳ'@OY 9L4؍]IR0?0,"K܀ ^n GYiR(+5T'? tJO4~O~B;||:[5#* z:3͆T*X ʖH4zk?j8Ve?|Z~fstXJlYK^bFe̒mP9DP+L^ 1U]#xf^c=unCoUi%kNq\{{8$/Z(]vpBc 6?N.=c;ՊLxwਘ9ƯQlQP꺠byЫ6}?4^פ ;/`y#rydb%lcj-Q|z1$eɉWaؾ\ >Gw-t>"6lI}P݇FgzVܹAMл4>=pHBѶקv=eHWbv'~Ms<4Pw<<2*q&ؗ'k9¢D,VEL7)5/C 8m^֪̎]2.^B׹݁]dב"T r A32l%kgz~ R=0|8%ClC*cu`h9 ""MH|Hr .~L"E"Q;?%LٌD6yEJAUlb(vjƻ&BQ&=wZp =#H遄1o:ZWODzfW<[$ ̅.?6o^tHe&pgDN>͙q0FO?T%M,H'ZX_ӊR^KXix1WA: w*]>YZ>t^0p?4-@EÒ):pdP:ԉ\.9s }7wBXn;W-MLwC'|ٛ};W߭I+PD [܎ 3etX5@+թ OaE#b""3͚KFXhD ǤNx uE5*@(B-W)E(XnMbC0?GMLg,iZ̰ ̗׎$|[G  7L6u.DQB]Fv18tKe'+.Q@ٔe`t0﷽>YzJER@;,Ĭ)eS8+k0R ~`iHɝW]14Ԧ}}\nF d%I YߥZ ph0{;@Ipçvgp=hiІm=nҁ (LL3DA/1lC(~Z!C)6WB[UvOki]HF_'&_y'tO@[zas\?~ rp󽨸h1~r}$ŝ!m7 侲VJB |/2GïRVi4r ;,OjĬ `Oڀ!iSwN6\8I"hRe܉\ BzV -K64(R2lģҟݯ q2Q<K5<n:;Wއsݳ΃1U nzZd.܎w'cw|87)򢑥 UnHnOxT<;"jB?=#@~Qb RރMlK𼾑 `a}lPlI8\i. Es"~я6vKx[U6g ndq.u`{غX&[vYT:*{pEFFF`3KZ "rUwv c*0McII^$/j^.ޣݰj}PI&Ҽ'*:38}щISaI/* U=S~01Y+G$UsZZQ5V KhLw!+CԛI339.)M#|%~4m< BE\JAWQ# KǶϝB?Ou$m䪲AOjUվAE"GRRI6i #8CXX0`&Gipr" f/?~O0xѵf{UC}+z0/ 4Z&䨒#=cd 9]U޽Fey9#9Z`E۴߬hˣ2$?~' ŋm;AؾV3+E]!KXl*(˅e5KƑ܇E2?|(jԾ|nt~#^8Lsk Gǡo\H8=C3u7X^FYoUmXOrֆV1VHB{=1YpZ[, J֍v7P9T9?cj~Xv7MQħDasBp o95nhl~ģ`#RRPs Ovo:N~L\'>avhĦyKJL".I/6r ~Q!F]tEH6Guꥤ8 JhmN*<*SIvP,(3ڊX_xہfa9 o*J=8.a6 tH+(W$W)g~ MmL{F[JTmc'IVW;" r Z9OrGn6JҺ`83beHBOq;7{ߠM[1@׺DNig0\`_f{v[& mfwfc~2+^鳼3.B > K^%8_05kHzn^Mw`|NT,ZQ͔ZO.U7dB qKGO(cUl6YhW vH6$YIB3?@iPj׋0w0kUF ;R6P&V$4Ywml}x£lCRlm!CdZBB]΀?d;'[5C_[S2@7CKf" KȝX&ҙ$ Yo $))CKkXߙ8:s!ZJ\ׇ˓G Κ RS!4Sgj?|1TLozK,JkV ֪ v*Gtn@$X*_'ExM.|"s㿬,^VېYo'"ڗύp7'fj~d 8KдՔa'f@ r!7.Y^0>/A%GFε(]﫤 /{X* aU{a3*ox5;g=b2hso9jGtu'?!`7BIE]+G> UԲ7. QǺmߞ%`U$a6j)00l,$=7Fmî+kRxߒjVNU+D+]ÇEWLƲt׎ 2CjuP`~-6%1ٟKj"0Js6x+P eNf[ѫc1  z$JnT3~=hƼ⍝}AXshx׺gPƼbvo3D;1+͝~Qb=9J 'Wlxn{[WSzbXK8[5Xp,JD=/S-iaN KZX%g8SM;m8poyuU[cpwl ؝xc"0Z]&]="2 a)d}dؠ7^Iy塣8Y^%P.-+=U|lxr"4<_rʇ$~S%g)fgf $>C+4eg R*7Eœ uAeQo ?ak3灶klrh*[M޶ÒstIO ]?A\e>H KTOyLS~(TzXK!^ RIO#+Lh狷,{]DΖ>O.,}ч9^uL)0 Zh1zTx;^8=f]\cd|PB $zL0%%j17K mޏ=alD9K x;?4Hh@:+T< Ywv,)PSD&U<G tt &g# &J$/yY*kkYS&=Ԗlֳjm^w캏,M ;s[!F(~WHd! Fq䈅>ESߞvw$B  Myo)>(*Xδxx  .)}h§9LJv-S$ o|+2W;Z/Cum!2|_Yzy<ވ1-AxFdN R{2Osު{Ř)zɰҭUDd-p4PM) ՜tms1DLKOcFf:\}9Vؾ#DrnY+|SL$-@xu;.] Y!\tTZ(\Fa]W{| {!]1tqN UCW9@ .jvmϛm1Js H+ŪmMeĹ}JvHq1lnN 4E-[|x2à]y$y |nѤ;\چ()="VB(S_ sD9e*É_gwiG?ss`Ҟ\j@zͤ rW{F׷sx%{g kDhKQkUi2qz l*N"ܧia!w*% @gKC (PlYK¹v梲%$ĝf 5+Eaˋ7ɪbl>}#Q0"婝!bF;޿*bT$wwM}67g#yQ]],5JayLHa cloK'E2LΪ$QQZ?[%MX\{hLb7et;GvttkD&=~мtދߢsoHO;F\ꎫ"olLw|W_ܝߡOt*ICKc'6OU}[ 0)bț ۝dQzN1>w淟 "ZJ=TL f88gH J?] "|-~NqhQn~Q"fPܾUUib= M,DU$p/ <0 Rp=lX'-VзPrgfb'P5FY'~CT@mV95 (ԚϽ,_6/]mSυ@DŽioߤD)ל Mi6>Cjւ3.QDW9[t<'海#v)EAZIB!u~5vhtQ쉲4Ks̋Fstp Z07[ӫ\GJC'C_bֵ\+g">l(F66Iq,S2Mk8 ]BCm"(i5H[ɮaxqԱ̊!9r->|M/Vy98LQ7?}~+~? <#a/%B[ZO|n(< Q?WU W{e5j|׬_1}@c}ӻ p[~G?I/v2=}oZ=nO k9B8Ps\İתA, n9pM&zXjqzNH4'ƃ\d꜀V_8ˬM}S}El4.hAay=j$;z8%E}qE0y>3(BFk7uKܡSbw;^Α %g~ӷoīu,VHeZp%+P7)mp-Tb!26,[TVv66Ȫ.S#C .⩑gA~noyi'%sJӏq׹释($#qЉ|;x\)/$c>5UTXKü,gzZD\k(AcܓXHP_,~⮜k~Ϩb.5gQ|nv$ %`H|D|ky69?Yu80^<|gH71N֛ʪCɍ䨧jdzݛBWnƽs-bGeJӃynn_F"Ȭx>f%\"rNq58`9ErYڐS|/Х;H!}PneoHx;!!޻BR1G/l)6'rq/놔PbF}Un${E™UqJ.{z($mb4og^Pj#pHs(*>!SNr 3*O]#[]\0 ·k; b f2/5Jbr ixYyLUx j/YY\Gv9W[׊e)څ9%*PSF`kG 3 FCu>xu.&urHUilH(m/"ŽZ#ŧz?s J,_ٍd$ק,6jn4ɩ*WiB–&qL=DINMxy aݤM`I$iǷnztֳ`$MJ{5ifvKgQքM7::%4k;1ɒkj ̵خG}ͪm{wBS u2eB ҹr{TܤŨH6 EP¹TGq½}S5d$hd6RZ&BzkEgu, ?ԢZTe=mtfM:*9YB%4"}J*#wd+ԓ|hm?g~kR&G"+B[\z`$ˋW5:b5٤͊3]:5;wx6r3/Dd^R@D@I{ c+ٸ{ZàJ-+I7l~jd1Z)Õ^h9*`3A/[ڣSYX()eϧ;,siFn^/wym:Ĩ{6_DW*8c AkޢbbŚ5 +ᾁ`z;깋R4bp@X z_d+Փɰsy Jj⊚v puEic4b)0 5z! 78ITv3c ud`ZIP99 qNjUy Ӗ{H<8xK!8,z ?V{2x/JbQ?L#rJNDЊbgi=-!S;;۹ κQxIrζ%y`%qK pKXxȠ0dtY>XU/["@cͿx-.p߮Xn 42O 5@7Œh>g+}6H͋dT)|(eͽ'.xEx 絍`gc<ض拳O\M,roS|%keQ@ߨ70~yvrԿȒbK"ݼs'=oȘ\d@Xz34KJiQy^'c2k~,/ 0SFUa(I=GZ#NBĎ&S z}5vي˔i$9Xm?SBjnSJ_\v%7׮!Ip#x 6^_ۖ4pV[g $Q%skt]M=XP; + ӝlkx_-'u5~fkq}o{Clo&y!y 0sHnטW:!eRW(ZIDB#j2nDL]'s2K]*21;wdi$dޯ=8!FG/yl#dc^4jHQDt?{vq/m9\9H$,18YYIVcĠ3B4B캇Gv[wp3 %p#($s FWʎh˸kƵJo+ߓuL.Md ,84$bÀQC>7k - jT?2Wv0n$%hH*ThX Ce>S'[;2 V\R}p'MBJlvvWQI@7=eY18Jǣt%*N SFb{iݸ[^|7Be8vdlx.NObpIZ3Iwk"%y&$s剭X:4yiɁmj~8w cmjj#g{У1ll2ѺOi-"KgPg:!Y"`F6{'b˘A4ߛ|؉=ۮZ{fQ*@`61AޤwAEᛘ&ƢPˇTȸ>7Ný>ۏ_J vCU'  ;=?Rْsp6 [LijiL0t-;_,J|_BrуnX{͋uB0!5#zs gvEiIq9i43O2"x>I!2tQ| yA 39M%{>eAU] !;@.I"+6GB/7 gnСuxRϑn`ΑdN+|=4H>=mv5Oy2n"[NBA(Fw}{?Cy d>sٯљCzl;u#N/$eZ'r!]2꣹|̆E&x,T4Ȕq׎{;㋼P,5дy֖b3 V&qp)Vz xΦLQ4I5Pت@U7vAt+Yi93,%%FMn\)24kE2``HS $3o'הk\ԴPG7+0\Q$Ts llVݖvJ/=74J=86ޘ;7עSso>&͐5b>%{Y3"ir}Ij!+FLBٿ]PYrnۨ+ne %"<*5l/j۩>ѳpy[}40ʼnqHGv]y]yhS$Ls_V>ɤdw Gq݁ɯzCőU!iL5+W^/X<y $)Ϛo؃|-sd ey'˴4T-{8XSȆ9Ms"1ج!4T?BZ>EKݒ (EȨ4+k71@{DE0*GaU5x;F<12?HrvbfsNůh;DyXb&8;7\ Q'LDgo:ZdK$A0 ~QMZ=)N@Y'N|#l1.^(.J@佞knp!Zp1Tq'|s8`e@-Щsyи*"-x ;#e̕i!Ov@=n"fAE@;v7~2L}g]hy c[(z([{el ta?$Z]3txe}FQȬDA^+f]MԣpW g;!Lg8jE}_Bnl!]q/R&Σ^gYZ7zXZִF! u]ŗXiɟ17L? KxlܼWѡm'?.TW Flb-K7jl Ō;jGwmÅ]FF*e D)|!+$k}@wom_U|U$[{Aܐoh \Mxlt{]Q4V  BUJi7@ࠖoXZcx)%g^䒔Đ r'B`p~t$/!'gYZ7zXZִF! mkr]ŗXi%L!l0?~MT}AšAϛ*(VWM N1\9KAO 9zi} i黻X8jJJt4M%J c&hBI(יT0253J*qPd]f&^ (qwk/"!+~ןE.Eb*O~寧Dzp_MglcɯЈb6i~`e-yJDpV'h.Ѕu˕!H'b6!^#*yVwhXl#fa$L{CU+`K0W~5SȘ@7P Y;ow ~B S>;2b+Mǒ_8K(SϬpJ D`GhjL{YOrh C:"ͣnsY4CC  `[!Ű.ܱo~P"0&/='+3T fZD$F%X9+o%T"0$5+P1-'dg{Fi̕ƔK'Q^(a0;Q'::}[܈T\oE\-Gfd0,!忟gb?t͓E~T 1O[P#RP]HrǿdJg?Mb ;@_AV: b-Ɩd D+~ &j"u3\OCߕLؤgQ[`Vѽla DPPRZU1"Bjl&eL#=4.  GNDe.4]R˰k R~Ɏqo槿&J yq? FF^WQlu`y?<}cg jm`ut',q͑)+|MuIf%F/>Iwpܟ??3{~0͔~ 0T,R (t~m9Lȗ0%ܷëWMdqz+W`|acbM_ J'jnsi Fr@@hE+CD2;ljRoϯs;~-ꘃj,($+xDъϑx,#ÂcqK.zWԼ&zyNIz[\2,mD׼]7y &7ۮ(>AQ30ĩܿ]?jIJʇdrQ3jG>D'meZ2т&!2v_lH> F͚t,j+J=Gt hxX¾ k'/^ףid@`RL f+ ل{ȳ.%i/WgUy!۸tiׄL ̈ShX5> Ws~!uI)M/GʜIX )x7cOh ߜ+M\:5o5 f9ʧau\6Zf ZB$@k'v?)ke_M(^wbjpči?)eGoJjdeMLySD,4ybp‚qtʟqot.%ՉH&6sna K~>K`NZ,˥̝eYؖ4<@Cr%A8V9tf[>[IUIf&nҷTԘq-yɚ`L\:yևc,qU)wؘG-Tz%( UTp^8]%K*ȸLIKv F4GZgĭD?B頃oMI y-jbcQGF#1Ie 9,7t&堆US1@ D`AЍZ.@֣3MLrD[:Ms߄H7щ/p>k `1+ E%{lDAR&c̣εƃ\\Ԁ? w7Ub茫xBQW H4!p8ɪ$ܢ*)giI΂kU)VꡀՅKdѻeS-xmAM0K}&ݠZU ǘ0#ZyIGlU%Z" [IXo~>Zi}s"G k:Md*-@9ַ<| 6n"Ȑ;oۧH\6ԂX4)K$3ȻWZ fpq48aO3k_cgl"IGt3f#Y=v7\mlUw*Th㺔"*^3 \ XoJ.#> i鰌*57 .}q~6?jR  ~`qͣ .Q3("Ӿ q"Zfqkj EDsj@cג<٪#5Ǣf`7,XNn ;!^T!S&$sT8azHP~Md#<+PGGw۽;j`h[AMH'D]|3_8=Q%e;KfbD:ץF*Bϩ.H,x񕎭JSD{gA2W ޡmRxud^JB>N$  o{ݦFI'[=I[WwMSJT@yOzlֈ2x4) i`30"p2WnSlQ]%;"Wń>x IIpܷ'.F^ '\^q"?,=FµE>`⩸y+eѶ'ӳ-1br嫾A9 59L;p4ϒFtok1u3Ļa{M3b.ri ͨ'ս!Y u6qӇv"g1$k'+Ak:w}" !&Xs'BgYZ499fe8e46c7fbaf0abf2f90477df40e4e1c4c9ff8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 02c4f3997807db199f015b1ef02edddf8901c534