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  t tXMv tD ] Password_Authentication_Protocol:threads=4elapsed=89.143cpu=219.684gc=4.7087zXZִF! 1>]ŗXiɟd)&]4)nNN.QG~&AT_E"g -vϱzr|h^oX! -Qx s=@':xbVk*hx%^/b@磌 7<'kE">9>dLjVrjIYI~A,ZkuP kF$rzՁ &؂ч"*{R# 䯿cX2329#4*OqkuqIC-(;OhpCJ7:20GsC ô . Ò.+YWRpuRZ9.eBZ3p[x|lì9XStDS6wOI{?U 2m*k L$K}lmW'cpCEi#Wcg}/"~.'3K4[gH9t`s|.ޣ2%Jǟ%6BL; SG Y5B 'h# YL0cGq=jLu#L!*~E@7!$EtOXYz o 813$_2:goKq uQҗ{0PGffJt YLH gE/{f6W|mCy(:=}&8":=[ Q悔i>=<@x__yr\rB ܗR0v_\|ds}1=\Y-\\7VY(䪜€TRctK1))[@˨yނ0j̵p#pEíue2|DQ \A kgʀ!r^ %++sbA[vQiYߩ9^m!uZՇ%@ 'VaÎ TD`MECgjHs8C9TDne/e@zd.z_l# Iq %OfI ; k%-$K͢y$ uswX! #M Password_Authentication_Protocol  Ⱦ<ݮYʹ'"&1d[|V ne<; WdG ˇ]K[^E8graYYg;2!&aѬ70HjccNRuQ7q=-](2HǛhwEj 6 RB|}g)$+F7MD.Ox;֪wD6G` 9+}dfw78D]G\-[Óixocl\5K^!i:|x4[zQNU# PW^Ss Mgiv 6R Fg`Ig`]}7Ch8MRYy\n{U-045A^Rz? hQc]=3@Ur['?|zˏd{{#q[(J}I"T(Q+'Ek/aZK޿T׏C& ;惛ѢfOyWA8Y˜ !8h<IN$یJbSR/Cʃcⵑa}s2\¥e), ^(IeFf P@co@Ny,'lJ.BtTL"u򤡴H\dUa[ҟh 2+舆?襦̜nOv˩ЦM %郳(&EuDq%/.!6LjŚ;>NHx[6`/g_>~Q@jK|0!#tk?蓄"Rs&)2τ`$ Dj6g!`cPHBΙ"teJvpo)[]湞^@KnA%O_< u]O_Au)YI݀@ms}38BQтuW`Xt#,58,DC}zx 4;Vw\]X,ICXT&OugDFu1yUR \HhA'9>{_k}o.axsM+M=D Om)jn\)JC,шmwV;j)IC9 JA/uMH~+rXf.$Qɱ ڷ/[[$m͎-yN,0 3NzuLC? SV㮶5`RbWBG$}SŕǤb>[i7qQ&^i#zvas$]1t!^}`:-L䍠]ܜbeck%-'csOLJ\dWCɩ4۠3rX@U7X$IC8nN%Z؃"b[8#Vy{ F|]4O/[I>]Ȼ^]fN\yy'reoaUx'DEl31Zpяp;13k.G{aXQJ! h,1hi z#c~GLJɳp!D3a'M{< B-u&8wc3t|9W&Zi 3C,{Cse9VA6 0#Aq:@bEIvek},ڬDOkϛTnP;AQh.#H0_UG\WJ+8=<\>rDԳ=)PN5ϝ2ޜqR5zTlwĤA{ssOK矡WB*\0!< S CYW.BsGh7j0!FiVQa=e 0 9ڼD&=/5B|8倶u[3៼VCRXT+Wr*H]/Ұ=k[Ʀj IZFdBatZ9uGE @9q4z%>߰C)VspU1b\cB?tUw>F i L?͏ĖnR~U!D.o7lӅ* Dh̉c#WLMB- Z bg~BrZS`E%R<9; 黴F};҇%x:僠=h!o bLUh}TZgENeoh0-'JIݍ)r:i!ET=_ϴn}[x(DfrY/L' :,I91Z;j$6u퐘x>SrlAÀ WGa~3-X@_680n;z&IXJH%V_n4+þo},aP)L^ѧQ7!Smu}ykU'H>([ţ#)g&DE:z$\7d'QTe#v%, bQ3KSM41owKeTSCqD,֋sL0ΫfE1;.OC%Z<|mp߇#HvۦE*(Ey.:@70zI8K_4.eSn>&#X/=ӣ̊$8ek6j,~^}`eժ׳p0]i vߪʳFݘcKI/2%#\ɛ5jy }^ "ĪMlsE[OfpЂV>g3aOs_x. DfR2ҋOPD3|#`.gˑ +zUx:xC'*;vZj(n4ZLU^ `*KtwH<U{}܂.RڇB(ϣ[Z Qahp3=΀Opt' 0P 3̓x34>.vVi&TN?Dхu*N^/!>L{GIT:ACULdUrFj<8|Z { :.̤Zh0I5Hq91#yP, tr8):U/ W.b;`j[ss 9*{w:u4` S_wnwj#Ϯ(BZUDDI)Vly .ds~3kJȟs aU+k eà$gPmV?|h[;F?qJ”< )`XXTl[bŅ N:FVK4q^pz$ ٓ7NJc=:04Vg$ ݷၛROgTQnt]$M),߻U8(\2Iw3}B f 8dss7(?iQLOU"}٬1 V{[Lw君4ljC~J"ה`^?Q2ȉ1Nw^NrJ&`O '*clἸP$!2{Lǫk;Ϭd÷4%~C&9t63į~ǫ>!)~`ۺ~PuC3aəi9#`Mx}NM7 AWx*pLtdW d,dR}4-mbV)M: k6|Jb*F@zPegNUpdW)vf w!gx3W>ڔ%}_i.r /7B*&z>gsGE50^oF[~'P8#p459j 8M~u\ مymL6zV HE Ӆ#@03hEUUW06ҸfSZ _lPL{KUw (t5DtvQOv~\aC0E{fs;GW%m")-m!)>T+d/eH#+"aij'M+kol `ZAc˹a0}0:B1T e x:{oHS|A~mI<ԯиp)Y"tRԎw=F{9GlxKy>>hw9/:܈d> vw G,̹_K4$.+[MbquX#)Hy)ǜYG~͉|SY5O ҦqTAB?TՑ` qǪԶdi\*4`n>{30iBY?hLL2Ji?{ES1 _-R}]+lwhXI= @%Q%mƧSaw\DBíWϐ7昬2YmsHᄡb E}Оک\_u|;&=s؛Os]#@ț=7ب[dPKD(=nj9;6ڵM22 $h#W\umKF6C`DGCzDsJΓ;h,D6 NM[K*rN<|\ _z_݌M V7FUg)@2n;.>(Ǿ6 }veU# t.ؘ|xk03f509_ԋUv`+?>i oyңsݝ(ZſS D[56C^voeJ!:8m$*"=H\:@_ oI`ڇ~Lm5W#ҁHϙ][~}n oPMR1ۛ]T )mN ۗ!i*eT-` 2"qFn LH6h\+O]@cy!c@ϳ6wHJ_\T1e0k枡RyfL< u_ @eUyґytS!r^G/vFs>n7t:Q>/ Po>N!C1;~\9yy.?rHdӲJnZb#y)BQ-7P4g ((Al~:.N4) v"̈́^W`<+(Y4z|d3M# V%, uy+G4rZJn]$'pׄ 3d4fn2tVb6d*Bs <|۠L3>o8v'W|p&ͦ ޡ|K|}(4b)@Zt%^wd$L…w#t6Uyy,aw(;]К2aa^9qx ~Շ1fkxBkA7, |3m'PPZ)0Y^mn8e67a#rkNCIA#ۻ)h;~K)DyjZQĕV,L"Y?;Ʌܱ !e 7?TkSR[4+Zgz4_?OGc@`Q~'_kS zbł"F•STi7,@15 ym DÒ~3 B֨h&:M THWVkQ͵7an b+{d8‡L? ! 9ݳr~҇y@%G{BKAS*ѓgߣ@HJKN4Y(?gZe/Qиu2vtSP5 ΃c' YjkdBZ^<1aJ h6dlA:VCPu=^e@X`0^ӌ9|r*` e89k)ߕW$G~aK'1֫{" `w>~$~,z3U*;?*kY_w#TO7_lL;nk܁ոy)=:S3th6ovf,_o@SҹkjO3ە|]5:f͆0v r5jEΘxpΘfz 4X((jѲS:$W"sʣ \&[b9 7 DG7/ɦZV,5#|&b҂jd=Q gEʅ&67~emBJV?#TPm"|uo82|;j'(cV+ށKۀJ$q%%ve56ȮK AGXmB?|1 WhU>ZI>RԽMQ TeDq-00}\llCa2Xpbn=aȬ*=bsJz} MKlVR;ǸMZfQ~^R*.'ol^IwɜU[Hi\e.#ٞc4gЏܞ"wpmyQ˹ї /8n|(#eC OQ&Pb=U|x8tC]ڌ.^J`? ?Ra$Z/dt c^{?Q6wZ'AԽffXqݡ m}ahHT۽z $!X' XSAdC,Nʣ)傴==lkvUb*t1 y_ ɑrBy#F9|\h'/|Oa=Ǖܛ$EǏϥ&ZZW#MHdv-/KU~Lzf5 3X]]xw a X]+i8ʂ /W/, -XgQ)RbC Ѷ(^ʦЁ~*͋e3d!2ŷT|48yD cǒ&BnytAV@lĬr]؁-(v$~>MޤB97+|t46kzغomQ_AzpK;/U4#xRuy#eL \dh>WµѼ q3g.e넅*;9s;#ȾyRA'Zj۰~:t =碚\xsN՝xS M5߄_o\Z↯PX\E'(hO18]W1)5XIk?۹ԣ>O~uIg]V -1ᮎ ,Sz)a@քZEťhf7rWf٪tفKY|gKZ}jsg͖11|.}g:KCCdG`?%µCg\߾I/ Cc/w%3#<少q9ڛ[ ddH)݊7ڤtYM g$Ey~-Dx~ts d 2rx8&&#by/2L?>l4\?g lO6J3EQ֝=YObh<ʚVJ"ymY\qfqdiq{_jrcJ$IJvz7Z,LGX"H ]Fz8F6 Ҿ:ޟ::Rvd'\59S}O@:Hƪ_"h(;0ѿ,(_L6e4sAp-2F, 'K͉J XЀ"C+DRÖ| ZT=Q:0ηRf20u@-.KH.ڼ'g~VP ӿ/jh6{єY:YLOFvNDlއwh 0 5˗}unz̲`\ ڮ Mӝ؜΁E$\?,mUI7Ufܢ#$ PH#k3V 6Q09y2uǗ JƮr8˾jUFxkq,Ҽ[kxN4*?)B7wsICp=ՑJL>p\ cZ.ChTuQ!xW']5mxk 9+ծM]آ Tq7pmuPx9}?JN^n@ǪuCXC,g@z:f<~3d6DOɊhHc0bd%CeHÊȄM bN2'wAg5NNm%Wڟr0-8}Qt[nv4*4X*oǵPLt bd\Tyo5+*=&_{52m/OssSjy ;32PE:OMAa 6s.Cp+M>o0Ad[\ofP8 y}Z;3H7vo 07eSiTkO]E?ۦiA[-H2I_@nZmE97蚾=2fppwI!@ :+>-I%̟0%ph-he߷Ãނ_0kCb\zV>8.pk|'?eH\X~v,ԥ^f!фGo[\rX;+s4aQ0aD3aI0zVwCʣZJ(\dg( 0,ϊn/}1 TX>trc)XZy:m?M2~#YGq(|-!}o%L$Ep>E!:J6*[oB%{'ϥ}|Sy>*@=]鑬Qh vFrb47d|H iIV69e<"jВ??ۥ37=~ Ujz%qJq\)+gCG"X'R ("{so *41ro5lA6+<|ଁ'#cwz]8097jf69dOBwm_9^lF!Oq_rQ,7f??j^hbp線ډcXŃ$!I_ܥf0eDƣRm>lw9$!Ǖ%¨D;Č模ʞh[X[p IxCՠ]5Ɖ~?"òs>83Q_XB_2NN/V4z *A`*7 [n_{d}epg[71NXR#h]҉xlΤ4hM2=An}1 4B2e콗䰌vrb?xpÛLY%4A>j}3L d@CS,+F6}=mB@1=Ėeq!{k0 V8"JE_}+4CjNctFD|XUA BET1=r:|R:˰sY`N樂!*< Y-ZMdձ8n Ɖ8k_% ms ۫N,r@$.* T^M՚ rfXTVZA*$E7䊷KBYappT4Rt-^Bo 6vsrʵrʼKq8c:}B<#N_l~8Uݐˇ0=DK6t Z!O8m-Wʘ~z{O.ZzBYi}fr( JJ<A-+C_b0ӝYܨb1;VDӨ_2 tr Y};BkE '}#- |O5Dax0=ၪ`gͣ њczLg]RQ ޥJC(bv^0j'^ 3'|'Ej*1uK[ZP~6u *ܤAח 0<#YME8K#ޜ=MR!`PC8WsƘwn%[*pU{3+Hu\Qq8 ؏~ > *}<'㤯8{2H!Rsd́W7*[.x_ŤHG_V 0ʏg2Wps@IJǽ0X%+#2-Uz p@nGvWڃ͞]/YZc3m8L9:2)8FsIH%,4٨j90s\j\(3\s tvbIqKQ xmyb-~t[$6f"<qR%^̈)ş@vG,! Pr,!l`~DjBlPۑ>Sf|a? s9>Yu k cö:Ȑ 3}PڭʻzէO7ۈk,t<)(QT( x)@g>TfGoQ:; skδܳuB8Gy(>V׺OD& ~RvNtB޿U :Dh nmF@4x$P=*1Z  t8'-t]'7V9t9[s Q9H" +!4Ǹ%D cJZ) czkJT $臥FdPoq[qd BI?8^y(T9[# )!ףȹ<)n#  A(qX*OmI{'6Fɡ}I4F`Y2lIKV1Љa j%ǨsTx-BΞP%-y4 97ZbDx$Oa}̜]׃. 6d:Z:4ba|+潣Qp^k=Pi&"Ky! 8G.T@[tNRCM1$Ր ,\,K(0ׅN-k ;",$e>6MP8X/֞5}1⾔ľUԅovE lxuHnGf4plBO! kMzuC'X)#\`quxJ+62,EzyW?e0bE]?Cߞ#-6?s!BXo`_/#v,-&6vj(씃"-Ov[_2V  ( +ke"8;n-}/Fll1Vaqa.E+n%VwsJ+1VhAJګFgo#KJ>Ú%_&q$(Ycх+#M'm+)J=!c 8;M-¿ êd±t)vQs"jBqgB-Od4I/IlQ9CHu_UA ."~<=y('ZW+9`nܬ3";#E+V5iQGL~%˭e=Vu)/ڔBXOP?O.EGo9}}}E)qKp ,\^Bn0L:kmS(Q"9m[R;uQtOoHw&NaOV`[Fnh@̆v]\!AoN7Z7۝D KedR/ES^W#뼶R8Qc_d5 @DW:{)* >B*+S3FOTK3-J6% XPT$ ٰk"lK201QxeJC*dqt >5Jⲙ܃HBJ3aK}"^uO=LTԝJV%C]x+ޖ/Jׇ/t| t*F}(Pp*2M\lkmC}Gs&[~v\3by&<飓&-ВX KZf?&# <^"neI' ]/<|d'?K;aBZdҼ_lzbc+]>DE.gAV@=;MIu$3PQJG ELʈUZЌl :?$P&;n$mSէд6=QmhNK* t|H&)go\& S 'ժzcg Dc_s&klzYR1+b!}ظhk7lnAH|3<@4\TI$y5PQeFtfJ?=(ųҗ3bfY45yLJX@bA~?);C2b_v+@Wvs2eD"w``q6oj8^cJ:mHf}Z^ ECmtFwdЁ?Z ?;'a?< )I,R,{!2uDHxRH..6f($) 6RS+'ghdKӄ=ϖqݺG@͆ߤĨTQ Χf &˲h)Ǫ=_?O'`- oXCW:Q䙧 5:>o. (MK{knX/;-M%k8H0xsߙeE3z jiy`NW2j8Zxe=6ՖK 0YKhUg򝾭\&}̗<+T] iێI1^(&xήV9XpL~55oR#ى|:ke4kug*OX>tEKEFZ ŀzj6C=~W|B`jr$JI* œM̜iq.q sz&:y mAqUNBnuwz݀]¥cB;ow+@%Xk=dP.. 9Fn$5.ˊ^XӼq^ϔ}S|'䢝6CR7,ZMrEZ 5M6jWdjІ( P6@iB8LcrvF!z }S;0_p}֣]yi 9C5 xmNZ1U rL,=o@򰗳8xد-kK ڲ$;wy} ک7:2)rdbb 3)%W>x۲Y>9_K?*o.%06kDHϻؒ٥> FhO]g{V-3riGl$PVWDA߂{^YV嫆dnCd | ;{xQ ^ ) i$V=ʙYf9_JbB/=q:7=A\ X`*?!&dEVv|3$'`\ذ{g@oY<vj6/HQrzƓuˍ_tq?In'* F|K#`!͌h%}D*Ϻ #TMp~Y-9.Ad\w*v1?_:]DO%˙=D7xD1:=є|P^@8MSC˼HJ<&-/^ i+ rx3!”a`$>`@+zή%<ߴ!QJZ'TC h9Jt"=݌O7B I)UJ$sswG*6ӭBAVwXzW`A$ڂpTk7;f{bAw8H2fuds&l 92:y%yK>~.F}Cxݔe 0b;zT#Uz֣'e3b+ҟU̜T"آa ؏5>3*aV[z7'a@@55xlw&(h+zY_֑}N̻[|&\iLW%-1 =XBk>Cmg |AXޭU˜oJ']enm|- !}w7Q8D܃ IG!'B"\Rt&R!ne}AV晼T$>7YR-o'oI+BbQAY\`b-@hU3W$`A=veꁫnA9t%V^]c3΁EB3R8&ZUz VLk-:ʬ+x&0~j?iL]|yC.6I|y؇ekopS]KVJ%d^EEA"NӒsj)= f,Z@CuhCswnHŒz1( BU j2& VtSsfsJ^"^+0ccKq4?}l,U8.faxbw!$r`+.k60Rjf3gxj~/ˢjF1lba>WjN&f1r]i_I&!A׏ޜ*؀%sӞ7 clU&t2AObLlmLw:(Ց>>xEDM gg;҂deXq bP<(9v ˆ G [Y/6?Ǡu3o`Ӟ⦠lj4輑[Z)WYVQC_b@MG-@|+jb!1iٷݬ_2Tg]m ö )ٞ~4)lsLGHiucddU~7qMj(j3.}~:vCg/`iS8 %o]|@:RmYGnYA죮7a?ZBn8Ҹdp.쳰3I2STo~zQxgc&s ɡ<)KjylIGcǚu~NO{5q;ƇA5k7>ӻA\a`lFw8SyhF؈fF[|G⭰J$]p55H FBINg:7Q0\T@6@6Z>2aMދ3:Q82AI`YOJv͈Bfn=Q=,K\Yjg : 7 ʙQr ŕYit"jٓ$ԙT/OSSBITX5^>4ND, Zg o#guX50a{nfbcĐXo$]7p_ӗ^zpt(i%$.e@>!a+PVgN!۪sz,84*;H$$.R| $ \(G3ͶA4Gbtœ]8D;V`gHkz72D@v!6#KjJ#` |WoםÁu`~K(c򑈄ªpp-!lWu=wrHp'\UomKp*nM g[\XhUwBF 6%<wO3k=89XE2:M7A03A1 rz*Z ڸIS`բ S;_9*֙"]ѷ^Dk=%M]hاM#4\8v O0B6a~.q?#QrUE$C07 ˗+280ǛB-0Pav ߻sHs9Gc;A7>o d "YΫjP. Q*65o GF 4t15.b*/^;_+i%]<XlZktS/>FT P\۱Uvh?)#$x6eK(*P-I5vBEC}com0>U |cen@M7!R/H[5܁|e]?{<޶Y)1mlxGXugFdn1Zխt洇FETSB_V6aCOW χ63K9c\n!bA~)zߩCd駟I'H8X+1.%GW/Wdy5f*,Tr4W`CDU\)OyVg$bku (97yW`si93u7L;{2]Ef_BqCpS0Zp*vukuUdM<7&TmOn\?CYA{)xTܽz?`5IQ!,zln.Ub㭟LfHC%ń*{hNjigP- S"!y?C,n#y|GqsAEס2n%pOpkAj# -/aS)?EO=C"gpwת*?ģ*ߔYd {ѽ zX ]ዪ+7>oݻ%,7dN@ Y36fHI_|צ@ҽ!2J6%]_ f\~{8h"gU! pАx# TY>OOkko Kխ+K@hEu,dmM=^(3 .Tͧ@lмu{[Z3謜."§*,^,F0?_vʳsb7a)r7J\QД7m|$A04++8?݆r\EOd4*MDV;d %W`t +Q5v4SaeN(6+q٭b8;Rgǣ+($#nEa3 nAD)%Q:/ ~r 7rQbrí(KpO.B IX H@dMr/4#t*wʎK׽p:aq1i?Lъ_MEK|uZVPO$תHzoq]5CA܊"8w?:Pl2f IXxdrQ!rm4LzЬkrdE;T`E#5)rr|"mWi;o?"~dT;&TSWIpk_&vḇ-l:C6ѡhu_m$I#@ yҫ,qV/^% `T@ИuP*}Y%@ w_repRKN&y + ͡ʕ͂SYDŽ Y_h/b|G?Pz A͆B7ƒf`q 7##ɴD 'D8[WSǎT(Ŷ^ 9ڼTq /1ptncktSWRӅړ%$s>k_TcJM5}d1k"6'Ngw&&U\Р (4Q(2luLpU !t8odsJmWrSX ѿ dg#zSC!hYt_e߯Od9\ VoZb:Fhd1Kks!@ivj [3c/ ARJoaqJܫt$m\"=4!1{+XwkҔU#TX}ݶ#"3di_C4-"Eo_*j7#R4& .ϿB?^ %H[d4NO Z*߄n4%^oЙ O-9)G'Nq Qi>*F g"GovfYQ)+|drBVW.ktpk ZIȎJFP (avnjHeN1F "Ʌ8m\a E@x{H¤ `R흶=?gaVvm[G=[_AkHnQG|0UV/pЯv).]a|Up+|7NVh2Omw$qcur* .O+>/y|'}-UAӝΗKü  ^K1 kfsbc}K܊ O+x }r1^eD/9[$vG`&g/ MބJܑMTRvLvM<-ˆ.airPIdo{ L֮uX[}U9ZJPj6I@+5;D󛚩w^Mt ;LJ;C1L+}d=V`m.WU ¨ '5g^dܮ- ߊɃ8M>ug-+ǰ||=\Țp9m^MG-h^XFYn^ {묔l"b` +y wPSG%sCGJf7]VJ+GH .sǼbB.4:V^FEdd G.ɹh,c8_$S6lׯ1}NZTAUyۄ)%QּgCvO uw.Z4ɸ';J憝 $;=q,)gk:k9LL3h9Es0c\T~x!!qx#"%h*\\&|-';yu+t+~]8.8$.Gkht`@-Ƭ) tlSreحKZ4v, ѐSם4#\' ^e nab02  7yKS>)#ȩď.J+LvV ,maUo9ώ:O c`S"/PaЕyZAA|ܗNu.(ݥ?=E)e'pr$AՒӽI,םu)-p89_%jVaSChfc\^6$cLxqe힌`/YԸ1;įPɛpѤ;^㰓Ep;2nӯ@;@8xe<ЖΙe+vGǺhcزOv\ːu(, YϷz^l'- G"*jD|/ΑkmAȅm_[a= g*-ѩ2, ū=GWJ-gl6K1||f /u) >F2.D*4)Z-_r`Ŝ bhV )Ca>hƽ%#[(F@>G,eB}?[r]B/_N#Yf7 d@?m$춐IN;҉MfQih2 s;%tDyۜ? "`ο LТjw/=yyBxq&eat>Vi& B0&ΠOt/\.%sVi;-DJ,NkƨNۀD( f3,㺇)Vwp441HLap+(1>F%LlmíZh>HgTcV\38$3BV bC1,M(x:?% EylÄI ̶]2i&K vX ᫿Sv_*scTWϱgDgÒeK꧖.cvbFsT8ѕ*e9dFzwql[wMKdS/{P .&vܠVVCIËwgr}'!msSbR;ŌAXH}Oq"Ҭe1jk)8ώ|y*Q3V7Ɋow_2R!YZ7Q9QZϭ5xwndNFDΧQB;cX~Pۚ FZ_8xeQ`9÷8{AUYO8T ~YTc oHu?C6=}kjG.$ZnwKhh"X뮏VD,VzIׁٿu|1`ZmUۍc%֎=dOA/l|S 0&Ky`3z,/o`pײ^չ89 ysz@Q"VdJQ}jяl.]Qd1&"'E雃_ ӯ7l?YӉ y0~ODGv=K,T͡}h2-09:d;G{2>JJO߱L2J.ӓb0Z8g ^ ѝH[Ω/'mdX|<F̛?0,6Ku @(2 δϫ]ȢiXf\x"U?ط&VY/+ )GMCyYYBXVh0{fɝ u8N,k0۬npO KK~fC) ^fClRA]AĬ-.w<[t\PbyCvW": /W͹CX,R~St+z / 0 mƽ71htI@!_oF{ <龜h`5 @mPK &}懘^8{0Bɡ 3{fu]=w.e2n`^M<` .^:Q-'ˡt"^77^>%;+&5Sk.Bvbt5uyִ8@*i@HWt>{P6rע `P~<&ZT*}'Lzj5I# ,A[ ]Dappvs >NDMi˸}oêo\;UBp!7"{Z!pۙY,xE[jYyʰ^o#]/< Sb6RCzY[BW]{>="@D¦ˇ /ZJC-OSz}ˇY$<&qMl'|#A.iKQ>,QaDX~C-l@݅*mj Ҍ'YHЎP섥H`qr+ٗΦbw,_\n>zJQPOCH&Kp"hz2LAQ\MJ09PY BE& &G,{UXGuo`M\,6DZޣ(i,ټ*o@|%V׿vEQ4vFStDS 9HȚМ mÙCCHmOշ^GA3 nH*Z<ړ ]gR΅tgzv8h{e 3 %GW_ TeĪ IjB T`C;q+iQ6c]B6.I>`EKfDȗN+PpwiBjohd/X d:HZ=\\ae aG}x`5Qf|.:GF!-NPB֢gަC)wJFuMlή]5#d_ $+OEdӘ 9.ka}-JtST#<[Uy%Lkb *&gҸ+ȺDӶՊ1Oׁ* ;/Es5? oa5& *iDn:7M|~O/s(Gfb}$fx.CE"5<qttD/;Àtjj=,$¿GgI=&S3d CqcB\*_uҟd.y1~ۑp0!hKunWy:*tpk}9j,M<dH"e`6}Œ%(w-֬$˯eܩWF<|U>{L0@ &W гۀ}[A#{/w^RW+G3 eIcTRn?CpI SP_aD_;c;-)Ы:VV+[Ps5bhgu &ԯ>HwVŵ=hatFy;)|tJaz+ڂx򕺖1Cʲ? w.L$ޔj鬢S(k.4aXaVu&D;fCriڑ&ERySZmߤTS$偝.ʮ0[⏪o[(N1[^QުDޱ>N jBSyfm.|A h<3u!r^m}C|_:?/"$wr wp}1B6?*6> u{@-\R  |CG*'Z;cR%>Iye;D.aQ8ޱJ{rgրdbu!1r쯝(tm`)=d=1'6PÆrtsUSy p[Q+7<7"gq[@1;tkk)AEy$ڥrRY꣇7i$ZGտ`ET Zr*kOGT&2 \-yf{cHAOɽ0,g}iz"]d(կT]pi{I}U4zu9= ԩl$dC^OkH./T=P*PyC~\I6^nƻ:}@rObgY}ޛ iUtx%7 }<11[B0Ϸ;_6'F2 p9oZz&~/ҫ3YB?\rwRL d=B"!*՘_mڐO) 3F8 enHIP@˧o6vcnjĵeHd@Kɜ D9̛cf,}_7Ӻ<{HCgdJ.e;=il_3- I1; E͑٣>+/QydE/H롯&EHjEwP Y/{ƠIݢ ;$֩7ios  ՛ ``NbN#m7q' HɵHq*Msc,OVM<I_\ '/2wb3!<nj[0wE6̴= ˛iz3pKeG.T> I.>۔85T.J~dd.|V=&PPJ$D }`*r @1 9\sPI6J#sϟ(Ő2ZUM퀢8;޴Çj3n%N:e,lQz| öWgn,_x Z௖}ye:{{B, -$\^XNv.ܪ7ř&T򡲝G> v2Zª:«hG)BR}vP]EFD##g_|kx"=\')v':}8dW%fmR.Y5vES miȲ݂OY]zƹydw/ D]RHgݡ-=J3?P!^Um{iK7NW$ٮۦᘱi'f.7IJLfnh!9r%ceQq)+Wѻ㒇8]x1ӜF7=}eB6P#ڀt14@J#6)2D:?TKi@3UOaÜ'WIIe8H}?OcԿVi*DO6] CX~g#zqZtcA㱚b5vWSq@+!qa.4ץ Kv+@ns0#2͇]#A2yfx$v}.828>6‚E۸ϲLcw_?!ɷ1֒V-hQ̮bG$f IZ35\*L.JI!N]'Gcf-ԬFc`Ŗ#9 !2Y]ιY>ަz@xx& K76E%A)\2F"?1Rߖ]{:59d+H)LgOޣu+c0@j]ADK|]eM&'Cbs*ͷҖ5}̓*xz9 ǣwIXAMPX+o5 czNaS"Y^Y8)W^p?8Xo STY@[r| [,\1tx}.4nU:7ӔON2A/< 6r\! EKeE#|%#mpGI!wڨܕ5c=\0 h5eNW%a$ #X< %cF] E<\\/ΓbU]G3"/7:ӑÒjCP\q s|V=V 1exYy]&Ԗyg?eR50zXoS g+}p!r{n4 U?P< <`bKqsfM)fqca*?񘗥/FzMw vei?cQWSBG/.׺m LF֩"t—t6?`p yo~YWh"$EvւHfË. QNp@ju1ybL/ XlƌV&~zڝ+:mDYnfia¦Zo GIX*OaޕW,AX)h)BRtuT4-5= r?2{1#E7թ&aD*ȭ9c8='' ض~[ e{/,~fa-M#HnK* xtBqxc~ 3UUwaӎW:Tqh.IVq˹ɑ[!L] *יMhX柬x gVg@UhF," yBb|c'RԃG*ըK]1Snjo-w( dqv ]#zC GZiiK ME/"҂rKY/u(7)foB_;!!QÒm}Ewk AëbUv#<ȯ] iPGiSdqjg[tyEZ#@(v5n9iĆcĨVBc21,S;$EztB%' ˋ0YR.&THZ6Tu`ZJ=*jAؑF@m8Pyo띡^i5=m[C_'٦ ؑ>(yiEs6OiZZB0 < {\ kA!ѥ$`ei( L623l!xF!!fpf_\IA7hA[ 6/JU$_T[jٜc1[+BE:ƒ< F1'2wTGO9$֟'nE>yIE 'V6bV:m'dwE/o>d#@N5nְ%&wx25Sļ&Ffy'sIp *=NuZ̷5wC4$)v&c/ݢ=YqxBqs'[b&i+B82m#$9x!qM"x;}agg7 GXd`٪ECRl~О%׻H}v_sph5aO9Ƙr:p6Gl.A3o6]ܟL506w F454L ڻ>U(byl 2.3kݻ>35N %,% =[_yF(&QO#zV ׈/ʄZ :>@k.rR.\wo`=q.7NI$ĢL_o7+e oEd :uD]将 ozaHŲ)NI wF:Q FACM^KQ! qhLAaE& w i򲌘7'棘yo2qԜ{Em{VikWF`.:i"DUaz>Itqr|1h7&,oJ8/yic {Z;:C=m Sʗ I ϵᏇP *\P+,:R{[ K_~"TCm >݃ijWeQ.tz (vs<]Xe]D_dNc F6OICKtKΰw\Uɶ;A&4 P _ +g{5` *doll-ؙ^um}tŲokڬsIWwqrskڸ$T" gYZ7zXZִF! r]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡Q0* 7!!,`meϠP^;#bBZ%(K!;Bo:"w)^{9zB7ș ?KO r;/Űĩ8GHܘe.0Eׂe%A nZ{ЖnC* n}?8&_YfAO>:16rVp}u)`u#ye^i4[{%`Ϫ,>@^;rg* 2MlB}}]+bNG1YK@Ayg"|iPZ4 x4pL,:L(X0aVC |hdV},]aV(.~t4ucp48R w)IlJBs""qAo)%'ђpӴVN2}YF'ѯ9"M-zߠa3M-'Wn&˛iXƖ*X !zpx$X‘o'%]zd.HY"⹐!6pv%"4ߺƻuM:`X:|}Ė1RI%"!m^#ٵI!zӅj\? 4Ef?h.[%\lpRw rT9z 5kZK/56g>teMQ> WgS?7)GH{ )o}a[xV^%࿒,鑫*"י/|>xmI BJrFLHj  j%~vKFn9-ȐuSZvFtܞsƜi(`؉ױ :͛:1.l *S 4)+-IJjXL+Jo ()_'V3ZhI՟nwKkY}feaɬc7Œ?%ӌO.rn= R26mB\]{N@7Cy* /ZjPhhOWx|ǁ+="O9A'F?-V~R S_ 4GM:~u8ѳ@ƍX*{W}c`8%hc*!TA~*(:J[qUPO)Zm[K24Ҋume 8蕇' O LvoUS3nVj!S-3ٶ1 cKS9߀#l6{)i.V">s t-d|h*nȬ{I~`bw`aV6Hfk|]*ñ<5Uj7W fWc&T,ş&S}s$N1inJ\p^Ӄ^2~vgHؗ6`L̰AmQA)*R{~ı4.߮c㊑⮔~r (`Z)c1b! t࿶=/z¢Ecr|{)wR/",\*dv/> w7g{Z`~)U'5QO5w\QcGl V%nh3n$Q2u| "(VQw'aDs-&W3alKo)Gvbn6FWwJOdP dwy5*k!;Q,qnnT%2Fl!jf -p%t#~k~]" `U@tkuqkrk/~bJltgXnrپMX6_y7Fp̚3u>KsaܘvzK jmn4|οr;`s+['MPƷrKdMcDqo=â#(8R@3ċn=H~3#ٸyI {)rw<e}r.2RT'UhÏ9SC`9ж䨗R/; !mZQ}]u#Ë~i[q+0SXr@#g^R M68(O{|5FeoEV~ "3/ ^g~gF`dv&Cv W0lRH,)v,Fج=eQdN$AH|y?EF~6VPzwqi.aBM2dע lyGC.8`xYa]`UqvXk.ǡ̑cU^_/12CךU)#|GRF0܃D>bdpä% ߧu~WXd+:jww=)/V>eOrׯ7w2@`:htu("]pZO?8uEmba&)bWuA}6m`uj i z|AeQROvT?!(] }0*W# cףfhӉJ`A7ytcn 9_+5/1;spIo# ;-:;W8ݭưN aAD,W ?7y/tm:q9e %Q~2?3OȄْo Hr5tL3-xwG+PqX> F0HʋY3K^-փ]PK(u(M25C[84E6֣%ZޝЫAqC 9:šQTNcnS6zFkF& ? ZA,X$L{y< :ϭ~%Dz/Kp8=b/aB&%[w=k%Gg>b vՌ $T2Iį;,ؓgH5ηg9Dhp_xw^˧6*mŷcAgz ]bP\Oa)! c7wo{;A|?k  ~IF^}k!N/tvqĚ9Fp\Ɋl1?-NG[~Cf.\< ({*NٴL%/'33 ltP;Dqǰ$I+=JQN3#瓀H8/%X ?{#TrFt)6 }ٍ-jG:wKi@ Jwdz`gk2D>pgM3Ǝ@ l7V_ԛCsn4ag@G^8ݭD`Dbk"X? XEgY;{>Edy۱V3j, X8XCWz9m7\'%- (^2Me`^A 6`uhΠx.NoTв] Kp3laAlЎ9&PL M(w;oKR&@'>geK.\\s*IŸUH#n0S] spZ/S]ᔤ?] Nlbt}!CQnrf' z97pK8;vQz20150!,i?5NgMYU|{J09b;.BOJ1De_XteDT$qH* ќ!`_΂}hsTLơ[В\ګ랓E]Y+`#ʩJ>o\CԐw. '5bHJH0SO>:Rq?nwАyƨK,2reAcO =/Q[1E÷ _^4L}={NFȱ2w0li2xݲQvtzc$m!u.8{ 4oe+egB!'@ LtN%;'ާ dv$ B4RNECƐzFLD'$9&YkRCbOk{f:ZRxiЉ<32EMbElUۍ(NZ-?%֪p!vf V^Z?2jMě)n, .lyd[E] Rtn.i~R.k/sFGPحSΛ/;/gYZd91d45eec4ab6e7a5b324eb914264616b39832b29aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b