SQLite format 3@ .0:  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 L%d4 ]/]HOL-Analysis:threads=6elapsed=311.285cpu=1529.704gc=55.400factor=4.917zXZִF! KL]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D.5q:ubmG~Gyiuğۦ0:a9c;1ݝ[M:R t? &d ?S>T\3{):)R\U(r y7w#(` 2? zB'ޢCMp%MӀ{sM*Is $,CJ7W wݺD?:֪58-[}^r9Xuf/‘: % HOL-Analysis  |ݤ õs#!Xu@6k ^9KM4[X[hRX&DzB/vw9`מ+ǣh@ 6HV/P=0GxLE|9@޶-6'oM,`!yf@,G<=peu7N\aK^H4ڻxM `ףiRu1#M@}ĂP>i̙Pv:}*<𲞝+r `de뉙5#zAe GYjjO'w9Zf8gJ USDn_7G3! PUndbC>4 9iL@xc,CAҽ,Hg_)HN=AYx%.jb L},'/sk* ̄T2^ t@\~a'ٮ'ps$G$۩Q~0 d1.S۫71J6Th@˚*bV7m̎xJ%b%N}}vo3דlLWۊ=T]m"L{Qz+#r$NE-$S ڛV.B;iAkķ]g\?%^ d_y(,:m+`ٲ&SoW>~>[1X!((('A/H.Cj C&"^52BXۗgq2dDlFGe1U*0ue$_2G)!CZf^tAWA>c>;#p r^'\h s)!6VsPAW_餛lȃ5 .2zX.^!>΄!͓!a2Ԧ<`r7Mxi J}Xe?כ[Xsc{l&5x8-~ ʗb,f6)EApE>BRV^Ru|uBE/=ZCL"]zM2m>(L] A¥\)) BI"3d ?yzԸ: ., H !m9V]f5ohNmYZ\&D^S;.?K6wƦlD,͉AW "A>xM@me6)SPSt?[Kv{Mg)q6ahECW?Q*s-`Za+tAc2uÖ UO%P\,~I.9aR;-_P923>ُZXy]Ԏ腻&.N`ڔ OXm pb80Ku6[%Ӧ!R6kw@yFMj3Mrox\yI3fbNмpA>leCi򗴋б`U؆oS{Dly#3E/|m7,2N3ƺksRH'Ae8|sXbR=U&A+܈#BR{_9YJveK.>d$z R@rE#٢{O^@γ1?ʪYkɓX7E݉p/M rtv?S65}G Wp־lddw_U: ؏~7fz@_7ݨh{qJ%r:.Z܈YW7EIJ]B=e 7{|>iWrؠaoW]"%1A91̑v~:z^?9 |X lCz{c ?}XF6(TkAdA$6Zl>Z1FЇz%sKU^vr: M *O:]3W0ry)Xhƙ_Z`n]+ݽၫRR鳊m)6?Q/_hVq {: C":BqZx6{gjh];rZG;AWF$K!.N`?_{7>xdQ"u^uG)%i]9&Iq?`-u_>,;7/ 8/ xJкml/5G0ئ[$F7CBU![gâ4>C\al޹'5x۞E8|8remȃkf= PM Hڠ3, mRυOk ߼ML~XšlDH&c׻VT &=C3;_N ;o}"4YO0G^hfY2j>?.]M_mvN)yU;t` ?bSQ۽AJȥT QZ6c`?^=e/go0<Ks<|[ ,׮/:LF sEltx sq_6HyA y*U[ޫj'S~`;p%[J=sLԢnY spwi%ʌ>|(܋|䳵s`V&l\5uO{:)UZKF]ߖ?e`@5q!1Pk \DeOqm[ISr0Xi }A}8Kʞ2= O%G+`ȗؒpe %y+cdc>΢^~(8i{My@'56ID3CbO-I@/Fj E7R^90j2ROQd3pNwd)ܤK \B6F uq0eZJol[S3[lm3?$cD.ZjdLwY FNy\ P3AxDnk$y_+WZ6WO|pme~r[pk?2igz)њf]R]?g>| W靨YFՅ-eOgʆi$RPeSeHqp㻂尃f|9xjC ש\O *zD8hW1oB]by%dYW0\~sd1 (qdq̙U}A cIG01 @~rd *zhB:_`]C1HMImѡ~XJt9kh$?tQ3aZ-\@r7"֘qC :uAEvކ8z Փ \ZC ד&)zձ1"HƀRP$GFi/FZܺ"O y4?\i>@3uyQDni,[ Q1}\~)1$ɤlo)7t113\9%c5TIc,DY8_ȯr()g"j|¸CÿfL2qf~L 6W% hWߗ%mJu?R[!ԘMVMZ z1);Fv7~aPLf7_KO*-" T9j%NG `R0ޏgY^1ڇ_Ҭ%9ITr'Ow%Ŷ=L(P+0Qoni@I2=ZO`S Pߪo鎓E^%|\'y!J˅j&ěWxϥ巛03}D]D%hv8L[ucxh_pw’+/ڀ=|3l<`!_3j߇zt}uja8#onaěfP{@ZZ\F>=KwGh޹eQtI9G\z ;y@~ b̈́mH9]eCdw^CS "DyߵN" NIx'ܫCWM"_WxP.|e;ꔣBҐ"7Q@Vey!#FߙܱݒAUv Y ,1KO ?XLz0HkmXY-ҘIN7aMig EώOAjR<lz ka!/~W);p;< ڥ&u\ӨJ?Lɤ2*7!jv3LjܪK#nT fn?LS1huo72ys>A MBYR=:Nr.r HU~ c%M.9b :'c.Yt|Hr67M@Y{IN9b{\ii&8_70[]G7-l cBYYx5̊h bɺJ[}dIi.?jWea/ s溁@ /c/fF>+[ *?Id 4u`PWIFr]R/!܇ ^ ROSi飀-QنI'w2,vEX{:r*/~k|E3348Փ0Q^v-ڑ0hR~֫_;>rSLseC3\lą0P+Vjqѻh`C}b܄5~lFIpdq'(/ xP~pAշ3K@~~<`NGPit^l_t̤7" c.AG>қ^J$4֖F֝V*'BXJjp[Eog^s.4Բx [Yz$7}ͰG\^]ߞlOe:K~6~ӯL4|{17|ܟV[x}J#%/ƪ\RجxLqɕD8o,>Ϛ/T; 60ɂ4(bqD]2d [gm\<C[MۣEWtȒK̟PZ.vlmfF8 qI}ڭȹ==cZ΀-3P7tAK]2K1nAwjkj.㦽2ccq%PQԈJ+ ۱xTXaefK`W֌C\o5fg/gt^Jrj_:44/8%Ȉ~bߕbMQ wFKPy{)tli XR[Xz|t\.d,6J٢ޝEB3Ο~<]c7zdtje6l~]t^Ɛ詀1eٔ2oۖvigtEFX-C*ds``#4tۅ:-gH/ӹ ;@[xiڊHu8wb9@'*ɼpc 5J ?p*gV ٌ{i:A'~0ڜy.EmXב:@v-*wuX?AǑq Ua,/, ]#U7<ߝ3PvL%)yF*Nm?:{X)H)[3'Q!,ljw|WkUͥKZ s(5(]f;౩rE`y]?$ cȤ>oBJ|#6[|. -ߔǪܣh4f1gzr3!aDzFzp=K6eԍȋ)}ԅeu-H>qIJe\ҌX/C!k$UoY5TA"Dž_S?Gse.7buN8ȰMzhRIvo3'N  QfH&(@u 2&7" >#, ] QʰZ0^ʺaᮯpZs,ƃ|0\l5#47Ztvom!(9v.W\k/9W1`ԪY"-`]'Ɏ]H/b:Zm ֨AŒʽm1PI_ɖEETuݾ*fag-z )zq%űrbZ&0mYT( GB؄>aws罇q mXXsxwǸ ڭx;O?t?_#d@J@'0nG)G 㼈ZE.?~*LO/ Jd>" Z9pO#Ylφ+lWD$suzN* 6qRFՃKo\a V+&!t75gY_WO]'$aArFE2>Cʂ`%ҹޤd2BѝPKn\^<ŭe?1d4gE5Sv z]qVbՎ6n)*<^f#kdfJF)F&;(O}`IECiPm%չTEaOFbc02ÇrGYߣtOس)b?FUV<ӦK_IH7+"w*S(WHAER5|Z5<4oՊX 4ipD:NÐэۥ㯙H!l2Pk<Q )=}Exy(PW~}y%-?)J|_VBֶ̽g5 XͲ|[, A!Ė%0mϮTiƌⲔY(FGk{BB[L!Tpr o#=URJ_&J]9%eBӃXyO%q'`t&FL}Q lIOG_;$ADt6sv ==!a>kEmIΡckew`kG,T) 5&}ƺfp݂S g +p3JL01<NQWS>7 ||F`\4vDLe|h}َ~EWN6v4?&bsh_/wJ5_9֘n9F,)NQ|0K AR!N7[]"K[ 47S. z8 0B0[Y'qBbZjJPxyf﹁==٦HD?:q[*޵5cIpw0fAez'ItsY9N;?мs4#~{yD3e"Aqi+uFx@Z8\ (h*vh E]@N_nRsωQWs&AG@:׻!P2bgjcp?KY] I iT ⮯i i<8;uϕE63?N\fn_мRѵu_W.d*dR~ٷ. UFLEʜ'z_7/bun qK>`$c(N:QDPg 8Y qL syyJ 6s*>[Df|ȿt(K>5o)p 5aUrE,L|+]wKj JL$[Q']:ߦME mWV{ &t^V2;Il *dQƦzP *! k).Ov,jGiԺpwI2OMEިP'Wo@sFY ^<ez"b>6|C(-`D‹.(@ B· J ݡi pֈG!ݘԳ_(DV+)\.r Yox ՋϋM*Yv땺ˎX9."STϪn.&jң[\`Q[4m{pw)\%>ʕxP8jHH3l }%̍ eC'o'A67+"f=zӟ!k9 ]D}N_fjΝ[3f:EA6`s0q+QPrQ3Gw϶32v_@3ɒ1j\?%.Qʌ yEm:EYMd1)'5HZxD|\U(dɿnJquP&- }F^!t}[Q0*) hD,Ht1!WH:Xh?(h}iz8 ?;fYX dw*0LnI ,ݝA2G8qU-J 'bz?V#!UGWxP'&"vӊ MxhTN׺dwuhS_ێ(RȂnGW7ifm_#g0}j֠5 4&,JJ>`%\ 0^W"h>nHe}pQ!sс$ +(S~6P ԉt]#@u 0BBj&r pҾ{U@676_=Ru$2Ƴ^olgKZ`jn8#"\fz֬'$D8cl1Y˂Lԁ{[*}p,]y+xJ¸p#w$O8a2ǽ.NZ8Ae9]YCP3 [;Ou>͊rH&=;ثb}3æfyvѥң;w75?bh IlG'LzꢄP?-n/}xթF:!2$X^O>WBY:XV&Zw`+b:3 %1ۮE#1ҷ5hor^0%yhm#ZKDe@.}=}u_s%5Bc[rWef[.h "%|!S@3f&ˏ'(R zG( Qxԓa>3{cH Zc3#a)~, H~󳇬Uad+hR|r3?G%(?crtNMBZL'5 " YuH)b3©u g| Wr3>Ln؄pUQƷr>4Q9^u 1vo O=ZZg >ChOvKMSr@:)%bE(͚* b"[L |~lfWiNr0y8Ye#(W]iJj*ng]N5܂ jŲYmL+c`F 'Qy&\h6̈́j:Ș̛5.# ϓj6,5n؄By d6phj‹nƎ),+.#eȻYaӉ@*KpX8ĤfF%dMnOe#OW9H4d[giG3Y3V~!)T4"~eCc"Xfp^ck;/=*iPKU WK9Pp_yᜋsƿ v]6<4s+~Wݒ(s߫:a*b@!'\J_h/pNͬ7F׭"?Fe{BPRME[l!]FE`z'v\:HMd⧦Bo #tRuSb*c\@$eH7uBLA}LSlyl&5Iѣ&֥@ ` 8n%]K-m,j!DpK_$=s/Vp[I7"` @s5?*^hqou?į$PXm t}(? nXJ+N֠m[^@*U&p;95 `YC(Aa}ϋs@'&^!zWeeD\P7\5V(cZ6!lv:9 "*|2]\L.q8G4ǁ< |=cl43VP]@_DhY` dA ;{ FK7F M=+Ve(->20!os[MzGEUyWE1/*MUW+4/apss*nYL$jUӹ8h?ߠ-G!hu$ 8 вSHT9=Ôn/o2k򒧔ۘJYL`WhFBhYdMBq[)frt)DJg}0xbؽ N81 ]!R͝A~qHDg.ca=B9u57Ӊȷnook2]5Y v6蹗 fN%:U`)4"2Lhexҝ[D'mF<*ubs>*ע;-  O[G>NN(Dt(:A'c&côE7`رm=FJAN ;aΙؐ$؉W1=Z?uڅgmk2Hma+G xj$/m(,=oY+6Ӏ+!oV)5I"@eΤXyY[M l,chD-GM Kʩ }s/yP[X IN {,$9Y"R/q,:R˥ ]ZZVS5JLVTE UTр^>>Q1x5/I, heb$vBZp&E|(M ɋL*D'U,8["& U ڝluf=OH9ӷ{zЦr&kJg9%ˍ?$G3Jw5vd (.)%ҮEl*9d5$o'*3P\ty,;ήAC;l0pаdF$a(^:'Sΐvy\g@VwX#f`qE{"叶/He?z%Y:M䪧Zn;Nahf\{=$~Q͞IrȸlrY/.]2t?afu&!!ħ0N.9B]>ՙ, iT_іw NvCXӵk>fOɱ$?ֆ eB:zj^ 8a|s)Uo͝b/o|!&)p"Ș4:`Y6VRgT3ȃ8sҥW2"3IS>k+7&alzG7}ٕbpK~5c b~K[Hl5kԂ~Tos}J 28XrkDк-I\ }.K৞>GXi$:3,\3t\8^M9jWf+ #Nx9hQ]mS;Բ"Z7cIٮq@xvr {Z֒* a .;ʇ:,IZ %Zp9b]Wf?գ'$f;Gخbms=3Enu S52DMu;Tۊ'4W!WQbRLCt ǟ)iI`_f9sZx<5Z+mt@mG%Ze;~*dw2h)kd%&`֠dsUaF_]~}.+:@Nr,{QWNQFjxvc49[̌U"ڿt 6?9oٹ|N~,E0=t{uQ l=ކ] ]O3oh\h坢< ͸9x+t^ 3PS\rmϿ\N%1nv%ܰ^̔E SfC?k%ң 4uF Jی` T³}SuʢY`,'wIJ~/yK_æDI\=)X-Z@]3T<a&VMgu&N%j XMf$AGI|oxo3S4TJTZ vRLhANC.87!k1Mtg){h%''A`XKM \)j2~:1)^a;W%`U oR2^})9X{XH5_HLUA1e=Ya3<<X%#O^X+^VPP*=x|eI,M*W Bһ4~0m,wIGvD1񾺜4ĔU!~p^vNq"q[t!b٥39J\d5ʹxBtLa-HLUɌBiˀk~aoƛK=X}S*P"#e~D=TڨxǤ+ΘW7ZڧX"F#;dA@\8$HR=z`NMj0TΣLE6F oЄZa4a$@y!>LVh۴Pv-݇ "ѳWҭyLdj B3 12mTq[r0A$=o%Ah膳<̤Ou{Ν0剥TY̏Z/\x 8Mn$ , :?赛3|ZZIުݤ%pHra}K~8M*g l[Bm YhM'Q6. DclBc@&<N|1`ϥ v7*O%1Eq0AAH?ᴚDr5x9?mzgQLr@c 5?;(ٜыW."Ax?aG7T((_^=R! Q_*HzOX@I?Tu -qn3K7<Hݫ~[V8!yW'V0tɺe;/2:%:T;2)Qu-8\s置K4Թ|$\ n#q#$p}Շ^Q٨VԙCLe~qZ! L/IPWNPN7N>9e<3]ZSۣkLNC?:6ZJtlcQR@섄}ۮKæ׿})6v1}p99筐p$9a+xlHwG;A6V]Vq$E!|˪xFIpnFezN#iXj+" M,ǭrTHXd(T:y/ܦI OEn/S5K=Fo;4ȚTCljS^Gêli"tWYDsݣfvލ4ieC%>? .3W͘m[db @P4ġm/Y# [(Co =1$9G@#!bwЁ5oʮ1Hh4 Kg}gCDߏ0p"fA3Si1sȣf2ibVԾDهR -^~25I{Mz9՚VR{hl ALfu|bvq|6RMu jUy6Ld&䡻mRap7׿ۛsQkK9L=Rְ?>ljLҪ,Rh}?Gdst(*EP.'Eґ&M4úG}5FwNd LBS4L =%hW .Fs_FY'js̶:f} 񑚩aN)-r2'I#|Wgz\T13}1R~U ع7;eu' /E$b+N-_x5Iޣ`cD1'2-dҫ1zꑝ-Q\e4 lvڳgK^a'6a5,w:bJ WxTclj |NV+#*z$Oo>3\O?szzƴARa}_~i^ló[xĜ5:͖|ƊSjMhv_r7=18Z3 ~(?40ȓҜt5^*bz` w`p]]ϴO^`Ʊ/|RJ}|.!y`ukqN qD^wWzyrʀȕ>rC瀃zjȍw m&}1kjFEp0 VXg73"^5s;3  pXj=谬 -tzth=,jQnt bk nGu=4m 5#XWC1Wط*&ebȉ>,nxFzA,1bjFT$5ßSѬG p z!EWfDP0+)44r(5%'XR,?, J:MSԣ<(Ѵ96M@ޭt#>W. ӈ9=(QBubկlTgrJ#t]яO[OYB+nkG?mh&1)'!Zh˗WgD=:f6{Nƪ]|8q5i_Jy}ajFҫS?\a =)avY$Zwuv}RׂM! X8d@RG{?,HF:WK5=;,ǀ2un &3Qد'~l_L`R.uT$_z723~sعEi".`Hi`F͞b1]SY_Z_죍>cį 2M_unF̩]X%#}C"צdņ&>!5D{`=´7@Ĉ$u_Zz?RN5ZQm8p hUe+@MC%)旻`ͺ,nP:aUyO`_)PٺxإϕytNyUm>o:;c]6~h%hvY'KLim%ԚҼIy5}vQHC}eT 6L+qePEzlj$Fd{*g^c)J1tt[YګfjzNʼo.Z?z5ԹtHD@ JA.oQ4Ǚ̢D.HgYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4ba''n$ndLr)xSgx~7͜ }S>svN |^Z7F>I3jn3b®/J{R}sj!r?ŒNLnv, PE(?=hsGDPȇF gf 9?JϧbP8gV4HC0ZJɨY$g%ryt(T2 sI@8~N$.D8Pc=zZ, W}[PZa45YcS) у󔶚'i+;Či amYW_`(- P z{VYٯo"·35f6a&tGKˋ:^cMHoH\+#]`GބQW"dbB59R{y2e4| n86@u;>.2Ay&02Xh$ x`E_sp;fךYze~:ПB)>ϒS~X{j\?p2"'K\EU/:\l ll6qY1#}2pD[q;/j߁Lw~ibE[9A8o}vlȚuNd0~-+Z[@ˣ ^)C*q wQ,vzã"ӑYe1ļ~y8֝w ukS-&CѐFpf i[!l3jOsSu ^[R#A:ՙafV!pMdFv_éd^;eJ##czo6vNM>kƇZD]&׉&*Oǎ+oOޢmWHT "}fˋ3̞L|\Cl8k*ei8N[/ (r;ﲩ~fURgϿ&+3g!~%By}Gtoꢽ(e4uH HW;.?75ƙۓnސc#r} RV& 9Ka5}+%xfhQD>MohC.M۪԰g-|2DNњއr ESRvݒue٣HC̅˛G4R⢙] 0ƪ`M]-(TZN3fp׳Uskc| o*cYn$TBwη1f4 VFV.&R}aL{T'rq@`}ݥ4*xkn ]d[$,2<(&'vc qZ9`=H.e'Fz'9WPXM PMiQbU>H@HDvv1m4UM% 5ś,g0a #M(c:y)7MβYHDW[`padf!K-N/\[*7+r#O^ x" ܋!^WA>KbQ1ݲ9 RgEo՟%~UɳOM`Cd9G {#:VTsŒi)'AAN^Hqc,a8 7Z;"ENA\vn_X+Ghk˦5Lql=]Tt'M?pD v{EV6'a:^N賰L}$;j@wi0I3ғ ,5S̎'dNbE܈sQw>?`Xp;fĚBr[YMf`3OMNsęk7{j|Sh(H6[cr:4EҖ# S7j"I av[0.!~Lua ػ쒣O%cĴMr;fA4zlc+[*lFo?@g)%A\p99ц+Y,^KIn#W~(,, 5K[#]S$%^+XXz`FnTxWLc>[[49pUMZW yԚ_Ԗ;)p64_gPUP\sNչ\eCLcF=?so5#߆A(20Ľ@hiC%SCxJe4ab,W<ӍIL2 XE[o0D|y:svMJ$i&#X m+= V\I;Jfܛ*G$S 0~נ s=oZ~ #^'ŚNp^qup]bؿN2PuynbLԸQt51VZVtv@=MStXR$ MBe3a2;;Yu[J#Eڕvi6kp @0w> %⿤  _wvW@ rkH*\}K6n 䴻`-&Ŗ7?s]@#"hd`ʑx>u?:.n+nA6[ٚeA n]xn[_8fkMv*9 ҕ#P6;jBMx;8+NT΋u*޺ci Da"l~khoPI &LtH/~{K]g>I-xC$ݣ.fyF񺥢Ž{|D9kIB4vUJJb'/_;Ix5t J 먒R+uTW.2Uxg>She< @2d:EO_N' lrp>§oE?ɹ+tϜ-f J™(8~Dg_IUL=ςCyJz7tR6)pA469S(]"fA@h@^0v CEdd mR[7.J?ſegfa0؊l ^-ZW#;IFC>Zn(ſZU.\ cL9$WS?; T;ɝMw}驳y$@1gϋM3+7 8\6z8!3VB$k?@\7r!ԥZ)/j9(1FRho`RSH_-}1wmB.yxo5 x_Gbf!vic-ˆ '${/P3@+R8rc?y\xw/9vykAU6IbJl%9c\ Ky̭]/yoX2dB|WDM e*A BxTi_CwPie<|dggg[`+ahc3V6Z[KGmdj>۱vV-|XQY!c{V[W+cxCed)G"KB1kUm.2 @[X?K"?~e_ZMzIzȖ.]7 pT߻ (Ѥ~j{!Nzп?@V0̿/ < y&("lڒcV{8OW,wȕ:EA:QYHd:$JIam xgSTzw< ܾ;#7#'=ڕ #T  hXQtTe<'e^1!5{?4&ITem2J=\U .E|ME33$[w+ll>*vƿEpڵ{t( @7"8\ϻTlPy~k}OV' 2:T ny(uYٱz|6./&vGxe_ezcH0/n4{% rfO'1&ͣ$n ?lLSkpBbБl$)[*c/AZs+V4Evæ<if7< +-Y_lθMys&tsci:*/^&cQC0[b $jll\m"O ~?wI L7ѮF 8TDUc#c.kx{q+480MpV(K?@ h؝Ze?Uy^cVrنr{PɈɒxx9;t܎b ;SZH w 8x54Mnƣ <n$h[zW#Í[[P6n($٦ W^## 3m\#PgB Dm2 -6٘wS|7t*Yb*M,{MekoZ&vK]PrAk0nN5"AXb%8C"^X]{ GmڱoPO0J-t%bC1Zܙ({>TٜSS?n- u8|U&ou6;V*#JH{Ċ+}{`d@S>r0īoUJNFW49W*z``Afy0f,E/8̦cfcXp4{|gѵG48\ d 1aZ} P` b}?Cz-7G<](6x +i(~Yi%L6oOrV!`D BYdn+N[y #e '%ШwTkgN ~v]0hK0 X(`R.NsʐaJ],\`×\A_dKA*-`12j?cvU$[pb^Nw^`AasfJWxHmssMYkjm %7o,^HT2YǙ$pU3<6ăQ~C9D˻1Wtd*?Űa kg_c6,;B,T a/ ̷z*5r`wUJ\bYʩ@΀WdUSד f5A5%|&@6ѢeHzϓg-~b99Xc5O! ƞ~3O1`nIYMLI8x*z k$ E}^^Lv]<ecW?se⯁o`od-D bJfh0<1mGKmei9}Ch$n5;h{S0l fB L;̔i?\ޮ99w7ݠY03Z*u-Ũ_Xf+9וLΫV# ~n:f"I餼30mXq$G/nTOP$Qxդ v軤沲qXۃ&z{j ]>p/89f8.;x_FP!'o960:R&VxD>Φ i9Ą/lx͆XL2:j)tU:Gq;ab*n+ uR ,oM%nL9c$6I뒗x~Qi:]5%r}՘Ypj ~Y2 (HY3RfeFtV[iPK$>]!-|n;9x&ʒoD2b_Vv&U;H3DžA.4o;%1 ^雵S ltP#ȑ!{P!C\KRVur;r!Ӥd #_ vb.NW#lŀ>.Y`+U*lMC\,/`6=lP7;9K 6R2~bV8'ـ"l̛L0:/7z-9Am5KLf10F qG\=z7'ێ6Ik'ji|+>O~l\ *.q0ooxvՆ0J`'9 Қ^!vg bQHԶOp'?oГj}P@Z%P '{oIpKXzGmxxHk=$4H[@y?"gV;J[6\嵚_o-"3z Xa|Qĥ-CK[}ѩQ6|AjKLmȓIvD.VJ<܊\ppd}wޣxO^|U(ZskACxOnIk8]"+G fe}I{m4nWrLg%xnz'CF ̻~~ ?-# 4=mPvEB=k\08f:KH>#< 8<ŤVIq53IWY\E;5/*hTSW J2.`H=.Efl]f"zQN ǣ5U3{#*.y7Nw!M%bgxIGsj"H+ٙg ̷˹Sy z!*CYH]pI7FM!#e kZFiljn;sڗP?-㚠=Bӗ{hF_q+ui;.;ǁdeEL fKI&q2[ :w诙] ap8%XX2EBXBױ, Z[['!څO"LkKդnnгH<K vFc$ukS`wμjʽGlWdw[9H~{pPd,+r}+cC Vfq"#%8BP˞6ݎ)r B(`ǚEcXEptnޣ,FΎRc6IY:(I/"XT`I'x @ф3s0Wު4(ޡC+1|«TdQz.}#0T(bYMnKS Ztƍy>iz=b!yAaBE@FH;'dLoExaO`1Ua¦_!9,F3сRw@h ٹMT QFf``UoQʮ`eW}$"R׵N~AJCH{j԰aq| AT1!(!ah0Lysi!ϩ?=(U "dd f7ՇRR1ʎakrfg&Lwu_҉Q :wV{^!ulna} Aw1x̓s4Et'&a޶ ӯArzl.ѹ&s9"7,8*` D۵/E.6FfLu{B p,3IF Y] a[%T&x MT'|z/-)<*o&͏W6 vJzԞdNEqJh13 {!?6qһ.RKuo}^"8+vDD̂!$(x3BpVCnwaR,o{0̘5fPM5C?4G>'vY }M\s~DӝT 1 xe:Ȥ/ <lUWj ^!rKW 2xZqwbteRy4K1 L=\UQA-+LQٶ)#Dbg}꽼/&WסӓqK.~BzyQh`Q!oC瀋q5{nῘ`Hm(WV0J[bXKϓ.9i͐`F~a:12RtD$S&g^<Ol+jY L.5 _嗧r>+S|, Xdc6Ʉ6jG"(t_kjE+܈k4VbX>>"]WU;AJHv*Qv/_h.*i|zFb9Cwik@D(^sr2KJ9 PpQ:_ ;aDAs I!gjgr9O{ $Is5$%vL*M­LymoT.J_%-hef\~]7.P7(@;,-t> 9r-M݃?ػZsW%j!)@;SnK!?lZ$bc衸Qb'^ s6+he-DӷSB1I ~d:(Pz ~S%_jDSÓӯò$ӾaqOl;)ZO,pAMBU> pY`e ;G]pV*{&ey=P;3ra<쮸lPGZΝrZ18um<']Dr RZ%3rRn0 cU5ڄdz}: s aAn'm`؝YxvksoGyڕA0\lqufK |e~?yH_HQ?= $d^#\\y @_nuGXE\N^T*nYfp~16:l`AĹQbo9è&\W]AĪ $7QhUjf*"/18l9FG mL7@yh#,zbx$&Wp1~_էV򓉕(0XJO GҦ>sn`bII2T݂;2nq*#X,͈_7Ze6J{%]d/4D p8w)eu6[nބ4r^)<]cty&Z_|n׍[9:HmZX&ٗ{5gݚQph}BqSѾ>3*9SZd?148uާA Y<4f/Vv_jOZ^+!aܢa%wđƨ#!|!faMs`A1&',jtn؈B ܰ$|`ć6hIԝU>l=eE>:@ar}zl6}KE Rhs')3NtVd3[e\mrdó\0)6w6uAv,%E&E;A)C~Ig󓶷CEu 磝|p@XzΏ -'K9=^ ydj{]w~Ym&{² w,@'"k A~q=<=EGܷh-0VA^x%K$*mGP|P`Q13×)SfUlEKd!q1 k}(0wB;X}6=~Wm?:kF!s`r7XȰ+hawA im Ǧ х/RMR@CrgH BŶ7vR”\w:=v$n#נ`+Oρnb}2bd Q˃֝SkpMGcm xQO! sx)9 Nޜ<|hްK zB0V,KA ۥ=roqs.|eBDx8%z4h^fD5g;^cQ-25eƲDH|`49/J-57! 5XIp厎>X ;g\Hm^Q\q/ʡxގ ȹg2[R]0>u7msJW"?9'.AՓuJP4.*5CZ8aG d>v͗݌<(F"M 8I=6t{XqylXWj$Po^ѯ2><҆S5&N8sn=ri]0֥oz(A2nYl"O!;M r.CgVP0J-[i[S h0}5+8F0. ͅEV]F|{A~B?@T1\Kߙ(ΆZS0$;y[/*"uJO>:@%?8P&B\G}@YDZn2^iK;m3wkjlr-X< 5sjڥI5 _DerrKp/% ryG Af~虼u^_2] gGW 5򡸇f9.{+b3擂≁8x>K?;bB￵"m/_0̋`%6c\ik8th~*Y{ ζSfl =ʠK^4B:>#g܏c.AXI}u(asSlVYh@_Ѡۉ0ld= 4Tb431z" <)L_85aB'm30^>kҧ i0W,8%WcprrN+7-sTi+|ZzEӑlj,oqlrʹh/S$tdѝa"eBE#9D}Y܆H`VAIjHzfߙ+ʮ/8Ku& ze-Sb0n"9栃;2hB ]ltD4@\4{{V鳪H76%//.[-wXrKPdcd Ev"]g˼[ȍ* lD4 zR-( }Z[kvR#zvXO 0swGH;Ц?oY!HaY^г .^FTUN(iJZ[4?,?J î&ǼD0\L\zS(L(Ѥlb@?{ibWDڨR̜.7.:ؗ|˄NQ:٦<3R!LQ<2tѨfuaI۶\)}z w|Уt3 H8s]z1-ӝ{ ,Ж vyy?#zI/Sm5Y ̩_b[@}֭36vy;c4[,fRJa;$7!6ؖx.fsjRCa?ьD1)s챥&<Nf+# zjt:3 oDw~+FFuM'V;l3<M*T)0ipSd׫q srFV1d[VzTE(y|j9~1wQ%uk1RdthiX7ʏe?)Xv*dNB;qю0J[Cb*Bj oo`oȎV:Y 0*K`B1rh:J=RbNS9bJiõCg~&%۪(炱:?k( 6IΌsc]mkKZzk@Sto{ꋺguYVGl |2_!8}P;G k{d֛k]O|-)Ku HhuZ"1 mf,-f@, n>~rFyAz)z˹08RRb|†WRor0ߟ߾U=m!K^kcqFu;kj zƝp{KOozËY885R^&@Ǥ,G'!&rF$K qVh|8cn+p4#_dwݬa_3].w$Y.Hpj/J;jR] TMq긇n4=.B+2Lj˻Ov7֭!r4Vv[kZ3(xl[S!Q&*\*EboLsdo[6P-#-١\Y 6j̴m@t8n5xCHL"\)+֬ld0#)ֹH);In]i* S/ٛLf._ꚋm}cX3f=*zۓPq귮HՠNz`8n%qn^<Br,ǏVM[Ha7:Qڸ K3}¢.lfW({0ZoGg9|| *CgZ )8Ԑ79Z#GЧ39^dM[gIՍTocܨNKc T^o3xR\ck<[yf3SI6 6J{!5ꙕZD0,|3`UĬ #-a6V>HlH$^Z.p5JEJk2x-z:1K\+3h>Dv1)@tѷ7>%M+\`a iݙ= <{"҈0u4f=E§2q+%%- a\*E"=NKKHff[Ovwȑ#iLe%=:o\]V]Q2S|y8b(0^]iĽ%>L8>gb2DQe/p?RF=¡+ЁٞV5`"/̒ k Ƚ!>Oq9 q;P9,P\mxa%JrV :gqI3<@l?brQ1{K:1iT!g>טͺB$eŇΖ]$S>X~XBח ia۱;N{oi:|jw칍.(& S(Nv0ұfCTL;&U~'CKziuT'JM|Ț(*;.>q;zwa!ʩzڃZ? #^BaT{=rdmB) f댶 6Tĥ&Ğfh*f'n֋Zq,ҭb_KKY}td{G ~(G|T%=m^GUOkrJB<*͓f>OxYF\傌I;K1}`=I0͈hsStDQEj:w6c9c?i=%ym37n}GՄtVfWX GFeFtRK}H/q+Ȩu>!v*0}[ PdB |=7m,Ec=sm2#wpU.i ҄&=h%y/c6Z^?Te&KkdQ&ƾIW33E| i + 8l$75&ضĬep4j334ÝHrC|< dV6q?4F / *+i , fZž)%ZmL߭482"yr˿Hb߯;)| [Ch25W$Q]yp}>z>+K.KpVnb9 VRX-9*:ua-|XiOMutW)ivIԳCqgMv~)yQrYVX7A=1tC#dj|Qu^z9%zAym< 3,'\L_pLHGtbΥ}ުcjsxsޓPXk([>YLp ; Wrdx{v[9p0-|'٣]i5&)"1ԠdF}=d[8n이įgl7|1W]< @,3q{U&N+!ݽYu3˪=p]v^*CR )!0n nϳLTfm IG4J>4h}6&"58ۋzz\S@&xsw/AEr. -~GEt#0<)Sr^&A_;`7 WN}$gEw-OL,f/HZ2pjU/ ] c%ˌD,X ZJ i{)@r|59A|H 3WZ@ǿ^z2&;uw :&C>D+mNGJApؠC&@?<"]|"Pa]U31WO(~>C_X+͌38`3t!Ot@p3M'"l=bn{ʬkf*öp>G$4a ׬]]({{C =n8p1L*z ,z?xx+.'q !!/=Si?_ ?hO|t8/ƿXk%6Gib0{¨Wq&jPr᫺HmS3-5 '晍#' nc=nLP|'7j^*/ަJC69kRx bAiʜ] 令@B*bC`N)`Ara `)_2aI5"!%Ӄ(Ts ʒ%?ϫ>v %L"U _MJfOA^d+=rޏip*4st);zrv9|$QGQxQr@= M*Y9Z^ huL]Qwʏ:52YͶ7sBq&ƑRz`/>e话eQ!2Q'&>n:o'gQ$C\L .B*'d%YvYge_*0u/ԭ\x[-Ǫi/ᕴ~ld~gy?-s k$Y`|R)hRHYYO0}d->IxCQUgZ#{e-鹑J䚨g2zprk^3w|D7{'  PԿNR0I.kP.:R|sX?gюHm!h(y:GDsOCbwRˣ%Ag(Hf9'!سͰD3$b^KM<ۨ v.LH`3mL"f/=̄4NOJo3Aj\qΥ^{ gl-:3$A^fD;yn^xt?U;ў-Z(L>*ὕֿoM(V6'mq VEB'QGujGk* 4ÍOF7j SoR#{ ::Fw,9>#7xHέ7;07.YQHC~qtJv]$mXVӮTh[7wuTXj@*+^Un/Yxs+ԼpX; h" bGQ+7)=ʼnJò[x3!-F}g5WֱP E!k!? HJv8"lz8Hi (kf~dY&zR^OqPT<%`&R.Ά;J/53ߡy4aNN#Z#+g'T+%#szܤ)'I۫9˻+cMЪO0[s!"4-3X>t׸>e% $yx n yk 1*N&F>t9H'HnSMAp|0%q mxsǡKE@@U(X4v8Cl0w"4QrKn绰$; a}[wkjR=۳|?_ $™@AAF[vA;l(L' !SX&GϻƻA>636G \V!jq.Aңg"8c nSuʪ;I;q:NCYfqY̑Zr h΁7i=T< fGv];r{LM= ֝oskO lOz &cj/Ys 4VGa%!蕭}2ɰ:E1tD] _ܾvx+C+o@ ;nܔ gajLT:n#NsX^|:RW"dx{Pi6H FD]e3UstM)Q%:yߗ Mg0EMiBeN/AAjuMn,BnNX8x*3Fx']Hw'DQC-%r.U ^c3 ُo/M} ӘIȽI!"`ӌo CaՓV@rC05x](S ,0W(U&*6Ħ\]J0c YMB^Ndc 8/>dMe3WJMF'9#9P/ݴOy4W  aFVEM̜ !drDOpR[)vB66\"q]Zy<-;CFr!ƻ/u8[22 B(oAGmdmq0ZC&Q]5%el. sV;)vJ)= ͰUQ K/Ju*l>Z%_*K6%C0RtHƋgȼ7GFDJzq }MbU%|7%'FO[YLlb\3$TvВ%a jW'B.U,pvu%?lj}*UH됷@qcBQBXWunr-&Pw]l(83uܠT,[Ql7?V X:'qHyw>#T0]F3[Ly)05gmM?`n ;\UԱ+r9HpRLo~ ='nFgw'ڢ`b5fVg75`SQixARg21[W'`غP)nk6o#Ӟn[d~48L7tܴ_Bpj)ԏoP8shP(ȳ;*Ω._jMkc‘b"SMYf5o;mR!T,SJ ;Aak7'S̥2Fk S bK:D'ZnJR,w=!~T1&I#ftL沵$ekKyA"CI7BϛtRɱ$[`e0H+ȱ;WnwcȺ A]Y!)H -2rFC\e,G*Eu1AٙJ8 b܏ kŔH+59MBڻg6No;Y=b$PvimtNɇL=ȗW huMN͍,S^2vy"e*k̿^$Ϸa]GY:̖iCmH Oh3z ÑkkBҒ"b1rV<]s`NQ`F"/bk h]T+'DpF?FեB:"zQ:9%ZCD0pE&~]_F>>U&FoG.P:T7PHtݠ؍% 5BWŕ^mPO2kj^.a 7cN%m ;GSJLhmL #+=aa#ɩ+VЃ7"rظ {+4@~{G_44M1}c@-'z /K@LU XnxW8s^)я5> m $9#ebBL=h,D;q70d|“IG'ܝoѸvv&Oz\V\1DЯԔ$=$qpt~rm ޾ݣ. '!v 0JrXy~ KO ͊Suޣqo7t\ /-ý煖VbAҞCH,Re P>/Yp T yAp"Md2]LeF0 "Aqlugٶ~_+g{@P@ʼC'ch yE jü <5 j j9e:vQe, vw9e{fGiI)3(1)Iܒa|B`R L:?uՖ-a>J}8nG 'd1RjfMA`);@rQI<<ZId`!d*Rá钧 sEy3R BZh~be.=#3źQ-ֱgYZc4d1121a89f0ad98d48d077709a5751a39486c247a20346d2c9bcdb7db27edcc8f4e212d5d7547ea c833d794d77e1e4cd4627e82381772084c282cfe7919905176777d89c0e4d6d7608fa38edbc1ed18