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 Q%L\ ]/]HOL-Analysis:threads=6elapsed=315.119cpu=1505.476gc=108.756factor=4.787zXZִF! ZJ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1r ‘_5mab^X8$G[j"W$1_vfSE@[{s=3b+Ǥڋx1&sGN1OA]c@NMXqPk {g:/iVԝԿAT]ǂ(4! (.긗/xOc8ؤD}NZ~/%n[\6=Oᑛ[{8531Ȍ4P~3T8d'M-TGbs8WJ &rm2Nm&)_Lc}=+b?D'KNHNl,@H6Yo{߹dfxH^15/Rc!9891S5%3` ٦u-W þ3.)֮hoj2VOڵ݌OZB ڱA3qhQť,΂aXﳌ:q6HZG*Gl1BS{ 2̺<>EyF>7\ZYV9nlqңbM[:2d@A֖OPss8ԠNu2EQz <~![̇Ԇ((B(@#yqr~|x/YXp2uy,}ɚֲ:ᓆqNim-qrLnyXmۺj\ î͟} ^}9|rcԶB>Ap%TGDǃO<1Aý.kzҋV %? f{f>6Ze W3v:<}D.]~5&זY6J^IÚ6 Zm=SFmɏ(PF@H:rjgIToPlz)#Ou+D| L׮R5P'b.쪛Vgt-}^bBNy&d!QѬIa/cZ+G>j6߂i(~ve5ܞLInq~VLuާ 4@ȴ z7nєS)+ 3=Dvt0| *46e#$I}7&'+cy#b@404h1H3IcGOaLz$;tfuo7QK"O*@@Nu#g怦n* PqQ> acvCo Dz?Cp?$ O"NTnT H>:z+^MS&ȡ~g+y15p4 dŴZ9նOm|(rHؓ'z TyV2'X;[\gU0z~DMu~6V迩H-Z3,*)r>xDsײ2#WU<@+rۆWo" xu͝6IՐYFZci rk  Ŵō!}!#4im+8D="OCJQq.m6#Ec2"ViWˍD?Ģ3iP?xA?x^Ѽ Gy5KYR+Ųp [q% -)77nUti/v9 ܻ tZR xP\ \ w&Ht؍][rj vb񇑁7,vQh6JYIOq'4@;\B % HOL-Analysis  {W> Z? i*h*}F}6xD/`fi:t_A/?'t7O?HYq8:ǯf9PXR}yP*:#f$߳K#f5PX.汝d,-\(;;?scŦ:D9p mZmr& "FcƤ E/.m==YGOE\T_b@N/z@0Kd׈ 6/h3*n~j|+psi5c2aʈ""+Ġl!i)ɍįގTXJ;__&UJ+wTFఘ87Ju  0]z%V% (#̣.y>[ DI*b8>Zf}ED3z2M/>˙B&a|q6@KY3AҐ坖& Ү0`dc=1SG1`@{2-427j;|Js囃8J5v`{ Dޕp?# (L3jϗRcVm IOzM͢:2L p&/cejPyUt(\ ~Ra ꈂJ  {%o$7{ލ7aHDP^M q-i8DUT~E:GmDI~R̞|b%孩!2񏡲Rb֬峱QW%&v,`jj澲_'DU@=D wN''ݡUceIλocܵ;_2GYۯ=A!P +ƷR[ӄ33\q(#SZ BY]b(~_^~ keVXVW3S@ͽD1QnIJ!1׷1b^CKoO* -:RVd@=btuA.ʺіs(̺b UJ%ic@&P]nqrqPA&L0xOz4I>ql$ d1[㙁 $l〸say0:|zEe|6qYVSd]}0(nǃb2!ӡ(Ŋg#. NԑHDY0h>~:bCʀH:2yFbWawTQ)'^|T2a ʝ^N"@4 '[j*E&m0uZJ ÛeylLk#4AK++$CؕX ~[" ?&Atr2RQR}ѸtUj[bD9V̋,%#_)MlZo2u ;Q|N?K(,W47ޮ\H}q#QC*m w}Df6 CUL8KE[XɥˬT{0W͍СjI&l:$xZ%V @햃f>E^HkG:d=eaًGkwrLpE>-1{@1Ci9|{$i,0`דG6>AVxTlA"_Ct UBo@T ۏ_r TFǒP aք/ .=ݑ W{Jĺ+5}2˧*"<#^a1ƆQV]:`GyE:mf]U{F$L;zb7dÑӕk#I1󘙎Q ^.51zJ5 9n{S#+k6(w= ;Uu"vpkl zKtMts,O")ULi`XBi?˜&J8eZ뚄7.H&׿=9 w AR6*(63T7g\tuې,)fo_;-S3$6zA(fI7EapHZ vIp⪊8g!QX!N^&$jF)|fDY { KGɖG2](f~"뚻fr VGkC95a.v:U8M؁LPz/p|B#4ĭ*/ulkS?얬I2w{m\yUӧkÍ&fÆc}=Xޗԑk.{4=tH8wn`V X _U?=ȕ48mz i'$싂<h7Ƕh h(GW^zd`OUŃ*1}uܺC*gmb~w%!.t1>9OQ0D 8zq8i*:LN[R? Cɐ;!,]=LK$Ju ԽΫ|wc Gzwpm"ݨnVcs ޮmvK8RŲIZZBeIW$*e(J,I[.ZE.St.l1C/N݂}Lo.xJ;rɲ47ak8A/~vHfމf|'0ED@Z_-(4=_Es r0 x H5btPhoށclyoKH,dDLTuE: 2q׻ۓ߈ oP#-{ō.g>&=Up+,gW~m>uλ7;pn/c1 Zib.[⪰y*V N:ִk/l@֋mF#eC&,N)e ⺭evLd{Uξ:H"IRoVm5e{9EF`E[?_FCV &&Fp2Y-]UoeIO7(_HK?_0Mp!"A6R溼c,-Ֆ+" URraN|OGۨs5IK[>\$':! f?캤8{|o 1<F(SV.K:,|A_6?4"ei pvStV5˴fr~Ny~8ϐXb.qF,lwb BﭾPszWˉl앟lUʶUGqC3RAR@t魭L@L2wKWنXVwtP(>Y͞kTWl0:Fƹno/So)ufb>=pa1rh33H'ϫ_Lyp;qH hA x'=muALJRԫN:ϡȅwHgZQ6E*kY@pt,ӳ$?!"Rf5|oydudr+C4{4*M57.aآ.Ey8t;Vԋ+ʠ_FRj@Gs8~QDKe= 0{ԯNLT܌HJgU "]o'un,YrTi79fqdswJy@!\1Էj[U22:Am-.BLTʁ`v?Iގ%hC};Q3QTLHIи",?} `#5M;+,5s_d47fW>P!7(}V-Gz€gْmm>n Ƀjul~<vkDszǠs$黡H4!i>r಺w+]6lZ)yD\;Mz1rB2kޚGbMA-꽏0 Kfc;(Bx`oەuy&#2G+\3jʢ̣(V|3h?X/$kӘ8${U2iMXܣܴ~ c$"g$zX~ 췹c@2xg0ޒ>h3Oe#B)-Di)+j3#RɧY({Ps4%9 ^W՞æ M {SNڊE}_65b;I0rxaR5[Ly3I(ۍe[g;Vdu")_+,qh>zeF{#K_SaYkٿ>~0՞{u8tW-yq\EH_5!tb8IճGXCc-PA4ƶdONH$0=_Wš6+EK+^!l]:{,(ſvVuΰHξH0r̬Iś!5)='Ž.!fkZɬ.Xà{ 0Zc6>Α1  %ﲎ65iI&?r=8ixffQ s>'ct$BH~KWZm,1 k~w@8"]FNzW2\TQx]L ef{x21#+-y1SH'G`PH** d;Q[L {O UnSnH]&}U4! HB1DmlU|g Wo޾8 ڶs阨``wK_&Y<OSrwܧ#{{*M1 V_wPU'u٬dȤKup9AԖ}=LĚlG8 /^Ŭy#|ԣXYZMĸ|]*:) 8WA4~>X Y=b L۝6 >og_`Qd Ͱl~/M'DKFyK{TDV~nןGY7&7#kD*.b+G+f`"_!_uoocHIj6ech_ý%YiY7$?ߘ`;5,MfCI-DiB*i T7!G3se|AGv$& I#*JHKoa:ZL[ f9K&lº= wnj` pKZN^=wOB=| a:Rm}l:bY:Q5qOibO&4횀O00L`EmU'yOTolԢ>rj#1JQ¼9j,(wf,؃2B CN;fzF2Y;@Syp#fҭԓ@>~&ޏm r܉Y1TMM9׶ vz1&|p20LƦ>WY "Y;1F ' > ç#chjnM>ǺR:)J̩jG,Jr>!EӸj%ڲ@c=Ssz)#>8hk^)6_`A'Pqŵz5`#9\쩄9"'U}ٯIRbchր{1Vb|.bzOV{e?B l"TV5@(4clS%x_Zi M#Ts)S ,}]Hz/(:t t_X?uD|)z P$ $sH5y} 9E"#BAtww].fvk%@g,0bd\lcz .Wm^:sf%÷ ܼB䈲B 1[LSx+ ~DqTo} ;8I\C4|z y;lqa"Jl̦_Ywa-Fϥ~pJ%߲7_Fd5Jc6%®ʚ-}ݦ8/F؃Ds Bd/ W{Y#c73Dk (}oQ3̵c`֘W{ubyPʄ_2`Y ꅊ64}OBs yd8 (|`y m" a@'91Wp}̛ xdewђ1Di(# "qԇGL EGct ^XpK]j. 8\[8Ԗ=>(پ rW}ὸ]2Gȓ᭲-F Ro T5o;MvB>/ڙ4lu<ա*4r (W;dq\A&޵6L9H%fsQ!CZIS>"9ophPqN۬7~%1hfBE]#ù2 AM*nlAO I\61RP zCߞp t^ g"ct:Z_%oq] TK}E@H,=֬c7P&(=?I}N Yxv]-ȻgZja%_N!+ s\7C)LhM, E)bƧ 3IeIڠO5_M^Md80ycU;}"9R$YCsJjI7ZIc;u<ɹ[QiWN U~I(aj<*(=IșVd_ALɿ[N>wr A8BOmqEv`/TCoQR3Z18.i=ZkY=(iʼeX(mԺl15r CHMY8Pjq|Z}tc Eb2 ~kD$ KgX2 %je Jv˷]W;@4A*ű \Kk0ܾx,Ir' Aֽ7hHEQzr:~HQ}K e' ДRvC gOJқ40Qp,!?]l*bbT*n{)rL*\߭dYG)REֳgζ뗴Å; a8V8؀Srෟp/4u0^)ļ "!NLj`?Cnp d㮻Ď}:n9ȟ+ a*4Q]14G>!1@D1  R',5+? ~ 4-8vmg@K*s Ǭb:]q ͸6u `*]A28|^sc}0 @aЙ?—P=RXv@+^OSC\Z8 0'C{Q5OٗʭJG qsj4œ;nbփ}=XjnlDk^V>0Akaޣ>IqpDvw517 &w8D*Ox7WJf'ߵe2*HI iҢ+/:ʿ kРVaz`o$xqwQENUKFnW|"#ʇGsU6Aq̓R2 H;y`?9jdzG4N%c53?VŲ $gH틩Nӿg~v|F~ V dPJ&%f1ӭ+q o9FLSvMD)t䠉H)r_x ܔP 8=Ê4]m Ԅ?@z`;,n85FTx2 ZH4 pgzy9Lįb-gˑr6X||gTT*1ҹW5ج+r&MtZojrbEsjc T{Nfg%o|GGNBQL4zpxmRO0N2Ј{w`_ќ6;>υ- tl2RPT]Z<#lNLF-[;稑Û/Glt5S\Il!dDqO&FIVrjQLtn+Yfs5Os q#:68Zizx\0V#:L5h}{i3: PCC`t0“USe㾋LH"Xp{G"i?oIπ]ݺ _ݟ2  }~3ds7?z w6hkvl7?U?=e"[x14d yĹ 31K I}5!|%@]IC רoUsH9fhTnD5ŪQoQJz}pԥSA C30.='A.b^4su7ߵ=\f;% kIe>Iat7щXGJ`,SvhJ.D\E`"3_n*uE49֜@U4 BOgPyԁ'(" ^ߕC/zkj25ز?bNȢ H~&M[q*1&voTg Fq90^M]𞗤]0Y{-*an㊔^\ȓlj$5׌Ann^I_=TE5Jy5W(Sďt*-0w(=s/m~{2remt2}JHshǝ4@QvUjX/ McgO2O_}= !2 Hhvj\7Za2a =ʐ' )5*\ƈ/N] Yu,P;{aU.kXz G~s4fT.LXI؝m`F_o!4 X u%E~2v=@ؠ|ix9>Ya/pADwލZCIh:/!,IE=y.yq;nVGχW\ 9He '?q Xkiy*5֦K>׎OL1wbNƕJA6K'hN+=g3.tvzƇ4L4L2@.mm?o*#qn5&밙WoNmn1}s=l#nŰـE\Ƹw8f\Z-C {Cv,lzj3)PO˔ E.򢚳X>)~{SBGuE[-5cY~${n+3r|d+RQm] Ώ HN<3޶Oga}y7Шsc?8GpĿi73$g"R;Th|&.V- jM%Wyt˦]<(Av94XJHu܁Vq -".IÊQ D&^?'l7bSz_c;&@\ H:5(d%_ZO1,?N44Pw,i8*s7qs#\,gro 1߉,m![Ŕ@I jUfI k#J-=N2pOX^x7 $|g3G(2ŝ{h6q|2I8.="tJRֿ" hA|қ@h ᠗3n@8C5Pk!a2ˆ7ύ*R^ N(ĕ2 ". &ujVq-zUHI1KDC3lokT0G.5$yz}VBvqaSse<aeOn OĠEE=% b&;TLOf]? 1G";j >Yzᎅ"-h[L| URyOm%)']ieg`r„wy1 bKt*gU}*[t%θr@h2H~ QvCD0[_쌑ge H&Yu| =Jv'b%?%7b[*!%+b%h܀k}rvQ2kҺr5{{GXcDo|/9 G(v$j`Q\/6 r6Z^#(^@4߅ŧCa7:a 39hľQ)шMgiIv[GYJ}ݺ&򇻊FZ *)XFWFyv,ȺB 9VuI&WW&WyZ mmެ]F[j^ƺec/(,>ʝ_^g)'7gRٰ_]"*S5I* #ԥ4+w"_ }%S[ژmL6yPP$:颙l@K(WԲ N2Yz.!\v^> BTn#SbgtVu;!ކe!n/g8 84om(_H]9|.!K+[ꦃl*L|VqC%J̑AV̭jD2s ^1Pt}g,ge:ÂiP{݂B{(|)e8ʗ>c-# qlvW 7Ծ3\ _赵/yCg/廂YS_D*hb "Nz ԕdhְ@ UdKw`5ӺBl9dCݳZs^Rgx"<\`-ƉW؈r,JᮟgO(׫1f<6ɟsY _`dwb}8#/m6<8YEJ_m|| ‡R!"TY (D) h8V4<HdV{h[W9 *vW, WT>?l(.ٷߋ(,:*DxL(8v?EX$oȯW^{-M㔪5¹af܆0mD"z(Y|5*&1U+G! ДSj(_=s#(?34r3.XX@~}3M\te6b`BqT*]J%} \|6߿),CtQ,CO5`Oah1a=rLA{ pnadX$FxHk |,+J.:}Yb~sڵdb؉\߼MU&7? 0Kş&8jW9[BXͽA^6.BM56զGZn\@b3Z}QX=_'W^J}qiwZHɸnd'4sSS4*R]-LV}r'>O p3d\G)ª\bp5;CĮ1{ z@G8?v׭T+/D ]n1oA4hQD'H,&X.Wws,]΃Sίk+4by@C7F9 ¤౨M( HExiBҮ; ᎲEcmsctM9y9ygZ^$){otTu ' >ɞ7!EӼ|PQM|xX#v{C1I"|bwt^00E;T2 ɂ߱ڟC(Oc'0-Bbnm(JV7?V#DNB/ q"h%fPK *igQ w^sTKDtD `7.$d׌q&Մmy?uPˉR!ږQSz{(.io`I#iH:E_k;^8/P%iHk4]lиgU^Ȟ)i)2`vx5{2 B\ӱ].e]HB-|`AXoG ՠҭn'3(@k_("R닖w'YjuUPwl(Hg;# S z%[SAZ{6 A&Կ׵=R`c9t ' e[$pꪮ<6@sHQXzc:olr*|2Vگ, 0"\G/$/S9Sf7 `3~<4vl{zGqc^Ry )StzSvs>FuZ=7"ل]x8{q? 5gmLEn+%D|hmܺm`@hN]2X#nWkz8dgG6?ӵ`C-!׋GW#Cyu'#a"~5|0`tH p3 'Z.F ?xbj؞<H)Y%p8KĝD.?zNlVFҊXjZx(t |ͱ7})·m|CCtA Coӭ£aA~3XFY߿0A(s(Ug>憀v~£8P$!/]74s Zт]4+>GRg[˅\ P2OJhQ$@^a"$8#YUfYYE񋳚 W`ivAQ֯ -@}.nbBcȉTLH"Kuؐ% s(||Q[VX>M:>SQ}`{|58(?iG iiMK^KL-"l-o?j ZMݻ'̀T=-N߷p}zCӏ)$ gYZ7zXZִF! "f]ŗXiɟ1˦r!cHkMeBd4{=;'#Y0^$3\AV^\C!p;3JssaC|MQg/iZr4+L&g']iYrvYʹS( 2܃TXwK#g-3 r"űИbGA7O&>o_KV'/wW`  t?b ] k3y_!63y="%i(Vӏ)dKnvEeN1P*c=gUqft@{R qD)O.DcD~-z hn~QKSlTLW4YM`vJblrݵlKCv 4a3CEff[<`vX% RNvv?N<כ|_ kDZIA-68d{2KeMH %Bf߰q<;}p\ޔbZbIv@Ե~Bi̋cu3K8҄kcï} o+;qk;VHL6D5印`Gk@mFؐS= o@<3j]oJQIq3a4Daص |_2_+%/!,vJj]s.C- B2MŁ}oɰԯ&WՙF$'IӍwHڹ7TH2-~k3+zp69*BG';oKdcSxq?~4Q<B(-[51?Pe5J;fg0Y7KR=ZM'&-\zQrnB+KvfhyXn~)ƚ DЋiHl~Epjf춦# ж4{Zse|AgmSZVK eM@j$BcHazuer1);(roh-8+ QcV~/A}ak|'â9V$on IYaʣ[d GO}58_o-%3"Zh j:g=1Ŏ>h0{OgHwUnd[lj+'n5tҩ H#ЍL=bF]F_|8I!?'*L[~_ /‘!k 5 .^7/1)Eq^LXgT7 @a$Va eɃ#b8M-l $8>%#PURRa염WPSQ" kZxǁ-i v-Zd պ2*7/$cIxXNo1i aWg&'nB0tkV%􍷍?Ol{9r >P#ڤCAAD^"4N6<:YE(|ޱkM\~CƩѐ#nt2a6k<\'Jz;zOPh9/;e5UiHj1=iaw"yiHBtJ6`(?ʽK+(Zg\ޣ%rWvF8:¹& 9}"Z;IK\lUy3W]u \;veL@F[c~l 3-ܩ&^JCNC[h6nw`J{8LMY/GHo\@4r5ogv1").+8`eel#$#Zi-AD>Ϥ0j]M*8֟H.%OW[|]iEa JU\Evi*gYZ7zXZִF! ˩e]ŗXi%> &@yNNJZn{$rpAGfns%Q,! GK+wf.TےL"%J?*U;z TeIQ u<&Pa \#ߐ/ 0f*-rALu[2+ ' }W,e<"pxc+]}6̝Zb4ײl97K% e EB*j{Q)K##̠ E!>juΠ-Ʀ o kH͒i8Ÿh2 =^EX\3ȃC$"*L$yk0Fq5@sdo,K4qvFUglPPr\p+)|&҅ Ȳ <ekL IDY<)~ɕOVP̞qԗiVkJ(pݗ˒w%}ļ0{BI.+bّ]Y% 7sԳ?rOhjܙyUhMz_w3Q1$۔xgCJČXqVV}MK3BLkQ{w^ڨAKw*,O̓iM ʜ;"v龚ШX5>1`X&H*HU"A! @q%nK,"nVD9;[ngS@<'9]N6+KS{BDSˊ؟zvYDAסM]Qy?Dvr+wߑږ[u=ZW&w6zcS]%YҘ'qw|swi BTN_E‰/':Qm*HvQ{}=UB0 4kN'+GlO2醙J53" p<⪪ )CۺM8P- +~6'lڼM7xܐɻy-E$ 眻nw(piYD[Dg#8 `#MT {-Ңtߵ 99b4@1DI6 +)x\=!)GEPe2gjfH}XzE4S(RM| *o,4 \9 X ̄@X9HF\ >qh$- a В1\4:VnLҗ]$ 6f0B`Ʋ@J$Sr#,P NgҕWVd.TyCϸo?9q]w }|'iۇ* l#4!1@q>0J[cD﬛fD5pE@W88}#{#Mf7tC9DgZr>nM1(XzVsb6:]. P?iIo_!NZN1<.=j{>)ް_bT_e[}1R#0Sw}H!Lcג*s|^PW?n3CubڰC>A#0$;S јleNŅ\Oƕ.aS}j~[c/t!ZST]eW 7rM#\=O^@N ;~&F'MH :<U%6{*Nk|X$oz_ǀ}!,.Z1QTN*۵yw.k)Ӷ2E1>uIoCІMN@ ϧFI?Z$%H ZZ` tbua!|׉?nLN!*K8wPӵ鄗K/ϧd7ʸƒO*O ل>`Q#ʿPEu=<:.Mxgs$G'Z'Q'߷'S63g07Udʭ]9ggJA >hXJ=<_d$%L&| 閜%%V%AOERhi Yq]N+pf6a(fDᴰ9THTc 8Y=D;{"mS-462gIլbk}V^_rkMvk; |Ҡ! 3R PIZ׏D&ܸSbR n ](o[2ӪVSUzId憠{l >bkzHc 0gjy w‰ђlY4bqމ_„$BҤR0uL7#@*)DFÜHˆR&v0] =q:Sf \̏7٦ѵl,mLYS۔0&>PJ'ii܁a*v}4k"U?\4fpM @韍lÔn3\p!R4ek;|>#Z爫qyWظ>;u4k1x Z4 gTSVG&%cdoF4T2f_X.~}! d%,p(Q7; Va/>Bm )8K |Î:@DG"A i:ǿTMiK\cK@h> ,iMq{\Y#G'ky7T &s=1oVU2Z \Uiqu]xJp 0+|h%{,O8v efvԪ^Pz.y>C΢#C "<ƥ] 0/ m&skb YDJ)F=MTAHEL0f6tL̶}͉JkԀA"]r &-aZF*da92..cɔU~ylD_lM&į@eص;#Ět껖*-*%I7TtRFjp״2񎠛>\B(:32Z缌Z_Np5h6X2pG\dT:b6;2(Xf&3­=C< ^ ?Kܚ[rp"Cm < k~VHTUϢ!UCL-JYbΨ eSc|O+WgiAҘ) .FUPJ*5{b*=z+aD/rq9_tNXfŷ;rza@pnVU,c,O{e, ЏǙ/QDWhcqS,OOdIV/ួ PN]_Q5"uzxil&0S."r,uwxlwFc}%}~įj۬e0Va, 1X^AM}:+JhJAM_Cb[w@u}uPX4i R9)? K4.% by7qHZVθm2B<[B{|~"Y]S{)^h҄_4k̢Jx)]X˛mB\:> &}2K  r#o¢#v.+c/Y,fGYo2RGe/M= ɖRT=#*.`e7 N$abR/EA?fRX Sk+0 qU|l{'^*Q=9d#f/nU= jLUeIf9(n"(ضʲnma+< EUpF~JQAP/n+oo@n, pt+aaF6. մ̊l%^<Y77·-WJuʋb_X}x'Oq_ZCre uY*.~F@q ,YFD0ai޾;uIp؏ 3tBJѷ_t ,/%*OPEEGB{E9.ٮe2F cnyaSWwtR KmK IK!8/oy ҳjWW$[aJV/0&fO}0 M?\C$b[ɇHInQ5{, RE»2USƐʝ0 =b7gʷ3={R#^*p|e .wP#c)A5Dȃ}?%zzab=_wp!0[Hg6Ț& jӏ&/k[Y=c 3ŠbÿQUCBdimpLG9P4˯4pxtLW*x0Ix}KHɇ19R> ]ϚOwzUAiZpǠyi(̒)Egi2:E UaxJ[ͥIZ'{N ;Yya Hv=F|%C!Q7f2ԍ Ja8~@ve)L?wI5(ow°5Iis 2.Yܶ2;(7<u`Zxz3}Q Iӎ_wL7{CT_^F3%o0Ҵ'Mqc|NaJceM/)= U(~+o21@G@x=2AK{鸔̝8e`y`~ߜPIrB,4=_ =OԜXDiO&e hjNk(n`cu1Btb5jwFQj7L@IRbP#~Rp2e;B}1⊺ k> IP%Nt mDU&wzNzeC!ի)C+גS IR=񴀯ҔXb%p;R&pAN" 4*YcA 4NSII*mrr=Ǒ;ܸt3RRysOAhF+P| :I9^s([0{_ {_1d4)Y;LWa-x@k;+߄(gBJ57J=r݁iZEÅV;ѕjzZTPʨqb]7)G2 kE!ff_ >~K,e~#>G2\(.[u~3_T[R 1wQ#Ln:}Y{pdUPGDZ%sbK6R!nح,֖>pQ+סHwZ1oH;tHl\2N%h-6dm]SHaPe)܃6H -sWg8k-$`IeFBY;\>ؖ,lB  L SCAѐ=VKpBvm;7xj%AaNiSb00 P6֗4 :{,BVqVt>wybO3E:SXn`+>%c0J2"3b`pTpn4Y/^Gy2nL=z~SОd*M _F+@3wq=+:+LyD}_4J6P'AO(W0`GՋ__tѮS }2n9}榻^9Aw1sChxJax+|3U'/hd0 c`wQ|wRPwFߨ-l!?Q1O TR?q$vYk;!A7 HwݶHqA>@>!); fIȠQYCS Pmx!s!ee,fnB=T;jbK.`$t{a89ܴ(Yv# AR“"qsv@3֏q7tS^_M\`cP^V^3>!X)p-i[x ^I(#iʚ`Dh4O%g 2Gzhf*C h0XV2: v< j:z؁^88V rtV:G W|4iblr4)M3!߾߶jy)hƿYt7[>m"zfG#;LXWngw6tUY,8Ahcmz# C0J_.-3S+Ws3X!_g}D2ceV-蜶܊(^ 0"6U!&zMFs8qiwN"< 6OI݈Зt3ت2s2]MOC?5W}9/Ŗغr Qې_LYOd@kbN4D:s)X Krَ4[{8pY!;-$ߜ{/"":LR){.~A?x[@q0Kq{UW[sqf5% 6Gk&ϓL jkPS0rq~Kx+]&#ӓk_?v {sY%`h vaHE3-p fެb4tbi=c͝e؁ׯ(zs-8Jt"&gakg79ŵۭT2*8\g8PV<&ʓKRGl36%EVJ7GK=M"MDqX(BU~kI-T- +*%;/Zð4l!D8O0&*W(;;v14 ,d֏;\Vko8@=zGπ|qʨ}"7bFb}Jʇ̒zh:AWB':=9QӬr\Marčo!9(xXhZxLÞԶF_z@c r@q>QwNj&A:kFθoX#/\ EzĆc/渏[c$|En/,P>. SxցlEFI=G!(Oz" Ȓ~*G2v8}ɧjktMcFE4혹 0v _6i@?~@7l7[]ڑZ﫰1Mt(Wj{96%Ɖ*L yTDe&GMRZm-Z}Io(8uJ/ME6FLlߚ씒J=D53'{\&a4: k5 MCAwwȄ`G#u-9 +h9ZuO_/&Zx 4&&`Ѝv̻߂Yd$Z+VG:h߆SO =[E%7R9#W- lW]Z/e^:x>hBЊzGT}x~ȭ_n,cci3,Z!{qCI`"i4sC%-0V57d8,=k&)wW_~GbQ <^PQ]3nyOT;G9bchgDT2j]ޫ Hf*_v.!xi ychb7[M8\E}evG,t.5f >IB߭ӥyNsBI!|3mrį qkR-q|!/jo!GF?WCFr`4ّH]X1,i~"_C$|&Y~s/ u"UM9GɕQ;dA&;PE~S @㈂@iRw]XׄԚmjRJ8Bee2H* " > b9ZRx_\NNPcb~ svLFpBE'qOn<NL>Jj:ΠϿ[֡/;0wVg Ry4a1ڴ@0C )aD}f"υF7 "˷ZοX^!\ lw&kȮ8a5Ͻh!]2C~#$?;(0\ fև&+@w3;7Z1}0d,k&dQa7꽬^v{يd"HSlo= 06f';ķ?g4j{5Omdc0q]l3/ov< "ߏffF,^yING;O,%d1ֳ75 +ʥG*]VA%'Z Z@K{_^`Ȼ7+1\(-7͆K;ko[yZ]AvÁ4]hm$'ĸ}o_8%qRKLrbKgq F@+~ o-]A5]jfOVoh@$JןR 45V́GE1hp7<=IfcD6%Q&A)Ae4R9Hհ^O5e%?S)14ی쿵DF~/za D0en+ yTɽ4[#ZV8%?'JзjICI-J&Thw_tSKa,S.o F)Eo@?q 'E>r[{kBQ\ϕu}]*7֟ܒ$"1Zn?;=' n}eI@CS;{2fW3L>;ھo%1P <1I]w5OJea5װԘd+)]oѨ}v|CWj})3Η߲GxX'ۓ.^lfA&ȁNXⶻȕEI$Dڻץ$1bPm}pO IHɤĮ,W7";¦A} yWwr_P?mzq7#%6T^|C]8"hu0R$fXP6s>8ởۙZ-h`8I#։QdUdx+ҧZJ'~pQcv9D^⻺{Ӥzlk)t4(U"%ҏ&)&_A G$;:sRU.b%ք ̬8YOeB3De=GBDC9r:9ڂVk]ۍS}׼("p0@\f> 5%E'?69it"!8Y!IF;yO7HZ@ 줋^lKlp;^ݯP/R16*XW%QwE9<@ {68޳2y1P nR"kYkXDG\ůǻR}j9;aOQϚQ*`TrlE9艷W<^Ho? 2\s6N]/%#-4MDhR9-h,jt+i W,+( 7䔓ivnW,+1'\C 6\RkRv@}?u,$G7Pj+_)-}Ck1OJ`Vs^d`!p Mɾ-LxX-+* .U 4zĮ:rVl7u@[1)Lv7et#rxSQ]]qxKðZ˭&' в Rf(v] 4"It158m0\ȕz#>.13T=Zlh綋Cb/h|'˓[xdth~nR֧h f}$xͤdu\=(ݑ?|DnְvBN{,rJ(46ۆ]i(=+7{b^Hl[1FPC-ocƑ־t@~sv@I{w?bH=P_|)l6#NP ؇8 "z"Il݂)vbxP힄 @s?ԬD4rsPaf5@)]X.$ۊޑ;Jo7Tn_.F#78 o9bΓs5u*EXjQ~vIo~*XCCci#[$Pc6NP(_a(q uҹrs{Q7qՆ0cHrAǞyQp5[k^t U#\ԛ%P3+irSE|Q4t!;4d2Er)8ˢcO+lNxYvyI_uUoeXý|Wx$ 5 @h2,x[I3X|Ŝ~Hn4Œ&SsjmA–\*hpK1a0ւXjX8D)NHl+ڠUr6d_+r\m~Y:;NK(l)P_59?s).40"71(g?4+$%3(1{ &"<߃Vf ~Sdvjt*\t"r]v%Qj]}a Hn`l^p l`dIq[!iҮDaɻ uo])T=l=za>wÓL5U/,u,c-]2~3W A:ܟbmҹ3Z\̚/Sɮ4E6ÅֻWCJK. 4 s5*H= YJpV?fQg(D}-n?a?ÔM2T%KXHfC~l3~ iyu+1 v)VM2`Dxח/uaJEdp lo5 nԄ=7A()zM4=fhQ,i͗7nU^}S8&9kRw v v+-T !N> '3 NXNKxw*bӂ5j+">H;B4:珬5J}ߚ<-*O 1ro#fQ|roH.c`0CWK,!t+N;'τ`PH+@L";',*m1aJv:WtmIK]xv|`sFW:Sl`kKj2c(#FTqn]># :Uj UVΖ +]zjt: cMS"`\EBKRa'w*6aǗ"ςqNB xn)W0_s2`C3hKP Pu2ٔ&5B?aؕy-_r^ fFʱBy-)K̈ÞÂÑdZx SP!*./K,ZOQܥj5d ]qQy.6"&/$)Y=mCJxEjlL4gْ%?@JUemYC Lĉ8)HW;'5c?T߸+:j$[ g0r eկaa{y#9Ɉ)0C Ũ28 F&"ٶNLP$ 0BGٚ_8;]-$w<Ǫ1W;宑p| O/:e 8A;am1<ZS"xɎmS~4Yd*+Ԋ==NyQEE:GTUO[H})hCkߘܵEu9  DFao= 6\ȑiA$(SN]J>Ä BR,S$w ̔}/$5<}9!L-pkRVdϒI^`my$6jӨ5$(8f\#"8Em[h4Grv~ȲiݞҬ 9G2=WYu=Ey&J%A Mm)r[ktW %RUfm\!f 赧L2[;'})K]/8FnhrSPO;{Z شFXO/FgLԯqoˌs/2G*ExQFVQ6ҳBEK̨~MwW7T=^,̷<RCil u~N({۹|2wkHjxy8EZ4,nsϖqH>\KNx2*߰dX1èPR"U<πqv0s'T{28Ihah0a ^J~tK*O#=+SA< *_=Δ2w&VCs3~L g x=';d"@)l:\"I4I"贴ˍBIԪ׈M~<tMN@ d/3]1b ) ~!߭g|qx 5yEBRyQ] 8dO5xr[0&` nzh;#fqVoDQRA.&V6\[4Ѣ6 M˩YD L:X7^QP35rub(\qYTOHث=sJ#E9ys0 DZxѻ,\Z) WK66W6Bol-{k“+m \YE~nUT]NiHȘԗqEaYUئTMJ i0XGz;8Q=*23B .Zdrå垾ee C[%td=2-,Z8o sӢ/;b,/zcA"M+0hR92=d[Qr w ~ctjrcrp> ip Ew, 1MXF j8 7lkI(ґm`?z&˾Po YgSreKz^rAu=KWpe-8M8)uDw.5/_Ή^'a`ɮY [zGπ)Hs'k['5) 6| Pb"W.N84S-U;0cW27!ZV >e{M Pi[g1x~Һ 3[qbfmt@Sξ5u;Z@ aa# ^y bY &0vs=¤u p,yjׇj0` 6jIW(͋M3 ȿu]`B37l,@̵1 yހpJ#Bnh)bsVО`ZlBE?AQj&DqzmjEyl!G#2(]f٢C)Z& = Τ1ػ#^^>DCZT;)/}zN25(WdWBcWYVZYFAx $$A4gm.)j*x];s4kT(AE]KyV?\sRox;ul%ۋ)~ɋ]B7ԃՋ1Yձa R[BJp^ț >pD+jgAᇼà"_plX.4gfچA: [xiax:@$.~6kLNRCM8 e}XY^1\_DՈi7-ȟTV'-g a'vk0e3] @0 l+{Ʈ/4\ԽecFbO^Q1S]MNF^iY' -y^Ac0\jxtK.^5c8{]Gpm]#Ui!x]f/ XWHfr+-Wz(:V;NꝡO;~UF[h[9uuǭH~<.A"bxoM=<]3w!E+.L"O1 2#$MӤS:L2tz԰- O{č[doM^ 6}oA0XNиRց1c>*"eR';&V0K1H XkqcLGMse+K%9fz8 Ү_ϩf> D8!_cpvHxх&O6\5L[&P|N}]UwB-?(M D]cA~.k4QOһژG[ \}<%z`C3 ?v~8A^dDwdwDk?C|}EUQTP&E&iSA ,g:.Qs.)KaF"ޜGygHdBeCyK@w-q|[^:qqWq q Xz%O?YG'(kWhQ$X"nXpȮ2F̴ z.?hLK!\yZ`_%g:Yrl@Л.M+:4LvT8fsPgPn bҡ~سQw!,0K ڻB*H:N(&rx8qj 륢T**Uwq ) ^V{K5<i-'f#! P!=$Plɟ}>8h 8Ij#SAM(,>ڒCn1sl#i $"NfjwKdԏ J-ʾB/u AgU%4+@]W2E( #ZB11 xS\: 9r>% Z߄"I˗*|"dG=Hd C_idbv-U<#B )鿯Y 9&-UG'Cڍ!}db͙,wknk ~c>k/F}a(.ut.i<%ho^[<OPډ< c9i sBRٟX»X#єhX:(ikdeqnGbk'+?Q)"'\d .RjXcX%Ɂa[Ý[Ñ#Y^3Ny+gŶ|bQX|R(l<EZuS&Xt txëmUPj~UiDwěhiSZ;FBl`L[1{3Is){/Gl(Tq4t6[`Pv3]Ita"0~.˛AY2׃+MS\5MZ;usYNb0[MZt͹4ova%L^az"jLC6g+czjoOTL|w h-m7u63gfiN&"QkZhRZWY'l9{~UfTB^@JeYF<_T^ 1Hsը7+ $|Jt&0 ldb]BJq D'~)'N*y5mGPQ'WoR{҂mUx l ţ@ibS)A~<6O_g[ĸ3[{<[s]q-Հk"H+Ro1ve.F" 4U*I27(ǩJaw恟Tչ>fN(_Lܱ!k2lgS K(N5"vnȘ/Ff2\@,Eal w~:"6tw>Hpթ ~:k&x݇T?1G=_7+jݓŅh5j 鎝Ȏ8&{M]xKs١UTGI*U?pZ^E*ՎBl;Rf(' .w[1i6 (;G Qx Z7'-5 EAm%i¡LSRR1h)9~9Թ-W W5P},&zq!PKÑ%-'HJĻf8o\9w*[=VQ%iWfۥ辆{Wby`= u7v:X?oငƀވ88䳀i0kvㅇ'=H+?LB߼&AJfzLCN˓nbz|j*mX$xR[%CV6Fą"nwR׬u,V OqDH5h\ͥl%vZEO0+˔R-92^ .d7f,1i4;VVjO3Xo0&$ ʝ5z]Duu{#W׸Ә-7pr*H-M-Wa ) 1+}˥&ʃ6H kÙ3!1,'{4g3\hrmo0HS-Myྫྷd'Rm@ș7ZD٩P*MbD'OsyxkFܻ"݌a\d|.q.\d5 ĊwC.-gYZd43c3611ea1943e86a2e6e47b0a737476ed337d0542cb8bf72c64bf17ee67b940a85e2465d851528 06cb9253274f1cacab108d3a867c2a08aa7fe5fc5646127f6d3d44c6626a11fe13c3b7da2a53f66d