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 vv?T| ]% Elliptic_Curves_Group_Law:threads=2elapsed=66.948cpu=122.280gc=5.608factor=1.837zXZִF! Ub]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օHU<030S3F|"-.g:P` D]!buY7q K_9s-|g}VW?O gg^*IL׽*Ig)כliu@՟$}RO$UˊۻUt@GK8M̩75/b,̟c¸-SE)?6)yX/By4Q &a'#^keN 71GװfxɻA }r2}PE).ɮzܱ;*t:Bf1|]-WlI9+rd[q01!^١v[Ů5z]N$cMr~b[ȸCk?_WC':MD/M:HJkh³Ay/lejCTf<_T+E}R{qR Mi0sS?zXN|}rx_aQcH\-{qhkłJXWB.I8|=B|s'x.CfAӑRрEn?Nery)P7@Vjك;TRKJ=໻xOqbii}jDP԰ J"缊ghL;$%e!ћIfi⦙,^|&Ζ#鬨Wdy! GB%D(_|m|R)v0q(+(8bk:Z*{MHƝ9 *{Q$ga'E(=GFyu./y hg#y+Y!/asϤ~Po,ԉq0@fnyͣS)".8A#UjE M#Si(E)4fu=X (+;"y ƻǘEaEu@1+kAsG"*@dNsqQ8q苟wdzNq7F}|F3Ʒ;u~ nW@*8s_?E[\QcFCuɰ2M5f?-- gYZ7zXZִF! r]ŗXiɟ17L? KxlܼWѡm'?.TWHgsQcr-c|LT+^A>h L&޺Z^\ڡe`lJ%[6/c739Wčs^'"Rڽ$R8 p ⰶshĕ|1MsCP2?N M8 (xf5}Ko5ڷ *ʮ.rSugYZ7zXZִF! K]ŗXi%; oNO\jN?xW&:דρ_PJvΓu Ɖa%V< *N l8Tߪmt%9=~tTZǢ]nYp.6Lv&n7H=~%HoH)I3zu,$hTY#$«\Vl3% t_$~X\x&vXz/̤oWH׀AE(H^M 3PUǐ'(H(&\tpt!_p |g.L30ϯ :+K:U2(~A|7SglѿQ@X!%Ej7Ebd^n ujj-kEkmI;]nR ? Elliptic_Curves_Group_Law?_% Elliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Localedocument.tex7zXZִF! 舉`]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`$cxcn?S% Elliptic_Curves_Group_LawHOL-Decision_Procs.Commutative_Ringdocument.tex7zXZִF! 95]A-MՋhvG"uIBm5XB4NiY6L;֋eO,:,kpϧoـSE1a|+P)[xW ,[YKŒJ)b;vY)ό9g[٤?I)֚?UY֎^Et7Nf逘]gV@Q/=h74 :OSWv@^"TMB9EYqy\|2+~zyyx'đGM'jd`Rxj\ @(&d}Rezj̖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ᮆ琁-[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놔(O[@gwr.QaRWqpG %jƑ'bT:ZzbI/DbcC Kv5?42ܶ   n\$R?[%Elliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Testdocument.texI?I%Elliptic_Curves_Group_LawHOL-Decision_Procs.Conversionsdocument.texI?I%Elliptic_Curves_Group_LawHOL-Decision_Procs.Algebra_Auxdocument.texN?S%Elliptic_Curves_Group_LawHOL-Decision_Procs.Reflective_Fielddocument.texT?_%Elliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Localedocument.texN?S%Elliptic_Curves_Group_LawHOL-Decision_Procs.Commutative_Ringdocument.texT?a% Elliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Axclassdocument.texsuZKApV֍<'~"_5ɇ"Z ;zl5_Ve(48&Hi+jptBfYVpqehR_4|C۽)Jmyh4:z׊MѴph T+?\;rOuxEGx8SQW 5}qz^Q@Əzh >#ǚ^ CYE@֧: zfV6̖u~bEuހ{1Ƴπ|]Pϓ| ./G)Klb P'qluy*.Hr]G߿ަ8x%/bkE>9dEoZph ly:)LmA8) +ͦ/ %>Kk)CËA{>Dg&,p@eL D}6$Tiƀ yaGI@/FN05jALJzԘb$jY u}@=]́Qn?8^dECIFuWrַqnk,a9\~"sNŗSx쏝"+N&ewpC!KaI[^  V%!C8fٌ%棓q8 @ ;!5VKF,S;Q9&ijt?5{EXg`${Q"9` ){FH힅0rg[|mt#K5R^ _:G3 Ϭ:xt– ,͢VB`(uCa/+ifZyj>̡Hp!zT]<뮑_̬FTK\[eIF|R3xkD!'Ojf(Ol8q,wR++뵮QٷB`eN^}lY]|YAS0d?XF(Y p!1;gS9VaN,~Zq >},:u$+GntūlY)-CO!nnM!u=;ufGʌRQU7a3Q ?xOQ9%4L] Q}sG{ e٧TldX/@j:P\XʘJ{8QO4a-`D5sIh݄1*įpp\#C;.檺!M@L10%\%FJ1LX<ѰPh!{B$Y(%|,25xP91R}R<ʒg4 vv^@fY qЏ1ã ($ :ާlmeЖ+|A Q9ȫGF>FaN&. RȦ}%,CiwFn@oGn[c@aJ΋K.v*c4V,խA'JLMf,]Gl3*ER#8W@&J $MjYH}< \ *M`Z%(͂E4 Bqx*r>ѐU`C0JSXva3܎y--cYKN(HI@ .skP~d^$/#FMrl)d|A XkNbL@jkUYG`u`Qpa:uZA݈hehA1!m~aOb)wN#3NCU_`>Ӏ 8MV\]އJcpq^|fE`IGjVzS Ȇ|~Q/GHW$J )uۙv.ݶBkQ!PA#gq-Uot7m8͊!Ŋ oMC11t?D? 2y_"` ՋGHQgwu'`#fӋYP+kTN~zxy㠼j'o_F=[a2ڄ~l>_uqJj }uhȌEŦM(=zPIE-;v7Ұ r^-&NJ]%{q@q ~ם.t$vY?A! ,7fq0ϟcpʹA]Rwm@ +7ZX' ja^RDfPIG„ŲgmYzߢ= [=R7 rkWF;-_&w*"0f&h Urj^'lyZ'ܬ(@TfzM~7vҰ2lmT}ȵ+ſ 흽tNS]vQ(3zߵ=n:E88Yy],f=WcHLGt >if ر=KC4ʗ_Wan)1T2Yǻ* 'Q3oՠ8n^kÑ 3|)R~M]TGK6I)<H;eHJ)qz]<'w';y2em)WYLfEULbtlIGC]@48c?hр-9,CԐi-GKJD*K̤,'~3aBIVeyG* tI 1mH wP }_K 3aOrM'S r;^xǎI5qGدѤf5Xͬ<DxkG}JYD]4sG;rDv-g:-WŲ0Isc1XBEև 1dODaN -;xG&hҶ(I?[ŽƎ(1t |r} 'OUÞIDPܙh2|ntI=qx*uܿzs`&~r>qU)')cʽ}`.<ouCW!S{aEņ(5~Z|`~^EڽZ)'%!p_ɒc/Gf20aN#g},ԂP\KlY?t*$02`%L@;4$? JTD`%MD^碣&h/sΧTAzb̠n~ {p%}f~e2I}@^pjв Q5Oc(;Zso萲.}1YN,x@b0{PW Te& +{/gCMHU1Il5]<>fYfR %T'[]ƕ9~^ ZAtP&|P6 @l? BDYlj8:oB mF{ܳ_#M ڎ֚"V.tQD!OϹ;O܊tƻGڻDzY}0yzơfRƖ-Csݥ"=dӻњ=(K:cz鑅в[GAc9<ѳU>;Oh)0U9<]D MoyIaęK3Zu KEk _p'Wa mBp` ?NcӂhV .`81Te9kԯ/5C_U/QsLUCX)+^ĖP>/fcGH?8!~ap/l㴐w mSVm7(ݝ# R)Ħ7/o_5R>*[ Iʴd73 doFdrVyY˰}"HO#!y%j9yjǺւ茛tr *`pGH@b3u⵻3ϚX50Zd Kdψ< 'q֦AEIg X] zY&11184V6Zu@rY}W=;O0f zbZ?ފNv{WH<2=lbϚA{@DKYe=J4N//s86g2Hk \DjÇ%g& DAtbPfhA!p&̷1Ձgik\I%K-Ž FOl&_^Ij) ̄?٨jT~+j%Ԕ7rAxY 8v=رI! "azɷf*kư@xM[1!tzkIhgopwkTEcɶ(z,;:u||4[HDUi|lE{4dRFܽNCx"v͖)>ڥ@>@D acOa u^6*$ 8\?tpGK`Ԇ}[dliNVm5Yn # Ky@KTh!K>á!v ER!VbqG+-35Xg,'(=&Ƒp&CtZ9^.*f𯜋_NtE1P&V9/ _HO&tS>-Y޵) !9bF,'ě1ȌvCIYz7 }Hdsd@q.k]ywv-ɦ{,od줻HxcR`VۙAS3Cc_I8Iaf%룼cc$RBu(anٗ>Q,Xg+f@|u_PmZ?>͡i}`#^=]jK|jca@ќDi`qkh@Z xE8O"-naX FG y2r͘ħ+yP(,#[[u&8+ 0QFK8.ML@ %MNZ4r$QG)(0* Sx>AHe;ؕ3h/0FXGgV_Xʑ~E6,$OB>Y51d+䑈wR)E.ݳbMw'|ѵ (H {~]Ey0;҇Z,|%[+1-h=l,b%s2ܣne;:lqFNA߽VD@|//heځ=*aj6 jNŴ7ro$VV:h]_& o*ɪDQžͻtf4LAd?Z:|"v\[׈S%N J T0"gՒT^4qD_k0V ֝R_Xsi"d:JnY`X˵]XE+"1Ns,c];`=IqX2e V.sSaypҚ쯌 hfxowmYUVf`ko#=?,@>5&, 0SE Li-Pʌ-=ia'?H󄨬q}oH?)곹f}A+f=Wi.({uGsKKWH? ThTMUVµX u+BU:c^NR1wK)zLw_RҸJ[8*ΰ$t2cJ\1ߐcaFK/eoDEA~4oNT8 l =cx)P=.u0Vt#qMjQNJ|!a$G/ tkRD4Gz}J^7=hhkt#T%Rd.MԸUM 5Fy]PSlͥa v|u+:#%2)QԆ~C:5Ŋ} [>ͦm1?CǕ_!ز cFF(cNp!_}[6fskU&Xf0tRbQrrC݅G5fIAun lpjt ه~sBP+'$]4ZK~GB4q}9RD).D9W簱/d JRQT=J#tuayd50jjRɰg槡Lqaf``Î6w3*{ .+h(&ğ b Md)yP{  e3+I",wxnN Π޹1vɒ븚_;к﷩y!9:M)[g׆à:ׯ,%iQv3[RrNzy," d'-;|6qɐHƸsXuCLlPٜl\R()٦4s^&V0Dé]d5{- G2oE[ jD }U 32m~Q;( oˆG{87}Ĩybv5.Z 3">NV 1p^FE6/ 7b4_sg6`uB7 tn n#kDy~clǜ,_(_(E(pIm%tNmϐƷLmeC<;u""#LO 8j{qnPlK1h;#a>:M%݇@^ qoK12]Zmq=V"l?Widtf{a m4{ΨZ+gǩU 6x, inȅE)73vc@ JKk y5,_Ӽ^u9I G@8kBlh?;[yrt!d97,}OCkڴ5TbT^5LtB)|E-iu/KbVT.od׿[X0sy1U?(K2B+vx)-xfs ʹj1&ʥ7Y偺Zf"Sju`tt/h}+.YҖ~Io_Sx|]rp/ʬMbf$Acf~~s9o1I!`dghҲ(.k?p3[WFEKM둤jkp-* 1fɗeZK뎰FZ?Q؎5tZb./CKwB\U-|Na"-%9E%3*/z" X $#bivhq C$7:/vnpEqQ]+r9n9R dT)։&wPP= jkZؿBJz&?\}&pU damR ('!c jsjlxiw*&y;'.|za~d1yigQZ!aաhMTAOf(5> J]*~)mnX>_`4p.;K@vsqmouk7T/gubs%bc5LpjGU*S ˯\Wi3etG4S{(Z%i`{"0M$;Y {_'5tF(O啱 8:?VHLnӲćT8-o2vq$"k^+ kY$<M;"t&ʟ:ΰQ@cV0+]Wu<&r]! CkܕP*AYG绽o|eUXQL8Y` @ArUT5B'ߚpb" Wi^]z=7~* l~'<U 2 t Ҍb`K @nfn1F!(~GȜZ7 =j d,0 29-!;gt(*s;$[zF,PvPH_g ܑtxw=J O\w&(CTw}ay: àpĴSy𩱫I -%t7KƟAoZxQ0<`myo?8-Z\9"-ToD_=l#0ȌX2بbrm*|[ t`3#T s+Ѫ:{BJxyڙ4T5p傶wa,`ye6*x#Uh]T:!33<դR?:xL>D;Vz2ԽݐQ;@QE"­L/j%ON*y;_XAɣPt+]4!|[ BSvLJT9! 2Q<;A(բ(GIp@ԭEHKUi21G>0=YNfAm{H biMOuVL]SMW{,Lsc VQ*Y_< bCKL[Hcrf)+5B!G7o!W!P  YdgReN0!R [fؒa2ߔ xʼ pN[h[ C{D\8%bڞMD62|7Za xBYdF#m,`):t<6#פju9ּmӟUMTOՌw.hZ>d?Fi=Ip1YA_I> kQs\A٪N/|=%QىA):6!"߭ 5ad5P}Snʴ-b; HeMjR&%4]_!]Gߖ"oXQ~Ou諊,ݥtXۉߤll9u'"w -)\A?S?Bې.dC &/wzN1PS/!J9Fgуw\gܿ}-H ?rowY i0Ys*mmes3^}m*S^"h5 +Rߩ>~՘!QJq`VvoRсn4L3_hV˼fncⱯX\x_籖/IT0CT xg*$*W:L%TZi1gq)a՜i2Ӝޠ{ەv?qX~蝽L-T\d1omOޚfav 9B;SMqy0s y .L n7.c4Ëw,MGxܘpE9wZ=7)-Zrs=Y!k*!^p8h=¥`M MKid95 e_D f 5v7V)W_;П%4xu S&<8=Ԩ%%EtC. ? #}靷c~_Ӥ?Qb7=)uK""I#E&27I 4ƃpP'S^wJ!E"p'\1cqjсwm (`\`>:#N&&&+S©x'u ܉Lx tw1e_amjsdՑnaԝWYFMf,&LqrH1Su 6c[ `0Y ,b-vrF.f4ԀOHG: @msJzJ :*-NP7T-Q g&-;ۦzEJq-q&Za!t,T$ĝ܈hOo6_sD58hZwjC #ota[ Mp;5D>1['.k>J9 [75Af0Uǥ/`آq'SRsGҌϡC6;fb!" Jq=[?mTT^T,3oʐ:se&]Jc"V1Cr d5ad"UB]B) e1tOBƋYճås9ySMb՘>$s1KٴzsU1w7.Xx3lut5 ҫO쇝m h+nKUmklkxXJP,V|;yj&'ic@їs6Hdew38)gf?jl&)-@ #OtMƈ8`׵Z_֓Ss-6$ z\mg_Xˋs,A)DR32B/~eP,JiX]GyHM/Vdo^/w⎐&ˍv?P(@LQEb3 o3ʒ8wAu#1Rg43Df^E^Q)V+OVTN=*͸Ůbw'dR:d(t)3 KӉr/ d٘Xzyd_L%$lr!τl">tbziuR|3XlNĦF:r=+wIw:1ν6h0<1:o<#wd .g;Frx+Ymv4Rڅ-VΖy%h{mk`_1YcQ.3C*ڕr_jֻM&Uȕ]h&%.rM+Ǡď^r'k%xՏ^z_萉c<}H[M;̛peS]b[i%'̈́:w> ๼\SaRQDPK,lM㶣/qIwv<hV-WE$ZK yv#GCK50K#b%=P;R2p\']KV/"+97ڢȑ8'w?}I^)㽇`3**ݏVOբ}] *'_#EPAqYq>n^3:QBݟp\x+;b U/ynLMij7he?*$ic^K0Sş'K|O˺mBcX2ipm_^pRX/rn{: fzvT6;VB|91z>ݤ \'cescf,<2_9ٖl\C☥xbW ;)M@)x;ɦQFDx<1`f8HIQZzj! r3|4Q1dbVgY99"? XS崻[rDeXRv0 DZ)(ĮPuZ&e;W='Ժ.4Dl\OEK}k؈ B|ir97,RGn/tV4jI1e٢٭TIF?fTXk]Lbij.϶Z} \;`nXR9U 踗o㿑HqAHe}.B%,TIRiwͩb. z/fpjw, T] zc| z.Zl++>wVthf$&cHI6̴&!gj2 v۹L3J),U0+(:e*nMzt(9%u3jcSbwj!/?p1 L{ ,O9Y:!D0"EՐc l4FpP9S$̓baέxwZRzIj"`+UCǝOK%`Z ~dW I$ݏ}eW:X=8uXi LҔ#/ݐ8dGMG[c2Bkt)Ul /y[EBzxhCo1FW:#:Rh 'Y˪eUꬣPg bf'7 8N B4bJv [~Z\0B  !?QgK<9λP#2a,B$e?op*?":OH{NauE^gU_QxΑ02 S0X⠢C~ 5n%bgH}ɯSpA_VV36T$Yƺn-q@6dvm 9{$5U.Qu-kP]p/4żm Y/cK97?hl`Dg\W!ܻJ̡c?) M3[">v]Zx;$&LE~L~n齪M>҉ 2d*.z%#q-6 shĽ[`4[C7ffn,l 06z>4Ɩٝ ^|~viVP4HqT͢uBݎENj_+=w|aŕx~[1Cww$s67n4;*?&DPB=I-z%_ҏl}#)\Z޿7֤!d,jK Υjf93m8m|NqI/tvt>W].xa_z䶛WY0vBPZWdzFцZChd<'m8cfz\v,OS /=ETc{,ksp z&]*ꋗ .78<[ƖĜ2U^ڪZx' nc6q-P޺]-VjRdz;+sF~HV4gg g0(Kupv,gQ7uKZ`ZE=!|$:AoET]m98}g^mN#r\\$`YSs> d r[s"g)qT" 1:J?w(<)1QwhۻI7YIyճg(+Ixq눦[p@tABۋA`t ;O!_hx޳'7ۗ&D|N֡ @{(oW{1\jb SZf 2R:5aJo}mƄO2#vT,N9cx`T4?85*zU1znmnirc1׬jtop*J<<˞K3F+Jr{Aeĝ[M@Wʣ5V4Yg`& W,D$*,mϖ8wͱP} EEtG,V +5Zwu_[@`\Kٽt{$We[)8́k3Tf%SLzKpӟZ[g \t3𥗅q5$0F.yC,~~B[G23SH\"R=?mph(lni9I n"4prOKx7::rk rPz?j `~phn;JPkȥ8^땊ge&O,qU9xgXxj٘Y:t(aei\n+k_Q3Ӕ{ Sv45 43BVhL9W[-zd^wx%{g:,ڧC?? Us~_j`X7)3(U'#M\}|^[T^8B3h܍WFB-x]Xt崠9SK^zyXtHF[ATa&&u+_Lrqh ki%7uQ=&@-.yբ݃D0N,Fg8ï2d6ARAz Ox_ܷ3V\$%pˬf.Z}XRǹ:"Ԯ1a)@?ջ0]Q^Q'8$՗nbG'6CQnQE+l1L.E7yN%[+"cӀ(CA=~fb'iC;s. n¼,'DFwezcWC*vG)ِϏO?zHZ0F"Avv0TP.dc3Z2m6m#rޓFb4[o \Sg-c;7~ Q*"O9G_+Z <2T"g!Oom&qv:VXX*NvWaĉnĉF1 .2+Th 3c6il<:~ڔ/^4CIRćKP z,^1"@2վS[^JbB{d,LN~] IbpqIhe RTiΕ#BwfURV9SMXpX#C:8v^G4 ;!Xg/崂`5yM77Q%kDqUB'W'׿gBNIM2h>?F*Ǿb_}V $l<(eY {%mە־k5XzJ=b:n0# G\$Pa_ z{x]?l 3>XkXAĹ*fVk\p {~Nj,Έk;yIFMMiI1S)a&auV)>$}| o'w 9|k~xu~eA poc `v֪^^gYZ qe:Kd"jǩ2AoctHUnh pr>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 2_.Tҷ8ػS/CŤToGDm~w֙cvY+J2ٴFEߘ]Mm ELu A  W6:~x7b[ۓ4Z{vOt.ZsWD_<Ȼ%ƊK>%dCM 5Á)XJkA5%\O)CC)I!?EtyAe1̒c Zk?!#A+Xpt9.>M>º0V^9&{KjOkbGv:eڻ[Uث56`Οo@щ[= Xf LON[ĺ/HKdBr;oVG^@`{j(~UvCF[@Gn{;‹~g% `֤{0>lAN nRpsvddQ#lY>7T71V%VܸٚRX=51!4QPݾf 8dQ@l5nG:HR1MlȰD#[wl\QqG1\ & h+gU1$QΉ7hNf@0i74ѹ jpf(Innf 8"\vN⮄+MM XN&+AѮ9Qa(@W XªIm d*3Ldřes2m/!#~LkjK(i1-Q?gB̔Y~-*\)Α7~2vvΐ:TgޅcNg<,o~ϋ1LbmOJp@69hF{75y{T0,yk¹V.gTG^s4u0Bhyߖ½Ui ΋J50PU(gǠ\CS ^);*w~0H\Ӳi JЁ\Iº?o )t8Z~veDؘ:IJZ+Δ>-!vL``J \w5Pr_Ӭl mw|%%NoL65LG 5)J"*4 Vϩň33Wih6l&{|W|^cGVM’cqaC1^l`WoAWO$.if :A ᡃ5[r05B2GM.`,tjޑIҮ$3T"I'$mÀ`OCIL><btPXtg1E2!fzsECJz%Pא6?k;e3>NvvСB;v蕭}z!Kjtj>(>ĺC\Oj_w:>QDi-Kb3U(R #Gإ0Nt|'aB}ӕ{_jJ ^ZHRb] EB靓%b[Lvn1œ}&,GCT(Zt6,XWRXUOgI1]Qј0Ztmf].,4.k3M& xq9p+Vx3)m$Hy\bmpf6A#g*giK4P3W1PeeH }XHP_$_(#?f m[kڥƙ >ي*zk_J:XyϏ/YT̈́2C'2eBsj+.'`l>x$Ϛ(L5kXTt%j KF!50!@A!vkTnQw}Ga _ $Atp\%I초@TB N4ׂfI~ P18 /+֒G)xE@Z<7 M , ,،J9fO 805A8QJ/1尕~8ˣv2 9;k*hE+׊Ye}׼eP6y_cb\O })}2DKњ=1a ~lDz @Ck-RtgjM< RH:ۛKsێaK{!Msi<2^saԳo6,67GvFޢX#Em~$LKyq=:0r´Ui1$'nο b<93Psy<8uF.P;F]MGckKOϤ@Wve"QImwj&Vo` {(+H}*bi7ϐ"smEٔ6AEk,xnw>fx2g :Z\ڳ:{ |!{"RQᛚ(E#2[Wl<ćRcPgu|1i^j ߭hHIN E(|^xJq!Nv‰ v&t2@E!}";]!X9-|"4/iWۖ G)P*yҷDZT so$ rl3Α];'*!JPgq} +0Uq/& fdQTvhIbxˤӀc~ڹQa`P4rA\JD5ʘ昆 %B ײxFeʳH-C` _9HbcpIV@Ai<|0rMǠ4 k+l*(*X( (Ca|:,Zuc%FMޓ4! }}'#_F2f Crxcov`[*5 htV t11v0妈V0q $KzrΚzTA/$ڳe]m>ږKmuUS'|bŒnh봆~EUĿCM8и"4#zL9mV?Ob( ֣NOMhE N\ng1H]% n诓oz~ nsdY[p3@`ۍא0 !}, 6\&^*G$BϷ4ԧgyӃo]DN *Ԉj r!D_H܇2`@گ(9KP٥!Z]qUƃ?KIT'%G㑩(C]Ŀ 9UbuAdZ'!:hQP 03X|#֤}Yuds~XA 먤 ]I{0$#% ]҃Ӽbq?~wI|vԞR&k 1HA^WgB椐mF*2l0M@,7Opovż&B=3z XhOr*ަNj fy.0<|ߝ|.D ZJM^LN+t3fs8H)rHMz1!x?L4i+GЇ՞rsuy&7Uf?HC76FD0-/'kC >sc?˅Hvq}sbtIWoas`@$kvk>^'Fĸl_fkmwhD'p*FxU]?2Cb@|B{ f Z[1-֤JIWe'a)_ F8wy0,n nS*Bx1ܼ&sh[{Шl^n` eU^ռfI$y* ^^OVLG$tjH?*P@!$anCg:?͆TZ7 Fe  2)vDW^0{jpzm1 ~B`.ɕhzX 6ߩb ?iaq1-wSi|lBNkoHxND 0F \aE:Jf|/֧fx5wuDo f;h9΃ A*)·t/TA&6Wh;Ua$}Tlң_5i Nj mc-#)t1Fl.0qicOky [~m%mvo~P# ~5&EtHvSZF<: ,aF21:2kvwT(I~pֵ(4NPC Vɓ'Xgq%fp+Ag=PnޤCDg;MMF3>C j PaŢk #ceR0Mѱ5_;;0DaE]0D uxHCf%郿Iϭ_!Hx&"NS>5>n|9B(,_XonSJ8)ãH(B| F4I^9HX" O[iwFXӁ`L@:ioE,r. ?aV-Z+*e}X>gb_9q&aG㢐Hh"q֪]fRhO$+7VX/Zmڎ0Lك# Yhn*ElͩfS,n4G>P@Y}]󤞫J<5ZkBd+Gv:ƹ/8tjBxX1N@~mY"'!ΎFd9m,X_G(1C/)T"~hk ;ܽ}j7ZH"ђJ\v5XSO]Ioz8̮$PWSK/އxgAC]%9{ i8)٦J)25[$f^KdI b)jPi]5FS-P9G8|L{/[JjdNfoX.eXHfVr; J#d=i{pϩR?#N*xY>zFyc;a¾7 ' %~'@_V._~#cX1⏙BH"^ߒNYن6ZwtEx; e2ܿM`(723/pnYoQi= ,@ &/[3gؔ j5xXebkDj_bF?^[bjKD6,2;IL ޓumG6ԂNtRsk7S$wV|/׏E5UzGt7)Unl,ۍҮx FbOr>dڅk 5E+!ss!SE nX* ;N vdo >%;)U6Ӌҕ[T{'DZ 1$f V+틠&/ 3e|4>:s_$~j:}ӝTwz"ΨC#.Ac|xpv'+SM>ׂ9 BhɜnUS[S%qPdgww׆&ˣBc8}P QȲa"t7=#9WPh ~vAzY.i} rs{ !˒R%ݤm\M?# ^r0ĜF7IQ(7*j6Ϧkg& sعAQBH*.tTAL91Swu"3qW!0FQrwF,@ΝT >9P^;Olj@)X`ns5t煾K&l5^]czPŽth74?~0\ 5d7\)Wmvv-5Te5' @~Ŋ8*a*C;ڔ2[ ?Lnp$dG]%i9{5 QVq67$'Xp@‰b>aͦoCvzg0/\bR~j.V|ɪc\uMp_K3&w|6I7-b( 3@ww(>K1}OXďgRJ.5|C0j'!<݄H=1Lel xv׊1\8Ni{8u&1S>Y|r9fjg y0†+O!Zr,u ^}pbkɢ MbQkC(G 2\ %/A!jx.V|ZHsH#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”/:,= cFE»`2y2 8̕&ZPݹ 1^\8*HusVlҷsA1U4\*PڣNM('OGWd[ZF3 ߁M80!1ь ۾5S1#`'T7QMRQSW,-1]niZ#ue<Lqd] Gc(T$DZS< K˹:?1{;#I} @#U͙` A^oeZaUQr/wMdhycO(bdM {651Jb䑋ІrJU!Sw^4b5NX}-P@{L czѢ_9$zZ8HNyՄ 8Wߦ2#Ev"SF~ :]B 1f \Y,A=H_ 'JgNV H&hb 蓜kr:!U*VFnlbMX9T6mZil^qoK14&(:;UlQfTg^,1ScR1fZR[ߛ2NKͻ.8'YFk=O562s-D8eRqȽ_-1W7DSVU3LVPyyX]@uc =5Ii+i%,Yʨ{P $C(G@&43bGW40>8/eǯu&CrE$fc.lSkOg~VN$*Q8Q(~4#ԝm^u~pd*qo(hTFCu.-':$gvV,\/I'~JuGMxA8"o)0Di`RĻhqkbs! |b$#K¶8qQ HvUM pi%V{;-ÝS9}0"xDT o8|rN6S#g=:H2-j(T3%Ym *&#;$#ZW {ꑺm S qw|Ta042Wyqr_j+X{@g"xʜ>+ZܖD  #g(M)}mej̨oTNj ~>u(@dz@#-ݐ}hyҼ߶G Ԟss% ˔ 07I p="(i-٢it_aK:ڞu<R(+odL,YTe o*|ey(S֚5XF#,GU=tdop,E{վ+4+Icw7h"r=D6ocItlL AL+]HhdĢTnt%^a(q)XAky 7WeImib Z|lQ@'!9kwt A3 F2<<"V}[b> wxN E*'|W|, 5nPO~up,ErEL"n6 $nCI.oE.*0Ss.!idtoІM p4b@~d*@mv R5e?8kŠ@xuQ<(FR01,u(ۥ ISHqL~槛;qZԓllY?|eyʼn{8Pv\'!c_{9'Wx \hOu|Abv 3R^ U]C/ZS:h2X-̨ 3"Y{$GNV. mbZt߭U/RI`ZY=)D$>h43}bsRŅoRci0?ZED85FSFof ?gFzNנ8^!tm9gO~2jTK`N L[gB%t :. ZwdɁh,0ڠu50'-!<p31j_k =m k0o,4PH^vAI0@I@ ȣ`ܼ8 7r7B:dPp&q0µs8qUDU3 =!ϤN*29 . И0m" 5 s9L'H[@~G4r4YU}^%\Ҁ;yu!:Qdqɣ̠Y0w+^lz6?+>fNrҼGmE%q̹-!NERm19CS  ֑͖7y1rLn0X?nK-ܕ-%<*5{rc2nҵb0 :td`BowJ蔠@zҡ$X>ؿ6P˾<M!_ S H5CQ^D`dڰ(a\wz`__c!Vfw~ r,ٙo)uiް-m t ˠޖV x6g /~g%>8]VNV(FY ԰xƉt %pW~Tk51q|98}Sf%gp;N1,ެ eړkDb(R^z{`+`kwB2ձ~fSRiaZy" O/n9Pb6U±Z-}]g뚷1V~e$W:CϺmE=iuD YQv˟nnDG毙]k`ʼgQ?x1 x%˃34s$4^w`c]`ˠ1GnkX-c=8ߪXs;qh^nDvQoStb{v¢Ev dCCiP.M!Ӡ%Ÿ19~aD`DVP6'D?4.sڒ(O&ZRμeV8) W<15"@hy ZѲ$D-iIFE'gFn~c2M󾚍d[jMP~nD>GMOa,͜ 19O-体ūHP0!ǗPɮ9Ø%G<4~-I/i=i=.pߕӱQL ә_5*mfTvy]0J޼7J KfYm}y_ `~-FsLˡ N]hOo+mCf0Ua,(5)b!$fCܴJDV쥒d+"Ø>[X/*U:/]hh XpEpscr(Z Po3Mg?Guғ&ggF@t<ހ,R gid6KϻRtsp_ hh)o"/4 >v+@~^d/BX'\ $rvu'jVMyu=[p'J~6ΤA9SMg2{ [R ;Ld TԨA)LhV>m(d nW/揀v~4^oU,1 8mM;-X%y8=;IpFw%,.A+CT8/⌣RIKb]^f!GӮ"9AՄ[7?NzvC#^N>li"I6]tVpØbb j<3qk.vHt<ܶUp믻wL<,bRA$1kOme{Ct2Mʀ܍ȼ^ɥJ@J&g2kڧ>iqVz&߿mXh%UË+1[=Mi,p%{os.G.->ma$OVE)a7  |=Ŕ2KO`h dЍYR-{Ht]!#y8(.?-"=ߑRB y{wiOrqڊr}r RiaAsUCkR\UjO]&FGv})2zv>>~*E2jSĽXdFaJٕӯ/kIY'DŐ<S5?@2xcv!XNol+P$yË0LB$/0aՌF\T/@H*??FiWzuNaD=o}ilsޑ=[htN!ozmf$]rdplc͡p+a.eݨ"Eçz݁u/q蠵z9_#V Cf BB&)xu?.U#řd=LlTv6onɢ&U>HR~FQO>hzuO80KPB:Yf\.*\AV[f*?\x6CG5jGT=w!Rukz,02s("7lzf(61Ueg2{Ci&lMVEs۸4R@h\ HR܌F.$,v\COS3OEZrU"DdԼ:qmx+3 BTz FvFf3/}tD-K%ѐChxGWdAZ.ɈWב817o:r;$.9>v5%;:أ6B8i'u)7=BEɵP;¿+a5AF!$?u.vrAhnij@V \mÊD|pjJ: nwɗғ- 17wRW GJ0i=uàx/v}3O_y Σ2/ʾ;Ӹ#37,4MAkՉ3qUL sEb (#S7-13٦7F]V ?ʰ9 % 7;(jSu 6k3'fG;8HU $ fDK+Pjw5RgLagxOĒE/t+5r VMF3%:wuxFZʧo_V|H6VG),v\RhiYAMƄur'GK#aW`!X5I%dO/9[ʹY"uA*I*?G>E~{XC@\Hߘv<~ї O _w$dX+av~)>f "Rކ*i?ZVpHmIYqgzhD&h_l\2F5ET|5ƏYxk|? m6͹_P%2fqv͗)PEf[KHw }%9 ;8Ĵ鑟ӆHGj^Ơ_ZS'ƮۣS-5$OqT:&Ixn.a"=kEӈ_\gM@$w&>'48:+E Tb2/iTx xeIbb$&Z5wjut}ԪA!_Zh"dZBar]]m(nϼ*v noDH Q&SD{ė58@HI>cUN RT7DwLwq>l0ċjoJv?p b]B-fI ns(aٻTF?Ύ(j9 0ΦuKrp. ?P| S%\34'YW53ӛqUdO8oճ jdg 3L{2XUMA- c9OƨmhLpjޚl{i(1}hR:,߆"%E_~J({bf-TN4[61nIC_(-v.8gYO L\qP%#$+EVflf]| c|YymLw(_=گPϼw#bؖP*weZ9[w  _ ǛbHm.0G<ڛ,õX1ދf5> DZBa΁ƾ%^3KE+9G .$oFxBqmlk]/~.8Dnxw'gt~UޚP7Ʃ硘`;H }Bx5=4$%&6˜WuFBV ӫBÎ3$>5oxɕ$|aybfaqV~GRT]!bw61n!2T|ҩWL\B4)>[͈tί]PRصng{d=s}hj,2lP̱RhBޯ hw;~Jg^y1W.:J{/2f88ݖ:>Hn+(b[;19cH+Q #SLgq)Bu ۷u?g/gBY ;ۗ+xaEfm_s +{VD6x_` ^~֐o&5tc{"Zjn"X&5BL`hy>LDb hk[fzԙͶ,_n͌"t'^+g|O_ D$- q2Lz6o2whQ_1Ijpjk|7a{JS50$6\)T݅Q Wp%MWq j34(2vo}wB> 0ᆃkak:Rp$yцߙG}k^@X0$w3V U(NH h#1 Mf[{jg Cu$.u%Y*=ɓع;ݼk:rY5P77AuUpF)%Z.NLf `EXns;[QBR6rUWsU7)P+T*N%W&Ɠ؎uEGnհ\-K~ +m;|筇[`v„RUqOC`$2a! .ԥrVa{u-!Q |?õy2s+ʲiW[ԯ-r؏O2fH;8?)?W2/@⮽7 fWҎ>=mH>NF/0 nەO˞$8R٫]8֩]>RN1܂2c[BG3o>{ě=27uƒfM7JA.Ի">1H,[@ɜ@ޚ B_rjM}c8*A&CʪG7sL CizkL)IDTNգˏƃyXD숟dHrdAuZχoPqԔ2fkH]\U5oIάEo$i-Cklp-40:>_~c+kh߾LLVU`;矹c&%m6I)8(ըGwZCI3K޴#*Ae3v>zᘉIð*c?`MCl:džcL5yRza>) Ee;1,] b0CwpUn=oڔЖWj,w/N?[wf1lAi%N95ZuʶʠJ-2fxkbWlW75_3=19Έ Oi: ŷHOa0gvL3l $*wiс8rl0i$ "ҴwmpL xoDw`XvInte:h{^CD@/KgॅF6=aN1O-_\W{X1EFOY`gODˡ1AuUXL"^8>d;U@2 clJu:"&-&W93ZJjwVW XI`% HWi/NB Igy893^:{' V<km?R?q؜۩Dks"48l;Lҟ86"p.5gF! Y骟)I,ʡj[7qr[sE3δfH:'ӁTP+J]]VS8͸Q_nkR{42hT$h2N~ZS9i5 =2D1C7O҇µf ZZY5~fA`hsq'#.ٞg0KC!ã-=O|1:&R<#7#PQRB48Ӳx#P"_,"tFvQ\2W͍2Y۶髓F8hI;/A lEǗ?gj1RX.=U uQ"Bخr M\"ʎ5']=Se<)}ŠSDK)a,RSTSH\Y@X J񼢗I!jQhIh ~19$m 2ms@tJJ?+v Nwl IXeь`o̅@Z*HcR \xU thM+/ ?;6 /-xq=(< n~>d8F"9PҊ;7UJ5KH7Xv g+jX:S1${}7'ԁP'wYJ-Uz؟%~ѨB} )Zl"#tiOŔ3=VҏnE*ƪT% и ?"*(Ǟ: l\uxKMY ' m=#BoK\k*FO@6̎>c-˹B]iB;8S{$RR[߁N(> 8 ]FZie_"zCMW,Α^b{hMXŸV[]MS@2 83|:h:{uMx^]E%"I[\:. #+Qx=gEG{BI٘Y%N(iWBW4]V7xo#xJq^9t{Mb(k5>ǎޠ#T@+|-< 1ț8z>5s-ELs>ܷM.uf:<2?Yw_vv(HAAZ:]0.#֖5װY::lt}TPj(_`^EC lwͿ컺ו_ө< Q2DkysS*w`!q)D4~,oML_ldb_oKm"Ur`4gn;b ssTR߮yC랛wO'**t8 v::m$hf- ob# vJDa/~bNx 'RPV5&ȅ+7,a3JM|ֹLY )K!(гrnvn5s0Ju,> uA!t>&b;h! ILoe). IbjT r< 0)ϛ{nlĤnly[p܎{# OG=NŠ2EPZ -"#NzGR S> ֲVmiR:x4_tqvQ2@Z u󆌐JʡFt$]TR +=*+yz܄Ն7lK\?X6.m ԋW۪h=a K؁h&*zП32s`ڽ\niROW2'J_7E(U]UA"ݢUp{o/HXJP2pMvɭL$ uiu e&U|c Y^ؤ*@5߸Ky0ܭ8t:E#Mq.Ÿ!;ɮ8eK_ө.#< =hh{MSJFlk"YU! | a=碝5a [ 35lE[bx[%aa1}۵7?%nkt_c"+f2)74.* ^ٜyz+Rrr)mL>BqV Ɏ3U? _QF^_XTIPx0Ŭn&g뫙yr) *2J[a YA:B2IkWaF&3@\.s.dnN]1 =OY82Vr!yrb@x[X*)37I/2h}-Oyj/ 0<xxje>1K}h8hAAgW #Q׸){$Xv>[m +G)@qeלF3r0Y"P }\ghXK@fn4Aš탒 0ɩ{]TXbn\w`6@}wΌޖ`̥eJ+kȰwMm~5Bqj~6bR]bjq`i.:]۩W|xO`MUW[<8"M p|?B0mH.w}JIE6ŷ,hzpWѤ`)y1j_nܚpQꇺ&5!&$ .傅gךۂ9s /M48dd lq4@r~o`חNc&T `|>xk {Ȃڠǣ`ě-{C g躸(NÉgCĆl/^[D(1TAL8ڣuɘ3+4/z$pILGKn!c! ~yK!]C^>τ_eɄ~MkF/|akiHjIwB/rx*&14baG$7f>vTHo9dz2#t06uM O…3"<(%9A%7X@wkmJ].H3#5yy&bʭY{^]mD>pҟTϬS6iŶ"bn8h-v >7pnoSٷ9M Kluٟ"h6WLHh(lv?rCS[nbΣF)a-OķWd]b+uLTQMɮfX TNꭅ@Kx8(0)}By9'Ly-W$ {{؁*Ӄt<-$Nnb4絮 _?'أ?'llOɚy$Tt{_|!{X\Bflb7$SJXuhR\{5#`Db?ěh7qnΘYd4~2 eAf݋17ݲg'T#{.7;V9>m4QK)"ML+Y[knq7`׉hz4`s;eyT rA5? q﬌6zY;YoTQ?;-G+jF~u"[S+rñ%@jX{J=@$w G]ݢuqOgǝa: ,|'HzZUmxꉽ(NJ}I}RS` )ј@DBi=C 7fP+ġNEBz[z]}b1DQ%}5עms ֳ_)cyKf,?53fzGϱwNʟV!%sKlJ[B694ސ\#z{t,$gYZh<kdt?a*RX`/N %Р뮛v P^l4iSE]òqYK"(8C^W,$6-AFLzuOqd~G-K%Em ƙNi\  *R2"q}-2pa ˀEإ rנֶb}u9ΌẌT>Z0~Hm>G;@koQZ>_lPbպaj^Txǁ_Y>aDsW.%VVޣ.MEs y۫Mo+Lm(3H9EVn;;Fs3tlUVLՅuX)F5!KuDzdƃL]8v+BCzk T Ec ў&YQx};yՌ_(P4M3isuЩvq5e#a[I Zeph? Y&;A w&J "O: |$63 ٌqU+N֐J}WOZփGE@CGΗ7< --^#@QW'L$ Yl.aU[\ؙ 0;TJ.] U]9`p΃ KT@iob!|-sf%USdWqB0C Dzr0Y<Nvz < TO_T!ۤ{m^\#NO6umɬ털/R$,NnjUu!YGڞ酂8Ƈ , Ն>3F,ep^YebկU W$=m:jmO=xˀR~ٯ`T<ߠ7Z:k{4{:ic9о}9Rچ@gTY[|=T'eJȕ[Z3/yIQPx~}+Q#%e ҾQ>jWMڗ`Nɬ"=/(Y)3e?#[S_EW1Z; Ypm|b. Ծoa}Zg = ,} SS굝*kѴXJxZʏڀ.W/$od^'y{aV;G 3!h&[ghY/2ӂJnpq~3WhhWy2V@W(jc+挞YG`t<zE O%=C<ˠKE浊t2e-WKO??[D 2?1/ 0|jtm珳-}:Qw{`d󩭺8A@ാLh֯JHl# w8;FT\BVKf;҄,J'9|ʰ2lMƠPqeЭ%Xk-vN8 %zz]􊩎FU«unkV`ѰnÚ%h@ɷ=)=py})ߪ0En Z\yFI07)*dM'XJtݱ3t2Cm3` iPkm#gO׷O3z4Ͳ 9LQ'v1NW8*q|Fg[hpxJ(qu,ӸыxB\sEZKSrRʪRFO\PhQrl)G:J(,6od$B)c#z-=*Íd R?ipÑ|8!'㽻읩}xL72wQMaϷd_OQ.-GQ)APD~.o:,<c+ALB3@=b@r~K]T2ug|+|"1Mڛdx\ MncF+?4_Q.hv =h[m:G,FaXq.@ij $h8JL(QCjʠL֬BqC:צ;.K?,Qt+{;]b0]KPYѭ Ju# H^ Hɸpkk > 9@kApifJI75&(叱* ȓn!%]7:Db2K>ysGhkh/@|UA5C|Xn~HoW;;K]3o@fr 225U:;`)XVXH1uʶ5Ca %H1B-Zŀr{nHL[.M򭦞E.T lTqz7ku*d(gQ)|sՆ`"fһ'6uUK zdJq9V U`k=m@OCλ9)w]-w^w{3HE`!^^VEv 'W"𥉱gYZIQ=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=ݏ(WnJW W\pe4Fe#+n! a)i9iH  G̉\zUR;,EbQ # z\šޑ~ET3<_MD4Vǀh>0+6RqAwyRRmӲOz7#֊T좷IH_PZ0+BO5xn^Xdp@Ņgz3a @ S )z^5gLpBYd*~Et@ f뀫%h à,qf?LZ,WqոEʧA9Skv; Kn ѩmese >U%x7fтgJ:)Rh1iXP{} q6ϝ?<>Fj+VѯB|V#1># 1a4]sLj޶?򿋚Ύ=ȉ=K jh‘äjWjqWqF]hi4]N|zXJCkT/0`s͊1>gnLLkSL&}׷Gz{,cFTb 354  dFKRK/aN&"X SfWo,7Z3{mSԗuJ7p'6=Jw,!&Ϣ*nCɳa&/RF.,3{AƆU=X^}|Hdo(.Wњ6ƜSjiͦ\*ʼnhn ^MNռ|l10n5+ch]ڡ5dC1?!MgY11/=܀wQH_Mȹaf%=B^W"z'~vvf/h(@jՆo =~ M {&84cAa8Gu/2zW`U S|1Wԛ^. uތ'LtCHѵ {eQ݂)\!\7(u,7,C, k%Q}4ﵑޱj`ܼ?g uʘ10Ǿ'd]a“ >aBan!WRߕ?([ܚw4.EM H *˅),ar98m%&ILP9U-|)~W~9Soi;CRL7houVbWjQ])IոNVmwYK1(Q_W'6s$|¶1dsl5ŜxI3#{|z&faFϺg`TCD =xY^I0tg287+I u#:ފ\Y{a'nCNع0j'o^Wd235mGZDZ{M:M}^?{קc_J8j ^9D2Eb-$ӿbpךC(\{ M(GrC IaWyCзy`U`=T&Ě.Pز~]A C}]탡mxdI̟e76-{r /$RdCG&]o-qV{+}&hbwqhOv3\C k: rE):Li@ksF>1Q΃6vhQ8摝g -46X_n]Fd3zh]R`8G#DzwQ/fxjjG{nXL",/T ǍU*dB[_ 'Rf -@ ?;M1I7w+VF! P=>Ug-2r~v64NgyWt4QlH4D 7J8J0t7Ns02x [l ae8ȫHwsym 88|tI*h(p 2eL/DFdgN=#Dq`%,sV{8(S((̳RyKKZH!:X]!jN%5%F *"v/F#0 tYq`?LZ8| -V*$F jhf  {X&`-;0W]>DaBnY7Z? ?Psq16 !8,*{Wx4.JD2?d`PfELǰ_: u/A6j|]Ioo.0:PobRMİ~֭?ǷmDHԕ37N,b lR(0؜;I6S3`tn욡Q#I174,DiCCBE ^9Ĉ>Ѷ׿1W3("!Bz;s!ٷm32bxf|%y+BS?aG zN4Jc֗RKW , -ȇ׮vGZxsSb2:e^?K23YZM*odވMbxܤmo!=㮆9 Dqr΄Px=򸜩 k?A6GRRG7oASe|g ӽ V|](%cWvvρXZgay-i\eKP] ~:P1Գۗr8HҗGn=8׉{|6˒>chиOU ew|JQ;#%DHnN<5c"cGk;zY>/*b{Ϋ,E,NK[./VH*:J6 iwW,ziՆ:y#X;Hd}pU︠F ?'3t9\Ea܇܊T{@ָi ZIzF*Sp dӯ? ^w=_ gu:s 9pIc.PMv~i{)9`2/W@f6RxFq? "] "6r&.X7k~o9Qtk5k[<>!L#ȇj+D<})풝x0%%k Zvy4q))E}Xl|u.2aY'z ; Gy,JUQ[8/kv* >Lgz2jɽrc?1?hSI-Q?uSzIJP\Ww 'ee3̾!BUcx` d(~b4J7 7Yif 8;ZrZR`7tH^\oD8N+l돤NgC n"[a*@lapL\coD.mq+;iBv;шUN'CER딵O( [^%*Q2:o`H. 2=\WNG:[`T]5ȢC9wL!ϪV0ብE V -촔 ~h-EMH(.Mef4&K[ i۹?:2ߢS|͍dkvlBTg%;.VQB̗J sq@{,= OK^SU$*=,hpxJ."zueS+cOOإI5҂][CspQ@a`\CD>s:TK?\V`p.rt}isnzQ zV]NiPykH譎V'vN?+2Qz%Q oLy^W˙.| B#KC% &_yEP1}ba:&/|IޡV&VzQ}eDqC[WJ9l3}AFSTp}]y+LPPF>XL;w^![AsZqQİQ@#䛼h_,PJXp2i6cXdbo$r͢Gڢ7쵑c֭LyKb*'{eM K7aH0+ǔK_wȁmvƽVwR[a^!1Dx6ѡnMZw(pē& %~ D_,eciQkykfF2'5¡ =&Gp5w? ;!*:ʒ*Jp>nXgu$5"F4$+Մ* $, -` X 2#kDze=_hRy9zNNE&n fFIxysA`m|\LnN ] |9\19bp3>.7p {M@y-rbsnM8VYCr_8H$2+ 7Qx.هF#WvAQ)`Ńv0mެV6J[ 3sAtzsRkM 0Z:8g~2|lb捰Tkfk5POaCR-M_Ї iDy0E:U=0|;aoNLyKQ%abڕ`=Ӑ'!Vۈ~УtzHiePʆ;--'$}P:xZEJ)A&zLA-t"q)re FqC]?o98u#و紫ڀj~2TʽP͂LQ{w}>wtK 45羔T6UbӱCY C t'j o$.=aĢȁ+6 |,[2٥b=z%훿V/3F.rZ(NH}AȎ('!܅lhUkYپ deG>U?@ _7텑Brq(MpW^wlɑ0꽗{ ^^N HPUyD;R`P(ZƼ 84!kKI2N[np i`ʅtg ˞5Y,XϜ`o沬,qꐪ tqUȸ7ys:6$GnD)${=pXsYˉEdF@-ض*j,ԡc_OT;3Ѩ?t0EKe4g{Q rۧnIOHlpl?Fɺ76vQ*bg,CU?-aߊd.V \٦7kg Ej́Obw1/WRnǣbKj՜Tf2mi[xǀ R\O=EJ"iS/L##jGF Ae[1MWƶ`ʡꈱ`uF78_~Ϭh 5P#q~ $buvS"UBIJkt!`Fq¢ƕTхRdH ;.psQ ͻjBl[vXFz‹6Y-wؒc@<" 8{jc4Hӟ*o2  :)GM.mE$yWi7nRretܤ00*{H&I\vi~>^} UՓlS VGC:ЌO\5(S1).\`bcxկ%/i>Rf. /6'{/MkS$я%{fn9AȆ !=kk*4.e:׷]9}]w nSwS<3d{(zD"ߋhN;49|bc;jjdcԯEZwAvTu6o?o"鿏%hnͻHwd{V^Ku|lFGL'Ȣ<? qJѣ}6Yp|pXӴ:mȽb½&4rz֕^P5, 4Mx5B3l~K%PpOVJ微E60x$EdLr dTșJxvZtFKW 1̟@M2cvW ؋M( ubL= Bpv,O0S0KNM4ɚy[ŰQ꿪Zne7spMY`*M)opMK[m5=-}aMu Eк͹&j07bS80`-|Й{xϵs±ѷ`ƖQԶ/xw0X*$Zw<`Mɩ?e~1Fi6"VBtgAIf"I@sޥ#;bAPiܘZZxs%|}hxG6UӻUќxM4d`9r,C(-4'+6\?iNV3@P+is‚'df _}O dKTl`O!ӃCbZc 'ؑLQeM,uNtvo݉+hyJAkc4q&MLR.EmİAXf5P$߸f/'6dMM[C9,AGWQ ȪzlOQiױ#'J*=+ J5ժ x+m> g?Z3QM6=iwPZE_#/izP R%y)J/l "~j&_;Gssuֻ̝'uX8xSQYE9WMq_G0^l+o"1Ux개9GeɧSe[D2* jBPu(h] /I(\6j,+ݭ@>[Ar&S6lujM"Q\M ac+R6V5pvDuѮll CGBd:R\5fe0c%lă5ĸc%Kh=ҩ,hǍ游6Cǐ Id3P=,O𕫡&eҔޠ* SUzߨ<~#/ ֛^`(lxGz qh7E_l40+cA+-gYOA24jaHhGukq4@_c1y IP kH/WPq4&;E՝JaduWiY"0TTq(8A$$3`;5,&Lŧ;R !i2pP>Rݩ Y NPt cm|\ʿ!`E)n>Lkn)pkw'x?b`4$Q-" #XRPT6etKH,iHÀK$<~;y2$9t rW"EHT^g"M|U͵fiNcv%zwUdžtS1Єˢf@UTuHm˄Jpo"a"U>חmGGjA/4Ø6 zrt|B'ޖMT8|ќvAE9ad5.'A4Us8117߅: qno(-llXO T9B? pe/JI}kw|ϻ:l$ `qN<5Lh tܩrW sx2@rGⷀq0dqt I`G|-M`ly?YwjR'Rd2Sup~] M!B)QCA>p㧀, 0CkȤ32:nK Y/̊EOPEx̠ek#h-Oy]Sš}[4i>M;վ̶ۊ/(zq>KOD,xM10XR{7}LO}~ x'ūQ'ܭ((8+͘Fo$O|$tљhީNyX[ixN jHTB^tlFwbk'rnMtSA~-ÞmH捥U>[hlibv*2Zc-u)S)a&|edzlW4G CMVO!3IQi1MP2`Mw s&LA^6ɿ|iU~RꂑWTojB>9|ƉfvHkScA/߸%iONFKGa ev"r= ˕̵>,ӇK{;M$קm"x;k(bxB,! ]([M5Xk vv,+0C3m̮[Rc8Bjĕcd;OP:U_ !푺`}` ۉ[G!"}HxI eR~1*F9Ov}M'@h=_w^lM?[D[޴TWW ӊA9xۤ}r.6v@zUɟx4Zaײ "; Mj/oZDׂN61n?x|!$rq QjjjBeG_d.KTj7EhNN>#ݮ^Ńhh_ ^gYZ } n}?_% Elliptic_Curves_Group_LawElliptic_Curves_Group_Law.Elliptic_Localedocument.tex7zXZִF! 舉`]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`$cxcn?S% Elliptic_Curves_Group_LawHOL-Decision_Procs.Commutative_Ringdocument.tex7zXZִF! 95]A-MՋhvG"uIBm5XB4NiY6L;֋eO,:,kpϧoـSE1a|+P)[xW ,[YKŒJ)b;vY)ό9g[٤?I)֚?UY֎^Et7Nf逘]gV@Q/=h74 :OSWv@^"TMB9EYqy\|2+~zyyx'đGM'jd`Rxj\ @(&d}Rezj̖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ᮆ琁-[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놔(O[@gwr.QaRWqpG %jƑ'bT:ZzbI/DbcC Kv5?42ܶ8Q^PA, kk?I% ,Elliptic_Curves_Group_LawHOL-Decision_Procs.Algebra_Auxdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5~.ÆsW.Ɉ,J G'X;d pڮQxݬ9e Ӄ70I$C^_(^d,2Q8&S+M`\v@%. )v"޹|$_KH`A?m?<+5 Ϥr L~x;w k,_hӂ̴-B{mtGuSု#BMud  `^K܃3/:%mɆ.1U L6K"~yZwa5,-=vtAߨ-62?ma(I.ɯ nN&%z*l ΪrZX>\.~" 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?~^"pc.BOspPBqS^ xoXY}5?H{Ɏ> fTP$yٳ=*s^cl$I^wlQt;*I lt!(F)-8/h0uHem0/p\y>䦹<.YN2&];abS( Eet&6HsI-*ˀH,? H);K`j>FYtBiyIT}wfmED zUJΑ(im_|Kv5{XDVLq3-S2$)x "B -l݊g_N;:{56{$?S% 4Elliptic_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 #Ot?[ssDe}˾=o#T樅oI("^4'މ`cX`M v{.vj,)*S Vb*ʿ܃f@ކoh2]Է_Iu;g4<7&5?2I<Fenrcss'Wnju4X/Tu,+,Mb3&fgܟR#QP+M#^Th ղ7zҎhZE4LE zw]4|O]@zvɄT#+ y+ C:ɛQw0TBx}b'د@lۑg Yl SQ}*DP0j8##="؆dqb-KOaoх1Ko\t;dT,51UKxG7p 8"B ՀADiNc+ZZ/w~țZ)JLQ\q筜<رceEyzňj7w풎|!8JBc_A V,'HnY6ap着o>s4Ц&|eZ#;.+}6P\$j"8rSA 0!7 Ww20m2 _LbҮveAB"_0G|F"/9Abz .$9ErYe07S`8PZχ4hax C-#8HgW͙ZpNNX"'U]/E ~irh1Z }l xWrab!4- 'tB.a8FY;箌4nm$l,l%ib|oM%<>[^umUuHj@ -[ ;(#8cqKs~m1d,y.v^4|5:FTw/{^;^m!|{MN(cPG=E75PL|uPU50:k#bWzr{5>􂉦!j <8=QؤoӉn }9Tη2VE0P$)vt"|^^ī0]/ё-Stgfx^ h#.tS0*W#NZd{EFUR.K C\ts6A帋u@ź)S8MŠ6hXc^Qp4yЫ[ 7C[< /]v UjJrO4}ws3uDz(#=_Ο}D" <ª?'ZhC@pʬZs->qF. VU}dx/[c@V4u 1ĽCbb[gO|lU> N"JJG3-n&̘UFʊ^.Z/vIƝ߻l9 ,̳jV+aYʼxYdAr3F_ɂLZF̝> ,|b2x@ lpaDf03Yss-gl!/?_y[YC8UΏ?}8Du _o"OPŕ-39'`M]EH+\>?F)Ps7A a d|w*P5)-EN2an0r&Љ3 \hPƦ`62EJa?U24bo3ߔ1l>e6p xYZ2r]{v%q'^Xnw~4Itm1mmFW@9?@LTtǭiFly\+{ulCo-!b-nN֕Gh[+-*ZQA 2xq_/+~kc;dh0Dxrcz1slc$>׮1X*hmވY)#ծQ.:coN Ly"KP.=|FR({4z󡸺I3O&e-% F95Ҫi%:oֱgYZ,n -])UvM*9'Gwի+t']eT~RNQ˞4_k҈ ^hJಔ$#iah;܀+DChT~. QmΛݫҭbπ=q 4BuFMqi9b@>-K{ܠVܞt?=@ rS“58(R sRw[]~S`_w1KSܰʨ[y5H!$vh%-ƠNP*mR'55V6'FY]F ^UYC r;Sx qx@4,0J?t HHO=B\Mƽ0_!T@hQv"ySw4mNMmI{kKc<@ޓB// k݇W-bywZ,xZC;h*qkuY jp!i: \?וF% C PJ8sH@1?|n!w*}u2+^@2uɗ4I(.ǽ'pp}RS jm˯7Q %)`:w)1SB>@?Kao,6:i#PhzbmxU+x'p0Xp6kF($ij*9NߤW]_U_-2p#TL@ 3= ɒKܖ&1 ْ>U9 ̑rɶOn$0SvTZuܐT- vd]? \#UxQaDM.? Ew/5-_S*EƘ0+WIjgC42 "V.; z5ŐEaA05>חX dP7L/a58FxNN\Q-6 6]`e**p/#/ v6veaVpoֹXo'տt}@\- +y%tV7 JwB$*40,J7[\X%ԢzWnuYglpnM4͘{+1`ȶbls+q},=w\N͖ۥ|*mz-ZZJ¥'w׬sA>S {ST^4AÿCfey#PѷtD.7ĩmaСzPg4 q8K [1xx9*H""Eo^џYڶaFw<;I#ăb1luN}Pij i{{"u>xr7wr=d[!?$Zג@!`G# 9+|x/6&5t,ZY9AE c&e؅6h,1M=_ME PR\ p|#<"& 0~.w\.]Ka0rsˤt bΕc櫛MJ@mL ڰ0ReUH`5c)]X2$=A^ `TVE:%`%Z&F qR.,[cOhPb6B9 J )w|Rϳ_V#Wlw{ߗҋ`9`@륌2qQ NƟk -=. @)v#ʫ_@_=GΖ"'1焄~ F*а{K`1mZpƃr Z @i`O=]'oSI9'K0Xĉ::0sx2qw㰐AW{$gmľGfn )&*qUn_rVd!( ~!|L羅t= X'lλ=7 LߵHHKmۏ{կ/O5#A/]A\sn]{etf4 ^do^WteV Zq?fݱ=G'1n&Ixv҆!,^s=4gmFa߹E#J?L3t_A2o-4g811Vt ûS`4z 1x]Wzd͍\Y/K;EiUsV<`6@ b1No!Y|8X.I菙+nNX?LaXֽYڿOT*-~={ #hg6O.7sj 4C5w{ƫj;k~\vL`I7xh9 y v\,K^'QvIV-F5 W W;~3sYsq8jnxR+yi9/"0.菔S`v_2]jK%7+ }T>] JJUM%f-;߆)ZTn%4NH:lG|ȊM~iWTJ(6Vs>#YӒ` 燹y uvB-u" iILUal4 |gYZ CC2?I% \Elliptic_Curves_Group_LawHOL-Decision_Procs.Conversionsdocument.tex7zXZִF! %]A-MՋhvG"uIBm5T3㼠B{8750Sp#o-ٗPGXPyj;@أ {LU }~SRx(w)J4#pa%]Iq;]k5]\<T]\Y:\U>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,ՋR*8YcQ Mz4q34C3<Cj :okz)oX?NjW&VȶnAf!0)oB [R%j]ãqw1bYfO-ybrlQ^\}gUaU rO1%%sUL9:\'&ED5 U[/-B~wɱguC3]uālDƭXhy>ecqM"W 2>9X_&㒹OrTpƟq0=ZZ]swoۭٜίa>ϝ7SW֝A_H$YiNI]7`;ݷ#ރ6@Z-KH¨C_,C'RZ0(xmZD5mVZNQ[h6k0 12+vnUP/Ǯ& G?3v[  t v(Vtn8X=Z %ywlN6iyohƂyT=>F;mE91vGN_%=k`ΓPy0v1CuMnyd'\'3i "ꐐ[0#ᓀET4v;_di ,6Q畕qSyy)C Q 7d̑78k6"7Ss}Z@4.~/jI{%#L25\T-R(qמESSC2B8Z{a-"e[sFP=#6jRHoY&YZ~=0bL<;aV#'@P# R['.` BۍZ"U䓀g#++ScRU<NN ][Aj>6P}\c.-i^,z) 'Va3U 'DhƌgY[L*6+#DaI9r;/yW_?ϼLh|idaG* =Ͱ-*'*'*qf_)Λc$vʼnfNœdpǔ; 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<.$v+71t3K \UF\SÖRTr bߛ[^BsrZF`d-/g~6ƳfsM?]y +tN!* 2R%kN RN9g|{i;dN(v,@;:0ݮ-51CO}.ELj3UG%RՎ3,'Qℽ ŧǧ-fP  ) Ix >:BO wy#}JPjѽݙIs uQ5_jq 1tg ΰgg0GI#GRձfɸ5AR,2-=l{y_\@ >Ժ/jH29WP*q)O' q]x:⮔\<5NѦ\LU?fQ 1jV<#`T )Ɗl,^a{(X Su,]|-MO3r=SD:8)6&며=r`ciFR_8^wܬϛpcz(ĨEJ/7Z0~>h4A۩Gq~}ZzTqk6oӠv`& sx0ٿ25l*P[ɹŕ َ1fLyk: L@8h𩷷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ޮΝ-'@pEF'je0Wƒ0GO KJU0Fm\Q7hěaBeoGqb޽O.Ɋsd$*#?2[58߲o,|α|$m25;/D nI#7X<|=Hd\ȑNOaBsM_U1y1].Tי1hg)^Yzi.)׍S݂2O>ZRVI??GpyLPE=csEԌnԼ`N``]\E-Tz ׋j((‡m_k5ߪzMFR^:M6Vv8G&ۯo1rN@r-Cu_(?4mN Ь*{ R"teA[n7Axxnl HzU38Euϧ#3XbqB.ɐ0&Ht*T)+ X5|c6l~wԜ8-l,e:1m<Ӹ^6UaCeXhS@Y6dJ+7D9V_ `w#)G;fF'wXa J[5@RJ\E>sj{Pյ!lG*]\155{HFQ^njƻմAs_rrvX= W:#™dw(sG(P lp p`iXd65\ɀ_NSk4AI?/0 xVM8F&o4ƃZ^Y?qr!pxAko._ Z?™0KĨwz.HLsL_0=ʳ2J RSlT >"nӶ ;5}Bº)MQDB\Vɿ\6w ȹ"ah3vV' xŅ ʖH / yz8>y_E +VsAiftL v l`'$@A2,Y@%}h3\鎏v]BcE"oUŬ݋e5Ip+嫔 _4+Xj:^7 hDZ:Vz37q[SŞp-ќv- TM RSp ,Y\w(y%T`}{] ғn8㤶rEh8;yc ١;󍸬q W%n`Nf>mm+{hN Z [z@I))񮀽]*y*Ējei V^:skEM.ox|vȝ&-~ն05a`Q#6 `$ q]b rT-S'<̓:a+3B2g,~ [>~6Pm7wAc҇1n[ !f(O=6wJѲiO44e߶w/M2!^9fA2%-w|zq;3zsEn$,_2myBIVpXy.H1izt0濮pid8sނÎY;G啜Mqw.EҠEy4r%WmSfF_ g3z=X\y{Z69,F進%6S!D6b'fnF˪m*"ӑ}5ٛ9=f_4 =9[]vy^GMot e5*{ZB",4Ѥ.wC K¡&#ڴg?k&1O_)LYsMà-v*\FpHOJY1bO|㘎`Δā6_3%(cE1a`ʝh;.tK:|P(ێ cM>[Fi( t!Σo퓩׏~AD %9$!)jL{`X%rudt;R` hE/B1A:~t1JD5+|LF %&(P'w {9)|V7h&-B~Z'N6Gỷ_]~Z;(䌝3EL::hA{I>o*mWaAշ$5]rMkRFNRwET~dr+`"T3QʔܪvӘr 4̽k&qYDAvClSiPqh䮾O:6v vrL@h⪳5N,6}൜4`pT@/d*)bɗYY( ݐ[ʕUNh60Q޻~Ѿԉi&b"nlɧ _dыЙ E0' l?2m$(;p`Ip&?NMtP5 N#gH׎`!D)~JwB\䌀'.w1۰a-g:7p6Ry{pgB@, s ;)Z!Ϩ~8 /RyQ :oj[ٿ[s~=_~k+|=ӖmaZ!i 57\ }mM# g|LuIxYwbuw9b1gkKq>lCu M^Ir ,1xCtk)-_8K`TRQ[?~dAFpM6J?;1no`_l4D8Tq֤R)B7oװ15ϗgWelJ7$--#Y}LTy m7FG|d(MsIZU0 1B!t$du1/~/u5H]s}}rz gH D>k*XC-|s*X r?k)-F g9]3V~?9