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 uuO?v, d ]% Elliptic_Curves_Group_Law:threads=4elapsed=64.057cpu=179.436gc=6.1567zXZִF! ]ŗXiɟH)0%ovDV¸oKTH "2mf.`rJV9fjمffѥVeF^Nr{KdAUZ*MK>Ou4LbJ!VU | M |D>ppή[.-I%Ð{cѷ?85ӱ.A5Ŋ`S7+<$`8" lgQkxf*"͍&<':TfB<|1 Bz?OMnoT ^ T/Ė$}V** guIΥ;qOwU7 =*R5{qT{ ΛDLjXD8mfcMmaC $J]/kK(%V=Z33!yzM ,٩RIh'#GHf]&qo6A3 W2,beA?h6#aS礹]K$VlTfwET`}#maqؙ&Do|]VZ[aTtlr%NDaTeb95`-=:]E2xagE5WɦUBŮP1N0tcR@tMs– XY\cm ׎=yU<3nhT{p;F ؑ)"yL~s^11n]5y P"'mKSU,F.EgF;Mo]3ƠV'ˤe DEVV˧O9$bum]n3K >"GD/v>Z OJX ft>;8C.rzED;+dUUbZcDrh3 *JsDNVQfUE<%y8@Qzmv43miEv% hx`{\j$A{@X'J<h@Cm!TS Ť=Pq7^G*fxf5{. Mg+b;}@q} ? Elliptic_Curves_Group_Law  ԃعHUjMW߂S+jҔ!,bELF<_q'Z*I&=T2;[aeovG!;9aoU<.3X=D&m UJ۠p82_x\|_pq*Ku^]K_,34 z)+ ؒ5IB,>I+x *oQL}Lymq;@ Rfa- UA4ib=ո&_qƚg̀hV%tiә:tNAoi|^|{xHmJr ypnT $ht x}+i~L;[F± DDLhS^BL([$QjD6xap3=3}~ 0uym ey$Qn DϹ _Y61Ijɸ;d/ Z]RcGf.0cIWm3BtCK.Fc+~ ɖk&@,i`(Yd Hkb V:hQEd$JXvzXi3Mq@M۞xynêG#8:Csde3iOșضx݃g֞`>A_{I.ӛO'?G}m)dZ}Fn$ek]$YWOM׮s=whwi J<`@^M-+<\v,rm(h̿W:aKqοJ+e)qS@ BųaIflL*r׫KiϐFC+gktԣ3&&Om%Em XYZz|ctK6vV_5ne8z/c;C"(r{9/&~)PoPmZ,ٶ :l>Ζ6sj~ؕ{P LiW Lqn *]:'_ű7ֆ(7s̜7T )D=TRugC|Ѐ[!ƨs?UN b;Ի#U8QXռR*"m~LQ'G mPeTKU;r#2L2t['G84Ú.TjycGo.F"yUrWҿTm"}H#O Ny'~$G+8s<,0n]BDX!ɂy!bFCߑ\^>u1`Q5'HA`x,0!FGXCR ڹTJd~×_|.ې#, Hm"26i0"5WUBV(P#б c8,GaǗXZF"Ƞ!&{16KDÌ3?[(l,a$^QvaQ?ueU[G:9`J!}'7D|=sz:x\?/ߨLɩ>q0ĩ;/}t8l|BO p^˨2؞U@r}ochZLr.k>M i" pћ0*2xLOy=#.4֨UYѕ-z}@kC=7HaK_0P'僞N{ō%Vf@_'"r,zԢfcL|~Ohty-*Cɤo&j=Ź{I>Wܤ˓ݺo],F&RDhcwP'Y(D2ߪw"Z!~H^P$rJ$xb|Bj%TںD0Z.egA[O`E" =yz~xUA(gW[T!lm5})8H㬂Xf ^\Y/YNg*"9s e:of5T"IQk ΉC ,'y"'fo gyIeY,Pbu)h cV&z/bZT5 0ߖ \9 ]!uH>gJ9Pl+;P5V[n)TDmҽxoT[tKBn[hfbJ- FZXσ^/Niod(8x~y*O$ -4‘sˠlvotUӤy=1U:AD'̚Je#2W(+fA"Ja= WT[I K lDeIzdePe2WUB%.'uy?;@=XuD~Y0 9IY5:"let{9?V)u_Qjȉix q@ozdCb C}@OGgLƐ*+1z4Fv[T|åɖ.Zu˖0,Myb fA[\"Ҋ Y: Nac/\[ lڑl'1!6hz:AςbcP8y 6lF<Ө]T63/2^ş"mDva&NZп۸צsN]86AHSۜTb)!C| ui+Nb2߅B·Cʉn4}AFcOdN itQ*jp7N6 # 58>ӵC}uKw#@dnkwUo&NjYDw[XrOQ>TƸVrlRrU<7ܾUO$Yx}8gBlyLeTe W٨X|ჰ-z4A@"էnzKpv0+Rې1ъ.)F&-6?u5 T!hp[K qпGUP ]7O;um7S G۰vF#vX E`NJ{KdZb]YEy'P* |*:zδ+rmw/K,!c:q>f%.) F%66%ɦw`򝏫c]vBHNϫ-H%q$譛 0Dm Z] K3^ u}i' cC-n7 |k"*us[ҹ/̎{aԋҧ $ 2~5tlh_3y0i?_$' CGBql| .n⭤_mƒغk٬P!kh~9*]pm7zܻ^gDy fҴj$;FeKșCK )&q^Уݒ.xs_<]ZFZtUuk+Lj<9 8fH<3}R -e"fsĊ(T Q aYCCע X P{2=ڕ#x+X1Nm.$巉rS4l`6-`=>.[^@l}} {sE|pzJڣbcZ_!YZԎsmRiJGݔ=Po\0  poWZ:3O`REQiSF4u,q1'~W4TD5 0 Ìf .wc=']l۝K3Tjh |^ceMwfP7WXTbpE&?G/p;s)I6) "GdgiesԙNS !CW,Wu 멯)̧*ߗק,,@Y _{|lVṯ;CUbj\| #Vz+GpTr@6zTx¡0~mT uZ[ *b>bd09QRdngU~2 ޯ\sz f)MV2%]wEC!c_=s ` RX:En(w8ͩn?ϨZP[]A Ӥ+2 ߙ:J&kU;A(:ЋD Fn}x :5=kI 3\b~J`%_>ltǧC~S-ZITcȃՙ(Y]V<1Hn\KÂv b+[e?"c9*"If~oMRqơ틃A|7B.#KJske2A)7c&-Yi6!YTS ċ1?.C2kmoOr7{x=@;z: Fw *V|*l5:#lϪkjru=טI ݫx>5²|-䎒#G3_& ̔6wBIl ]iާ}P!v:@;P@ʅt<U~[=aDts -U%qgēI(0 l~o*T?AmφG17jdWL&ƃj#c PBV=h~K܌QTMʘ[HV_"a,$}9ҒX{j]iZ7}DzC`yk=Xg#Fp :0 H蓯ݯ,o9bu@) hgY^vϤm75˒mKܫxԇ(g+XI"I5 "̭àEh#[xP_b/:ea 8~ 0n\:ExxxO 5;ܽzS.򾄧)0"I[c_t9 ng7'X g lߨaue(;' nDx3%mqf$9t +WH@*VX*!wV;veḍ{$e` mpkerZTHt!U~_e`)ُ, IbIFVpYXؼ/M~ Iᦽ&OysF2y+kLfo7Į7.2ss"Y,UYi.Mix[8/ ѧTC#xQ1uѨy#M.NѸœW#ב^!5luDLZO%%:ZЛJ:wU,S73ɼqd" ѴPsj*̀9Nz\'(l3 ;d X;r?=&kz)~pD ZB u':<]b b(ȓґ- GPzo[&mR'̈/Jr pE5rw8<$K:'Lq 8Z+o% W:XNo zL]i}0Ͳ& s%gFb{m$oa'z\*޶?,f qpA#BZy(W LI)c{\)8Ș ;޿-lծI}5aZ5v5eF2mگyK[߼?IX&CKOfZ&q|+}1|[x!"iURy(j1:c gh(HO'GDAA* &LQ%س|P-,zE$%6x=%ZPIA6Uӟ0X tN,fX5rM+}EQxAY<~TZm宄Ar=hҟ( aJ0V4ПݷԯDv[ jx..E! ߩ"uT!<T ~2l0>i%OD2_>q֛͆c0T0=R.vTO8`?_DV Ro2kxYeL fι?AF!Ѱh[|G`Tr?6V?zn=n60F5Qt-OQN 9Z2DjQZ>+62PtU'L1Z]T0\>*f(8RS~-%ĭvPT"뜩Stiu/MK*IZڮi :DDat219˸Z/'J, ّ>@ d.ﻠ]4<4ueҾ{ ҷ(l u'Y4o0 i4bRS'k@nY^T1{vj^բtx(ב~Z9xL3mwG_*=7e_z0}Zp||J$fHJ0~ -!\[lnReaLb0 }wD 'gh LiIжI1־+'kW IDYc@s LәE媑 O6VӚmty 4*rM3 ~s!+CZQɍ,q} Iݢw l谞v["H)_Xf"WUB8c]䎵%n񛎥vkmO[]sSJêsptnco~bf1\a]璔F),s[H4%s(&݅O|u'tp-C>5`l[5 At*|M(O|.3JsTy[U+6Ci3n){w, mA3\! #E]OI4lw9|7 m&֪ݍ? {#X^u:9=X#n+`y~zge7Uum})2OZFԼMd"_QnffLW9NrwիRS-Z/XR\7-HZϟ=WX-u0ҩte#,(] >UljRW·M mfǏ Oڋ(G0{վS$m`QL{͛ǰ$_xCRS>pb[6sEeZ62+SC냋vdo9`'AR E̱ 2W JY6 Ofd,h#mx!Xux=HpaKPNG K$Q{I1q)VrB9K/GVOnAbD?> aQUgb-)Sv+D$64w 34Oj#\zGy:S B70XZAק68?Bp/)DĢ>WFɩ .AEځ8~IɔϴiWcd+v?ҷ33Bd0?ynBf-V2q4Y-Gɫ8nCp\H.02bi3de~?z^nPGݐAG+kӧWK"JHfv*;^v1Qizs^6OW=;Ey<@qwyQ'=r`dE}Vl~vGфG/OVE]gt~FEb߆<ڸRa;&9-erN ˼zV!ةj",٠ }^\!h 6IMReks תvyJo.=2y_k͹JOwi`$zU&;^  }[Ge:ɽ:,DG Ika&u>g^`,}XvzX#8kdn5){v8U?$UZ|v*dhɿI\qNn{wޑ⁧]YE\s-c:"_pt_ka (7Yu">g!jmһ<: ?WcY (P?GGzԭa-dAKB^#O21rȖ G+X!5WC;TF7U9-^.}Ҿ!%ZwLKΤ5 n2 ˺]Rp]f+>(CrI2x A桖E@6~ jinr8eŢOA6 燸\tFٽs:- |H-#T4cRONDiKC')g5ΚTA ~q 2?K1+ L9.WCF5,,Rc?ݕ;1U,|QE+EpV$JU?n'mYC7&0 #ZE%SJ؊цrJ|obH/s4[Xڜhv) F4P4~ 1z,+yʯؼI!AxeLAg.C͹ΗmbZ\o6Gc<*ֳϬ;ۙ`m,#p4r_HX}Ӕ R3x`R <=ID1J=$-jF{ll}nFjeo0u{I,'\[?u+PnuU"0^O,A}8>Gy ju(SaX,O@'PObjV0/޹㚟äQ(Sؽar(+ ҥ<͵a-rt<۾zX-LĮ06GUJ_9ox1X>mmSMB (_^s )"ۅ^.c T%5OS\2`Mn~ `=NI~%xv997JZ8-dm~yZZ!<^5.#s7O0EU&{ȢEZo@]ԓ1XxTm&WW-(O vy 4x]إUnm8G.f1'86#ZHpil;Ť -&:~cO=" DI|-%MÞ!,Ml8} }B#܀a=0j 1i0 >+C"D唨O)8FGYL60qM/;F愘P"^jpR^꫔-iu'DvmكZZD#S@ 4w$-9y;SsnѸJ2y2ssW:bt vrbZ-;A>|QDa@z@32' TNư„'.oM~x@9uO(wgj픤7?> EXn1#TI;Z2|E\y9\TF*<]PF1Ga7t׍ 7Fr:Y!uI{p M\X\1ZoٔKx'(}(M`g9:#}y+ xSd17Q!yAPcsKMFfQ+'Gdv1s[GA+/9# !$PqӃ<ɷĝz6%] ͉_;-MTPt$pLCNvF!Z@ꁄUX19gv+6E~;NčlPNw2#q5PkہȸMp(63T21YKȱm4916 Y/uoAo4thU\ 2PcC\fh']ō8w] ‹bm(ȺӢ^5$;T B̽Jgv(lRg0V7;D;)A;yw<>NYN ɱΌU19-4/}.Ť4?ͼU|)z 8ڄ&| E]H2TʏL}u}$7\^{7҆6 +kğnbpu3k@mPd LV6$lmڜn1E>Ć7&:\s'!_<QItӵף! "Z2"}-M wDJ 7QlZ\5;ŀA ]!iT 1g-_Fb qgD%]5` Y˫Vo3nY:l;V͕3"Gh_t}hB-A)twfûmRۿ'{&ZEsXEI~|DT{'ixo 2V9%)UfNrLd-_zhuCaiS }ZX,'"$Y]T&3P]eA(c/F\i( 樳 # 3"6-W= ]LOV&B EC7_ٵGzRe.y%F? %pJVf/onDmk_RMFQ^љ\[%??6Q2N!n;5{eL~hH̄iȣ] [rr#h^n.`sq68i{]/˜f]o + A)&hȋURr!7^W@*qh;|(AZOQ=fI!Oi~C Ta/frq 2ZU%KhhDD9>$ӿ[ԇi 9]6|!)V,a^l14Z=m~2x/)Zgp_umX:U\$1fWܥSKPoُq?*YsؓO|2ýV?ڹ6<{MqnQw6DG~E)MFZ/;:S3=_VM{QScEM/Qʌ7Xpt= eeh=gZUy4{VK"x<^ӶSԐ4[йDg4y\)cPtzN3{lz0`-?yLd> C8JV;үN [Rْ{jqGHAEa܆TT WUg h6\UuƥTT`O^#݌qZ{%*V 7qyh~EROYKAݘZSZRa&B9Y.J9p w Q/r!pɽvm, _Q3f%[WgA]U !뫪pmq;MG_=)|cV 8Es{ծОՎUpq/Ԛ SXcʥd7%]_dz 4<^^=}}Q/# ,#S_iO[T#-֨ )ΓNUlɩdrW cw𷟦iB B8hCA&VƜJr4,NK+F-NCsпF!y k 3#3>&QW ӎJ/ ^‡uH*M= aUIufC;d_M_C9!o/W1)?N_2av`5')Hl_Yv a[wϷ7E%blegGp"ܠHͬF͎y:V̀†Ek5 'P PMrΤj5ǹMD3sjr;4hj qQfQ3W˰~4JR 5l5J=X+H GLrqⴝE&mK)I.k>MT;$DD>Ӕ0 A]6Sh'h)lKGoWx Ch$3@uX #謂 D^Be0 IZ }Y,!h-6Y >8Kv1ugvK'Dl#DYgfZb/[DD3Ɔا5p+[w2j}b\$Ûʀ4Pir-]R2ꍅs Ua㕒 e=q?lڳ] tL/3""v|E'h[5Q;cäS8A 5 B.lBLN&u*!4Z Ii.hfDUf^4mK]eK #U'ÇI'#2̯06hgkF.GknO4Ŵ)X|Zp]fpw\zzѰ{i7WЭ_0}<h͌A卺2\RF$U@&&Pcr(TgI{=$ع|^@=nO ?-*}(^u'Ĕw2mX#_V1H)?Z? b6}v B? E3-3)}v#S)|Q?-ILOjux8P M Or[6Myg}P?ە6#J*蔏#;7',GLϐP7#HSGI{+um'ۚS|(ts]S% 0xB%W Ξ4oe 5!{Ž+Ԟ~Qئ:Npf F:Ye ~7ۥ.RRv<0uO`⤃pb1zsׄQ5="Ku0s` N*ECź>Wܓ $|+ZXwd+c -;m"sF'"QRPyjaTf!MwX]ڔl?6`*7U)l"%+o$ gOs J48SxpnަdCmYvuSH0IgB w*9LVF[TUs/yT<ȶ|DM!4_u/;f?q$& zd,T[4 4F:nSܗJ/R{(4٬7iȋr~! w]SkUv z.|';Q(Ycu&AV;*e'Y=̮I(3w?AÉc=zo [ }(GEu30L|LU7FUQ02T?Fv R /LWA-}X`0drNupM!`ⶱ7" ,؁(\7{9ǥzr_q^T!IZTTO>qiѠ(Wڟλ(<4B,nr?tC|c'-'IJF  搄gd.Ty`w::v^ˍ?j+5]ʆfIuѨn]H݄';sUUR]L/b]>HG ?#0{;^Dg\{ޕ1cZΌlCz,زX2Z|}REmZ (:uD4cgǬwF'hOAj|tGky},=@ạ8:_$:!&Zxb3\|::x9 ppA'=ǜ0חу7xlkBj=5IG VkӘ,vJ.{2_Xɿ+:vE/әJQ!)kFknmR#.z;}Kp-{eZM3$ R0JR ފ.=$gYi~GyVu{Ŏ#@߂ip>>[:I#FU#Cx|BP}O1ف2 G-_$?]R޲3:d!,٩QԞ̧Pr&u$BW [($۫hJU)^%d+< B.\}肈AEl}5h$ƩK9n7)+h 7Ri (Ä A'5^`)ΎIg~VEq^w Nt},--*[*KrMH!GҐ|-"U&k@{E>5Y_|a:ђK(4']f6Xɪ4F ΚԐn5'hLx+_E#aLQ2 "D%Nb7f>Q!QZV@/)? Cy5h%YcK AndYN!@Z80",)[҂uu8 v-%~[}w ƏeMy‚r&x^_x7n´HiRVuJ$*Z5\4mqŁf{JtriJw{jܩ,&誖!HycF~ [6~Ig@Km3 eÍƮJhu_ւ_p\Lѡn)sts+U#dhK? UN%cŵH\YW*i+Kؕ1Ej ^# X &%QB>?['+/`U^ƍbeˬx"?3_[]QrZ?}Imv*ZTe4a-'6}4<biƼV2X25iF͟,,$YT:e/u[{ g.NM4N%ڇ!?z y֗l§@{"Ljp&ڸעrk[h BPyGKxmOT @()x{&}'Fh0/)ZU**=b\~,{0{QH2KQBC5bO|6:<͔d 'N:A"piY`ɼP7u*oqU5qt{T3 Axu N3j#'bk `m mZ!=1p;sB9=>\zY'lc'o=""#ʴU%kŸ2V q#ZE #hR q n,qJGcӥ8GW 326B41jzY p:`A 03&Yu? ?q,1shb@e6f|9os^OhA%bM; g&LI84<5He_?9&McJτL HayS$88I^W嚆 IYXފXFiDX_ēSݭD]qnc2O &;1Y+O^c(&aY֢ ۣ^gH >b6y81i6Qf“ iŷ{]X-fvA(5h/w]īlB*="P&Lɼslt3=.vKGj=`Gfx|jZdiΘ}哘clq2+루-eO#ը[WJM2gbT{YA}Z@^H2-m+[evZξ6T;_qx h1aS U=޺'}/tΒv{K K@>kbvxN9VhV˶EIⲁMbJ< Swb?MMA>do:XܣBq/ջG KN^ ^̇D _ͩOl,b`Dˬ UQV;Ns U#>ZT6g##8ૈfh*FQ/YhU#?ZBD:TTPlV-m[pjqrK.#Ad93&WVa ΍dܫ'@hdj)~ (V^|z Ixb׹Jŭ z {e4gBAl$+!26ª{\ljQTo8G::Na#L``9B4\Fj$3-ȲZl?ٸN)G*zkN-`?!c?3p@V #˹-6ܹG p!`c.+ \޼OfCBk SaD X@R>d66_Mys'^/p ztL36J @eB>L4rr@Ǚ G05I* ȡ"E{;.̉ҁ.6kꉢnG"< BlRXU {*5!腠X#kڞ:EK RDĸ(-flctI2Ĭ-#?/n.՝M‰nCb?;;@13d 3.mYP/~~0) ̓f1R% F]VnT}?(,jqX[fQWkt̑B.BlҀYb@P(K3Ep`Yy}EQ3S$f]f*6.Xg6ͦ",LIRi`_s\>x(dNBP#b uuAnS {LUDLTH_c^gUcTn(Ԝ ~69(5=%#j7P]s҃~VG7G[&ǗR}]*_ oIzoi`+ 99͆ppM=m!kPr.a6մGVpU1 ZfV0K 9/p::NT 8 0||n ys"5g1zmq ٪9⬔[,b|t#IqdVD|K)5M\qJ+ R{pb)f$Ң;!rTS*vHшpLk"c3KF#jb{6r-RG#Ә7ʰN='^wOoЅxw2eL ?/_q[Zudw>UG% j @YէIeΜ*! \p]B/⋖"1'[,e?ޑwsa Zi$Jub:9s[DVDȄuyH/ɺd@Pgx477s?K T$@MR,P~#^`JSs%HM,4W_S<3 YaTÍh;m@,kwȵ暃 I,eCT O_RІBJ!*s -uʎVTUwF-+a5C%L uE5U|4󅷚wYsOY]9m1Z:& $~ C_®$Ъo c@EkLE=Z3D,k 6J.uf&Ɏ9{Pu7,ܽ;{ =\FNyy\C(?6W,`,x,،6̄bSr"PZ[,3saEaүBQY6'뺳3}kA%g7g$!ΩϠ'J\gQdw'0zK]yƌCsM$5+6Vc(2<_0?l)ܯyɏK-A 2kNߋeii(<}?@gM~,&G+u8J;isI+9.)ȑ|e6=' (#|ŚacerSK/՗7[n(r՝cH+S_pynn(&`'Us8 }ژzTJHn~4?^ kXHt0i<'2nHw᠂D'wdԋ$BcSf_wWpLj]cDFb?Am8-?& L;t`k#i 4<&C_9FLv\TK[o{ \-d~`]h=A/25F4;U:ҋj_S9 J(ǵOfRt%s@E.kt^zZo˶=DlÐAu/GE#qR:z SܡQ9k7v$tv$owSl\XWf& qWwҏC>ȓwՀH s!qX|IA]"C>+*pߣڟ0YyFc4>xƿ ~zus&-̈́|гYæD?d:z\Jd$+%:1dlsVս`}TG;0#dT]ﻅ6esT/$%|o03qʌ1,]5"A~jH#}ӔU`Wi%zx$ Gc=zn?7^8 ߀L_#4C6Ǐ+MF3.V'+𚣙!=`zUK <;q>792챧"Vˁrh}ϓl~} !ΩYdY>DO'_qw)nԼvM4FĔ aǙ3vC)ư OuSdvM캷 CSqVdE^;X޿> SFHMw{7 u#@F厎TԄg0'Ue.n7՛Gg*&cDu}iR~xD{fsbW&8C[-q٩@E "e'JyB{K3- >7EDo%Zinm < D=6SږYN@9g4n0trSo8sz*pnZ#?3F:,D7&D-W e-wb41F )Cty8`s";nz7 ӅB6O8RKq`U\ƾפRx&onrQ Qr^BipFM<'k>{kl˭fXk5v>8N у SC+rna j6 ~5yMru5D2nQ Fo{[e |g *zR#W2җ ä]ԗA}-eZ:h *=)ZVW6'lL1hJ?:*{}*_ L;!T͂M{6~_Zt3 AZy[@\ɩK43玆EÚ I9tx'. &koa_9ܿ24#ҡƺO*ΌZ{zzpykj@=,[ʀS>xxw0]% &.T߮ ʵ0d`km"(vp&H?QO^ itt1 %0Yڲڂ;wGwe.MTT߳Z21۶mu:+-@ڼCNvm&2r\;RbYU U6Rq^`N^%5&CQ-UƦ.wo AK]wW!8vԿW;dQGljsFoZ&׸R5A>֞X~ZJ55AJ{XHafՋDw dVMl族B5X`*(q[Kj? ׳,iAX|Aa$vf~6|7~IxeT -s]Ho'Üح MaL'AlKլ6la9\VeO}b+z|G潇̶Yrr¥. Pxu(p1i6namN;Ƴ&:ﭼ~wa^?!es77_{ȯ߀z斀W{S93GꚷN'cd۫y|<5C|O{{*48k{N'j0˱YGj<ùŘClc[_b\!zo.,ÝxRc`yVK)D{NJ:%ЦpF4aM#=qVa=NrbL'B(B϶?Pqxd c-o[d!IZhIo}|6 Gk0>`u": qkL:\Jw|8O%ui<);W}Zg) B @_ Qo(˸Qy"h@"'{C P þCp?p#^kzȄK P%0b;V%ޕ]wUѷTЯ6bF]ШjJkis殴4,WS6/q!$:bx&ޅNb 1eٛ]CsMcVjtݹ ZƏ̍t?I.WXNSGU:;=L~NN8_8wXNvq]|̤#*e4,@8xx֯1_z_#+nV>D;Xv[,ukʑpFQ*yZ$r}"pLU$;x#uXRJfd@⢃/Tysjw פI>S+l<ݰYÄd".6i:m5vq@W;娻r N#3hgT1vE~mt´ǸJz5Eú"tIngm<)ؐZl.7[UBZaq.W Jם]s 02/8g/;ˍL4L)$Җwgrw,k*Pdz=ahVTm:I~ A9*L/iDRͯ ?DZ3 kK cFYl&-݅y@=Q빳=^twV#J|?-<׈kIF'Ůy9jC}YyNlhWE gy # ZQv˝{w?9qOZ29wD솹88QjHB/\yw\e;?L^4\Nj[Z87j'+ 8ֿ1݊Lڶ9KT.|}ö)/hu `3l_" [Dd߼ ~˘?a-٩J⟙ֽ;<]SO9|w v[>[? f_f[f_J8Kl8V: IggҤpBXy]m,؆2eIM@;P^X1w'~a*l:jxJǯleV$Ke1I c~qwh]|IZ.U6 (nLFk ͭch)`^xKLQ 49h]Ay8TM wm3Y1IN46Zp!H*_͖x[܌LT[ѓ"DԖQӢ?Mj)MVdBs(ol}{);ؿG'bF0ZL> S+2UDԓ1F`2VMATsխ(EZR8W J/'Lz^H7K|~89S2N6/_]%t,iorÚg s}wN|*̙X?}8;.8E*u!fv7v"˩l*N`cak΁vLg>~V5 >XT$DR@ =Z$`#/d!vP3wW;ˆ_'ᢈ:j-,+"QeE>e.)2yEԡ]LGgÛp0};Powmp=Ǧ#%`0ho5skKZL=0o, f8ȿ\1Ej`mT@xͅnlՖD Dd?ts9t9[3rrq"WEHNδ |gҮ91;rSE %Q2%|J[Pc a$vc=4 H9S1^Й',)#ITFޱ?؆/aʦjVmZ;ruD al{V<"Lqs~\^ <7W X/ȵ=2DgΕ &g Z,go$$}ں!qP!qA֠abKr™dAҬ(L=L"9;=~ / i{xݍMycr_~M%VAVӅjJjJ W<jJ(bG#RFv%m;]Nj=,]p#Gq8q!F{R$0卬ƀE,̽EJލ:i[J[.K33fFij @\&Ge1T,?[dpOe }njn[p'dIxQwbDmW}W@fSjbcSs=NjQ#'(|`/h0 i[ua1> d9q׶I ;ENX* }}R"*yeftU a)t)i1F`_݈*q[i \ 10h򬫸^+x*+c|#)pAXې9]WH  ~!VR|ɢ Bp/1)ѱpbzHb TN[ Zĕ|i™-nc\DTfB&{'WƪQC=\8fZla"Q4ũD*jX&Q_r=oXk3+nn2ɨLȚW1PgZ/ B y$tΑj?hݨT2wGazt90_z] &pSGaUώw?PwUJ')Ov CtJK`dhPvZon{D!L[4)Oٱ%wYY3ȹza7f_穪_G%p|Sa7૷I@zDv&Och5osG{ -;@Pj÷{] ";A0BHDQy%n@aP&)8AuP_/]A [Y6XI0: qؓd;IvQ? 6=KŌDZҌrG)*8:M2KP/m1@:}*]vP/e^z#0R |ۚ[9hi&r,@fjY{:RVl䐁q={%I|0ɹWk/ Բ*=(돰*`ҁ(8[cgQlzNdm/[VX~rNT +2Z)ÏMcҕNbd4gyG~;pf4w..fKn?|#.p5I良|1&+ C KHCk3q?:\Юqk ]3ui 5gjL"0DeFd/L<w0!q[8 & gG# "4EY\WV<\kzPflj,Hs- Y ˿5!fF„AN4BC3V^4ULB=&CRfDR`1yE0T GU"2ZpU`9+ŏ [ƀuNƅ^ہ F -=誦VC=h|I_S<#'sTfg`:S*ku:ֵ#.XI2=4Wl)~6/ЅY;iz{hܘ}k۱<n~@&`~]TEbA(3cIJ(`w}Cn-B-1YYfغ,2}RhFFD b/I\WBq D?t{S{jp0.(*@bXA\ l WcKLoW_1 9!V4- eֆ>}Hd2Z+_`L {"$:g~\!yi'ܞޭz@xşWW4I\n BTF `E 6Zy(/wZGp>%iqb4|l UPF*b@u*Te$`1nJ5Kc§/JG|BPC۠Bs>x?W>bb,\4rXE_b;ء)C R/nG˲9ie6U3\<όE:"\lꗜS%*O GdeWu5=خ|l+;d Q}|<[! זA^Khfs=f9)fGzgHQpzwg(VaneFH <,fOgC8q3B7/c['&Urzg&ZO.ã/%n:z*lOE9j-җ cz20횸E˺12:<܂[ JڴzUq$/#[v"=I9cs)BF9S ƺwZEF4ݠnY$N c&Dĭ] #Q;5Qj|hHX'Y}력,6mXV%nW~VW*cI YcrR hFթJK\q$ ,,xILvkL争 +hCVk]#Q6DؑmfDzּ;q5+Y;CZepDҝZo,䒣o84`pkƃktai-07{ qc3B6k8 /dx;(=, EABM1@Ur: -S$a<=>8^4TR^Vp7L3v:+}Ե( v_.T $?άsg|`-ydf9QtX9'z`X S) WW.w_"^3!r/JyNa8mail2AϜ2u507dC,G1W:r+TܢA'b&B3_וr:(bJsZzk=MkGxD%w9sǣ<+3 gDT: C6ڨ- 8y,65L*Htx yQmYuhPl:xA"2%a~v*\RPyڧN'ӭX>Oi:v}/8<@ *]=[Wl -0gNiPr8{iT'unX?S^B?Ԡ"ƐLv4を8<\[O[n< #YHpto1O  G{Kau ߝ8|I=@'r2Fծ@9 m~ b٤f &`#cW<+vA/G-{C :xU;WǸA ݊C"htquxu.@;Ca%t cy0l,{@N _K@ixcxSm2Y[}$rZ(mӤÏ\92|xdJ/_hK#T4wFyIఘ܃?vXi{eYB7-6E*nY *:`:NM?E]))Jj1ąajEoI mo\p#uy4"yFZM"HR3>C 'к SO6w ":L-\9ځ<Ոv{-njK8ʋ"w[!ulnl xDE)y9KgGa۳ 5Ĥ..<}F \XhV@ ĆZb,uX%%?ʖD|xBF /Ֆji>z#]^gr*o˜Y}=Cmsp6#rGB%.zD$a`TJFxבF%JG]$ ;:ċݽT!/R'JgbK;Leo gx<ݺ"]9,Z,ժ&_1 [{X G!8%٤)rb =unrH Qf~kh~@u)8i5"d8?©S6w(O|K1.S؁( XQ`8ȚmN':9tb//TL|$ʉD =[Gm}#Mp.^FƀPFygp@1E,mBx^)z̍n2LJ>mƭ )gkp'Ȟ]| sG͂ǧΨ (7ף+FU$'1yC)/ĉ\b3 @'\2m)O6V^bvGӒFab~b #AXJ,qx13ٗYm^ࣀƑ:Ɏ0A15q2}Բm¯h 沣f2SJVYVo=Cb>K;v D\Lhi4FF>+g>u}(7&GKVf%޹-7ڠld#3Wl$J{bDA+LkzU* Fib Ȁ4t9BK:-cTEOXLOO3A*a #<@ =)9h.f-cmGE@'+f`퐥O+~G :Nu͇7+Ux.lyʼ}, pr!CB`,Մԟ 9f'w^ mͶ ,ѝFvɽ z+g¾\`rn:n(5ÁY̋:rav MMo )bscDPwiןP"KHSQŒf/y{tq(!eEIgJdJbʶO4>=:SD3DkgmNmnZ݋.H_-[䔨YHwq&iYf}/V7yVȶ4jҘt T1|br>+f{ 4v(0_9c!D .$AF֍gᆪiO3GAOk_\Ҽ\tz>2ɵoe=8ĶDBlB6^L:ď_q.uDvD!ؐoS)?MXtc27 wH(j{-f~-_gҋduM~ocNSβʻB, jI|ySI]D:-q{9` j@~>Yn)C0mYrjC<,|di|8TK0rR;.eS[;`羪hƈzP(WQց-M" " La0 d͔knHt 3g* =0.5 8ĕQ"H.g5h7YD<-4G;3OT+%y՘\jwJ4r+'fK3dMӶ&bP#0u*[G7'1m}$ 1ዋb3eXc+]'LPciׅe Ye^{ϲ5>7o0.( -y<^yEOAtL/B֦Ma{;hp*f&Kbtb}^F<1&[\PVf%=k!,5 ֜Q2kV} 6a+8m<W jlM(kJ2OKsjwr@>/︢L>:FX(@KpHIug۶Zs1_K%BYQ.HQg7]8"T,dýzR.M+8EW| xe[C&+?eE,hLeT)8¸*z\-dUN q,7p@kg_DkY7[d\gjxNp!a҄gMH "upַ50^[*kz;|I~zK&iNn.pLx{;8;kO4쌎XR;deCb!M6)T6q`as,de@X@LƄWaϡ9bv1?Y=d="?X&Ԕ$1K?,.{; L+)ʥ,kik&E-VLA;g3CM$a1itWge>]}C4\hƧ@-3[ &w;tįE*ZN~xmh_d.gZyr5F`ߒ!aIk;#ќbrWf"5Crn\֘0K;k˲Lo-Z<)lб7Tb֗xC~CRm$L' ܪͣDB~[>x8GYkDj+ jOO`@jR\{>WB6/ĸ_ :(vhCРK(Ƀӟc2Ӿcˊ(] |W5~24\/[@o .+xlEUX;돩o7Tqcmv2lYFoZdϛX:Ĺ8u[Evt[桞" 8g^'vzY:|DV/LCc=Y7L2ж\UxREPfL56Y_tG'g(cɣEd_0 OI1P\w3) U$GBR"eBfig|_~QZ]%obכ?]}D#6s9+*h!Ցo~yb#yƮ6~nSҼd A&l9'WEk8[i׳cdxF4+l0xxZԈ{Q[!7(ms[&Gnhb wuUT|]& ku~%Vw8{]a:Ҍ5c=zQz/QKlh?Nq p*& GƪޫC5ЎTvMи8=ٻǠBqg~!/F]`G5dk!sd&XJ|-'X-~o9Eo/o ^[$eW BmiӦ|6ъ^%j%J'״e_#\x%ASS P Wv1,?w_$߫2nuvZI}57%o GuTb%a.cHw<3[u=>MMIf0rv/N miGu>jX huo|lS:nS/޾6fk#1KWnP*e:bS~BPcp3t8.-dz^ N$1Bi  0ٯJH|=W9;+A<אM&w ΫsȐ׉ 1EQ]#Iߵ"v/N QlZzŀ_a%lQ֐c9H亵~\s6&2,WCs c`?[cy+,rG?xZas0r9ڔ$M!'r~zL-l5VoƚgѠFlviԚYwIxTN&8?B.%=bCLc&ǦY>Wx.li$r-`Da!G)* _5}s : koE;z 7gf[0jgYZ7zXZִF! <]ŗXi%L&ʷFٺ~BxxXQuj %1R{9.Oxﱡ)T+M6R\2GR7^f=bP!mHaHG&:-{!XzMg0ՍRRVKT(wK PtW+} cui"x158E7 @S9B<Kl)f鵜b b1Tt6X~䡴A9[qtSRej֩n9bヨ#HDŒL7" x`I$ӮhIo]*,s! :c`[BW#i:C DO4/KsG .Yx_Xq큹afp얓t(+uodڕ]&ߙEjWʺ~[iTFN,392U4L&xd=q>$sr8!P6Zأ9"- tm_Y FeyS(M# 2NFh^jNb+(눱wH"rs '9tFhP\eQ'Xg?b63sY#T@++@DW8uǡ\IMUCEzJCDAOIa#}+XENO#q˵ e(a, h7cJ;|ĦxQѾ-/ H.$|r zQ([&A.⪄qsrUeE?4ߠOXժz;YnzדttS\+(mg#&L%ˌ5<$psN֑,rIT\}{4ANIRyPϚl+Hփw!qDd S(x'͕,H8jK#-a/nsP^?ql[X l+aY~a8&| 4S6~s,9`2xzo8!8j1|51^Nەşy>),`R X  aaUUyVm_`2`U۫vѼ`B.aX#spsaicH %ɭ}ه"ꢲAAzih _tw_3B<)a oj.Hr2-8tGfuk4v#´r]eנ+b )7<&/4[(UyP*͢~ta |9?Q"CooT4T՚X8@l3ϻԱK[&7(K~Ur9-Lz,4/Wޯ*_B0gJ!89+;VAw$JXFa_m*@^L;H~~ @{ w1B|Y8hi.g}q+ΛҦ'(}VFglH(OȩF汧4x (P΁;#<$o妩(Y{I|'/%K 7;d`<\و}u.ؤ| }G1'5|FqV2R9s 3.?B4M4v}1S #Vc4.P4$P8oB Qț'!._dwȔB50da[X][C+OAۘӫ15"I!IKFk2ځA1?Dɓ+/Ld3j.Pjy%V׹KEP-CHXke#p8Kݟ?V Zo/׃rѽ^d\ Ws8av8Pʑ 97*p&AYXagH`7cso>/z%1 uT6k(V̰C`=kDhep^ŬNf 39 k,gm o/ijδY/G¨xiw\ @>0Hjmi{Gk'0կz-G,)6 Y"ݧ$(6%l%9SαQ uXyW:mG'r>9'Cdr,JNME<`^6oÊ`^1JMJ .ۂδpZ\o/hzϻb/L\w?3W-?֮l6ۇbp#; f |~@H,^g`-#ˏSAW 18?"Oh_;2ll[RK}ka7 Ȋ,|U#:6F_ w?ao>7}Z%Ƒ߽p>i/MǓrzWrj.)J@&с[1?h& Kw1_i4er'u/ҳ <+ɪSH(z+"(^by1J]" (xb\Na!GLdq7z>h T[xDYEG9Vab &׈wf.$n۟5ZOэ&?[§{ ZUAfƸÊ#S@ ԰v7MfP6cյÄWڙr(gdIlŢ7)ƃlMB5tFZ3Ri "Xp5 Xi0܈YҊQ*v)o'+CL!lNA6y //pZd3ȣ[x= Ƚ!.Cm촄ʒ.(x _GA2BSvO+:)o # \auV@W\)mL9j>7wx f/D#y;eX*y#S&U,Ɲ 3KVep<$= 8%~_oGCڶИ%ўd+a}yjtն΁%/os`j/'$8s 0VHJ= G&Vz$kk4zFPjigŀ6bFZ^dthpUߙVh(3엥z^82goCz#e{Zأy@luj4aec,pQ'EjxVn/Vv%YVٖ0۩C)`}#vc*J4]8 Mv#UFTvI aǁGۈ]b>8y$\nj# -ip@i d>2t(9jhZx>ADXI"ƍEb7a,5_v`#oס!~%;-֪)`6PdXQNC4]/Pk16n ŗlXlkL_ ΉEACwm͞?D>W|={%|_yҨ*3|Dcv/ǜ"Q{^R< 9Pǻ4݋"uo}!Ҳ8z[bXw-0%]Z 8IFf5{}0s2i>uV,la$). XQȸ F VB˴1.W$ơE_ w* ӻ_uŹGC.w5P ЮRKx!9#Gc7lK8 }z2Y)nܱgYZb2114bd856a864dcec21f052d9c3aa9c3b663c1e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c 923ff13ed31b82904476c6cb5a1fed23e7794e9d