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 s3tD ]S]Applicative_Lifting:threads=4elapsed=26.837cpu=81.260gc=4.5567zXZִF! ٔE]ŗXiɟH)0%oZ?rqͷH.-9iVQdL|a2`ؙ7;kgubdTj/oYn]6ȫ^T8q RM:("߰nRg^<(}zw7nXI]9΀A'#^$9-ܬؠ\1X6 tв4MonGB;eNSe{-qo,kLWAfL-u/w+o1㇁Q5YW*@ІwH6L(-]B(~xE<3=yY49L_A_ϑg[|yp_Io9j#PSX# wy"썑LSܓMd!:L۾Հ=ѪDV| a3!bw5p >TH9pm+O(b/x6Fhd֞ @{)eTt67:j=  =-lV2h(N榡PtX`#U~] E?QK8H$DEKd+ s9Pg!E`|X.04* &yyx* /xY4[e|BII{`Y D A>T!*MU};JgN@IH㮸s K0ڐ7R>":8^<$G>OtBtBʛ( \l e`q AqAr3i EDfQ:@9pRETZ0r,X8n>`'5LXԸshDzX.Fx,s;6jL҈`Z{-xcȽrg!KYLHL8E)vM6P4( Y~Y)3PpD^oq ٵL7F\Ǡt䂖lQh([J8%5J*cD Lt8 i tzU,;'V[,C#ȽvlTs+V\jGY¿pC#J=6oMT{PnI7ψ dJ:% J~ S<bhNQA:},ȾBԳ5/[78@O(niFk;!tpz% FIrr|Q8a/dhj"Ԓp||;ePiq@>p;M& 3 Applicative_Lifting  3F N^) !O|tQIV4uMK4oTKc_e᳑V][}FS# 0.&M^Ҥh;ecaMwrҟ͗Y}Q'Gi+U%¶)<&{&J1Uu &Ti fdT7j2ޣC'J=uD0Z :/rSQ+';Ϩ-Ɓ` e{g&V` atН ?\|*fZdKc=5yۨw8r@ ,=&I?^'c.o=f<^Mޜ mGLq]!;})zLIs({F:Ly$1Ӏ#G8BK%fe&v}S5oٴʦ]FbMKp3u_ou,7v|`g8oN]N.yrR`a_:s$p`BW metșnVeZu9b`:Dl0?&1vwf/0& [%\V74D^8 ˉ< e -0r'~)ګg;j) BF+=}0)MDٌ7 IRWheP1g['uԖ*/<+snτGH3Xzd/u醰{HPWpB7y VQêb!yqMsnB{-aͻͧޤIhU z0J/(byj"$4S LJr'} qoW^Xq@i1}E`Օr?KpHSX{|9|uЏ O:ӅUPkD: ,42!Y*^"Pz]b ؅^O? =F{=;.W2ih&{x{kܼۤx{Pz!r~5uWԳz06ryѷGyD;*J}%MZfGo{H ysϓ^k 8,Œ*t.8"H)e(Xkоu "HYkk?b ͒CYh{>W"OScڳ@ bzz޳ph v㠸@4|)z2jG!8;1C c(-v$@l^FY[5lY}* K &˜Eښ},Z68L=?r>8WGbZ8$jv+ɫhNxge ՐhTZ;]؟7ZT\}RH#C d{W DýpbΖ2֦>zQr_1xj<(idDzK8gy*f1Mz* xѶ'\ɩ9*oqt b4 F)Ig*1GJ\݀ EdHgob zOfo@ηuzZhRM9@5y'2;^ּ2[Ju䂉u=PV!Z{L9ZHFD3P oł6WLEDN(Zu!UZM+ |JΛYjJ N'ӝʁC-Z~BP7' (>m,+f2O@vgT|͈zHD}TR;GiY{@kNk@zH`Y Y t*c|NW诨NT۰PY/?kkcR449p]fzwTER7Z*Ї;]\k D>zjӞ%y=pj}wxi5Rn=ywS:y8JՌ0}- fXCaRɨFU_h`uè?ϤBG&'M b)˅}γ}1@ Q5KZd35+80܋K\/IƘ3x,nLK)F`eYT?[}b`*kL$lzǝ||OX!jLь"+@pi1W1e xC&6Ga6cK }=v`ޯOab 5!Pr=~N%54۠!O.{3.<k@"oɋMVGR]-OKuFx_نjbp2HC 0_%=X+q4E#ͶyGޟg`41ycHp߾L?uh2vηLXcWZ"rFg^)){&΀T9)zI's?f9%f,gծ9F:cUn@dE2ťEdA3^ӷbeqeC%;I>.LZD`o/ 5-eјk2YlJS[4XNd n ( f+*3=:I`PM?UTYc8~  EI뗡ʩK63J:=䇸he) V5 KAxL@,kħzE5NinpʵeF=o4WɐMnYl% 9o`~G~J ze9H8v(Hq\pE֢mhv2хALN!ްY \Y`{fxL .tRM$o}MߞDN+) KL´ ]HJ```&t%_Qi@>Ԁf*ߒM;v=Qq7eKXWP$^آ8aho5 P7>-6߁S{>ׂy7,G7NzAWOu? sHF=FVI AI2\wׁSMe4IiP@vգH:^VШ9s,[JuahzHI},m:i\=RdqYN-5uPR._)&@}XRܘQIİwhF ug;lazΓIV0]Wo]푞_NhʢFdm3U^E9I&]T#L|U6}_CrwrIׅeeda7vYi[Cê[6_3O.lꬡPM)?]ĸزz^gDc9:DFg0S w(^K.w?<)\ۘ{b~MG0+RU +8®tixhpj<"JtxV^س$5LAmhn$2`%`3 q~.+yF-T gt; Q{w/@~pmlz-O8oGK<$XY 7(H.[_ti)<$"ԠdZGtПCJ"1>sy\ͧQX'-k<`rbT G bd^}BYJs6݁4"d#E3Em"|IY-=]~gH/I!i@^ڀY#$tOwy F-h4ӎ):Ƣi<3p |`ONNTw;>?O̓;H5o׬+c⭪\XAĀ%O*J9ŋ pamPgE-; .7>V6fl0aDXWA>i5>|$ml?Gb!}Ff~^:W|+‡11lrșcNar=@ـXD{butS4{ -(Z)v9xXǒETHY8zjeډQ{U_Y~aWS#4^h.U>D:\7RNmϲc{z# ܷ ÷P$׌m*T잯2fhENX6/&Mp.>923{Up>VW*6)wёA,HT(I10Z9#H`tKZi!cb!Nh"'=jy  f+3bqfy<40*}~B=9}B~y.hW.K10?+J]Z֐pg64|2kkà)0(E>Sh]Wݼ>:=^y6,{>8 N91߮@n\v=J c˙=OO0C݆[i]]$]ݦ{/V*ΰiʙFĥgf*^)5> S*&89͠(%̊C@m4u5N2 |0Z".4:[_l؞qWhJc_iC|'ڋZZ>|Oވ2Mfl]ѯD!;1"ykK*xgoFC*4A Zɠ?ú}i r@{dZ- VM5]}/9QGzGcMRߖB "82`pwhđ9d/9Ez[aKEʛzOs5>_;B]^`E;p\ @ǟmCYhmΕҨǨӓT Jٶf`zU<1F}ԬZf~u{PL&xjy1]gR YG-O,jQ7 K8q_Ĉ$ zҗ`p{sYBbڎ #S`qD}u$uWs EװgzH}/NM*2䣮ޠ^ ϒR3=zu*:2g5~vA3S_ѱ##T@rNR?Ya-Bs1_``Z/W% avFI>#y㐂s zZRKkH`{|Z@Rz,qi0[OߓKnWCNϏ7P{.v%CQwՊ0v8fvZJiעRY' 8e@ׯkymӚ{)X&Шl9bm _3 \ub1AXJ䄵79}@%Z( 2\4TAڒi#=90GdmT36s JӞ{3 ѕ,;egp@. z3C 2Z9!!-8 Ҵk{LZ2wsKC61 ~D?Z 6 nrDnwO/ƩfTv=65qK̲RG ȉ8ʜPxwp͏Z0P)yZ"v^>E^g`AٸˠeBCg ZnOC.7e#d^IX?&[2=D%hfrY|jh+:+ XRV227 fφDr^m֔*2)*~*Ƀq{*lu;ǺvCo?%+ ;^&TL&.?ͮ53_LYk gt k߶p._0<ޤ 3aʩS5+O 0 &rQ: yt׸WHPMON qh9ѳF׀gJuDV&["sJ7U<}sK:&îdf΃GkZ,!cF }> =V"* Q\x#doYݷ[@'?elgG_Xp&7^P=`l60 L7?LD#|>o҆2|)s/Erݰ'@u)QqUa)??lףmt߅:Ow'2CO(Y'Y[}gxovO{%D'55m wK=%טC '.B4NLV ṛ?#!krI8i S*``A:XIRi\LF)+U =u8T|U -~LԜڐK[%RTFmpHmDӨe?-`tVҡ.aNFkMqM`} hY_k5Hq_:Xw+hڝ`b>rma;Iw6 DCֺs\kG(``\筤z",`?aXFAA_aiCGQ}@T<lMޜgB04w4r,N@p&)d_+]3cj ev@A뉮řn=,!]?Pl"fPHR f'Eo@ٹE1kiDYt@PōYjA t^ >;e5Rmu,z;F z6z1xGt΃϶} <HRf4Y/VqAW ɷFNYa)ZO)ia5d:E2L+#Q^'do,~RZ$ n/ڲS؞'aQ<ٜ5' SIR# vdx}Kc2v:#{V1%vy8Lm>D.DDP4v&8FD9.wd26á =ːJ.໲kOV]T-|{3O@&Q u S~a?&%^)r;ҏ_yKٚq!IS|F[ꗑ4ұaX%ې8է`0{`ӄ>a&=)xל{N qf!Yq4 CUƶ^'_ JFʺ,UA>.#F8^{T. /"Nݦj=h셽_BAe;B9,<(zpZ: M,u?Lx#MJZ7ciAAK&lŝɰ0HH9{90?!6*f`*,^e(ѝaݙp!dK4E' XzF\f%'ic>qto%+B##+l?q,%k}g0Qf0ܓ8 Gݲp|'a]+šw^tL63m).`uCVO WǬFg B*Bʭ"n<33/;Cg:rdtd5׹K&~G;^U5=zY@$tZ3;{#Y&J*)5eh NM&)؛H䬺tG> _Z M } pV7xɒGsC(G:ٮjq~"w$']}Ew 8^L0tTP?3?RF*C>\N2kP:[÷2ަ#B* lC M$x:9u[c])Œ9$_@Y yۤj?l#rvxs_YW}Dkն*b^9͑pW #; q \!9̓XyhK7v{TW~$P7Soˉ, /'mqIh*:_f83w’h>mDF^}\^r>*0< @ e)Y[sJ:u"l'1 j5Z%Z Ȇ7f8m@2\hbgzOU)P OxO䅇.̍&`ߤmkS%,3+;ݿ/ (0(LKhnA gC/2x wb 5gS /&^R<613ΰ T z*mLb Ąȴ:ELQ)@U{`YfO4s7ֱ`xT`}lfq!96Ŭ[I+y>lJg QAiMYU>YhL2sqc[e@l.kWכ~]ӓQ~qQ "\cZ[ݱ=|dž0`mH:酻zwTq^V^v*zFq\-$a+ǻei<`"s]bޑ ^P1mCq) NG\qFص\=˃N)[{00㖫xcǗўJP1q=rJWa]|DH{=㡢ϱ 7^X%u2{+"V*Lpjo2Z'ݑnQǪJcPg#Pw|̌w&]^NS>12Ar}j۷{/;&zJcH:-@tvۍw5-4E"{HwR:{(]!+#)9@95 2 ~O@Jzni ;qLN rv=t:p[)h $Ke5v)N(1dD4ϰ ;0v[w)-2eaEXRS+S+TW\s|qY'Ә2e= kWnNG,$ 7 䢲}cZρKiOv# $9%9J3W,TFgO#P5U-$Ψ97ktmP)wp30׿s"7/>D1Z65'0퍣n 'uz`n -~c$.|]0t._ rCKAU0K\fU:brͬAITД{m҅v‰p9} TVߕCw? v/Єl}b0@+'Us:@2wYs-]6Dmm[!+Om3z|˔c- ]Ћ*ʜx&s .S<<%X]y=Yړ-|VӺaG!Gz ׂ+##VX=2<鋯!6ʂ~*-p^V9(h0Ϛw*'dFYU vYT߇2>X4\WYUiՙW)\vBJ|(V PP=$ёFr0~Z (eŅZ(J#J%Oa Z|ހE7XNsvZI:gP f+ȱgpš"x9j*}vheM; vt i%U{t69[S ~Y% aij*CǕ:gƸ%&`u6p?p#mΪԕOgGK/n ~է+d񏛂@kDS/mK Q^s@ׇC<ެ)r}Ic7J0gt} g"QI=g.^~rka3.xŪ՚7Eddyh[ m3D ߮Sj3=e;wa:!ݾ.\<5Hr@{'m(kW#@ob zI_-EesUV)Q=8~ƀ\̦q`G7ˍZ۶"`Q7غ~uK Ke5Oꅁ?P<4(d ?|Q@)!.>iG_%`_;(< TWu.MhᑙtIl#jD ^ cyl8QFى)ܴы f8Wqzj\+;e!]F)Qo׽M.A8~ QIQ4 J<7vI-u}`8(Oo.uʁ>?y tId/n/R90ZfG1W?/炛by ȘNB3lKKUՠ3kk FND#Uש/ yRYTR8r/kgm]5:XY/Nq@?p,D@׸1@IZTx{?<7ϭ1!7-4XfonO@ ai^@@iקв&8Z3.8wy_ڥU.$ *75D Iɡ+Ox{]iE;!МD(dC#kF_''&[Nb|J4<`,1Jy!OBB.拎EzLl50` AJN8ۡm.ϳm{d]viR#S3Rs4,.uvQ- :ڔeX@& rn$L)p> C;˳\{]92ʬluVmuync6=6\+0˿*4$^pO-PSH9& ]Hv5 ^rt$JXcfgbq+ c\<9x?$5aZC5b^x"j0^v4'6R~l)T66Z%PNBڻqnAvd(|yWHm.Zވ { q蒵5Jd8DBgO9ۅu /tC;#Z-$v'e"4z_bK`NG?i*yDV&ymp*:VVHضm>ܜ(1zč3$f3t U{LmO d!R0;m~`dpm6Mʥh\h%:J#QAn>0BscfܩaCۚYUB*'2iĤav(GVM6=[Ҽ/oz $ˉMN#T meNpTjrAF , ΅,if_u$b|{$z|Ӂ@Ѽ L}vS?)RuA 6Q/NLg @AÔ_]gӌSٙC\`I"^s(PNjJ '[q}:8HHRܼ;Z ,oUXڡ\vܘs#c*AaSS+ x1.Wu~l▗??Xr0-!|tJQ9L&cr6(*T0@l5nyA HwF:rEMOr(*HY.^Bj}+C# d+˦P//pҝj,#mgod S֥w/BVwLO ') xKe,QHZ@vKG7|}q L},>^ߢH ^zguP`pzG!љl8J h7[ӠEUj^:@[ !; |FŠOU7R]MoC 0߁q1 v QF0x Fzrx| |ʠwϓN>^J zjׯgV >t'T#RZbo3-V^#) Ko<i)@e]qefd6zX8{> +,/ռ9i?K"I Eݵ ׭N O~*>~sÞla)=22^+׊rfzS~)w(-ކDexbITzD\?۷UZGHAYoFJho3#2_fԫ@r *in~67!$ٷO#.e,ƒfn9h0w`yc$aIڳ 7y ^ʣ|f'Wr뿃9ZLAmK`|s$G3 qi@hM:v8Gf1U.hp'$ܴO Fw% _!GR qaVQ"I$H] :bi pc:8lV.QJcw;ab=H4SjFl7Gg:Ɖʫ Ԉbyy*ulIDQUIuɑ0>YGJ*ͼG^X+<^&KXy 9iDud|+HÒ?=ba@f+-znQ[lib)BVe xvuvwX Gz*-b W"F$ q4:MA Ąyͱ IFӳʬ8bEHj-Lt0C$LJ0iÕQ fSm'\4^#ڃ&Z1(rBIu\/qX]|;íaϠXk+f`@*lbh3qI W#[Fc<'Mf&ԀItN1'zK3X{↼C*K(:P7lGNV4{>8Cw0{C:'x+!\dY{۫DqJƹLg~_]Մd^A:}z_߸$VUK'Eٻu<͌U_lQabFM/`BQGM3&9 5-PqȵVX}Gpɷ`0-6В1D+FC!:?PAԐp#br䑯U ?p205rr= vIYl,k@\u=%ڤ@m:8,&b+1uc*0F3k:":Ǡk<;ֵo=~U_NkDZ0ӆRO٤NLa6L'Y",5 Pq!D,~iҐ2Q &)/mPbr [w8Q'bg&,`@]p.m<^ h;}:?ϟiu1D¹,CggU)'>Fŗ2ta"SS4FjVe#SvV}Xa,d/fvlwm"5+*KZvKuqN!EN!M.Ȼ [^kdηؑFe'0}A*be 4S~_}D<*2,Fh[7| 3miuI#&ޚfTA~@ǥm*7yeL2h9S?Yֿ8,gT){eӃȇ(K׶@^;&AJ/$ja QGʩLK܈]c9Z0^h)tQ02is>ibʩ/}?]UE=S2K0Pcvɨ45G{fLNlYz5@J` eqy"eG*]pPUma7f2cs hk)4!slc$+3wWz7?Kwv3e#][Nj6:zUpK:"֭V&h&FJ'ķ9o2&ig&SE 7%VG0)8jK6W O١W< Ap9u n[Џdt+׍4(=Bb6i\ScFr> TG/ŮO]MxL>ePN9zvbsۅWU-/vU }B.XE`)!6]R ΊOJ#Vb&ֿKfjmߛq-vݗ;# 'NHN? uE϶"NEa6k Zb4۟SpV9r r %=_w[gg9Oo}OY1bavr@ЮeM>|[\ 2SNChWэ .9^!rCb"YP4ߵ_*5*JR<t6S@r!Ciޙs[P (',a['oe׋ XIRjbm"u/_(4Q["d@]\m%DU'X4cGfh~qڂ1D^(]ߩkS*Z0v< Z_y97 GTqD~YRee69iOhH .$NOJ@+\8,JX^w˅r俎ctztU9@:OwŴQI"Xrzcs#S:ļ BS*7Mrͻ:_31 )ztJlkv("ъмY*y9O#n>ܕց}t@A&!zqC{a/kf7 rQH@.Di;;wq̷ ʣVNm@rݒ,],+Frx ƒqsQG؎R.n,+W8#-| xl$ַ' ]RsJNpRǼeT.W?cV74aL0vdC6Tն<Ԅ\{]i6Xs!p"4 |iu3v`.=E3DvwqG%'1B# W]yIQikҐe}Yw?`ಅ(D A!<%sujK nC˨Ys 8}#kMfH( 1 DҥadSbcY~lJgL XAE ^#Yn!}t-z\ƉTaSǙ< n1澨]U^A^f7¿)b@fEѩנH1릠PpHoko2e0yJ0Ei&"0D߸ H_B+p#d 3&f9ܔU\!1 J;!}D9)|GMJzO*g[*i))KPC` 8` W&BoKf|YG:6>#b'+N3B}2tQTIXm9cuT`kP#u~ jGGLoI~B|(w Irq|4>RewtxYXuBR_bVAxQAHX)![䄈یsI묙fʷBLRN^of9(:`7^1;A(3;bYUA=evR蒍%MTfdi6nual* H_C d 1XѠ˴=Vcp78tF"5U|Σ(DxъDQq%泺 ̑x<k#rRN1;2Fu\U .ҹ(Nhp[?j)Ǹ~︆ѓT_bcd8!KpbaX`/<:£OD*v`.Ily qUL.rSϹGX^Wv &E\]{>s?< 3 F3cLM 9Mncg`I74ݫ'M)Z֔lF%ƀ:,sݥgf~0_Da!Duv`Uit ٤t)M,iFC8^rzN܂3wYշ_ %/ʢ!߱][te".sB돽LXBCl3 ?jt 1qR TtVe)IP޾]Gܾ?XV+[܊XP%̧v3n<}2]y|.VOWq.+̕ \\2ZJ!dh`AV,ߞ ~"˼w- >];!{L`5*(łSU8F|RoxdszWg$Fdđ!!g(WEn$";zv( \ JV:BD=<\3/QM|_ť&yV 5+ f]ʙK!7fohn xšr}W⍂Vfa<1Ui`k76h^_CX!kiI j- a,ly /òz.e*5boN:7a5̢O$q$^y;h8/_gPPqP:w5 gC3DtoiӐF@Gv]l›&;DNvwP}hgAӝΟzG6M)zqP*eoe&ՍRv"#@NǴSgd~mLKJ.բEOᒈb,;`?Ǎ0[f: ~OuaFr;1ruf8iñN[``RXB1D 顃#&wuO@Oe۪gA~y3S1nv[u$Fv6]\T#V-Ow5^NL `ԙpw2Y{=]N`NT~ ZS]_<|vC4mVh ¨3o)aS;> o+uֆ+Y`/#曺b `ز1x68 0\,L.#A%~b.-)w ޭ63*mB8fGܴ 3$+.g"Ib\A5i.:Nq%HyCsf:;H:6T`0Й0 VpߴDD׼ fFN}t'USFC. h,@4T)~l^$,ekw>܌gۘ2N }HI'jYLBR09|"‡)huj|Y*klLaH;1X44) [ˍz7 Zb!dO&K7i޲gmK756YՠWḗ)T1~aH͹4h[NykӋ~njv@{d \j7yڔW󞁗^cuCF "-rtS gA=e#dԃcvM?Ug'-Cbz91@`kjrr{a4HztkR|h"T:hMM,m*m5E \O&.ц{?-/P︥"| 4 RC]l/^#賟BEq= ihhak[O̢ *#8p@klHFǟ<_8oyҧL5RyC() Ѽ /گs؇WFVoGv^䋉:ڀ|G}ˉd{?Qa:z$@a1m[BV7=茇/bIO 'D\.i -=4+FQJ+ 0w$'4 ȘΎURӓth+ʠ]@՛2j`1U3_Fݭ޷ pgnз:SXnǟqe<?ItV`ETē{mMF4[|xJ)C^E]FZEo*8n?@+aJ9AS3}^-[ӭb5 9ҀnghPK @ߐ/htX:&Ȉ[Y7E*~-6rTĖqE~ 6D2Jj6E%I&.]We<͖#Iash^O$*ͽF:ţ5|"VPCK bU:eH7Mҥe\CȌHܢ- Q'y/ՉeZ g7[Z@`Kb׾]0!vx^<ALsػd P+@D$ ~+J_;̥Ы $iqE i%Ż& c{԰nGe*i/naXˁ^!aanp *jk%>N6cFUzMmɚmqqZVOO`zn?>FYa`АGD7?OG2_Ik 2|M$F ПV)EQ P5Iu 6\h9L41^I,q9|B>lE^c.o?嶌hZ.i*`mU r ă tOFz1XW>7.T*%jQ;Tq%Kd jv_O{p}<);t*R gOHz3z)f^qb oBbn{XuׄϯLT55-3":?dVXdd`0q߭XmV//{h3&φ/`N 0dk\=hD٩ݬUTٸEn&zPzΝI%Hӗ*7m_mSkP1^eg*&C't@"y%o":`? #k9FKf>o,׺jáB(ˬw#'x;_? 1bU8`uӳ!w]u0Q /c:L]2o?!!NYdcWj{5-NY-]'zG^owl`J%ukhmŸT|B1u$&-he.IR]>wz`WUםrW>kf*j9;͟`^ie;l\G'@.d  hgy/K'm1:>Olml~Sı8mhW jXDbƷ a<ݶR_\ @|ދ igSë>ʥ}2"JS պv})MH8}Xwm5kHgd Z ?UЧow l`=p=}ybc̒xk6-HlL/m+hnHH*R4w/d5ZM0;TGLˑȈLC2A6nhe~yԝyF:g.9ywK *p\~u9uDv-ymvMBWSJ<H?@|-pMT`9 [1Q@4Qc{9x.sG)z!i ^p_ kN2A V0ZwQbu޾e+td0{Ɍ^R \6Ī uivbr?xo+Zz|01&kX'Q??@hf=džF`=P>qejw/aM)Bdn/d(uUs{yc[nj’x: >ib2@U0`h)("TU`d_,my xbMdW}.eԮ㤵K+lfP>as(֧{Zqd-35axۚmq~p/ 縩KL !tA1R`7}AP ry۞-#aŦtKvH`y~Psߡ/ey2%K߫g`*^[&cBҰHknzcmd##Qa̯A:1x*hMF栃Ҋb$""!(a GtTE=P|v{`ܔh jdž1DZZ`-ŭ`JjaX{3@ȍUrTA}j6bzpHc̑q} ?\08m"N/Ew2(P}qu.hjK3Y]r ל$Y -1?W H Ϗ.7˥j=5s9pdblLbuck< k*Kk`w%Iq<5gK%54$.ϙ*f9O 7hBh>hlIry Փe &|%q0=CG`]һALC❪F YjMκ_wyxpr1SήfOJU{E 8ToY!9?Z#>PȦb8f`^Gx3ڌ̙XAa4pǨdX|?m*kggr6@Nk%wM0ϋ{ɐj11vEϚ(Vj mg9mlzOh?wjm{F[18%߶Fϣwsw䳝Fe/D~{U[E!MQݍM*p%V4yX^Z|h޼l*Z?@#8!r6GV'ؼ*L#;"YZDI}TNOX&UχpSP8T%PZC/w3 ]Q|Z l%V dYO{IzNs:9B{yAU$1(=3-Z|*rG'C"bkUj?O+rYÜNoG& eN1ڣu;3r^d!~J5|U@>Н zdqýf'9րzö&sй X+~@#>6\-0*E]g Si RyR1!VصS>MPeW>ÅETOU9 ٜˈn=EY!HϷ lAn?2[0 !CI%=D_PSpxͰJҜX¥e`rL(MYt]JTknFOVA4@F k (mA|ҫԒZkWC6#W)IrKܔOdga; @y!2p*> $.%x?: כ^ jiCBJGUI/',-/}@C/HCk9ȧvf>2LdrhmP F_PL\GW^u VD'@FW鿒4BhyE @z1n\x#YSå ;^WEArV#^H}AJ7'W$L]E9( !J ;;)ES2~(kA\7[ԍnI+YE"L65Ӧ+rWY[Oo glJ%xݹ\@(F*<+H҆ +%(Sʶ} rli]IE,j# 77渊apU rWzcmm:b3`ϴ,nObkQ 3/(3`RQ=y]B}x^zz_=A10|KbeÖd6"iCC槰hyqiJwqRE8c,[ fo'! d^IqʩYm5w{+!ǽE  ސhюL>3*HsYT&| ,4xQC&};vZ<4銂҅#bְ\ܢ׹{N RHU 6-9sj(OIUK#qzdUoSQzqQC=4X:m|88NR0dW:Dg k0\7<'τ%CSKغf=LJ2.dr,5SLy.#>&CZ(꒢KV;$FY{ӄia4"4BC֧`x|7hL Mba^\[ؙe+MRk-H7{Dle6wZ(p]cAqǑ_晦NNnSMwdC'6m؛XsE 8J_ :! ˣNgT"(GLtLFWqf"ٺ5 @j*& qai4M#N1Cͺ6_S4:!A?xφҸ8d MǤ+)6QP{.|Bi BLF|A:Cs#znsRyis`۩/MyrI݋-1ٿD{7qz3qB# c3Iv-i8ۆ$&ioSTulnHD-Rzjf$y{Ve]_ ei?Qeé[^Sj4:HBth#[vUJuOJ쮺bsm{I%!9D).e( RՕ0s lܒ/E_s/ d '.ygC5i0?{q&Tp 6(C?"oVGi1)GmnXZ ,Fqrҫ2&EF5ɒі-$G!d_nA\Xݵv$zYz-%Lc?[tW5ޭDz8jlcs[E:m4+ӮZzWETE آ'2;FsNo8.Fp-Idt`ȶU2mfF{wVYh K_iuL/TTx)MƱ^qX` U]ËZ:[P!-{,E.Bھ!H6c\ 퓼w6tjxGF6m^L=fҴc t9;y34{"aٚO!d4kjo+)O==AM1X(\MK"lnMi)=0B(r?H_de>Fjl7~ú7r4]AzV}a0f%s /)  b춺#[cg+Cx9Z(QJͅɨ`qy9ρO7KSgݒ"0 \Z@ Rהy3J yQ.IXm^ 17% ?5-?E,3r<,{Z"dЗ>3D6Ḽi|}OQ3t^7yzFB*zU;B'DssǂOsndm;'#f2JXc;oǍFl`*1afM3-u\[}L=Z ~kmKXoJP^wnPGuC2FFc{wܫ^L' 61GH睨'R&D9W:Ub06\~Bc2Sv}4O{/r 7$٫n] x4Pb*a=hD2DŽЧoV%؃hP@1B殅$*q¦Zv'sA;!Ҡ|դح4|8eԙB"-`]8=13-B^ O o,o ^c̈́cc"roѹ0.Tm:Ķͪ,gpbvNH GqBc!(˵jvB_g)&D61%KDPŎn ޘAl^\&T#%sgdD1|} æPUYOy?Y C]~^$oo)lK[L T6mbm.֐-V 1j/Eq_a~GŁ&P{|)d4R~a d)"ʆ)3"C5xfuH=X7b@EiIn#zpz:7ܕhm}M- ݬy܀&s3Ow@Uc\7I!:d1Qr1U_ەYy kP4˲jհԑJ z;A9⡭܀'nJr6N卅&_O'JZ-gjQH]Q{(/ Xqհ%?4(^¹wEݞ{5`e8ȭ4% ^GN5PH)n+gYl;*k]qYSuhdy*ULD[zzG{On.a(gלo*5SiYgGԤ`-_hczyIպ E  1EgGp=gӰF1#$K?'4!$q8U Rc%+)^DC Ck m qdAձDk{ . 0iZjcmӳ5!K+ D&}'{qcd3|[z.D\ݾؙ'kS]zq9#dXE/iPY1H5:ohvYȟ wrpr Ib*~r.$x˥ E'ǖB[|6MΦK mPUZqȅgdLY$ ۞K˝wIMŬkb6_\,sܑRw:;\;MpNϲ<Hh0({e*[/Z7I̱/L"2vo>prN`F`|- bکAU3`x8p!IrGrJ\mWM I52x2ݭDs12 D\^ ɥ !(.Fd EO"a&Md7VWh)XIb.,ܟ#frbu"w [@:G, B޴Z-rzY#`TZ9#ݱ#fx FcaӳY~S~NK-#Z> y|fPqπޖj_󭇐B/`[عN=B6Ç~}i:|Rӭ?FS#&%B*nq6D7xy|*bA٬M>`o_*r*r SVe4PܣMY7zmxg YЏKxv#PKm!$879J7)XKp(Mk}kYtx8/x{@;Tog@9n@;{UtkL8ԮCȻL#ݑ9h~t4( !?Y?~hLi {b?V"cMOo=p2|=#CP(h~x 3Y_}gsp ы=DPz Adh c-VӜsE?'%r!Oi7:Z>Naq4ۯj>USZBP|'X_<' nzm׈-RP`҇*jU63 F FG5y18L[_BHsXi~'Z$[/o9ڗJ  NpӭaQ+B̯O˦ jfU5 *tfUVxSR\^xǭxb ]}TqҲ8>c[D/(o8h7*ldUaAL\ۄ–JwSkuLz|:hMѽ2/(;AQQ1ȶK4EE4ݮ1oE'g_,WE yA5m p+r@ V!r0l@'2}_ VeX"\;f z,&y/Ȓ *5CGA)%PIJZKV޶) &,oJZ}؄CmD~bx`4p^/RǶ b=Y3GW9PfͬT7;k.J:tmLD>튐åcV㏎ﶚ^肋$٥ТـRoLPXUnן^t}8Q, E /\e Ol!}F mEvtli O~DEOi**7aRwń@5x%R-nM)yͬ'UIPYUC4c1;\ޓbdjW[<ž!E۪4-IOuR;4) wjI.:ƼoG_*;Ǐ|jKwR\~_*7QUOU܉82( yTD`>}VuFY$HgЯ9oo(R1bJ=Vǝz!V;%p9<ڥj`%0܃8v;h%T$73bLz,W?8ޡ>(}r49!mVd T?Mp4$U|w܆ =LuY!9yjWWPңcnM[48)񨆬%Ŏ5~o1:@mІn{Ep`@ª$KpƁﯩۖ@y >F#1D[ |]B7ac֙,JH7llсnW޼e :$0 e=MIiФ5}"6#7ԖDKE_USz;M9{p\r\,&⍘zMChGD9u<0zτp|)1 q!x3VRZѦ%6@:| Q72R8)KDzHG.wp&j*_ezV̧6mbi ngE'9YꐮTA~?aye6(;X?z‰)CXmՒ`7 @E>x.ͤF')w^ImQ.N + ;҉ł~>b]yz{د_kz1y~c]rfKC1E&$xש596vdVm9m.7e'w5?ۡ:n'&ݖ0cƓXpd) D<"Lz`NA^iڈ^/)/׻ϖ+4 8'}8/8_40بB+G$ؒ>?! gigߪš۲%n3Q';G]Q@̄v,{}Ca l4viWP ddbC싆g: ɢr*D|$xO͈TkQ ڙ6HV\3r'@GP@+Tu?k[uJ<;揔,zW.©؟|}ͱuI j[$:9x7wT`t#t*gŅmDZر:'5r_Ie$e k]9j]3y`;h(Wڮ PXA:'C_yJX^A?"*{eǢZeH: KSQpkO634!ö |HXmMx}={@05ck3H{p%X[8d`懞]rrAFcw[غ_GDav]h0?=+ "i7Щ71|=CS7rHf𰁊9d$$F\Ur|7)<2s&h032 ƷW#>rt;_ ; ڐ/8.$h ;RėMrǨ>(ÔuB3p\ɾv j$kv-#Bi:a/ t?+jw.~ő i+I Owýu4FTe4(TL:DAJ DP(U.yH5wapEk\/Y\SyZ,HUe)cT?r_b2?T&btGLgWo2`Wx[ϤH6 @uָE~&T+#Rғ1EJ 2HREU0b<BC %uVsR@;az?am1:$q7ZD)8$)|S׵qٲ؉Usv8iaqET S"7(k߻j_t0m&_uvâ QղSZMw4 m7?SrE+p:GL>w}c5(p<镬ȁ!4)כY7c M!ӭD,[˱b`p1ADH^^KOjHd[~1{m~<3qC@/na۬g.jI{i) Щ:\}{k|xg18y0K7uVF?=QEcGFT b&KAgLWw_ztA;[=-hCGvҺ-q^BÙ50΄k"%g+^dAy5\ȕw^)m̈́cyG㴹Sec7]J {cU"bcǹoev3cJ.,d:\,7H*_Կi';(G那^9uÊ2s^!HIS9twՍvLT!4l,۵={@>-ޚ ށi݌PEѿɑ_Җ)X] gbbiPꕄxR'?]Bjjr$2fDj0:{IHv"Vv@PngOB% ш WgMOM7M}hagsϭȠ&k2Bװ<ǷM2(->nR-qŕ Jzj' @=ߦYp<^glR5tvX8;tx=VXd]xcϢճqWZ{ҩ\ky( 9Ǎ_WTPEqE1ޥ9{76hƍ0'Sc)o!L''JmgYZ7zXZִF! ;]ŗXiɟ1˦r+ bVj mGHbp~3DloߢM4bK)FdvbyGS2Wg8jgi8ۂQ6_O)?e±MZd,Ee4$tзF$@Ìsa͡601JVa"hi}n_Z+oEj2@K SsJ>~fq[UKG݈϶G1)(_&/Hj=龜K˗WO@grϜ!T7N\6R/6Sq[߾uG Cf+m>HhSG!xubF^TZ֠YwCYNGe| oa!aįJ0 kܳ )qpbd M {YWGϊL4Y6}EJ,;sxɰ;09P^9n}rl ʊn W'2δJ\}BČto`֖u3ˈV]{ωC*2GA(qlheGcn\lOqU55/ ur }W׳ZP7x8dGHEM̂Am.z}D1rcFa%ꏭ-vkgYZ7zXZִF!  ]ŗXi%L&H#!.`F@8Oї Cb F=mW*Iu_DNSUS"%҆,j-o"=RIyEJi7Ӂd]w.}g @Ӌ8i>ːK?<#Cˊ+So0ٖ"H گ܋Y7vxhN/eFԆ;JHP Oe"! dVG}x%[@LtkxR_}'RaD{-$vxp~}z4?BGcyx Rs1踖ڀj8鴉xn\HIrQE/0GUhypDbCk‹$1Rw>CfzV?q;9~l'/frY_]i}UPb[[L#C>AE>B>ⶳEϳ1-^yM3A<{Q%Vxw[<<}4)qFAG?xRX;+pN%,RaY>%5SZuȉ+oenCBBRW?~–1DbD5J0ܰ6G9o,e+LJMRqNPW|3[):~r-p 5K5q{Y˨緰딉J\oS;ir\)An\N1bI&d/K4T("كͦ2 = uO7:w؜6L]Rw7&{ aG^+5RGӷr+8 &B4{@V=sy&aEFAC7(EPi8^?jR{=g:넽g\mu]bW?LGBRDPdyݧ*KUn6ɳ/D^N'RazZuRrh*-otISIR~9 dmzqUy>BY3whPOˀbӅЏWnnnhk)xM!5U+78%!1x=$OՕ by JǩwZCG Nc>:ߚֺD`!G0h$3A#UEjj ơ~< z ;.x?2 )ԾHBȉ0Ymzځ+:T19r/{:Z/GJ-ru9a(~]#1MSϫRW 4Kk2ܖL }_gǠ0i V%!+ǣ.Y"hRŧO^Fr]BXsT#,v1;zE PkĴ+]wǕh p5+>+][8}#4cX@oX xm&tϺ=njRVz.OnAF]I=v))Zw&艢2|zaٻ3fͣh]6aF7_,+:X9暅@_,UZE=Fя5lT uZƄr7DW ۛL T3S?Yz{Z"\g^bXnyRZ619')1y:H| KE.GL[žI.Ԭ:.x s~0f/LF{eZE|t8Ϯ#"7 $™JI}cQ;v@6ӫgYZ4ac0d4bbc22a5e5079db458a59c3e1ae63ee98d99aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d 0e2d1af1b42cf5c1830959895c5d8badc50d05f563f94f223bf8056749584bf3161dba8dbd513ef8