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 %%D ]/]HOL-Analysis:threads=6elapsed=313.744cpu=1488.104gc=123.560factor=4.747zXZִF! yNIY]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 wʚ$a'\s |YjQˎpYKxYM(!~efiTZ :BC1] F/BW hmȻY}1~=Ƀp:adN, ]lֺL}Jix I|g! 7ua-]&D?bʕ M0{,NCTN 8a !Rv`sL3r0x_}/Bk rQҵJ6N#>~kIF+ma).dYo<_ j6TT(ZtPvbƫvbR'[fPl#U'"; ųzۧ@Q1M׭ZEBc Ohxlo iG+0axvY-D'nvN<gtL]ݕE= 6 }?%a[3q2)խd Iٔxi8YLݝW̦g  mМ:w` :&y";x@9t ^ ..N,N e3O^[cDJ48ؼ뺴\N{hvV\&6[dGRڲ ̈M"iAbPU=,Pj5! L99!*I7֭Fi.<؜'0N3v<*u$(Sn.U*1*QBhbw`HesI߉Z5n5_dogQu'Xhng 9߾%; OJnbl9xk^(? AXwqyװTgW?m-aVӸTL3v`uU&"KXY:=+nL:ib}0zs4Jo2f T>hh_&AZ*wygQl_=}6&jH*֒^GVVR=>4Ո`.^EygpH_2r,_TtkB;#3X߮QN.>!Թ 6VsA4-1hd͂,OXʪא⠫qtldjR Vjg5.#} S éᰓ,`Q洶bQ/R\Y\6s g58:҉}f&$^-Z!;@ӏ[;fG[~YوJvm^C4lF̅IsUخNClrc'Ȥ]bIx@]( !~!_n?eyҬ0>St.y[4XUPnkD=VùuxP]D|ZmoÁw[閱oad ݁rɖQ8)ɓN#=i^ED \)u+lvwG33F5mmFYXRGʒ~u3IFGh>V,4ء2; *g٦a#X(2:/@2ʷ)Sg}iaVe}ћ- ێV- ` Ы/Cn5d}[͝뙦+3 AQ%EkFmv" q[C/ c \qiT@zQrIKu{*]A`tya=]OǢlkn!7K.BRst}dDTԝ۩; )@ $VPrF:o1v&`=yAY@Me'C =üYvfRQSR ®W <ގDV-zgPX6:{$ZJl"rhI4.q_Z % HOL-Analysis  SfreT daKZm ^"df\(͢y|)N[Œ] ?nboNS 1Hg"VЅU ;\R!DN6P[ұp$NL13xFNF ,<]r]-+'~ =)q\-Pf(3`TlDZl Sew4xȌkuI`i|K)ooەb,Y/yH4CJGby`C} 5ca8`U]ޔywT@@FHǥ un#빰; %Jgߥ` } MMy}!H!MZ~LkCGM3W?P׏-1xTh5`P\+K:E z:d ;4gYޮ h[H?pfGCK GNeA8eG֢#Hnp|]=S[#{Csx;o]>ўFoʳ֣g)wfskΩ˼e}pXNTYȦdŪMk|u*`]6ϳL!Bn6!MA=: w__{tVF"LXNs#(קyQ Y9҂{>Y=PYud}Ӣ_wa>9U *5i, aݐoMn5c"'jL}nhۮ ާrv9KF#vSӯ:?{Q[EtK-zKzHf]7Q qp،_mBXI 'DDh u!8Bm<^F N&}O9a_JcB#t#+X`e0 jv$a^zo VcZrt%pE#*(m#dlKF__׬(We#v:xM63xk9\J ޯohPXP:>oǻ <)۔OBW(D0drL 5zü[%2."΍Ŝ+!:!g@)W8 LV$}uAzƷ"jgrd7Y^|ŻݦVP״>tW1#QxJc?Ng[D7֗o$Xz8.0!Cٟ-iԚՄ.Sy".=z>#`iGD)ᑤ,qXrV2?(z"y{P1J T<|z #I&5rl$ `+{YIǡ)y-3QrS'WMٶjY3z{/ٳ#+)ws@WZs*l*mvbP-pI!: Z!f@gH"$ ˰C4"@PĬa1 R0 a,L([aI͙u:.zCM.`6y:w ڸjӨl@ƘZ^Rcq=wx!rH] f)+|q: m S0+ux,(j*کU 㗋q(ZFJs)ԧ@QY:>R;S {1 y4uSD2jgiP*+<0j {$?qiX;s}!*wo[Ř;ЋF)Z3|7O/Gd LKiWeU}xJ0Rmmikqi+E)+(I*mð;Z1ɂh *"},5P);_KFA~!g#tL\=}_,h(`#/źva|W1l3eȤ+]wJ }jA?+ ^LC90Na?b%ޭx}AdrC0aYnM(`T!+0KuCgG^ ղ<=oG".Q'ͼ[0k8)0H_34k} { ?ЙYMFoݰ  WxhrwsQʅ,-|Vi1/;"J$W5G(/fcmg+,˘y-*jʨd\5I '2<{G ;y(#&5g1P G% u`es&ETԤquh9R#>z IܼOp,D{~&=ڏ (N+H3sI3Ew]y(tsfh{;sLlw8[ AcpD@[\Ol"^S*EUa r7e1 Q1wX&sxPB"8R@歛wuL=B@ x}U_FЯL z?O;M \~* ,٤ -) Kڋj?f-=[~`2<Z@_ES@=R{\eO%b VS{ 1J1+W3+?+̻g`tf>Q?7-SWp4"jӄ>f'2;Wxa9fbȽsHCLIl9#h9"+>yb3-\F+y]I9ėi=bbL8L2T7b `O!PGU|E 5ٮV\@oIe@6E3 |]nn%RۋظKn^H *JI#ɗi)Z0+t@b' 1>va=>bݷa=^%A"BjmJblʑUcP".7T"'pRȄX@FGƺ'(hf5WJo~(Vb wF,"s 0~[xs(iH U~E=],r(;-"܉R5z&vC-zuݹ4^;؂tacߡHk9R=SޚP*M&Jus0!1PWjCDgs(I7IZQ8ET@4QC8Ʈe)y2*OO`̽ )g 60דڎT13=JdJPiO 5wcEkX $ EpHk7PD`@9"Ă̝r-[r Du . ]"D5_&h%EɅ1Sj BK)h"Wk[ԢA3-|Tl#)dSZC|T^?I%µv/];h>;,d}(^cۖnu[yyDuQOIw:^%|WCO,M6]:fa*Z= Ԓ Ċ+T p6k*8r#& := (| p>JO W'^eQX6uiJRM_d37;~!E\cb>S'U`@m"wd1vܹdB7%m&bso= n14tX؞mfa/wPs 8:Z95Xtޑb:^-x5̾Ř(:wS}Y\mCz/5sQ>7A;IJ/ $[ LOceͶ?gzZE>Y,j/{&'a11(!!;0wiji'AG>xD˰uVL*n^>l{e V| ,?lj`,z.E "[r( N.fOGwY\eҍm EX9zӺ~9 ٤ƒ./ҧ$ݻEW@yd'5E:06זՍ޸{9c&|h(ZՀ)q bP5kL{ HwNCl㹋};3Zw?|*vw /Y|EH&01oqRd>=Hɒ" ;O-5D_0 "}bUNٙROO}+?TSSw(q`w BA5ϒ+B(ݰ jݚ#yEd $Dd'vjO卍asVL`P,׺3ы:*w?rث1Lgpk -/z q,yN93|8x_ӬIi4P-/ [HOj(L{#BM4sޠK GO@  un!Q]+c"ar'd5r lOx+h=huOg( 3`_s@oW35p D\=wzXW;I{r8F'R:L_\ڰO[0 - ԝ$܎Ǟݳi} 2uڪ5ZZ~(NgPe-f̴Xz+?`f$ƛ Yx%iQ۰%'+_jt}o0ʫ)i{7Yq͛H$xwεI{rvh-HdCo?9`mwϻ'yi:>ْ53(R w|Ws߷6#4*-珌jq)sĬz~?^]siKdD,N8s.lSs Aa xm=I>|?uIU'x /xgeK730L]݆IDGj/QGrr{W9'wd%)&p!Xg8NH1ceiG0864` "C<W>>OA]VS"P4ONl3W1B\ܝ#`"EJ>+a1L {%77=!Rm({;;8L-Ac</Z\/q$GrҢZ<߫5Z&L>x]ZG&]´$``\2 D&mE_ VpRLOTMy޼Yg\qڢ؆X Ӏbj$A\7$Y֚j vgͫ\iE\=x3W?#JJ"hV8$RQPu/ڔb'C[ =(i^eۃncÍq=Bȝ;=s7!*(Z<ͳ. o 1saBXTּ0mѡP5=Spm_ԁ2@4zޔ4^׻q;d`ܱIf5d<>jKZ^bxqlȩ6&ⱖN=)rEVUp L[gRwgKܹ(R_M-\s ?,Z<$?4,FLϟ+lHSR3+: mTi OLw8R[;Zbg[OwPp, c# ,Q%nȒh TᏛTҘ^ n-|FrK/~\>KqJ@魬d^ L0\Pn_z?ұYT̮&H|R]J'y5E+K(k6r;i|XreβM(*Cs&?b@9S뵘?5 Uv8?}$wdrev 4L{ip9P^ׅ&e8r˦3ps?[-Z.ƵKzDYGq% (>6k@<¾N; NWr\)ʜfƽTN4XvL-a /(e ?['ARj~5<RjkR 3X;ѕ}h*I a#ك,DǽZ.w豦z#I%b|m$Vd?l;iS=щ_GWwe?w4k:<=+>CI6D6^Ec ZďW4!M\p-PPgD=߬- JM@gF*"~E@:[m_y,<~4Z/C"/}ߡ:ZppX+Q}G-g2W:2^NQ-*Y2n_6 1P?VǍ tO"s/9S\HGG&U,|WlQ+(X'aRo:rPvc.L9"o"DջT ;-nN?N(Ņ^MlƧXoVw,1l/w4X/xiϰi9?" ꦈ{uff*B[:J bY7EPc{a#6b# ߤ2d/Np[hm zÂkC4w 'CxC X} :WBdkO߉';G739RaCG)YJ(UB}ytlQ#@`E>EGǑ>UR;ws2nFz~[;DSAi'>{|=V5*uW`v4G-"m[$6wF"q\stsj* s)h9Pg ViwJ<|;Ɍ3_Ҫm2.ҳL34>Tܮ[&ݖJy2ں^3,2rNȹZtU"|EPH.J 4տ-)[\|tzɰ ${`"¹lϋPG^-r3DZ:%~ɿΑNNA7xZ X /D,-) gRȖ_A*,,G'LyxP?<1x{G |Sԁ 骸3Thm"%3+\ОJ4g+Z KeRSn"%POΥPVB<;z-@[sb1mnG)9]6)a +"+׈ <]QKhG'xƢ$sNcSߔ\y3{i6V`rSu߉usѳ^"=w3*l< 5iG%.Gf !gF,Uäȱ"+D$aQ-`hsM?! ? I+-P]u(>[_4*6cKy\t`F dYVŔz{ wsEqP7~L>#xwMf0/'Ȅ`gʡ %%XnJ72b:Ҏ[lh/Das65D;Ǘ k:CkЈllu6x&>ܗ G#ڪٽ*mj:~,U;W[c裄׿M@wrd(;ۀ`dkqUP<i?8 ZT=!|DJ9p1 >>.bG)0: Ԋ%^}RAIzo0[ f, B]wPc7%3U keO15~Yk\N &t*gGxRnc5-mr gڑzȵ& N Kpi>F6}7۠=;*pmxKdQӟUEؑy#@FZ#f4d8x7׿Q[7DOmﮯQ/C! W)xqTgO²Xa|d|PBxDwZ R%;wCioy,Oa {CKɕb*X_U˜[VU~Oʴ(®uRBPk6>9c~aeK:M3TWkj9wA'YoEF5$CUbTWphbIRY7K{*ٻXr>Yt[1_of{[:8>DGʖf >/2!5$#6QgV|&s S(QsҀY?9. 23$7sH]iDnK3؎JR<0#As,VWNVmvHM%Ut>G5dGZrTE%pz _#)@YNllaGy~E|G<g=lׂU=E呥q-NGK HԬc0iYGܐ4c~(p>F/sv^Wr?3wJ?7-l5/8ega\~6qDl#Q*E,? FdS#qV Л IC+KxT~4o>lʊB%L䇛=}mHSHR-=5V:L/SBV2ꎅ;#MPqEgt? A\1B1Bp5iP]m>D#^}chBm1Ugl9y6Բ[ Yv(ٗ  a@Jx&gIIV#O-4n¬s8_cc,!$i^n*x1{X"I zzϓTY껱!'nےY?Bχ|Z|63sJP^}8- fr{IBwo~mLJRJ㋮&!ڲHUkӇlô;NTe>[Sׇ(&W,ee-y ",-*ӑyfΙDmEA iNlnwVGҬ Hi1qLq=ȩsx\`C$z"$TTu[vh$ 'CZ{ِ³M=C|Qp@Qkӱ2LpxNȣ.4&rpQlP`|ԗ[~o-4a"[~k;JG*,PlkIBH؞&]&傍$n#c壣7eUH[䨬&4$rez!B(BvLH܎qijH+ʗ߲~~?h%AeAl]مp ^g4Vf0%sǿyzdb )iyҙ]E"'}ԌϠ=+AOE>sqeOKWOrv` X"xyT*l}f. ,߯Vps!<&cCC Gܰ?yCjn |%\ү' ˈNsP*DҗOK BuV8b((>ߋBhၕv"`;VO$m+P;B6T T&i}|:WyA7DdlZKk7™۵V*,XnIHV]JNDMh $ {uC@ Z\ BUrtFY(Dqg,PHMWp I䀳߶S.qviUj!C6נ:(0TWhI0o^il߰*?{V|CZ4x C:ȓdyGyio_&D1Pt>Tp,zሞ=mwT/NKa;tW).ۀwPo [xKbM(q;PgnWG \8Et|]Ƨ7)FCၯ$# q~5S83s)6BA]b\dtX_X=NBji_̈́4S0֏+; SK)–n rɘv>>U Hhe>^Q5`՞Qr/7!̹#UR.4 >OPS|*3tVt۸][CZT@ʗ(Xe4{4NYג ,Zp h]FS5DDZ LFjE}d*vNPΜEBځl9v (|J &bNPːR DP0\2DL,UM5AR_hZmQh-4OQ \G JVBH4՘ʴ|H9A2v@񢩍 5bCK yFX*ڛ yh:yFoieM8t|]E<8FiÄF ~^:@AL"۔yݶK}K9k9H.,Χ2AFO&ƀwwG>msc)xR '[wv3A)QO Q<eYa5UNa,JK"#υ887QƗ1T_}QێF($U0SZ 9I'"6٫$ x􅾦zZHA OHX(|gBN0m6  FǨ|u6y:!ZԊʪk1_ZlhlӐ#-5Z;Ǝ| *[RT MN X,Iq!ʄSҤIf@jN"tA=X$:l7c$N%uP nK|ggWmk3M ll XUq]1ڛFϗ%3cAT%N)n,=Ri*qt[UN)kwVfz}03'ȍ-X'MjHh}eSyA'?q3X8Nޙ)ޖigMA1N،B`=Q_ >]y*UDXfy-֜I|,bt! 4J}SPz^_h%iɧ7wl S( `E-z"7>q\</kA=NjWa B, ckI_2j/ÒsUHe0׍X,ӡQF\_s}hHNo jwWP/02_/#O!n|||?wP^gaA_> (0IMx$ȡo~Z6䩑x (|QY!W,3<-_[xKtdu'̥ #P7/^]-e3:9ys #(eSiс̶E^TuoX6*D6h?1om$ u9<2we~]M=Yzhޏ1kRq!]FKz6/>㴗j1=uȊfXNa#CGQmMSS = I \DŽ=w6uG5Rı!g=ى>r qII4vTr$b>=׷ ww nLM\Q{Vޠqz5q&lTXp,jrLIkuR7h<4$˜Fz/CS>gƻ "JGVLXs6g'Ǹ\NγPP,LN* rGnqz9WFzqNNȝ.gNSsg}jϖC˖:$ITWpq*;6FWrWAUF AY,˜d~8`Yƀy !Ѧ(6qvX5-9 aWgYZ7zXZִF! "B]ŗXiɟ1˦r!cHkMeBd4 C厕?)}1vAZgq@/eBNQ)(ж6>GXTsqnOY(TlT z^!*هoQ$ڱc4M>"H5`JT-}c2A6L-FIATVH w| YYר96iЀ3xD́m<šğbteN_a|}yL9DI|QR//!gqWģ QD1VȴB30R?tx 'w18"|{ܦ/#A5oDՑ@2̙ >& !xC3 SVl_st+CĊmX0ӵ8BL ',:=n4:[EϴTt ;_Y)Wnq^eT; l*3 @dAa4#ՋL-6ֽ͢1sZ!-z/ǬԬˢ%EyD:uK*WFӯIzLrjT n~\#V@;PKuxB)B^l11vX(Bw(tcV!:{v <{ rD{ubNq9$Bs]u]F'J;HHʨg-oc83HZK;n[6{qpP_vH 6/S7+f\|yh3fcO։f@UL.Dh86epf e6]_@PW&:/H  glyȝd!%s9rjW:y˻}3T\XQ̶\_VkI`ρ&waQRb)waKR{oSCckeD HA2'm;1'F_WΔ\WTXA {1l ;gl*iEٻN&mSRb[E5)^8o "XJRA , S0?;=hdqPt8Mβx'q9aT\ۥH]Ar=Sj'@ }ND8R@f?+0Q *8y݇Y:SN"pf". }{Ox'Eu @Q} O;K]GT@5yw'=s~tw::Q$3R$jՍrb +"EDuEZnڛ7hxB 8F$U`\g皘i9.QTJ$q媤q-Cn<'wH=?"sލ媾 ~Ėޏ@;B }( ]qY;˨cbjwf{]>)Zo͌U5 ylj鞁[%Z[o}1) #lݛO<^ro_"biIzޚGd'y!̅˶ "DY kZN(FI AŠ}7' E.\Y*'9_7p/?\>*5gz }XJJVZ2|б9LoXI8$J3JPw}Є"/\ E SMMNnB荩 P]ܚHL,wzR *8l&mJ^h!.lR`KپJ\s hʅ;fDˇPۦ7'9"ŧ_p/o3@݊H.r5̬gPn;S/[?=,_o]A1N^} .ZyL$;$|N;]*'[%2|+Nq씷ii Ê;Ԙ'Ua׌#2jxfQSPf&5*اZ-Sm W֎JZW*UAЩzVWW]җO&ބXß,[~Ԟ5\4~-f:5$,zc IIz8&"BLo3@%H/aoZ Mx>,L羾xeɫ@L VIO u׍n {,ѐ;=O`{@&]V $ o8q eRH**wM'ca<rm}zz;pa.G;r"]2|锣p&`W<2uEm:HAˌLQyQ#9] NlŸV!kŠEos)-_1 SҸ%HIq X%d#_h H<$5_ LoeKb~V;W"} *x $UILGCڽX8vqL{hrP^lch Lqz?/HN7:h%? B %:^b?(Cc4Opx~C?Hx{i8Z`9 65P)4@-^T_հ!E j '+4^%sRq ;I#A65Ԣ7]OBED(3u}RVŠ <}y]:fK'{)}C5݌ =a[M7$8;ڷo7HYVFtV/Ξ).Z>FpOX" k)$g:u D|cRğ o، 9F-ඖo Ҝh,I'Ϫt-3aޮ}Tݧ >Y] P80oԐz n'] ؐ25 \Ka!N T- y,i 4_wJ_``.zCM9)C|<lh2syD 6l{)( Z\{,5peD9g1j ώgڞX4s"XZj{D 1B ,37ULa "ˌÖ2qzWe ]0 eEaV}b evi@P8q> gV2qdWN 6s3EF^H&{B9qkgQwqO2[p+Y U4/yLh&TK$NL_u ]1 X#ʨ}|Xa!8E屙m4ma%Y,MwR2mg㇚ BׁgY1'cyVب=GN?FFYNQ2\R=f+zϤޣVD#>Dh9X1ѯ)`9X)F1H0ԟ 6ƼL&)s m L-ֵ'zqs#P F0fcWx-H{-WP(Eڷnl :_CNH@@%e柍\N"Q= y†(C f--n=.K4 _ZOfY}p{q/U sCibie-T4GsrZf?ŷYiZ9qa}@;Z6uu 4k@ش܀fmgIܵDc4 j~(c?;EeC0`lZLE/6Y1j $Emzk 6: ZC6,Я3N*堶ڭ9_Sn %\p#}gӢ?\ Ye_ o%<2\9*}dߘ8 It MhcUQ@=,Q4u3Ffŕd*TђKI@_^`MɆa:}S ي-u P5k[߼>9%vGw 1b/+=U0Ox;gmP}K);\M`PB͠?=T9. y/B$@KCsA*nY.=- q# kvD #D`W yLk49q"oD [\qOȕJ*)wr6s˯i&o\%cN]}#~&B̎P3RK%d]'E+E*޽q(GW}ܷB"蒍6<piɬt2%j7hM]WGBEaT]o<أDfNNޔgy%[L$PSuN2ٽu{zQL)@>E;y!L'=Od!R=CJIz8U :,:1}+k"NV 8vyuy vvw2C4mm-<3&ѼzܕecE{ HG;7{ WZt+yhLҺ]Y8;W+{YߗȐPw뻋`/]ML'lqᩦjvT=` Yvi=v!&oL rJJzQ[\<@i5#ԸAqR KCuEi89d3 8aB{"*Բ*U )ƮuK5L֍ŻA% [VBb Sz0 c1;V+A0?bh1ޙgQd"-ܭZ}%KzbǾ:^"ީ)8ou VJBͳl\?٧j=2ʍG>TkjX01/z;+&tG ed$G.`j5qaڬp"&/'^<?8&%zP'IXv"NFpuD/nGars/pc\b#Gy 6yW$G{5 sɏlW)hщ;'l"ϐT>s"')>NZL3q&yMM׀o^ڛ{Uf;kThj/y!f}?(4Q:멕gZ LjٔB"5KZlVfS,!w/982@Ma`6WaC|zY@.;1eR3Vn$}dM0ݠ^&>K)v >jr60bWRf;CU!!%XT"*0lfm'F*H̒Li R'qK=sx21e[h~v@6\mIG;fM meɨsDCUt[ dk70f`'fR|v^Q kˇIE)`68|hVMGԸVNI )?&jmjX8,rdPH o}@el ܨ,(Qr޼'E4\ QTҖ @E{d^+ *M. `4S]+n kOºSo(>*tkHNJaӉS/1_EȻ (PL4-I+*bI5#iP'B5__M8AP]D:c%q$ר0 [V$VgYOWaĔ~j__q#>`者H2#'kv|>Ae[ŚI-i}eSwfBT([ Pc;mӥ FQ9q0`ܦb* cBֳ6kv%`"y #ʥ/BJU…ĵ@@R>j4ʺV19=VdI7 ]0+,h GkV*UV^wvž,@T+pȌIAir4l喟?fND -doO~>*C!qKX&lk*&V>grx#Yyʽ;fs;,.[llǟ}S=eůA 1M8ᬈD_-p*" ̐>ʻg֡+XhNSBBnx@K;xCQ3qGW'w_pr*b Jڕ .f=-: )eۭCtA _2!|3UD2es?8 {eP3A[% ,$(텷. gEF7,^EJ;F10_<6@4J4nA\ŧzb<~ւ>oz]K;DFa!X{)tUZۍV3km >HR,jJp=EIrb[/ݓ>8A@`Zߞx?@!A3bޙ^UaWyٺFVسP@'eVMYf,!MmAtc'\dfBXH]bD갑&lrTDcܳ6QPX80ի`߽,=3 Y`ZxTGy%e$¤7^waC#nڪ9,zz{uxأoO)Z?~kt̟>ڕ [vkť"Qf5kxUrRVh/ YTz.jKߖq{tH@~,wLh%!?D4Zd?vgrGC.$Qu"<UY2A<>}l?)*bzRR+f.қDLա5.uVAf0mT$JyuO|ҋv-׌~z;TNfxTs (m"?!9h橤<L8/+'S NqsםϪF8 6|AXZ'ǪXgw/[AZXpsi_NZ6y.h޶`cUE%'fhu0?iQþF2BZ,\ⷜDi'mj ]}V4ݫʭICoKӮ:%q MOͧqCрGmbLƶZ ?Lv2dݹ:*vqI"@Vk){%cMc$r@ҖΡ+`y%U~'U3yuF2dȖwS3ҐBL|lm m\"f \L'H]/ۑINS\1lw|_| qZ9v8#3>9S/u(Z=x0"b xzOrŻ?HK8TFHTonozן%R;.Xc íHͳ]wQ_b/]n[vzrt8>'\f2*Pr}ڗB˲ زJfLEY_BՕn>,Z[둥-R=_[eri_(j R(mNbthOJ&# 74MHE՛g6`n5;2m8[}riT+6o CPt%-ns)s1ܹ#;ȳaYPx,QދP_m=R :Wc9VMӄ/g,$ds*{/}0mq}~v6|*S_x{לo UKts.dVPtRXq,7_\Ro6X^)6e Bv|ɣE›;xNa<:h`Ojf@b,.">ݙfnV5Z"`F,IZ@ bvE OF}>FIloTpCQvѿ?:bfNPCBl'QCLN ,,PosisllAP*|!z֦?UXa'xذ>[Xfg3;%M++b]U9QvZeэAWВB\1ېp C /%5Qù`-N,g>N~ s Ym!*  5n|_O'M6QȖ>JN.B֓DN\2WhKli!qG8|hr>2r7'?vpNo><\?pK?'Eu47Ɠ%]ylMhb#yK3Iae*Y3K|}3^JyMM? κP' (ndz8BNZG˺m]OAͭEw}[T3Rl -u4neM+ [.^۸Io%rć[n.k5*O! q}Eu`P#;&8Djf_DVUBNG`Z(R0n,fZ E=B0mM~`]͍\: b'ƓiyH]øxJaմ=WI Τ\ʃĢK}'B&l0pږu 3"j[_pvhk;F$4TvLY\ R+enq$WzƝ 10M//Q!9UǿIg:YlN'm{!Gr!#GI6^&sտsdz +“B+tdOGPq\ݻ ?[ͮ ?~=ed8NgpѵeGB} OU?OVq/vĴ@V~r"Q%O +5ᄤ!UY$1Nǥ Aɿsh͓? x s7&\ ֨TΟO14K(E*XQ7rVs\ǚ2,ՙ%R[$ 2U 5AM(5"ü}:.gv]+K-١8^s1@$,phel7XV3hQuto&RyBXNK Zz z:]?2JCWҶ_#H>o=/L;"[(V`Qzg֋H 9} 0eͿwuj̸H 7A7$ -U+MHG3/} Ʒm$>}FƎF΅/CpПRWr;EҖ53+KZ*_'}E.Aj}"%igFX±S+V$;-[YE; IʇTXGV5vM\I6LPʀfn#: ("cNr (sIF) < 1=X(3ҿRP{eH#){lb3IyVZwV^ܒ6^) o6cw5445nK>÷@M\R!E)ȒxKγEL7 %ZT@f6?LĎͯgx{~[*h "&v7p5KEI4ɼW!$geP˱O4 Xo0o..2wIqƄOdI"pR%[6|7Y1G%JN/Tqm_dS> (S[ G5c%f`uxG3;ʿkh+w^c/:"AwSoc呸vHsK @C=ؙ$d)+(87[?ՀCъ̧{]n_f5Qs0Kϒ/NWdY9CVʮSqԸjL 1ԭYU TUWej@r-:\ͮJljUu 3@Oy-<5B1$ȵϥjFqC+~+]갥^1#%Id\|;al3ӏʢxOY^֠;j'3;I`$cPuGP2}懑.{_]r>SRAJ< 93#F亻)#gmLRA7쮋@ia% C _u'Ȣmbh,TL ZWKَh(+w'&4 mrP `N[duL=+H_G#V-x@K8>Ees$jdv{8܀f'r$$ӓ"2#\R֗JK)Dvv$:Q OQ9HHϟ'DGA7(MTҭY!E1Q=hxwÒp.Hp`KprQ r= t&ˁ8ΠH dϙC*|gxҮ,XU[<&3utV{p?ivC1~ODE ԶymB"Y>m|>$3௶%Q*cB` J0ă-R Z](ۣ*'t%˓wrp~*EW1.JrRoos&%(;c'IN0O9"EyZ'ЁaL`ʫiQN l 3bI5j^D( Ɍlʈ0HB7Uݎ?PqL[WKQN5ALUv>&hm #"AB^Db;~!V!;b9FN aL$^5!FPnVto&i盯PўspLM0yQM QpUO/CaZ, i7Z؛/NXa.g1B'#WEZa$2OV{Cst(5?~Efr`4f,$|h5ugc #8mT^yRB{BiƵjpjē87':Xx'~f=I_9C.w4,enV֠,0p'_E fV--ĤG-mp?IiZ{VQ>JgYN.X1F(Lc>sK9:k9wRƶ#*HX'>y3#ӑUyH H6^dL7 3V M;we#U}-lDD YUSI UIR  2mddݶa'j c_>\C 8^!ȁXkv]5teN8=y ڻ2=؜&ML@ΐ3#GR=2{Də~r4'\9o #o ; Ƴd%n!wfSM}7Qb6 Ը]ghL|mx^]L\!Rp30-cl"5 ܨPe syީ :JVGמƒ&Qh]45|]C_ja4c , $hg+ r`)N٫ZN8w}` wV-`q'p_ћ#[߸&CqKa}-' +04ȱÁP=&i l{1_s1`mJ 5Q1?-/!6rGS%0kL7Dд<gx$ifl"N*]5 azۣVQLpJ*ǕOfR7!]fҊB! WP3T v61ىYz,o T.\+oyEi`PyWXN6eaK+6IimUh֑byݩҫ.8 DA AM'gA"#wQRŝ m[p@~%A{%z? G#ӋnBy=FbMYiեV= i{P"zQKX˜ѝR +1"G)Jx{Eϩ +*1/9,.\/Kf>{QRrM<9V F6s̳dD+Kzɂż9߶֚$GHnμ6̸x^񡙥=|" A? ^c+ҟ0"ݯ./ӑS+G+R{꾌>׶4&(mTޜ''>?AW?K'ExܺIm$6`r8C}6,.]19|s{F͡ V{{0x,ň`@B CdlNf?Jqh٩;Ƽ /K [R}TvF|#{m֜) BDΕSuvznU,iewf3(gGj|qF&Y?(z).l}!z g՞jj L|𓹪28mU 847[kYJ#"`3i4-e<.;!9!:Y=A\}LtU$&74:vǰ,lp5!6"ȰkGӥhO;` EIGf;pFUg'C:zt~D;SF]"NH=I^izGx4D,xwJ$ ?HKLB H{5z&f%$S$o(R sFICkm3$bB4`@&+&hT4l&P%TJzRalY Y,rZeӅe b!OQS>nW=nˍ$r crYey1};x`;I+Gƾ@BQOERvHGDj@wϞYl`(uQ)(62/@@g g=jq5&Ǻۢ2Σ33: ."F gQد|BvRm$}ͽuYfCJOjDlf!7X0Tt"߹cRB&ֹz6#ĭvo0=L Fo:BIDU哼T P!>l=xb8o=%,azMiqQ#HC۔j^`'qҢ|J7`[[\`of]X ݼ}@q °5QxpŞvlq]A4{$mY'05P^.А#&eVff]v\eJKQ+[JӯwCˤa&$5JO")OoSdp^R;ky٫^B7oaʹr Xg \ӁY1opK еˋat0kh' UI7 4b;LٻzQ\s<U{Ұ snY HH321 (e<󲈷ӷa#*Dqu|t-|?嫦i^`Bq9#$O{AGCym(ZLS 0ip]qXZ!wzf8k&"q14[/q!.4C2x?},Eq VF1%;oC2BM!}g6I"/OWBԲOY/nP`(:t:RmS *U̮yR]Vti^D;mJ&,ѬvDU4yHX) aS;nhv>t[؂35 -L(ZJlw{P!v۸*X׌(.$˳0vlX3‹Ɨd32:+pbZ`|)ǜ++8,1k e3}f8* A- ! &r'xlC*fmbsՠ.w),a& I塱CGuGN?+[6x9 :`HOaZS0ثDs+!WN]DZm|IYt|X5 4'()qĞ &q`ڊ3+߼Mprc[E\ Y8QdRF 1Z >Jա$ {Nֶ=rNlJX+լo°Hu:ʰ`-{&䴛D)Ń_=nY (aa%356&\a`rU!E ֪'0X.+0k}7!$S.9-"Gh'3nu0u^/}brUu%:v$ z3[$TKBxE8B-n7 P]jɊMz20OΘpmUu$,Хo5` Iw|p `Zóf ⋜bg@RoҜ zr}!iאڮ.W$uupλ{j +M7Gs|`fI *wFQ{z,$vK]"w;o\:q$p J*('w@a@y"[Aqa\5I1n#%I Qݭ!'ћS)Y8~֯a0[ֵCX"O쫎m2 . U qGD@nBi+/G(j{:yX+dAytPf1x혁O)Eؼʋ"omX5CƐk]f{3a=ѿcj8T&J.>S- BH_ ҺJ>Bw\$1Mi L76]_?atM|j TRV [˗+.qĻGӮ(u? DNh0y?hEˎpB aGA]@ $+Bitu_]'JKE3I 71j.eJ,C5 Pq.( g:'DBr E- }X΢얼>5sė+:,uOfEQ-iu&%x?[PO2>w '1꒤PV(6o:gFpvqŤ֊is~I; |n}ı^9wbrM&8rluďx졓~+z| ,E# G0v\`0W"  D%J=rΞyVR:ϊ x7u( 2fd%xbT#i.mƐ*hr_$ƍѯ%A F1s^%l͏u)<%MI?'z=jPJ}NCߡ ;8ģnPDz,(v>\;@th7ɖMY/Mvε@!KpL^ތѦ\fu.Ō]>Ȣ՗6V]ְ^VBDI>USx^vB\W1TkWtΑUY 1je`dT?o&opK:Q/oCd CWl;(0x֥?(xBGozP{s_oO\wO9<\m;)6bN>$@{k5CXBeHmmdK(_=C5-4„Q#D "ȮSnN5gk;5FKMxfQ]MSuZ0GL#5jHx@sŕ-[Tt+je{FiSgzoHmz%GFc2M |8}8iSy[sSb {3䏭PyQ_쏯=, p%@]Q,Eʸ5f6͞1ʴ%\ȼȅNWD N&qGbn>Cn oVJ5s`RUnlq"b1rdf#&^ hE]N#ږOG?̳ x#fk9pۚBa:xdJ"jN+lfkЈo))ʂ^U Te K,{.mG&<nh5$rRR`>G}00n~Oǣziw u9v'AfNщ-FnÆ9vy|tWX7TՓ+?3w҈KgZ͸̪;5Y%n)\+A/!Bg&׸[,={ɏ7-_RQןԻ58YL"{j #u jgl^,(Ҩ YyᢝiJa=CRɪ/VҨᏵ03_% Lw=d`\koCx Cp1dtDž/*Dǵ3mU!i8甮H4GR+Je%dh ÷NI1syhp Hцy+vL;J+y訆CsEklc쓓 "$6?-rTF}4_גzI\/O(jM鱩ј +<2eH\8EM/U8%)L?~1):(<6JWԶDU -K~?M8ӣe.q)?54|7/dLM<İfC&ŭEA퀶7 'GT>UgA"ߵ!]p`~Z pvT_Q)Z#kj7l )ڕI"l$8>FY>ՋkR:uoh%7@=}RhnV B!~v( k:-Tm o D0txNWm-9(?& VR@b0dI͞qx=3]M󴱶͗y1ΐ-~V&\޶"ƉmWUѢK20F4cózJpG,,Eu雷}W˷)2 4Fףd:|K:pq2j?vŬmL81R[OQfZk~nh#jE7ivKн]EgI+_[^9,jϒV!e׏{dQnk)«7KNJ4OK?\uZ Ǽ}̟\͇;"/=o ʛDUm]&MX!&@LzW@n2M#}d㝭ģ ΨC(JJRv\^`}zJ#DQMkoJ1hgᤤ9)I,0f:yը'W=>3ZA>x>l 篫5ڑI[>ge̬# -Y"%O$G*0˻Kʻʣ*mm6kwqpҖmed^8ݶB"P~;Ι'rXQstQ><Қ.Pb5fW v4ᎶVp73[{O! J~>R8 xSvG)UA-e~ pF; yonVujJaN7P[HueҔEl,$R %)bB$)| ԇ9GBL:0C%;j^X(ݜ|5{cо~eI }fQ?otX .4 x]޲I ʅv6:.cni3z#"I!I=mM\U}Z)uHv{0R* WS)&n|.28н( )#[sq=r *#AsFwtwAjȵjI2=6.[J51񸄐!š 1|=V$ !dE^GR3hbg!Mg>#W8;5?A,!ɷX_Cr,; pWڍ/̦_J G6, a>͆'郸(% 2" Dd[P y珀q*T2W+b1-g%Q*^bTq<3ߞjR:i,d@ HeC` !P1z[G])[" Y'qP/p +] zǶp !ˉל䎣Njvܸ)*i"~bEF]jYzBs;C9Mj֧rݐlk.M~Ea @$K#7ʤa;t-~Ls5$l#y*ΜІK|#FW;1pf񴸳5V 6ʺG~biO\\ӽщ=Hg7&cQYid?Hރ e L5?(x1 )Z}"7h=_Zy,)A/(@q`e~%S:f~QYpa@,u@MAf%*.}+ ǛWۆw|é`|=Neg$=؎앝?=KRC!eȹ-`'^xCa6cr(B~^_.8=@$:r/ < ͵=G%{< ťVHƒ1A40/;xÄ nM\K˹ (PЇVJ4ZFpSdRXWKo:߱\TԡF&IV%~5n!K]>y$OǡKbx_s0nĈ@ΕW01Jt6N5̶lkQ㼏'X`c"˷{5<`m<OClGZ{\M 2Z@"Z[m>) X| 8ڒ.zʡ.04XYF~b(`6rΫMz<fR+6ꖕN,rK' \ƭ~bg.c*}> g;fzo\ 2ux6&mN~TЫN==!L-5ȸ%e\4*56'M$=%o|T,3t׾*lD]j1I f_n-u#='JӂK[$fTHd7Ռ؍;~\zY9p6"ABԝ3DଘV}TS^GR)Y"C=k96$/'KMb4 GeF Җ:]N!"442G)6=e5 eˆ.KB< _'}XqP̶Ƞ [僆km;&=Rsb{ [ ?YUOL^4kDEFH٪2E ݕz۞}G{M\(L1&26Y'g0Yp*#E1, H!RB0 9O>Yybe2XJQr;VFCfXOne}\|.,ְgoURr~*n*{XQKYEamҒ*̋W4Nykyrj؎t;ѷ u+᠁O9[>r  ἅ_]tq _zLP;Pc`oٸw=G%&s^T]^Ώ)IgҺFffݺO]|%R Ct@ R.i.T5: ŖWwC7y4`SA+7$k䘤^ւg6$Wͅ86MMe" mЭa$t.ŵO4 h*3T@ M,E!Jbæym鉘^ghڛ֛ƾ` F8RV)H~ۥnzhGv5T8<7,dpSeN+2)Xfv5jY9_xi 3Tf_([Wюn$& :Y^IS7?=߯1 "5+br8@ƝeEjJ1a,=(*e9i8WU83Z7v H vX]6,FУ aNL\;DQ_;sdg|%pغ n(lD@R"㺎xNkhHFQr&UQG<yx$0ۤbə܈n0m݆rdyWdw=j_'6Y INpXm" XM G=z,,&G]FMrE N:Gauuhxl8Gy$`+}&FmýV!q~Ѧ0U ca<}&/'ԠA.>^ғ7pg1g ﯟOM% 9 fg5(۷DچZH" ;!VL$L?\@%eI 67ץbr]`Pdz68T=UV9k@a D?ty@%R |T Qr;|OalCpò^~IVΦ睏oz0p@]׹g^̫ ˳S`8=TJN Xtf}6_`i g-5%sl@Hd~ C;c"mo+fφ2[5*Pͣ GeS'&w};ICӎk ҽ6=:' "n8!Tq^cm-breF;Q- EuC8YNqߔ܊?u5n(NbwJgND O6b mZb0,\v^Jݪ6Ei4ӌ_䝙 R@2WtrXӢ-6ҡ!'56sᴢz!&ot*Fdrp3H90*㘩"'*{p\BkfJ)*!9-~36]N8TeEZ<}p,z ˘{; TgYZf905415cca7c33913d52eb28036663da47a00d69f7ad79d6f9e93f2b021491a660edb894fe30c4c7 88df4aeb5c420811fbac53319f632128b160127d813a92321da91960fd0b3758a6f72d73dbeca81e