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   L/d\ ]]Affine_Arithmetic:threads=2elapsed=530.601cpu=897.484gc=86.008factor=1.697zXZִF! D[F]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=8cvϦ~ = ¨2{rCj~9|,{yQ{:8Ҡ}%ETTB]ѝe;eSMMH Ty?F۟K̯?P"!߷@3loK", / Affine_Arithmetic  |)n/ l9L beI]6mH)Uvapmx'hCSNyU/ʢ%ˡ!\0ՃQ>q=w喕`x.d(él[S"&i[Gm}hQ$.EGd]{mpM;W%7h, B~e':>B" i@=Na"Ox_E= nWbU$UR5=)'y)jɵ8 bM*o`s& {N(`D>ei6pU}?rȇT *ha3Ӛ6D/=t_$[K ׇvW%?K\M((]'A`'C}۰`: c?Y$8t"ÄY=Yl-v\.EHvQ'LxʩvjH "W۴Ċ=Z|¡)u3i8i>T걈&;YE ^_~!tsÑr8n[lUFCF7S 뀬~ z3Nؐ<*3+LF.2E2pRQ}3M j#\h> e>扵*+ eB9=(W/ >+UH?bWݗ&_~ݦ <ʇЊ =Dž W3͟p#no:0%9J/ЕtM|_)G`~m$B7W{pe=$hKCQBrw;)_'| Q%ڤ1`fWEMО!%l vV4``gy 4iخYF}dBŖ_~OLסkÆB&DF 污 'q 1F5ZЯ?™4 R#`/ߏĢB.ؤAκ\3EGhJm;O>+J]}4KEݬx4sCӪ*8 ܐ籖6}`͇P#^mrÈ!N˅ӹN ɹRaN.U6Vv-I&7k(eh.qLhB!o*OX}S{Ctir$SS$P&7c}7*=&t̬[ 9^t sϯ ֱTT! Y C. 򧳂Qƭ\X81Z符yTD %f^dlMȎWqɌY؃ KvG7/a;Y"(c3nL,kP7E hfnGq[!d! Χ\tc$H^IFrTϫǝ1*'eXYI<]3-hGKh!ϟW'8.GZ:D۔~q=<|'scbY0 .ďuefˎа^=lxUqBr2T0P!P'l VAQ}Eyo.ƀԠW!yUހn NQ };-A|3"ftPU'Op/x^{>_cC^Gt-#TŏK^E'>vp>Ity@i鳼E;|Fa\( ]LeYu7ӠI]Iph$kJE߷ ZwN8,RbfpC܀5ѝ[ }/ 28V{gm⨵ei@"L&SKEy;Dѣ?Ζ2շKF,Dm=YUZ=":3|謬4IKEvGH#c*3J. wJ(Y3I4/e%3Pu˧Pko)2WO2DuOI>l sp(BMh'RUwP"O}eg6kR6YJ蜆̙@OKlnGB ) jUs̈́}o>sRCn XC TkyrFX?c-0Ls@lFG?Sf=cV cbYR /Gev+C7]tRryv?>҅ | u3[ v-9}^>i1DHAEl{~S\>dv#n'.(ʆ!Ry"i| : Y ۅI*@׌(βq7YP}0b IS["n鐏YQn]q_\zK8lk}|~ts \cRW`EcrāQ6T;u9_ {RJ=([,?jA_/b>x|Aɱj:_;D",^V^: nEPw~i.Ɛ 0\O۠=|¼U ! ?qq#j(h3U9-O]?OgPSAr b/\)t YvuMI_6Ӑ|nE%_`d]r֢| !^?zΪRc.Ȱ`]^lH\dK\m0wYvU:VRR ga<@gͬقXpnO mȆ O<;"w1׳Hw(c̿&dۙ}׵*I#lGENq1'G,^-D k.W%uuf񂘆)z(y+鐭t)E3zߞem*e4両=Oi߶S"r\h . NEV,^+ U~%g m)p#<55[Injv8''int&1W`}]xIYręے }d*m^6D $5;󦘄 ذbRK.-^fWS^ЛWN\j\NY<4NX4`1u ,f8kNK=6lZG:TpɊ]Y~Wi7֟@O0lCh^Ȓxu- ``n~¢'95@åg/I"axtSIaqO`Rr.Kh(J]ԛB%sub>j~{#!ur1^+0܇T8ㇸ*,w_c.p/ 3=r2'_Ag9rl)wSrPjKy|bhLEF<<2ݹρY,>[y|׈QR *L ?23v-WsXF9`[]_%K2i tfn e2ߪ+>r|U'w!`j:/èb+$Sc.&7 낊(Kѯ@НآwuΤH]6ԅhH΢s;МsѮB?!3dHOcUxFoԏ:v9H 4k]f5 CY5vvݗ禸ڛ[q#7Y8}{zMX]JQM8zB޷L2 ^E<缿 rj!Z]i^혭0O? '=I%?Jɧ5}~_A~{G \RV5el1MS# :h Nxc UĔD%6(-)2U}KM2(xHm^2F(ccBAylU; 2CWub|,ʲ쁧iEX%s򓗞 ͼW\'K@PAV} g u!ta$Ќ q؏g½$u|P}Ѵl (:JI~f)H}D?_KaE޳RToO;ra#ϢPBȞ)\gv!L?Rk:\[d*?k*UiVd:UC%?|}Ԇ4㩤a(cEDi*N3exwh>QzB;lȉQ(eSKkG 3fŶD\ZJlI|@zޭ8܈O%[gYZ7zXZִF! m)]ŗXiɟ|E\Ât+.*aphG)%uG:YC@AiֲЦPW֭5ХDu)DAӋOA7*umou$3@Z$V $ht~0xhU`2lBCZ)Ch%Xs~8)5-ӧWt+MTt+ϤYG^gYE2n YV|&dFt56NV=Wf^M/4\^F2C'^=:t)2)h 6 l0/em+d- 3*woTCWn4cvZ:{)eSyΈ$N7RGk -Dm1^wN|5ľpIHO5>f7.jm#( KAb)FP%#邓1^AVI{8k>x3iYaNВSۉˣeXl/l,>I C'3?t[cV@JJEB5Qt;V#b]c7-YnH Bt:O;PE)j,*z ~J;s99%$]2^>cR?Vweb5O7i4Q-xQ0EDSۆcpW>3nEFv‚WZؼAs P0 jz׶ArN'@PVrѵ uIy&/fafi5b~iwӃPb PNpF-}X=L 3/G}xm.ԴLEo;T > ݍT yOpgx-4A*#QT=Nw{BV\D2wҺDs=$ѥ՗ Z:ŚRh뒼p"EhcДDkV}?[87u2YXt 5U9ӪFExSRКgȌl~)S&2f^u{R:/]KXG˲ I.I~ʆFpdӪWP2@.ј]ӢIהAekpE;|p ĨN{š\BK}W3?dط\ѝOzj\Awt ;EXcӃWai0 t^Cs#4heidЂ,TY}9I;ݛKZӱoNնo+ۍo ,7ϱgYZ7zXZִF! qf]ŗXi%>g\B  U#:WOgH0vԚm:pDti +pWs%KՍ^Id,qte7,?ⲥto?I=(&03KnpgޫhiΗhb&P2xuYm#'tW54Ƥ,ڣY^?*dx`{⁶-T4q-iEGA,3w%D?ZƷYAQjዄ4@7y[znq*3@{{{II[U-.>m ٫"xvRANgRT6PL&؞α̜H2n@$hbEvg僟`ma?уb69dG4Du'N(o=3bTZ1@{ A~ ͋фȿgXokQ57Ѡp!}4F* ,dj8֠`pҐ_y2m2OMVuWbu/@u--TBoR0P%%m?T Lo'{b ; Պ*UoL\ 2{W,' .2eZY>+,,걭oN/? ɾ/a*3=TQe]˷V9(h4jX`wl,m"Do}m D 6xw PkӮ@8C bү(SDxt * T8]w@Mv3]E *)jX@!5Bu"9l;phxV/BQY*DZ BV/ԗzBaI-/J1ֽp8qD{}+&w P[RRIS\vxdwж)}o4c">WEC:6?"7+A`|W ֵ|g9]CAb9 @m.d0L8X!V,|^U,:(y*m[,[.g[فC2.?v`K3`;[Q?:7~o~Yi!1o ]SB%0V`~ȉ!"=1"PD.K-אBr;TD!>U #R+>as^T"@h6BYU<7/v, dskt'A`I5s,U1i'V%74X@>"{yEf{2{앲o紨mDf/C̮:5D").W_}cALUf7(?0G0i)wx>Ie 4n:㽴"l:|pWc|}|Xe22g@~.J;^'{X;緪01Vn`3 kT5paY2s# ,p@OjimM =w&ʃ";{ .lj]dFMVU:{xj9\a~O4QS_͍1 N#W0uݧ8ʽ P[lLvs(Tw$k؈^\rͯg5ēԕ~_wZ FEbX }v9,#5cVuy{zGg#A_葇dK,ܒS8k#xq@al* "ߓ+/e[κdc?9"WV pŕ8^ jAW&Y._vU}jXZ}rUѭeSzI<eGCNn]>-*Nx A%kgxܽF+{v=JVA,ޞ2H[ ٞتe#9^ "_ML| Cgu^Z} 2[Γ7u#RV`y# u*p@c˸=5` D{Q gk8Vkce_ Cqy;]Ϟf(hd%>KC9dOgUXtȇfL5Rh#U` T}*zL_!ûSjv!`' .2@ɮ)5s.,fDFR E8vMZ`6)tY Nn}'2kZqp+i#d-0s?2h8sUOZgbG\ ,R('oV(I<#^c;F{Z#4}X _7yԍQRFo@cXUpLG,cN#ԚYݣSIӇ8G~)Dz\ۄImtWFTj!Չ9",?Υv͑"M[%6sMAhSjv*j~@/]o|ǀGVAU[yS-C-)L]-9 ٗQ.^Tb{Ժ@<Ár|槬EcR`_7VgCk!(l'Qq!@,ĝhoOSյKTtjX}p.kQXg&P2PS\7u7J6Yݞ3 xYoI) 8"ͻf:\ޟj=~lIq{>`Hf'g]QA]9wKr^J{Wvm0+HBs(̝mu>~WޔT%C  |7#%]΄J 0@]|ى~yW0KP# f8e mi0+bk>o{BxsW{׵8dB }x9!?Qfs +i6SY0$J' ㄁mk[}wO1P>@w5G׍2Uar[bFֲEdܟE Y5LK>tö >:[@7{m^Sc'#qqƯCȠyc%9vC_:k0|Sl;o@ɬ^ (\"xLқ*NػCy-p1~ 5N cEXEXZe#ښ)B{fƒ磠du^[6}|-3QJ?Oxdt[޴wŦSQX=!}Dhn)N 3 ,nluNy8p~ҸІW^(SsV> wQ{,/)0GkP8yYDM^*YGv$ŠK9Bc&\ >sbbe`d]B!3fgȫoZp\, r.ћnՅ_:%:ev H-C_;\0Fj!DVԃ6Cʡh|a\3"w]^$_rI$r^n Ov:ck5l =?hb"}="0l|6 8Magmw@kNx^ 8T;am;,R#y=8O&K=_ץ*Vp&q oGG=FbMNj5s,L Yw(m𛬔1Z7}!N R(;zs6]aRvQv'V9ɨ8Rb6'0XШ~;9)/,o6Lu'٠ N_"Լ 1MAǖ@9`M65k4=.8'Fß ξTκz*l{\QpP3!I:BHZ3SnOB.2p3` 7|1S`-XGwԝ 1ȭ,jl8F1&yy%- M^$:'kb#=z.t=}np4qT3#ÍTTRyxI!lȗ te 'z(̪s[dF;9Z\r\NMkRb5NG&L,1ϠϷ:i;%(k<,x`IG)'1S\|vːWĂ8(v <$ag6]q}*JGCש[c<}GJVt2l@ ~_GCb%B}-Scogw9>`2u!w =' Y ]| 깝+MN>;/d'@W+Tu{?/]9-vNF5wʆ 3kY/ 易?ZN4xa۝r털Yb#~ z7;tJ @RX?딼>Wg&?GDTx L դuڶm^{.yZ{I/\gTKUԻIPT!bRKn꩘䇩wT [SQmĉQ.Őf^<[IO2Po8Y0x5Ybsr5G7hW6xŷi2<7Zc<Rho^\r;bI3ЗKp5ws06=xWAD0҉fE i1UrF(JL-`Я"C.>2yE:D0vD-opElCb[Fy%j9>P)-0MzEfQzwR a>ѶR5@7%~–㏟,yhey-)ZiWvJ]-с!]\hWz>(?ϼEaaPLl8l o4u%gA?d:J-=o+㝨ȄJ'(49U0-#;vjRIghk0S/ rC 1uxN*=mh@5cY !E ֓s'=lP9DIQ:B}*ƌ2|F7V瓚fO=;00J_ekQe'dρP=mVpzI$p#S-%P@4)ndbP \b.W?Is 8vg@N]X{vHNoDIɈ[< v=%4V%Ug8h%v ݳ͢5Qf$g갟zq\&@4\ vPt7BwoiAWFTXeB>Cx)Q톕z3 Ѵ:W@Bszh(*u8]>M *Qף.}̈lc"ḇHOm`v_.Q =xsY5&9_`ނǁfvTb1i.ih.R|a-;޾$# L# :^z$h.A$^ﺓ`^;Fl ni1<;|ۻ.d˱*;a!l:޳ ѯĆ/zP eQħ4C;)KӣolL?+QK6g Zvú=<3qYxS+D*w;MLwCū% 8ڐ:K iիvU.ĸ39-eDuPJlt0((r(Z]aII}GųH\ODBPZܲ!,nTVʯ9T3:ϧwSp%wcԯk,M^h!l$hT֬_` C]ۜlN':لɧqHĤFUM@ |x$MrHdkʵm b6!߼R[$2rAȓ΢k;2~i>]8(jPم>ļ)['M}d8H#!}E۹iH=jRܢuQJE[j 5֤\pu!FO#s*MBcayXNb ċϝC1|fwm&z (~Ov=lګ ߛ̙Da\AS%mQ8|JvKsybEOO@kםǙiZsnl ּ7hst+h!џt6k%6]V/gV _Cw|ه 95%O'-IEФOSu*\*Cױmi(n%OT{WyZ{PKLP!9[ŝm:^mǟrgjI~&犪 AIaHфw%@ؗGiګBgտge ,Ԝ/LU23Rf52UWF?(a@9M C$T:g믁q83b&fvo!s4>hP§Zs+FCa-X"]eL57Sx;Z> XLVihnY8%|e$ɐh"YE[sG)LiXr׿| ! \l97n[}TuWYݜr=Sd#n1y>-L=n뽡I8DTGwe\ \: O/ꀌfͫyyZZ]jetj饑uAeߚP ˏr/=v3qV+ߎY[VIN 8['Rf[מ_CJiCYa-V@PϿ ٱ#V @YQsˆꪹ QaM~Uꍊt<}% O7C$$N~)$8ޓ$Hc^ IB# i:ɖc G8/,0tLR|螋iÒ@ks AQG4) ځyGS  2G63.q.Ut8qkmBfӐEC-?7b`cNa֗:M|5ZyzaP #wp:>>U.@ S<(ג.Wta/dKzlwLi@L6)Ѿ!Y蜸i_ .]ӄg % tz%J@c3:h l]ʎ ?/S?2+CUƩsf?H/_ZV9lKAK_I3]NfWGLX7eLl*5b,' O"s)JTwRaO PZ)@ 7t UxRh:&"eS'&<|Qv~\¼Ϋ`g aH+wZTM;O㶘H<LX%}0a=lv)e,Pm4.蒅G_R{?&؇1:+`׸կ3_ZmD.u\6YPSu|KLԇJS^Owk2nQ=Vks3 .qTԋcTZe}?/ Sdoj&KCemËFIf. 'σ By6&FX:ei@ 6^l] ax߻.^#3]mh6іydDr'q#?ϧrE%~`~sQS:N2r"f`MJdaRLRJ„^{%!y(K̔X M&dJ2(l+c[kN4OCb|2y^n BƆ2;bLl<$şy\**;l5]Eu@wIY=[_=UUȨޕAW~qTʑō0I<ɇ_oq*i~w  Lm*-oNnG5n6G/ pePrg͝rl(eA0M/cbL݁]ֵO CRMܲď#:4 "R/_X`[ﶾ Xm/:FTAN8';Vf-PԘ&} u -V=M$xw'(20+!IA{'XN%譮arf@g Ey3جS /tc|$j&v Yf? `A}wLK+ܓQRsu)@ @I.(+0d%Ğz%/1X˩F_9([Qb,Bx-s l+$l]#ri+oՔ~ƵfH.t.f/7&hH'1dv2 Hj>lK!J =fiGw&xګŻMC2R STso mXkfB,RpߗڡnBxTT.OH;F. vx(@J콛YB?# 1ᴄoHIpRz7nP}ؽ .6-4_Q#wKH+A<̢>/c9~B&8vCVs;~8}C?Oߋn#U/=moD_nm jv5*U1gj>Qs$-l-䎍;vP`Y=pꘛ݄(ݟ8P >{a2Rd" >=K-㱊T4 &ߐeJTS6C."TV]aV01ShG' (nWa(rzQN5Ӯ\46~؆+6lFqta >Ow `>:a} utc۔*`KKt=LEBm)ڒ:`dats8`Z? 5y{%klkͬQW~׆җ ?*zU.ђŞ[zH W+V9R, nSa@%GkXK3JA1r'<[\)!K/8EVքg^RiҢK oZ-.Ʉa/WW^љnQmUr7R[11Fګ ad0/SD"NֈÁ^D t=uwE4Cb_H⒭S;+Θ~[@rƪQKBsj%R}eIDp˺ac`UB⍗h0> {Ԏ}`y5yKjVcxQfUϝZ*siPүq~+` QZ+yyi1 z?|hW&=hݴlAdA/ e3XAuh bL0Ɂݑc$e u8cֶSؔ P%v&ezi3 VLhٮv/ z,a/w&]V,GCGͥIvؓa}PxWvNɢb=z17VIEχѣ#n,1ɔ*QҷP#rbya sLyv;VoP|jXJ[΅٪l )<8pN eLGH{=xY"$(, L⢷HH9!YfmT1@ZMr2VD~S#G.Bh[MMO#lz R>=QQM=QG}O{2v+`onev&4tn w!jȨ]pJDo^_(GY8j@l2}K_|vhewÅ5J,Nv9vuuDnTCONV#ԯtܕ>gSgtPxi6YBҢ) i+g˅XdHI#x!WlP4pKP#_ʅ>ؕ`'ӅIvL]Q JJ{6lȈ;OvaK[&9N? wƒ݃{]SƥX-p+R!Ek6#Fs=%4aTϲ\{^xvmG6%<ޱM+!ͦљ0#l)Fv'ēYSED-NFu,)uc}f&ce{0lwL~ .D[ȼD< ߯U'J,l>ZFjJ-9dk7q7풫+6T2pNΰg=xS?'Dm_]G]jŜz??#yB@N~$0EL )3M!uv.gNa]W'?͆"zEE f2ƣ]m`h86=Lc,HP l̑%lr1 h _ FdϏ=pRXF[ X爺 )5&*RErg er}ȣx儫ʃ1Yf5rBCjB?APӧC[b8gpf֒eNLf-nO3!˲uIP.̖l!{/OzU' 0Tl`Hh%|[o>Y©p 90r!<loLPYFjAIEŒRHh 5 - ܃>__զVY_Al?gvTL]}.{-?`"Ӈ@AoTp)!/s8Cnt4Y^vX)4XUԮgⅨDNDA਼ S/ H>PZۂ;=_A58΃y&g赘RōԚHB;1z} Q>2컘企@ I poRߢ7+E3|)e]n\:) gRdwujkqm"~-jfq[BʫN\ur\r~rWy2dfG5kF>a.F;k5.ojA#Ƃ&x5kȿA^n0sQ4Uӥ&gӍ!,wHdOb;P~k4/|]MY pb ?g,a}l&,h}Qa:kzBrV{!6\mY\Tu|6ø.<)w,5M%dR-WUu/\2^<]PBo"D0:v-2:]eڦ¶f6g+ ˒Յft4g/IPhʏx-QA:I\pA ǽ{u$8T`74z sHGZL +R *IU $DTyErJA3~\ e4*"AX*W4] +W!ăN˝C4{ 7}=u͟khkƄm'Wۣ't)^17ZPө.AJ}ë7xޚ1ds!Zp'X2 uuBM3"%_;hqDi>|HX_[N2vs=u pA }u' Xq .]jMģ/ȋ]NܹOʊ80: 4(W8W 5= YdA2,N6]UG+t(3}K{ P̩\$LQ~Sr"Qp@ǔRnx8#fP_?߸>>nWI6}C쩹U/T ԙA)]-i{ʚ$ηdBym$xkUϘ XnFU Ƿsyk埉6zDd9gLQoě=˝Pn-~q+-K{]ǯfU6@\!A@L~RoZJfhX߽V8MYyfGpXrRQ#g)GY$N 2D-ުXJ-y-d蠡yY)>"OGمj/@QRWNwYaLzSɷni#,ꡆ'[&fxOϗ27UmwYqd'=h֧tZuy "EMD=)#.Lֲ:;WHϋgO(.ݱܝ>2,[]i]+ŃUYZickVu31wTjRͅJIѐKrU`]nj}^\f#hKݤ'Z=F~(JBZeMguD[NŮ10s *kQ?@t3)p, Gzq;B g bX63vy؜ ُG#EZ!ڢǙ[-MO2G<ܣnf =\ Qh>6R-xMbg]Ga:,~MaP =tYZ&1w$R-zɬ8IQ+CeѭׇZr.m=VE"v[$ߤ?"ZB?|wm~+,Ԑ(Oʺ3wQcƎynr1;(YK1=`쮃}x?r3iGKғغ_ot]}poCZӥCɩ#ɮ8;Dnh ܻ[W^&/W8*61ӨO =(#O!BW9*pkν-:MCl .UB=R>A#VrHiBvY }\.8nke92)աj%rt(,JiT2Tݗ6%^VY m~wwPwvq yyB<_OCXOmke߃YN}ߞ$jBP=wm3.D2[.J\wRUXk:,k WFi} GwxpiqEF}Mʖ}sP c_Q+ c*$~)T>[ǚ}Q0-'ɞ[Me֢6h)4n</O̙Z9.σ uDΟ.D)F^> ^ XYC8Pf' YHቁn͟)z5k#6KRukdG-6wo{q* C>Ǧts~nq`3>HI +^k*wlh5ڢhs*P]81񴩡6'[fw[w ݴœR%@̝^AWZsIf/i&Ui$)'7zK6oXrS^h_d MX= 3 Gugju)DDF}fH_`S*zZ7GBڬ^ vTe AvSyxɲz͚QWՎZGQ(ДZip*E|9?:*3Xk7f} _m߅jXy (.3.ڱiIe\6ENWy7tEV9Ua _ه$OfU\$Y^kOUc+Q҃9OvC)1W\gB 9rHN)2s?fژ]Ý[#z!:w7#$trIPB>F5~=W '=so1۠eX'o mQ0GЍsue 쭚 -o!%o[p? ocFf×P;̇ (\ǣkw;'xhJ3[t@+˝SGinE6I5m`~9`uG6MoוsdwQŨ9DLYCz72nP ;a]tf["rz$9%lbؾmZӞZ!5zQ낵/Rρ'ZA ?7rbAivd2 yRBL_8O_wgP gtfđȞnh3J/xꇸC걈i7qiJp{衔^MoB&sݙ@ f5@`o&E ϥwtBҸ{mgֿ#{j=qX Q" G_P5?@3aZ 逭w }YBO`>qmJ*sfX-].>E W@`qc9Q-aF"eQ߆JJ7;ƊVynj$2A! >+!LqNVL BK9 o2E&)h9 E+RZk6u;9Υ P[kkv踌6Z+MG -,fLfN!1T53(33 ;{%W˦ƒSBV~m,5," {:(w`tUMc%_\|w E6"Ö.\ ,է]<"3+y ˠ?+CZW_^ۓb؇a_V?.a!MLojGOgn=|Rb`|w 㯉h0ғ)Dzz+.ƶj,Ix"Ԙ2pOM_ Vͯ dHmF;dEڕ&\1II hpC?&HPQHGcxTܢ`~Ey̸iAYTSm#S+@K1."$%dHCƝC,Үqkg}7%2A(Tpq4y|^PyT*hMj,!)g SMj.<)-/IuOks^s9xN %ڐǽ4ޏ3/^?c4liPz(4ny_\@.V#@ה'Y2mFBs00c$GiYߏsFa j7_{T>HAӷ<סWQqs ,%9[ $_n֖'UPd.C? D|f yp)y\sT@p#mY,>5WuUV{{8Qo~ \Oĝ!ݶbMHggI)p%.V71lwb E,2ߥ}/+ 3yKZ ݽ)d[8<]?W %OO\OżS _k|@*HVP& qk6uK壹HG[ur0|i#\EqS@ז`CP+zMdМ2F#pV9mp5}ӧn/u. a߆Vܮ2J+U%u~}2RQ7CFHئ [?4(`r5 ] =%UB p] y=.WqTrUI!EDt<⠝k5mG e+${قH框rkK$j bmu:ʨ8T<)羜L hVM@``/Y5FH/(Ni``T 0~ya\&,LgOvi X7Ci4r""p` -=mUB5Nf nyDZ!msCPZ&SgYtPFB}MfYSh͞5LfCm<msce)eK71є>ėdk.LS[vVJڂʉα_2H20WNgm:­f`8S1"(=$U l v@˹IJ5M)%(8-[]3+1K@F.5Fܟ{bYho3JQiٰiKñWӬQXb/'@v ee?YoԸn(8Zsx AMGscN) bt?8Uz~NZR|fL0PÊgv; =HX>aYG}~# =ܜ3"-vrG?KBENe6Ű!- S*4>+YQ$0~ͅ*,j2QiԘcOZW9yͥCǜiSSfHԭO8LCkVkj8y ; ΘШ=M9/@F#%gQ 0$H(޼%ٍxCdS6/Ğc~5doN|Vr8_GVɣ}=|ұoR;Cӯv.5?Kbz&R@\XA. 5Т^"LoK_^Nʋd1p"ԌWEi@ ǤQ](ȃ(P.fRGfM'-v?xդu!γ 25~Z|c^mvlЇ6gshY؈a=b$g$D v4aV1Zy=@M4PzPzSam$3$8ppMpf؇v^UJt5a\)qh|)hbr}&d!Iv!lq.C;P7j=;vWV)W$L-%Ak|1۝YL=|tݨ3m|7馌F12L\Ɵ;|yrU4!g3V`S0ׁ0cN+$(vǑ}&V `-n_9`X?ڥˇK[qٙT̚wP-:QQaTBpKpbytۭSkh"6j/銝"cLQ: &PGkbuxb[2R/n"TBSi.o(q1m&0cz D#ץ*Қ@}wвsGIݴ%\<5QM_rܰ5kU$ssy:`g{.a0|_^n:ԙLUhz%9V> GM7yN˦$,&(Jr^Vv+mXD.plhn2Cy]ۻ7HLȃjSiTwrzBjcc3`|q7]%`XpZ7{cxu *vu纫8ᲠRH2i?ꍀNslˆߓ5!sU'wd!Th$6 ]UO#~gj .}W3"ՇSߍX1^-,T L*a#ו9QAcV]7B[ R80P>/tcSNwr&|^Ȕ7wO'ܟ)}C7l%"u͊ ~Г.q} DobLjup'c]maZi:5J 6?mX;@k -=wʛ\Lm,Wlo#Oj-i0YEnu:Κ<N+ʾXѺUoZ>vTC_fU+zw0@NnW<풤0"S\6$*1C3d5Udd)tM^ &8!{ O|V]ٿd' @t5.tW8=Mpc+uԋM>ѬJL GǺ]4"Any?ƯPJ-uRD[KC](e K:Ser=!)O_xl Gv )9|EגkV\j ce-:-az=.p֘Uxh).~=WNↂXk?bх瓮WAvm'/Aۗ7z4O Z`:$~e DF!y0v2PPC$H,Spsf~w#r(y `X<02eG Sc ;t_Fq8;3wO '"1*w_ZE3fS{zi *ޗu:ohP=7*՛c!Z(lcψgE  a2;ZؓQ{PeԢZFꏳ>}j߆__YaSsiJWys)znl_rIlv0K!d#xOa2~I"CD!D ~eƀuYi$ȩ8a\69g taa:!h~Vk:AmA擢?*H#bB;:D0Pan# E`=eߠv3Ux!5KVtĠ{L]fp_^S(swRD'\#T @A:zG\&{lE*#\hqjdZ9 !B8{ Mȋ CB~/}h0cr ~D&U#wM&#c3*M@IIr̞3㫆X)Q~sqfPkS/< w`ih*V 6OcӉ&fgYZ06743f20ee9523cad7e829e1e404f2ac929772dd97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 28c701d29bb3453132b1214a9015bfc334954436d094ae393e379d07b211dae35cef6dca9f7d6893